runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3689624-1337883665/watcher-3689624-1337883665 -o /tmp/evaluation-result-3689624-1337883665/solver-3689624-1337883665 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689624-1337883665.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: 3.84 3.95 3.76 4/197 27454
/proc/meminfo: memFree=26862052/32873648 swapFree=6864/6864
[pid=27454] ppid=27452 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/27454/stat : 27454 (java) R 27452 27454 22184 0 -1 4202496 988 0 0 0 0 0 0 0 20 0 1 0 254492468 23793664 715 33554432000 1073741824 1073778376 140737307675728 140737307664792 226075120202 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27454/statm: 5809 715 530 9 0 128 0
[startup+0.101554 s]
/proc/loadavg: 3.84 3.95 3.76 4/197 27454
/proc/meminfo: memFree=26862052/32873648 swapFree=6864/6864
[pid=27454] ppid=27452 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/27454/stat : 27454 (java) S 27452 27454 22184 0 -1 4202496 4491 0 1 0 10 1 0 0 20 0 18 0 254492468 9787813888 6186 33554432000 1073741824 1073778376 140737307675728 140737307666864 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27454/statm: 2389603 6186 2142 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412
[startup+0.200199 s]
/proc/loadavg: 3.84 3.95 3.76 4/197 27454
/proc/meminfo: memFree=26862052/32873648 swapFree=6864/6864
[pid=27454] ppid=27452 vsize=9558412 CPUtime=0.31 cores=1,3,5,7
/proc/27454/stat : 27454 (java) S 27452 27454 22184 0 -1 4202496 6656 0 1 0 30 1 0 0 20 0 18 0 254492468 9787813888 8201 33554432000 1073741824 1073778376 140737307675728 140737307666864 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27454/statm: 2389603 8202 2206 9 0 2380296 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9558412
[startup+0.300199 s]
/proc/loadavg: 3.84 3.95 3.76 4/197 27454
/proc/meminfo: memFree=26862052/32873648 swapFree=6864/6864
[pid=27454] ppid=27452 vsize=9558412 CPUtime=0.59 cores=1,3,5,7
/proc/27454/stat : 27454 (java) S 27452 27454 22184 0 -1 4202496 7447 0 1 0 57 2 0 0 20 0 18 0 254492468 9787813888 10415 33554432000 1073741824 1073778376 140737307675728 140737307666864 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27454/statm: 2389603 10415 2221 9 0 2380296 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9558412
[startup+0.700194 s]
/proc/loadavg: 3.84 3.95 3.76 4/197 27454
/proc/meminfo: memFree=26862052/32873648 swapFree=6864/6864
[pid=27454] ppid=27452 vsize=9824668 CPUtime=1.98 cores=1,3,5,7
/proc/27454/stat : 27454 (java) S 27452 27454 22184 0 -1 4202496 14348 0 1 0 194 4 0 0 20 0 22 0 254492468 10060460032 22407 33554432000 1073741824 1073778376 140737307675728 140737307666864 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27454/statm: 2456167 22407 2255 9 0 2446860 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 9824668
[startup+1.50072 s]
/proc/loadavg: 3.84 3.95 3.76 6/219 27476
/proc/meminfo: memFree=26750496/32873648 swapFree=6864/6864
[pid=27454] ppid=27452 vsize=9824668 CPUtime=4.34 cores=1,3,5,7
/proc/27454/stat : 27454 (java) S 27452 27454 22184 0 -1 4202496 15430 0 1 0 428 6 0 0 20 0 22 0 254492468 10060460032 46507 33554432000 1073741824 1073778376 140737307675728 140737307666864 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27454/statm: 2456167 46507 2278 9 0 2446860 0
[pid=27454/tid=27456] ppid=27452 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/27454/task/27456/stat : 27456 (java) S 27452 27454 22184 0 -1 4202560 2476 0 1 0 39 2 0 0 20 0 22 0 254492469 10060460032 46507 33554432000 1073741824 1073778376 140737307675728 140315482612728 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27454/tid=27457] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27457/stat : 27457 (java) S 27452 27454 22184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254492469 10060460032 46507 33554432000 1073741824 1073778376 140737307675728 140315444103464 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27458] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27458/stat : 27458 (java) S 27452 27454 22184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254492469 10060460032 46507 33554432000 1073741824 1073778376 140737307675728 140315443050664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27454/tid=27459] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27459/stat : 27459 (java) S 27452 27454 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254492469 10060460032 46507 33554432000 1073741824 1073778376 140737307675728 140315441998376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27460] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27460/stat : 27460 (java) S 27452 27454 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254492469 10060460032 46507 33554432000 1073741824 1073778376 140737307675728 140315323263400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27454/tid=27461] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27461/stat : 27461 (java) S 27452 27454 22184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 254492469 10060460032 46507 33554432000 1073741824 1073778376 140737307675728 140315322211112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27454/tid=27462] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27462/stat : 27462 (java) S 27452 27454 22184 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 254492469 10060460032 46507 33554432000 1073741824 1073778376 140737307675728 140315321158312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27454/tid=27463] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27463/stat : 27463 (java) S 27452 27454 22184 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254492469 10060460032 46507 33554432000 1073741824 1073778376 140737307675728 140315320106024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27464] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27464/stat : 27464 (java) S 27452 27454 22184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254492469 10060460032 46507 33554432000 1073741824 1073778376 140737307675728 140315319053224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27454/tid=27465] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27465/stat : 27465 (java) S 27452 27454 22184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254492470 10060460032 46507 33554432000 1073741824 1073778376 140737307675728 140314836723944 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27466] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27466/stat : 27466 (java) S 27452 27454 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254492471 10060460032 46507 33554432000 1073741824 1073778376 140737307675728 140314835670008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27467] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27467/stat : 27467 (java) S 27452 27454 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254492471 10060460032 46507 33554432000 1073741824 1073778376 140737307675728 140314834617608 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27468] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27468/stat : 27468 (java) S 27452 27454 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254492473 10060460032 46507 33554432000 1073741824 1073778376 140737307675728 140314833566096 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27469] ppid=27452 vsize=9824668 CPUtime=0.95 cores=1,3,5,7
/proc/27454/task/27469/stat : 27469 (java) R 27452 27454 22184 0 -1 4202560 5639 0 0 0 93 2 0 0 20 0 22 0 254492473 10060460032 46507 33554432000 1073741824 1073778376 140737307675728 140314832513720 140315490329271 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27470] ppid=27452 vsize=9824668 CPUtime=0.82 cores=1,3,5,7
/proc/27454/task/27470/stat : 27470 (java) R 27452 27454 22184 0 -1 4202560 5924 0 0 0 80 2 0 0 20 0 22 0 254492473 10060460032 46507 33554432000 1073741824 1073778376 140737307675728 140314831448672 140315486703973 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=27454/tid=27471] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27471/stat : 27471 (java) S 27452 27454 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254492473 10060460032 46507 33554432000 1073741824 1073778376 140737307675728 140314830408824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27454/tid=27472] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27472/stat : 27472 (java) S 27452 27454 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254492473 10060460032 46507 33554432000 1073741824 1073778376 140737307675728 140314829356232 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27473] ppid=27452 vsize=9824668 CPUtime=1.03 cores=1,3,5,7
/proc/27454/task/27473/stat : 27473 (java) R 27452 27454 22184 0 -1 4202560 29 0 0 0 103 0 0 0 20 0 22 0 254492512 10060460032 46507 33554432000 1073741824 1073778376 140737307675728 140314828298600 140315323332225 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27474] ppid=27452 vsize=9824668 CPUtime=1.04 cores=1,3,5,7
/proc/27454/task/27474/stat : 27474 (java) R 27452 27454 22184 0 -1 4202560 119 0 0 0 102 2 0 0 20 0 22 0 254492512 10060460032 46507 33554432000 1073741824 1073778376 140737307675728 140314827246408 140315324309485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27454/tid=27475] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27475/stat : 27475 (java) S 27452 27454 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254492514 10060460032 46507 33554432000 1073741824 1073778376 140737307675728 140314826196136 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27476] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27476/stat : 27476 (java) S 27452 27454 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254492514 10060460032 46507 33554432000 1073741824 1073778376 140737307675728 140314825143336 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 9824668
[startup+3.10076 s]
/proc/loadavg: 3.84 3.95 3.76 5/219 27476
/proc/meminfo: memFree=26662308/32873648 swapFree=6864/6864
[pid=27454] ppid=27452 vsize=9824668 CPUtime=7.68 cores=1,3,5,7
/proc/27454/stat : 27454 (java) S 27452 27454 22184 0 -1 4202496 15623 0 1 0 760 8 0 0 20 0 22 0 254492468 10060460032 56335 33554432000 1073741824 1073778376 140737307675728 140737307666864 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27454/statm: 2456167 56335 2286 9 0 2446860 0
[pid=27454/tid=27456] ppid=27452 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/27454/task/27456/stat : 27456 (java) S 27452 27454 22184 0 -1 4202560 2476 0 1 0 39 2 0 0 20 0 22 0 254492469 10060460032 56335 33554432000 1073741824 1073778376 140737307675728 140315482612728 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27454/tid=27457] ppid=27452 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/27454/task/27457/stat : 27457 (java) S 27452 27454 22184 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 254492469 10060460032 56335 33554432000 1073741824 1073778376 140737307675728 140315444103464 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27458] ppid=27452 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/27454/task/27458/stat : 27458 (java) S 27452 27454 22184 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 254492469 10060460032 56335 33554432000 1073741824 1073778376 140737307675728 140315443050664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27459] ppid=27452 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/27454/task/27459/stat : 27459 (java) S 27452 27454 22184 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 254492469 10060460032 56335 33554432000 1073741824 1073778376 140737307675728 140315441998376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27460] ppid=27452 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/27454/task/27460/stat : 27460 (java) S 27452 27454 22184 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 254492469 10060460032 56335 33554432000 1073741824 1073778376 140737307675728 140315323263400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27461] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27461/stat : 27461 (java) S 27452 27454 22184 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 254492469 10060460032 56335 33554432000 1073741824 1073778376 140737307675728 140315322211112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27462] ppid=27452 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/27454/task/27462/stat : 27462 (java) S 27452 27454 22184 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 254492469 10060460032 56335 33554432000 1073741824 1073778376 140737307675728 140315321158312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27454/tid=27463] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27463/stat : 27463 (java) S 27452 27454 22184 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 254492469 10060460032 56335 33554432000 1073741824 1073778376 140737307675728 140315320106024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27454/tid=27464] ppid=27452 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/27454/task/27464/stat : 27464 (java) S 27452 27454 22184 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 254492469 10060460032 56335 33554432000 1073741824 1073778376 140737307675728 140315319053224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27454/tid=27465] ppid=27452 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/27454/task/27465/stat : 27465 (java) S 27452 27454 22184 0 -1 4202560 103 0 0 0 8 0 0 0 20 0 22 0 254492470 10060460032 56335 33554432000 1073741824 1073778376 140737307675728 140314836723944 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27454/tid=27466] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27466/stat : 27466 (java) S 27452 27454 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254492471 10060460032 56335 33554432000 1073741824 1073778376 140737307675728 140314835670008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27467] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27467/stat : 27467 (java) S 27452 27454 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254492471 10060460032 56335 33554432000 1073741824 1073778376 140737307675728 140314834617608 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27468] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27468/stat : 27468 (java) S 27452 27454 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254492473 10060460032 56335 33554432000 1073741824 1073778376 140737307675728 140314833566096 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27469] ppid=27452 vsize=9824668 CPUtime=1.01 cores=1,3,5,7
/proc/27454/task/27469/stat : 27469 (java) S 27452 27454 22184 0 -1 4202560 5639 0 0 0 99 2 0 0 20 0 22 0 254492473 10060460032 56335 33554432000 1073741824 1073778376 140737307675728 140314832513720 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27470] ppid=27452 vsize=9824668 CPUtime=0.94 cores=1,3,5,7
/proc/27454/task/27470/stat : 27470 (java) S 27452 27454 22184 0 -1 4202560 5979 0 0 0 92 2 0 0 20 0 22 0 254492473 10060460032 56335 33554432000 1073741824 1073778376 140737307675728 140314831460920 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27454/tid=27471] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27471/stat : 27471 (java) S 27452 27454 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254492473 10060460032 56335 33554432000 1073741824 1073778376 140737307675728 140314830408824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27454/tid=27472] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27472/stat : 27472 (java) S 27452 27454 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254492473 10060460032 56335 33554432000 1073741824 1073778376 140737307675728 140314829356232 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27473] ppid=27452 vsize=9824668 CPUtime=2.48 cores=1,3,5,7
/proc/27454/task/27473/stat : 27473 (java) R 27452 27454 22184 0 -1 4202560 29 0 0 0 248 0 0 0 20 0 22 0 254492512 10060460032 56335 33554432000 1073741824 1073778376 140737307675728 140314828300680 140315324038632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27474] ppid=27452 vsize=9824668 CPUtime=2.49 cores=1,3,5,7
/proc/27454/task/27474/stat : 27474 (java) R 27452 27454 22184 0 -1 4202560 123 0 0 0 247 2 0 0 20 0 22 0 254492512 10060460032 56335 33554432000 1073741824 1073778376 140737307675728 140314827246624 140315324309485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27454/tid=27475] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27475/stat : 27475 (java) S 27452 27454 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254492514 10060460032 56335 33554432000 1073741824 1073778376 140737307675728 140314826196136 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27476] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27476/stat : 27476 (java) S 27452 27454 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254492514 10060460032 56335 33554432000 1073741824 1073778376 140737307675728 140314825143336 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.68
Current children cumulated vsize (KiB) 9824668
[startup+6.30076 s]
/proc/loadavg: 3.85 3.95 3.77 6/219 27476
/proc/meminfo: memFree=26136228/32873648 swapFree=6864/6864
[pid=27454] ppid=27452 vsize=9824668 CPUtime=14.03 cores=1,3,5,7
/proc/27454/stat : 27454 (java) S 27452 27454 22184 0 -1 4202496 15898 0 1 0 1388 15 0 0 20 0 22 0 254492468 10060460032 93309 33554432000 1073741824 1073778376 140737307675728 140737307666864 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27454/statm: 2456167 93309 2286 9 0 2446860 0
[pid=27454/tid=27456] ppid=27452 vsize=9824668 CPUtime=0.42 cores=1,3,5,7
/proc/27454/task/27456/stat : 27456 (java) S 27452 27454 22184 0 -1 4202560 2476 0 1 0 40 2 0 0 20 0 22 0 254492469 10060460032 93309 33554432000 1073741824 1073778376 140737307675728 140315482612728 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27457] ppid=27452 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/27454/task/27457/stat : 27457 (java) S 27452 27454 22184 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 22 0 254492469 10060460032 93309 33554432000 1073741824 1073778376 140737307675728 140315444103464 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27458] ppid=27452 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/27454/task/27458/stat : 27458 (java) S 27452 27454 22184 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 22 0 254492469 10060460032 93309 33554432000 1073741824 1073778376 140737307675728 140315443050664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27454/tid=27459] ppid=27452 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/27454/task/27459/stat : 27459 (java) S 27452 27454 22184 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 254492469 10060460032 93309 33554432000 1073741824 1073778376 140737307675728 140315441998376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27454/tid=27460] ppid=27452 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/27454/task/27460/stat : 27460 (java) S 27452 27454 22184 0 -1 4202560 22 0 0 0 4 1 0 0 20 0 22 0 254492469 10060460032 93309 33554432000 1073741824 1073778376 140737307675728 140315323263400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27454/tid=27461] ppid=27452 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/27454/task/27461/stat : 27461 (java) S 27452 27454 22184 0 -1 4202560 31 0 0 0 2 1 0 0 20 0 22 0 254492469 10060460032 93309 33554432000 1073741824 1073778376 140737307675728 140315322211112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27462] ppid=27452 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/27454/task/27462/stat : 27462 (java) S 27452 27454 22184 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 254492469 10060460032 93309 33554432000 1073741824 1073778376 140737307675728 140315321158312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27454/tid=27463] ppid=27452 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/27454/task/27463/stat : 27463 (java) S 27452 27454 22184 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 254492469 10060460032 93309 33554432000 1073741824 1073778376 140737307675728 140315320106024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27464] ppid=27452 vsize=9824668 CPUtime=0.03 cores=1,3,5,7
/proc/27454/task/27464/stat : 27464 (java) S 27452 27454 22184 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 22 0 254492469 10060460032 93309 33554432000 1073741824 1073778376 140737307675728 140315319053224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27454/tid=27465] ppid=27452 vsize=9824668 CPUtime=0.28 cores=1,3,5,7
/proc/27454/task/27465/stat : 27465 (java) S 27452 27454 22184 0 -1 4202560 253 0 0 0 28 0 0 0 20 0 22 0 254492470 10060460032 93309 33554432000 1073741824 1073778376 140737307675728 140314836723944 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27466] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27466/stat : 27466 (java) S 27452 27454 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254492471 10060460032 93309 33554432000 1073741824 1073778376 140737307675728 140314835670008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27467] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27467/stat : 27467 (java) S 27452 27454 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254492471 10060460032 93309 33554432000 1073741824 1073778376 140737307675728 140314834617608 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27468] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27468/stat : 27468 (java) S 27452 27454 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254492473 10060460032 93309 33554432000 1073741824 1073778376 140737307675728 140314833566096 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27469] ppid=27452 vsize=9824668 CPUtime=1.09 cores=1,3,5,7
/proc/27454/task/27469/stat : 27469 (java) S 27452 27454 22184 0 -1 4202560 5643 0 0 0 107 2 0 0 20 0 22 0 254492473 10060460032 93309 33554432000 1073741824 1073778376 140737307675728 140314832513720 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
[pid=27454/tid=27474] ppid=27452 vsize=9824668 CPUtime=709.08 cores=1,3,5,7
/proc/27454/task/27474/stat : 27474 (java) R 27452 27454 22184 0 -1 4202560 1402 0 0 0 70862 46 0 0 20 0 22 0 254492512 10060460032 928405 33554432000 1073741824 1073778376 140737307675728 140314827245824 140315324473914 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27475] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27475/stat : 27475 (java) S 27452 27454 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254492514 10060460032 928405 33554432000 1073741824 1073778376 140737307675728 140314826196136 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27476] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27476/stat : 27476 (java) S 27452 27454 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254492514 10060460032 928405 33554432000 1073741824 1073778376 140737307675728 140314825143336 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1487.21
Current children cumulated vsize (KiB) 9824668
[startup+822.301 s]
/proc/loadavg: 3.70 3.78 3.76 5/219 27603
/proc/meminfo: memFree=23396248/32873648 swapFree=6864/6864
[pid=27454] ppid=27452 vsize=9824668 CPUtime=1604.82 cores=1,3,5,7
/proc/27454/stat : 27454 (java) S 27452 27454 22184 0 -1 4202496 25422 0 1 0 160333 149 0 0 20 0 22 0 254492468 10060460032 941728 33554432000 1073741824 1073778376 140737307675728 140737307666864 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27454/statm: 2456167 941728 2287 9 0 2446860 0
[pid=27454/tid=27456] ppid=27452 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/27454/task/27456/stat : 27456 (java) S 27452 27454 22184 0 -1 4202560 2515 0 1 0 42 3 0 0 20 0 22 0 254492469 10060460032 941728 33554432000 1073741824 1073778376 140737307675728 140315482612728 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27457] ppid=27452 vsize=9824668 CPUtime=2.68 cores=1,3,5,7
/proc/27454/task/27457/stat : 27457 (java) S 27452 27454 22184 0 -1 4202560 614 0 0 0 259 9 0 0 20 0 22 0 254492469 10060460032 941728 33554432000 1073741824 1073778376 140737307675728 140315444103464 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27458] ppid=27452 vsize=9824668 CPUtime=2.64 cores=1,3,5,7
/proc/27454/task/27458/stat : 27458 (java) S 27452 27454 22184 0 -1 4202560 434 0 0 0 254 10 0 0 20 0 22 0 254492469 10060460032 941728 33554432000 1073741824 1073778376 140737307675728 140315443050664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27454/tid=27459] ppid=27452 vsize=9824668 CPUtime=2.48 cores=1,3,5,7
/proc/27454/task/27459/stat : 27459 (java) S 27452 27454 22184 0 -1 4202560 435 0 0 0 240 8 0 0 20 0 22 0 254492469 10060460032 941728 33554432000 1073741824 1073778376 140737307675728 140315441998376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27460] ppid=27452 vsize=9824668 CPUtime=2.59 cores=1,3,5,7
/proc/27454/task/27460/stat : 27460 (java) S 27452 27454 22184 0 -1 4202560 306 0 0 0 249 10 0 0 20 0 22 0 254492469 10060460032 941728 33554432000 1073741824 1073778376 140737307675728 140315323263400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27454/tid=27461] ppid=27452 vsize=9824668 CPUtime=2.66 cores=1,3,5,7
/proc/27454/task/27461/stat : 27461 (java) S 27452 27454 22184 0 -1 4202560 455 0 0 0 256 10 0 0 20 0 22 0 254492469 10060460032 941728 33554432000 1073741824 1073778376 140737307675728 140315322211112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27462] ppid=27452 vsize=9824668 CPUtime=2.46 cores=1,3,5,7
/proc/27454/task/27462/stat : 27462 (java) S 27452 27454 22184 0 -1 4202560 419 0 0 0 238 8 0 0 20 0 22 0 254492469 10060460032 941728 33554432000 1073741824 1073778376 140737307675728 140315321158312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27463] ppid=27452 vsize=9824668 CPUtime=2.85 cores=1,3,5,7
/proc/27454/task/27463/stat : 27463 (java) S 27452 27454 22184 0 -1 4202560 302 0 0 0 275 10 0 0 20 0 22 0 254492469 10060460032 941728 33554432000 1073741824 1073778376 140737307675728 140315320106024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27464] ppid=27452 vsize=9824668 CPUtime=2.35 cores=1,3,5,7
/proc/27454/task/27464/stat : 27464 (java) S 27452 27454 22184 0 -1 4202560 658 0 0 0 225 10 0 0 20 0 22 0 254492469 10060460032 941728 33554432000 1073741824 1073778376 140737307675728 140315319053224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27465] ppid=27452 vsize=9824668 CPUtime=51.27 cores=1,3,5,7
/proc/27454/task/27465/stat : 27465 (java) S 27452 27454 22184 0 -1 4202560 3956 0 0 0 5111 16 0 0 20 0 22 0 254492470 10060460032 941728 33554432000 1073741824 1073778376 140737307675728 140314836723944 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27466] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27466/stat : 27466 (java) S 27452 27454 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254492471 10060460032 941728 33554432000 1073741824 1073778376 140737307675728 140314835670008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27467] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27467/stat : 27467 (java) S 27452 27454 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254492471 10060460032 941728 33554432000 1073741824 1073778376 140737307675728 140314834617608 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27468] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27468/stat : 27468 (java) S 27452 27454 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254492473 10060460032 941728 33554432000 1073741824 1073778376 140737307675728 140314833566096 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27469] ppid=27452 vsize=9824668 CPUtime=1.33 cores=1,3,5,7
/proc/27454/task/27469/stat : 27469 (java) S 27452 27454 22184 0 -1 4202560 6596 0 0 0 131 2 0 0 20 0 22 0 254492473 10060460032 941728 33554432000 1073741824 1073778376 140737307675728 140314832513720 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27470] ppid=27452 vsize=9824668 CPUtime=1.01 cores=1,3,5,7
/proc/27454/task/27470/stat : 27470 (java) S 27452 27454 22184 0 -1 4202560 5983 0 0 0 99 2 0 0 20 0 22 0 254492473 10060460032 941728 33554432000 1073741824 1073778376 140737307675728 140314831460920 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27454/tid=27471] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27471/stat : 27471 (java) S 27452 27454 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254492473 10060460032 941728 33554432000 1073741824 1073778376 140737307675728 140314830408824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27454/tid=27472] ppid=27452 vsize=9824668 CPUtime=0.29 cores=1,3,5,7
/proc/27454/task/27472/stat : 27472 (java) S 27452 27454 22184 0 -1 4202560 46 0 0 0 12 17 0 0 20 0 22 0 254492473 10060460032 941728 33554432000 1073741824 1073778376 140737307675728 140314829356232 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27473] ppid=27452 vsize=9824668 CPUtime=764.97 cores=1,3,5,7
/proc/27454/task/27473/stat : 27473 (java) R 27452 27454 22184 0 -1 4202560 106 0 0 0 76484 13 0 0 20 0 22 0 254492512 10060460032 941728 33554432000 1073741824 1073778376 140737307675728 140314828298464 140315324096493 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27454/tid=27474] ppid=27452 vsize=9824668 CPUtime=764.94 cores=1,3,5,7
/proc/27454/task/27474/stat : 27474 (java) R 27452 27454 22184 0 -1 4202560 1409 0 0 0 76447 47 0 0 20 0 22 0 254492512 10060460032 941728 33554432000 1073741824 1073778376 140737307675728 140314827246624 140315324442338 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27475] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27475/stat : 27475 (java) S 27452 27454 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254492514 10060460032 941728 33554432000 1073741824 1073778376 140737307675728 140314826196136 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27476] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27476/stat : 27476 (java) S 27452 27454 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254492514 10060460032 941728 33554432000 1073741824 1073778376 140737307675728 140314825143336 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1604.82
Current children cumulated vsize (KiB) 9824668
[startup+882.307 s]
/proc/loadavg: 3.81 3.80 3.76 5/219 27603
/proc/meminfo: memFree=23042316/32873648 swapFree=6864/6864
[pid=27454] ppid=27452 vsize=9824668 CPUtime=1723.99 cores=1,3,5,7
/proc/27454/stat : 27454 (java) S 27452 27454 22184 0 -1 4202496 25626 0 1 0 172243 156 0 0 20 0 22 0 254492468 10060460032 964345 33554432000 1073741824 1073778376 140737307675728 140737307666864 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27454/statm: 2456167 964345 2287 9 0 2446860 0
[pid=27454/tid=27456] ppid=27452 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/27454/task/27456/stat : 27456 (java) S 27452 27454 22184 0 -1 4202560 2519 0 1 0 42 3 0 0 20 0 22 0 254492469 10060460032 964345 33554432000 1073741824 1073778376 140737307675728 140315482612728 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27454/tid=27457] ppid=27452 vsize=9824668 CPUtime=3.03 cores=1,3,5,7
/proc/27454/task/27457/stat : 27457 (java) S 27452 27454 22184 0 -1 4202560 637 0 0 0 294 9 0 0 20 0 22 0 254492469 10060460032 964345 33554432000 1073741824 1073778376 140737307675728 140315444103464 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27454/tid=27458] ppid=27452 vsize=9824668 CPUtime=2.84 cores=1,3,5,7
/proc/27454/task/27458/stat : 27458 (java) S 27452 27454 22184 0 -1 4202560 470 0 0 0 274 10 0 0 20 0 22 0 254492469 10060460032 964345 33554432000 1073741824 1073778376 140737307675728 140315443050664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27459] ppid=27452 vsize=9824668 CPUtime=2.68 cores=1,3,5,7
/proc/27454/task/27459/stat : 27459 (java) S 27452 27454 22184 0 -1 4202560 447 0 0 0 260 8 0 0 20 0 22 0 254492469 10060460032 964345 33554432000 1073741824 1073778376 140737307675728 140315441998376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27460] ppid=27452 vsize=9824668 CPUtime=2.88 cores=1,3,5,7
/proc/27454/task/27460/stat : 27460 (java) S 27452 27454 22184 0 -1 4202560 322 0 0 0 278 10 0 0 20 0 22 0 254492469 10060460032 964345 33554432000 1073741824 1073778376 140737307675728 140315323263400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27454/tid=27461] ppid=27452 vsize=9824668 CPUtime=2.9 cores=1,3,5,7
/proc/27454/task/27461/stat : 27461 (java) S 27452 27454 22184 0 -1 4202560 464 0 0 0 280 10 0 0 20 0 22 0 254492469 10060460032 964345 33554432000 1073741824 1073778376 140737307675728 140315322211112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27454/tid=27462] ppid=27452 vsize=9824668 CPUtime=2.68 cores=1,3,5,7
/proc/27454/task/27462/stat : 27462 (java) S 27452 27454 22184 0 -1 4202560 436 0 0 0 260 8 0 0 20 0 22 0 254492469 10060460032 964345 33554432000 1073741824 1073778376 140737307675728 140315321158312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27463] ppid=27452 vsize=9824668 CPUtime=3.18 cores=1,3,5,7
/proc/27454/task/27463/stat : 27463 (java) S 27452 27454 22184 0 -1 4202560 329 0 0 0 307 11 0 0 20 0 22 0 254492469 10060460032 964345 33554432000 1073741824 1073778376 140737307675728 140315320106024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27454/tid=27464] ppid=27452 vsize=9824668 CPUtime=2.68 cores=1,3,5,7
/proc/27454/task/27464/stat : 27464 (java) S 27452 27454 22184 0 -1 4202560 658 0 0 0 258 10 0 0 20 0 22 0 254492469 10060460032 964345 33554432000 1073741824 1073778376 140737307675728 140315319053224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27454/tid=27465] ppid=27452 vsize=9824668 CPUtime=53.16 cores=1,3,5,7
/proc/27454/task/27465/stat : 27465 (java) S 27452 27454 22184 0 -1 4202560 4009 0 0 0 5298 18 0 0 20 0 22 0 254492470 10060460032 964345 33554432000 1073741824 1073778376 140737307675728 140314836723944 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27454/tid=27466] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27466/stat : 27466 (java) S 27452 27454 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254492471 10060460032 964345 33554432000 1073741824 1073778376 140737307675728 140314835670008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27467] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27467/stat : 27467 (java) S 27452 27454 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254492471 10060460032 964345 33554432000 1073741824 1073778376 140737307675728 140314834617608 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27468] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27468/stat : 27468 (java) S 27452 27454 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254492473 10060460032 964345 33554432000 1073741824 1073778376 140737307675728 140314833566096 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27469] ppid=27452 vsize=9824668 CPUtime=1.33 cores=1,3,5,7
/proc/27454/task/27469/stat : 27469 (java) S 27452 27454 22184 0 -1 4202560 6596 0 0 0 131 2 0 0 20 0 22 0 254492473 10060460032 964345 33554432000 1073741824 1073778376 140737307675728 140314832513720 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27470] ppid=27452 vsize=9824668 CPUtime=1.01 cores=1,3,5,7
/proc/27454/task/27470/stat : 27470 (java) S 27452 27454 22184 0 -1 4202560 5983 0 0 0 99 2 0 0 20 0 22 0 254492473 10060460032 964345 33554432000 1073741824 1073778376 140737307675728 140314831460920 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27454/tid=27471] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27471/stat : 27471 (java) S 27452 27454 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254492473 10060460032 964345 33554432000 1073741824 1073778376 140737307675728 140314830408824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27454/tid=27472] ppid=27452 vsize=9824668 CPUtime=0.31 cores=1,3,5,7
/proc/27454/task/27472/stat : 27472 (java) S 27452 27454 22184 0 -1 4202560 50 0 0 0 13 18 0 0 20 0 22 0 254492473 10060460032 964345 33554432000 1073741824 1073778376 140737307675728 140314829356232 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27473] ppid=27452 vsize=9824668 CPUtime=822.53 cores=1,3,5,7
/proc/27454/task/27473/stat : 27473 (java) R 27452 27454 22184 0 -1 4202560 108 0 0 0 82239 14 0 0 20 0 22 0 254492512 10060460032 964345 33554432000 1073741824 1073778376 140737307675728 140314828300512 140315324115648 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27474] ppid=27452 vsize=9824668 CPUtime=822.5 cores=1,3,5,7
/proc/27454/task/27474/stat : 27474 (java) R 27452 27454 22184 0 -1 4202560 1410 0 0 0 82202 48 0 0 20 0 22 0 254492512 10060460032 964345 33554432000 1073741824 1073778376 140737307675728 140314827245728 140315324442338 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27475] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27475/stat : 27475 (java) S 27452 27454 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254492514 10060460032 964345 33554432000 1073741824 1073778376 140737307675728 140314826196136 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27476] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27476/stat : 27476 (java) S 27452 27454 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254492514 10060460032 964345 33554432000 1073741824 1073778376 140737307675728 140314825143336 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1723.99
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+921.701 s]
/proc/loadavg: 3.90 3.82 3.77 5/219 27603
/proc/meminfo: memFree=22955684/32873648 swapFree=6864/6864
[pid=27454] ppid=27452 vsize=9824668 CPUtime=1800.15 cores=1,3,5,7
/proc/27454/stat : 27454 (java) S 27452 27454 22184 0 -1 4202496 25743 0 1 0 179857 158 0 0 20 0 22 0 254492468 10060460032 970640 33554432000 1073741824 1073778376 140737307675728 140737307666864 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27454/statm: 2456167 970640 2287 9 0 2446860 0
[pid=27454/tid=27456] ppid=27452 vsize=9824668 CPUtime=0.46 cores=1,3,5,7
/proc/27454/task/27456/stat : 27456 (java) S 27452 27454 22184 0 -1 4202560 2520 0 1 0 42 4 0 0 20 0 22 0 254492469 10060460032 970640 33554432000 1073741824 1073778376 140737307675728 140315482612728 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27457] ppid=27452 vsize=9824668 CPUtime=3.15 cores=1,3,5,7
/proc/27454/task/27457/stat : 27457 (java) S 27452 27454 22184 0 -1 4202560 645 0 0 0 306 9 0 0 20 0 22 0 254492469 10060460032 970640 33554432000 1073741824 1073778376 140737307675728 140315444103464 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27458] ppid=27452 vsize=9824668 CPUtime=2.99 cores=1,3,5,7
/proc/27454/task/27458/stat : 27458 (java) S 27452 27454 22184 0 -1 4202560 478 0 0 0 289 10 0 0 20 0 22 0 254492469 10060460032 970640 33554432000 1073741824 1073778376 140737307675728 140315443050664 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27454/tid=27459] ppid=27452 vsize=9824668 CPUtime=2.77 cores=1,3,5,7
/proc/27454/task/27459/stat : 27459 (java) S 27452 27454 22184 0 -1 4202560 457 0 0 0 269 8 0 0 20 0 22 0 254492469 10060460032 970640 33554432000 1073741824 1073778376 140737307675728 140315441998376 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27454/tid=27460] ppid=27452 vsize=9824668 CPUtime=2.98 cores=1,3,5,7
/proc/27454/task/27460/stat : 27460 (java) S 27452 27454 22184 0 -1 4202560 322 0 0 0 288 10 0 0 20 0 22 0 254492469 10060460032 970640 33554432000 1073741824 1073778376 140737307675728 140315323263400 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27461] ppid=27452 vsize=9824668 CPUtime=3.09 cores=1,3,5,7
/proc/27454/task/27461/stat : 27461 (java) S 27452 27454 22184 0 -1 4202560 467 0 0 0 299 10 0 0 20 0 22 0 254492469 10060460032 970640 33554432000 1073741824 1073778376 140737307675728 140315322211112 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27454/tid=27462] ppid=27452 vsize=9824668 CPUtime=2.81 cores=1,3,5,7
/proc/27454/task/27462/stat : 27462 (java) S 27452 27454 22184 0 -1 4202560 458 0 0 0 273 8 0 0 20 0 22 0 254492469 10060460032 970640 33554432000 1073741824 1073778376 140737307675728 140315321158312 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27463] ppid=27452 vsize=9824668 CPUtime=3.29 cores=1,3,5,7
/proc/27454/task/27463/stat : 27463 (java) S 27452 27454 22184 0 -1 4202560 334 0 0 0 318 11 0 0 20 0 22 0 254492469 10060460032 970640 33554432000 1073741824 1073778376 140737307675728 140315320106024 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27454/tid=27464] ppid=27452 vsize=9824668 CPUtime=2.77 cores=1,3,5,7
/proc/27454/task/27464/stat : 27464 (java) S 27452 27454 22184 0 -1 4202560 663 0 0 0 267 10 0 0 20 0 22 0 254492469 10060460032 970640 33554432000 1073741824 1073778376 140737307675728 140315319053224 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27465] ppid=27452 vsize=9824668 CPUtime=56.28 cores=1,3,5,7
/proc/27454/task/27465/stat : 27465 (java) S 27452 27454 22184 0 -1 4202560 4059 0 0 0 5610 18 0 0 20 0 22 0 254492470 10060460032 970640 33554432000 1073741824 1073778376 140737307675728 140314836723944 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27466] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27466/stat : 27466 (java) S 27452 27454 22184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254492471 10060460032 970640 33554432000 1073741824 1073778376 140737307675728 140314835670008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27467] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27467/stat : 27467 (java) S 27452 27454 22184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254492471 10060460032 970640 33554432000 1073741824 1073778376 140737307675728 140314834617608 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27468] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27468/stat : 27468 (java) S 27452 27454 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254492473 10060460032 970640 33554432000 1073741824 1073778376 140737307675728 140314833566096 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27469] ppid=27452 vsize=9824668 CPUtime=1.33 cores=1,3,5,7
/proc/27454/task/27469/stat : 27469 (java) S 27452 27454 22184 0 -1 4202560 6596 0 0 0 131 2 0 0 20 0 22 0 254492473 10060460032 970640 33554432000 1073741824 1073778376 140737307675728 140314832513720 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27470] ppid=27452 vsize=9824668 CPUtime=1.01 cores=1,3,5,7
/proc/27454/task/27470/stat : 27470 (java) S 27452 27454 22184 0 -1 4202560 5983 0 0 0 99 2 0 0 20 0 22 0 254492473 10060460032 970640 33554432000 1073741824 1073778376 140737307675728 140314831460920 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27454/tid=27471] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27471/stat : 27471 (java) S 27452 27454 22184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254492473 10060460032 970640 33554432000 1073741824 1073778376 140737307675728 140314830408824 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27454/tid=27472] ppid=27452 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/27454/task/27472/stat : 27472 (java) S 27452 27454 22184 0 -1 4202560 52 0 0 0 13 20 0 0 20 0 22 0 254492473 10060460032 970640 33554432000 1073741824 1073778376 140737307675728 140314829356232 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27473] ppid=27452 vsize=9824668 CPUtime=858.55 cores=1,3,5,7
/proc/27454/task/27473/stat : 27473 (java) R 27452 27454 22184 0 -1 4202560 111 0 0 0 85840 15 0 0 20 0 22 0 254492512 10060460032 970640 33554432000 1073741824 1073778376 140737307675728 140314828300512 140315324304844 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27454/tid=27474] ppid=27452 vsize=9824668 CPUtime=858.54 cores=1,3,5,7
/proc/27454/task/27474/stat : 27474 (java) R 27452 27454 22184 0 -1 4202560 1410 0 0 0 85805 49 0 0 20 0 22 0 254492512 10060460032 970640 33554432000 1073741824 1073778376 140737307675728 140314827245520 140315324002070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27454/tid=27475] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27475/stat : 27475 (java) S 27452 27454 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254492514 10060460032 970640 33554432000 1073741824 1073778376 140737307675728 140314826196136 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27454/tid=27476] ppid=27452 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/27454/task/27476/stat : 27476 (java) S 27452 27454 22184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254492514 10060460032 970640 33554432000 1073741824 1073778376 140737307675728 140314825143336 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 921.76
CPU time (s): 1800.79
CPU user time (s): 1798.76
CPU system time (s): 2.03369
CPU usage (%): 195.364
Max. virtual memory (cumulated for all children) (KiB): 9825660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.76
system time used= 2.03369
maximum resident set size= 3882680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25775
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25460
involuntary context switches= 37077
runsolver used 3.31949 second user time and 8.36573 second system time
The end