runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4259423-1501656740/watcher-4259423-1501656740 -o /tmp/evaluation-result-4259423-1501656740/solver-4259423-1501656740 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501653519-11656 --watchdog 300 bin/concrete HOME/instance-4259423-1501656740.xml
pid=15420
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.25 1.41 1.62 3/199 15423
/proc/meminfo: memFree=31018952/32770624 swapFree=0/240360
[pid=15423] ppid=15420 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15423/stat : 15423 (runsolver) D 15420 15423 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13489378 24240128 106 18446744073709551615 4194304 4338465 140731266824304 140731266821944 140061801161431 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 9232384 140731266826448 140731266826822 140731266826822 140731266830282 0
/proc/15423/statm: 5918 106 53 36 0 2156 0
[startup+0.100119 s]
/proc/loadavg: 1.25 1.41 1.62 3/199 15423
/proc/meminfo: memFree=31018952/32770624 swapFree=0/240360
[pid=15423] ppid=15420 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/15423/stat : 15423 (bash) S 15420 15423 5228 0 -1 4202496 891 6496 0 0 0 0 0 1 20 0 1 0 13489378 9867264 376 18446744073709551615 4194304 5098028 140723088453296 140723088447304 139986995256320 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 7 0 0 7196144 7232144 23216128 140723088454161 140723088454246 140723088454246 140723088457706 0
/proc/15423/statm: 2409 376 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.200345 s]
/proc/loadavg: 1.25 1.41 1.62 3/199 15423
/proc/meminfo: memFree=31018952/32770624 swapFree=0/240360
[pid=15423] ppid=15420 vsize=13358716 CPUtime=0.08 cores=1,3,5,7
/proc/15423/stat : 15423 (java) S 15420 15423 5228 0 -1 1077944320 4414 12625 0 0 1 0 5 2 20 0 6 0 13489378 13679325184 3718 18446744073709551615 4194304 4196468 140722113782624 140722113765168 139666305904375 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
/proc/15423/statm: 3339679 3718 1896 1 0 3329184 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13358716
[startup+0.300322 s]
/proc/loadavg: 1.25 1.41 1.62 3/199 15423
/proc/meminfo: memFree=31018952/32770624 swapFree=0/240360
[pid=15423] ppid=15420 vsize=13974356 CPUtime=0.2 cores=1,3,5,7
/proc/15423/stat : 15423 (java) S 15420 15423 5228 0 -1 1077944320 6906 12625 0 0 12 1 5 2 20 0 15 0 13489378 14309740544 8076 18446744073709551615 4194304 4196468 140722113782624 140722113765168 139666305904375 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
/proc/15423/statm: 3493589 8076 2900 1 0 3482973 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 13974356
[startup+0.700257 s]
/proc/loadavg: 1.25 1.41 1.62 3/199 15423
/proc/meminfo: memFree=31018952/32770624 swapFree=0/240360
[pid=15423] ppid=15420 vsize=13974784 CPUtime=0.73 cores=1,3,5,7
/proc/15423/stat : 15423 (java) S 15420 15423 5228 0 -1 1077944320 14120 12625 0 0 63 3 5 2 20 0 15 0 13489378 14310178816 15055 18446744073709551615 4194304 4196468 140722113782624 140722113765168 139666305904375 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
/proc/15423/statm: 3493696 15055 3103 1 0 3482973 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 13974784
[startup+1.50056 s]
/proc/loadavg: 1.25 1.41 1.62 3/214 15486
/proc/meminfo: memFree=30924096/32770624 swapFree=0/240420
[pid=15423] ppid=15420 vsize=13985408 CPUtime=2 cores=1,3,5,7
/proc/15423/stat : 15423 (java) S 15420 15423 5228 0 -1 1077944320 30719 12625 0 0 185 8 5 2 20 0 15 0 13489378 14321057792 42824 18446744073709551615 4194304 4196468 140722113782624 140722113765168 139666305904375 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
/proc/15423/statm: 3496352 42824 3374 1 0 3485533 0
[pid=15423/tid=15473] ppid=15420 vsize=13985408 CPUtime=1.32 cores=1,3,5,7
/proc/15423/task/15473/stat : 15473 (java) R 15420 15423 5228 0 -1 4202560 23335 12625 0 0 120 5 5 2 20 0 15 0 13489396 14321057792 42824 18446744073709551615 4194304 4196468 140722113782624 139666310131680 139666305916310 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15474] ppid=15420 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15474/stat : 15474 (java) S 15420 15423 5228 0 -1 1077944384 49 12625 0 0 0 0 5 2 20 0 15 0 13489397 14321057792 42824 18446744073709551615 4194304 4196468 140722113782624 139666240338192 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15475] ppid=15420 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15423/task/15475/stat : 15475 (java) S 15420 15423 5228 0 -1 1077944384 66 12625 0 0 1 0 5 2 20 0 15 0 13489397 14321057792 42824 18446744073709551615 4194304 4196468 140722113782624 139666239285648 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15476] ppid=15420 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15423/task/15476/stat : 15476 (java) S 15420 15423 5228 0 -1 1077944384 197 12625 0 0 1 0 5 2 20 0 15 0 13489397 14321057792 42824 18446744073709551615 4194304 4196468 140722113782624 139666238233104 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15477] ppid=15420 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15423/task/15477/stat : 15477 (java) S 15420 15423 5228 0 -1 1077944384 46 12625 0 0 1 0 5 2 20 0 15 0 13489397 14321057792 42824 18446744073709551615 4194304 4196468 140722113782624 139666237180560 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15478] ppid=15420 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/15423/task/15478/stat : 15478 (java) S 15420 15423 5228 0 -1 1077944384 1514 12625 0 0 1 0 5 2 20 0 15 0 13489398 14321057792 42824 18446744073709551615 4194304 4196468 140722113782624 139665784404464 139666305915522 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15479] ppid=15420 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15479/stat : 15479 (java) S 15420 15423 5228 0 -1 1077944384 54 12625 0 0 0 0 5 2 20 0 15 0 13489399 14321057792 42824 18446744073709551615 4194304 4196468 140722113782624 139665783350752 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15480] ppid=15420 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15480/stat : 15480 (java) S 15420 15423 5228 0 -1 1077944384 44 12625 0 0 0 0 5 2 20 0 15 0 13489399 14321057792 42824 18446744073709551615 4194304 4196468 140722113782624 139665782298112 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15481] ppid=15420 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15481/stat : 15481 (java) S 15420 15423 5228 0 -1 1077944384 3 12625 0 0 0 0 5 2 20 0 15 0 13489402 14321057792 42824 18446744073709551615 4194304 4196468 140722113782624 139665781246672 139666305922971 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15482] ppid=15420 vsize=13985408 CPUtime=0.26 cores=1,3,5,7
/proc/15423/task/15482/stat : 15482 (java) S 15420 15423 5228 0 -1 1077944384 1254 12625 0 0 19 0 5 2 20 0 15 0 13489402 14321057792 42824 18446744073709551615 4194304 4196468 140722113782624 139665780193264 139666305915522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15483] ppid=15420 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/15423/task/15483/stat : 15483 (java) R 15420 15423 5228 0 -1 4202560 560 12625 0 0 14 0 5 2 20 0 15 0 13489402 14321057792 42824 18446744073709551615 4194304 4196468 140722113782624 139665779140720 139666291014468 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15484] ppid=15420 vsize=13985408 CPUtime=0.31 cores=1,3,5,7
/proc/15423/task/15484/stat : 15484 (java) R 15420 15423 5228 0 -1 4202560 1433 12625 0 0 24 0 5 2 20 0 15 0 13489402 14321057792 42824 18446744073709551615 4194304 4196468 140722113782624 139665778088176 139666305925722 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15485] ppid=15420 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15485/stat : 15485 (java) S 15420 15423 5228 0 -1 1077944384 3 12625 0 0 0 0 5 2 20 0 15 0 13489402 14321057792 42824 18446744073709551615 4194304 4196468 140722113782624 139665777035872 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15486] ppid=15420 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15486/stat : 15486 (java) S 15420 15423 5228 0 -1 1077944384 10 12625 0 0 0 0 5 2 20 0 15 0 13489405 14321057792 42824 18446744073709551615 4194304 4196468 140722113782624 139665775983408 139666305915522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
Current children cumulated CPU time (s) 2
Current children cumulated vsize (KiB) 13985408
[startup+3.10243 s]
/proc/loadavg: 1.25 1.41 1.62 5/214 15486
/proc/meminfo: memFree=30851304/32770624 swapFree=0/240420
[pid=15423] ppid=15420 vsize=13997884 CPUtime=6.26 cores=1,3,5,7
/proc/15423/stat : 15423 (java) S 15420 15423 5228 0 -1 1077944320 42886 12625 0 0 607 12 5 2 20 0 15 0 13489378 14333833216 60434 18446744073709551615 4194304 4196468 140722113782624 140722113765168 139666305904375 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
/proc/15423/statm: 3499471 60434 3445 1 0 3488093 0
[pid=15423/tid=15473] ppid=15420 vsize=13997884 CPUtime=2.91 cores=1,3,5,7
/proc/15423/task/15473/stat : 15473 (java) R 15420 15423 5228 0 -1 4202560 29499 12625 0 0 277 7 5 2 20 0 15 0 13489396 14333833216 60434 18446744073709551615 4194304 4196468 140722113782624 139666310132064 139666287467904 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15474] ppid=15420 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15474/stat : 15474 (java) S 15420 15423 5228 0 -1 1077944384 49 12625 0 0 0 0 5 2 20 0 15 0 13489397 14333833216 60434 18446744073709551615 4194304 4196468 140722113782624 139666240338192 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15475] ppid=15420 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15423/task/15475/stat : 15475 (java) S 15420 15423 5228 0 -1 1077944384 66 12625 0 0 1 0 5 2 20 0 15 0 13489397 14333833216 60434 18446744073709551615 4194304 4196468 140722113782624 139666239285648 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15476] ppid=15420 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15423/task/15476/stat : 15476 (java) S 15420 15423 5228 0 -1 1077944384 197 12625 0 0 1 0 5 2 20 0 15 0 13489397 14333833216 60434 18446744073709551615 4194304 4196468 140722113782624 139666238233104 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15477] ppid=15420 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15423/task/15477/stat : 15477 (java) S 15420 15423 5228 0 -1 1077944384 46 12625 0 0 1 0 5 2 20 0 15 0 13489397 14333833216 60434 18446744073709551615 4194304 4196468 140722113782624 139666237180560 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15478] ppid=15420 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/15423/task/15478/stat : 15478 (java) S 15420 15423 5228 0 -1 1077944384 1527 12625 0 0 1 0 5 2 20 0 15 0 13489398 14333833216 60434 18446744073709551615 4194304 4196468 140722113782624 139665784404464 139666305915522 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15479] ppid=15420 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15479/stat : 15479 (java) S 15420 15423 5228 0 -1 1077944384 54 12625 0 0 0 0 5 2 20 0 15 0 13489399 14333833216 60434 18446744073709551615 4194304 4196468 140722113782624 139665783350752 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15480] ppid=15420 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15480/stat : 15480 (java) S 15420 15423 5228 0 -1 1077944384 44 12625 0 0 0 0 5 2 20 0 15 0 13489399 14333833216 60434 18446744073709551615 4194304 4196468 140722113782624 139665782298112 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15481] ppid=15420 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15481/stat : 15481 (java) S 15420 15423 5228 0 -1 1077944384 3 12625 0 0 0 0 5 2 20 0 15 0 13489402 14333833216 60434 18446744073709551615 4194304 4196468 140722113782624 139665781246672 139666305922971 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15482] ppid=15420 vsize=13997884 CPUtime=1.1 cores=1,3,5,7
/proc/15423/task/15482/stat : 15482 (java) R 15420 15423 5228 0 -1 4202560 2078 12625 0 0 103 0 5 2 20 0 15 0 13489402 14333833216 60434 18446744073709551615 4194304 4196468 140722113782624 139665780177344 139666290193243 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15483] ppid=15420 vsize=13997884 CPUtime=1.22 cores=1,3,5,7
/proc/15423/task/15483/stat : 15483 (java) R 15420 15423 5228 0 -1 4202560 3374 12625 0 0 115 0 5 2 20 0 15 0 13489402 14333833216 60434 18446744073709551615 4194304 4196468 140722113782624 139665779129240 139666287449674 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15484] ppid=15420 vsize=13997884 CPUtime=1.12 cores=1,3,5,7
/proc/15423/task/15484/stat : 15484 (java) R 15420 15423 5228 0 -1 4202560 3783 12625 0 0 104 1 5 2 20 0 15 0 13489402 14333833216 60434 18446744073709551615 4194304 4196468 140722113782624 139665778088176 139666305925722 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15485] ppid=15420 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15485/stat : 15485 (java) S 15420 15423 5228 0 -1 1077944384 3 12625 0 0 0 0 5 2 20 0 15 0 13489402 14333833216 60434 18446744073709551615 4194304 4196468 140722113782624 139665777035872 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15486] ppid=15420 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15486/stat : 15486 (java) S 15420 15423 5228 0 -1 1077944384 12 12625 0 0 0 0 5 2 20 0 15 0 13489405 14333833216 60434 18446744073709551615 4194304 4196468 140722113782624 139665775983408 139666305915522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 13997884
[startup+6.30071 s]
/proc/loadavg: 1.47 1.45 1.64 3/214 15486
/proc/meminfo: memFree=30669396/32770624 swapFree=0/240428
[pid=15423] ppid=15420 vsize=14067516 CPUtime=13.21 cores=1,3,5,7
/proc/15423/stat : 15423 (java) S 15420 15423 5228 0 -1 1077944320 66588 12625 0 0 1292 22 5 2 20 0 15 0 13489378 14405136384 113168 18446744073709551615 4194304 4196468 140722113782624 140722113765168 139666305904375 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
/proc/15423/statm: 3516879 113168 3463 1 0 3505501 0
[pid=15423/tid=15473] ppid=15420 vsize=14067516 CPUtime=5.98 cores=1,3,5,7
/proc/15423/task/15473/stat : 15473 (java) R 15420 15423 5228 0 -1 4202560 43787 12625 0 0 579 12 5 2 20 0 15 0 13489396 14405136384 113168 18446744073709551615 4194304 4196468 140722113782624 139666310138272 139665926106033 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15474] ppid=15420 vsize=14067516 CPUtime=0.17 cores=1,3,5,7
/proc/15423/task/15474/stat : 15474 (java) S 15420 15423 5228 0 -1 1077944384 138 12625 0 0 9 1 5 2 20 0 15 0 13489397 14405136384 113168 18446744073709551615 4194304 4196468 140722113782624 139666240338192 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15475] ppid=15420 vsize=14067516 CPUtime=0.17 cores=1,3,5,7
/proc/15423/task/15475/stat : 15475 (java) S 15420 15423 5228 0 -1 1077944384 195 12625 0 0 9 1 5 2 20 0 15 0 13489397 14405136384 113168 18446744073709551615 4194304 4196468 140722113782624 139666239285648 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15476] ppid=15420 vsize=14067516 CPUtime=0.16 cores=1,3,5,7
/proc/15423/task/15476/stat : 15476 (java) S 15420 15423 5228 0 -1 1077944384 960 12625 0 0 9 0 5 2 20 0 15 0 13489397 14405136384 113168 18446744073709551615 4194304 4196468 140722113782624 139666238233104 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15477] ppid=15420 vsize=14067516 CPUtime=0.16 cores=1,3,5,7
/proc/15423/task/15477/stat : 15477 (java) S 15420 15423 5228 0 -1 1077944384 128 12625 0 0 9 0 5 2 20 0 15 0 13489397 14405136384 113168 18446744073709551615 4194304 4196468 140722113782624 139666237180560 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15478] ppid=15420 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/15423/task/15478/stat : 15478 (java) S 15420 15423 5228 0 -1 1077944384 2336 12625 0 0 4 0 5 2 20 0 15 0 13489398 14405136384 113168 18446744073709551615 4194304 4196468 140722113782624 139665784404464 139666305915522 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15479] ppid=15420 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15479/stat : 15479 (java) S 15420 15423 5228 0 -1 1077944384 54 12625 0 0 0 0 5 2 20 0 15 0 13489399 14405136384 113168 18446744073709551615 4194304 4196468 140722113782624 139665783350752 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15480] ppid=15420 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15480/stat : 15480 (java) S 15420 15423 5228 0 -1 1077944384 44 12625 0 0 0 0 5 2 20 0 15 0 13489399 14405136384 113168 18446744073709551615 4194304 4196468 140722113782624 139665782298112 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15481] ppid=15420 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15481/stat : 15481 (java) S 15420 15423 5228 0 -1 1077944384 3 12625 0 0 0 0 5 2 20 0 15 0 13489402 14405136384 113168 18446744073709551615 4194304 4196468 140722113782624 139665781246672 139666305922971 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15482] ppid=15420 vsize=14067516 CPUtime=2.54 cores=1,3,5,7
/proc/15423/task/15482/stat : 15482 (java) S 15420 15423 5228 0 -1 1077944384 4924 12625 0 0 246 1 5 2 20 0 15 0 13489402 14405136384 113168 18446744073709551615 4194304 4196468 140722113782624 139665780193264 139666305915522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15483] ppid=15420 vsize=14067516 CPUtime=2.7 cores=1,3,5,7
/proc/15423/task/15483/stat : 15483 (java) S 15420 15423 5228 0 -1 1077944384 5922 12625 0 0 262 1 5 2 20 0 15 0 13489402 14405136384 113168 18446744073709551615 4194304 4196468 140722113782624 139665779140720 139666305915522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15484] ppid=15420 vsize=14067516 CPUtime=1.7 cores=1,3,5,7
/proc/15423/task/15484/stat : 15484 (java) S 15420 15423 5228 0 -1 1077944384 5807 12625 0 0 161 2 5 2 20 0 15 0 13489402 14405136384 113168 18446744073709551615 4194304 4196468 140722113782624 139665778088176 139666305915522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15485] ppid=15420 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15485/stat : 15485 (java) S 15420 15423 5228 0 -1 1077944384 3 12625 0 0 0 0 5 2 20 0 15 0 13489402 14405136384 113168 18446744073709551615 4194304 4196468 140722113782624 139665777035872 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15486] ppid=15420 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15486/stat : 15486 (java) S 15420 15423 5228 0 -1 1077944384 136 12625 0 0 0 0 5 2 20 0 15 0 13489405 14405136384 113168 18446744073709551615 4194304 4196468 140722113782624 139665775983408 139666305915522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
Current children cumulated CPU time (s) 13.21
Current children cumulated vsize (KiB) 14067516
[startup+12.7007 s]
/proc/loadavg: 1.52 1.46 1.64 3/214 15486
/proc/meminfo: memFree=30385232/32770624 swapFree=0/240420
[pid=15423] ppid=15420 vsize=14067516 CPUtime=19.97 cores=1,3,5,7
/proc/15423/stat : 15423 (java) S 15420 15423 5228 0 -1 1077944320 70247 12625 0 0 1961 29 5 2 20 0 15 0 13489378 14405136384 180562 18446744073709551615 4194304 4196468 140722113782624 140722113765168 139666305904375 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
/proc/15423/statm: 3516879 180562 3463 1 0 3505501 0
[pid=15423/tid=15473] ppid=15420 vsize=14067516 CPUtime=12.35 cores=1,3,5,7
/proc/15423/task/15473/stat : 15473 (java) R 15420 15423 5228 0 -1 4202560 44751 12625 0 0 1212 16 5 2 20 0 15 0 13489396 14405136384 180562 18446744073709551615 4194304 4196468 140722113782624 139666310137744 139665926328775 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15474] ppid=15420 vsize=14067516 CPUtime=0.18 cores=1,3,5,7
/proc/15423/task/15474/stat : 15474 (java) S 15420 15423 5228 0 -1 1077944384 510 12625 0 0 10 1 5 2 20 0 15 0 13489397 14405136384 180562 18446744073709551615 4194304 4196468 140722113782624 139666240338192 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15475] ppid=15420 vsize=14067516 CPUtime=0.18 cores=1,3,5,7
/proc/15423/task/15475/stat : 15475 (java) S 15420 15423 5228 0 -1 1077944384 427 12625 0 0 10 1 5 2 20 0 15 0 13489397 14405136384 180562 18446744073709551615 4194304 4196468 140722113782624 139666239285648 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15476] ppid=15420 vsize=14067516 CPUtime=0.18 cores=1,3,5,7
/proc/15423/task/15476/stat : 15476 (java) S 15420 15423 5228 0 -1 1077944384 1031 12625 0 0 10 1 5 2 20 0 15 0 13489397 14405136384 180562 18446744073709551615 4194304 4196468 140722113782624 139666238233104 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15477] ppid=15420 vsize=14067516 CPUtime=0.18 cores=1,3,5,7
/proc/15423/task/15477/stat : 15477 (java) S 15420 15423 5228 0 -1 1077944384 139 12625 0 0 10 1 5 2 20 0 15 0 13489397 14405136384 180562 18446744073709551615 4194304 4196468 140722113782624 139666237180560 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15478] ppid=15420 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/15423/task/15478/stat : 15478 (java) S 15420 15423 5228 0 -1 1077944384 2645 12625 0 0 5 0 5 2 20 0 15 0 13489398 14405136384 180562 18446744073709551615 4194304 4196468 140722113782624 139665784404464 139666305915522 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15479] ppid=15420 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15479/stat : 15479 (java) S 15420 15423 5228 0 -1 1077944384 54 12625 0 0 0 0 5 2 20 0 15 0 13489399 14405136384 180562 18446744073709551615 4194304 4196468 140722113782624 139665783350752 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15480] ppid=15420 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15480/stat : 15480 (java) S 15420 15423 5228 0 -1 1077944384 44 12625 0 0 0 0 5 2 20 0 15 0 13489399 14405136384 180562 18446744073709551615 4194304 4196468 140722113782624 139665782298112 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15481] ppid=15420 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15481/stat : 15481 (java) S 15420 15423 5228 0 -1 1077944384 3 12625 0 0 0 0 5 2 20 0 15 0 13489402 14405136384 180562 18446744073709551615 4194304 4196468 140722113782624 139665781246672 139666305922971 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
################
# More data... #
################
/proc/15423/statm: 3516879 240269 3463 1 0 3505501 0
[pid=15423/tid=15473] ppid=15420 vsize=14067516 CPUtime=161.11 cores=1,3,5,7
/proc/15423/task/15473/stat : 15473 (java) R 15420 15423 5228 0 -1 4202560 50076 12625 0 0 16083 21 5 2 20 0 15 0 13489396 14405136384 240269 18446744073709551615 4194304 4196468 140722113782624 139666310138576 139665925839308 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15474] ppid=15420 vsize=14067516 CPUtime=0.54 cores=1,3,5,7
/proc/15423/task/15474/stat : 15474 (java) S 15420 15423 5228 0 -1 1077944384 1544 12625 0 0 42 5 5 2 20 0 15 0 13489397 14405136384 240269 18446744073709551615 4194304 4196468 140722113782624 139666240338192 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15475] ppid=15420 vsize=14067516 CPUtime=0.54 cores=1,3,5,7
/proc/15423/task/15475/stat : 15475 (java) S 15420 15423 5228 0 -1 1077944384 743 12625 0 0 42 5 5 2 20 0 15 0 13489397 14405136384 240269 18446744073709551615 4194304 4196468 140722113782624 139666239285648 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15476] ppid=15420 vsize=14067516 CPUtime=0.53 cores=1,3,5,7
/proc/15423/task/15476/stat : 15476 (java) S 15420 15423 5228 0 -1 1077944384 2323 12625 0 0 42 4 5 2 20 0 15 0 13489397 14405136384 240269 18446744073709551615 4194304 4196468 140722113782624 139666238233104 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15477] ppid=15420 vsize=14067516 CPUtime=0.54 cores=1,3,5,7
/proc/15423/task/15477/stat : 15477 (java) S 15420 15423 5228 0 -1 1077944384 4580 12625 0 0 42 5 5 2 20 0 15 0 13489397 14405136384 240269 18446744073709551615 4194304 4196468 140722113782624 139666237180560 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15478] ppid=15420 vsize=14067516 CPUtime=0.46 cores=1,3,5,7
/proc/15423/task/15478/stat : 15478 (java) S 15420 15423 5228 0 -1 1077944384 3896 12625 0 0 36 3 5 2 20 0 15 0 13489398 14405136384 240269 18446744073709551615 4194304 4196468 140722113782624 139665784404464 139666305915522 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15479] ppid=15420 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15479/stat : 15479 (java) S 15420 15423 5228 0 -1 1077944384 54 12625 0 0 0 0 5 2 20 0 15 0 13489399 14405136384 240269 18446744073709551615 4194304 4196468 140722113782624 139665783350752 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15480] ppid=15420 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15480/stat : 15480 (java) S 15420 15423 5228 0 -1 1077944384 44 12625 0 0 0 0 5 2 20 0 15 0 13489399 14405136384 240269 18446744073709551615 4194304 4196468 140722113782624 139665782298112 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15481] ppid=15420 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15481/stat : 15481 (java) S 15420 15423 5228 0 -1 1077944384 3 12625 0 0 0 0 5 2 20 0 15 0 13489402 14405136384 240269 18446744073709551615 4194304 4196468 140722113782624 139665781246672 139666305922971 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15482] ppid=15420 vsize=14067516 CPUtime=3.07 cores=1,3,5,7
/proc/15423/task/15482/stat : 15482 (java) S 15420 15423 5228 0 -1 1077944384 12673 12625 0 0 298 2 5 2 20 0 15 0 13489402 14405136384 240269 18446744073709551615 4194304 4196468 140722113782624 139665780193264 139666305915522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15483] ppid=15420 vsize=14067516 CPUtime=3.16 cores=1,3,5,7
/proc/15423/task/15483/stat : 15483 (java) S 15420 15423 5228 0 -1 1077944384 15250 12625 0 0 307 2 5 2 20 0 15 0 13489402 14405136384 240269 18446744073709551615 4194304 4196468 140722113782624 139665779140720 139666305915522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15484] ppid=15420 vsize=14067516 CPUtime=1.82 cores=1,3,5,7
/proc/15423/task/15484/stat : 15484 (java) S 15420 15423 5228 0 -1 1077944384 16334 12625 0 0 171 4 5 2 20 0 15 0 13489402 14405136384 240269 18446744073709551615 4194304 4196468 140722113782624 139665778088176 139666305915522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15485] ppid=15420 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15485/stat : 15485 (java) S 15420 15423 5228 0 -1 1077944384 3 12625 0 0 0 0 5 2 20 0 15 0 13489402 14405136384 240269 18446744073709551615 4194304 4196468 140722113782624 139665777035872 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15486] ppid=15420 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/15423/task/15486/stat : 15486 (java) S 15420 15423 5228 0 -1 1077944384 324 12625 0 0 3 5 5 2 20 0 15 0 13489405 14405136384 240269 18446744073709551615 4194304 4196468 140722113782624 139665775983408 139666305915522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
Current children cumulated CPU time (s) 171.41
Current children cumulated vsize (KiB) 14067516
[startup+222.307 s]
/proc/loadavg: 1.61 1.49 1.60 3/213 15633
/proc/meminfo: memFree=29001524/32770624 swapFree=0/240744
[pid=15423] ppid=15420 vsize=14067516 CPUtime=232.39 cores=1,3,5,7
/proc/15423/stat : 15423 (java) S 15420 15423 5228 0 -1 1077944320 119209 12625 0 0 23168 64 5 2 20 0 15 0 13489378 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 140722113765168 139666305904375 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
/proc/15423/statm: 3516879 238502 3463 1 0 3505501 0
[pid=15423/tid=15473] ppid=15420 vsize=14067516 CPUtime=220.5 cores=1,3,5,7
/proc/15423/task/15473/stat : 15473 (java) R 15420 15423 5228 0 -1 4202560 51255 12625 0 0 22021 22 5 2 20 0 15 0 13489396 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139666310138352 139665926329452 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15474] ppid=15420 vsize=14067516 CPUtime=0.81 cores=1,3,5,7
/proc/15423/task/15474/stat : 15474 (java) S 15420 15423 5228 0 -1 1077944384 1757 12625 0 0 67 7 5 2 20 0 15 0 13489397 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139666240338192 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15475] ppid=15420 vsize=14067516 CPUtime=0.81 cores=1,3,5,7
/proc/15423/task/15475/stat : 15475 (java) S 15420 15423 5228 0 -1 1077944384 1338 12625 0 0 67 7 5 2 20 0 15 0 13489397 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139666239285648 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15476] ppid=15420 vsize=14067516 CPUtime=0.8 cores=1,3,5,7
/proc/15423/task/15476/stat : 15476 (java) S 15420 15423 5228 0 -1 1077944384 3361 12625 0 0 67 6 5 2 20 0 15 0 13489397 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139666238233104 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15477] ppid=15420 vsize=14067516 CPUtime=0.8 cores=1,3,5,7
/proc/15423/task/15477/stat : 15477 (java) S 15420 15423 5228 0 -1 1077944384 4693 12625 0 0 66 7 5 2 20 0 15 0 13489397 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139666237180560 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15478] ppid=15420 vsize=14067516 CPUtime=0.71 cores=1,3,5,7
/proc/15423/task/15478/stat : 15478 (java) S 15420 15423 5228 0 -1 1077944384 4213 12625 0 0 60 4 5 2 20 0 15 0 13489398 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139665784404464 139666305915522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15479] ppid=15420 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15479/stat : 15479 (java) S 15420 15423 5228 0 -1 1077944384 54 12625 0 0 0 0 5 2 20 0 15 0 13489399 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139665783350752 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15480] ppid=15420 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15480/stat : 15480 (java) S 15420 15423 5228 0 -1 1077944384 44 12625 0 0 0 0 5 2 20 0 15 0 13489399 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139665782298112 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15481] ppid=15420 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15481/stat : 15481 (java) S 15420 15423 5228 0 -1 1077944384 3 12625 0 0 0 0 5 2 20 0 15 0 13489402 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139665781246672 139666305922971 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15482] ppid=15420 vsize=14067516 CPUtime=3.18 cores=1,3,5,7
/proc/15423/task/15482/stat : 15482 (java) S 15420 15423 5228 0 -1 1077944384 13820 12625 0 0 309 2 5 2 20 0 15 0 13489402 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139665780193264 139666305915522 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15483] ppid=15420 vsize=14067516 CPUtime=3.27 cores=1,3,5,7
/proc/15423/task/15483/stat : 15483 (java) S 15420 15423 5228 0 -1 1077944384 17813 12625 0 0 318 2 5 2 20 0 15 0 13489402 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139665779140720 139666305915522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15484] ppid=15420 vsize=14067516 CPUtime=1.85 cores=1,3,5,7
/proc/15423/task/15484/stat : 15484 (java) S 15420 15423 5228 0 -1 1077944384 18359 12625 0 0 174 4 5 2 20 0 15 0 13489402 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139665778088176 139666305915522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15485] ppid=15420 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15485/stat : 15485 (java) S 15420 15423 5228 0 -1 1077944384 3 12625 0 0 0 0 5 2 20 0 15 0 13489402 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139665777035872 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15486] ppid=15420 vsize=14067516 CPUtime=0.19 cores=1,3,5,7
/proc/15423/task/15486/stat : 15486 (java) S 15420 15423 5228 0 -1 1077944384 345 12625 0 0 5 7 5 2 20 0 15 0 13489405 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139665775983408 139666305915522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
Current children cumulated CPU time (s) 232.39
Current children cumulated vsize (KiB) 14067516
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.008 s]
/proc/loadavg: 1.64 1.51 1.60 3/214 15634
/proc/meminfo: memFree=29018028/32770624 swapFree=0/240744
[pid=15423] ppid=15420 vsize=14067516 CPUtime=250.38 cores=1,3,5,7
/proc/15423/stat : 15423 (java) S 15420 15423 5228 0 -1 1077944320 121211 12625 0 0 24965 66 5 2 20 0 15 0 13489378 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 140722113765168 139666305904375 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
/proc/15423/statm: 3516879 238502 3463 1 0 3505501 0
[pid=15423/tid=15473] ppid=15420 vsize=14067516 CPUtime=238.02 cores=1,3,5,7
/proc/15423/task/15473/stat : 15473 (java) R 15420 15423 5228 0 -1 4202560 51390 12625 0 0 23773 22 5 2 20 0 15 0 13489396 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139666310138368 139665926793030 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15474] ppid=15420 vsize=14067516 CPUtime=0.89 cores=1,3,5,7
/proc/15423/task/15474/stat : 15474 (java) S 15420 15423 5228 0 -1 1077944384 1761 12625 0 0 75 7 5 2 20 0 15 0 13489397 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139666240338192 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15475] ppid=15420 vsize=14067516 CPUtime=0.88 cores=1,3,5,7
/proc/15423/task/15475/stat : 15475 (java) S 15420 15423 5228 0 -1 1077944384 1342 12625 0 0 74 7 5 2 20 0 15 0 13489397 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139666239285648 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15476] ppid=15420 vsize=14067516 CPUtime=0.88 cores=1,3,5,7
/proc/15423/task/15476/stat : 15476 (java) S 15420 15423 5228 0 -1 1077944384 3367 12625 0 0 75 6 5 2 20 0 15 0 13489397 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139666238233104 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15477] ppid=15420 vsize=14067516 CPUtime=0.88 cores=1,3,5,7
/proc/15423/task/15477/stat : 15477 (java) S 15420 15423 5228 0 -1 1077944384 4696 12625 0 0 74 7 5 2 20 0 15 0 13489397 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139666237180560 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15478] ppid=15420 vsize=14067516 CPUtime=0.8 cores=1,3,5,7
/proc/15423/task/15478/stat : 15478 (java) S 15420 15423 5228 0 -1 1077944384 4213 12625 0 0 68 5 5 2 20 0 15 0 13489398 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139665784404464 139666305915522 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15479] ppid=15420 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15479/stat : 15479 (java) S 15420 15423 5228 0 -1 1077944384 54 12625 0 0 0 0 5 2 20 0 15 0 13489399 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139665783350752 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15480] ppid=15420 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15480/stat : 15480 (java) S 15420 15423 5228 0 -1 1077944384 44 12625 0 0 0 0 5 2 20 0 15 0 13489399 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139665782298112 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15481] ppid=15420 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15481/stat : 15481 (java) S 15420 15423 5228 0 -1 1077944384 3 12625 0 0 0 0 5 2 20 0 15 0 13489402 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139665781246672 139666305922971 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15482] ppid=15420 vsize=14067516 CPUtime=3.2 cores=1,3,5,7
/proc/15423/task/15482/stat : 15482 (java) S 15420 15423 5228 0 -1 1077944384 14336 12625 0 0 311 2 5 2 20 0 15 0 13489402 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139665780193264 139666305915522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15483] ppid=15420 vsize=14067516 CPUtime=3.3 cores=1,3,5,7
/proc/15423/task/15483/stat : 15483 (java) S 15420 15423 5228 0 -1 1077944384 18276 12625 0 0 321 2 5 2 20 0 15 0 13489402 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139665779140720 139666305915522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15484] ppid=15420 vsize=14067516 CPUtime=1.86 cores=1,3,5,7
/proc/15423/task/15484/stat : 15484 (java) S 15420 15423 5228 0 -1 1077944384 19229 12625 0 0 175 4 5 2 20 0 15 0 13489402 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139665778088176 139666305915522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15485] ppid=15420 vsize=14067516 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15485/stat : 15485 (java) S 15420 15423 5228 0 -1 1077944384 3 12625 0 0 0 0 5 2 20 0 15 0 13489402 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139665777035872 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15486] ppid=15420 vsize=14067516 CPUtime=0.2 cores=1,3,5,7
/proc/15423/task/15486/stat : 15486 (java) S 15420 15423 5228 0 -1 1077944384 346 12625 0 0 5 8 5 2 20 0 15 0 13489405 14405136384 238502 18446744073709551615 4194304 4196468 140722113782624 139665775983408 139666305915522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
Current children cumulated CPU time (s) 250.38
Current children cumulated vsize (KiB) 14067516
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15423 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+240.201 s]
/proc/loadavg: 1.64 1.51 1.60 3/214 15634
/proc/meminfo: memFree=29018028/32770624 swapFree=0/240744
[pid=15423] ppid=15420 vsize=14200644 CPUtime=250.93 cores=1,3,5,7
/proc/15423/stat : 15423 (java) S 15420 15423 5228 0 -1 1077944320 128899 12625 0 0 25019 67 5 2 20 0 17 0 13489378 14541459456 240110 18446744073709551615 4194304 4196468 140722113782624 140722113765168 139666305904375 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
/proc/15423/statm: 3550161 240110 3463 1 0 3538783 0
[pid=15423/tid=15473] ppid=15420 vsize=14200644 CPUtime=238.03 cores=1,3,5,7
/proc/15423/task/15473/stat : 15473 (java) S 15420 15423 5228 0 -1 1077944384 51802 12625 0 0 23774 22 5 2 20 0 17 0 13489396 14541459456 240110 18446744073709551615 4194304 4196468 140722113782624 139666310141920 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15474] ppid=15420 vsize=14200644 CPUtime=1.01 cores=1,3,5,7
/proc/15423/task/15474/stat : 15474 (java) R 15420 15423 5228 0 -1 1077944384 1788 12625 0 0 87 7 5 2 20 0 17 0 13489397 14541459456 240110 18446744073709551615 4194304 4196468 140722113782624 139666240338192 139666305914581 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15475] ppid=15420 vsize=14200644 CPUtime=1.01 cores=1,3,5,7
/proc/15423/task/15475/stat : 15475 (java) R 15420 15423 5228 0 -1 4202560 1377 12625 0 0 87 7 5 2 20 0 17 0 13489397 14541459456 240110 18446744073709551615 4194304 4196468 140722113782624 139666239285648 139666305916310 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15476] ppid=15420 vsize=14200644 CPUtime=1 cores=1,3,5,7
/proc/15423/task/15476/stat : 15476 (java) R 15420 15423 5228 0 -1 4202560 3424 12625 0 0 87 6 5 2 20 0 17 0 13489397 14541459456 240110 18446744073709551615 4194304 4196468 140722113782624 139666238233104 139666305916310 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15477] ppid=15420 vsize=14200644 CPUtime=1 cores=1,3,5,7
/proc/15423/task/15477/stat : 15477 (java) R 15420 15423 5228 0 -1 4202560 4746 12625 0 0 86 7 5 2 20 0 17 0 13489397 14541459456 240110 18446744073709551615 4194304 4196468 140722113782624 139666237180560 139666305916310 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15478] ppid=15420 vsize=14200644 CPUtime=0.85 cores=1,3,5,7
/proc/15423/task/15478/stat : 15478 (java) S 15420 15423 5228 0 -1 1077944384 10852 12625 0 0 73 5 5 2 20 0 17 0 13489398 14541459456 240110 18446744073709551615 4194304 4196468 140722113782624 139665784403088 139666305914581 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15479] ppid=15420 vsize=14200644 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15479/stat : 15479 (java) S 15420 15423 5228 0 -1 1077944384 56 12625 0 0 0 0 5 2 20 0 17 0 13489399 14541459456 240110 18446744073709551615 4194304 4196468 140722113782624 139665783350144 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15480] ppid=15420 vsize=14200644 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15480/stat : 15480 (java) S 15420 15423 5228 0 -1 1077944384 44 12625 0 0 0 0 5 2 20 0 17 0 13489399 14541459456 240110 18446744073709551615 4194304 4196468 140722113782624 139665782298112 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15481] ppid=15420 vsize=14200644 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15481/stat : 15481 (java) S 15420 15423 5228 0 -1 1077944384 176 12625 0 0 0 0 5 2 20 0 17 0 13489402 14541459456 240110 18446744073709551615 4194304 4196468 140722113782624 139665781246672 139666305922971 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15482] ppid=15420 vsize=14200644 CPUtime=3.2 cores=1,3,5,7
/proc/15423/task/15482/stat : 15482 (java) S 15420 15423 5228 0 -1 1077944384 14336 12625 0 0 311 2 5 2 20 0 17 0 13489402 14541459456 240110 18446744073709551615 4194304 4196468 140722113782624 139665780193264 139666305915522 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15483] ppid=15420 vsize=14200644 CPUtime=3.3 cores=1,3,5,7
/proc/15423/task/15483/stat : 15483 (java) S 15420 15423 5228 0 -1 1077944384 18276 12625 0 0 321 2 5 2 20 0 17 0 13489402 14541459456 240110 18446744073709551615 4194304 4196468 140722113782624 139665779140720 139666305915522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15484] ppid=15420 vsize=14200644 CPUtime=1.86 cores=1,3,5,7
/proc/15423/task/15484/stat : 15484 (java) S 15420 15423 5228 0 -1 1077944384 19229 12625 0 0 175 4 5 2 20 0 17 0 13489402 14541459456 240110 18446744073709551615 4194304 4196468 140722113782624 139665778088176 139666305915522 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15485] ppid=15420 vsize=14200644 CPUtime=0.07 cores=1,3,5,7
/proc/15423/task/15485/stat : 15485 (java) S 15420 15423 5228 0 -1 1077944384 3 12625 0 0 0 0 5 2 20 0 17 0 13489402 14541459456 240110 18446744073709551615 4194304 4196468 140722113782624 139665777035872 139666305914581 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
[pid=15423/tid=15486] ppid=15420 vsize=14200644 CPUtime=0.2 cores=1,3,5,7
/proc/15423/task/15486/stat : 15486 (java) S 15420 15423 5228 0 -1 1077944384 346 12625 0 0 5 8 5 2 20 0 17 0 13489405 14541459456 240110 18446744073709551615 4194304 4196468 140722113782624 139665775983408 139666305915522 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20226048 140722113783757 140722113786542 140722113786542 140722113789903 0
Current children cumulated CPU time (s) 250.93
Current children cumulated vsize (KiB) 14200644
[startup+240.301 s]
/proc/loadavg: 1.64 1.51 1.60 3/214 15634
/proc/meminfo: memFree=29018028/32770624 swapFree=0/240744
[pid=15423] ppid=15420 vsize=0 CPUtime=251.17 cores=1,3,5,7
/proc/15423/stat : 15423 (java) Z 15420 15423 5228 0 -1 4228108 129108 12625 0 0 25042 68 5 2 20 0 2 0 13489378 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 7 0 0 0 0 0 0 0 0 0 0
/proc/15423/statm: 0 0 0 0 0 0 0
[pid=15423/tid=15483] ppid=15420 vsize=0 CPUtime=3.3 cores=1,3,5,7
/proc/15423/task/15483/stat : 15483 (java) R 15420 15423 5228 0 -1 4203588 18276 12625 0 0 321 2 5 2 20 0 2 0 13489402 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 3 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 251.17
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 240.311
CPU time (s): 251.204
CPU user time (s): 250.484
CPU system time (s): 0.719603
CPU usage (%): 104.533
Max. virtual memory (cumulated for all children) (KiB): 14200644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.484
system time used= 0.719603
maximum resident set size= 993296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141733
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27068
involuntary context switches= 784
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.952717 second user time and 1.68617 second system time
The end