runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3454078-1307195751/watcher-3454078-1307195751 -o /tmp/evaluation-result-3454078-1307195751/solver-3454078-1307195751 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454078-1307195751.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 3.05 3.40 1/442 4478
/proc/meminfo: memFree=25760788/32951124 swapFree=44043516/67111528
[pid=4478] ppid=4476 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/4478/stat : 4478 (java) S 4476 4478 31765 0 -1 4202496 1312 0 0 0 0 0 0 0 25 0 2 0 831173313 36646912 1015 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528636901 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/4478/statm: 8947 1017 782 9 0 386 0
[pid=4478/tid=4479] ppid=4476 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4479/stat : 4479 (java) R 4476 4478 31765 0 -1 4202560 5137 0 1 0 0 0 0 0 25 0 2 0 831173313 10694979584 5952 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246516528187 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0335619 s]
/proc/loadavg: 2.00 3.05 3.40 1/442 4478
/proc/meminfo: memFree=25760788/32951124 swapFree=44043516/67111528
[pid=4478] ppid=4476 vsize=10465424 CPUtime=0.01 cores=1,3,5,7
/proc/4478/stat : 4478 (java) S 4476 4478 31765 0 -1 4202496 10980 0 1 0 1 0 0 0 25 0 11 0 831173313 10716594176 10680 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528636901 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/4478/statm: 2616356 10681 1608 9 0 2607104 0
[pid=4478/tid=4479] ppid=4476 vsize=10465424 CPUtime=0.01 cores=1,3,5,7
/proc/4478/task/4479/stat : 4479 (java) R 4476 4478 31765 0 -1 4202560 9858 0 1 0 1 0 0 0 25 0 11 0 831173313 10716594176 10681 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528660939 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10465424
[startup+0.104599 s]
/proc/loadavg: 2.00 3.05 3.40 1/442 4478
/proc/meminfo: memFree=25760788/32951124 swapFree=44043516/67111528
[pid=4478] ppid=4476 vsize=10540140 CPUtime=0.1 cores=1,3,5,7
/proc/4478/stat : 4478 (java) S 4476 4478 31765 0 -1 4202496 13158 0 1 0 9 1 0 0 25 0 18 0 831173313 10793103360 12856 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4478/statm: 2635035 12856 2093 9 0 2625769 0
[pid=4478/tid=4479] ppid=4476 vsize=10540140 CPUtime=0.09 cores=1,3,5,7
/proc/4478/task/4479/stat : 4479 (java) R 4476 4478 31765 0 -1 4202560 11232 0 1 0 8 1 0 0 18 0 18 0 831173313 10793103360 12856 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 46912496207673 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540140
[startup+0.300521 s]
/proc/loadavg: 2.00 3.05 3.40 1/442 4478
/proc/meminfo: memFree=25760788/32951124 swapFree=44043516/67111528
[pid=4478] ppid=4476 vsize=10543580 CPUtime=0.47 cores=1,3,5,7
/proc/4478/stat : 4478 (java) S 4476 4478 31765 0 -1 4202496 16112 0 1 0 46 1 0 0 25 0 18 0 831173313 10796625920 15619 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4478/statm: 2635895 15620 2212 9 0 2626629 0
[pid=4478/tid=4479] ppid=4476 vsize=10543580 CPUtime=0.28 cores=1,3,5,7
/proc/4478/task/4479/stat : 4479 (java) R 4476 4478 31765 0 -1 4202560 12989 0 1 0 27 1 0 0 18 0 18 0 831173313 10796625920 15620 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 47402390162259 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10543580
[startup+0.700404 s]
/proc/loadavg: 2.00 3.05 3.40 1/442 4478
/proc/meminfo: memFree=25760788/32951124 swapFree=44043516/67111528
[pid=4478] ppid=4476 vsize=10556892 CPUtime=1.69 cores=1,3,5,7
/proc/4478/stat : 4478 (java) S 4476 4478 31765 0 -1 4202496 33158 0 1 0 164 5 0 0 25 0 22 0 831173313 10810257408 29738 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4478/statm: 2639223 29738 2243 9 0 2629957 0
[pid=4478/tid=4479] ppid=4476 vsize=10556892 CPUtime=0.58 cores=1,3,5,7
/proc/4478/task/4479/stat : 4479 (java) S 4476 4478 31765 0 -1 4202560 22730 0 1 0 55 3 0 0 19 0 22 0 831173313 10810257408 29738 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 10556892
[startup+1.5013 s]
/proc/loadavg: 2.00 3.05 3.40 1/461 4506
/proc/meminfo: memFree=25617452/32951124 swapFree=44043516/67111528
[pid=4478] ppid=4476 vsize=10556892 CPUtime=2.78 cores=1,3,5,7
/proc/4478/stat : 4478 (java) S 4476 4478 31765 0 -1 4202496 47532 0 1 0 271 7 0 0 25 0 19 0 831173313 10810257408 40042 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4478/statm: 2639223 40042 2247 9 0 2629957 0
[pid=4478/tid=4479] ppid=4476 vsize=10556892 CPUtime=0.58 cores=1,3,5,7
/proc/4478/task/4479/stat : 4479 (java) S 4476 4478 31765 0 -1 4202560 22767 0 1 0 55 3 0 0 16 0 19 0 831173313 10810257408 40042 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 4 0 16800975 18446604458073866496 0 0 -1 5 0 0 0
[pid=4478/tid=4484] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4484/stat : 4484 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831173315 10810257408 40042 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4485] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4485/stat : 4485 (java) S 4476 4478 31765 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831173315 10810257408 40042 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4486] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4486/stat : 4486 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831173315 10810257408 40042 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4487] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4487/stat : 4487 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831173315 10810257408 40042 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4488] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4488/stat : 4488 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831173315 10810257408 40042 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4489] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4489/stat : 4489 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831173315 10810257408 40042 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4490] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4490/stat : 4490 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831173315 10810257408 40042 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4491] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4491/stat : 4491 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831173315 10810257408 40042 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4492] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4492/stat : 4492 (java) S 4476 4478 31765 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 19 0 831173316 10810257408 40042 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 0 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4493] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4493/stat : 4493 (java) S 4476 4478 31765 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831173316 10810257408 40042 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4494] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4494/stat : 4494 (java) S 4476 4478 31765 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 831173316 10810257408 40042 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4495] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4495/stat : 4495 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831173318 10810257408 40042 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528657841 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4496] ppid=4476 vsize=10556892 CPUtime=0.64 cores=1,3,5,7
/proc/4478/task/4496/stat : 4496 (java) S 4476 4478 31765 0 -1 4202560 4024 0 0 0 64 0 0 0 15 0 19 0 831173318 10810257408 40042 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4497] ppid=4476 vsize=10556892 CPUtime=0.78 cores=1,3,5,7
/proc/4478/task/4497/stat : 4497 (java) S 4476 4478 31765 0 -1 4202560 8811 0 0 0 77 1 0 0 16 0 19 0 831173318 10810257408 40042 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4498] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4498/stat : 4498 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831173318 10810257408 40042 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4499] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4499/stat : 4499 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831173318 10810257408 40042 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4506] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4506/stat : 4506 (java) S 4476 4478 31765 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 831173374 10810257408 40042 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 4 0 16800975 18446604458073866496 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 10556892
[startup+3.10102 s]
/proc/loadavg: 2.00 3.05 3.40 1/461 4521
/proc/meminfo: memFree=25554336/32951124 swapFree=44043516/67111528
[pid=4478] ppid=4476 vsize=10556892 CPUtime=3.45 cores=1,3,5,7
/proc/4478/stat : 4478 (java) S 4476 4478 31765 0 -1 4202496 65196 0 1 0 336 9 0 0 25 0 19 0 831173313 10810257408 56891 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4478/statm: 2639223 56891 2248 9 0 2629957 0
[pid=4478/tid=4479] ppid=4476 vsize=10556892 CPUtime=0.59 cores=1,3,5,7
/proc/4478/task/4479/stat : 4479 (java) S 4476 4478 31765 0 -1 4202560 22853 0 1 0 56 3 0 0 16 0 19 0 831173313 10810257408 56891 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4484] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4484/stat : 4484 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831173315 10810257408 56891 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4485] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4485/stat : 4485 (java) S 4476 4478 31765 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831173315 10810257408 56891 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4486] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4486/stat : 4486 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831173315 10810257408 56891 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4487] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4487/stat : 4487 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831173315 10810257408 56891 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4488] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4488/stat : 4488 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831173315 10810257408 56891 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4489] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4489/stat : 4489 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831173315 10810257408 56891 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4490] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4490/stat : 4490 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831173315 10810257408 56891 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4491] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4491/stat : 4491 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831173315 10810257408 56891 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4492] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4492/stat : 4492 (java) S 4476 4478 31765 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 831173316 10810257408 56891 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 0 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4493] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4493/stat : 4493 (java) S 4476 4478 31765 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831173316 10810257408 56891 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4494] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4494/stat : 4494 (java) S 4476 4478 31765 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 831173316 10810257408 56891 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4495] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4495/stat : 4495 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831173318 10810257408 56891 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528657841 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4496] ppid=4476 vsize=10556892 CPUtime=0.68 cores=1,3,5,7
/proc/4478/task/4496/stat : 4496 (java) S 4476 4478 31765 0 -1 4202560 4031 0 0 0 68 0 0 0 15 0 19 0 831173318 10810257408 56891 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4497] ppid=4476 vsize=10556892 CPUtime=0.92 cores=1,3,5,7
/proc/4478/task/4497/stat : 4497 (java) S 4476 4478 31765 0 -1 4202560 9641 0 0 0 91 1 0 0 15 0 19 0 831173318 10810257408 56891 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4498] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4498/stat : 4498 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 831173318 10810257408 56891 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4499] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4499/stat : 4499 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831173318 10810257408 56891 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4506] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4506/stat : 4506 (java) S 4476 4478 31765 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 831173374 10810257408 56891 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 4 0 16800975 18446604458073866496 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 10556892
[startup+6.30142 s]
/proc/loadavg: 1.84 2.99 3.38 1/461 4560
/proc/meminfo: memFree=25369592/32951124 swapFree=44043516/67111528
[pid=4478] ppid=4476 vsize=10556892 CPUtime=4.48 cores=1,3,5,7
/proc/4478/stat : 4478 (java) S 4476 4478 31765 0 -1 4202496 101966 0 1 0 435 13 0 0 25 0 19 0 831173313 10810257408 93452 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4478/statm: 2639223 93452 2249 9 0 2629957 0
[pid=4478/tid=4479] ppid=4476 vsize=10556892 CPUtime=0.59 cores=1,3,5,7
/proc/4478/task/4479/stat : 4479 (java) S 4476 4478 31765 0 -1 4202560 23055 0 1 0 56 3 0 0 16 0 19 0 831173313 10810257408 93452 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4484] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4484/stat : 4484 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831173315 10810257408 93452 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4485] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4485/stat : 4485 (java) S 4476 4478 31765 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831173315 10810257408 93452 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4486] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4486/stat : 4486 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831173315 10810257408 93452 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4487] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4487/stat : 4487 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831173315 10810257408 93452 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4488] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4488/stat : 4488 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831173315 10810257408 93452 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4489] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4489/stat : 4489 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831173315 10810257408 93452 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4490] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4490/stat : 4490 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831173315 10810257408 93452 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4491] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4491/stat : 4491 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831173315 10810257408 93452 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4492] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4492/stat : 4492 (java) S 4476 4478 31765 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 831173316 10810257408 93452 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 0 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4493] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4493/stat : 4493 (java) S 4476 4478 31765 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831173316 10810257408 93452 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4494] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4494/stat : 4494 (java) S 4476 4478 31765 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 831173316 10810257408 93452 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4495] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4495/stat : 4495 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831173318 10810257408 93452 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528657841 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4496] ppid=4476 vsize=10556892 CPUtime=0.74 cores=1,3,5,7
/proc/4478/task/4496/stat : 4496 (java) S 4476 4478 31765 0 -1 4202560 4034 0 0 0 74 0 0 0 15 0 19 0 831173318 10810257408 93452 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4497] ppid=4476 vsize=10556892 CPUtime=0.94 cores=1,3,5,7
/proc/4478/task/4497/stat : 4497 (java) S 4476 4478 31765 0 -1 4202560 9642 0 0 0 93 1 0 0 15 0 19 0 831173318 10810257408 93452 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 3.90 3.88 3.71 5/467 4657
/proc/meminfo: memFree=20987656/32951124 swapFree=44043516/67111528
[pid=4478] ppid=4476 vsize=10556892 CPUtime=1610.27 cores=1,3,5,7
/proc/4478/stat : 4478 (java) S 4476 4478 31765 0 -1 4202496 656988 0 1 0 160952 75 0 0 25 0 22 0 831173313 10810257408 647911 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4478/statm: 2639223 647911 2274 9 0 2629957 0
[pid=4478/tid=4479] ppid=4476 vsize=10556892 CPUtime=0.61 cores=1,3,5,7
/proc/4478/task/4479/stat : 4479 (java) S 4476 4478 31765 0 -1 4202560 23211 0 1 0 57 4 0 0 15 0 22 0 831173313 10810257408 647911 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4484] ppid=4476 vsize=10556892 CPUtime=0.35 cores=1,3,5,7
/proc/4478/task/4484/stat : 4484 (java) S 4476 4478 31765 0 -1 4202560 22 0 0 0 35 0 0 0 16 0 22 0 831173315 10810257408 647911 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4485] ppid=4476 vsize=10556892 CPUtime=0.32 cores=1,3,5,7
/proc/4478/task/4485/stat : 4485 (java) S 4476 4478 31765 0 -1 4202560 534 0 0 0 32 0 0 0 15 0 22 0 831173315 10810257408 647911 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4486] ppid=4476 vsize=10556892 CPUtime=0.34 cores=1,3,5,7
/proc/4478/task/4486/stat : 4486 (java) S 4476 4478 31765 0 -1 4202560 1236 0 0 0 34 0 0 0 15 0 22 0 831173315 10810257408 647911 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4487] ppid=4476 vsize=10556892 CPUtime=0.34 cores=1,3,5,7
/proc/4478/task/4487/stat : 4487 (java) S 4476 4478 31765 0 -1 4202560 292 0 0 0 34 0 0 0 15 0 22 0 831173315 10810257408 647911 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4488] ppid=4476 vsize=10556892 CPUtime=0.34 cores=1,3,5,7
/proc/4478/task/4488/stat : 4488 (java) S 4476 4478 31765 0 -1 4202560 565 0 0 0 34 0 0 0 16 0 22 0 831173315 10810257408 647911 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4489] ppid=4476 vsize=10556892 CPUtime=0.33 cores=1,3,5,7
/proc/4478/task/4489/stat : 4489 (java) S 4476 4478 31765 0 -1 4202560 1601 0 0 0 33 0 0 0 15 0 22 0 831173315 10810257408 647911 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4490] ppid=4476 vsize=10556892 CPUtime=0.41 cores=1,3,5,7
/proc/4478/task/4490/stat : 4490 (java) S 4476 4478 31765 0 -1 4202560 1433 0 0 0 41 0 0 0 16 0 22 0 831173315 10810257408 647911 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 5 0 0 0
[pid=4478/tid=4491] ppid=4476 vsize=10556892 CPUtime=0.37 cores=1,3,5,7
/proc/4478/task/4491/stat : 4491 (java) S 4476 4478 31765 0 -1 4202560 1063 0 0 0 37 0 0 0 16 0 22 0 831173315 10810257408 647911 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4492] ppid=4476 vsize=10556892 CPUtime=22.42 cores=1,3,5,7
/proc/4478/task/4492/stat : 4492 (java) S 4476 4478 31765 0 -1 4202560 41349 0 0 0 2238 4 0 0 15 0 22 0 831173316 10810257408 647911 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 0 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4493] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4493/stat : 4493 (java) S 4476 4478 31765 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831173316 10810257408 647911 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4494] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4494/stat : 4494 (java) S 4476 4478 31765 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 22 0 831173316 10810257408 647911 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4495] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4495/stat : 4495 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831173318 10810257408 647911 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528657841 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4496] ppid=4476 vsize=10556892 CPUtime=1.12 cores=1,3,5,7
/proc/4478/task/4496/stat : 4496 (java) S 4476 4478 31765 0 -1 4202560 4113 0 0 0 112 0 0 0 15 0 22 0 831173318 10810257408 647911 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4497] ppid=4476 vsize=10556892 CPUtime=1.22 cores=1,3,5,7
/proc/4478/task/4497/stat : 4497 (java) S 4476 4478 31765 0 -1 4202560 10687 0 0 0 121 1 0 0 15 0 22 0 831173318 10810257408 647911 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4498] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4498/stat : 4498 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831173318 10810257408 647911 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4499] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4499/stat : 4499 (java) S 4476 4478 31765 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 831173318 10810257408 647911 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4506] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4506/stat : 4506 (java) S 4476 4478 31765 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831173374 10810257408 647911 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 4 0 16800975 18446604458073866496 0 0 -1 5 0 0 0
[pid=4478/tid=4623] ppid=4476 vsize=10556892 CPUtime=712.18 cores=1,3,5,7
/proc/4478/task/4623/stat : 4623 (java) R 4476 4478 31765 0 -1 4202560 177 0 0 0 71218 0 0 0 25 0 22 0 831182166 10810257408 647911 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 46912506055603 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4478/tid=4624] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4624/stat : 4624 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831182167 10810257408 647911 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4625] ppid=4476 vsize=10556892 CPUtime=712.13 cores=1,3,5,7
/proc/4478/task/4625/stat : 4625 (java) R 4476 4478 31765 0 -1 4202560 44284 0 0 0 71209 4 0 0 25 0 22 0 831182167 10810257408 647911 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 46912505573485 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1610.27
Current children cumulated vsize (KiB) 10556892
[startup+882.301 s]
/proc/loadavg: 3.68 3.82 3.70 5/467 4658
/proc/meminfo: memFree=20975844/32951124 swapFree=44043516/67111528
[pid=4478] ppid=4476 vsize=10556892 CPUtime=1726.95 cores=1,3,5,7
/proc/4478/stat : 4478 (java) S 4476 4478 31765 0 -1 4202496 658190 0 1 0 172619 76 0 0 25 0 22 0 831173313 10810257408 649095 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4478/statm: 2639223 649095 2274 9 0 2629957 0
[pid=4478/tid=4479] ppid=4476 vsize=10556892 CPUtime=0.61 cores=1,3,5,7
/proc/4478/task/4479/stat : 4479 (java) S 4476 4478 31765 0 -1 4202560 23211 0 1 0 57 4 0 0 15 0 22 0 831173313 10810257408 649095 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4484] ppid=4476 vsize=10556892 CPUtime=0.38 cores=1,3,5,7
/proc/4478/task/4484/stat : 4484 (java) S 4476 4478 31765 0 -1 4202560 24 0 0 0 38 0 0 0 15 0 22 0 831173315 10810257408 649095 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 5 0 0 0
[pid=4478/tid=4485] ppid=4476 vsize=10556892 CPUtime=0.35 cores=1,3,5,7
/proc/4478/task/4485/stat : 4485 (java) S 4476 4478 31765 0 -1 4202560 537 0 0 0 35 0 0 0 16 0 22 0 831173315 10810257408 649095 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 5 0 0 0
[pid=4478/tid=4486] ppid=4476 vsize=10556892 CPUtime=0.41 cores=1,3,5,7
/proc/4478/task/4486/stat : 4486 (java) S 4476 4478 31765 0 -1 4202560 1243 0 0 0 41 0 0 0 16 0 22 0 831173315 10810257408 649095 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 5 0 0 0
[pid=4478/tid=4487] ppid=4476 vsize=10556892 CPUtime=0.4 cores=1,3,5,7
/proc/4478/task/4487/stat : 4487 (java) S 4476 4478 31765 0 -1 4202560 303 0 0 0 40 0 0 0 16 0 22 0 831173315 10810257408 649095 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 5 0 0 0
[pid=4478/tid=4488] ppid=4476 vsize=10556892 CPUtime=0.38 cores=1,3,5,7
/proc/4478/task/4488/stat : 4488 (java) S 4476 4478 31765 0 -1 4202560 569 0 0 0 38 0 0 0 16 0 22 0 831173315 10810257408 649095 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4489] ppid=4476 vsize=10556892 CPUtime=0.37 cores=1,3,5,7
/proc/4478/task/4489/stat : 4489 (java) S 4476 4478 31765 0 -1 4202560 1603 0 0 0 37 0 0 0 16 0 22 0 831173315 10810257408 649095 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4490] ppid=4476 vsize=10556892 CPUtime=0.44 cores=1,3,5,7
/proc/4478/task/4490/stat : 4490 (java) S 4476 4478 31765 0 -1 4202560 1439 0 0 0 44 0 0 0 16 0 22 0 831173315 10810257408 649095 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4491] ppid=4476 vsize=10556892 CPUtime=0.4 cores=1,3,5,7
/proc/4478/task/4491/stat : 4491 (java) S 4476 4478 31765 0 -1 4202560 1063 0 0 0 40 0 0 0 15 0 22 0 831173315 10810257408 649095 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4492] ppid=4476 vsize=10556892 CPUtime=25.88 cores=1,3,5,7
/proc/4478/task/4492/stat : 4492 (java) S 4476 4478 31765 0 -1 4202560 42502 0 0 0 2584 4 0 0 15 0 22 0 831173316 10810257408 649095 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 0 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4493] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4493/stat : 4493 (java) S 4476 4478 31765 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831173316 10810257408 649095 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4494] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4494/stat : 4494 (java) S 4476 4478 31765 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 22 0 831173316 10810257408 649095 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4495] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4495/stat : 4495 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831173318 10810257408 649095 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528657841 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4496] ppid=4476 vsize=10556892 CPUtime=1.12 cores=1,3,5,7
/proc/4478/task/4496/stat : 4496 (java) S 4476 4478 31765 0 -1 4202560 4113 0 0 0 112 0 0 0 15 0 22 0 831173318 10810257408 649095 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4497] ppid=4476 vsize=10556892 CPUtime=1.22 cores=1,3,5,7
/proc/4478/task/4497/stat : 4497 (java) S 4476 4478 31765 0 -1 4202560 10687 0 0 0 121 1 0 0 15 0 22 0 831173318 10810257408 649095 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4498] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4498/stat : 4498 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831173318 10810257408 649095 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4499] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4499/stat : 4499 (java) S 4476 4478 31765 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831173318 10810257408 649095 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4506] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4506/stat : 4506 (java) S 4476 4478 31765 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831173374 10810257408 649095 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 4 0 16800975 18446604458073866496 0 0 -1 5 0 0 0
[pid=4478/tid=4623] ppid=4476 vsize=10556892 CPUtime=768.61 cores=1,3,5,7
/proc/4478/task/4623/stat : 4623 (java) R 4476 4478 31765 0 -1 4202560 187 0 0 0 76861 0 0 0 25 0 22 0 831182166 10810257408 649095 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 46912506487259 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4478/tid=4624] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4624/stat : 4624 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831182167 10810257408 649095 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4625] ppid=4476 vsize=10556892 CPUtime=768.56 cores=1,3,5,7
/proc/4478/task/4625/stat : 4625 (java) R 4476 4478 31765 0 -1 4202560 44284 0 0 0 76852 4 0 0 25 0 22 0 831182167 10810257408 649095 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 46912505997808 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1726.95
Current children cumulated vsize (KiB) 10556892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+919.901 s]
/proc/loadavg: 3.73 3.81 3.70 5/467 4659
/proc/meminfo: memFree=20969620/32951124 swapFree=44043516/67111528
[pid=4478] ppid=4476 vsize=10556892 CPUtime=1800.06 cores=1,3,5,7
/proc/4478/stat : 4478 (java) S 4476 4478 31765 0 -1 4202496 658468 0 1 0 179930 76 0 0 25 0 22 0 831173313 10810257408 649363 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4478/statm: 2639223 649363 2274 9 0 2629957 0
[pid=4478/tid=4479] ppid=4476 vsize=10556892 CPUtime=0.61 cores=1,3,5,7
/proc/4478/task/4479/stat : 4479 (java) S 4476 4478 31765 0 -1 4202560 23211 0 1 0 57 4 0 0 15 0 22 0 831173313 10810257408 649363 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4484] ppid=4476 vsize=10556892 CPUtime=0.41 cores=1,3,5,7
/proc/4478/task/4484/stat : 4484 (java) S 4476 4478 31765 0 -1 4202560 24 0 0 0 41 0 0 0 15 0 22 0 831173315 10810257408 649363 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 5 0 0 0
[pid=4478/tid=4485] ppid=4476 vsize=10556892 CPUtime=0.37 cores=1,3,5,7
/proc/4478/task/4485/stat : 4485 (java) S 4476 4478 31765 0 -1 4202560 537 0 0 0 37 0 0 0 15 0 22 0 831173315 10810257408 649363 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 5 0 0 0
[pid=4478/tid=4486] ppid=4476 vsize=10556892 CPUtime=0.42 cores=1,3,5,7
/proc/4478/task/4486/stat : 4486 (java) S 4476 4478 31765 0 -1 4202560 1243 0 0 0 42 0 0 0 15 0 22 0 831173315 10810257408 649363 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4487] ppid=4476 vsize=10556892 CPUtime=0.44 cores=1,3,5,7
/proc/4478/task/4487/stat : 4487 (java) S 4476 4478 31765 0 -1 4202560 306 0 0 0 44 0 0 0 16 0 22 0 831173315 10810257408 649363 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 5 0 0 0
[pid=4478/tid=4488] ppid=4476 vsize=10556892 CPUtime=0.41 cores=1,3,5,7
/proc/4478/task/4488/stat : 4488 (java) S 4476 4478 31765 0 -1 4202560 569 0 0 0 41 0 0 0 16 0 22 0 831173315 10810257408 649363 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 5 0 0 0
[pid=4478/tid=4489] ppid=4476 vsize=10556892 CPUtime=0.4 cores=1,3,5,7
/proc/4478/task/4489/stat : 4489 (java) S 4476 4478 31765 0 -1 4202560 1612 0 0 0 40 0 0 0 16 0 22 0 831173315 10810257408 649363 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4490] ppid=4476 vsize=10556892 CPUtime=0.46 cores=1,3,5,7
/proc/4478/task/4490/stat : 4490 (java) S 4476 4478 31765 0 -1 4202560 1439 0 0 0 46 0 0 0 15 0 22 0 831173315 10810257408 649363 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4491] ppid=4476 vsize=10556892 CPUtime=0.45 cores=1,3,5,7
/proc/4478/task/4491/stat : 4491 (java) S 4476 4478 31765 0 -1 4202560 1069 0 0 0 45 0 0 0 16 0 22 0 831173315 10810257408 649363 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4492] ppid=4476 vsize=10556892 CPUtime=28.07 cores=1,3,5,7
/proc/4478/task/4492/stat : 4492 (java) S 4476 4478 31765 0 -1 4202560 42754 0 0 0 2803 4 0 0 15 0 22 0 831173316 10810257408 649363 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 0 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4493] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4493/stat : 4493 (java) S 4476 4478 31765 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831173316 10810257408 649363 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4494] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4494/stat : 4494 (java) S 4476 4478 31765 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 22 0 831173316 10810257408 649363 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4495] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4495/stat : 4495 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831173318 10810257408 649363 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528657841 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4496] ppid=4476 vsize=10556892 CPUtime=1.12 cores=1,3,5,7
/proc/4478/task/4496/stat : 4496 (java) S 4476 4478 31765 0 -1 4202560 4113 0 0 0 112 0 0 0 15 0 22 0 831173318 10810257408 649363 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4497] ppid=4476 vsize=10556892 CPUtime=1.22 cores=1,3,5,7
/proc/4478/task/4497/stat : 4497 (java) S 4476 4478 31765 0 -1 4202560 10687 0 0 0 121 1 0 0 15 0 22 0 831173318 10810257408 649363 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4498] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4498/stat : 4498 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 831173318 10810257408 649363 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650137 0 4 0 16800975 18446604458073866496 0 0 -1 3 0 0 0
[pid=4478/tid=4499] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4499/stat : 4499 (java) S 4476 4478 31765 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831173318 10810257408 649363 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 4 0 16800975 18446604458073866496 0 0 -1 1 0 0 0
[pid=4478/tid=4506] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4506/stat : 4506 (java) S 4476 4478 31765 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 831173374 10810257408 649363 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 4 0 16800975 18446604458073866496 0 0 -1 5 0 0 0
[pid=4478/tid=4623] ppid=4476 vsize=10556892 CPUtime=803.97 cores=1,3,5,7
/proc/4478/task/4623/stat : 4623 (java) R 4476 4478 31765 0 -1 4202560 193 0 0 0 80397 0 0 0 25 0 22 0 831182166 10810257408 649363 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 46912505744360 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4478/tid=4624] ppid=4476 vsize=10556892 CPUtime=0 cores=1,3,5,7
/proc/4478/task/4624/stat : 4624 (java) S 4476 4478 31765 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831182167 10810257408 649363 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 246528650752 0 4 0 16800975 18446604458073866496 0 0 -1 7 0 0 0
[pid=4478/tid=4625] ppid=4476 vsize=10556892 CPUtime=803.93 cores=1,3,5,7
/proc/4478/task/4625/stat : 4625 (java) R 4476 4478 31765 0 -1 4202560 44284 0 0 0 80389 4 0 0 25 0 22 0 831182167 10810257408 649363 33554432000 1073741824 1073778376 140733722558416 18446744073709551615 46912506043626 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10556892
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+920.023 s]
/proc/loadavg: 3.73 3.81 3.70 5/467 4659
/proc/meminfo: memFree=20969620/32951124 swapFree=44043516/67111528
[pid=4478] ppid=4476 vsize=0 CPUtime=1800.21 cores=1,3,5,7
/proc/4478/stat : 4478 (java) Z 4476 4478 31765 0 -1 4203548 658495 0 1 0 179936 85 0 0 17 0 2 0 831173313 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4478/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 920.034
CPU time (s): 1800.23
CPU user time (s): 1799.36
CPU system time (s): 0.868867
CPU usage (%): 195.67
Max. virtual memory (cumulated for all children) (KiB): 10556892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.868867
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 658495
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25267
involuntary context switches= 15741
runsolver used 3.88041 second user time and 9.47856 second system time
The end