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-4259374-1501660397/watcher-4259374-1501660397 -o /tmp/evaluation-result-4259374-1501660397/solver-4259374-1501660397 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501653519-11655 --watchdog 300 bin/concrete HOME/instance-4259374-1501660397.xml
pid=19800
running on 4 cores: 0,2,4,6
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.74 1.64 1.68 3/198 19803
/proc/meminfo: memFree=28201668/32770624 swapFree=0/243548
[pid=19803] ppid=19800 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/19803/stat : 19803 (runsolver) D 19800 19803 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13854997 24240128 107 18446744073709551615 4194304 4338465 140737041793744 140737041791384 140261147198167 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 30912512 140737041801424 140737041801798 140737041801798 140737041805258 0
/proc/19803/statm: 5918 107 54 36 0 2156 0
[startup+0.100454 s]
/proc/loadavg: 1.74 1.64 1.68 3/198 19803
/proc/meminfo: memFree=28201668/32770624 swapFree=0/243548
[pid=19803] ppid=19800 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/19803/stat : 19803 (bash) S 19800 19803 5228 0 -1 4202496 683 1543 0 0 0 0 0 0 20 0 1 0 13854997 9736192 351 18446744073709551615 4194304 5098028 140721689019472 140721689017112 140696277134336 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 9 0 0 7196144 7232144 9392128 140721689027089 140721689027174 140721689027174 140721689030634 0
/proc/19803/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200204 s]
/proc/loadavg: 1.74 1.64 1.68 3/198 19803
/proc/meminfo: memFree=28201668/32770624 swapFree=0/243548
[pid=19803] ppid=19800 vsize=30192 CPUtime=0.08 cores=0,2,4,6
/proc/19803/stat : 19803 (java) R 19800 19803 5228 0 -1 4202496 1608 12785 0 0 0 0 5 3 20 0 1 0 13854997 30916608 594 18446744073709551615 4194304 4196468 140725111558320 140725111539016 140646381672059 0 0 1 0 0 0 0 17 0 0 0 9 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
/proc/19803/statm: 7548 594 454 1 0 160 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 30192
[startup+0.300872 s]
/proc/loadavg: 1.74 1.64 1.68 3/198 19803
/proc/meminfo: memFree=28201668/32770624 swapFree=0/243548
[pid=19803] ppid=19800 vsize=13974356 CPUtime=0.17 cores=0,2,4,6
/proc/19803/stat : 19803 (java) S 19800 19803 5228 0 -1 1077944320 5924 12785 0 0 8 1 5 3 20 0 15 0 13854997 14309740544 7028 18446744073709551615 4194304 4196468 140725111558320 140725111540864 140646379450103 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
/proc/19803/statm: 3493589 7028 2766 1 0 3482973 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 13974356
[startup+0.700325 s]
/proc/loadavg: 1.74 1.64 1.68 3/198 19803
/proc/meminfo: memFree=28201668/32770624 swapFree=0/243548
[pid=19803] ppid=19800 vsize=13974784 CPUtime=0.73 cores=0,2,4,6
/proc/19803/stat : 19803 (java) S 19800 19803 5228 0 -1 1077944320 13616 12785 0 0 61 4 5 3 20 0 15 0 13854997 14310178816 15041 18446744073709551615 4194304 4196468 140725111558320 140725111540864 140646379450103 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
/proc/19803/statm: 3493696 15041 3121 1 0 3482973 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 13974784
[startup+1.50066 s]
/proc/loadavg: 1.74 1.64 1.68 3/213 19866
/proc/meminfo: memFree=28103192/32770624 swapFree=0/243584
[pid=19803] ppid=19800 vsize=13985408 CPUtime=1.99 cores=0,2,4,6
/proc/19803/stat : 19803 (java) S 19800 19803 5228 0 -1 1077944320 26180 12785 0 0 181 10 5 3 20 0 15 0 13854997 14321057792 43636 18446744073709551615 4194304 4196468 140725111558320 140725111540864 140646379450103 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
/proc/19803/statm: 3496352 43636 3367 1 0 3485533 0
[pid=19803/tid=19853] ppid=19800 vsize=13985408 CPUtime=1.3 cores=0,2,4,6
/proc/19803/task/19853/stat : 19853 (java) R 19800 19803 5228 0 -1 4202560 19777 12785 0 0 116 6 5 3 20 0 15 0 13855017 14321057792 43636 18446744073709551615 4194304 4196468 140725111558320 140646383676896 140646379472029 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19854] ppid=19800 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19854/stat : 19854 (java) S 19800 19803 5228 0 -1 1077944384 46 12785 0 0 0 0 5 3 20 0 15 0 13855018 14321057792 43636 18446744073709551615 4194304 4196468 140725111558320 140646298864400 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19855] ppid=19800 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/19803/task/19855/stat : 19855 (java) S 19800 19803 5228 0 -1 1077944384 40 12785 0 0 1 0 5 3 20 0 15 0 13855018 14321057792 43636 18446744073709551615 4194304 4196468 140725111558320 140646297811856 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19856] ppid=19800 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/19803/task/19856/stat : 19856 (java) S 19800 19803 5228 0 -1 1077944384 35 12785 0 0 1 0 5 3 20 0 15 0 13855018 14321057792 43636 18446744073709551615 4194304 4196468 140725111558320 140646296759312 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19857] ppid=19800 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/19803/task/19857/stat : 19857 (java) S 19800 19803 5228 0 -1 1077944384 200 12785 0 0 1 0 5 3 20 0 15 0 13855018 14321057792 43636 18446744073709551615 4194304 4196468 140725111558320 140646295706768 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19858] ppid=19800 vsize=13985408 CPUtime=0.09 cores=0,2,4,6
/proc/19803/task/19858/stat : 19858 (java) S 19800 19803 5228 0 -1 1077944384 884 12785 0 0 1 0 5 3 20 0 15 0 13855019 14321057792 43636 18446744073709551615 4194304 4196468 140725111558320 140645362292720 140646379461250 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19859] ppid=19800 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19859/stat : 19859 (java) S 19800 19803 5228 0 -1 1077944384 55 12785 0 0 0 0 5 3 20 0 15 0 13855020 14321057792 43636 18446744073709551615 4194304 4196468 140725111558320 140645361239008 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19860] ppid=19800 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19860/stat : 19860 (java) S 19800 19803 5228 0 -1 1077944384 44 12785 0 0 0 0 5 3 20 0 15 0 13855020 14321057792 43636 18446744073709551615 4194304 4196468 140725111558320 140645360186368 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19861] ppid=19800 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19861/stat : 19861 (java) S 19800 19803 5228 0 -1 1077944384 3 12785 0 0 0 0 5 3 20 0 15 0 13855022 14321057792 43636 18446744073709551615 4194304 4196468 140725111558320 140645359134928 140646379468699 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19862] ppid=19800 vsize=13985408 CPUtime=0.23 cores=0,2,4,6
/proc/19803/task/19862/stat : 19862 (java) S 19800 19803 5228 0 -1 1077944384 947 12785 0 0 15 0 5 3 20 0 15 0 13855022 14321057792 43636 18446744073709551615 4194304 4196468 140725111558320 140645358082544 140646379461250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19863] ppid=19800 vsize=13985408 CPUtime=0.26 cores=0,2,4,6
/proc/19803/task/19863/stat : 19863 (java) S 19800 19803 5228 0 -1 1077944384 1040 12785 0 0 18 0 5 3 20 0 15 0 13855022 14321057792 43636 18446744073709551615 4194304 4196468 140725111558320 140645357030000 140646379461250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19864] ppid=19800 vsize=13985408 CPUtime=0.31 cores=0,2,4,6
/proc/19803/task/19864/stat : 19864 (java) S 19800 19803 5228 0 -1 1077944384 948 12785 0 0 23 0 5 3 20 0 15 0 13855022 14321057792 43636 18446744073709551615 4194304 4196468 140725111558320 140645355977456 140646379461250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19865] ppid=19800 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19865/stat : 19865 (java) S 19800 19803 5228 0 -1 1077944384 3 12785 0 0 0 0 5 3 20 0 15 0 13855023 14321057792 43636 18446744073709551615 4194304 4196468 140725111558320 140645354925152 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19866] ppid=19800 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19866/stat : 19866 (java) S 19800 19803 5228 0 -1 1077944384 3 12785 0 0 0 0 5 3 20 0 15 0 13855025 14321057792 43636 18446744073709551615 4194304 4196468 140725111558320 140645353871664 140646379461250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 13985408
[startup+3.10073 s]
/proc/loadavg: 1.74 1.64 1.68 4/213 19866
/proc/meminfo: memFree=28027496/32770624 swapFree=0/243584
[pid=19803] ppid=19800 vsize=13997884 CPUtime=5.31 cores=0,2,4,6
/proc/19803/stat : 19803 (java) S 19800 19803 5228 0 -1 1077944320 36635 12785 0 0 506 17 5 3 20 0 15 0 13854997 14333833216 74769 18446744073709551615 4194304 4196468 140725111558320 140725111540864 140646379450103 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
/proc/19803/statm: 3499471 74769 3438 1 0 3488093 0
[pid=19803/tid=19853] ppid=19800 vsize=13997884 CPUtime=2.89 cores=0,2,4,6
/proc/19803/task/19853/stat : 19853 (java) R 19800 19803 5228 0 -1 4202560 27836 12785 0 0 271 10 5 3 20 0 15 0 13855017 14333833216 74769 18446744073709551615 4194304 4196468 140725111558320 140646383682400 140646361013650 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19854] ppid=19800 vsize=13997884 CPUtime=0.1 cores=0,2,4,6
/proc/19803/task/19854/stat : 19854 (java) S 19800 19803 5228 0 -1 1077944384 62 12785 0 0 1 1 5 3 20 0 15 0 13855018 14333833216 74769 18446744073709551615 4194304 4196468 140725111558320 140646298864400 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19855] ppid=19800 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/19803/task/19855/stat : 19855 (java) S 19800 19803 5228 0 -1 1077944384 47 12785 0 0 1 0 5 3 20 0 15 0 13855018 14333833216 74769 18446744073709551615 4194304 4196468 140725111558320 140646297811856 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19856] ppid=19800 vsize=13997884 CPUtime=0.1 cores=0,2,4,6
/proc/19803/task/19856/stat : 19856 (java) S 19800 19803 5228 0 -1 1077944384 43 12785 0 0 1 1 5 3 20 0 15 0 13855018 14333833216 74769 18446744073709551615 4194304 4196468 140725111558320 140646296759312 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19857] ppid=19800 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/19803/task/19857/stat : 19857 (java) S 19800 19803 5228 0 -1 1077944384 206 12785 0 0 1 0 5 3 20 0 15 0 13855018 14333833216 74769 18446744073709551615 4194304 4196468 140725111558320 140646295706768 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19858] ppid=19800 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/19803/task/19858/stat : 19858 (java) S 19800 19803 5228 0 -1 1077944384 909 12785 0 0 1 0 5 3 20 0 15 0 13855019 14333833216 74769 18446744073709551615 4194304 4196468 140725111558320 140645362292720 140646379461250 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19859] ppid=19800 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19859/stat : 19859 (java) S 19800 19803 5228 0 -1 1077944384 55 12785 0 0 0 0 5 3 20 0 15 0 13855020 14333833216 74769 18446744073709551615 4194304 4196468 140725111558320 140645361239008 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19860] ppid=19800 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19860/stat : 19860 (java) S 19800 19803 5228 0 -1 1077944384 44 12785 0 0 0 0 5 3 20 0 15 0 13855020 14333833216 74769 18446744073709551615 4194304 4196468 140725111558320 140645360186368 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19861] ppid=19800 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19861/stat : 19861 (java) S 19800 19803 5228 0 -1 1077944384 3 12785 0 0 0 0 5 3 20 0 15 0 13855022 14333833216 74769 18446744073709551615 4194304 4196468 140725111558320 140645359134928 140646379468699 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19862] ppid=19800 vsize=13997884 CPUtime=0.79 cores=0,2,4,6
/proc/19803/task/19862/stat : 19862 (java) S 19800 19803 5228 0 -1 1077944384 1500 12785 0 0 71 0 5 3 20 0 15 0 13855022 14333833216 74769 18446744073709551615 4194304 4196468 140725111558320 140645358082544 140646379461250 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19863] ppid=19800 vsize=13997884 CPUtime=0.8 cores=0,2,4,6
/proc/19803/task/19863/stat : 19863 (java) S 19800 19803 5228 0 -1 1077944384 1453 12785 0 0 72 0 5 3 20 0 15 0 13855022 14333833216 74769 18446744073709551615 4194304 4196468 140725111558320 140645357030000 140646379461250 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19864] ppid=19800 vsize=13997884 CPUtime=0.89 cores=0,2,4,6
/proc/19803/task/19864/stat : 19864 (java) S 19800 19803 5228 0 -1 1077944384 2316 12785 0 0 80 1 5 3 20 0 15 0 13855022 14333833216 74769 18446744073709551615 4194304 4196468 140725111558320 140645355977456 140646379461250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19865] ppid=19800 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19865/stat : 19865 (java) S 19800 19803 5228 0 -1 1077944384 3 12785 0 0 0 0 5 3 20 0 15 0 13855023 14333833216 74769 18446744073709551615 4194304 4196468 140725111558320 140645354925152 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19866] ppid=19800 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19866/stat : 19866 (java) S 19800 19803 5228 0 -1 1077944384 3 12785 0 0 0 0 5 3 20 0 15 0 13855025 14333833216 74769 18446744073709551615 4194304 4196468 140725111558320 140645353871664 140646379461250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
Current children cumulated CPU time (s) 5.31
Current children cumulated vsize (KiB) 13997884
[startup+6.30488 s]
/proc/loadavg: 1.76 1.65 1.68 3/213 19866
/proc/meminfo: memFree=27630552/32770624 swapFree=0/243580
[pid=19803] ppid=19800 vsize=14001980 CPUtime=13.51 cores=0,2,4,6
/proc/19803/stat : 19803 (java) S 19800 19803 5228 0 -1 1077944320 55081 12785 0 0 1302 41 5 3 20 0 15 0 13854997 14338027520 169256 18446744073709551615 4194304 4196468 140725111558320 140725111540864 140646379450103 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
/proc/19803/statm: 3500495 169256 3455 1 0 3489117 0
[pid=19803/tid=19853] ppid=19800 vsize=14001980 CPUtime=5.93 cores=0,2,4,6
/proc/19803/task/19853/stat : 19853 (java) R 19800 19803 5228 0 -1 4202560 31700 12785 0 0 571 14 5 3 20 0 15 0 13855017 14338027520 169256 18446744073709551615 4194304 4196468 140725111558320 140646383647128 140645973564558 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19854] ppid=19800 vsize=14001980 CPUtime=0.22 cores=0,2,4,6
/proc/19803/task/19854/stat : 19854 (java) S 19800 19803 5228 0 -1 1077944384 181 12785 0 0 10 4 5 3 20 0 15 0 13855018 14338027520 169256 18446744073709551615 4194304 4196468 140725111558320 140646298864400 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19855] ppid=19800 vsize=14001980 CPUtime=0.22 cores=0,2,4,6
/proc/19803/task/19855/stat : 19855 (java) S 19800 19803 5228 0 -1 1077944384 503 12785 0 0 10 4 5 3 20 0 15 0 13855018 14338027520 169256 18446744073709551615 4194304 4196468 140725111558320 140646297811856 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19856] ppid=19800 vsize=14001980 CPUtime=0.21 cores=0,2,4,6
/proc/19803/task/19856/stat : 19856 (java) S 19800 19803 5228 0 -1 1077944384 382 12785 0 0 9 4 5 3 20 0 15 0 13855018 14338027520 169256 18446744073709551615 4194304 4196468 140725111558320 140646296759312 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19857] ppid=19800 vsize=14001980 CPUtime=0.22 cores=0,2,4,6
/proc/19803/task/19857/stat : 19857 (java) S 19800 19803 5228 0 -1 1077944384 406 12785 0 0 10 4 5 3 20 0 15 0 13855018 14338027520 169256 18446744073709551615 4194304 4196468 140725111558320 140646295706768 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19858] ppid=19800 vsize=14001980 CPUtime=0.12 cores=0,2,4,6
/proc/19803/task/19858/stat : 19858 (java) S 19800 19803 5228 0 -1 1077944384 2579 12785 0 0 4 0 5 3 20 0 15 0 13855019 14338027520 169256 18446744073709551615 4194304 4196468 140725111558320 140645362292720 140646379461250 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19859] ppid=19800 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19859/stat : 19859 (java) S 19800 19803 5228 0 -1 1077944384 58 12785 0 0 0 0 5 3 20 0 15 0 13855020 14338027520 169256 18446744073709551615 4194304 4196468 140725111558320 140645361239008 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19860] ppid=19800 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19860/stat : 19860 (java) S 19800 19803 5228 0 -1 1077944384 50 12785 0 0 0 0 5 3 20 0 15 0 13855020 14338027520 169256 18446744073709551615 4194304 4196468 140725111558320 140645360186368 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19861] ppid=19800 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19861/stat : 19861 (java) S 19800 19803 5228 0 -1 1077944384 3 12785 0 0 0 0 5 3 20 0 15 0 13855022 14338027520 169256 18446744073709551615 4194304 4196468 140725111558320 140645359134928 140646379468699 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19862] ppid=19800 vsize=14001980 CPUtime=2.87 cores=0,2,4,6
/proc/19803/task/19862/stat : 19862 (java) R 19800 19803 5228 0 -1 4202560 6569 12785 0 0 277 2 5 3 20 0 15 0 13855022 14338027520 169256 18446744073709551615 4194304 4196468 140725111558320 140645358067376 140646362834896 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19863] ppid=19800 vsize=14001980 CPUtime=2.92 cores=0,2,4,6
/proc/19803/task/19863/stat : 19863 (java) R 19800 19803 5228 0 -1 4202560 5460 12785 0 0 282 2 5 3 20 0 15 0 13855022 14338027520 169256 18446744073709551615 4194304 4196468 140725111558320 140645357016560 140646372546828 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19864] ppid=19800 vsize=14001980 CPUtime=1.33 cores=0,2,4,6
/proc/19803/task/19864/stat : 19864 (java) S 19800 19803 5228 0 -1 1077944384 4294 12785 0 0 123 2 5 3 20 0 15 0 13855022 14338027520 169256 18446744073709551615 4194304 4196468 140725111558320 140645355977456 140646379461250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19865] ppid=19800 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19865/stat : 19865 (java) S 19800 19803 5228 0 -1 1077944384 3 12785 0 0 0 0 5 3 20 0 15 0 13855023 14338027520 169256 18446744073709551615 4194304 4196468 140725111558320 140645354925152 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19866] ppid=19800 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19866/stat : 19866 (java) S 19800 19803 5228 0 -1 1077944384 738 12785 0 0 0 0 5 3 20 0 15 0 13855025 14338027520 169256 18446744073709551615 4194304 4196468 140725111558320 140645353871664 140646379461250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
Current children cumulated CPU time (s) 13.51
Current children cumulated vsize (KiB) 14001980
[startup+12.7007 s]
/proc/loadavg: 1.86 1.67 1.69 3/213 19866
/proc/meminfo: memFree=27041236/32770624 swapFree=0/243588
[pid=19803] ppid=19800 vsize=14069564 CPUtime=25.86 cores=0,2,4,6
/proc/19803/stat : 19803 (java) S 19800 19803 5228 0 -1 1077944320 95109 12785 0 0 2520 58 5 3 20 0 15 0 13854997 14407233536 277663 18446744073709551615 4194304 4196468 140725111558320 140725111540864 140646379450103 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
/proc/19803/statm: 3517391 277663 3467 1 0 3506013 0
[pid=19803/tid=19853] ppid=19800 vsize=14069564 CPUtime=12.27 cores=0,2,4,6
/proc/19803/task/19853/stat : 19853 (java) R 19800 19803 5228 0 -1 4202560 49172 12785 0 0 1198 21 5 3 20 0 15 0 13855017 14407233536 277663 18446744073709551615 4194304 4196468 140725111558320 140646383684032 140645984428432 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19854] ppid=19800 vsize=14069564 CPUtime=0.27 cores=0,2,4,6
/proc/19803/task/19854/stat : 19854 (java) S 19800 19803 5228 0 -1 1077944384 265 12785 0 0 13 6 5 3 20 0 15 0 13855018 14407233536 277663 18446744073709551615 4194304 4196468 140725111558320 140646298864400 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19855] ppid=19800 vsize=14069564 CPUtime=0.26 cores=0,2,4,6
/proc/19803/task/19855/stat : 19855 (java) S 19800 19803 5228 0 -1 1077944384 633 12785 0 0 13 5 5 3 20 0 15 0 13855018 14407233536 277663 18446744073709551615 4194304 4196468 140725111558320 140646297811856 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19856] ppid=19800 vsize=14069564 CPUtime=0.26 cores=0,2,4,6
/proc/19803/task/19856/stat : 19856 (java) S 19800 19803 5228 0 -1 1077944384 1485 12785 0 0 12 6 5 3 20 0 15 0 13855018 14407233536 277663 18446744073709551615 4194304 4196468 140725111558320 140646296759312 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19857] ppid=19800 vsize=14069564 CPUtime=0.26 cores=0,2,4,6
/proc/19803/task/19857/stat : 19857 (java) S 19800 19803 5228 0 -1 1077944384 495 12785 0 0 13 5 5 3 20 0 15 0 13855018 14407233536 277663 18446744073709551615 4194304 4196468 140725111558320 140646295706768 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19858] ppid=19800 vsize=14069564 CPUtime=0.13 cores=0,2,4,6
/proc/19803/task/19858/stat : 19858 (java) S 19800 19803 5228 0 -1 1077944384 2904 12785 0 0 5 0 5 3 20 0 15 0 13855019 14407233536 277663 18446744073709551615 4194304 4196468 140725111558320 140645362292720 140646379461250 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19859] ppid=19800 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19859/stat : 19859 (java) S 19800 19803 5228 0 -1 1077944384 63 12785 0 0 0 0 5 3 20 0 15 0 13855020 14407233536 277663 18446744073709551615 4194304 4196468 140725111558320 140645361239072 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19860] ppid=19800 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19860/stat : 19860 (java) S 19800 19803 5228 0 -1 1077944384 57 12785 0 0 0 0 5 3 20 0 15 0 13855020 14407233536 277663 18446744073709551615 4194304 4196468 140725111558320 140645360186368 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19861] ppid=19800 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19861/stat : 19861 (java) S 19800 19803 5228 0 -1 1077944384 3 12785 0 0 0 0 5 3 20 0 15 0 13855022 14407233536 277663 18446744073709551615 4194304 4196468 140725111558320 140645359134928 140646379468699 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
################
# More data... #
################
/proc/19803/statm: 3517391 1066673 3470 1 0 3506013 0
[pid=19803/tid=19853] ppid=19800 vsize=14069564 CPUtime=160.1 cores=0,2,4,6
/proc/19803/task/19853/stat : 19853 (java) R 19800 19803 5228 0 -1 4202560 63777 12785 0 0 15943 59 5 3 20 0 15 0 13855017 14407233536 1066673 18446744073709551615 4194304 4196468 140725111558320 140646383678496 140645985145735 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19854] ppid=19800 vsize=14069564 CPUtime=1.96 cores=0,2,4,6
/proc/19803/task/19854/stat : 19854 (java) S 19800 19803 5228 0 -1 1077944384 1327 12785 0 0 162 26 5 3 20 0 15 0 13855018 14407233536 1066673 18446744073709551615 4194304 4196468 140725111558320 140646298864400 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19855] ppid=19800 vsize=14069564 CPUtime=1.96 cores=0,2,4,6
/proc/19803/task/19855/stat : 19855 (java) S 19800 19803 5228 0 -1 1077944384 2212 12785 0 0 162 26 5 3 20 0 15 0 13855018 14407233536 1066673 18446744073709551615 4194304 4196468 140725111558320 140646297811856 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19856] ppid=19800 vsize=14069564 CPUtime=1.94 cores=0,2,4,6
/proc/19803/task/19856/stat : 19856 (java) S 19800 19803 5228 0 -1 1077944384 4094 12785 0 0 159 27 5 3 20 0 15 0 13855018 14407233536 1066673 18446744073709551615 4194304 4196468 140725111558320 140646296759312 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19857] ppid=19800 vsize=14069564 CPUtime=1.96 cores=0,2,4,6
/proc/19803/task/19857/stat : 19857 (java) S 19800 19803 5228 0 -1 1077944384 2217 12785 0 0 161 27 5 3 20 0 15 0 13855018 14407233536 1066673 18446744073709551615 4194304 4196468 140725111558320 140646295706768 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19858] ppid=19800 vsize=14069564 CPUtime=0.19 cores=0,2,4,6
/proc/19803/task/19858/stat : 19858 (java) S 19800 19803 5228 0 -1 1077944384 13569 12785 0 0 10 1 5 3 20 0 15 0 13855019 14407233536 1066673 18446744073709551615 4194304 4196468 140725111558320 140645362292720 140646379461250 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19859] ppid=19800 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19859/stat : 19859 (java) S 19800 19803 5228 0 -1 1077944384 63 12785 0 0 0 0 5 3 20 0 15 0 13855020 14407233536 1066673 18446744073709551615 4194304 4196468 140725111558320 140645361239072 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19860] ppid=19800 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19860/stat : 19860 (java) S 19800 19803 5228 0 -1 1077944384 57 12785 0 0 0 0 5 3 20 0 15 0 13855020 14407233536 1066673 18446744073709551615 4194304 4196468 140725111558320 140645360186368 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19861] ppid=19800 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19861/stat : 19861 (java) S 19800 19803 5228 0 -1 1077944384 3 12785 0 0 0 0 5 3 20 0 15 0 13855022 14407233536 1066673 18446744073709551615 4194304 4196468 140725111558320 140645359134928 140646379468699 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19862] ppid=19800 vsize=14069564 CPUtime=6.32 cores=0,2,4,6
/proc/19803/task/19862/stat : 19862 (java) S 19800 19803 5228 0 -1 1077944384 14133 12785 0 0 620 4 5 3 20 0 15 0 13855022 14407233536 1066673 18446744073709551615 4194304 4196468 140725111558320 140645358082544 140646379461250 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19863] ppid=19800 vsize=14069564 CPUtime=6.12 cores=0,2,4,6
/proc/19803/task/19863/stat : 19863 (java) S 19800 19803 5228 0 -1 1077944384 16825 12785 0 0 601 3 5 3 20 0 15 0 13855022 14407233536 1066673 18446744073709551615 4194304 4196468 140725111558320 140645357030000 140646379461250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19864] ppid=19800 vsize=14069564 CPUtime=1.84 cores=0,2,4,6
/proc/19803/task/19864/stat : 19864 (java) S 19800 19803 5228 0 -1 1077944384 11400 12785 0 0 172 4 5 3 20 0 15 0 13855022 14407233536 1066673 18446744073709551615 4194304 4196468 140725111558320 140645355977456 140646379461250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19865] ppid=19800 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19865/stat : 19865 (java) S 19800 19803 5228 0 -1 1077944384 3 12785 0 0 0 0 5 3 20 0 15 0 13855023 14407233536 1066673 18446744073709551615 4194304 4196468 140725111558320 140645354925152 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19866] ppid=19800 vsize=14069564 CPUtime=0.17 cores=0,2,4,6
/proc/19803/task/19866/stat : 19866 (java) S 19800 19803 5228 0 -1 1077944384 2423 12785 0 0 4 5 5 3 20 0 15 0 13855025 14407233536 1066673 18446744073709551615 4194304 4196468 140725111558320 140645353871664 140646379461250 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
Current children cumulated CPU time (s) 181.94
Current children cumulated vsize (KiB) 14069564
[startup+222.307 s]
/proc/loadavg: 1.89 1.75 1.71 3/214 20012
/proc/meminfo: memFree=23390888/32770624 swapFree=0/243700
[pid=19803] ppid=19800 vsize=14069564 CPUtime=243.49 cores=0,2,4,6
/proc/19803/stat : 19803 (java) S 19800 19803 5228 0 -1 1077944320 145761 12785 0 0 24153 188 5 3 20 0 15 0 13854997 14407233536 1066679 18446744073709551615 4194304 4196468 140725111558320 140725111540864 140646379450103 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
/proc/19803/statm: 3517391 1066679 3470 1 0 3506013 0
[pid=19803/tid=19853] ppid=19800 vsize=14069564 CPUtime=219.61 cores=0,2,4,6
/proc/19803/task/19853/stat : 19853 (java) R 19800 19803 5228 0 -1 4202560 69076 12785 0 0 21893 60 5 3 20 0 15 0 13855017 14407233536 1066679 18446744073709551615 4194304 4196468 140725111558320 140646383679568 140645984458451 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19854] ppid=19800 vsize=14069564 CPUtime=2.44 cores=0,2,4,6
/proc/19803/task/19854/stat : 19854 (java) S 19800 19803 5228 0 -1 1077944384 1575 12785 0 0 210 26 5 3 20 0 15 0 13855018 14407233536 1066679 18446744073709551615 4194304 4196468 140725111558320 140646298864400 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19855] ppid=19800 vsize=14069564 CPUtime=2.44 cores=0,2,4,6
/proc/19803/task/19855/stat : 19855 (java) S 19800 19803 5228 0 -1 1077944384 2476 12785 0 0 210 26 5 3 20 0 15 0 13855018 14407233536 1066679 18446744073709551615 4194304 4196468 140725111558320 140646297811856 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19856] ppid=19800 vsize=14069564 CPUtime=2.43 cores=0,2,4,6
/proc/19803/task/19856/stat : 19856 (java) S 19800 19803 5228 0 -1 1077944384 5376 12785 0 0 208 27 5 3 20 0 15 0 13855018 14407233536 1066679 18446744073709551615 4194304 4196468 140725111558320 140646296759312 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19857] ppid=19800 vsize=14069564 CPUtime=2.45 cores=0,2,4,6
/proc/19803/task/19857/stat : 19857 (java) S 19800 19803 5228 0 -1 1077944384 2856 12785 0 0 210 27 5 3 20 0 15 0 13855018 14407233536 1066679 18446744073709551615 4194304 4196468 140725111558320 140646295706768 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19858] ppid=19800 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/19803/task/19858/stat : 19858 (java) S 19800 19803 5228 0 -1 1077944384 13884 12785 0 0 11 1 5 3 20 0 15 0 13855019 14407233536 1066679 18446744073709551615 4194304 4196468 140725111558320 140645362292720 140646379461250 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19859] ppid=19800 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19859/stat : 19859 (java) S 19800 19803 5228 0 -1 1077944384 63 12785 0 0 0 0 5 3 20 0 15 0 13855020 14407233536 1066679 18446744073709551615 4194304 4196468 140725111558320 140645361239072 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19860] ppid=19800 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19860/stat : 19860 (java) S 19800 19803 5228 0 -1 1077944384 57 12785 0 0 0 0 5 3 20 0 15 0 13855020 14407233536 1066679 18446744073709551615 4194304 4196468 140725111558320 140645360186368 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19861] ppid=19800 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19861/stat : 19861 (java) S 19800 19803 5228 0 -1 1077944384 3 12785 0 0 0 0 5 3 20 0 15 0 13855022 14407233536 1066679 18446744073709551615 4194304 4196468 140725111558320 140645359134928 140646379468699 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19862] ppid=19800 vsize=14069564 CPUtime=6.34 cores=0,2,4,6
/proc/19803/task/19862/stat : 19862 (java) S 19800 19803 5228 0 -1 1077944384 15423 12785 0 0 622 4 5 3 20 0 15 0 13855022 14407233536 1066679 18446744073709551615 4194304 4196468 140725111558320 140645358082544 140646379461250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19863] ppid=19800 vsize=14069564 CPUtime=6.14 cores=0,2,4,6
/proc/19803/task/19863/stat : 19863 (java) S 19800 19803 5228 0 -1 1077944384 17788 12785 0 0 602 4 5 3 20 0 15 0 13855022 14407233536 1066679 18446744073709551615 4194304 4196468 140725111558320 140645357030000 140646379461250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19864] ppid=19800 vsize=14069564 CPUtime=1.84 cores=0,2,4,6
/proc/19803/task/19864/stat : 19864 (java) S 19800 19803 5228 0 -1 1077944384 12567 12785 0 0 172 4 5 3 20 0 15 0 13855022 14407233536 1066679 18446744073709551615 4194304 4196468 140725111558320 140645355977456 140646379461250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19865] ppid=19800 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19865/stat : 19865 (java) S 19800 19803 5228 0 -1 1077944384 3 12785 0 0 0 0 5 3 20 0 15 0 13855023 14407233536 1066679 18446744073709551615 4194304 4196468 140725111558320 140645354925152 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19866] ppid=19800 vsize=14069564 CPUtime=0.21 cores=0,2,4,6
/proc/19803/task/19866/stat : 19866 (java) S 19800 19803 5228 0 -1 1077944384 2459 12785 0 0 6 7 5 3 20 0 15 0 13855025 14407233536 1066679 18446744073709551615 4194304 4196468 140725111558320 140645353871664 140646379461250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
Current children cumulated CPU time (s) 243.49
Current children cumulated vsize (KiB) 14069564
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.58 1.69 1.69 3/214 20013
/proc/meminfo: memFree=23271796/32770624 swapFree=0/243712
[pid=19803] ppid=19800 vsize=14069564 CPUtime=261.54 cores=0,2,4,6
/proc/19803/stat : 19803 (java) S 19800 19803 5228 0 -1 1077944320 147596 12785 0 0 25958 188 5 3 20 0 15 0 13854997 14407233536 1066683 18446744073709551615 4194304 4196468 140725111558320 140725111540864 140646379450103 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
/proc/19803/statm: 3517391 1066683 3470 1 0 3506013 0
[pid=19803/tid=19853] ppid=19800 vsize=14069564 CPUtime=237.16 cores=0,2,4,6
/proc/19803/task/19853/stat : 19853 (java) R 19800 19803 5228 0 -1 4202560 70873 12785 0 0 23648 60 5 3 20 0 15 0 13855017 14407233536 1066683 18446744073709551615 4194304 4196468 140725111558320 140646383684096 140645985394148 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19854] ppid=19800 vsize=14069564 CPUtime=2.57 cores=0,2,4,6
/proc/19803/task/19854/stat : 19854 (java) S 19800 19803 5228 0 -1 1077944384 1586 12785 0 0 223 26 5 3 20 0 15 0 13855018 14407233536 1066683 18446744073709551615 4194304 4196468 140725111558320 140646298864400 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19855] ppid=19800 vsize=14069564 CPUtime=2.57 cores=0,2,4,6
/proc/19803/task/19855/stat : 19855 (java) S 19800 19803 5228 0 -1 1077944384 2486 12785 0 0 223 26 5 3 20 0 15 0 13855018 14407233536 1066683 18446744073709551615 4194304 4196468 140725111558320 140646297811856 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19856] ppid=19800 vsize=14069564 CPUtime=2.55 cores=0,2,4,6
/proc/19803/task/19856/stat : 19856 (java) S 19800 19803 5228 0 -1 1077944384 5381 12785 0 0 220 27 5 3 20 0 15 0 13855018 14407233536 1066683 18446744073709551615 4194304 4196468 140725111558320 140646296759312 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19857] ppid=19800 vsize=14069564 CPUtime=2.57 cores=0,2,4,6
/proc/19803/task/19857/stat : 19857 (java) S 19800 19803 5228 0 -1 1077944384 2864 12785 0 0 222 27 5 3 20 0 15 0 13855018 14407233536 1066683 18446744073709551615 4194304 4196468 140725111558320 140646295706768 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19858] ppid=19800 vsize=14069564 CPUtime=0.21 cores=0,2,4,6
/proc/19803/task/19858/stat : 19858 (java) S 19800 19803 5228 0 -1 1077944384 13888 12785 0 0 12 1 5 3 20 0 15 0 13855019 14407233536 1066683 18446744073709551615 4194304 4196468 140725111558320 140645362292720 140646379461250 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19859] ppid=19800 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19859/stat : 19859 (java) S 19800 19803 5228 0 -1 1077944384 63 12785 0 0 0 0 5 3 20 0 15 0 13855020 14407233536 1066683 18446744073709551615 4194304 4196468 140725111558320 140645361239072 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19860] ppid=19800 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19860/stat : 19860 (java) S 19800 19803 5228 0 -1 1077944384 57 12785 0 0 0 0 5 3 20 0 15 0 13855020 14407233536 1066683 18446744073709551615 4194304 4196468 140725111558320 140645360186368 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19861] ppid=19800 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19861/stat : 19861 (java) S 19800 19803 5228 0 -1 1077944384 3 12785 0 0 0 0 5 3 20 0 15 0 13855022 14407233536 1066683 18446744073709551615 4194304 4196468 140725111558320 140645359134928 140646379468699 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19862] ppid=19800 vsize=14069564 CPUtime=6.34 cores=0,2,4,6
/proc/19803/task/19862/stat : 19862 (java) S 19800 19803 5228 0 -1 1077944384 15423 12785 0 0 622 4 5 3 20 0 15 0 13855022 14407233536 1066683 18446744073709551615 4194304 4196468 140725111558320 140645358082544 140646379461250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19863] ppid=19800 vsize=14069564 CPUtime=6.14 cores=0,2,4,6
/proc/19803/task/19863/stat : 19863 (java) S 19800 19803 5228 0 -1 1077944384 17788 12785 0 0 602 4 5 3 20 0 15 0 13855022 14407233536 1066683 18446744073709551615 4194304 4196468 140725111558320 140645357030000 140646379461250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19864] ppid=19800 vsize=14069564 CPUtime=1.84 cores=0,2,4,6
/proc/19803/task/19864/stat : 19864 (java) S 19800 19803 5228 0 -1 1077944384 12567 12785 0 0 172 4 5 3 20 0 15 0 13855022 14407233536 1066683 18446744073709551615 4194304 4196468 140725111558320 140645355977456 140646379461250 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19865] ppid=19800 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19865/stat : 19865 (java) S 19800 19803 5228 0 -1 1077944384 3 12785 0 0 0 0 5 3 20 0 15 0 13855023 14407233536 1066683 18446744073709551615 4194304 4196468 140725111558320 140645354925152 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19866] ppid=19800 vsize=14069564 CPUtime=0.22 cores=0,2,4,6
/proc/19803/task/19866/stat : 19866 (java) S 19800 19803 5228 0 -1 1077944384 2459 12785 0 0 7 7 5 3 20 0 15 0 13855025 14407233536 1066683 18446744073709551615 4194304 4196468 140725111558320 140645353871664 140646379461250 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
Current children cumulated CPU time (s) 261.54
Current children cumulated vsize (KiB) 14069564
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 19803 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+240.405 s]
/proc/loadavg: 1.58 1.69 1.69 3/214 20013
/proc/meminfo: memFree=23271796/32770624 swapFree=0/243712
[pid=19803] ppid=19800 vsize=14202692 CPUtime=263.01 cores=0,2,4,6
/proc/19803/stat : 19803 (java) S 19800 19803 5228 0 -1 1077944320 156972 12785 0 0 26104 189 5 3 20 0 17 0 13854997 14543556608 1066768 18446744073709551615 4194304 4196468 140725111558320 140725111540864 140646379450103 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
/proc/19803/statm: 3550673 1066768 3470 1 0 3539295 0
[pid=19803/tid=19853] ppid=19800 vsize=14202692 CPUtime=237.17 cores=0,2,4,6
/proc/19803/task/19853/stat : 19853 (java) S 19800 19803 5228 0 -1 1077944384 71410 12785 0 0 23649 60 5 3 20 0 17 0 13855017 14543556608 1066768 18446744073709551615 4194304 4196468 140725111558320 140646383687648 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19854] ppid=19800 vsize=14202692 CPUtime=2.92 cores=0,2,4,6
/proc/19803/task/19854/stat : 19854 (java) R 19800 19803 5228 0 -1 4202560 1598 12785 0 0 258 26 5 3 20 0 17 0 13855018 14543556608 1066768 18446744073709551615 4194304 4196468 140725111558320 140646298864400 140646364147742 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19855] ppid=19800 vsize=14202692 CPUtime=2.92 cores=0,2,4,6
/proc/19803/task/19855/stat : 19855 (java) R 19800 19803 5228 0 -1 4202560 2520 12785 0 0 258 26 5 3 20 0 17 0 13855018 14543556608 1066768 18446744073709551615 4194304 4196468 140725111558320 140646297811856 140646361047114 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19856] ppid=19800 vsize=14202692 CPUtime=2.9 cores=0,2,4,6
/proc/19803/task/19856/stat : 19856 (java) R 19800 19803 5228 0 -1 4202560 5399 12785 0 0 255 27 5 3 20 0 17 0 13855018 14543556608 1066768 18446744073709551615 4194304 4196468 140725111558320 140646296759512 140646361047114 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19857] ppid=19800 vsize=14202692 CPUtime=2.92 cores=0,2,4,6
/proc/19803/task/19857/stat : 19857 (java) R 19800 19803 5228 0 -1 4202560 2878 12785 0 0 257 27 5 3 20 0 17 0 13855018 14543556608 1066768 18446744073709551615 4194304 4196468 140725111558320 140646295706768 140646364400800 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19858] ppid=19800 vsize=14202692 CPUtime=0.25 cores=0,2,4,6
/proc/19803/task/19858/stat : 19858 (java) S 19800 19803 5228 0 -1 1077944384 21948 12785 0 0 15 2 5 3 20 0 17 0 13855019 14543556608 1066768 18446744073709551615 4194304 4196468 140725111558320 140645362291120 140646379460309 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19859] ppid=19800 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19859/stat : 19859 (java) S 19800 19803 5228 0 -1 1077944384 64 12785 0 0 0 0 5 3 20 0 17 0 13855020 14543556608 1066768 18446744073709551615 4194304 4196468 140725111558320 140645361238672 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19860] ppid=19800 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19860/stat : 19860 (java) S 19800 19803 5228 0 -1 1077944384 57 12785 0 0 0 0 5 3 20 0 17 0 13855020 14543556608 1066768 18446744073709551615 4194304 4196468 140725111558320 140645360186368 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19861] ppid=19800 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19861/stat : 19861 (java) S 19800 19803 5228 0 -1 1077944384 165 12785 0 0 0 0 5 3 20 0 17 0 13855022 14543556608 1066768 18446744073709551615 4194304 4196468 140725111558320 140645359134928 140646379468699 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19862] ppid=19800 vsize=14202692 CPUtime=6.34 cores=0,2,4,6
/proc/19803/task/19862/stat : 19862 (java) S 19800 19803 5228 0 -1 1077944384 15440 12785 0 0 622 4 5 3 20 0 17 0 13855022 14543556608 1066768 18446744073709551615 4194304 4196468 140725111558320 140645358070560 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19863] ppid=19800 vsize=14202692 CPUtime=6.14 cores=0,2,4,6
/proc/19803/task/19863/stat : 19863 (java) S 19800 19803 5228 0 -1 1077944384 17788 12785 0 0 602 4 5 3 20 0 17 0 13855022 14543556608 1066768 18446744073709551615 4194304 4196468 140725111558320 140645357030000 140646379461250 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19864] ppid=19800 vsize=14202692 CPUtime=1.84 cores=0,2,4,6
/proc/19803/task/19864/stat : 19864 (java) S 19800 19803 5228 0 -1 1077944384 12789 12785 0 0 172 4 5 3 20 0 17 0 13855022 14543556608 1066768 18446744073709551615 4194304 4196468 140725111558320 140645355971776 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19865] ppid=19800 vsize=14202692 CPUtime=0.08 cores=0,2,4,6
/proc/19803/task/19865/stat : 19865 (java) S 19800 19803 5228 0 -1 1077944384 3 12785 0 0 0 0 5 3 20 0 17 0 13855023 14543556608 1066768 18446744073709551615 4194304 4196468 140725111558320 140645354925152 140646379460309 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
[pid=19803/tid=19866] ppid=19800 vsize=14202692 CPUtime=0.22 cores=0,2,4,6
/proc/19803/task/19866/stat : 19866 (java) S 19800 19803 5228 0 -1 1077944384 2459 12785 0 0 7 7 5 3 20 0 17 0 13855025 14543556608 1066768 18446744073709551615 4194304 4196468 140725111558320 140645353871664 140646379461250 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35594240 140725111560141 140725111562926 140725111562926 140725111566287 0
Current children cumulated CPU time (s) 263.01
Current children cumulated vsize (KiB) 14202692
[startup+240.801 s]
/proc/loadavg: 1.58 1.69 1.69 3/214 20013
/proc/meminfo: memFree=23271796/32770624 swapFree=0/243712
[pid=19803] ppid=19800 vsize=0 CPUtime=264.31 cores=0,2,4,6
/proc/19803/stat : 19803 (java) Z 19800 19803 5228 0 -1 4228108 157423 12785 0 0 26231 192 5 3 20 0 2 0 13854997 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 0 0 0 0 0 0 0 0
/proc/19803/statm: 0 0 0 0 0 0 0
[pid=19803/tid=19855] ppid=19800 vsize=0 CPUtime=3.24 cores=0,2,4,6
/proc/19803/task/19855/stat : 19855 (java) R 19800 19803 5228 0 -1 4203588 2520 12785 0 0 288 28 5 3 20 0 2 0 13855018 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 264.31
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 240.807
CPU time (s): 264.334
CPU user time (s): 262.371
CPU system time (s): 1.96267
CPU usage (%): 109.77
Max. virtual memory (cumulated for all children) (KiB): 14202692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 262.371
system time used= 1.96267
maximum resident set size= 4282028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170208
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= 14385
involuntary context switches= 557
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.976596 second user time and 1.66256 second system time
The end