runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3730008-1338731285/watcher-3730008-1338731285 -o /tmp/evaluation-result-3730008-1338731285/solver-3730008-1338731285 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3730008-1338731285.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 10172
/proc/meminfo: memFree=26109220/32873844 swapFree=6608/6608
[pid=10172] ppid=10170 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/10172/stat : 10172 (java) S 10170 10172 3621 0 -1 4202496 1161 0 0 0 0 0 0 0 20 0 2 0 339253054 91889664 881 33554432000 1073741824 1073778376 140735661531712 140735661522848 213422997565 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10172/statm: 22434 885 670 9 0 16769 0
[pid=10172/tid=10173] ppid=10170 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10173/stat : 10173 (java) R 10170 10172 3621 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 2 0 339253055 91889664 893 33554432000 1073741824 1073778376 140735661531712 140735661520776 213410475303 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0820319 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 10172
/proc/meminfo: memFree=26109220/32873844 swapFree=6608/6608
[pid=10172] ppid=10170 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/10172/stat : 10172 (java) S 10170 10172 3621 0 -1 4202496 4585 0 1 0 6 1 0 0 20 0 18 0 339253054 2712133632 6303 33554432000 1073741824 1073778376 140735661531712 140735661522848 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10172/statm: 662142 6303 2091 9 0 652835 0
[pid=10172/tid=10173] ppid=10170 vsize=2648568 CPUtime=0.06 cores=1,3,5,7
/proc/10172/task/10173/stat : 10173 (java) R 10170 10172 3621 0 -1 4202560 2692 0 1 0 4 2 0 0 20 0 18 0 339253055 2712133632 6303 33554432000 1073741824 1073778376 140735661531712 140691979763912 213423023373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2648568
[startup+0.100357 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 10172
/proc/meminfo: memFree=26109220/32873844 swapFree=6608/6608
[pid=10172] ppid=10170 vsize=2648568 CPUtime=0.1 cores=1,3,5,7
/proc/10172/stat : 10172 (java) S 10170 10172 3621 0 -1 4202496 4734 0 1 0 9 1 0 0 20 0 18 0 339253054 2712133632 6963 33554432000 1073741824 1073778376 140735661531712 140735661522848 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10172/statm: 662142 6970 2134 9 0 652835 0
[pid=10172/tid=10173] ppid=10170 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/10172/task/10173/stat : 10173 (java) R 10170 10172 3621 0 -1 4202560 2739 0 1 0 6 2 0 0 20 0 18 0 339253055 2712133632 6970 33554432000 1073741824 1073778376 140735661531712 140691979778760 213423023373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568
[startup+0.300226 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 10172
/proc/meminfo: memFree=26109220/32873844 swapFree=6608/6608
[pid=10172] ppid=10170 vsize=2648568 CPUtime=0.53 cores=1,3,5,7
/proc/10172/stat : 10172 (java) S 10170 10172 3621 0 -1 4202496 6557 0 1 0 51 2 0 0 20 0 18 0 339253054 2712133632 9980 33554432000 1073741824 1073778376 140735661531712 140735661522848 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10172/statm: 662142 9980 2223 9 0 652835 0
[pid=10172/tid=10173] ppid=10170 vsize=2648568 CPUtime=0.28 cores=1,3,5,7
/proc/10172/task/10173/stat : 10173 (java) R 10170 10172 3621 0 -1 4202560 2756 0 1 0 26 2 0 0 20 0 18 0 339253055 2712133632 9980 33554432000 1073741824 1073778376 140735661531712 140691979780360 140691804462566 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 2648568
[startup+0.700354 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 10172
/proc/meminfo: memFree=26109220/32873844 swapFree=6608/6608
[pid=10172] ppid=10170 vsize=2648568 CPUtime=1.18 cores=1,3,5,7
/proc/10172/stat : 10172 (java) S 10170 10172 3621 0 -1 4202496 9628 0 1 0 111 7 0 0 20 0 18 0 339253054 2712133632 52053 33554432000 1073741824 1073778376 140735661531712 140735661522848 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10172/statm: 662142 52053 2233 9 0 652835 0
[pid=10172/tid=10173] ppid=10170 vsize=2648568 CPUtime=0.67 cores=1,3,5,7
/proc/10172/task/10173/stat : 10173 (java) R 10170 10172 3621 0 -1 4202560 2835 0 1 0 62 5 0 0 20 0 18 0 339253055 2712133632 52053 33554432000 1073741824 1073778376 140735661531712 140691979771920 140691804580209 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 2648568
[startup+1.50081 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 10190
/proc/meminfo: memFree=25760624/32873844 swapFree=6608/6608
[pid=10172] ppid=10170 vsize=2648568 CPUtime=2.06 cores=1,3,5,7
/proc/10172/stat : 10172 (java) S 10170 10172 3621 0 -1 4202496 9753 0 1 0 195 11 0 0 20 0 18 0 339253054 2712133632 95594 33554432000 1073741824 1073778376 140735661531712 140735661522848 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10172/statm: 662142 95594 2249 9 0 652835 0
[pid=10172/tid=10173] ppid=10170 vsize=2648568 CPUtime=1.44 cores=1,3,5,7
/proc/10172/task/10173/stat : 10173 (java) R 10170 10172 3621 0 -1 4202560 2917 0 1 0 136 8 0 0 20 0 18 0 339253055 2712133632 95594 33554432000 1073741824 1073778376 140735661531712 140691979772272 213423023373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10172/tid=10175] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10175/stat : 10175 (java) S 10170 10172 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339253056 2712133632 95594 33554432000 1073741824 1073778376 140735661531712 140691964230184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10172/tid=10176] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10176/stat : 10176 (java) S 10170 10172 3621 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 339253056 2712133632 95594 33554432000 1073741824 1073778376 140735661531712 140691963177384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10172/tid=10177] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10177/stat : 10177 (java) S 10170 10172 3621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 339253056 2712133632 95594 33554432000 1073741824 1073778376 140735661531712 140691962124584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10172/tid=10178] ppid=10170 vsize=2648568 CPUtime=0.01 cores=1,3,5,7
/proc/10172/task/10178/stat : 10178 (java) S 10170 10172 3621 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 18 0 339253056 2712133632 95594 33554432000 1073741824 1073778376 140735661531712 140691961071784 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10179] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10179/stat : 10179 (java) S 10170 10172 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 339253056 2712133632 95594 33554432000 1073741824 1073778376 140735661531712 140691960020008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10172/tid=10180] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10180/stat : 10180 (java) S 10170 10172 3621 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 339253056 2712133632 95594 33554432000 1073741824 1073778376 140735661531712 140691958967208 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10172/tid=10181] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10181/stat : 10181 (java) S 10170 10172 3621 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 339253056 2712133632 95594 33554432000 1073741824 1073778376 140735661531712 140691957914408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10182] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10182/stat : 10182 (java) S 10170 10172 3621 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 339253056 2712133632 95594 33554432000 1073741824 1073778376 140735661531712 140691956861608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10183] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10183/stat : 10183 (java) S 10170 10172 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339253057 2712133632 95594 33554432000 1073741824 1073778376 140735661531712 140691944450536 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10184] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10184/stat : 10184 (java) S 10170 10172 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339253057 2712133632 95594 33554432000 1073741824 1073778376 140735661531712 140691943396600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10185] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10185/stat : 10185 (java) S 10170 10172 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339253057 2712133632 95594 33554432000 1073741824 1073778376 140735661531712 140691942343688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10186] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10186/stat : 10186 (java) S 10170 10172 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339253059 2712133632 95594 33554432000 1073741824 1073778376 140735661531712 140691941292176 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10187] ppid=10170 vsize=2648568 CPUtime=0.22 cores=1,3,5,7
/proc/10172/task/10187/stat : 10187 (java) S 10170 10172 3621 0 -1 4202560 2906 0 0 0 22 0 0 0 20 0 18 0 339253059 2712133632 95594 33554432000 1073741824 1073778376 140735661531712 140691940240312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10188] ppid=10170 vsize=2648568 CPUtime=0.23 cores=1,3,5,7
/proc/10172/task/10188/stat : 10188 (java) S 10170 10172 3621 0 -1 4202560 2703 0 0 0 23 0 0 0 20 0 18 0 339253059 2712133632 95594 33554432000 1073741824 1073778376 140735661531712 140691939187512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10172/tid=10189] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10189/stat : 10189 (java) S 10170 10172 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339253060 2712133632 95594 33554432000 1073741824 1073778376 140735661531712 140691938134904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10172/tid=10190] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10190/stat : 10190 (java) S 10170 10172 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339253060 2712133632 95594 33554432000 1073741824 1073778376 140735661531712 140691937082312 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 2648568
[startup+3.1008 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 10190
/proc/meminfo: memFree=25706508/32873844 swapFree=6608/6608
[pid=10172] ppid=10170 vsize=2648568 CPUtime=4.14 cores=1,3,5,7
/proc/10172/stat : 10172 (java) S 10170 10172 3621 0 -1 4202496 9948 0 1 0 395 19 0 0 20 0 18 0 339253054 2712133632 116113 33554432000 1073741824 1073778376 140735661531712 140735661522848 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10172/statm: 662142 116113 2251 9 0 652835 0
[pid=10172/tid=10173] ppid=10170 vsize=2648568 CPUtime=2.88 cores=1,3,5,7
/proc/10172/task/10173/stat : 10173 (java) R 10170 10172 3621 0 -1 4202560 2920 0 1 0 279 9 0 0 20 0 18 0 339253055 2712133632 116113 33554432000 1073741824 1073778376 140735661531712 140691979779464 213423023373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10172/tid=10175] ppid=10170 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/10172/task/10175/stat : 10175 (java) S 10170 10172 3621 0 -1 4202560 33 0 0 0 5 2 0 0 20 0 18 0 339253056 2712133632 116113 33554432000 1073741824 1073778376 140735661531712 140691964230184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10172/tid=10176] ppid=10170 vsize=2648568 CPUtime=0.16 cores=1,3,5,7
/proc/10172/task/10176/stat : 10176 (java) S 10170 10172 3621 0 -1 4202560 51 0 0 0 14 2 0 0 20 0 18 0 339253056 2712133632 116113 33554432000 1073741824 1073778376 140735661531712 140691963177384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10172/tid=10177] ppid=10170 vsize=2648568 CPUtime=0.11 cores=1,3,5,7
/proc/10172/task/10177/stat : 10177 (java) S 10170 10172 3621 0 -1 4202560 37 0 0 0 10 1 0 0 20 0 18 0 339253056 2712133632 116113 33554432000 1073741824 1073778376 140735661531712 140691962124584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10172/tid=10178] ppid=10170 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/10172/task/10178/stat : 10178 (java) S 10170 10172 3621 0 -1 4202560 35 0 0 0 8 0 0 0 20 0 18 0 339253056 2712133632 116113 33554432000 1073741824 1073778376 140735661531712 140691961071784 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10172/tid=10179] ppid=10170 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/10172/task/10179/stat : 10179 (java) S 10170 10172 3621 0 -1 4202560 24 0 0 0 7 0 0 0 20 0 18 0 339253056 2712133632 116113 33554432000 1073741824 1073778376 140735661531712 140691960020008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10172/tid=10180] ppid=10170 vsize=2648568 CPUtime=0.04 cores=1,3,5,7
/proc/10172/task/10180/stat : 10180 (java) S 10170 10172 3621 0 -1 4202560 14 0 0 0 4 0 0 0 20 0 18 0 339253056 2712133632 116113 33554432000 1073741824 1073778376 140735661531712 140691958967208 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10181] ppid=10170 vsize=2648568 CPUtime=0.05 cores=1,3,5,7
/proc/10172/task/10181/stat : 10181 (java) S 10170 10172 3621 0 -1 4202560 22 0 0 0 5 0 0 0 20 0 18 0 339253056 2712133632 116113 33554432000 1073741824 1073778376 140735661531712 140691957914408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10172/tid=10182] ppid=10170 vsize=2648568 CPUtime=0.04 cores=1,3,5,7
/proc/10172/task/10182/stat : 10182 (java) S 10170 10172 3621 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 18 0 339253056 2712133632 116113 33554432000 1073741824 1073778376 140735661531712 140691956861608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10183] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10183/stat : 10183 (java) S 10170 10172 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339253057 2712133632 116113 33554432000 1073741824 1073778376 140735661531712 140691944450536 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10184] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10184/stat : 10184 (java) S 10170 10172 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339253057 2712133632 116113 33554432000 1073741824 1073778376 140735661531712 140691943396600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10185] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10185/stat : 10185 (java) S 10170 10172 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339253057 2712133632 116113 33554432000 1073741824 1073778376 140735661531712 140691942343688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10186] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10186/stat : 10186 (java) S 10170 10172 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339253059 2712133632 116113 33554432000 1073741824 1073778376 140735661531712 140691941292176 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10187] ppid=10170 vsize=2648568 CPUtime=0.22 cores=1,3,5,7
/proc/10172/task/10187/stat : 10187 (java) S 10170 10172 3621 0 -1 4202560 2908 0 0 0 22 0 0 0 20 0 18 0 339253059 2712133632 116113 33554432000 1073741824 1073778376 140735661531712 140691940240312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10188] ppid=10170 vsize=2648568 CPUtime=0.23 cores=1,3,5,7
/proc/10172/task/10188/stat : 10188 (java) S 10170 10172 3621 0 -1 4202560 2703 0 0 0 23 0 0 0 20 0 18 0 339253059 2712133632 116113 33554432000 1073741824 1073778376 140735661531712 140691939187512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10172/tid=10189] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10189/stat : 10189 (java) S 10170 10172 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339253060 2712133632 116113 33554432000 1073741824 1073778376 140735661531712 140691938134904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10172/tid=10190] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10190/stat : 10190 (java) S 10170 10172 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339253060 2712133632 116113 33554432000 1073741824 1073778376 140735661531712 140691937082312 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 2648568
Solver just ended. Dumping a history of the last processes samples
[startup+3.90081 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 10190
/proc/meminfo: memFree=25653020/32873844 swapFree=6608/6608
[pid=10172] ppid=10170 vsize=2648568 CPUtime=5.14 cores=1,3,5,7
/proc/10172/stat : 10172 (java) S 10170 10172 3621 0 -1 4202496 9999 0 1 0 493 21 0 0 20 0 18 0 339253054 2712133632 121752 33554432000 1073741824 1073778376 140735661531712 140735661522848 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10172/statm: 662142 121752 2251 9 0 652835 0
[pid=10172/tid=10173] ppid=10170 vsize=2648568 CPUtime=3.6 cores=1,3,5,7
/proc/10172/task/10173/stat : 10173 (java) R 10170 10172 3621 0 -1 4202560 2921 0 1 0 351 9 0 0 20 0 18 0 339253055 2712133632 121752 33554432000 1073741824 1073778376 140735661531712 140691979779656 213423023373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10172/tid=10175] ppid=10170 vsize=2648568 CPUtime=0.09 cores=1,3,5,7
/proc/10172/task/10175/stat : 10175 (java) S 10170 10172 3621 0 -1 4202560 37 0 0 0 7 2 0 0 20 0 18 0 339253056 2712133632 121752 33554432000 1073741824 1073778376 140735661531712 140691964230184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10172/tid=10176] ppid=10170 vsize=2648568 CPUtime=0.23 cores=1,3,5,7
/proc/10172/task/10176/stat : 10176 (java) S 10170 10172 3621 0 -1 4202560 61 0 0 0 20 3 0 0 20 0 18 0 339253056 2712133632 121752 33554432000 1073741824 1073778376 140735661531712 140691963177384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10172/tid=10177] ppid=10170 vsize=2648568 CPUtime=0.15 cores=1,3,5,7
/proc/10172/task/10177/stat : 10177 (java) S 10170 10172 3621 0 -1 4202560 44 0 0 0 13 2 0 0 20 0 18 0 339253056 2712133632 121752 33554432000 1073741824 1073778376 140735661531712 140691962124584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10172/tid=10178] ppid=10170 vsize=2648568 CPUtime=0.1 cores=1,3,5,7
/proc/10172/task/10178/stat : 10178 (java) S 10170 10172 3621 0 -1 4202560 40 0 0 0 10 0 0 0 20 0 18 0 339253056 2712133632 121752 33554432000 1073741824 1073778376 140735661531712 140691961071784 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10172/tid=10179] ppid=10170 vsize=2648568 CPUtime=0.1 cores=1,3,5,7
/proc/10172/task/10179/stat : 10179 (java) S 10170 10172 3621 0 -1 4202560 30 0 0 0 10 0 0 0 20 0 18 0 339253056 2712133632 121752 33554432000 1073741824 1073778376 140735661531712 140691960020008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10172/tid=10180] ppid=10170 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/10172/task/10180/stat : 10180 (java) S 10170 10172 3621 0 -1 4202560 18 0 0 0 8 0 0 0 20 0 18 0 339253056 2712133632 121752 33554432000 1073741824 1073778376 140735661531712 140691958967208 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10181] ppid=10170 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/10172/task/10181/stat : 10181 (java) S 10170 10172 3621 0 -1 4202560 28 0 0 0 8 0 0 0 20 0 18 0 339253056 2712133632 121752 33554432000 1073741824 1073778376 140735661531712 140691957914408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10172/tid=10182] ppid=10170 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/10172/task/10182/stat : 10182 (java) S 10170 10172 3621 0 -1 4202560 28 0 0 0 7 1 0 0 20 0 18 0 339253056 2712133632 121752 33554432000 1073741824 1073778376 140735661531712 140691956861608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10172/tid=10183] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10183/stat : 10183 (java) S 10170 10172 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339253057 2712133632 121752 33554432000 1073741824 1073778376 140735661531712 140691944450536 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10184] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10184/stat : 10184 (java) S 10170 10172 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339253057 2712133632 121752 33554432000 1073741824 1073778376 140735661531712 140691943396600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10185] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10185/stat : 10185 (java) S 10170 10172 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339253057 2712133632 121752 33554432000 1073741824 1073778376 140735661531712 140691942343688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10186] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10186/stat : 10186 (java) S 10170 10172 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339253059 2712133632 121752 33554432000 1073741824 1073778376 140735661531712 140691941292176 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10187] ppid=10170 vsize=2648568 CPUtime=0.22 cores=1,3,5,7
/proc/10172/task/10187/stat : 10187 (java) S 10170 10172 3621 0 -1 4202560 2908 0 0 0 22 0 0 0 20 0 18 0 339253059 2712133632 121752 33554432000 1073741824 1073778376 140735661531712 140691940240312 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10188] ppid=10170 vsize=2648568 CPUtime=0.23 cores=1,3,5,7
/proc/10172/task/10188/stat : 10188 (java) S 10170 10172 3621 0 -1 4202560 2703 0 0 0 23 0 0 0 20 0 18 0 339253059 2712133632 121752 33554432000 1073741824 1073778376 140735661531712 140691939187512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10172/tid=10189] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10189/stat : 10189 (java) S 10170 10172 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339253060 2712133632 121752 33554432000 1073741824 1073778376 140735661531712 140691938134904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10172/tid=10190] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10190/stat : 10190 (java) S 10170 10172 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339253060 2712133632 121752 33554432000 1073741824 1073778376 140735661531712 140691937082312 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.14
Current children cumulated vsize (KiB) 2648568
[startup+4.70081 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 10190
/proc/meminfo: memFree=25629004/32873844 swapFree=6608/6608
[pid=10172] ppid=10170 vsize=2648568 CPUtime=6.43 cores=1,3,5,7
/proc/10172/stat : 10172 (java) S 10170 10172 3621 0 -1 4202496 14623 0 1 0 617 26 0 0 20 0 18 0 339253054 2712133632 128545 33554432000 1073741824 1073778376 140735661531712 140735661522848 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10172/statm: 662142 128545 2259 9 0 652835 0
[pid=10172/tid=10173] ppid=10170 vsize=2648568 CPUtime=4.31 cores=1,3,5,7
/proc/10172/task/10173/stat : 10173 (java) R 10170 10172 3621 0 -1 4202560 2931 0 1 0 422 9 0 0 20 0 18 0 339253055 2712133632 128545 33554432000 1073741824 1073778376 140735661531712 140691979779656 213423023373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10172/tid=10175] ppid=10170 vsize=2648568 CPUtime=0.11 cores=1,3,5,7
/proc/10172/task/10175/stat : 10175 (java) S 10170 10172 3621 0 -1 4202560 40 0 0 0 9 2 0 0 20 0 18 0 339253056 2712133632 128545 33554432000 1073741824 1073778376 140735661531712 140691964230184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10172/tid=10176] ppid=10170 vsize=2648568 CPUtime=0.25 cores=1,3,5,7
/proc/10172/task/10176/stat : 10176 (java) S 10170 10172 3621 0 -1 4202560 71 0 0 0 22 3 0 0 20 0 18 0 339253056 2712133632 128545 33554432000 1073741824 1073778376 140735661531712 140691963177384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10172/tid=10177] ppid=10170 vsize=2648568 CPUtime=0.17 cores=1,3,5,7
/proc/10172/task/10177/stat : 10177 (java) S 10170 10172 3621 0 -1 4202560 46 0 0 0 15 2 0 0 20 0 18 0 339253056 2712133632 128545 33554432000 1073741824 1073778376 140735661531712 140691962124584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10172/tid=10178] ppid=10170 vsize=2648568 CPUtime=0.19 cores=1,3,5,7
/proc/10172/task/10178/stat : 10178 (java) S 10170 10172 3621 0 -1 4202560 69 0 0 0 17 2 0 0 20 0 18 0 339253056 2712133632 128545 33554432000 1073741824 1073778376 140735661531712 140691961071784 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10172/tid=10179] ppid=10170 vsize=2648568 CPUtime=0.13 cores=1,3,5,7
/proc/10172/task/10179/stat : 10179 (java) S 10170 10172 3621 0 -1 4202560 45 0 0 0 13 0 0 0 20 0 18 0 339253056 2712133632 128545 33554432000 1073741824 1073778376 140735661531712 140691960020008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10172/tid=10180] ppid=10170 vsize=2648568 CPUtime=0.16 cores=1,3,5,7
/proc/10172/task/10180/stat : 10180 (java) S 10170 10172 3621 0 -1 4202560 38 0 0 0 14 2 0 0 20 0 18 0 339253056 2712133632 128545 33554432000 1073741824 1073778376 140735661531712 140691958967208 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10181] ppid=10170 vsize=2648568 CPUtime=0.09 cores=1,3,5,7
/proc/10172/task/10181/stat : 10181 (java) S 10170 10172 3621 0 -1 4202560 40 0 0 0 8 1 0 0 20 0 18 0 339253056 2712133632 128546 33554432000 1073741824 1073778376 140735661531712 140691957914408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10172/tid=10182] ppid=10170 vsize=2648568 CPUtime=0.15 cores=1,3,5,7
/proc/10172/task/10182/stat : 10182 (java) S 10170 10172 3621 0 -1 4202560 56 0 0 0 13 2 0 0 20 0 18 0 339253056 2712133632 128546 33554432000 1073741824 1073778376 140735661531712 140691956861608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10172/tid=10183] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10183/stat : 10183 (java) S 10170 10172 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339253057 2712133632 128547 33554432000 1073741824 1073778376 140735661531712 140691944450536 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10184] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10184/stat : 10184 (java) S 10170 10172 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339253057 2712133632 128547 33554432000 1073741824 1073778376 140735661531712 140691943396600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10185] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10185/stat : 10185 (java) S 10170 10172 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339253057 2712133632 128547 33554432000 1073741824 1073778376 140735661531712 140691942343688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10186] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10186/stat : 10186 (java) S 10170 10172 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339253059 2712133632 128548 33554432000 1073741824 1073778376 140735661531712 140691941292176 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10187] ppid=10170 vsize=2648568 CPUtime=0.35 cores=1,3,5,7
/proc/10172/task/10187/stat : 10187 (java) R 10170 10172 3621 0 -1 4202560 6298 0 0 0 34 1 0 0 20 0 18 0 339253059 2712133632 128548 33554432000 1073741824 1073778376 140735661531712 140691940217480 140691983896884 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10188] ppid=10170 vsize=2648568 CPUtime=0.34 cores=1,3,5,7
/proc/10172/task/10188/stat : 10188 (java) S 10170 10172 3621 0 -1 4202560 3811 0 0 0 33 1 0 0 20 0 18 0 339253059 2712133632 128548 33554432000 1073741824 1073778376 140735661531712 140691939187512 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10172/tid=10189] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10189/stat : 10189 (java) S 10170 10172 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339253060 2712133632 128548 33554432000 1073741824 1073778376 140735661531712 140691938134904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10172/tid=10190] ppid=10170 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10190/stat : 10190 (java) S 10170 10172 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339253060 2712133632 128548 33554432000 1073741824 1073778376 140735661531712 140691937082312 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.43
Current children cumulated vsize (KiB) 2648568
[startup+4.9007 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 10190
/proc/meminfo: memFree=25629004/32873844 swapFree=6608/6608
[pid=10172] ppid=10170 vsize=2715132 CPUtime=6.81 cores=1,3,5,7
/proc/10172/stat : 10172 (java) S 10170 10172 3621 0 -1 4202496 15711 0 1 0 655 26 0 0 20 0 19 0 339253054 2780295168 128457 33554432000 1073741824 1073778376 140735661531712 140735661522848 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10172/statm: 678783 128457 2266 9 0 669476 0
[pid=10172/tid=10173] ppid=10170 vsize=2715132 CPUtime=4.51 cores=1,3,5,7
/proc/10172/task/10173/stat : 10173 (java) R 10170 10172 3621 0 -1 4202560 2935 0 1 0 442 9 0 0 20 0 19 0 339253055 2780295168 128457 33554432000 1073741824 1073778376 140735661531712 140691979779320 140691804019021 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10172/tid=10175] ppid=10170 vsize=2715132 CPUtime=0.11 cores=1,3,5,7
/proc/10172/task/10175/stat : 10175 (java) S 10170 10172 3621 0 -1 4202560 40 0 0 0 9 2 0 0 20 0 19 0 339253056 2780295168 128457 33554432000 1073741824 1073778376 140735661531712 140691964230184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10172/tid=10176] ppid=10170 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/10172/task/10176/stat : 10176 (java) S 10170 10172 3621 0 -1 4202560 71 0 0 0 22 3 0 0 20 0 19 0 339253056 2780295168 128457 33554432000 1073741824 1073778376 140735661531712 140691963177384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10172/tid=10177] ppid=10170 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/10172/task/10177/stat : 10177 (java) S 10170 10172 3621 0 -1 4202560 46 0 0 0 15 2 0 0 20 0 19 0 339253056 2780295168 128457 33554432000 1073741824 1073778376 140735661531712 140691962124584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10172/tid=10178] ppid=10170 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/10172/task/10178/stat : 10178 (java) S 10170 10172 3621 0 -1 4202560 69 0 0 0 17 2 0 0 20 0 19 0 339253056 2780295168 128457 33554432000 1073741824 1073778376 140735661531712 140691961071784 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10172/tid=10179] ppid=10170 vsize=2715132 CPUtime=0.13 cores=1,3,5,7
/proc/10172/task/10179/stat : 10179 (java) S 10170 10172 3621 0 -1 4202560 45 0 0 0 13 0 0 0 20 0 19 0 339253056 2780295168 128457 33554432000 1073741824 1073778376 140735661531712 140691960020008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10172/tid=10180] ppid=10170 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/10172/task/10180/stat : 10180 (java) S 10170 10172 3621 0 -1 4202560 38 0 0 0 14 2 0 0 20 0 19 0 339253056 2780295168 128457 33554432000 1073741824 1073778376 140735661531712 140691958967208 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10181] ppid=10170 vsize=2715132 CPUtime=0.09 cores=1,3,5,7
/proc/10172/task/10181/stat : 10181 (java) S 10170 10172 3621 0 -1 4202560 40 0 0 0 8 1 0 0 20 0 19 0 339253056 2780295168 128457 33554432000 1073741824 1073778376 140735661531712 140691957914408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10172/tid=10182] ppid=10170 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/10172/task/10182/stat : 10182 (java) S 10170 10172 3621 0 -1 4202560 56 0 0 0 13 2 0 0 20 0 19 0 339253056 2780295168 128457 33554432000 1073741824 1073778376 140735661531712 140691956861608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10172/tid=10183] ppid=10170 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10183/stat : 10183 (java) S 10170 10172 3621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339253057 2780295168 128457 33554432000 1073741824 1073778376 140735661531712 140691944450536 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10184] ppid=10170 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10184/stat : 10184 (java) S 10170 10172 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339253057 2780295168 128457 33554432000 1073741824 1073778376 140735661531712 140691943396600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10185] ppid=10170 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10185/stat : 10185 (java) S 10170 10172 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339253057 2780295168 128457 33554432000 1073741824 1073778376 140735661531712 140691942343688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10186] ppid=10170 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10186/stat : 10186 (java) S 10170 10172 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339253059 2780295168 128457 33554432000 1073741824 1073778376 140735661531712 140691941292176 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10187] ppid=10170 vsize=2715132 CPUtime=0.49 cores=1,3,5,7
/proc/10172/task/10187/stat : 10187 (java) R 10170 10172 3621 0 -1 4202560 7008 0 0 0 47 2 0 0 20 0 19 0 339253059 2780295168 128457 33554432000 1073741824 1073778376 140735661531712 140691940240192 140691986767434 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10188] ppid=10170 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/10172/task/10188/stat : 10188 (java) R 10170 10172 3621 0 -1 4202560 4171 0 0 0 38 1 0 0 20 0 19 0 339253059 2780295168 128457 33554432000 1073741824 1073778376 140735661531712 140691939174920 140691982391717 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=10172/tid=10189] ppid=10170 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10189/stat : 10189 (java) S 10170 10172 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339253060 2780295168 128457 33554432000 1073741824 1073778376 140735661531712 140691938134904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10172/tid=10190] ppid=10170 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10190/stat : 10190 (java) S 10170 10172 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339253060 2780295168 128457 33554432000 1073741824 1073778376 140735661531712 140691937082312 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.81
Current children cumulated vsize (KiB) 2715132
[startup+5.00077 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 10190
/proc/meminfo: memFree=25629004/32873844 swapFree=6608/6608
[pid=10172] ppid=10170 vsize=2781696 CPUtime=7.06 cores=1,3,5,7
/proc/10172/stat : 10172 (java) S 10170 10172 3621 0 -1 4202496 15785 0 1 0 679 27 0 0 20 0 18 0 339253054 2848456704 128425 33554432000 1073741824 1073778376 140735661531712 140735661522848 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10172/statm: 695424 128425 2271 9 0 686117 0
[pid=10172/tid=10173] ppid=10170 vsize=2781696 CPUtime=4.59 cores=1,3,5,7
/proc/10172/task/10173/stat : 10173 (java) S 10170 10172 3621 0 -1 4202560 2937 0 1 0 450 9 0 0 20 0 18 0 339253055 2848456704 128425 33554432000 1073741824 1073778376 140735661531712 140691979780792 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10172/tid=10175] ppid=10170 vsize=2781696 CPUtime=0.11 cores=1,3,5,7
/proc/10172/task/10175/stat : 10175 (java) S 10170 10172 3621 0 -1 4202560 40 0 0 0 9 2 0 0 20 0 18 0 339253056 2848456704 128425 33554432000 1073741824 1073778376 140735661531712 140691964230184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10172/tid=10176] ppid=10170 vsize=2781696 CPUtime=0.25 cores=1,3,5,7
/proc/10172/task/10176/stat : 10176 (java) S 10170 10172 3621 0 -1 4202560 71 0 0 0 22 3 0 0 20 0 18 0 339253056 2848456704 128425 33554432000 1073741824 1073778376 140735661531712 140691963177384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10172/tid=10177] ppid=10170 vsize=2781696 CPUtime=0.17 cores=1,3,5,7
/proc/10172/task/10177/stat : 10177 (java) S 10170 10172 3621 0 -1 4202560 46 0 0 0 15 2 0 0 20 0 18 0 339253056 2848456704 128425 33554432000 1073741824 1073778376 140735661531712 140691962124584 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10172/tid=10178] ppid=10170 vsize=2781696 CPUtime=0.19 cores=1,3,5,7
/proc/10172/task/10178/stat : 10178 (java) S 10170 10172 3621 0 -1 4202560 69 0 0 0 17 2 0 0 20 0 18 0 339253056 2848456704 128425 33554432000 1073741824 1073778376 140735661531712 140691961071784 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10172/tid=10179] ppid=10170 vsize=2781696 CPUtime=0.13 cores=1,3,5,7
/proc/10172/task/10179/stat : 10179 (java) S 10170 10172 3621 0 -1 4202560 45 0 0 0 13 0 0 0 20 0 18 0 339253056 2848456704 128425 33554432000 1073741824 1073778376 140735661531712 140691960020008 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10172/tid=10180] ppid=10170 vsize=2781696 CPUtime=0.16 cores=1,3,5,7
/proc/10172/task/10180/stat : 10180 (java) S 10170 10172 3621 0 -1 4202560 38 0 0 0 14 2 0 0 20 0 18 0 339253056 2848456704 128425 33554432000 1073741824 1073778376 140735661531712 140691958967208 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10181] ppid=10170 vsize=2781696 CPUtime=0.09 cores=1,3,5,7
/proc/10172/task/10181/stat : 10181 (java) S 10170 10172 3621 0 -1 4202560 40 0 0 0 8 1 0 0 20 0 18 0 339253056 2848456704 128425 33554432000 1073741824 1073778376 140735661531712 140691957914408 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10172/tid=10182] ppid=10170 vsize=2781696 CPUtime=0.15 cores=1,3,5,7
/proc/10172/task/10182/stat : 10182 (java) S 10170 10172 3621 0 -1 4202560 56 0 0 0 13 2 0 0 20 0 18 0 339253056 2848456704 128425 33554432000 1073741824 1073778376 140735661531712 140691956861608 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10172/tid=10183] ppid=10170 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10183/stat : 10183 (java) S 10170 10172 3621 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 339253057 2848456704 128425 33554432000 1073741824 1073778376 140735661531712 140691944450088 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10172/tid=10184] ppid=10170 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10184/stat : 10184 (java) S 10170 10172 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339253057 2848456704 128425 33554432000 1073741824 1073778376 140735661531712 140691943396600 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10185] ppid=10170 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10185/stat : 10185 (java) S 10170 10172 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339253057 2848456704 128425 33554432000 1073741824 1073778376 140735661531712 140691942343688 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10186] ppid=10170 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10186/stat : 10186 (java) S 10170 10172 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339253059 2848456704 128425 33554432000 1073741824 1073778376 140735661531712 140691941290952 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10187] ppid=10170 vsize=2781696 CPUtime=0.57 cores=1,3,5,7
/proc/10172/task/10187/stat : 10187 (java) S 10170 10172 3621 0 -1 4202560 7012 0 0 0 55 2 0 0 20 0 18 0 339253059 2848456704 128425 33554432000 1073741824 1073778376 140735661531712 140691940226552 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10172/tid=10188] ppid=10170 vsize=2781696 CPUtime=0.46 cores=1,3,5,7
/proc/10172/task/10188/stat : 10188 (java) S 10170 10172 3621 0 -1 4202560 4217 0 0 0 45 1 0 0 20 0 18 0 339253059 2848456704 128425 33554432000 1073741824 1073778376 140735661531712 140691939179560 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10172/tid=10189] ppid=10170 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/10172/task/10189/stat : 10189 (java) S 10170 10172 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339253060 2848456704 128425 33554432000 1073741824 1073778376 140735661531712 140691938134904 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.06
Current children cumulated vsize (KiB) 2781696
Child status: 10
Real time (s): 5.00921
CPU time (s): 7.11292
CPU user time (s): 6.72998
CPU system time (s): 0.382941
CPU usage (%): 141.997
Max. virtual memory (cumulated for all children) (KiB): 2781696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.72998
system time used= 0.382941
maximum resident set size= 514384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15785
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 643
involuntary context switches= 757
runsolver used 0 second user time and 0.055991 second system time
The end