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-4261834-1502472408/watcher-4261834-1502472408 -o /tmp/evaluation-result-4261834-1502472408/solver-4261834-1502472408 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502411438-1524 --watchdog 2580 bin/concrete HOME/instance-4261834-1502472408.xml
pid=17818
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.82 1.70 1.63 2/200 17821
/proc/meminfo: memFree=26637728/32770624 swapFree=0/575312
[pid=17821] ppid=17818 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/17821/stat : 17821 (runsolver) D 17818 17821 1460 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 94747150 24240128 106 18446744073709551615 4194304 4338465 140728754153760 140728754151400 140047810884311 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 37883904 140728754159825 140728754160201 140728754160201 140728754163658 0
/proc/17821/statm: 5918 106 53 36 0 2156 0
[startup+0.100091 s]
/proc/loadavg: 1.82 1.70 1.63 2/200 17821
/proc/meminfo: memFree=26637728/32770624 swapFree=0/575312
[pid=17821] ppid=17818 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/17821/stat : 17821 (bash) S 17818 17821 1460 0 -1 4202496 684 1540 0 0 0 0 0 0 20 0 1 0 94747150 9736192 352 18446744073709551615 4194304 5098028 140731440624800 140731440622440 139794802428928 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 9 0 0 7196144 7232144 18841600 140731440628244 140731440628329 140731440628329 140731440631786 0
/proc/17821/statm: 2377 352 279 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200237 s]
/proc/loadavg: 1.82 1.70 1.63 2/200 17821
/proc/meminfo: memFree=26637728/32770624 swapFree=0/575312
[pid=17821] ppid=17818 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/17821/stat : 17821 (bash) S 17818 17821 1460 0 -1 4202496 897 6475 0 0 0 0 0 1 20 0 1 0 94747150 9867264 377 18446744073709551615 4194304 5098028 140731440624800 140731440618808 139794802428928 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 9 0 0 7196144 7232144 18841600 140731440628244 140731440628329 140731440628329 140731440631786 0
/proc/17821/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300301 s]
/proc/loadavg: 1.82 1.70 1.63 2/200 17821
/proc/meminfo: memFree=26637728/32770624 swapFree=0/575312
[pid=17821] ppid=17818 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/17821/stat : 17821 (java) S 17818 17821 1460 0 -1 1077944320 5824 12694 0 0 5 1 5 2 20 0 14 0 94747150 14241083392 5492 18446744073709551615 4194304 4196468 140735682878304 140735682860848 139958861962999 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
/proc/17821/statm: 3476827 5492 2562 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.700228 s]
/proc/loadavg: 1.82 1.70 1.63 2/200 17821
/proc/meminfo: memFree=26637728/32770624 swapFree=0/575312
[pid=17821] ppid=17818 vsize=13974784 CPUtime=0.68 cores=1,3,5,7
/proc/17821/stat : 17821 (java) S 17818 17821 1460 0 -1 1077944320 13957 12694 0 0 57 4 5 2 20 0 15 0 94747150 14310178816 14422 18446744073709551615 4194304 4196468 140735682878304 140735682860848 139958861962999 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
/proc/17821/statm: 3493696 14422 3106 1 0 3482965 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13974784
[startup+1.50383 s]
/proc/loadavg: 1.82 1.70 1.63 3/215 17884
/proc/meminfo: memFree=26544524/32770624 swapFree=0/575412
[pid=17821] ppid=17818 vsize=13985408 CPUtime=1.89 cores=1,3,5,7
/proc/17821/stat : 17821 (java) S 17818 17821 1460 0 -1 1077944320 26582 12694 0 0 172 10 5 2 20 0 15 0 94747150 14321057792 40735 18446744073709551615 4194304 4196468 140735682878304 140735682860848 139958861962999 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
/proc/17821/statm: 3496352 40735 3367 1 0 3485525 0
[pid=17821/tid=17871] ppid=17818 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/17821/task/17871/stat : 17871 (java) S 17818 17821 1460 0 -1 1077944384 20525 12694 0 0 115 6 5 2 20 0 15 0 94747172 14321057792 40735 18446744073709551615 4194304 4196468 140735682878304 139958866181648 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17872] ppid=17818 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17872/stat : 17872 (java) R 17818 17821 1460 0 -1 1077944384 182 12694 0 0 0 0 5 2 20 0 15 0 94747172 14321057792 40735 18446744073709551615 4194304 4196468 140735682878304 139958461741584 139958861973205 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17873] ppid=17818 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17873/stat : 17873 (java) R 17818 17821 1460 0 -1 4202560 30 12694 0 0 0 0 5 2 20 0 15 0 94747172 14321057792 40735 18446744073709551615 4194304 4196468 140735682878304 139958460689040 139958861974934 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17874] ppid=17818 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17874/stat : 17874 (java) R 17818 17821 1460 0 -1 4202560 41 12694 0 0 0 0 5 2 20 0 15 0 94747172 14321057792 40735 18446744073709551615 4194304 4196468 140735682878304 139958459635984 139958855066636 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17875] ppid=17818 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17875/stat : 17875 (java) R 17818 17821 1460 0 -1 4202560 52 12694 0 0 0 0 5 2 20 0 15 0 94747172 14321057792 40735 18446744073709551615 4194304 4196468 140735682878304 139958458583440 139958846951399 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17876] ppid=17818 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/17821/task/17876/stat : 17876 (java) S 17818 17821 1460 0 -1 1077944384 641 12694 0 0 1 0 5 2 20 0 15 0 94747174 14321057792 40735 18446744073709551615 4194304 4196468 140735682878304 139957778842912 139958861973205 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17877] ppid=17818 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17877/stat : 17877 (java) S 17818 17821 1460 0 -1 1077944384 33 12694 0 0 0 0 5 2 20 0 15 0 94747174 14321057792 40735 18446744073709551615 4194304 4196468 140735682878304 139957777790624 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17878] ppid=17818 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17878/stat : 17878 (java) S 17818 17821 1460 0 -1 1077944384 21 12694 0 0 0 0 5 2 20 0 15 0 94747174 14321057792 40735 18446744073709551615 4194304 4196468 140735682878304 139957776737520 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17879] ppid=17818 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17879/stat : 17879 (java) S 17818 17821 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 94747177 14321057792 40735 18446744073709551615 4194304 4196468 140735682878304 139957775686096 139958861981595 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17880] ppid=17818 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/17821/task/17880/stat : 17880 (java) S 17818 17821 1460 0 -1 1077944384 990 12694 0 0 16 0 5 2 20 0 15 0 94747177 14321057792 40735 18446744073709551615 4194304 4196468 140735682878304 139957774633200 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17881] ppid=17818 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/17821/task/17881/stat : 17881 (java) S 17818 17821 1460 0 -1 1077944384 688 12694 0 0 14 0 5 2 20 0 15 0 94747177 14321057792 40735 18446744073709551615 4194304 4196468 140735682878304 139957773580656 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17882] ppid=17818 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/17821/task/17882/stat : 17882 (java) S 17818 17821 1460 0 -1 1077944384 1215 12694 0 0 23 0 5 2 20 0 15 0 94747177 14321057792 40735 18446744073709551615 4194304 4196468 140735682878304 139957772522976 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17883] ppid=17818 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17883/stat : 17883 (java) S 17818 17821 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 94747177 14321057792 40735 18446744073709551615 4194304 4196468 140735682878304 139957771475296 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17884] ppid=17818 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17884/stat : 17884 (java) S 17818 17821 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 94747181 14321057792 40735 18446744073709551615 4194304 4196468 140735682878304 139957770423344 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13985408
[startup+3.10065 s]
/proc/loadavg: 1.82 1.70 1.63 6/215 17884
/proc/meminfo: memFree=26449500/32770624 swapFree=0/575412
[pid=17821] ppid=17818 vsize=13995836 CPUtime=5.6 cores=1,3,5,7
/proc/17821/stat : 17821 (java) S 17818 17821 1460 0 -1 1077944320 33846 12694 0 0 536 17 5 2 20 0 15 0 94747150 14331736064 70866 18446744073709551615 4194304 4196468 140735682878304 140735682860848 139958861962999 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
/proc/17821/statm: 3498959 70866 3445 1 0 3487573 0
[pid=17821/tid=17871] ppid=17818 vsize=13995836 CPUtime=2.85 cores=1,3,5,7
/proc/17821/task/17871/stat : 17871 (java) R 17818 17821 1460 0 -1 4202560 23714 12694 0 0 269 9 5 2 20 0 15 0 94747172 14331736064 70866 18446744073709551615 4194304 4196468 140735682878304 139958866195072 139958861974934 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17872] ppid=17818 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/17821/task/17872/stat : 17872 (java) S 17818 17821 1460 0 -1 1077944384 203 12694 0 0 1 1 5 2 20 0 15 0 94747172 14331736064 70866 18446744073709551615 4194304 4196468 140735682878304 139958461741584 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17873] ppid=17818 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/17821/task/17873/stat : 17873 (java) S 17818 17821 1460 0 -1 1077944384 37 12694 0 0 1 0 5 2 20 0 15 0 94747172 14331736064 70866 18446744073709551615 4194304 4196468 140735682878304 139958460689040 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17874] ppid=17818 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/17821/task/17874/stat : 17874 (java) S 17818 17821 1460 0 -1 1077944384 53 12694 0 0 1 1 5 2 20 0 15 0 94747172 14331736064 70866 18446744073709551615 4194304 4196468 140735682878304 139958459635984 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17875] ppid=17818 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/17821/task/17875/stat : 17875 (java) S 17818 17821 1460 0 -1 1077944384 63 12694 0 0 2 0 5 2 20 0 15 0 94747172 14331736064 70866 18446744073709551615 4194304 4196468 140735682878304 139958458583440 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17876] ppid=17818 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/17821/task/17876/stat : 17876 (java) S 17818 17821 1460 0 -1 1077944384 674 12694 0 0 1 0 5 2 20 0 15 0 94747174 14331736064 70866 18446744073709551615 4194304 4196468 140735682878304 139957778844400 139958861974146 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17877] ppid=17818 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17877/stat : 17877 (java) S 17818 17821 1460 0 -1 1077944384 55 12694 0 0 0 0 5 2 20 0 15 0 94747174 14331736064 70866 18446744073709551615 4194304 4196468 140735682878304 139957777790688 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17878] ppid=17818 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17878/stat : 17878 (java) S 17818 17821 1460 0 -1 1077944384 43 12694 0 0 0 0 5 2 20 0 15 0 94747174 14331736064 70866 18446744073709551615 4194304 4196468 140735682878304 139957776737536 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17879] ppid=17818 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17879/stat : 17879 (java) S 17818 17821 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 94747177 14331736064 70866 18446744073709551615 4194304 4196468 140735682878304 139957775686096 139958861981595 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17880] ppid=17818 vsize=13995836 CPUtime=1.05 cores=1,3,5,7
/proc/17821/task/17880/stat : 17880 (java) S 17818 17821 1460 0 -1 1077944384 2861 12694 0 0 97 1 5 2 20 0 15 0 94747177 14331736064 70866 18446744073709551615 4194304 4196468 140735682878304 139957774633200 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17881] ppid=17818 vsize=13995836 CPUtime=0.91 cores=1,3,5,7
/proc/17821/task/17881/stat : 17881 (java) S 17818 17821 1460 0 -1 1077944384 1445 12694 0 0 84 0 5 2 20 0 15 0 94747177 14331736064 70866 18446744073709551615 4194304 4196468 140735682878304 139957773580656 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17882] ppid=17818 vsize=13995836 CPUtime=0.83 cores=1,3,5,7
/proc/17821/task/17882/stat : 17882 (java) R 17818 17821 1460 0 -1 4202560 2533 12694 0 0 75 1 5 2 20 0 15 0 94747177 14331736064 70866 18446744073709551615 4194304 4196468 140735682878304 139957772527600 139958861974934 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17883] ppid=17818 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17883/stat : 17883 (java) S 17818 17821 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 94747177 14331736064 70866 18446744073709551615 4194304 4196468 140735682878304 139957771475296 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17884] ppid=17818 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17884/stat : 17884 (java) S 17818 17821 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 94747181 14331736064 70866 18446744073709551615 4194304 4196468 140735682878304 139957770423344 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 13995836
[startup+6.3007 s]
/proc/loadavg: 1.84 1.71 1.64 3/215 17884
/proc/meminfo: memFree=26037788/32770624 swapFree=0/575412
[pid=17821] ppid=17818 vsize=13999932 CPUtime=11.89 cores=1,3,5,7
/proc/17821/stat : 17821 (java) S 17818 17821 1460 0 -1 1077944320 51684 12694 0 0 1138 44 5 2 20 0 15 0 94747150 14335930368 202565 18446744073709551615 4194304 4196468 140735682878304 140735682860848 139958861962999 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
/proc/17821/statm: 3499983 202565 3465 1 0 3488597 0
[pid=17821/tid=17871] ppid=17818 vsize=13999932 CPUtime=5.91 cores=1,3,5,7
/proc/17821/task/17871/stat : 17871 (java) R 17818 17821 1460 0 -1 4202560 36968 12694 0 0 568 16 5 2 20 0 15 0 94747172 14335930368 202565 18446744073709551615 4194304 4196468 140735682878304 139958866196128 139958513748467 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17872] ppid=17818 vsize=13999932 CPUtime=0.2 cores=1,3,5,7
/proc/17821/task/17872/stat : 17872 (java) S 17818 17821 1460 0 -1 1077944384 448 12694 0 0 8 5 5 2 20 0 15 0 94747172 14335930368 202565 18446744073709551615 4194304 4196468 140735682878304 139958461741584 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17873] ppid=17818 vsize=13999932 CPUtime=0.21 cores=1,3,5,7
/proc/17821/task/17873/stat : 17873 (java) S 17818 17821 1460 0 -1 1077944384 195 12694 0 0 9 5 5 2 20 0 15 0 94747172 14335930368 202565 18446744073709551615 4194304 4196468 140735682878304 139958460689040 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17874] ppid=17818 vsize=13999932 CPUtime=0.19 cores=1,3,5,7
/proc/17821/task/17874/stat : 17874 (java) S 17818 17821 1460 0 -1 1077944384 150 12694 0 0 7 5 5 2 20 0 15 0 94747172 14335930368 202565 18446744073709551615 4194304 4196468 140735682878304 139958459635984 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17875] ppid=17818 vsize=13999932 CPUtime=0.2 cores=1,3,5,7
/proc/17821/task/17875/stat : 17875 (java) S 17818 17821 1460 0 -1 1077944384 321 12694 0 0 8 5 5 2 20 0 15 0 94747172 14335930368 202565 18446744073709551615 4194304 4196468 140735682878304 139958458583440 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17876] ppid=17818 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/17821/task/17876/stat : 17876 (java) S 17818 17821 1460 0 -1 1077944384 1202 12694 0 0 2 0 5 2 20 0 15 0 94747174 14335930368 202565 18446744073709551615 4194304 4196468 140735682878304 139957778844400 139958861974146 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17877] ppid=17818 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17877/stat : 17877 (java) S 17818 17821 1460 0 -1 1077944384 55 12694 0 0 0 0 5 2 20 0 15 0 94747174 14335930368 202565 18446744073709551615 4194304 4196468 140735682878304 139957777790688 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17878] ppid=17818 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17878/stat : 17878 (java) S 17818 17821 1460 0 -1 1077944384 47 12694 0 0 0 0 5 2 20 0 15 0 94747174 14335930368 202565 18446744073709551615 4194304 4196468 140735682878304 139957776737536 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17879] ppid=17818 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17879/stat : 17879 (java) S 17818 17821 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 94747177 14335930368 202565 18446744073709551615 4194304 4196468 140735682878304 139957775686096 139958861981595 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17880] ppid=17818 vsize=13999932 CPUtime=2.23 cores=1,3,5,7
/proc/17821/task/17880/stat : 17880 (java) S 17818 17821 1460 0 -1 1077944384 3354 12694 0 0 215 1 5 2 20 0 15 0 94747177 14335930368 202565 18446744073709551615 4194304 4196468 140735682878304 139957774633200 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17881] ppid=17818 vsize=13999932 CPUtime=2.1 cores=1,3,5,7
/proc/17821/task/17881/stat : 17881 (java) S 17818 17821 1460 0 -1 1077944384 2096 12694 0 0 203 0 5 2 20 0 15 0 94747177 14335930368 202565 18446744073709551615 4194304 4196468 140735682878304 139957773580656 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17882] ppid=17818 vsize=13999932 CPUtime=1.19 cores=1,3,5,7
/proc/17821/task/17882/stat : 17882 (java) S 17818 17821 1460 0 -1 1077944384 3969 12694 0 0 111 1 5 2 20 0 15 0 94747177 14335930368 202565 18446744073709551615 4194304 4196468 140735682878304 139957772527600 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17883] ppid=17818 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17883/stat : 17883 (java) S 17818 17821 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 94747177 14335930368 202565 18446744073709551615 4194304 4196468 140735682878304 139957771475296 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17884] ppid=17818 vsize=13999932 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17884/stat : 17884 (java) S 17818 17821 1460 0 -1 1077944384 717 12694 0 0 0 0 5 2 20 0 15 0 94747181 14335930368 202565 18446744073709551615 4194304 4196468 140735682878304 139957770423344 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
Current children cumulated CPU time (s) 11.89
Current children cumulated vsize (KiB) 13999932
[startup+12.7007 s]
/proc/loadavg: 1.77 1.69 1.63 6/215 17884
/proc/meminfo: memFree=25139716/32770624 swapFree=0/575408
[pid=17821] ppid=17818 vsize=14069564 CPUtime=24.53 cores=1,3,5,7
/proc/17821/stat : 17821 (java) S 17818 17821 1460 0 -1 1077944320 77352 12694 0 0 2379 67 5 2 20 0 15 0 94747150 14407233536 376697 18446744073709551615 4194304 4196468 140735682878304 140735682860848 139958861962999 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
/proc/17821/statm: 3517391 376697 3475 1 0 3506005 0
[pid=17821/tid=17871] ppid=17818 vsize=14069564 CPUtime=12.17 cores=1,3,5,7
/proc/17821/task/17871/stat : 17871 (java) R 17818 17821 1460 0 -1 4202560 50188 12694 0 0 1184 26 5 2 20 0 15 0 94747172 14407233536 376697 18446744073709551615 4194304 4196468 140735682878304 139958866195304 139958518996816 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17872] ppid=17818 vsize=14069564 CPUtime=0.31 cores=1,3,5,7
/proc/17821/task/17872/stat : 17872 (java) S 17818 17821 1460 0 -1 1077944384 550 12694 0 0 16 8 5 2 20 0 15 0 94747172 14407233536 376697 18446744073709551615 4194304 4196468 140735682878304 139958461741584 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17873] ppid=17818 vsize=14069564 CPUtime=0.3 cores=1,3,5,7
/proc/17821/task/17873/stat : 17873 (java) S 17818 17821 1460 0 -1 1077944384 1230 12694 0 0 16 7 5 2 20 0 15 0 94747172 14407233536 376697 18446744073709551615 4194304 4196468 140735682878304 139958460689040 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17874] ppid=17818 vsize=14069564 CPUtime=0.31 cores=1,3,5,7
/proc/17821/task/17874/stat : 17874 (java) S 17818 17821 1460 0 -1 1077944384 242 12694 0 0 16 8 5 2 20 0 15 0 94747172 14407233536 376697 18446744073709551615 4194304 4196468 140735682878304 139958459635984 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17875] ppid=17818 vsize=14069564 CPUtime=0.31 cores=1,3,5,7
/proc/17821/task/17875/stat : 17875 (java) S 17818 17821 1460 0 -1 1077944384 472 12694 0 0 16 8 5 2 20 0 15 0 94747172 14407233536 376697 18446744073709551615 4194304 4196468 140735682878304 139958458583440 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17876] ppid=17818 vsize=14069564 CPUtime=0.11 cores=1,3,5,7
/proc/17821/task/17876/stat : 17876 (java) S 17818 17821 1460 0 -1 1077944384 2861 12694 0 0 4 0 5 2 20 0 15 0 94747174 14407233536 376697 18446744073709551615 4194304 4196468 140735682878304 139957778844400 139958861974146 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17877] ppid=17818 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17877/stat : 17877 (java) S 17818 17821 1460 0 -1 1077944384 57 12694 0 0 0 0 5 2 20 0 15 0 94747174 14407233536 376697 18446744073709551615 4194304 4196468 140735682878304 139957777790688 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17878] ppid=17818 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17878/stat : 17878 (java) S 17818 17821 1460 0 -1 1077944384 50 12694 0 0 0 0 5 2 20 0 15 0 94747174 14407233536 376697 18446744073709551615 4194304 4196468 140735682878304 139957776737536 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17879] ppid=17818 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17879/stat : 17879 (java) S 17818 17821 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 94747177 14407233536 376697 18446744073709551615 4194304 4196468 140735682878304 139957775686096 139958861981595 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
################
# More data... #
################
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2447.9 s]
/proc/loadavg: 1.63 1.63 1.60 3/213 18161
/proc/meminfo: memFree=23028440/32770624 swapFree=0/575928
[pid=17821] ppid=17818 vsize=14069564 CPUtime=2520.03 cores=1,3,5,7
/proc/17821/stat : 17821 (java) S 17818 17821 1460 0 -1 1077944320 577328 12694 0 0 251396 600 5 2 20 0 15 0 94747150 14407233536 956417 18446744073709551615 4194304 4196468 140735682878304 140735682860848 139958861962999 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
/proc/17821/statm: 3517391 956417 3479 1 0 3506005 0
[pid=17821/tid=17871] ppid=17818 vsize=14069564 CPUtime=2426.85 cores=1,3,5,7
/proc/17821/task/17871/stat : 17871 (java) R 17818 17821 1460 0 -1 4202560 237436 12694 0 0 242541 137 5 2 20 0 15 0 94747172 14407233536 956417 18446744073709551615 4194304 4196468 140735682878304 139958866197248 139958516676570 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17872] ppid=17818 vsize=14069564 CPUtime=19.47 cores=1,3,5,7
/proc/17821/task/17872/stat : 17872 (java) S 17818 17821 1460 0 -1 1077944384 42023 12694 0 0 1849 91 5 2 20 0 15 0 94747172 14407233536 956417 18446744073709551615 4194304 4196468 140735682878304 139958461741584 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17873] ppid=17818 vsize=14069564 CPUtime=19.46 cores=1,3,5,7
/proc/17821/task/17873/stat : 17873 (java) S 17818 17821 1460 0 -1 1077944384 52882 12694 0 0 1847 92 5 2 20 0 15 0 94747172 14407233536 956417 18446744073709551615 4194304 4196468 140735682878304 139958460689040 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17874] ppid=17818 vsize=14069564 CPUtime=19.44 cores=1,3,5,7
/proc/17821/task/17874/stat : 17874 (java) S 17818 17821 1460 0 -1 1077944384 44527 12694 0 0 1846 91 5 2 20 0 15 0 94747172 14407233536 956417 18446744073709551615 4194304 4196468 140735682878304 139958459635984 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17875] ppid=17818 vsize=14069564 CPUtime=19.44 cores=1,3,5,7
/proc/17821/task/17875/stat : 17875 (java) S 17818 17821 1460 0 -1 1077944384 42450 12694 0 0 1844 93 5 2 20 0 15 0 94747172 14407233536 956417 18446744073709551615 4194304 4196468 140735682878304 139958458583440 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17876] ppid=17818 vsize=14069564 CPUtime=1.15 cores=1,3,5,7
/proc/17821/task/17876/stat : 17876 (java) S 17818 17821 1460 0 -1 1077944384 91823 12694 0 0 84 24 5 2 20 0 15 0 94747174 14407233536 956417 18446744073709551615 4194304 4196468 140735682878304 139957778844400 139958861974146 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17877] ppid=17818 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17877/stat : 17877 (java) S 17818 17821 1460 0 -1 1077944384 57 12694 0 0 0 0 5 2 20 0 15 0 94747174 14407233536 956417 18446744073709551615 4194304 4196468 140735682878304 139957777790688 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17878] ppid=17818 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17878/stat : 17878 (java) S 17818 17821 1460 0 -1 1077944384 50 12694 0 0 0 0 5 2 20 0 15 0 94747174 14407233536 956417 18446744073709551615 4194304 4196468 140735682878304 139957776737536 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17879] ppid=17818 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17879/stat : 17879 (java) S 17818 17821 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 94747177 14407233536 956417 18446744073709551615 4194304 4196468 140735682878304 139957775686096 139958861981595 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17880] ppid=17818 vsize=14069564 CPUtime=5.5 cores=1,3,5,7
/proc/17821/task/17880/stat : 17880 (java) S 17818 17821 1460 0 -1 1077944384 23886 12694 0 0 539 4 5 2 20 0 15 0 94747177 14407233536 956417 18446744073709551615 4194304 4196468 140735682878304 139957774633200 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17881] ppid=17818 vsize=14069564 CPUtime=5.78 cores=1,3,5,7
/proc/17821/task/17881/stat : 17881 (java) S 17818 17821 1460 0 -1 1077944384 22853 12694 0 0 568 3 5 2 20 0 15 0 94747177 14407233536 956417 18446744073709551615 4194304 4196468 140735682878304 139957773580656 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17882] ppid=17818 vsize=14069564 CPUtime=1.86 cores=1,3,5,7
/proc/17821/task/17882/stat : 17882 (java) S 17818 17821 1460 0 -1 1077944384 14616 12694 0 0 175 4 5 2 20 0 15 0 94747177 14407233536 956417 18446744073709551615 4194304 4196468 140735682878304 139957772527600 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17883] ppid=17818 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17883/stat : 17883 (java) S 17818 17821 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 15 0 94747177 14407233536 956417 18446744073709551615 4194304 4196468 140735682878304 139957771475296 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17884] ppid=17818 vsize=14069564 CPUtime=1.58 cores=1,3,5,7
/proc/17821/task/17884/stat : 17884 (java) S 17818 17821 1460 0 -1 1077944384 2563 12694 0 0 71 80 5 2 20 0 15 0 94747181 14407233536 956417 18446744073709551615 4194304 4196468 140735682878304 139957770423344 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
Current children cumulated CPU time (s) 2520.03
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 17821 sig 9
??? kill -17821 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2448.01 s]
/proc/loadavg: 1.63 1.63 1.60 3/213 18161
/proc/meminfo: memFree=23028440/32770624 swapFree=0/575928
[pid=17821] ppid=17818 vsize=14202692 CPUtime=2520.38 cores=1,3,5,7
/proc/17821/stat : 17821 (java) S 17818 17821 1460 0 -1 1077944320 589545 12694 0 0 251430 601 5 2 20 0 17 0 94747150 14543556608 956210 18446744073709551615 4194304 4196468 140735682878304 140735682860848 139958861962999 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
/proc/17821/statm: 3550673 956210 3479 1 0 3539287 0
[pid=17821/tid=17871] ppid=17818 vsize=14202692 CPUtime=2426.86 cores=1,3,5,7
/proc/17821/task/17871/stat : 17871 (java) S 17818 17821 1460 0 -1 1077944384 238547 12694 0 0 242542 137 5 2 20 0 17 0 94747172 14543556608 956210 18446744073709551615 4194304 4196468 140735682878304 139958866200656 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17872] ppid=17818 vsize=14202692 CPUtime=19.55 cores=1,3,5,7
/proc/17821/task/17872/stat : 17872 (java) R 17818 17821 1460 0 -1 4202560 42046 12694 0 0 1857 91 5 2 20 0 17 0 94747172 14543556608 956210 18446744073709551615 4194304 4196468 140735682878304 139958461741584 139958846959552 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17873] ppid=17818 vsize=14202692 CPUtime=19.53 cores=1,3,5,7
/proc/17821/task/17873/stat : 17873 (java) R 17818 17821 1460 0 -1 4202560 52921 12694 0 0 1854 92 5 2 20 0 17 0 94747172 14543556608 956210 18446744073709551615 4194304 4196468 140735682878304 139958460689240 139958843572804 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17874] ppid=17818 vsize=14202692 CPUtime=19.52 cores=1,3,5,7
/proc/17821/task/17874/stat : 17874 (java) R 17818 17821 1460 0 -1 4202560 44547 12694 0 0 1854 91 5 2 20 0 17 0 94747172 14543556608 956210 18446744073709551615 4194304 4196468 140735682878304 139958459636184 139958846958945 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17875] ppid=17818 vsize=14202692 CPUtime=19.51 cores=1,3,5,7
/proc/17821/task/17875/stat : 17875 (java) R 17818 17821 1460 0 -1 4202560 42480 12694 0 0 1851 93 5 2 20 0 17 0 94747172 14543556608 956210 18446744073709551615 4194304 4196468 140735682878304 139958458583440 139958855067712 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17876] ppid=17818 vsize=14202692 CPUtime=1.18 cores=1,3,5,7
/proc/17821/task/17876/stat : 17876 (java) S 17818 17821 1460 0 -1 1077944384 102189 12694 0 0 86 25 5 2 20 0 17 0 94747174 14543556608 956210 18446744073709551615 4194304 4196468 140735682878304 139957778843024 139958861973205 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17877] ppid=17818 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17877/stat : 17877 (java) S 17818 17821 1460 0 -1 1077944384 57 12694 0 0 0 0 5 2 20 0 17 0 94747174 14543556608 956210 18446744073709551615 4194304 4196468 140735682878304 139957777790688 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17878] ppid=17818 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17878/stat : 17878 (java) S 17818 17821 1460 0 -1 1077944384 50 12694 0 0 0 0 5 2 20 0 17 0 94747174 14543556608 956210 18446744073709551615 4194304 4196468 140735682878304 139957776737536 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17879] ppid=17818 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17879/stat : 17879 (java) S 17818 17821 1460 0 -1 1077944384 261 12694 0 0 0 0 5 2 20 0 17 0 94747177 14543556608 956210 18446744073709551615 4194304 4196468 140735682878304 139957775686096 139958861981595 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17880] ppid=17818 vsize=14202692 CPUtime=5.5 cores=1,3,5,7
/proc/17821/task/17880/stat : 17880 (java) S 17818 17821 1460 0 -1 1077944384 23886 12694 0 0 539 4 5 2 20 0 17 0 94747177 14543556608 956210 18446744073709551615 4194304 4196468 140735682878304 139957774633200 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17881] ppid=17818 vsize=14202692 CPUtime=5.78 cores=1,3,5,7
/proc/17821/task/17881/stat : 17881 (java) S 17818 17821 1460 0 -1 1077944384 22853 12694 0 0 568 3 5 2 20 0 17 0 94747177 14543556608 956210 18446744073709551615 4194304 4196468 140735682878304 139957773580656 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17882] ppid=17818 vsize=14202692 CPUtime=1.86 cores=1,3,5,7
/proc/17821/task/17882/stat : 17882 (java) S 17818 17821 1460 0 -1 1077944384 14616 12694 0 0 175 4 5 2 20 0 17 0 94747177 14543556608 956210 18446744073709551615 4194304 4196468 140735682878304 139957772527600 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17883] ppid=17818 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17883/stat : 17883 (java) S 17818 17821 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 17 0 94747177 14543556608 956210 18446744073709551615 4194304 4196468 140735682878304 139957771475296 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17884] ppid=17818 vsize=14202692 CPUtime=1.58 cores=1,3,5,7
/proc/17821/task/17884/stat : 17884 (java) S 17818 17821 1460 0 -1 1077944384 2563 12694 0 0 71 80 5 2 20 0 17 0 94747181 14543556608 956210 18446744073709551615 4194304 4196468 140735682878304 139957770423344 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
Current children cumulated CPU time (s) 2520.38
Current children cumulated vsize (KiB) 14202692
[startup+2448.4 s]
/proc/loadavg: 1.63 1.63 1.60 3/213 18161
/proc/meminfo: memFree=23028440/32770624 swapFree=0/575928
[pid=17821] ppid=17818 vsize=14202692 CPUtime=2521.82 cores=1,3,5,7
/proc/17821/stat : 17821 (java) S 17818 17821 1460 0 -1 1077944320 589961 12694 0 0 251574 601 5 2 20 0 17 0 94747150 14543556608 954416 18446744073709551615 4194304 4196468 140735682878304 140735682860848 139958861962999 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
/proc/17821/statm: 3550673 954416 3479 1 0 3539287 0
[pid=17821/tid=17871] ppid=17818 vsize=14202692 CPUtime=2426.86 cores=1,3,5,7
/proc/17821/task/17871/stat : 17871 (java) S 17818 17821 1460 0 -1 1077944384 238549 12694 0 0 242542 137 5 2 20 0 17 0 94747172 14543556608 954416 18446744073709551615 4194304 4196468 140735682878304 139958866200656 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17872] ppid=17818 vsize=14202692 CPUtime=19.9 cores=1,3,5,7
/proc/17821/task/17872/stat : 17872 (java) S 17818 17821 1460 0 -1 1077944384 42062 12694 0 0 1892 91 5 2 20 0 17 0 94747172 14543556608 954416 18446744073709551615 4194304 4196468 140735682878304 139958461741584 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17873] ppid=17818 vsize=14202692 CPUtime=19.88 cores=1,3,5,7
/proc/17821/task/17873/stat : 17873 (java) S 17818 17821 1460 0 -1 1077944384 52960 12694 0 0 1889 92 5 2 20 0 17 0 94747172 14543556608 954416 18446744073709551615 4194304 4196468 140735682878304 139958460689040 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17874] ppid=17818 vsize=14202692 CPUtime=19.87 cores=1,3,5,7
/proc/17821/task/17874/stat : 17874 (java) S 17818 17821 1460 0 -1 1077944384 44587 12694 0 0 1889 91 5 2 20 0 17 0 94747172 14543556608 954416 18446744073709551615 4194304 4196468 140735682878304 139958459635984 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17875] ppid=17818 vsize=14202692 CPUtime=19.87 cores=1,3,5,7
/proc/17821/task/17875/stat : 17875 (java) S 17818 17821 1460 0 -1 1077944384 42498 12694 0 0 1887 93 5 2 20 0 17 0 94747172 14543556608 954416 18446744073709551615 4194304 4196468 140735682878304 139958458583440 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17876] ppid=17818 vsize=14202692 CPUtime=1.22 cores=1,3,5,7
/proc/17821/task/17876/stat : 17876 (java) S 17818 17821 1460 0 -1 1077944384 102486 12694 0 0 90 25 5 2 20 0 17 0 94747174 14543556608 954416 18446744073709551615 4194304 4196468 140735682878304 139957778842800 139958861973205 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17877] ppid=17818 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17877/stat : 17877 (java) S 17818 17821 1460 0 -1 1077944384 59 12694 0 0 0 0 5 2 20 0 17 0 94747174 14543556608 954416 18446744073709551615 4194304 4196468 140735682878304 139957777790224 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17878] ppid=17818 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17878/stat : 17878 (java) S 17818 17821 1460 0 -1 1077944384 51 12694 0 0 0 0 5 2 20 0 17 0 94747174 14543556608 954416 18446744073709551615 4194304 4196468 140735682878304 139957776737136 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17879] ppid=17818 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17879/stat : 17879 (java) S 17818 17821 1460 0 -1 1077944384 261 12694 0 0 0 0 5 2 20 0 17 0 94747177 14543556608 954416 18446744073709551615 4194304 4196468 140735682878304 139957775686096 139958861981595 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17880] ppid=17818 vsize=14202692 CPUtime=5.5 cores=1,3,5,7
/proc/17821/task/17880/stat : 17880 (java) S 17818 17821 1460 0 -1 1077944384 23886 12694 0 0 539 4 5 2 20 0 17 0 94747177 14543556608 954416 18446744073709551615 4194304 4196468 140735682878304 139957774633200 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17881] ppid=17818 vsize=14202692 CPUtime=5.78 cores=1,3,5,7
/proc/17821/task/17881/stat : 17881 (java) S 17818 17821 1460 0 -1 1077944384 22853 12694 0 0 568 3 5 2 20 0 17 0 94747177 14543556608 954416 18446744073709551615 4194304 4196468 140735682878304 139957773580656 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17882] ppid=17818 vsize=14202692 CPUtime=1.86 cores=1,3,5,7
/proc/17821/task/17882/stat : 17882 (java) S 17818 17821 1460 0 -1 1077944384 14616 12694 0 0 175 4 5 2 20 0 17 0 94747177 14543556608 954416 18446744073709551615 4194304 4196468 140735682878304 139957772527600 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17883] ppid=17818 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17883/stat : 17883 (java) S 17818 17821 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 17 0 94747177 14543556608 954416 18446744073709551615 4194304 4196468 140735682878304 139957771475296 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17884] ppid=17818 vsize=14202692 CPUtime=1.58 cores=1,3,5,7
/proc/17821/task/17884/stat : 17884 (java) S 17818 17821 1460 0 -1 1077944384 2563 12694 0 0 71 80 5 2 20 0 17 0 94747181 14543556608 954416 18446744073709551615 4194304 4196468 140735682878304 139957770423344 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
Current children cumulated CPU time (s) 2521.82
Current children cumulated vsize (KiB) 14202692
[startup+2448.61 s]
/proc/loadavg: 1.82 1.67 1.61 6/215 18163
/proc/meminfo: memFree=23033904/32770624 swapFree=0/575928
[pid=17821] ppid=17818 vsize=14202692 CPUtime=2522.56 cores=1,3,5,7
/proc/17821/stat : 17821 (java) S 17818 17821 1460 0 -1 1077944320 589966 12694 0 0 251648 601 5 2 20 0 17 0 94747150 14543556608 953005 18446744073709551615 4194304 4196468 140735682878304 140735682860848 139958861962999 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
/proc/17821/statm: 3550673 953005 3479 1 0 3539287 0
[pid=17821/tid=17871] ppid=17818 vsize=14202692 CPUtime=2426.86 cores=1,3,5,7
/proc/17821/task/17871/stat : 17871 (java) S 17818 17821 1460 0 -1 1077944384 238549 12694 0 0 242542 137 5 2 20 0 17 0 94747172 14543556608 953005 18446744073709551615 4194304 4196468 140735682878304 139958866200656 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17872] ppid=17818 vsize=14202692 CPUtime=20.07 cores=1,3,5,7
/proc/17821/task/17872/stat : 17872 (java) R 17818 17821 1460 0 -1 4202560 42062 12694 0 0 1909 91 5 2 20 0 17 0 94747172 14543556608 953005 18446744073709551615 4194304 4196468 140735682878304 139958461741784 139958846959388 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17873] ppid=17818 vsize=14202692 CPUtime=20.06 cores=1,3,5,7
/proc/17821/task/17873/stat : 17873 (java) R 17818 17821 1460 0 -1 4202560 52960 12694 0 0 1907 92 5 2 20 0 17 0 94747172 14543556608 953005 18446744073709551615 4194304 4196468 140735682878304 139958460688928 139958843572775 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17874] ppid=17818 vsize=14202692 CPUtime=20.05 cores=1,3,5,7
/proc/17821/task/17874/stat : 17874 (java) R 17818 17821 1460 0 -1 4202560 44587 12694 0 0 1907 91 5 2 20 0 17 0 94747172 14543556608 953005 18446744073709551615 4194304 4196468 140735682878304 139958459636184 139958846661744 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17875] ppid=17818 vsize=14202692 CPUtime=20.05 cores=1,3,5,7
/proc/17821/task/17875/stat : 17875 (java) R 17818 17821 1460 0 -1 4202560 42502 12694 0 0 1905 93 5 2 20 0 17 0 94747172 14543556608 953005 18446744073709551615 4194304 4196468 140735682878304 139958458583640 139958843572614 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17876] ppid=17818 vsize=14202692 CPUtime=1.25 cores=1,3,5,7
/proc/17821/task/17876/stat : 17876 (java) S 17818 17821 1460 0 -1 1077944384 102486 12694 0 0 93 25 5 2 20 0 17 0 94747174 14543556608 953005 18446744073709551615 4194304 4196468 140735682878304 139957778843024 139958861973205 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17877] ppid=17818 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17877/stat : 17877 (java) S 17818 17821 1460 0 -1 1077944384 59 12694 0 0 0 0 5 2 20 0 17 0 94747174 14543556608 953005 18446744073709551615 4194304 4196468 140735682878304 139957777790224 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17878] ppid=17818 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17878/stat : 17878 (java) S 17818 17821 1460 0 -1 1077944384 51 12694 0 0 0 0 5 2 20 0 17 0 94747174 14543556608 953005 18446744073709551615 4194304 4196468 140735682878304 139957776737136 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17879] ppid=17818 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17879/stat : 17879 (java) S 17818 17821 1460 0 -1 1077944384 261 12694 0 0 0 0 5 2 20 0 17 0 94747177 14543556608 953005 18446744073709551615 4194304 4196468 140735682878304 139957775686096 139958861981595 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17880] ppid=17818 vsize=14202692 CPUtime=5.5 cores=1,3,5,7
/proc/17821/task/17880/stat : 17880 (java) S 17818 17821 1460 0 -1 1077944384 23886 12694 0 0 539 4 5 2 20 0 17 0 94747177 14543556608 953005 18446744073709551615 4194304 4196468 140735682878304 139957774633200 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17881] ppid=17818 vsize=14202692 CPUtime=5.78 cores=1,3,5,7
/proc/17821/task/17881/stat : 17881 (java) S 17818 17821 1460 0 -1 1077944384 22853 12694 0 0 568 3 5 2 20 0 17 0 94747177 14543556608 953005 18446744073709551615 4194304 4196468 140735682878304 139957773580656 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17882] ppid=17818 vsize=14202692 CPUtime=1.86 cores=1,3,5,7
/proc/17821/task/17882/stat : 17882 (java) S 17818 17821 1460 0 -1 1077944384 14616 12694 0 0 175 4 5 2 20 0 17 0 94747177 14543556608 953005 18446744073709551615 4194304 4196468 140735682878304 139957772527600 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17883] ppid=17818 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/17883/stat : 17883 (java) S 17818 17821 1460 0 -1 1077944384 3 12694 0 0 0 0 5 2 20 0 17 0 94747177 14543556608 953005 18446744073709551615 4194304 4196468 140735682878304 139957771475296 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=17884] ppid=17818 vsize=14202692 CPUtime=1.58 cores=1,3,5,7
/proc/17821/task/17884/stat : 17884 (java) S 17818 17821 1460 0 -1 1077944384 2563 12694 0 0 71 80 5 2 20 0 17 0 94747181 14543556608 953005 18446744073709551615 4194304 4196468 140735682878304 139957770423344 139958861974146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=18162] ppid=17818 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/18162/stat : 18162 (java) S 17818 17821 1460 0 -1 1077944384 341 12694 0 0 0 0 5 2 20 0 17 0 94991941 14543556608 953005 18446744073709551615 4194304 4196468 140735682878304 139957133800304 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
[pid=17821/tid=18163] ppid=17818 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/17821/task/18163/stat : 18163 (java) S 17818 17821 1460 0 -1 1077944384 30 12694 0 0 0 0 5 2 20 0 17 0 94991941 14543556608 953005 18446744073709551615 4194304 4196468 140735682878304 139957132747968 139958861973205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27680768 140735682885584 140735682888369 140735682888369 140735682891727 0
Current children cumulated CPU time (s) 2522.56
Current children cumulated vsize (KiB) 14202692
Child status: 143
Real time (s): 2448.68
CPU time (s): 2522.73
CPU user time (s): 2516.66
CPU system time (s): 6.07698
CPU usage (%): 103.024
Max. virtual memory (cumulated for all children) (KiB): 14202692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.66
system time used= 6.07698
maximum resident set size= 4780516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 602972
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75171
involuntary context switches= 3469
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.632 second user time and 15.8318 second system time
The end