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-4262194-1502468159/watcher-4262194-1502468159 -o /tmp/evaluation-result-4262194-1502468159/solver-4262194-1502468159 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4884 --watchdog 2580 bin/concrete HOME/instance-4262194-1502468159.xml
pid=21840
running on 4 cores: 0,2,4,6
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.92 1.78 1.63 4/202 21843
/proc/meminfo: memFree=26745412/32770624 swapFree=0/438744
[pid=21843] ppid=21840 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/21843/stat : 21843 (runsolver) D 21840 21843 4821 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 94631085 24240128 106 18446744073709551615 4194304 4338465 140722738153360 140722738151000 140273949065943 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 31641600 140722738159825 140722738160201 140722738160201 140722738163658 0
/proc/21843/statm: 5918 106 53 36 0 2156 0
[startup+0.100118 s]
/proc/loadavg: 1.92 1.78 1.63 4/202 21843
/proc/meminfo: memFree=26745412/32770624 swapFree=0/438744
[pid=21843] ppid=21840 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/21843/stat : 21843 (bash) S 21840 21843 4821 0 -1 4202496 685 1542 0 0 0 0 0 0 20 0 1 0 94631085 9736192 352 18446744073709551615 4194304 5098028 140724798986496 140724798984136 140251952622592 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 9 0 0 7196144 7232144 24363008 140724798988820 140724798988905 140724798988905 140724798992362 0
/proc/21843/statm: 2377 352 279 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200301 s]
/proc/loadavg: 1.92 1.78 1.63 4/202 21843
/proc/meminfo: memFree=26745412/32770624 swapFree=0/438744
[pid=21843] ppid=21840 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/21843/stat : 21843 (bash) S 21840 21843 4821 0 -1 4202496 897 6478 0 0 0 0 0 1 20 0 1 0 94631085 9867264 377 18446744073709551615 4194304 5098028 140724798986496 140724798980504 140251952622592 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 9 0 0 7196144 7232144 24363008 140724798988820 140724798988905 140724798988905 140724798992362 0
/proc/21843/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300324 s]
/proc/loadavg: 1.92 1.78 1.63 4/202 21843
/proc/meminfo: memFree=26745412/32770624 swapFree=0/438744
[pid=21843] ppid=21840 vsize=13907308 CPUtime=0.14 cores=0,2,4,6
/proc/21843/stat : 21843 (java) S 21840 21843 4821 0 -1 1077944320 5747 12648 0 0 5 1 5 3 20 0 14 0 94631085 14241083392 5424 18446744073709551615 4194304 4196468 140725732067744 140725732050288 139621995970295 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
/proc/21843/statm: 3476827 5424 2568 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308
[startup+0.700775 s]
/proc/loadavg: 1.92 1.78 1.63 4/202 21843
/proc/meminfo: memFree=26745412/32770624 swapFree=0/438744
[pid=21843] ppid=21840 vsize=13974784 CPUtime=0.68 cores=0,2,4,6
/proc/21843/stat : 21843 (java) S 21840 21843 4821 0 -1 1077944320 13812 12648 0 0 56 4 5 3 20 0 15 0 94631085 14310178816 14202 18446744073709551615 4194304 4196468 140725732067744 140725732050288 139621995970295 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
/proc/21843/statm: 3493696 14202 3116 1 0 3482965 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13974784
[startup+1.5043 s]
/proc/loadavg: 1.92 1.78 1.63 3/217 21906
/proc/meminfo: memFree=26653760/32770624 swapFree=0/438992
[pid=21843] ppid=21840 vsize=13985408 CPUtime=1.87 cores=0,2,4,6
/proc/21843/stat : 21843 (java) S 21840 21843 4821 0 -1 1077944320 27960 12648 0 0 171 8 5 3 20 0 15 0 94631085 14321057792 36079 18446744073709551615 4194304 4196468 140725732067744 140725732050288 139621995970295 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
/proc/21843/statm: 3496352 36079 3343 1 0 3485525 0
[pid=21843/tid=21893] ppid=21840 vsize=13985408 CPUtime=1.31 cores=0,2,4,6
/proc/21843/task/21893/stat : 21893 (java) S 21840 21843 4821 0 -1 1077944384 22217 12648 0 0 117 6 5 3 20 0 15 0 94631107 14321057792 36079 18446744073709551615 4194304 4196468 140725732067744 139622000191408 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21894] ppid=21840 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21894/stat : 21894 (java) S 21840 21843 4821 0 -1 1077944384 29 12648 0 0 0 0 5 3 20 0 15 0 94631108 14321057792 36079 18446744073709551615 4194304 4196468 140725732067744 139621596404496 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21895] ppid=21840 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21895/stat : 21895 (java) S 21840 21843 4821 0 -1 1077944384 42 12648 0 0 0 0 5 3 20 0 15 0 94631108 14321057792 36079 18446744073709551615 4194304 4196468 140725732067744 139621595351952 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21896] ppid=21840 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21896/stat : 21896 (java) S 21840 21843 4821 0 -1 1077944384 181 12648 0 0 0 0 5 3 20 0 15 0 94631108 14321057792 36079 18446744073709551615 4194304 4196468 140725732067744 139621594299408 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21897] ppid=21840 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21897/stat : 21897 (java) S 21840 21843 4821 0 -1 1077944384 50 12648 0 0 0 0 5 3 20 0 15 0 94631108 14321057792 36079 18446744073709551615 4194304 4196468 140725732067744 139621593246864 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21898] ppid=21840 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21898/stat : 21898 (java) R 21840 21843 4821 0 -1 4202560 40 12648 0 0 0 0 5 3 20 0 15 0 94631109 14321057792 36079 18446744073709551615 4194304 4196468 140725732067744 139621541691904 139621981035040 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21899] ppid=21840 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21899/stat : 21899 (java) S 21840 21843 4821 0 -1 1077944384 33 12648 0 0 0 0 5 3 20 0 15 0 94631110 14321057792 36079 18446744073709551615 4194304 4196468 140725732067744 139621540639648 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21900] ppid=21840 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21900/stat : 21900 (java) S 21840 21843 4821 0 -1 1077944384 21 12648 0 0 0 0 5 3 20 0 15 0 94631110 14321057792 36079 18446744073709551615 4194304 4196468 140725732067744 139621539587056 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21901] ppid=21840 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21901/stat : 21901 (java) S 21840 21843 4821 0 -1 1077944384 3 12648 0 0 0 0 5 3 20 0 15 0 94631112 14321057792 36079 18446744073709551615 4194304 4196468 140725732067744 139621538535632 139621995988891 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21902] ppid=21840 vsize=13985408 CPUtime=0.25 cores=0,2,4,6
/proc/21843/task/21902/stat : 21902 (java) S 21840 21843 4821 0 -1 1077944384 1118 12648 0 0 17 0 5 3 20 0 15 0 94631113 14321057792 36079 18446744073709551615 4194304 4196468 140725732067744 139621537483248 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21903] ppid=21840 vsize=13985408 CPUtime=0.2 cores=0,2,4,6
/proc/21843/task/21903/stat : 21903 (java) S 21840 21843 4821 0 -1 1077944384 686 12648 0 0 12 0 5 3 20 0 15 0 94631113 14321057792 36079 18446744073709551615 4194304 4196468 140725732067744 139621536430704 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21904] ppid=21840 vsize=13985408 CPUtime=0.31 cores=0,2,4,6
/proc/21843/task/21904/stat : 21904 (java) S 21840 21843 4821 0 -1 1077944384 1374 12648 0 0 23 0 5 3 20 0 15 0 94631113 14321057792 36079 18446744073709551615 4194304 4196468 140725732067744 139621467940512 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21905] ppid=21840 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21905/stat : 21905 (java) S 21840 21843 4821 0 -1 1077944384 3 12648 0 0 0 0 5 3 20 0 15 0 94631113 14321057792 36079 18446744073709551615 4194304 4196468 140725732067744 139621466889312 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21906] ppid=21840 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21906/stat : 21906 (java) S 21840 21843 4821 0 -1 1077944384 10 12648 0 0 0 0 5 3 20 0 15 0 94631117 14321057792 36079 18446744073709551615 4194304 4196468 140725732067744 139621465835824 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 13985408
[startup+3.10059 s]
/proc/loadavg: 1.92 1.78 1.63 5/217 21906
/proc/meminfo: memFree=26576396/32770624 swapFree=0/438992
[pid=21843] ppid=21840 vsize=13995836 CPUtime=5.56 cores=0,2,4,6
/proc/21843/stat : 21843 (java) S 21840 21843 4821 0 -1 1077944320 48819 12648 0 0 535 13 5 3 20 0 15 0 94631085 14331736064 60248 18446744073709551615 4194304 4196468 140725732067744 140725732050288 139621995970295 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
/proc/21843/statm: 3498959 60248 3445 1 0 3487573 0
[pid=21843/tid=21893] ppid=21840 vsize=13995836 CPUtime=2.87 cores=0,2,4,6
/proc/21843/task/21893/stat : 21893 (java) R 21840 21843 4821 0 -1 4202560 34409 12648 0 0 271 8 5 3 20 0 15 0 94631107 14331736064 60248 18446744073709551615 4194304 4196468 140725732067744 139622000200944 139621977533824 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21894] ppid=21840 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21894/stat : 21894 (java) S 21840 21843 4821 0 -1 1077944384 48 12648 0 0 0 0 5 3 20 0 15 0 94631108 14331736064 60248 18446744073709551615 4194304 4196468 140725732067744 139621596404496 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21895] ppid=21840 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21895/stat : 21895 (java) S 21840 21843 4821 0 -1 1077944384 59 12648 0 0 0 0 5 3 20 0 15 0 94631108 14331736064 60248 18446744073709551615 4194304 4196468 140725732067744 139621595351952 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21896] ppid=21840 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/21843/task/21896/stat : 21896 (java) S 21840 21843 4821 0 -1 1077944384 188 12648 0 0 1 0 5 3 20 0 15 0 94631108 14331736064 60248 18446744073709551615 4194304 4196468 140725732067744 139621594299408 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21897] ppid=21840 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/21843/task/21897/stat : 21897 (java) S 21840 21843 4821 0 -1 1077944384 62 12648 0 0 1 0 5 3 20 0 15 0 94631108 14331736064 60248 18446744073709551615 4194304 4196468 140725732067744 139621593246864 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21898] ppid=21840 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/21843/task/21898/stat : 21898 (java) S 21840 21843 4821 0 -1 1077944384 1485 12648 0 0 1 0 5 3 20 0 15 0 94631109 14331736064 60248 18446744073709551615 4194304 4196468 140725732067744 139621541693424 139621995981442 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21899] ppid=21840 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21899/stat : 21899 (java) S 21840 21843 4821 0 -1 1077944384 56 12648 0 0 0 0 5 3 20 0 15 0 94631110 14331736064 60248 18446744073709551615 4194304 4196468 140725732067744 139621540639712 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21900] ppid=21840 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21900/stat : 21900 (java) S 21840 21843 4821 0 -1 1077944384 44 12648 0 0 0 0 5 3 20 0 15 0 94631110 14331736064 60248 18446744073709551615 4194304 4196468 140725732067744 139621539587072 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21901] ppid=21840 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21901/stat : 21901 (java) S 21840 21843 4821 0 -1 1077944384 3 12648 0 0 0 0 5 3 20 0 15 0 94631112 14331736064 60248 18446744073709551615 4194304 4196468 140725732067744 139621538535632 139621995988891 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21902] ppid=21840 vsize=13995836 CPUtime=0.9 cores=0,2,4,6
/proc/21843/task/21902/stat : 21902 (java) R 21840 21843 4821 0 -1 4202560 2655 12648 0 0 82 0 5 3 20 0 15 0 94631113 14331736064 60248 18446744073709551615 4194304 4196468 140725732067744 139621537483248 139621977515525 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21903] ppid=21840 vsize=13995836 CPUtime=1 cores=0,2,4,6
/proc/21843/task/21903/stat : 21903 (java) S 21840 21843 4821 0 -1 1077944384 4263 12648 0 0 92 0 5 3 20 0 15 0 94631113 14331736064 60248 18446744073709551615 4194304 4196468 140725732067744 139621536430704 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21904] ppid=21840 vsize=13995836 CPUtime=0.91 cores=0,2,4,6
/proc/21843/task/21904/stat : 21904 (java) S 21840 21843 4821 0 -1 1077944384 3379 12648 0 0 83 0 5 3 20 0 15 0 94631113 14331736064 60248 18446744073709551615 4194304 4196468 140725732067744 139621467941616 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21905] ppid=21840 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21905/stat : 21905 (java) S 21840 21843 4821 0 -1 1077944384 3 12648 0 0 0 0 5 3 20 0 15 0 94631113 14331736064 60248 18446744073709551615 4194304 4196468 140725732067744 139621466889312 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21906] ppid=21840 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21906/stat : 21906 (java) S 21840 21843 4821 0 -1 1077944384 11 12648 0 0 0 0 5 3 20 0 15 0 94631117 14331736064 60248 18446744073709551615 4194304 4196468 140725732067744 139621465835824 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
Current children cumulated CPU time (s) 5.56
Current children cumulated vsize (KiB) 13995836
[startup+6.3014 s]
/proc/loadavg: 2.09 1.82 1.64 4/217 21906
/proc/meminfo: memFree=26303012/32770624 swapFree=0/438992
[pid=21843] ppid=21840 vsize=13999932 CPUtime=11.17 cores=0,2,4,6
/proc/21843/stat : 21843 (java) S 21840 21843 4821 0 -1 1077944320 51822 12648 0 0 1079 30 5 3 20 0 15 0 94631085 14335930368 159827 18446744073709551615 4194304 4196468 140725732067744 140725732050288 139621995970295 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
/proc/21843/statm: 3499983 159827 3467 1 0 3488597 0
[pid=21843/tid=21893] ppid=21840 vsize=13999932 CPUtime=6 cores=0,2,4,6
/proc/21843/task/21893/stat : 21893 (java) R 21840 21843 4821 0 -1 4202560 35626 12648 0 0 578 14 5 3 20 0 15 0 94631107 14335930368 159827 18446744073709551615 4194304 4196468 140725732067744 139622000202488 139621630209008 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21894] ppid=21840 vsize=13999932 CPUtime=0.14 cores=0,2,4,6
/proc/21843/task/21894/stat : 21894 (java) S 21840 21843 4821 0 -1 1077944384 100 12648 0 0 4 2 5 3 20 0 15 0 94631108 14335930368 159827 18446744073709551615 4194304 4196468 140725732067744 139621596404496 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21895] ppid=21840 vsize=13999932 CPUtime=0.14 cores=0,2,4,6
/proc/21843/task/21895/stat : 21895 (java) S 21840 21843 4821 0 -1 1077944384 250 12648 0 0 4 2 5 3 20 0 15 0 94631108 14335930368 159827 18446744073709551615 4194304 4196468 140725732067744 139621595351952 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21896] ppid=21840 vsize=13999932 CPUtime=0.14 cores=0,2,4,6
/proc/21843/task/21896/stat : 21896 (java) S 21840 21843 4821 0 -1 1077944384 254 12648 0 0 4 2 5 3 20 0 15 0 94631108 14335930368 159827 18446744073709551615 4194304 4196468 140725732067744 139621594299408 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21897] ppid=21840 vsize=13999932 CPUtime=0.14 cores=0,2,4,6
/proc/21843/task/21897/stat : 21897 (java) S 21840 21843 4821 0 -1 1077944384 102 12648 0 0 4 2 5 3 20 0 15 0 94631108 14335930368 159827 18446744073709551615 4194304 4196468 140725732067744 139621593246864 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21898] ppid=21840 vsize=13999932 CPUtime=0.1 cores=0,2,4,6
/proc/21843/task/21898/stat : 21898 (java) S 21840 21843 4821 0 -1 1077944384 1749 12648 0 0 2 0 5 3 20 0 15 0 94631109 14335930368 159827 18446744073709551615 4194304 4196468 140725732067744 139621541693424 139621995981442 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21899] ppid=21840 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21899/stat : 21899 (java) S 21840 21843 4821 0 -1 1077944384 56 12648 0 0 0 0 5 3 20 0 15 0 94631110 14335930368 159827 18446744073709551615 4194304 4196468 140725732067744 139621540639712 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21900] ppid=21840 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21900/stat : 21900 (java) S 21840 21843 4821 0 -1 1077944384 44 12648 0 0 0 0 5 3 20 0 15 0 94631110 14335930368 159827 18446744073709551615 4194304 4196468 140725732067744 139621539587072 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21901] ppid=21840 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21901/stat : 21901 (java) S 21840 21843 4821 0 -1 1077944384 3 12648 0 0 0 0 5 3 20 0 15 0 94631112 14335930368 159827 18446744073709551615 4194304 4196468 140725732067744 139621538535632 139621995988891 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21902] ppid=21840 vsize=13999932 CPUtime=1.85 cores=0,2,4,6
/proc/21843/task/21902/stat : 21902 (java) S 21840 21843 4821 0 -1 1077944384 2929 12648 0 0 176 1 5 3 20 0 15 0 94631113 14335930368 159827 18446744073709551615 4194304 4196468 140725732067744 139621537483248 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21903] ppid=21840 vsize=13999932 CPUtime=1.93 cores=0,2,4,6
/proc/21843/task/21903/stat : 21903 (java) S 21840 21843 4821 0 -1 1077944384 4515 12648 0 0 184 1 5 3 20 0 15 0 94631113 14335930368 159827 18446744073709551615 4194304 4196468 140725732067744 139621536430704 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21904] ppid=21840 vsize=13999932 CPUtime=1.27 cores=0,2,4,6
/proc/21843/task/21904/stat : 21904 (java) S 21840 21843 4821 0 -1 1077944384 4025 12648 0 0 118 1 5 3 20 0 15 0 94631113 14335930368 159827 18446744073709551615 4194304 4196468 140725732067744 139621467941616 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21905] ppid=21840 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21905/stat : 21905 (java) S 21840 21843 4821 0 -1 1077944384 3 12648 0 0 0 0 5 3 20 0 15 0 94631113 14335930368 159827 18446744073709551615 4194304 4196468 140725732067744 139621466889312 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21906] ppid=21840 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21906/stat : 21906 (java) S 21840 21843 4821 0 -1 1077944384 12 12648 0 0 0 0 5 3 20 0 15 0 94631117 14335930368 159827 18446744073709551615 4194304 4196468 140725732067744 139621465835824 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
Current children cumulated CPU time (s) 11.17
Current children cumulated vsize (KiB) 13999932
[startup+12.7007 s]
/proc/loadavg: 2.08 1.82 1.64 3/217 21906
/proc/meminfo: memFree=25537072/32770624 swapFree=0/438996
[pid=21843] ppid=21840 vsize=14001980 CPUtime=19.47 cores=0,2,4,6
/proc/21843/stat : 21843 (java) S 21840 21843 4821 0 -1 1077944320 56937 12648 0 0 1893 46 5 3 20 0 15 0 94631085 14338027520 350875 18446744073709551615 4194304 4196468 140725732067744 140725732050288 139621995970295 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
/proc/21843/statm: 3500495 350875 3473 1 0 3489109 0
[pid=21843/tid=21893] ppid=21840 vsize=14001980 CPUtime=12.22 cores=0,2,4,6
/proc/21843/task/21893/stat : 21893 (java) R 21840 21843 4821 0 -1 4202560 37417 12648 0 0 1189 25 5 3 20 0 15 0 94631107 14338027520 350875 18446744073709551615 4194304 4196468 140725732067744 139622000201272 139621622445468 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21894] ppid=21840 vsize=14001980 CPUtime=0.28 cores=0,2,4,6
/proc/21843/task/21894/stat : 21894 (java) S 21840 21843 4821 0 -1 1077944384 135 12648 0 0 17 3 5 3 20 0 15 0 94631108 14338027520 350875 18446744073709551615 4194304 4196468 140725732067744 139621596404496 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21895] ppid=21840 vsize=14001980 CPUtime=0.28 cores=0,2,4,6
/proc/21843/task/21895/stat : 21895 (java) S 21840 21843 4821 0 -1 1077944384 319 12648 0 0 17 3 5 3 20 0 15 0 94631108 14338027520 350875 18446744073709551615 4194304 4196468 140725732067744 139621595351952 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21896] ppid=21840 vsize=14001980 CPUtime=0.28 cores=0,2,4,6
/proc/21843/task/21896/stat : 21896 (java) S 21840 21843 4821 0 -1 1077944384 339 12648 0 0 17 3 5 3 20 0 15 0 94631108 14338027520 350875 18446744073709551615 4194304 4196468 140725732067744 139621594299408 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21897] ppid=21840 vsize=14001980 CPUtime=0.28 cores=0,2,4,6
/proc/21843/task/21897/stat : 21897 (java) S 21840 21843 4821 0 -1 1077944384 145 12648 0 0 17 3 5 3 20 0 15 0 94631108 14338027520 350875 18446744073709551615 4194304 4196468 140725732067744 139621593246864 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21898] ppid=21840 vsize=14001980 CPUtime=0.13 cores=0,2,4,6
/proc/21843/task/21898/stat : 21898 (java) S 21840 21843 4821 0 -1 1077944384 2760 12648 0 0 5 0 5 3 20 0 15 0 94631109 14338027520 350875 18446744073709551615 4194304 4196468 140725732067744 139621541693424 139621995981442 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21899] ppid=21840 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21899/stat : 21899 (java) S 21840 21843 4821 0 -1 1077944384 56 12648 0 0 0 0 5 3 20 0 15 0 94631110 14338027520 350875 18446744073709551615 4194304 4196468 140725732067744 139621540639712 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21900] ppid=21840 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21900/stat : 21900 (java) S 21840 21843 4821 0 -1 1077944384 44 12648 0 0 0 0 5 3 20 0 15 0 94631110 14338027520 350875 18446744073709551615 4194304 4196468 140725732067744 139621539587072 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21901] ppid=21840 vsize=14001980 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21901/stat : 21901 (java) S 21840 21843 4821 0 -1 1077944384 3 12648 0 0 0 0 5 3 20 0 15 0 94631112 14338027520 350875 18446744073709551615 4194304 4196468 140725732067744 139621538535632 139621995988891 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
################
# More data... #
################
Current children cumulated vsize (KiB) 14069564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1036.8 s]
/proc/loadavg: 2.89 2.86 2.48 6/214 21961
/proc/meminfo: memFree=15015832/32770624 swapFree=0/439216
[pid=21843] ppid=21840 vsize=14069564 CPUtime=2520.13 cores=0,2,4,6
/proc/21843/stat : 21843 (java) S 21840 21843 4821 0 -1 1077944320 1903772 12648 0 0 250006 1999 5 3 20 0 15 0 94631085 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 140725732050288 139621995970295 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
/proc/21843/statm: 3517391 2934022 3495 1 0 3506005 0
[pid=21843/tid=21893] ppid=21840 vsize=14069564 CPUtime=540.05 cores=0,2,4,6
/proc/21843/task/21893/stat : 21893 (java) S 21840 21843 4821 0 -1 1077944384 97986 12648 0 0 53961 36 5 3 20 0 15 0 94631107 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139622000202192 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21894] ppid=21840 vsize=14069564 CPUtime=490.27 cores=0,2,4,6
/proc/21843/task/21894/stat : 21894 (java) R 21840 21843 4821 0 -1 4202560 375399 12648 0 0 48539 480 5 3 20 0 15 0 94631108 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621596404496 139621977567306 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21895] ppid=21840 vsize=14069564 CPUtime=490.54 cores=0,2,4,6
/proc/21843/task/21895/stat : 21895 (java) R 21840 21843 4821 0 -1 4202560 342535 12648 0 0 48572 474 5 3 20 0 15 0 94631108 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621595352152 139621980920900 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21896] ppid=21840 vsize=14069564 CPUtime=490.5 cores=0,2,4,6
/proc/21843/task/21896/stat : 21896 (java) R 21840 21843 4821 0 -1 4202560 390225 12648 0 0 48565 477 5 3 20 0 15 0 94631108 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621594299608 139621980920900 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21897] ppid=21840 vsize=14069564 CPUtime=490.67 cores=0,2,4,6
/proc/21843/task/21897/stat : 21897 (java) R 21840 21843 4821 0 -1 4202560 386824 12648 0 0 48573 486 5 3 20 0 15 0 94631108 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621593246752 139621977566822 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21898] ppid=21840 vsize=14069564 CPUtime=3.86 cores=0,2,4,6
/proc/21843/task/21898/stat : 21898 (java) S 21840 21843 4821 0 -1 1077944384 227737 12648 0 0 363 15 5 3 20 0 15 0 94631109 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621541691744 139621995980501 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21899] ppid=21840 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21899/stat : 21899 (java) S 21840 21843 4821 0 -1 1077944384 128 12648 0 0 0 0 5 3 20 0 15 0 94631110 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621540639776 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21900] ppid=21840 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21900/stat : 21900 (java) S 21840 21843 4821 0 -1 1077944384 83 12648 0 0 0 0 5 3 20 0 15 0 94631110 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621539587072 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21901] ppid=21840 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21901/stat : 21901 (java) S 21840 21843 4821 0 -1 1077944384 3 12648 0 0 0 0 5 3 20 0 15 0 94631112 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621538535632 139621995988891 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21902] ppid=21840 vsize=14069564 CPUtime=6.17 cores=0,2,4,6
/proc/21843/task/21902/stat : 21902 (java) S 21840 21843 4821 0 -1 1077944384 32141 12648 0 0 605 4 5 3 20 0 15 0 94631113 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621537483248 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21903] ppid=21840 vsize=14069564 CPUtime=5.51 cores=0,2,4,6
/proc/21843/task/21903/stat : 21903 (java) S 21840 21843 4821 0 -1 1077944384 30299 12648 0 0 538 5 5 3 20 0 15 0 94631113 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621536430704 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21904] ppid=21840 vsize=14069564 CPUtime=2.24 cores=0,2,4,6
/proc/21843/task/21904/stat : 21904 (java) S 21840 21843 4821 0 -1 1077944384 15505 12648 0 0 211 5 5 3 20 0 15 0 94631113 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621467941616 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21905] ppid=21840 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21905/stat : 21905 (java) S 21840 21843 4821 0 -1 1077944384 3 12648 0 0 0 0 5 3 20 0 15 0 94631113 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621466889312 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21906] ppid=21840 vsize=14069564 CPUtime=0.92 cores=0,2,4,6
/proc/21843/task/21906/stat : 21906 (java) S 21840 21843 4821 0 -1 1077944384 2750 12648 0 0 40 44 5 3 20 0 15 0 94631117 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621465835824 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
Current children cumulated CPU time (s) 2520.13
Current children cumulated vsize (KiB) 14069564
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -21843
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21843 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+1037.6 s]
/proc/loadavg: 2.89 2.86 2.48 6/214 21961
/proc/meminfo: memFree=15015832/32770624 swapFree=0/439216
[pid=21843] ppid=21840 vsize=14069564 CPUtime=2523.27 cores=0,2,4,6
/proc/21843/stat : 21843 (java) S 21840 21843 4821 0 -1 1077944320 1903777 12648 0 0 250320 1999 5 3 20 0 15 0 94631085 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 140725732050288 139621995970295 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
/proc/21843/statm: 3517391 2934022 3495 1 0 3506005 0
[pid=21843/tid=21893] ppid=21840 vsize=14069564 CPUtime=540.05 cores=0,2,4,6
/proc/21843/task/21893/stat : 21893 (java) S 21840 21843 4821 0 -1 1077944384 97986 12648 0 0 53961 36 5 3 20 0 15 0 94631107 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139622000202192 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21894] ppid=21840 vsize=14069564 CPUtime=491.06 cores=0,2,4,6
/proc/21843/task/21894/stat : 21894 (java) R 21840 21843 4821 0 -1 4202560 375399 12648 0 0 48618 480 5 3 20 0 15 0 94631108 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621596404696 139621980670991 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21895] ppid=21840 vsize=14069564 CPUtime=491.32 cores=0,2,4,6
/proc/21843/task/21895/stat : 21895 (java) R 21840 21843 4821 0 -1 4202560 342535 12648 0 0 48650 474 5 3 20 0 15 0 94631108 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621595352152 139621980670928 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21896] ppid=21840 vsize=14069564 CPUtime=491.28 cores=0,2,4,6
/proc/21843/task/21896/stat : 21896 (java) R 21840 21843 4821 0 -1 4202560 390225 12648 0 0 48643 477 5 3 20 0 15 0 94631108 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621594299296 139621980671023 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21897] ppid=21840 vsize=14069564 CPUtime=491.44 cores=0,2,4,6
/proc/21843/task/21897/stat : 21897 (java) R 21840 21843 4821 0 -1 4202560 386824 12648 0 0 48650 486 5 3 20 0 15 0 94631108 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621593247064 139621980966699 0 4 1 16800974 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21898] ppid=21840 vsize=14069564 CPUtime=3.88 cores=0,2,4,6
/proc/21843/task/21898/stat : 21898 (java) S 21840 21843 4821 0 -1 1077944384 227738 12648 0 0 365 15 5 3 20 0 15 0 94631109 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621541691968 139621995980501 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21899] ppid=21840 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21899/stat : 21899 (java) S 21840 21843 4821 0 -1 1077944384 128 12648 0 0 0 0 5 3 20 0 15 0 94631110 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621540639776 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21900] ppid=21840 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21900/stat : 21900 (java) S 21840 21843 4821 0 -1 1077944384 83 12648 0 0 0 0 5 3 20 0 15 0 94631110 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621539587072 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21901] ppid=21840 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21901/stat : 21901 (java) S 21840 21843 4821 0 -1 1077944384 6 12648 0 0 0 0 5 3 20 0 15 0 94631112 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621538535280 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21902] ppid=21840 vsize=14069564 CPUtime=6.17 cores=0,2,4,6
/proc/21843/task/21902/stat : 21902 (java) S 21840 21843 4821 0 -1 1077944384 32141 12648 0 0 605 4 5 3 20 0 15 0 94631113 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621537483248 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21903] ppid=21840 vsize=14069564 CPUtime=5.51 cores=0,2,4,6
/proc/21843/task/21903/stat : 21903 (java) S 21840 21843 4821 0 -1 1077944384 30299 12648 0 0 538 5 5 3 20 0 15 0 94631113 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621536430704 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21904] ppid=21840 vsize=14069564 CPUtime=2.24 cores=0,2,4,6
/proc/21843/task/21904/stat : 21904 (java) S 21840 21843 4821 0 -1 1077944384 15505 12648 0 0 211 5 5 3 20 0 15 0 94631113 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621467941616 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21905] ppid=21840 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21905/stat : 21905 (java) S 21840 21843 4821 0 -1 1077944384 3 12648 0 0 0 0 5 3 20 0 15 0 94631113 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621466889312 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21906] ppid=21840 vsize=14069564 CPUtime=0.92 cores=0,2,4,6
/proc/21843/task/21906/stat : 21906 (java) S 21840 21843 4821 0 -1 1077944384 2750 12648 0 0 40 44 5 3 20 0 15 0 94631117 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621465835824 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
Current children cumulated CPU time (s) 2523.27
Current children cumulated vsize (KiB) 14069564
[startup+1038.4 s]
/proc/loadavg: 2.89 2.86 2.48 6/214 21961
/proc/meminfo: memFree=15015832/32770624 swapFree=0/439216
[pid=21843] ppid=21840 vsize=14069564 CPUtime=2526.48 cores=0,2,4,6
/proc/21843/stat : 21843 (java) S 21840 21843 4821 0 -1 1077944320 1903777 12648 0 0 250641 1999 5 3 20 0 15 0 94631085 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 140725732050288 139621995970295 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
/proc/21843/statm: 3517391 2934022 3495 1 0 3506005 0
[pid=21843/tid=21893] ppid=21840 vsize=14069564 CPUtime=540.05 cores=0,2,4,6
/proc/21843/task/21893/stat : 21893 (java) S 21840 21843 4821 0 -1 1077944384 97986 12648 0 0 53961 36 5 3 20 0 15 0 94631107 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139622000202192 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21894] ppid=21840 vsize=14069564 CPUtime=491.86 cores=0,2,4,6
/proc/21843/task/21894/stat : 21894 (java) R 21840 21843 4821 0 -1 4202560 375399 12648 0 0 48698 480 5 3 20 0 15 0 94631108 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621596404696 139621980966366 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21895] ppid=21840 vsize=14069564 CPUtime=492.13 cores=0,2,4,6
/proc/21843/task/21895/stat : 21895 (java) R 21840 21843 4821 0 -1 4202560 342535 12648 0 0 48731 474 5 3 20 0 15 0 94631108 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621595352152 139621977580127 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21896] ppid=21840 vsize=14069564 CPUtime=492.09 cores=0,2,4,6
/proc/21843/task/21896/stat : 21896 (java) R 21840 21843 4821 0 -1 4202560 390225 12648 0 0 48724 477 5 3 20 0 15 0 94631108 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621594299296 139621980670983 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21897] ppid=21840 vsize=14069564 CPUtime=492.24 cores=0,2,4,6
/proc/21843/task/21897/stat : 21897 (java) R 21840 21843 4821 0 -1 4202560 386824 12648 0 0 48730 486 5 3 20 0 15 0 94631108 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621593247064 139621980670979 0 4 1 16800974 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21898] ppid=21840 vsize=14069564 CPUtime=3.88 cores=0,2,4,6
/proc/21843/task/21898/stat : 21898 (java) S 21840 21843 4821 0 -1 1077944384 227738 12648 0 0 365 15 5 3 20 0 15 0 94631109 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621541691968 139621995980501 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21899] ppid=21840 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21899/stat : 21899 (java) S 21840 21843 4821 0 -1 1077944384 128 12648 0 0 0 0 5 3 20 0 15 0 94631110 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621540639776 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21900] ppid=21840 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21900/stat : 21900 (java) S 21840 21843 4821 0 -1 1077944384 83 12648 0 0 0 0 5 3 20 0 15 0 94631110 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621539587072 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21901] ppid=21840 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21901/stat : 21901 (java) S 21840 21843 4821 0 -1 1077944384 6 12648 0 0 0 0 5 3 20 0 15 0 94631112 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621538535280 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21902] ppid=21840 vsize=14069564 CPUtime=6.17 cores=0,2,4,6
/proc/21843/task/21902/stat : 21902 (java) S 21840 21843 4821 0 -1 1077944384 32141 12648 0 0 605 4 5 3 20 0 15 0 94631113 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621537483248 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21903] ppid=21840 vsize=14069564 CPUtime=5.51 cores=0,2,4,6
/proc/21843/task/21903/stat : 21903 (java) S 21840 21843 4821 0 -1 1077944384 30299 12648 0 0 538 5 5 3 20 0 15 0 94631113 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621536430704 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21904] ppid=21840 vsize=14069564 CPUtime=2.24 cores=0,2,4,6
/proc/21843/task/21904/stat : 21904 (java) S 21840 21843 4821 0 -1 1077944384 15505 12648 0 0 211 5 5 3 20 0 15 0 94631113 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621467941616 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21905] ppid=21840 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21905/stat : 21905 (java) S 21840 21843 4821 0 -1 1077944384 3 12648 0 0 0 0 5 3 20 0 15 0 94631113 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621466889312 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21906] ppid=21840 vsize=14069564 CPUtime=0.92 cores=0,2,4,6
/proc/21843/task/21906/stat : 21906 (java) S 21840 21843 4821 0 -1 1077944384 2750 12648 0 0 40 44 5 3 20 0 15 0 94631117 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621465835824 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
Current children cumulated CPU time (s) 2526.48
Current children cumulated vsize (KiB) 14069564
[startup+1038.8 s]
/proc/loadavg: 2.89 2.86 2.48 6/214 21961
/proc/meminfo: memFree=15015832/32770624 swapFree=0/439216
[pid=21843] ppid=21840 vsize=14069564 CPUtime=2528.05 cores=0,2,4,6
/proc/21843/stat : 21843 (java) S 21840 21843 4821 0 -1 1077944320 1903777 12648 0 0 250798 1999 5 3 20 0 15 0 94631085 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 140725732050288 139621995970295 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
/proc/21843/statm: 3517391 2934022 3495 1 0 3506005 0
[pid=21843/tid=21893] ppid=21840 vsize=14069564 CPUtime=540.05 cores=0,2,4,6
/proc/21843/task/21893/stat : 21893 (java) S 21840 21843 4821 0 -1 1077944384 97986 12648 0 0 53961 36 5 3 20 0 15 0 94631107 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139622000202192 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21894] ppid=21840 vsize=14069564 CPUtime=492.26 cores=0,2,4,6
/proc/21843/task/21894/stat : 21894 (java) R 21840 21843 4821 0 -1 4202560 375399 12648 0 0 48738 480 5 3 20 0 15 0 94631108 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621596404696 139621980670928 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21895] ppid=21840 vsize=14069564 CPUtime=492.52 cores=0,2,4,6
/proc/21843/task/21895/stat : 21895 (java) R 21840 21843 4821 0 -1 4202560 342535 12648 0 0 48770 474 5 3 20 0 15 0 94631108 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621595352152 139621977523536 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21896] ppid=21840 vsize=14069564 CPUtime=492.48 cores=0,2,4,6
/proc/21843/task/21896/stat : 21896 (java) R 21840 21843 4821 0 -1 4202560 390225 12648 0 0 48763 477 5 3 20 0 15 0 94631108 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621594299296 139621980966702 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21897] ppid=21840 vsize=14069564 CPUtime=492.63 cores=0,2,4,6
/proc/21843/task/21897/stat : 21897 (java) R 21840 21843 4821 0 -1 4202560 386824 12648 0 0 48769 486 5 3 20 0 15 0 94631108 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621593247064 139621980670942 0 4 1 16800974 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21898] ppid=21840 vsize=14069564 CPUtime=3.88 cores=0,2,4,6
/proc/21843/task/21898/stat : 21898 (java) S 21840 21843 4821 0 -1 1077944384 227738 12648 0 0 365 15 5 3 20 0 15 0 94631109 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621541691968 139621995980501 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21899] ppid=21840 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21899/stat : 21899 (java) S 21840 21843 4821 0 -1 1077944384 128 12648 0 0 0 0 5 3 20 0 15 0 94631110 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621540639776 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21900] ppid=21840 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21900/stat : 21900 (java) S 21840 21843 4821 0 -1 1077944384 83 12648 0 0 0 0 5 3 20 0 15 0 94631110 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621539587072 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21901] ppid=21840 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21901/stat : 21901 (java) S 21840 21843 4821 0 -1 1077944384 6 12648 0 0 0 0 5 3 20 0 15 0 94631112 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621538535280 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21902] ppid=21840 vsize=14069564 CPUtime=6.17 cores=0,2,4,6
/proc/21843/task/21902/stat : 21902 (java) S 21840 21843 4821 0 -1 1077944384 32141 12648 0 0 605 4 5 3 20 0 15 0 94631113 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621537483248 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21903] ppid=21840 vsize=14069564 CPUtime=5.51 cores=0,2,4,6
/proc/21843/task/21903/stat : 21903 (java) S 21840 21843 4821 0 -1 1077944384 30299 12648 0 0 538 5 5 3 20 0 15 0 94631113 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621536430704 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21904] ppid=21840 vsize=14069564 CPUtime=2.24 cores=0,2,4,6
/proc/21843/task/21904/stat : 21904 (java) S 21840 21843 4821 0 -1 1077944384 15505 12648 0 0 211 5 5 3 20 0 15 0 94631113 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621467941616 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21905] ppid=21840 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/21843/task/21905/stat : 21905 (java) S 21840 21843 4821 0 -1 1077944384 3 12648 0 0 0 0 5 3 20 0 15 0 94631113 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621466889312 139621995980501 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
[pid=21843/tid=21906] ppid=21840 vsize=14069564 CPUtime=0.92 cores=0,2,4,6
/proc/21843/task/21906/stat : 21906 (java) S 21840 21843 4821 0 -1 1077944384 2750 12648 0 0 40 44 5 3 20 0 15 0 94631117 14407233536 2934022 18446744073709551615 4194304 4196468 140725732067744 139621465835824 139621995981442 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23121920 140725732075472 140725732078257 140725732078257 140725732081615 0
Current children cumulated CPU time (s) 2528.05
Current children cumulated vsize (KiB) 14069564
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1038.88
CPU time (s): 2528.18
CPU user time (s): 2508.08
CPU system time (s): 20.0938
CPU usage (%): 243.356
Max. virtual memory (cumulated for all children) (KiB): 14069564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.08
system time used= 20.0938
maximum resident set size= 11829056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1916428
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 415904
involuntary context switches= 20394
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.88057 second user time and 6.90459 second system time
The end