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-3456505-1307223201/watcher-3456505-1307223201 -o /tmp/evaluation-result-3456505-1307223201/solver-3456505-1307223201 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456505-1307223201.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: 1.94 2.03 2.00 2/544 14359
/proc/meminfo: memFree=19226128/32951124 swapFree=64303760/67111528
[pid=14359] ppid=14357 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/14359/stat : 14359 (java) S 14357 14359 13318 0 -1 4202496 2598 0 1 0 0 0 0 0 21 0 2 0 814736017 10681323520 2299 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/14359/statm: 2607745 2313 906 9 0 2598901 0
[pid=14359/tid=14360] ppid=14357 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14360/stat : 14360 (java) R 14357 14359 13318 0 -1 4202560 5917 0 1 0 0 0 0 0 22 0 2 0 814736018 10694979584 6733 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.044938 s]
/proc/loadavg: 1.94 2.03 2.00 2/544 14359
/proc/meminfo: memFree=19226128/32951124 swapFree=64303760/67111528
[pid=14359] ppid=14357 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/14359/stat : 14359 (java) S 14357 14359 13318 0 -1 4202496 11255 0 1 0 2 1 0 0 21 0 13 0 814736017 10718699520 10951 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/14359/statm: 2616870 10951 1672 9 0 2607618 0
[pid=14359/tid=14360] ppid=14357 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/14359/task/14360/stat : 14360 (java) R 14357 14359 13318 0 -1 4202560 10108 0 1 0 2 1 0 0 25 0 13 0 814736018 10718699520 10952 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 47552309323288 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100929 s]
/proc/loadavg: 1.94 2.03 2.00 2/544 14359
/proc/meminfo: memFree=19226128/32951124 swapFree=64303760/67111528
[pid=14359] ppid=14357 vsize=10540396 CPUtime=0.1 cores=1,3,5,7
/proc/14359/stat : 14359 (java) S 14357 14359 13318 0 -1 4202496 13064 0 1 0 9 1 0 0 21 0 18 0 814736017 10793365504 12731 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14359/statm: 2635099 12736 2092 9 0 2625833 0
[pid=14359/tid=14360] ppid=14357 vsize=10540396 CPUtime=0.08 cores=1,3,5,7
/proc/14359/task/14360/stat : 14360 (java) R 14357 14359 13318 0 -1 4202560 11117 0 1 0 7 1 0 0 25 0 18 0 814736018 10793365504 12739 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540396
[startup+0.304656 s]
/proc/loadavg: 1.94 2.03 2.00 2/544 14359
/proc/meminfo: memFree=19226128/32951124 swapFree=64303760/67111528
[pid=14359] ppid=14357 vsize=10542444 CPUtime=0.53 cores=1,3,5,7
/proc/14359/stat : 14359 (java) S 14357 14359 13318 0 -1 4202496 17198 0 1 0 51 2 0 0 21 0 18 0 814736017 10795462656 16446 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14359/statm: 2635611 16448 2203 9 0 2626345 0
[pid=14359/tid=14360] ppid=14357 vsize=10542444 CPUtime=0.29 cores=1,3,5,7
/proc/14359/task/14360/stat : 14360 (java) R 14357 14359 13318 0 -1 4202560 13935 0 1 0 28 1 0 0 25 0 18 0 814736018 10795462656 16448 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10542444
[startup+0.700827 s]
/proc/loadavg: 1.94 2.03 2.00 2/544 14359
/proc/meminfo: memFree=19226128/32951124 swapFree=64303760/67111528
[pid=14359] ppid=14357 vsize=10545516 CPUtime=1.17 cores=1,3,5,7
/proc/14359/stat : 14359 (java) S 14357 14359 13318 0 -1 4202496 55653 0 1 0 109 8 0 0 21 0 18 0 814736017 10798608384 54175 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14359/statm: 2636379 54180 2215 9 0 2627113 0
[pid=14359/tid=14360] ppid=14357 vsize=10545516 CPUtime=0.68 cores=1,3,5,7
/proc/14359/task/14360/stat : 14360 (java) R 14357 14359 13318 0 -1 4202560 49831 0 1 0 61 7 0 0 25 0 18 0 814736018 10798608384 54182 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 46912505575003 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 10545516
[startup+1.50068 s]
/proc/loadavg: 1.94 2.03 2.00 3/562 14377
/proc/meminfo: memFree=18885720/32951124 swapFree=64303760/67111528
[pid=14359] ppid=14357 vsize=10545516 CPUtime=1.96 cores=1,3,5,7
/proc/14359/stat : 14359 (java) S 14357 14359 13318 0 -1 4202496 142913 0 1 0 179 17 0 0 21 0 18 0 814736017 10798608384 141436 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14359/statm: 2636379 141440 2215 9 0 2627113 0
[pid=14359/tid=14360] ppid=14357 vsize=10545516 CPUtime=1.48 cores=1,3,5,7
/proc/14359/task/14360/stat : 14360 (java) R 14357 14359 13318 0 -1 4202560 137091 0 1 0 132 16 0 0 25 0 18 0 814736018 10798608384 141442 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 46912505635530 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14359/tid=14362] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14362/stat : 14362 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 814736019 10798608384 141445 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14363] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14363/stat : 14363 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 814736019 10798608384 141448 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14364] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14364/stat : 14364 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814736019 10798608384 141450 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14365] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14365/stat : 14365 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814736019 10798608384 141453 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14366] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14366/stat : 14366 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814736019 10798608384 141456 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14367] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14367/stat : 14367 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814736019 10798608384 141459 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14368] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14368/stat : 14368 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814736019 10798608384 141462 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14369] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14369/stat : 14369 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814736019 10798608384 141465 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14370] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14370/stat : 14370 (java) S 14357 14359 13318 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 814736020 10798608384 141468 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522114048 0 0 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14371] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14371/stat : 14371 (java) S 14357 14359 13318 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 814736021 10798608384 141470 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14372] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14372/stat : 14372 (java) S 14357 14359 13318 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 814736021 10798608384 141471 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14373] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14373/stat : 14373 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814736023 10798608384 141472 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522121137 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14374] ppid=14357 vsize=10545516 CPUtime=0.24 cores=1,3,5,7
/proc/14359/task/14374/stat : 14374 (java) S 14357 14359 13318 0 -1 4202560 1909 0 0 0 24 0 0 0 17 0 18 0 814736023 10798608384 141475 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 7 0 0 0
[pid=14359/tid=14375] ppid=14357 vsize=10545516 CPUtime=0.22 cores=1,3,5,7
/proc/14359/task/14375/stat : 14375 (java) S 14357 14359 13318 0 -1 4202560 2769 0 0 0 22 0 0 0 16 0 18 0 814736023 10798608384 141478 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 1 0 0 0
[pid=14359/tid=14376] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14376/stat : 14376 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814736023 10798608384 141480 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14377] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14377/stat : 14377 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 814736023 10798608384 141483 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522114048 0 4 0 16800975 18446604454826218688 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 10545516
[startup+3.10139 s]
/proc/loadavg: 1.94 2.03 2.00 3/562 14377
/proc/meminfo: memFree=18466352/32951124 swapFree=64303760/67111528
[pid=14359] ppid=14357 vsize=10545516 CPUtime=3.56 cores=1,3,5,7
/proc/14359/stat : 14359 (java) S 14357 14359 13318 0 -1 4202496 220000 0 1 0 327 29 0 0 21 0 18 0 814736017 10798608384 218522 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14359/statm: 2636379 218523 2217 9 0 2627113 0
[pid=14359/tid=14360] ppid=14357 vsize=10545516 CPUtime=3.08 cores=1,3,5,7
/proc/14359/task/14360/stat : 14360 (java) R 14357 14359 13318 0 -1 4202560 214170 0 1 0 280 28 0 0 25 0 18 0 814736018 10798608384 218523 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 46912505575142 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14359/tid=14362] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14362/stat : 14362 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 814736019 10798608384 218524 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14363] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14363/stat : 14363 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 814736019 10798608384 218525 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14364] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14364/stat : 14364 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814736019 10798608384 218525 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14365] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14365/stat : 14365 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814736019 10798608384 218526 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14366] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14366/stat : 14366 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814736019 10798608384 218526 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14367] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14367/stat : 14367 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814736019 10798608384 218527 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14368] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14368/stat : 14368 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814736019 10798608384 218527 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14369] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14369/stat : 14369 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814736019 10798608384 218528 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14370] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14370/stat : 14370 (java) S 14357 14359 13318 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 814736020 10798608384 218529 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522114048 0 0 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14371] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14371/stat : 14371 (java) S 14357 14359 13318 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 814736021 10798608384 218529 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14372] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14372/stat : 14372 (java) S 14357 14359 13318 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 814736021 10798608384 218529 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14373] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14373/stat : 14373 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814736023 10798608384 218530 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522121137 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14374] ppid=14357 vsize=10545516 CPUtime=0.24 cores=1,3,5,7
/proc/14359/task/14374/stat : 14374 (java) S 14357 14359 13318 0 -1 4202560 1909 0 0 0 24 0 0 0 17 0 18 0 814736023 10798608384 218530 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 7 0 0 0
[pid=14359/tid=14375] ppid=14357 vsize=10545516 CPUtime=0.22 cores=1,3,5,7
/proc/14359/task/14375/stat : 14375 (java) S 14357 14359 13318 0 -1 4202560 2771 0 0 0 22 0 0 0 15 0 18 0 814736023 10798608384 218531 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 1 0 0 0
[pid=14359/tid=14376] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14376/stat : 14376 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 814736023 10798608384 218531 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14377] ppid=14357 vsize=10545516 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14377/stat : 14377 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 814736023 10798608384 218532 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522114048 0 4 0 16800975 18446604454826218688 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 10545516
[startup+6.30082 s]
/proc/loadavg: 2.02 2.04 2.00 3/563 14378
/proc/meminfo: memFree=18253184/32951124 swapFree=64303760/67111528
[pid=14359] ppid=14357 vsize=10553880 CPUtime=7.35 cores=1,3,5,7
/proc/14359/stat : 14359 (java) S 14357 14359 13318 0 -1 4202496 255421 0 1 0 703 32 0 0 21 0 19 0 814736017 10807173120 252437 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14359/statm: 2638470 252437 2231 9 0 2629204 0
[pid=14359/tid=14360] ppid=14357 vsize=10553880 CPUtime=6.28 cores=1,3,5,7
/proc/14359/task/14360/stat : 14360 (java) R 14357 14359 13318 0 -1 4202560 246496 0 1 0 597 31 0 0 25 0 19 0 814736018 10807173120 252437 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 46912506048394 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14359/tid=14362] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14362/stat : 14362 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 814736019 10807173120 252437 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14363] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14363/stat : 14363 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 814736019 10807173120 252437 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14364] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14364/stat : 14364 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814736019 10807173120 252437 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14365] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14365/stat : 14365 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814736019 10807173120 252437 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14366] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14366/stat : 14366 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814736019 10807173120 252437 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14367] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14367/stat : 14367 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814736019 10807173120 252437 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14368] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14368/stat : 14368 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814736019 10807173120 252437 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14369] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14369/stat : 14369 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814736019 10807173120 252437 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14370] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14370/stat : 14370 (java) S 14357 14359 13318 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 814736020 10807173120 252437 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522114048 0 0 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14371] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14371/stat : 14371 (java) S 14357 14359 13318 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814736021 10807173120 252437 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14372] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14372/stat : 14372 (java) S 14357 14359 13318 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814736021 10807173120 252437 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14373] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14373/stat : 14373 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814736023 10807173120 252437 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522121137 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14374] ppid=14357 vsize=10553880 CPUtime=0.62 cores=1,3,5,7
/proc/14359/task/14374/stat : 14374 (java) S 14357 14359 13318 0 -1 4202560 4968 0 0 0 62 0 0 0 15 0 19 0 814736023 10807173120 252437 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 5 0 0 0
[pid=14359/tid=14375] ppid=14357 vsize=10553880 CPUtime=0.43 cores=1,3,5,7
/proc/14359/task/14375/stat : 14375 (java) S 14357 14359 13318 0 -1 4202560 2796 0 0 0 43 0 0 0 15 0 19 0 814736023 10807173120 252437 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 1 0 0 0
[pid=14359/tid=14376] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14376/stat : 14376 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814736023 10807173120 252437 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14377] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14377/stat : 14377 (java) S 14357 14359 13318 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 814736023 10807173120 252437 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522114048 0 4 0 16800975 18446604454826218688 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/14359/task/14372/stat : 14372 (java) S 14357 14359 13318 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814736021 10807173120 919511 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14373] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14373/stat : 14373 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814736023 10807173120 919511 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522121137 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14374] ppid=14357 vsize=10553880 CPUtime=0.92 cores=1,3,5,7
/proc/14359/task/14374/stat : 14374 (java) S 14357 14359 13318 0 -1 4202560 5025 0 0 0 92 0 0 0 16 0 19 0 814736023 10807173120 919511 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 5 0 0 0
[pid=14359/tid=14375] ppid=14357 vsize=10553880 CPUtime=0.68 cores=1,3,5,7
/proc/14359/task/14375/stat : 14375 (java) S 14357 14359 13318 0 -1 4202560 2838 0 0 0 68 0 0 0 15 0 19 0 814736023 10807173120 919511 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 1 0 0 0
[pid=14359/tid=14376] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14376/stat : 14376 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814736023 10807173120 919511 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14377] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14377/stat : 14377 (java) S 14357 14359 13318 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 814736023 10807173120 919511 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522114048 0 4 0 16800975 18446604454826218688 0 0 -1 5 0 0 0
[pid=14359/tid=14378] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14378/stat : 14378 (java) S 14357 14359 13318 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814736400 10807173120 919511 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522114048 0 4 0 16800975 18446604454826218688 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1665.95
Current children cumulated vsize (KiB) 10553880
[startup+1722.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/563 14481
/proc/meminfo: memFree=18652896/32951124 swapFree=64303760/67111528
[pid=14359] ppid=14357 vsize=10553880 CPUtime=1725.98 cores=1,3,5,7
/proc/14359/stat : 14359 (java) S 14357 14359 13318 0 -1 4202496 924805 0 1 0 172462 136 0 0 21 0 19 0 814736017 10807173120 920149 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14359/statm: 2638470 920149 2251 9 0 2629204 0
[pid=14359/tid=14360] ppid=14357 vsize=10553880 CPUtime=1721.37 cores=1,3,5,7
/proc/14359/task/14360/stat : 14360 (java) R 14357 14359 13318 0 -1 4202560 703850 0 1 0 172031 106 0 0 25 0 19 0 814736018 10807173120 920149 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 46912506251623 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14359/tid=14362] ppid=14357 vsize=10553880 CPUtime=0.52 cores=1,3,5,7
/proc/14359/task/14362/stat : 14362 (java) S 14357 14359 13318 0 -1 4202560 53458 0 0 0 46 6 0 0 15 0 19 0 814736019 10807173120 920149 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 1 0 0 0
[pid=14359/tid=14363] ppid=14357 vsize=10553880 CPUtime=0.43 cores=1,3,5,7
/proc/14359/task/14363/stat : 14363 (java) S 14357 14359 13318 0 -1 4202560 19618 0 0 0 41 2 0 0 15 0 19 0 814736019 10807173120 920149 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 5 0 0 0
[pid=14359/tid=14364] ppid=14357 vsize=10553880 CPUtime=0.24 cores=1,3,5,7
/proc/14359/task/14364/stat : 14364 (java) S 14357 14359 13318 0 -1 4202560 22677 0 0 0 22 2 0 0 15 0 19 0 814736019 10807173120 920149 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 5 0 0 0
[pid=14359/tid=14365] ppid=14357 vsize=10553880 CPUtime=0.52 cores=1,3,5,7
/proc/14359/task/14365/stat : 14365 (java) S 14357 14359 13318 0 -1 4202560 20665 0 0 0 50 2 0 0 15 0 19 0 814736019 10807173120 920149 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 1 0 0 0
[pid=14359/tid=14366] ppid=14357 vsize=10553880 CPUtime=0.16 cores=1,3,5,7
/proc/14359/task/14366/stat : 14366 (java) S 14357 14359 13318 0 -1 4202560 7810 0 0 0 16 0 0 0 16 0 19 0 814736019 10807173120 920149 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 7 0 0 0
[pid=14359/tid=14367] ppid=14357 vsize=10553880 CPUtime=0.55 cores=1,3,5,7
/proc/14359/task/14367/stat : 14367 (java) S 14357 14359 13318 0 -1 4202560 38809 0 0 0 50 5 0 0 16 0 19 0 814736019 10807173120 920149 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 7 0 0 0
[pid=14359/tid=14368] ppid=14357 vsize=10553880 CPUtime=0.08 cores=1,3,5,7
/proc/14359/task/14368/stat : 14368 (java) S 14357 14359 13318 0 -1 4202560 11180 0 0 0 7 1 0 0 15 0 19 0 814736019 10807173120 920149 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 5 0 0 0
[pid=14359/tid=14369] ppid=14357 vsize=10553880 CPUtime=0.36 cores=1,3,5,7
/proc/14359/task/14369/stat : 14369 (java) S 14357 14359 13318 0 -1 4202560 37588 0 0 0 32 4 0 0 16 0 19 0 814736019 10807173120 920149 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14370] ppid=14357 vsize=10553880 CPUtime=0.02 cores=1,3,5,7
/proc/14359/task/14370/stat : 14370 (java) S 14357 14359 13318 0 -1 4202560 37 0 0 0 1 1 0 0 15 0 19 0 814736020 10807173120 920149 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522114048 0 0 0 16800975 18446604454826218688 0 0 -1 1 0 0 0
[pid=14359/tid=14371] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14371/stat : 14371 (java) S 14357 14359 13318 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 814736021 10807173120 920149 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14372] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14372/stat : 14372 (java) S 14357 14359 13318 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814736021 10807173120 920149 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14373] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14373/stat : 14373 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814736023 10807173120 920149 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522121137 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14374] ppid=14357 vsize=10553880 CPUtime=0.92 cores=1,3,5,7
/proc/14359/task/14374/stat : 14374 (java) S 14357 14359 13318 0 -1 4202560 5025 0 0 0 92 0 0 0 16 0 19 0 814736023 10807173120 920149 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 5 0 0 0
[pid=14359/tid=14375] ppid=14357 vsize=10553880 CPUtime=0.68 cores=1,3,5,7
/proc/14359/task/14375/stat : 14375 (java) S 14357 14359 13318 0 -1 4202560 2838 0 0 0 68 0 0 0 15 0 19 0 814736023 10807173120 920149 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 1 0 0 0
[pid=14359/tid=14376] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14376/stat : 14376 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814736023 10807173120 920149 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14377] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14377/stat : 14377 (java) S 14357 14359 13318 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 814736023 10807173120 920149 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522114048 0 4 0 16800975 18446604454826218688 0 0 -1 5 0 0 0
[pid=14359/tid=14378] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14378/stat : 14378 (java) S 14357 14359 13318 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814736400 10807173120 920149 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522114048 0 4 0 16800975 18446604454826218688 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1725.98
Current children cumulated vsize (KiB) 10553880
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/563 14483
/proc/meminfo: memFree=15544940/32951124 swapFree=64303760/67111528
[pid=14359] ppid=14357 vsize=10553880 CPUtime=1786 cores=1,3,5,7
/proc/14359/stat : 14359 (java) S 14357 14359 13318 0 -1 4202496 924989 0 1 0 178464 136 0 0 21 0 19 0 814736017 10807173120 920312 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14359/statm: 2638470 920312 2251 9 0 2629204 0
[pid=14359/tid=14360] ppid=14357 vsize=10553880 CPUtime=1781.35 cores=1,3,5,7
/proc/14359/task/14360/stat : 14360 (java) R 14357 14359 13318 0 -1 4202560 704013 0 1 0 178029 106 0 0 25 0 19 0 814736018 10807173120 920312 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 46912505775705 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14359/tid=14362] ppid=14357 vsize=10553880 CPUtime=0.52 cores=1,3,5,7
/proc/14359/task/14362/stat : 14362 (java) S 14357 14359 13318 0 -1 4202560 53460 0 0 0 46 6 0 0 16 0 19 0 814736019 10807173120 920312 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 7 0 0 0
[pid=14359/tid=14363] ppid=14357 vsize=10553880 CPUtime=0.43 cores=1,3,5,7
/proc/14359/task/14363/stat : 14363 (java) S 14357 14359 13318 0 -1 4202560 19619 0 0 0 41 2 0 0 15 0 19 0 814736019 10807173120 920312 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 5 0 0 0
[pid=14359/tid=14364] ppid=14357 vsize=10553880 CPUtime=0.24 cores=1,3,5,7
/proc/14359/task/14364/stat : 14364 (java) S 14357 14359 13318 0 -1 4202560 22679 0 0 0 22 2 0 0 15 0 19 0 814736019 10807173120 920312 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 7 0 0 0
[pid=14359/tid=14365] ppid=14357 vsize=10553880 CPUtime=0.53 cores=1,3,5,7
/proc/14359/task/14365/stat : 14365 (java) S 14357 14359 13318 0 -1 4202560 20666 0 0 0 51 2 0 0 15 0 19 0 814736019 10807173120 920312 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 5 0 0 0
[pid=14359/tid=14366] ppid=14357 vsize=10553880 CPUtime=0.17 cores=1,3,5,7
/proc/14359/task/14366/stat : 14366 (java) S 14357 14359 13318 0 -1 4202560 7812 0 0 0 17 0 0 0 15 0 19 0 814736019 10807173120 920312 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 5 0 0 0
[pid=14359/tid=14367] ppid=14357 vsize=10553880 CPUtime=0.55 cores=1,3,5,7
/proc/14359/task/14367/stat : 14367 (java) S 14357 14359 13318 0 -1 4202560 38811 0 0 0 50 5 0 0 15 0 19 0 814736019 10807173120 920312 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 5 0 0 0
[pid=14359/tid=14368] ppid=14357 vsize=10553880 CPUtime=0.09 cores=1,3,5,7
/proc/14359/task/14368/stat : 14368 (java) S 14357 14359 13318 0 -1 4202560 11181 0 0 0 8 1 0 0 15 0 19 0 814736019 10807173120 920312 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14369] ppid=14357 vsize=10553880 CPUtime=0.37 cores=1,3,5,7
/proc/14359/task/14369/stat : 14369 (java) S 14357 14359 13318 0 -1 4202560 37590 0 0 0 33 4 0 0 15 0 19 0 814736019 10807173120 920312 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 5 0 0 0
[pid=14359/tid=14370] ppid=14357 vsize=10553880 CPUtime=0.02 cores=1,3,5,7
/proc/14359/task/14370/stat : 14370 (java) S 14357 14359 13318 0 -1 4202560 41 0 0 0 1 1 0 0 15 0 19 0 814736020 10807173120 920312 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522114048 0 0 0 16800975 18446604454826218688 0 0 -1 1 0 0 0
[pid=14359/tid=14371] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14371/stat : 14371 (java) S 14357 14359 13318 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 814736021 10807173120 920312 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14372] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14372/stat : 14372 (java) S 14357 14359 13318 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814736021 10807173120 920312 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14373] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14373/stat : 14373 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814736023 10807173120 920312 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522121137 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14374] ppid=14357 vsize=10553880 CPUtime=0.92 cores=1,3,5,7
/proc/14359/task/14374/stat : 14374 (java) S 14357 14359 13318 0 -1 4202560 5025 0 0 0 92 0 0 0 16 0 19 0 814736023 10807173120 920312 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 5 0 0 0
[pid=14359/tid=14375] ppid=14357 vsize=10553880 CPUtime=0.68 cores=1,3,5,7
/proc/14359/task/14375/stat : 14375 (java) S 14357 14359 13318 0 -1 4202560 2838 0 0 0 68 0 0 0 15 0 19 0 814736023 10807173120 920312 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 1 0 0 0
[pid=14359/tid=14376] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14376/stat : 14376 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814736023 10807173120 920312 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14377] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14377/stat : 14377 (java) S 14357 14359 13318 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814736023 10807173120 920312 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522114048 0 4 0 16800975 18446604454826218688 0 0 -1 5 0 0 0
[pid=14359/tid=14378] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14378/stat : 14378 (java) S 14357 14359 13318 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814736400 10807173120 920312 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522114048 0 4 0 16800975 18446604454826218688 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1786
Current children cumulated vsize (KiB) 10553880
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.32 s]
/proc/loadavg: 2.00 2.04 2.00 3/563 14483
/proc/meminfo: memFree=15528324/32951124 swapFree=64303760/67111528
[pid=14359] ppid=14357 vsize=10553880 CPUtime=1800.04 cores=1,3,5,7
/proc/14359/stat : 14359 (java) S 14357 14359 13318 0 -1 4202496 925021 0 1 0 179868 136 0 0 21 0 19 0 814736017 10807173120 920341 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14359/statm: 2638470 920341 2251 9 0 2629204 0
[pid=14359/tid=14360] ppid=14357 vsize=10553880 CPUtime=1795.38 cores=1,3,5,7
/proc/14359/task/14360/stat : 14360 (java) R 14357 14359 13318 0 -1 4202560 704044 0 1 0 179432 106 0 0 25 0 19 0 814736018 10807173120 920341 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 46912506251623 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14359/tid=14362] ppid=14357 vsize=10553880 CPUtime=0.52 cores=1,3,5,7
/proc/14359/task/14362/stat : 14362 (java) S 14357 14359 13318 0 -1 4202560 53460 0 0 0 46 6 0 0 16 0 19 0 814736019 10807173120 920341 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 1 0 0 0
[pid=14359/tid=14363] ppid=14357 vsize=10553880 CPUtime=0.43 cores=1,3,5,7
/proc/14359/task/14363/stat : 14363 (java) S 14357 14359 13318 0 -1 4202560 19619 0 0 0 41 2 0 0 15 0 19 0 814736019 10807173120 920341 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 5 0 0 0
[pid=14359/tid=14364] ppid=14357 vsize=10553880 CPUtime=0.24 cores=1,3,5,7
/proc/14359/task/14364/stat : 14364 (java) S 14357 14359 13318 0 -1 4202560 22679 0 0 0 22 2 0 0 16 0 19 0 814736019 10807173120 920341 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 7 0 0 0
[pid=14359/tid=14365] ppid=14357 vsize=10553880 CPUtime=0.53 cores=1,3,5,7
/proc/14359/task/14365/stat : 14365 (java) S 14357 14359 13318 0 -1 4202560 20666 0 0 0 51 2 0 0 15 0 19 0 814736019 10807173120 920341 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 5 0 0 0
[pid=14359/tid=14366] ppid=14357 vsize=10553880 CPUtime=0.17 cores=1,3,5,7
/proc/14359/task/14366/stat : 14366 (java) S 14357 14359 13318 0 -1 4202560 7812 0 0 0 17 0 0 0 16 0 19 0 814736019 10807173120 920341 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14367] ppid=14357 vsize=10553880 CPUtime=0.55 cores=1,3,5,7
/proc/14359/task/14367/stat : 14367 (java) S 14357 14359 13318 0 -1 4202560 38811 0 0 0 50 5 0 0 15 0 19 0 814736019 10807173120 920341 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 5 0 0 0
[pid=14359/tid=14368] ppid=14357 vsize=10553880 CPUtime=0.09 cores=1,3,5,7
/proc/14359/task/14368/stat : 14368 (java) S 14357 14359 13318 0 -1 4202560 11181 0 0 0 8 1 0 0 16 0 19 0 814736019 10807173120 920341 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14369] ppid=14357 vsize=10553880 CPUtime=0.37 cores=1,3,5,7
/proc/14359/task/14369/stat : 14369 (java) S 14357 14359 13318 0 -1 4202560 37591 0 0 0 33 4 0 0 15 0 19 0 814736019 10807173120 920341 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 1 0 0 0
[pid=14359/tid=14370] ppid=14357 vsize=10553880 CPUtime=0.02 cores=1,3,5,7
/proc/14359/task/14370/stat : 14370 (java) S 14357 14359 13318 0 -1 4202560 41 0 0 0 1 1 0 0 15 0 19 0 814736020 10807173120 920341 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522114048 0 0 0 16800975 18446604454826218688 0 0 -1 1 0 0 0
[pid=14359/tid=14371] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14371/stat : 14371 (java) S 14357 14359 13318 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 814736021 10807173120 920341 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14372] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14372/stat : 14372 (java) S 14357 14359 13318 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814736021 10807173120 920341 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14373] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14373/stat : 14373 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814736023 10807173120 920341 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522121137 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14374] ppid=14357 vsize=10553880 CPUtime=0.92 cores=1,3,5,7
/proc/14359/task/14374/stat : 14374 (java) S 14357 14359 13318 0 -1 4202560 5025 0 0 0 92 0 0 0 16 0 19 0 814736023 10807173120 920341 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 5 0 0 0
[pid=14359/tid=14375] ppid=14357 vsize=10553880 CPUtime=0.68 cores=1,3,5,7
/proc/14359/task/14375/stat : 14375 (java) S 14357 14359 13318 0 -1 4202560 2838 0 0 0 68 0 0 0 15 0 19 0 814736023 10807173120 920341 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 1 0 0 0
[pid=14359/tid=14376] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14376/stat : 14376 (java) S 14357 14359 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814736023 10807173120 920341 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522113433 0 4 0 16800975 18446604454826218688 0 0 -1 3 0 0 0
[pid=14359/tid=14377] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14377/stat : 14377 (java) S 14357 14359 13318 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814736023 10807173120 920341 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522114048 0 4 0 16800975 18446604454826218688 0 0 -1 5 0 0 0
[pid=14359/tid=14378] ppid=14357 vsize=10553880 CPUtime=0 cores=1,3,5,7
/proc/14359/task/14378/stat : 14378 (java) S 14357 14359 13318 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814736400 10807173120 920341 33554432000 1073741824 1073778376 140735161373984 18446744073709551615 233522114048 0 4 0 16800975 18446604454826218688 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10553880
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.43 s]
/proc/loadavg: 2.00 2.04 2.00 3/563 14483
/proc/meminfo: memFree=15528324/32951124 swapFree=64303760/67111528
[pid=14359] ppid=14357 vsize=0 CPUtime=1800.13 cores=1,3,5,7
/proc/14359/stat : 14359 (java) Z 14357 14359 13318 0 -1 4203548 925049 0 1 0 179869 144 0 0 17 0 2 0 814736017 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14359/statm: 0 0 0 0 0 0 0
[pid=14359/tid=14360] ppid=14357 vsize=0 CPUtime=1795.47 cores=1,3,5,7
/proc/14359/task/14360/stat : 14360 (java) R 14357 14359 13318 0 -1 4203588 704044 0 1 0 179433 114 0 0 25 0 2 0 814736018 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.13
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.49
CPU time (s): 1800.21
CPU user time (s): 1798.7
CPU system time (s): 1.51177
CPU usage (%): 100.207
Max. virtual memory (cumulated for all children) (KiB): 10553880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.7
system time used= 1.51177
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 925049
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= 39514
involuntary context switches= 9918
runsolver used 9.28759 second user time and 22.6935 second system time
The end