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-3457653-1307230267/watcher-3457653-1307230267 -o /tmp/evaluation-result-3457653-1307230267/solver-3457653-1307230267 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457653-1307230267.opb
running on 4 cores: 0,2,4,6
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.06 2.05 2.00 2/455 17525
/proc/meminfo: memFree=20507456/32951124 swapFree=50923800/67111528
[pid=17525] ppid=17523 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/17525/stat : 17525 (java) S 17523 17525 15674 0 -1 4202496 4383 0 1 0 0 0 0 0 25 0 2 0 815442377 10694979584 4084 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/17525/statm: 2611079 4098 917 9 0 2602235 0
[pid=17525/tid=17526] ppid=17523 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17526/stat : 17526 (java) R 17523 17525 15674 0 -1 4202560 5798 0 1 0 0 0 0 0 25 0 2 0 815442377 10694979584 6614 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270338077755 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0503021 s]
/proc/loadavg: 2.06 2.05 2.00 2/455 17525
/proc/meminfo: memFree=20507456/32951124 swapFree=50923800/67111528
[pid=17525] ppid=17523 vsize=10467616 CPUtime=0.03 cores=0,2,4,6
/proc/17525/stat : 17525 (java) S 17523 17525 15674 0 -1 4202496 11437 0 1 0 3 0 0 0 25 0 13 0 815442377 10718838784 11133 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350186469 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0
/proc/17525/statm: 2616904 11134 1684 9 0 2607652 0
[pid=17525/tid=17526] ppid=17523 vsize=10467616 CPUtime=0.03 cores=0,2,4,6
/proc/17525/task/17526/stat : 17526 (java) R 17523 17525 15674 0 -1 4202560 10289 0 1 0 3 0 0 0 25 0 13 0 815442377 10718838784 11134 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 47572904569918 0 4 0 16800971 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467616
[startup+0.100275 s]
/proc/loadavg: 2.06 2.05 2.00 2/455 17525
/proc/meminfo: memFree=20507456/32951124 swapFree=50923800/67111528
[pid=17525] ppid=17523 vsize=10539616 CPUtime=0.1 cores=0,2,4,6
/proc/17525/stat : 17525 (java) S 17523 17525 15674 0 -1 4202496 12981 0 1 0 9 1 0 0 25 0 18 0 815442377 10792566784 12677 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17525/statm: 2634904 12678 2093 9 0 2625638 0
[pid=17525/tid=17526] ppid=17523 vsize=10539616 CPUtime=0.08 cores=0,2,4,6
/proc/17525/task/17526/stat : 17526 (java) R 17523 17525 15674 0 -1 4202560 11073 0 1 0 7 1 0 0 25 0 18 0 815442377 10792566784 12678 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 47572900414211 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539616
[startup+0.300268 s]
/proc/loadavg: 2.06 2.05 2.00 2/455 17525
/proc/meminfo: memFree=20507456/32951124 swapFree=50923800/67111528
[pid=17525] ppid=17523 vsize=10542128 CPUtime=0.49 cores=0,2,4,6
/proc/17525/stat : 17525 (java) S 17523 17525 15674 0 -1 4202496 16665 0 1 0 47 2 0 0 25 0 18 0 815442377 10795139072 15860 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17525/statm: 2635532 15861 2202 9 0 2626266 0
[pid=17525/tid=17526] ppid=17523 vsize=10542128 CPUtime=0.28 cores=0,2,4,6
/proc/17525/task/17526/stat : 17526 (java) R 17523 17525 15674 0 -1 4202560 13033 0 1 0 27 1 0 0 18 0 18 0 815442377 10795139072 15861 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 46912505606192 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10542128
[startup+0.701204 s]
/proc/loadavg: 2.06 2.05 2.00 2/455 17525
/proc/meminfo: memFree=20507456/32951124 swapFree=50923800/67111528
[pid=17525] ppid=17523 vsize=10544072 CPUtime=1.22 cores=0,2,4,6
/proc/17525/stat : 17525 (java) S 17523 17525 15674 0 -1 4202496 46569 0 1 0 116 6 0 0 25 0 18 0 815442377 10797129728 43935 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17525/statm: 2636018 43935 2224 9 0 2626752 0
[pid=17525/tid=17526] ppid=17523 vsize=10544072 CPUtime=0.68 cores=0,2,4,6
/proc/17525/task/17526/stat : 17526 (java) R 17523 17525 15674 0 -1 4202560 40143 0 1 0 63 5 0 0 18 0 18 0 815442377 10797129728 43937 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 10544072
[startup+1.50105 s]
/proc/loadavg: 2.06 2.05 2.00 3/474 17544
/proc/meminfo: memFree=20306060/32951124 swapFree=50923800/67111528
[pid=17525] ppid=17523 vsize=10551460 CPUtime=2.96 cores=0,2,4,6
/proc/17525/stat : 17525 (java) S 17523 17525 15674 0 -1 4202496 101288 0 1 0 284 12 0 0 25 0 19 0 815442377 10804695040 95266 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17525/statm: 2637865 95272 2235 9 0 2628599 0
[pid=17525/tid=17526] ppid=17523 vsize=10551460 CPUtime=1.48 cores=0,2,4,6
/proc/17525/task/17526/stat : 17526 (java) R 17523 17525 15674 0 -1 4202560 88808 0 1 0 138 10 0 0 18 0 19 0 815442377 10804695040 95276 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 46912505906123 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17525/tid=17528] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17528/stat : 17528 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442379 10804695040 95280 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17529] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17529/stat : 17529 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442379 10804695040 95284 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17530] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17530/stat : 17530 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442379 10804695040 95287 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17531] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17531/stat : 17531 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442379 10804695040 95291 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17532] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17532/stat : 17532 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442379 10804695040 95295 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17533] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17533/stat : 17533 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442379 10804695040 95298 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17534] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17534/stat : 17534 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442379 10804695040 95302 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17535] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17535/stat : 17535 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442379 10804695040 95305 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17536] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17536/stat : 17536 (java) S 17523 17525 15674 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 815442380 10804695040 95309 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350200320 0 0 0 16800975 18446604453115739136 0 0 -1 4 0 0 0
[pid=17525/tid=17537] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17537/stat : 17537 (java) S 17523 17525 15674 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 815442380 10804695040 95313 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 4 0 0 0
[pid=17525/tid=17538] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17538/stat : 17538 (java) S 17523 17525 15674 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 815442380 10804695040 95316 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17539] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17539/stat : 17539 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442382 10804695040 95320 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350207409 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17540] ppid=17523 vsize=10551460 CPUtime=0.75 cores=0,2,4,6
/proc/17525/task/17540/stat : 17540 (java) S 17523 17525 15674 0 -1 4202560 5306 0 0 0 74 1 0 0 15 0 19 0 815442382 10804695040 95323 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 2 0 0 0
[pid=17525/tid=17541] ppid=17523 vsize=10551460 CPUtime=0.7 cores=0,2,4,6
/proc/17525/task/17541/stat : 17541 (java) S 17523 17525 15674 0 -1 4202560 6023 0 0 0 70 0 0 0 15 0 19 0 815442382 10804695040 95326 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
[pid=17525/tid=17542] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17542/stat : 17542 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442382 10804695040 95331 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
[pid=17525/tid=17543] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17543/stat : 17543 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 815442382 10804695040 95333 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350200320 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17544] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17544/stat : 17544 (java) S 17523 17525 15674 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 815442457 10804695040 95337 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350200320 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 10551460
[startup+3.10069 s]
/proc/loadavg: 2.05 2.05 2.00 3/474 17544
/proc/meminfo: memFree=19878476/32951124 swapFree=50923800/67111528
[pid=17525] ppid=17523 vsize=10551460 CPUtime=4.83 cores=0,2,4,6
/proc/17525/stat : 17525 (java) S 17523 17525 15674 0 -1 4202496 275897 0 1 0 452 31 0 0 25 0 19 0 815442377 10804695040 266518 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17525/statm: 2637865 266524 2238 9 0 2628599 0
[pid=17525/tid=17526] ppid=17523 vsize=10551460 CPUtime=3.08 cores=0,2,4,6
/proc/17525/task/17526/stat : 17526 (java) R 17523 17525 15674 0 -1 4202560 260033 0 1 0 280 28 0 0 19 0 19 0 815442377 10804695040 266527 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 46912505802730 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17525/tid=17528] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17528/stat : 17528 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442379 10804695040 266530 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17529] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17529/stat : 17529 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442379 10804695040 266534 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17530] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17530/stat : 17530 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442379 10804695040 266538 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17531] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17531/stat : 17531 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442379 10804695040 266541 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17532] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17532/stat : 17532 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442379 10804695040 266545 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17533] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17533/stat : 17533 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442379 10804695040 266548 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17534] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17534/stat : 17534 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442379 10804695040 266551 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17535] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17535/stat : 17535 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442379 10804695040 266556 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17536] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17536/stat : 17536 (java) S 17523 17525 15674 0 -1 4202560 6 0 0 0 0 0 0 0 17 0 19 0 815442380 10804695040 266558 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350200320 0 0 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17537] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17537/stat : 17537 (java) S 17523 17525 15674 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 815442380 10804695040 266562 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 4 0 0 0
[pid=17525/tid=17538] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17538/stat : 17538 (java) S 17523 17525 15674 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 815442380 10804695040 266566 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17539] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17539/stat : 17539 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442382 10804695040 266569 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350207409 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17540] ppid=17523 vsize=10551460 CPUtime=0.94 cores=0,2,4,6
/proc/17525/task/17540/stat : 17540 (java) S 17523 17525 15674 0 -1 4202560 8679 0 0 0 93 1 0 0 15 0 19 0 815442382 10804695040 266572 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 2 0 0 0
[pid=17525/tid=17541] ppid=17523 vsize=10551460 CPUtime=0.78 cores=0,2,4,6
/proc/17525/task/17541/stat : 17541 (java) S 17523 17525 15674 0 -1 4202560 6031 0 0 0 78 0 0 0 15 0 19 0 815442382 10804695040 266576 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
[pid=17525/tid=17542] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17542/stat : 17542 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442382 10804695040 266578 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
[pid=17525/tid=17543] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17543/stat : 17543 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 815442382 10804695040 266582 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350200320 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17544] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17544/stat : 17544 (java) S 17523 17525 15674 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 815442457 10804695040 266586 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350200320 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.83
Current children cumulated vsize (KiB) 10551460
[startup+6.30109 s]
/proc/loadavg: 2.05 2.05 2.00 3/474 17544
/proc/meminfo: memFree=18504680/32951124 swapFree=50923800/67111528
[pid=17525] ppid=17523 vsize=10551460 CPUtime=8.14 cores=0,2,4,6
/proc/17525/stat : 17525 (java) S 17523 17525 15674 0 -1 4202496 597018 0 1 0 747 67 0 0 25 0 19 0 815442377 10804695040 587519 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17525/statm: 2637865 587526 2238 9 0 2628599 0
[pid=17525/tid=17526] ppid=17523 vsize=10551460 CPUtime=6.28 cores=0,2,4,6
/proc/17525/task/17526/stat : 17526 (java) R 17523 17525 15674 0 -1 4202560 581143 0 1 0 564 64 0 0 19 0 19 0 815442377 10804695040 587529 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 46912505802730 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17525/tid=17528] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17528/stat : 17528 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442379 10804695040 587534 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17529] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17529/stat : 17529 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442379 10804695040 587538 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17530] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17530/stat : 17530 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442379 10804695040 587543 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17531] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17531/stat : 17531 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442379 10804695040 587547 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17532] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17532/stat : 17532 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442379 10804695040 587551 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17533] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17533/stat : 17533 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442379 10804695040 587555 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17534] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17534/stat : 17534 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442379 10804695040 587559 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17535] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17535/stat : 17535 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442379 10804695040 587564 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17536] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17536/stat : 17536 (java) S 17523 17525 15674 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 815442380 10804695040 587567 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350200320 0 0 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17537] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17537/stat : 17537 (java) S 17523 17525 15674 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 815442380 10804695040 587571 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 4 0 0 0
[pid=17525/tid=17538] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17538/stat : 17538 (java) S 17523 17525 15674 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 815442380 10804695040 587575 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17539] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17539/stat : 17539 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442382 10804695040 587580 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350207409 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17540] ppid=17523 vsize=10551460 CPUtime=0.96 cores=0,2,4,6
/proc/17525/task/17540/stat : 17540 (java) S 17523 17525 15674 0 -1 4202560 8681 0 0 0 95 1 0 0 15 0 19 0 815442382 10804695040 587583 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 2 0 0 0
[pid=17525/tid=17541] ppid=17523 vsize=10551460 CPUtime=0.87 cores=0,2,4,6
/proc/17525/task/17541/stat : 17541 (java) S 17523 17525 15674 0 -1 4202560 6041 0 0 0 87 0 0 0 15 0 19 0 815442382 10804695040 587587 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/17525/task/17538/stat : 17538 (java) S 17523 17525 15674 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 815442380 10804695040 975446 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17539] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17539/stat : 17539 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442382 10804695040 975446 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350207409 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17540] ppid=17523 vsize=10551460 CPUtime=1.51 cores=0,2,4,6
/proc/17525/task/17540/stat : 17540 (java) S 17523 17525 15674 0 -1 4202560 15232 0 0 0 149 2 0 0 15 0 19 0 815442382 10804695040 975446 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 2 0 0 0
[pid=17525/tid=17541] ppid=17523 vsize=10551460 CPUtime=0.99 cores=0,2,4,6
/proc/17525/task/17541/stat : 17541 (java) S 17523 17525 15674 0 -1 4202560 6056 0 0 0 99 0 0 0 15 0 19 0 815442382 10804695040 975446 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
[pid=17525/tid=17542] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17542/stat : 17542 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442382 10804695040 975446 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
[pid=17525/tid=17543] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17543/stat : 17543 (java) S 17523 17525 15674 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 815442382 10804695040 975446 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350200320 0 4 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
[pid=17525/tid=17544] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17544/stat : 17544 (java) S 17523 17525 15674 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 815442457 10804695040 975446 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350200320 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1669.79
Current children cumulated vsize (KiB) 10551460
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/474 17821
/proc/meminfo: memFree=16057060/32951124 swapFree=50923800/67111528
[pid=17525] ppid=17523 vsize=10551460 CPUtime=1729.97 cores=0,2,4,6
/proc/17525/stat : 17525 (java) S 17523 17525 15674 0 -1 4202496 995796 0 1 0 172877 120 0 0 25 0 19 0 815442377 10804695040 976995 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17525/statm: 2637865 976995 2267 9 0 2628599 0
[pid=17525/tid=17526] ppid=17523 vsize=10551460 CPUtime=1718.88 cores=0,2,4,6
/proc/17525/task/17526/stat : 17526 (java) R 17523 17525 15674 0 -1 4202560 806011 0 1 0 171798 90 0 0 25 0 19 0 815442377 10804695040 976995 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 46912505986813 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17525/tid=17528] ppid=17523 vsize=10551460 CPUtime=0.93 cores=0,2,4,6
/proc/17525/task/17528/stat : 17528 (java) S 17523 17525 15674 0 -1 4202560 21867 0 0 0 92 1 0 0 16 0 19 0 815442379 10804695040 976995 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 2 0 0 0
[pid=17525/tid=17529] ppid=17523 vsize=10551460 CPUtime=0.97 cores=0,2,4,6
/proc/17525/task/17529/stat : 17529 (java) S 17523 17525 15674 0 -1 4202560 22541 0 0 0 94 3 0 0 15 0 19 0 815442379 10804695040 976995 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 2 0 0 0
[pid=17525/tid=17530] ppid=17523 vsize=10551460 CPUtime=0.83 cores=0,2,4,6
/proc/17525/task/17530/stat : 17530 (java) S 17523 17525 15674 0 -1 4202560 19079 0 0 0 80 3 0 0 15 0 19 0 815442379 10804695040 976995 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 2 0 0 0
[pid=17525/tid=17531] ppid=17523 vsize=10551460 CPUtime=0.96 cores=0,2,4,6
/proc/17525/task/17531/stat : 17531 (java) S 17523 17525 15674 0 -1 4202560 19826 0 0 0 94 2 0 0 16 0 19 0 815442379 10804695040 976995 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 4 0 0 0
[pid=17525/tid=17532] ppid=17523 vsize=10551460 CPUtime=0.8 cores=0,2,4,6
/proc/17525/task/17532/stat : 17532 (java) S 17523 17525 15674 0 -1 4202560 12861 0 0 0 79 1 0 0 15 0 19 0 815442379 10804695040 976995 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17533] ppid=17523 vsize=10551460 CPUtime=0.94 cores=0,2,4,6
/proc/17525/task/17533/stat : 17533 (java) S 17523 17525 15674 0 -1 4202560 19479 0 0 0 91 3 0 0 16 0 19 0 815442379 10804695040 976995 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
[pid=17525/tid=17534] ppid=17523 vsize=10551460 CPUtime=0.94 cores=0,2,4,6
/proc/17525/task/17534/stat : 17534 (java) S 17523 17525 15674 0 -1 4202560 26889 0 0 0 91 3 0 0 16 0 19 0 815442379 10804695040 976995 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
[pid=17525/tid=17535] ppid=17523 vsize=10551460 CPUtime=0.91 cores=0,2,4,6
/proc/17525/task/17535/stat : 17535 (java) S 17523 17525 15674 0 -1 4202560 18449 0 0 0 90 1 0 0 16 0 19 0 815442379 10804695040 976995 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17536] ppid=17523 vsize=10551460 CPUtime=1.14 cores=0,2,4,6
/proc/17525/task/17536/stat : 17536 (java) S 17523 17525 15674 0 -1 4202560 6256 0 0 0 113 1 0 0 15 0 19 0 815442380 10804695040 976995 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350200320 0 0 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
[pid=17525/tid=17537] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17537/stat : 17537 (java) S 17523 17525 15674 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 815442380 10804695040 976995 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 4 0 0 0
[pid=17525/tid=17538] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17538/stat : 17538 (java) S 17523 17525 15674 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 815442380 10804695040 976995 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17539] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17539/stat : 17539 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442382 10804695040 976995 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350207409 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17540] ppid=17523 vsize=10551460 CPUtime=1.51 cores=0,2,4,6
/proc/17525/task/17540/stat : 17540 (java) S 17523 17525 15674 0 -1 4202560 15232 0 0 0 149 2 0 0 15 0 19 0 815442382 10804695040 976995 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 2 0 0 0
[pid=17525/tid=17541] ppid=17523 vsize=10551460 CPUtime=0.99 cores=0,2,4,6
/proc/17525/task/17541/stat : 17541 (java) S 17523 17525 15674 0 -1 4202560 6056 0 0 0 99 0 0 0 15 0 19 0 815442382 10804695040 976995 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
[pid=17525/tid=17542] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17542/stat : 17542 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442382 10804695040 976995 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
[pid=17525/tid=17543] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17543/stat : 17543 (java) S 17523 17525 15674 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 815442382 10804695040 976995 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350200320 0 4 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
[pid=17525/tid=17544] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17544/stat : 17544 (java) S 17523 17525 15674 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 815442457 10804695040 976995 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350200320 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1729.97
Current children cumulated vsize (KiB) 10551460
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/474 17822
/proc/meminfo: memFree=16028872/32951124 swapFree=50923800/67111528
[pid=17525] ppid=17523 vsize=10551460 CPUtime=1790.07 cores=0,2,4,6
/proc/17525/stat : 17525 (java) S 17523 17525 15674 0 -1 4202496 996949 0 1 0 178887 120 0 0 25 0 19 0 815442377 10804695040 978122 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17525/statm: 2637865 978122 2267 9 0 2628599 0
[pid=17525/tid=17526] ppid=17523 vsize=10551460 CPUtime=1778.83 cores=0,2,4,6
/proc/17525/task/17526/stat : 17526 (java) R 17523 17525 15674 0 -1 4202560 806013 0 1 0 177793 90 0 0 25 0 19 0 815442377 10804695040 978122 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 46912506046236 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17525/tid=17528] ppid=17523 vsize=10551460 CPUtime=0.96 cores=0,2,4,6
/proc/17525/task/17528/stat : 17528 (java) S 17523 17525 15674 0 -1 4202560 21986 0 0 0 95 1 0 0 16 0 19 0 815442379 10804695040 978122 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17529] ppid=17523 vsize=10551460 CPUtime=0.99 cores=0,2,4,6
/proc/17525/task/17529/stat : 17529 (java) S 17523 17525 15674 0 -1 4202560 22659 0 0 0 96 3 0 0 16 0 19 0 815442379 10804695040 978122 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17530] ppid=17523 vsize=10551460 CPUtime=0.86 cores=0,2,4,6
/proc/17525/task/17530/stat : 17530 (java) S 17523 17525 15674 0 -1 4202560 19419 0 0 0 83 3 0 0 16 0 19 0 815442379 10804695040 978122 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 2 0 0 0
[pid=17525/tid=17531] ppid=17523 vsize=10551460 CPUtime=0.96 cores=0,2,4,6
/proc/17525/task/17531/stat : 17531 (java) S 17523 17525 15674 0 -1 4202560 19826 0 0 0 94 2 0 0 15 0 19 0 815442379 10804695040 978122 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 4 0 0 0
[pid=17525/tid=17532] ppid=17523 vsize=10551460 CPUtime=0.83 cores=0,2,4,6
/proc/17525/task/17532/stat : 17532 (java) S 17523 17525 15674 0 -1 4202560 13023 0 0 0 82 1 0 0 16 0 19 0 815442379 10804695040 978122 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17533] ppid=17523 vsize=10551460 CPUtime=0.97 cores=0,2,4,6
/proc/17525/task/17533/stat : 17533 (java) S 17523 17525 15674 0 -1 4202560 19735 0 0 0 94 3 0 0 15 0 19 0 815442379 10804695040 978122 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 2 0 0 0
[pid=17525/tid=17534] ppid=17523 vsize=10551460 CPUtime=0.97 cores=0,2,4,6
/proc/17525/task/17534/stat : 17534 (java) S 17523 17525 15674 0 -1 4202560 27039 0 0 0 94 3 0 0 15 0 19 0 815442379 10804695040 978122 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
[pid=17525/tid=17535] ppid=17523 vsize=10551460 CPUtime=0.91 cores=0,2,4,6
/proc/17525/task/17535/stat : 17535 (java) S 17523 17525 15674 0 -1 4202560 18449 0 0 0 90 1 0 0 15 0 19 0 815442379 10804695040 978122 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 4 0 0 0
[pid=17525/tid=17536] ppid=17523 vsize=10551460 CPUtime=1.15 cores=0,2,4,6
/proc/17525/task/17536/stat : 17536 (java) S 17523 17525 15674 0 -1 4202560 6258 0 0 0 113 2 0 0 15 0 19 0 815442380 10804695040 978122 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350200320 0 0 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
[pid=17525/tid=17537] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17537/stat : 17537 (java) S 17523 17525 15674 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 815442380 10804695040 978122 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 4 0 0 0
[pid=17525/tid=17538] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17538/stat : 17538 (java) S 17523 17525 15674 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 815442380 10804695040 978122 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17539] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17539/stat : 17539 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442382 10804695040 978122 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350207409 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17540] ppid=17523 vsize=10551460 CPUtime=1.51 cores=0,2,4,6
/proc/17525/task/17540/stat : 17540 (java) S 17523 17525 15674 0 -1 4202560 15232 0 0 0 149 2 0 0 15 0 19 0 815442382 10804695040 978122 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 2 0 0 0
[pid=17525/tid=17541] ppid=17523 vsize=10551460 CPUtime=0.99 cores=0,2,4,6
/proc/17525/task/17541/stat : 17541 (java) S 17523 17525 15674 0 -1 4202560 6056 0 0 0 99 0 0 0 15 0 19 0 815442382 10804695040 978122 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
[pid=17525/tid=17542] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17542/stat : 17542 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442382 10804695040 978122 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
[pid=17525/tid=17543] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17543/stat : 17543 (java) S 17523 17525 15674 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 815442382 10804695040 978122 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350200320 0 4 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
[pid=17525/tid=17544] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17544/stat : 17544 (java) S 17523 17525 15674 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 815442457 10804695040 978122 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350200320 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1790.07
Current children cumulated vsize (KiB) 10551460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.2 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 17823
/proc/meminfo: memFree=16019320/32951124 swapFree=50923800/67111528
[pid=17525] ppid=17523 vsize=10551460 CPUtime=1800.05 cores=0,2,4,6
/proc/17525/stat : 17525 (java) S 17523 17525 15674 0 -1 4202496 997584 0 1 0 179885 120 0 0 25 0 19 0 815442377 10804695040 978738 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17525/statm: 2637865 978738 2267 9 0 2628599 0
[pid=17525/tid=17526] ppid=17523 vsize=10551460 CPUtime=1788.72 cores=0,2,4,6
/proc/17525/task/17526/stat : 17526 (java) R 17523 17525 15674 0 -1 4202560 806014 0 1 0 178782 90 0 0 25 0 19 0 815442377 10804695040 978738 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 46912506071345 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17525/tid=17528] ppid=17523 vsize=10551460 CPUtime=0.98 cores=0,2,4,6
/proc/17525/task/17528/stat : 17528 (java) S 17523 17525 15674 0 -1 4202560 22172 0 0 0 97 1 0 0 16 0 19 0 815442379 10804695040 978738 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
[pid=17525/tid=17529] ppid=17523 vsize=10551460 CPUtime=1 cores=0,2,4,6
/proc/17525/task/17529/stat : 17529 (java) S 17523 17525 15674 0 -1 4202560 22816 0 0 0 97 3 0 0 16 0 19 0 815442379 10804695040 978738 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17530] ppid=17523 vsize=10551460 CPUtime=0.86 cores=0,2,4,6
/proc/17525/task/17530/stat : 17530 (java) S 17523 17525 15674 0 -1 4202560 19419 0 0 0 83 3 0 0 16 0 19 0 815442379 10804695040 978738 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 2 0 0 0
[pid=17525/tid=17531] ppid=17523 vsize=10551460 CPUtime=0.98 cores=0,2,4,6
/proc/17525/task/17531/stat : 17531 (java) S 17523 17525 15674 0 -1 4202560 20027 0 0 0 96 2 0 0 16 0 19 0 815442379 10804695040 978738 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 4 0 0 0
[pid=17525/tid=17532] ppid=17523 vsize=10551460 CPUtime=0.84 cores=0,2,4,6
/proc/17525/task/17532/stat : 17532 (java) S 17523 17525 15674 0 -1 4202560 13055 0 0 0 83 1 0 0 16 0 19 0 815442379 10804695040 978738 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17533] ppid=17523 vsize=10551460 CPUtime=0.98 cores=0,2,4,6
/proc/17525/task/17533/stat : 17533 (java) S 17523 17525 15674 0 -1 4202560 19791 0 0 0 95 3 0 0 16 0 19 0 815442379 10804695040 978738 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 2 0 0 0
[pid=17525/tid=17534] ppid=17523 vsize=10551460 CPUtime=0.97 cores=0,2,4,6
/proc/17525/task/17534/stat : 17534 (java) S 17523 17525 15674 0 -1 4202560 27039 0 0 0 94 3 0 0 15 0 19 0 815442379 10804695040 978738 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
[pid=17525/tid=17535] ppid=17523 vsize=10551460 CPUtime=0.91 cores=0,2,4,6
/proc/17525/task/17535/stat : 17535 (java) S 17523 17525 15674 0 -1 4202560 18449 0 0 0 90 1 0 0 15 0 19 0 815442379 10804695040 978738 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 4 0 0 0
[pid=17525/tid=17536] ppid=17523 vsize=10551460 CPUtime=1.15 cores=0,2,4,6
/proc/17525/task/17536/stat : 17536 (java) S 17523 17525 15674 0 -1 4202560 6260 0 0 0 113 2 0 0 15 0 19 0 815442380 10804695040 978738 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350200320 0 0 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
[pid=17525/tid=17537] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17537/stat : 17537 (java) S 17523 17525 15674 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 815442380 10804695040 978738 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 4 0 0 0
[pid=17525/tid=17538] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17538/stat : 17538 (java) S 17523 17525 15674 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 815442380 10804695040 978738 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17539] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17539/stat : 17539 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442382 10804695040 978738 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350207409 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
[pid=17525/tid=17540] ppid=17523 vsize=10551460 CPUtime=1.51 cores=0,2,4,6
/proc/17525/task/17540/stat : 17540 (java) S 17523 17525 15674 0 -1 4202560 15232 0 0 0 149 2 0 0 15 0 19 0 815442382 10804695040 978738 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 2 0 0 0
[pid=17525/tid=17541] ppid=17523 vsize=10551460 CPUtime=0.99 cores=0,2,4,6
/proc/17525/task/17541/stat : 17541 (java) S 17523 17525 15674 0 -1 4202560 6056 0 0 0 99 0 0 0 15 0 19 0 815442382 10804695040 978738 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
[pid=17525/tid=17542] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17542/stat : 17542 (java) S 17523 17525 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815442382 10804695040 978738 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350199705 0 4 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
[pid=17525/tid=17543] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17543/stat : 17543 (java) S 17523 17525 15674 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 815442382 10804695040 978738 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350200320 0 4 0 16800975 18446604453115739136 0 0 -1 0 0 0 0
[pid=17525/tid=17544] ppid=17523 vsize=10551460 CPUtime=0 cores=0,2,4,6
/proc/17525/task/17544/stat : 17544 (java) S 17523 17525 15674 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 815442457 10804695040 978738 33554432000 1073741824 1073778376 140734341066480 18446744073709551615 270350200320 0 4 0 16800975 18446604453115739136 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10551460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.4 s]
/proc/loadavg: 2.01 2.03 2.00 3/474 17823
/proc/meminfo: memFree=16019320/32951124 swapFree=50923800/67111528
[pid=17525] ppid=17523 vsize=0 CPUtime=1800.24 cores=0,2,4,6
/proc/17525/stat : 17525 (java) Z 17523 17525 15674 0 -1 4203548 997613 0 1 0 179889 135 0 0 17 0 2 0 815442377 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17525/statm: 0 0 0 0 0 0 0
[pid=17525/tid=17542] ppid=17523 vsize=0 CPUtime=0.15 cores=0,2,4,6
/proc/17525/task/17542/stat : 17542 (java) R 17523 17525 15674 0 -1 4203588 1 0 0 0 0 15 0 0 18 0 2 0 815442382 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.42
CPU time (s): 1800.26
CPU user time (s): 1798.89
CPU system time (s): 1.37179
CPU usage (%): 100.438
Max. virtual memory (cumulated for all children) (KiB): 10554712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.89
system time used= 1.37179
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 997613
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= 39736
involuntary context switches= 23122
runsolver used 8.46371 second user time and 17.6343 second system time
The end