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-3456847-1307221316/watcher-3456847-1307221316 -o /tmp/evaluation-result-3456847-1307221316/solver-3456847-1307221316 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456847-1307221316.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.06 2.03 2.00 3/455 16460
/proc/meminfo: memFree=21940240/32951124 swapFree=50923800/67111528
[pid=16460] ppid=16458 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/16460/stat : 16460 (java) S 16458 16460 15674 0 -1 4202496 1244 0 0 0 0 0 0 0 25 0 2 0 814547200 31268864 963 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/16460/statm: 7634 963 736 9 0 385 0
[pid=16460/tid=16461] ppid=16458 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16461/stat : 16461 (java) R 16458 16460 15674 0 -1 4202560 1117 0 1 0 0 0 0 0 25 0 2 0 814547201 10681323520 1933 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270338077755 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.080774 s]
/proc/loadavg: 2.06 2.03 2.00 3/455 16460
/proc/meminfo: memFree=21940240/32951124 swapFree=50923800/67111528
[pid=16460] ppid=16458 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/16460/stat : 16460 (java) S 16458 16460 15674 0 -1 4202496 11930 0 1 0 5 1 0 0 25 0 18 0 814547200 10724442112 11627 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16460/statm: 2618272 11629 1754 9 0 2609006 0
[pid=16460/tid=16461] ppid=16458 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/16460/task/16461/stat : 16461 (java) R 16458 16460 15674 0 -1 4202560 10758 0 1 0 5 1 0 0 25 0 18 0 814547201 10724442112 11629 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 47156355021651 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100733 s]
/proc/loadavg: 2.06 2.03 2.00 3/455 16460
/proc/meminfo: memFree=21940240/32951124 swapFree=50923800/67111528
[pid=16460] ppid=16458 vsize=10540188 CPUtime=0.1 cores=1,3,5,7
/proc/16460/stat : 16460 (java) S 16458 16460 15674 0 -1 4202496 13007 0 1 0 9 1 0 0 25 0 18 0 814547200 10793152512 12682 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16460/statm: 2635047 12682 2092 9 0 2625781 0
[pid=16460/tid=16461] ppid=16458 vsize=10540188 CPUtime=0.08 cores=1,3,5,7
/proc/16460/task/16461/stat : 16461 (java) R 16458 16460 15674 0 -1 4202560 11081 0 1 0 7 1 0 0 18 0 18 0 814547201 10793152512 12682 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350210507 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540188
[startup+0.300696 s]
/proc/loadavg: 2.06 2.03 2.00 3/455 16460
/proc/meminfo: memFree=21940240/32951124 swapFree=50923800/67111528
[pid=16460] ppid=16458 vsize=10542496 CPUtime=0.49 cores=1,3,5,7
/proc/16460/stat : 16460 (java) S 16458 16460 15674 0 -1 4202496 17472 0 1 0 47 2 0 0 25 0 19 0 814547200 10795515904 16600 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16460/statm: 2635624 16601 2193 9 0 2626358 0
[pid=16460/tid=16461] ppid=16458 vsize=10542496 CPUtime=0.27 cores=1,3,5,7
/proc/16460/task/16461/stat : 16461 (java) R 16458 16460 15674 0 -1 4202560 13806 0 1 0 26 1 0 0 19 0 19 0 814547201 10795515904 16602 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 46912505582271 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10542496
[startup+0.700652 s]
/proc/loadavg: 2.06 2.03 2.00 3/455 16460
/proc/meminfo: memFree=21940240/32951124 swapFree=50923800/67111528
[pid=16460] ppid=16458 vsize=10551496 CPUtime=1.63 cores=1,3,5,7
/proc/16460/stat : 16460 (java) S 16458 16460 15674 0 -1 4202496 43768 0 1 0 157 6 0 0 25 0 19 0 814547200 10804731904 40011 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16460/statm: 2637874 40015 2216 9 0 2628608 0
[pid=16460/tid=16461] ppid=16458 vsize=10551496 CPUtime=0.68 cores=1,3,5,7
/proc/16460/task/16461/stat : 16461 (java) R 16458 16460 15674 0 -1 4202560 32491 0 1 0 64 4 0 0 19 0 19 0 814547201 10804731904 40017 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 46912505816934 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 10551496
[startup+1.50149 s]
/proc/loadavg: 2.21 2.06 2.02 3/474 16479
/proc/meminfo: memFree=21674240/32951124 swapFree=50923800/67111528
[pid=16460] ppid=16458 vsize=10551496 CPUtime=2.46 cores=1,3,5,7
/proc/16460/stat : 16460 (java) S 16458 16460 15674 0 -1 4202496 120265 0 1 0 231 15 0 0 25 0 19 0 814547200 10804731904 116508 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16460/statm: 2637874 116511 2219 9 0 2628608 0
[pid=16460/tid=16461] ppid=16458 vsize=10551496 CPUtime=1.48 cores=1,3,5,7
/proc/16460/task/16461/stat : 16461 (java) R 16458 16460 15674 0 -1 4202560 108980 0 1 0 135 13 0 0 21 0 19 0 814547201 10804731904 116513 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 46912505845819 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16460/tid=16463] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16463/stat : 16463 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547202 10804731904 116515 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16464] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16464/stat : 16464 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547202 10804731904 116517 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16465] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16465/stat : 16465 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547202 10804731904 116518 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16466] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16466/stat : 16466 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547202 10804731904 116521 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16467] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16467/stat : 16467 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547202 10804731904 116525 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16468] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16468/stat : 16468 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547202 10804731904 116527 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16469] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16469/stat : 16469 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547202 10804731904 116529 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16470] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16470/stat : 16470 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547202 10804731904 116532 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16471] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16471/stat : 16471 (java) S 16458 16460 15674 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814547203 10804731904 116535 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350200320 0 0 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16472] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16472/stat : 16472 (java) S 16458 16460 15674 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814547204 10804731904 116538 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16473] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16473/stat : 16473 (java) S 16458 16460 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814547204 10804731904 116540 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16474] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16474/stat : 16474 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547206 10804731904 116542 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350207409 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16475] ppid=16458 vsize=10551496 CPUtime=0.48 cores=1,3,5,7
/proc/16460/task/16475/stat : 16475 (java) S 16458 16460 15674 0 -1 4202560 6264 0 0 0 47 1 0 0 24 0 19 0 814547206 10804731904 116544 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 3 0 0 0
[pid=16460/tid=16476] ppid=16458 vsize=10551496 CPUtime=0.48 cores=1,3,5,7
/proc/16460/task/16476/stat : 16476 (java) S 16458 16460 15674 0 -1 4202560 3867 0 0 0 48 0 0 0 20 0 19 0 814547206 10804731904 116547 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16477] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16477/stat : 16477 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547206 10804731904 116550 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16478] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16478/stat : 16478 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814547206 10804731904 116553 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350200320 0 4 0 16800975 18446604466046134144 0 0 -1 3 0 0 0
[pid=16460/tid=16479] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16479/stat : 16479 (java) S 16458 16460 15674 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814547214 10804731904 116557 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350200320 0 4 0 16800975 18446604466046134144 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 10551496
[startup+3.10118 s]
/proc/loadavg: 2.21 2.06 2.02 3/474 16479
/proc/meminfo: memFree=21247544/32951124 swapFree=50923800/67111528
[pid=16460] ppid=16458 vsize=10551496 CPUtime=4.11 cores=1,3,5,7
/proc/16460/stat : 16460 (java) S 16458 16460 15674 0 -1 4202496 274978 0 1 0 378 33 0 0 25 0 19 0 814547200 10804731904 271220 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16460/statm: 2637874 271224 2220 9 0 2628608 0
[pid=16460/tid=16461] ppid=16458 vsize=10551496 CPUtime=3.08 cores=1,3,5,7
/proc/16460/task/16461/stat : 16461 (java) R 16458 16460 15674 0 -1 4202560 263687 0 1 0 277 31 0 0 25 0 19 0 814547201 10804731904 271226 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 46912505844798 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16460/tid=16463] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16463/stat : 16463 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547202 10804731904 271228 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16464] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16464/stat : 16464 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547202 10804731904 271229 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16465] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16465/stat : 16465 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547202 10804731904 271231 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16466] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16466/stat : 16466 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547202 10804731904 271232 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16467] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16467/stat : 16467 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547202 10804731904 271234 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16468] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16468/stat : 16468 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547202 10804731904 271235 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16469] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16469/stat : 16469 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547202 10804731904 271236 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16470] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16470/stat : 16470 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547202 10804731904 271238 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16471] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16471/stat : 16471 (java) S 16458 16460 15674 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814547203 10804731904 271242 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350200320 0 0 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16472] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16472/stat : 16472 (java) S 16458 16460 15674 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814547204 10804731904 271244 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16473] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16473/stat : 16473 (java) S 16458 16460 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814547204 10804731904 271247 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16474] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16474/stat : 16474 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547206 10804731904 271249 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350207409 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16475] ppid=16458 vsize=10551496 CPUtime=0.52 cores=1,3,5,7
/proc/16460/task/16475/stat : 16475 (java) S 16458 16460 15674 0 -1 4202560 6271 0 0 0 51 1 0 0 15 0 19 0 814547206 10804731904 271251 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 3 0 0 0
[pid=16460/tid=16476] ppid=16458 vsize=10551496 CPUtime=0.49 cores=1,3,5,7
/proc/16460/task/16476/stat : 16476 (java) S 16458 16460 15674 0 -1 4202560 3867 0 0 0 49 0 0 0 16 0 19 0 814547206 10804731904 271252 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16477] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16477/stat : 16477 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547206 10804731904 271254 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16478] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16478/stat : 16478 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814547206 10804731904 271255 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350200320 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16479] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16479/stat : 16479 (java) S 16458 16460 15674 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814547214 10804731904 271257 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350200320 0 4 0 16800975 18446604466046134144 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 10551496
[startup+6.30154 s]
/proc/loadavg: 2.21 2.06 2.02 3/474 16479
/proc/meminfo: memFree=19974804/32951124 swapFree=50923800/67111528
[pid=16460] ppid=16458 vsize=10551496 CPUtime=7.31 cores=1,3,5,7
/proc/16460/stat : 16460 (java) S 16458 16460 15674 0 -1 4202496 572699 0 1 0 666 65 0 0 25 0 19 0 814547200 10804731904 568621 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16460/statm: 2637874 568626 2221 9 0 2628608 0
[pid=16460/tid=16461] ppid=16458 vsize=10551496 CPUtime=6.28 cores=1,3,5,7
/proc/16460/task/16461/stat : 16461 (java) R 16458 16460 15674 0 -1 4202560 561408 0 1 0 565 63 0 0 25 0 19 0 814547201 10804731904 568629 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 46912505550056 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16460/tid=16463] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16463/stat : 16463 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547202 10804731904 568632 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16464] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16464/stat : 16464 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547202 10804731904 568635 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16465] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16465/stat : 16465 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547202 10804731904 568637 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16466] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16466/stat : 16466 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547202 10804731904 568640 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16467] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16467/stat : 16467 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547202 10804731904 568642 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16468] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16468/stat : 16468 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547202 10804731904 568644 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16469] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16469/stat : 16469 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547202 10804731904 568648 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16470] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16470/stat : 16470 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547202 10804731904 568650 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16471] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16471/stat : 16471 (java) S 16458 16460 15674 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814547203 10804731904 568652 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350200320 0 0 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16472] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16472/stat : 16472 (java) S 16458 16460 15674 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814547204 10804731904 568654 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16473] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16473/stat : 16473 (java) S 16458 16460 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814547204 10804731904 568656 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16474] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16474/stat : 16474 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547206 10804731904 568659 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350207409 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16475] ppid=16458 vsize=10551496 CPUtime=0.52 cores=1,3,5,7
/proc/16460/task/16475/stat : 16475 (java) S 16458 16460 15674 0 -1 4202560 6271 0 0 0 51 1 0 0 15 0 19 0 814547206 10804731904 568662 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 3 0 0 0
[pid=16460/tid=16476] ppid=16458 vsize=10551496 CPUtime=0.49 cores=1,3,5,7
/proc/16460/task/16476/stat : 16476 (java) S 16458 16460 15674 0 -1 4202560 3867 0 0 0 49 0 0 0 16 0 19 0 814547206 10804731904 568665 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/16460/task/16473/stat : 16473 (java) S 16458 16460 15674 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814547204 10804731904 938955 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16474] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16474/stat : 16474 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547206 10804731904 938955 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350207409 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16475] ppid=16458 vsize=10551496 CPUtime=0.84 cores=1,3,5,7
/proc/16460/task/16475/stat : 16475 (java) S 16458 16460 15674 0 -1 4202560 7148 0 0 0 83 1 0 0 16 0 19 0 814547206 10804731904 938955 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16476] ppid=16458 vsize=10551496 CPUtime=0.56 cores=1,3,5,7
/proc/16460/task/16476/stat : 16476 (java) S 16458 16460 15674 0 -1 4202560 3887 0 0 0 56 0 0 0 15 0 19 0 814547206 10804731904 938955 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16477] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16477/stat : 16477 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547206 10804731904 938955 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16478] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16478/stat : 16478 (java) S 16458 16460 15674 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 814547206 10804731904 938955 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350200320 0 4 0 16800975 18446604466046134144 0 0 -1 3 0 0 0
[pid=16460/tid=16479] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16479/stat : 16479 (java) S 16458 16460 15674 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814547214 10804731904 938955 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350200320 0 4 0 16800975 18446604466046134144 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1668.95
Current children cumulated vsize (KiB) 10551496
[startup+1722.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/474 16528
/proc/meminfo: memFree=16573792/32951124 swapFree=50923800/67111528
[pid=16460] ppid=16458 vsize=10551496 CPUtime=1729.2 cores=1,3,5,7
/proc/16460/stat : 16460 (java) S 16458 16460 15674 0 -1 4202496 947681 0 1 0 172809 111 0 0 25 0 19 0 814547200 10804731904 940580 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16460/statm: 2637874 940580 2257 9 0 2628608 0
[pid=16460/tid=16461] ppid=16458 vsize=10551496 CPUtime=1718.47 cores=1,3,5,7
/proc/16460/task/16461/stat : 16461 (java) R 16458 16460 15674 0 -1 4202560 831144 0 1 0 171754 93 0 0 25 0 19 0 814547201 10804731904 940580 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 46912505567626 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16460/tid=16463] ppid=16458 vsize=10551496 CPUtime=1.05 cores=1,3,5,7
/proc/16460/task/16463/stat : 16463 (java) S 16458 16460 15674 0 -1 4202560 11520 0 0 0 104 1 0 0 15 0 19 0 814547202 10804731904 940580 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16464] ppid=16458 vsize=10551496 CPUtime=1.03 cores=1,3,5,7
/proc/16460/task/16464/stat : 16464 (java) S 16458 16460 15674 0 -1 4202560 15567 0 0 0 101 2 0 0 15 0 19 0 814547202 10804731904 940580 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 5 0 0 0
[pid=16460/tid=16465] ppid=16458 vsize=10551496 CPUtime=0.96 cores=1,3,5,7
/proc/16460/task/16465/stat : 16465 (java) S 16458 16460 15674 0 -1 4202560 14909 0 0 0 94 2 0 0 15 0 19 0 814547202 10804731904 940580 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16466] ppid=16458 vsize=10551496 CPUtime=0.91 cores=1,3,5,7
/proc/16460/task/16466/stat : 16466 (java) S 16458 16460 15674 0 -1 4202560 10834 0 0 0 90 1 0 0 16 0 19 0 814547202 10804731904 940580 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16467] ppid=16458 vsize=10551496 CPUtime=1.03 cores=1,3,5,7
/proc/16460/task/16467/stat : 16467 (java) S 16458 16460 15674 0 -1 4202560 13028 0 0 0 103 0 0 0 15 0 19 0 814547202 10804731904 940580 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 3 0 0 0
[pid=16460/tid=16468] ppid=16458 vsize=10551496 CPUtime=1.03 cores=1,3,5,7
/proc/16460/task/16468/stat : 16468 (java) S 16458 16460 15674 0 -1 4202560 10286 0 0 0 102 1 0 0 16 0 19 0 814547202 10804731904 940580 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16469] ppid=16458 vsize=10551496 CPUtime=0.96 cores=1,3,5,7
/proc/16460/task/16469/stat : 16469 (java) S 16458 16460 15674 0 -1 4202560 10656 0 0 0 94 2 0 0 16 0 19 0 814547202 10804731904 940580 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 5 0 0 0
[pid=16460/tid=16470] ppid=16458 vsize=10551496 CPUtime=1.05 cores=1,3,5,7
/proc/16460/task/16470/stat : 16470 (java) S 16458 16460 15674 0 -1 4202560 13888 0 0 0 104 1 0 0 16 0 19 0 814547202 10804731904 940580 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 5 0 0 0
[pid=16460/tid=16471] ppid=16458 vsize=10551496 CPUtime=1.18 cores=1,3,5,7
/proc/16460/task/16471/stat : 16471 (java) S 16458 16460 15674 0 -1 4202560 3564 0 0 0 117 1 0 0 15 0 19 0 814547203 10804731904 940580 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350200320 0 0 0 16800975 18446604466046134144 0 0 -1 3 0 0 0
[pid=16460/tid=16472] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16472/stat : 16472 (java) S 16458 16460 15674 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814547204 10804731904 940580 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16473] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16473/stat : 16473 (java) S 16458 16460 15674 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814547204 10804731904 940580 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16474] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16474/stat : 16474 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547206 10804731904 940580 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350207409 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16475] ppid=16458 vsize=10551496 CPUtime=0.84 cores=1,3,5,7
/proc/16460/task/16475/stat : 16475 (java) S 16458 16460 15674 0 -1 4202560 7148 0 0 0 83 1 0 0 16 0 19 0 814547206 10804731904 940580 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16476] ppid=16458 vsize=10551496 CPUtime=0.56 cores=1,3,5,7
/proc/16460/task/16476/stat : 16476 (java) S 16458 16460 15674 0 -1 4202560 3887 0 0 0 56 0 0 0 15 0 19 0 814547206 10804731904 940580 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16477] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16477/stat : 16477 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547206 10804731904 940580 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16478] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16478/stat : 16478 (java) S 16458 16460 15674 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 814547206 10804731904 940580 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350200320 0 4 0 16800975 18446604466046134144 0 0 -1 3 0 0 0
[pid=16460/tid=16479] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16479/stat : 16479 (java) S 16458 16460 15674 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814547214 10804731904 940580 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350200320 0 4 0 16800975 18446604466046134144 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1729.2
Current children cumulated vsize (KiB) 10551496
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/474 16624
/proc/meminfo: memFree=19684136/32951124 swapFree=50923800/67111528
[pid=16460] ppid=16458 vsize=10551496 CPUtime=1789.48 cores=1,3,5,7
/proc/16460/stat : 16460 (java) S 16458 16460 15674 0 -1 4202496 949424 0 1 0 178836 112 0 0 25 0 19 0 814547200 10804731904 942280 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16460/statm: 2637874 942280 2257 9 0 2628608 0
[pid=16460/tid=16461] ppid=16458 vsize=10551496 CPUtime=1778.35 cores=1,3,5,7
/proc/16460/task/16461/stat : 16461 (java) R 16458 16460 15674 0 -1 4202560 831151 0 1 0 177742 93 0 0 25 0 19 0 814547201 10804731904 942280 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 46912505833404 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16460/tid=16463] ppid=16458 vsize=10551496 CPUtime=1.11 cores=1,3,5,7
/proc/16460/task/16463/stat : 16463 (java) S 16458 16460 15674 0 -1 4202560 11660 0 0 0 110 1 0 0 16 0 19 0 814547202 10804731904 942280 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16464] ppid=16458 vsize=10551496 CPUtime=1.07 cores=1,3,5,7
/proc/16460/task/16464/stat : 16464 (java) S 16458 16460 15674 0 -1 4202560 15715 0 0 0 105 2 0 0 16 0 19 0 814547202 10804731904 942280 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 3 0 0 0
[pid=16460/tid=16465] ppid=16458 vsize=10551496 CPUtime=0.99 cores=1,3,5,7
/proc/16460/task/16465/stat : 16465 (java) S 16458 16460 15674 0 -1 4202560 14948 0 0 0 97 2 0 0 15 0 19 0 814547202 10804731904 942280 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 5 0 0 0
[pid=16460/tid=16466] ppid=16458 vsize=10551496 CPUtime=0.96 cores=1,3,5,7
/proc/16460/task/16466/stat : 16466 (java) S 16458 16460 15674 0 -1 4202560 11132 0 0 0 95 1 0 0 15 0 19 0 814547202 10804731904 942280 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 5 0 0 0
[pid=16460/tid=16467] ppid=16458 vsize=10551496 CPUtime=1.08 cores=1,3,5,7
/proc/16460/task/16467/stat : 16467 (java) S 16458 16460 15674 0 -1 4202560 13331 0 0 0 108 0 0 0 15 0 19 0 814547202 10804731904 942280 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 3 0 0 0
[pid=16460/tid=16468] ppid=16458 vsize=10551496 CPUtime=1.08 cores=1,3,5,7
/proc/16460/task/16468/stat : 16468 (java) S 16458 16460 15674 0 -1 4202560 10473 0 0 0 107 1 0 0 16 0 19 0 814547202 10804731904 942280 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 5 0 0 0
[pid=16460/tid=16469] ppid=16458 vsize=10551496 CPUtime=1.02 cores=1,3,5,7
/proc/16460/task/16469/stat : 16469 (java) S 16458 16460 15674 0 -1 4202560 10765 0 0 0 100 2 0 0 16 0 19 0 814547202 10804731904 942280 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16470] ppid=16458 vsize=10551496 CPUtime=1.12 cores=1,3,5,7
/proc/16460/task/16470/stat : 16470 (java) S 16458 16460 15674 0 -1 4202560 14392 0 0 0 111 1 0 0 16 0 19 0 814547202 10804731904 942280 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 3 0 0 0
[pid=16460/tid=16471] ppid=16458 vsize=10551496 CPUtime=1.18 cores=1,3,5,7
/proc/16460/task/16471/stat : 16471 (java) S 16458 16460 15674 0 -1 4202560 3568 0 0 0 117 1 0 0 15 0 19 0 814547203 10804731904 942280 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350200320 0 0 0 16800975 18446604466046134144 0 0 -1 3 0 0 0
[pid=16460/tid=16472] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16472/stat : 16472 (java) S 16458 16460 15674 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814547204 10804731904 942280 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16473] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16473/stat : 16473 (java) S 16458 16460 15674 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814547204 10804731904 942280 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16474] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16474/stat : 16474 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547206 10804731904 942280 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350207409 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16475] ppid=16458 vsize=10551496 CPUtime=0.84 cores=1,3,5,7
/proc/16460/task/16475/stat : 16475 (java) S 16458 16460 15674 0 -1 4202560 7148 0 0 0 83 1 0 0 16 0 19 0 814547206 10804731904 942280 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16476] ppid=16458 vsize=10551496 CPUtime=0.56 cores=1,3,5,7
/proc/16460/task/16476/stat : 16476 (java) S 16458 16460 15674 0 -1 4202560 3887 0 0 0 56 0 0 0 15 0 19 0 814547206 10804731904 942280 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16477] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16477/stat : 16477 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547206 10804731904 942280 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16478] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16478/stat : 16478 (java) S 16458 16460 15674 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814547206 10804731904 942280 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350200320 0 4 0 16800975 18446604466046134144 0 0 -1 3 0 0 0
[pid=16460/tid=16479] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16479/stat : 16479 (java) S 16458 16460 15674 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814547214 10804731904 942280 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350200320 0 4 0 16800975 18446604466046134144 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1789.48
Current children cumulated vsize (KiB) 10551496
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.8 s]
/proc/loadavg: 2.03 2.04 2.00 3/474 16624
/proc/meminfo: memFree=19678324/32951124 swapFree=50923800/67111528
[pid=16460] ppid=16458 vsize=10551496 CPUtime=1800.03 cores=1,3,5,7
/proc/16460/stat : 16460 (java) S 16458 16460 15674 0 -1 4202496 949588 0 1 0 179891 112 0 0 25 0 19 0 814547200 10804731904 942437 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16460/statm: 2637874 942437 2257 9 0 2628608 0
[pid=16460/tid=16461] ppid=16458 vsize=10551496 CPUtime=1788.85 cores=1,3,5,7
/proc/16460/task/16461/stat : 16461 (java) R 16458 16460 15674 0 -1 4202560 831152 0 1 0 178792 93 0 0 25 0 19 0 814547201 10804731904 942437 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 46912506052809 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16460/tid=16463] ppid=16458 vsize=10551496 CPUtime=1.13 cores=1,3,5,7
/proc/16460/task/16463/stat : 16463 (java) S 16458 16460 15674 0 -1 4202560 11733 0 0 0 112 1 0 0 16 0 19 0 814547202 10804731904 942437 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16464] ppid=16458 vsize=10551496 CPUtime=1.08 cores=1,3,5,7
/proc/16460/task/16464/stat : 16464 (java) S 16458 16460 15674 0 -1 4202560 15803 0 0 0 106 2 0 0 16 0 19 0 814547202 10804731904 942437 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 3 0 0 0
[pid=16460/tid=16465] ppid=16458 vsize=10551496 CPUtime=0.99 cores=1,3,5,7
/proc/16460/task/16465/stat : 16465 (java) S 16458 16460 15674 0 -1 4202560 14948 0 0 0 97 2 0 0 16 0 19 0 814547202 10804731904 942437 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 5 0 0 0
[pid=16460/tid=16466] ppid=16458 vsize=10551496 CPUtime=0.96 cores=1,3,5,7
/proc/16460/task/16466/stat : 16466 (java) S 16458 16460 15674 0 -1 4202560 11132 0 0 0 95 1 0 0 15 0 19 0 814547202 10804731904 942437 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 5 0 0 0
[pid=16460/tid=16467] ppid=16458 vsize=10551496 CPUtime=1.08 cores=1,3,5,7
/proc/16460/task/16467/stat : 16467 (java) S 16458 16460 15674 0 -1 4202560 13331 0 0 0 108 0 0 0 15 0 19 0 814547202 10804731904 942437 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 3 0 0 0
[pid=16460/tid=16468] ppid=16458 vsize=10551496 CPUtime=1.08 cores=1,3,5,7
/proc/16460/task/16468/stat : 16468 (java) S 16458 16460 15674 0 -1 4202560 10473 0 0 0 107 1 0 0 15 0 19 0 814547202 10804731904 942437 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 5 0 0 0
[pid=16460/tid=16469] ppid=16458 vsize=10551496 CPUtime=1.03 cores=1,3,5,7
/proc/16460/task/16469/stat : 16469 (java) S 16458 16460 15674 0 -1 4202560 10765 0 0 0 101 2 0 0 16 0 19 0 814547202 10804731904 942437 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16470] ppid=16458 vsize=10551496 CPUtime=1.13 cores=1,3,5,7
/proc/16460/task/16470/stat : 16470 (java) S 16458 16460 15674 0 -1 4202560 14394 0 0 0 112 1 0 0 16 0 19 0 814547202 10804731904 942437 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 5 0 0 0
[pid=16460/tid=16471] ppid=16458 vsize=10551496 CPUtime=1.18 cores=1,3,5,7
/proc/16460/task/16471/stat : 16471 (java) S 16458 16460 15674 0 -1 4202560 3568 0 0 0 117 1 0 0 15 0 19 0 814547203 10804731904 942437 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350200320 0 0 0 16800975 18446604466046134144 0 0 -1 3 0 0 0
[pid=16460/tid=16472] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16472/stat : 16472 (java) S 16458 16460 15674 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814547204 10804731904 942437 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16473] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16473/stat : 16473 (java) S 16458 16460 15674 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814547204 10804731904 942437 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16474] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16474/stat : 16474 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547206 10804731904 942437 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350207409 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16475] ppid=16458 vsize=10551496 CPUtime=0.84 cores=1,3,5,7
/proc/16460/task/16475/stat : 16475 (java) S 16458 16460 15674 0 -1 4202560 7148 0 0 0 83 1 0 0 16 0 19 0 814547206 10804731904 942437 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16476] ppid=16458 vsize=10551496 CPUtime=0.56 cores=1,3,5,7
/proc/16460/task/16476/stat : 16476 (java) S 16458 16460 15674 0 -1 4202560 3887 0 0 0 56 0 0 0 15 0 19 0 814547206 10804731904 942437 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 7 0 0 0
[pid=16460/tid=16477] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16477/stat : 16477 (java) S 16458 16460 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814547206 10804731904 942437 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350199705 0 4 0 16800975 18446604466046134144 0 0 -1 1 0 0 0
[pid=16460/tid=16478] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16478/stat : 16478 (java) S 16458 16460 15674 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814547206 10804731904 942437 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350200320 0 4 0 16800975 18446604466046134144 0 0 -1 5 0 0 0
[pid=16460/tid=16479] ppid=16458 vsize=10551496 CPUtime=0 cores=1,3,5,7
/proc/16460/task/16479/stat : 16479 (java) S 16458 16460 15674 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814547214 10804731904 942437 33554432000 1073741824 1073778376 140737054139776 18446744073709551615 270350200320 0 4 0 16800975 18446604466046134144 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10551496
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.92 s]
/proc/loadavg: 2.03 2.04 2.00 3/458 16627
/proc/meminfo: memFree=21407280/32951124 swapFree=50923800/67111528
[pid=16460] ppid=16458 vsize=0 CPUtime=1800.17 cores=1,3,5,7
/proc/16460/stat : 16460 (java) Z 16458 16460 15674 0 -1 4203548 949628 0 1 0 179898 119 0 0 17 0 2 0 814547200 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/16460/statm: 0 0 0 0 0 0 0
[pid=16460/tid=16477] ppid=16458 vsize=0 CPUtime=0.07 cores=1,3,5,7
/proc/16460/task/16477/stat : 16477 (java) R 16458 16460 15674 0 -1 4203588 1 0 0 0 0 7 0 0 18 0 2 0 814547206 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793
CPU time (s): 1800.24
CPU user time (s): 1798.99
CPU system time (s): 1.25781
CPU usage (%): 100.404
Max. virtual memory (cumulated for all children) (KiB): 10551496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.25781
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 949628
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= 41740
involuntary context switches= 17015
runsolver used 8.26174 second user time and 17.8623 second system time
The end