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-4247333-1500729381/watcher-4247333-1500729381 -o /tmp/evaluation-result-4247333-1500729381/solver-4247333-1500729381 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500717875-23066 --watchdog 2560 bin/concrete HOME/instance-4247333-1500729381.xml
pid=26985
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 2.38 1.71 1.56 3/261 26988
/proc/meminfo: memFree=30522028/32770624 swapFree=5776/310380
[pid=26988] ppid=26985 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/26988/stat : 26988 (bash) S 26985 26988 23034 0 -1 4202496 685 1534 0 0 0 0 0 0 20 0 1 0 8203465 9736192 350 33554432000 4194304 5098028 140735676878160 140735676875800 139692325526528 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 40472576 140735676880142 140735676880227 140735676880227 140735676882926 0
/proc/26988/statm: 2377 350 278 221 0 86 0
[startup+0.100146 s]
/proc/loadavg: 2.38 1.71 1.56 3/261 26988
/proc/meminfo: memFree=30522028/32770624 swapFree=5776/310380
[pid=26988] ppid=26985 vsize=100812 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/stat : 26988 (java) S 26985 26988 23034 0 -1 1077944320 2244 12433 0 0 0 0 6 3 20 0 2 0 8203465 103231488 1208 33554432000 4194304 4196468 140736174682816 140736174665360 140010133135095 0 0 4096 0 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
/proc/26988/statm: 25203 1208 891 1 0 16801 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 100812
[startup+0.2003 s]
/proc/loadavg: 2.38 1.71 1.56 3/261 26988
/proc/meminfo: memFree=30522028/32770624 swapFree=5776/310380
[pid=26988] ppid=26985 vsize=10901912 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/26988/stat : 26988 (java) S 26985 26988 23034 0 -1 1077944320 5816 12433 0 0 9 2 6 3 20 0 20 0 8203465 11163557888 6520 33554432000 4194304 4196468 140736174682816 140736174665360 140010133135095 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
/proc/26988/statm: 2725478 6520 2720 1 0 2713890 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 10901912
[startup+0.300304 s]
/proc/loadavg: 2.38 1.71 1.56 3/261 26988
/proc/meminfo: memFree=30522028/32770624 swapFree=5776/310380
[pid=26988] ppid=26985 vsize=10902292 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/26988/stat : 26988 (java) S 26985 26988 23034 0 -1 1077944320 9702 12433 0 0 23 3 6 3 20 0 20 0 8203465 11163947008 10709 33554432000 4194304 4196468 140736174682816 140736174665360 140010133135095 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
/proc/26988/statm: 2725573 10709 2953 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902292
[startup+0.700175 s]
/proc/loadavg: 2.38 1.71 1.56 3/261 26988
/proc/meminfo: memFree=30522028/32770624 swapFree=5776/310380
[pid=26988] ppid=26985 vsize=10902720 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/26988/stat : 26988 (java) S 26985 26988 23034 0 -1 1077944320 13126 12433 0 0 88 5 6 3 20 0 20 0 8203465 11164385280 16448 33554432000 4194304 4196468 140736174682816 140736174665360 140010133135095 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
/proc/26988/statm: 2725680 16448 3230 1 0 2713890 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 10902720
[startup+1.50117 s]
/proc/loadavg: 2.38 1.71 1.56 3/281 27061
/proc/meminfo: memFree=30412668/32770624 swapFree=5776/310176
[pid=26988] ppid=26985 vsize=10915392 CPUtime=2.34 cores=1,3,5,7,9,11,13,15
/proc/26988/stat : 26988 (java) S 26985 26988 23034 0 -1 1077944320 27438 12433 0 0 210 15 6 3 20 0 20 0 8203465 11177361408 44242 33554432000 4194304 4196468 140736174682816 140736174665360 140010133135095 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
/proc/26988/statm: 2728848 44242 3410 1 0 2716962 0
[pid=26988/tid=27043] ppid=26985 vsize=10915392 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27043/stat : 27043 (java) R 26985 26988 23034 0 -1 4202560 19256 12433 0 0 127 6 6 3 20 0 20 0 8203475 11177361408 44242 33554432000 4194304 4196468 140736174682816 140010137359696 140010133156442 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27044] ppid=26985 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27044/stat : 27044 (java) S 26985 26988 23034 0 -1 1077944384 36 12433 0 0 0 0 6 3 20 0 20 0 8203476 11177361408 44242 33554432000 4194304 4196468 140736174682816 140009739573904 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27045] ppid=26985 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27045/stat : 27045 (java) S 26985 26988 23034 0 -1 1077944384 18 12433 0 0 0 0 6 3 20 0 20 0 8203476 11177361408 44242 33554432000 4194304 4196468 140736174682816 140009738521104 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27046] ppid=26985 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27046/stat : 27046 (java) S 26985 26988 23034 0 -1 1077944384 17 12433 0 0 0 0 6 3 20 0 20 0 8203476 11177361408 44242 33554432000 4194304 4196468 140736174682816 140009737468304 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27047] ppid=26985 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27047/stat : 27047 (java) S 26985 26988 23034 0 -1 1077944384 18 12433 0 0 0 0 6 3 20 0 20 0 8203476 11177361408 44242 33554432000 4194304 4196468 140736174682816 140009736415504 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27048] ppid=26985 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27048/stat : 27048 (java) S 26985 26988 23034 0 -1 1077944384 143 12433 0 0 1 0 6 3 20 0 20 0 8203476 11177361408 44242 33554432000 4194304 4196468 140736174682816 140009735363728 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27049] ppid=26985 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27049/stat : 27049 (java) S 26985 26988 23034 0 -1 1077944384 44 12433 0 0 1 0 6 3 20 0 20 0 8203476 11177361408 44242 33554432000 4194304 4196468 140736174682816 140009734310928 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27050] ppid=26985 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27050/stat : 27050 (java) S 26985 26988 23034 0 -1 1077944384 27 12433 0 0 1 0 6 3 20 0 20 0 8203476 11177361408 44242 33554432000 4194304 4196468 140736174682816 140009733258128 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27051] ppid=26985 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27051/stat : 27051 (java) S 26985 26988 23034 0 -1 1077944384 26 12433 0 0 1 0 6 3 20 0 20 0 8203476 11177361408 44242 33554432000 4194304 4196468 140736174682816 140009732205328 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27052] ppid=26985 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27052/stat : 27052 (java) S 26985 26988 23034 0 -1 1077944384 1402 12433 0 0 1 0 6 3 20 0 20 0 8203478 11177361408 44242 33554432000 4194304 4196468 140736174682816 140009205168496 140010133146242 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27053] ppid=26985 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27053/stat : 27053 (java) S 26985 26988 23034 0 -1 1077944384 56 12433 0 0 0 0 6 3 20 0 20 0 8203479 11177361408 44242 33554432000 4194304 4196468 140736174682816 140009204114528 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27054] ppid=26985 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27054/stat : 27054 (java) S 26985 26988 23034 0 -1 1077944384 43 12433 0 0 0 0 6 3 20 0 20 0 8203479 11177361408 44242 33554432000 4194304 4196468 140736174682816 140009203061632 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27055] ppid=26985 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27055/stat : 27055 (java) S 26985 26988 23034 0 -1 1077944384 1 12433 0 0 0 0 6 3 20 0 20 0 8203483 11177361408 44242 33554432000 4194304 4196468 140736174682816 140009202009936 140010133153691 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27056] ppid=26985 vsize=10915392 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27056/stat : 27056 (java) S 26985 26988 23034 0 -1 1077944384 660 12433 0 0 9 0 6 3 20 0 20 0 8203483 11177361408 44242 33554432000 4194304 4196468 140736174682816 140009200958320 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27057] ppid=26985 vsize=10915392 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27057/stat : 27057 (java) S 26985 26988 23034 0 -1 1077944384 1406 12433 0 0 19 0 6 3 20 0 20 0 8203483 11177361408 44242 33554432000 4194304 4196468 140736174682816 140009199905520 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27058] ppid=26985 vsize=10915392 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27058/stat : 27058 (java) S 26985 26988 23034 0 -1 1077944384 713 12433 0 0 12 0 6 3 20 0 20 0 8203483 11177361408 44242 33554432000 4194304 4196468 140736174682816 140009198852720 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27059] ppid=26985 vsize=10915392 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27059/stat : 27059 (java) R 26985 26988 23034 0 -1 4202560 1437 12433 0 0 29 0 6 3 20 0 20 0 8203483 11177361408 44242 33554432000 4194304 4196468 140736174682816 140009197799920 140010133148977 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27060] ppid=26985 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27060/stat : 27060 (java) S 26985 26988 23034 0 -1 1077944384 3 12433 0 0 0 0 6 3 20 0 20 0 8203483 11177361408 44242 33554432000 4194304 4196468 140736174682816 140009196747360 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27061] ppid=26985 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27061/stat : 27061 (java) S 26985 26988 23034 0 -1 1077944384 3 12433 0 0 0 0 6 3 20 0 20 0 8203483 11177361408 44242 33554432000 4194304 4196468 140736174682816 140009195694640 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 10915392
[startup+3.10103 s]
/proc/loadavg: 2.43 1.73 1.57 5/281 27061
/proc/meminfo: memFree=30339888/32770624 swapFree=5776/310176
[pid=26988] ppid=26985 vsize=10923772 CPUtime=7.97 cores=1,3,5,7,9,11,13,15
/proc/26988/stat : 26988 (java) S 26985 26988 23034 0 -1 1077944320 43686 12433 0 0 755 33 6 3 20 0 20 0 8203465 11185942528 77594 33554432000 4194304 4196468 140736174682816 140736174665360 140010133135095 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
/proc/26988/statm: 2730943 77594 3494 1 0 2718498 0
[pid=26988/tid=27043] ppid=26985 vsize=10923772 CPUtime=2.96 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27043/stat : 27043 (java) R 26985 26988 23034 0 -1 4202560 24206 12433 0 0 278 9 6 3 20 0 20 0 8203475 11185942528 77594 33554432000 4194304 4196468 140736174682816 140010137367552 140010133147030 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27044] ppid=26985 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27044/stat : 27044 (java) S 26985 26988 23034 0 -1 1077944384 158 12433 0 0 2 2 6 3 20 0 20 0 8203476 11185942528 77594 33554432000 4194304 4196468 140736174682816 140009739573904 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27045] ppid=26985 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27045/stat : 27045 (java) S 26985 26988 23034 0 -1 1077944384 79 12433 0 0 2 2 6 3 20 0 20 0 8203476 11185942528 77594 33554432000 4194304 4196468 140736174682816 140009738521104 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27046] ppid=26985 vsize=10923772 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27046/stat : 27046 (java) S 26985 26988 23034 0 -1 1077944384 83 12433 0 0 3 2 6 3 20 0 20 0 8203476 11185942528 77594 33554432000 4194304 4196468 140736174682816 140009737468304 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27047] ppid=26985 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27047/stat : 27047 (java) S 26985 26988 23034 0 -1 1077944384 66 12433 0 0 2 0 6 3 20 0 20 0 8203476 11185942528 77594 33554432000 4194304 4196468 140736174682816 140009736415504 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27048] ppid=26985 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27048/stat : 27048 (java) S 26985 26988 23034 0 -1 1077944384 164 12433 0 0 3 1 6 3 20 0 20 0 8203476 11185942528 77594 33554432000 4194304 4196468 140736174682816 140009735363728 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27049] ppid=26985 vsize=10923772 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27049/stat : 27049 (java) S 26985 26988 23034 0 -1 1077944384 141 12433 0 0 3 2 6 3 20 0 20 0 8203476 11185942528 77594 33554432000 4194304 4196468 140736174682816 140009734310928 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27050] ppid=26985 vsize=10923772 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27050/stat : 27050 (java) S 26985 26988 23034 0 -1 1077944384 81 12433 0 0 3 1 6 3 20 0 20 0 8203476 11185942528 77594 33554432000 4194304 4196468 140736174682816 140009733258128 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27051] ppid=26985 vsize=10923772 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27051/stat : 27051 (java) S 26985 26988 23034 0 -1 1077944384 243 12433 0 0 3 2 6 3 20 0 20 0 8203476 11185942528 77594 33554432000 4194304 4196468 140736174682816 140009732205328 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27052] ppid=26985 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27052/stat : 27052 (java) S 26985 26988 23034 0 -1 1077944384 1956 12433 0 0 2 0 6 3 20 0 20 0 8203478 11185942528 77594 33554432000 4194304 4196468 140736174682816 140009205168496 140010133146242 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27053] ppid=26985 vsize=10923772 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27053/stat : 27053 (java) S 26985 26988 23034 0 -1 1077944384 57 12433 0 0 0 0 6 3 20 0 20 0 8203479 11185942528 77594 33554432000 4194304 4196468 140736174682816 140009204114528 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27054] ppid=26985 vsize=10923772 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27054/stat : 27054 (java) S 26985 26988 23034 0 -1 1077944384 43 12433 0 0 0 0 6 3 20 0 20 0 8203479 11185942528 77594 33554432000 4194304 4196468 140736174682816 140009203061632 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27055] ppid=26985 vsize=10923772 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27055/stat : 27055 (java) S 26985 26988 23034 0 -1 1077944384 1 12433 0 0 0 0 6 3 20 0 20 0 8203483 11185942528 77594 33554432000 4194304 4196468 140736174682816 140009202009936 140010133153691 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27056] ppid=26985 vsize=10923772 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27056/stat : 27056 (java) S 26985 26988 23034 0 -1 1077944384 2558 12433 0 0 111 0 6 3 20 0 20 0 8203483 11185942528 77594 33554432000 4194304 4196468 140736174682816 140009200958320 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27057] ppid=26985 vsize=10923772 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27057/stat : 27057 (java) R 26985 26988 23034 0 -1 4202560 5380 12433 0 0 133 0 6 3 20 0 20 0 8203483 11185942528 77594 33554432000 4194304 4196468 140736174682816 140009199886624 140010116545910 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27058] ppid=26985 vsize=10923772 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27058/stat : 27058 (java) R 26985 26988 23034 0 -1 4202560 2689 12433 0 0 103 1 6 3 20 0 20 0 8203483 11185942528 77594 33554432000 4194304 4196468 140736174682816 140009198853016 140010112566524 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27059] ppid=26985 vsize=10923772 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27059/stat : 27059 (java) R 26985 26988 23034 0 -1 4202560 3644 12433 0 0 99 1 6 3 20 0 20 0 8203483 11185942528 77594 33554432000 4194304 4196468 140736174682816 140009197798944 140010113483841 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27060] ppid=26985 vsize=10923772 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27060/stat : 27060 (java) S 26985 26988 23034 0 -1 1077944384 3 12433 0 0 0 0 6 3 20 0 20 0 8203483 11185942528 77594 33554432000 4194304 4196468 140736174682816 140009196747360 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27061] ppid=26985 vsize=10923772 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27061/stat : 27061 (java) S 26985 26988 23034 0 -1 1077944384 5 12433 0 0 0 0 6 3 20 0 20 0 8203483 11185942528 77594 33554432000 4194304 4196468 140736174682816 140009195694640 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
Current children cumulated CPU time (s) 7.97
Current children cumulated vsize (KiB) 10923772
[startup+6.30136 s]
/proc/loadavg: 2.43 1.73 1.57 4/281 27061
/proc/meminfo: memFree=29862132/32770624 swapFree=5776/310188
[pid=26988] ppid=26985 vsize=10925820 CPUtime=15.51 cores=1,3,5,7,9,11,13,15
/proc/26988/stat : 26988 (java) S 26985 26988 23034 0 -1 1077944320 56937 12433 0 0 1403 139 6 3 20 0 20 0 8203465 11188039680 241013 33554432000 4194304 4196468 140736174682816 140736174665360 140010133135095 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
/proc/26988/statm: 2731455 241013 3505 1 0 2719010 0
[pid=26988/tid=27043] ppid=26985 vsize=10925820 CPUtime=5.91 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27043/stat : 27043 (java) R 26985 26988 23034 0 -1 4202560 31797 12433 0 0 566 16 6 3 20 0 20 0 8203475 11188039680 241013 33554432000 4194304 4196468 140736174682816 140010137364424 140009781194589 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27044] ppid=26985 vsize=10925820 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27044/stat : 27044 (java) S 26985 26988 23034 0 -1 1077944384 291 12433 0 0 14 14 6 3 20 0 20 0 8203476 11188039680 241013 33554432000 4194304 4196468 140736174682816 140009739573904 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27045] ppid=26985 vsize=10925820 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27045/stat : 27045 (java) S 26985 26988 23034 0 -1 1077944384 226 12433 0 0 14 15 6 3 20 0 20 0 8203476 11188039680 241013 33554432000 4194304 4196468 140736174682816 140009738521104 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27046] ppid=26985 vsize=10925820 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27046/stat : 27046 (java) S 26985 26988 23034 0 -1 1077944384 867 12433 0 0 14 14 6 3 20 0 20 0 8203476 11188039680 241013 33554432000 4194304 4196468 140736174682816 140009737468304 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27047] ppid=26985 vsize=10925820 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27047/stat : 27047 (java) S 26985 26988 23034 0 -1 1077944384 181 12433 0 0 12 13 6 3 20 0 20 0 8203476 11188039680 241013 33554432000 4194304 4196468 140736174682816 140009736415504 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27048] ppid=26985 vsize=10925820 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27048/stat : 27048 (java) S 26985 26988 23034 0 -1 1077944384 262 12433 0 0 11 13 6 3 20 0 20 0 8203476 11188039680 241013 33554432000 4194304 4196468 140736174682816 140009735363728 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27049] ppid=26985 vsize=10925820 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27049/stat : 27049 (java) S 26985 26988 23034 0 -1 1077944384 267 12433 0 0 13 14 6 3 20 0 20 0 8203476 11188039680 241013 33554432000 4194304 4196468 140736174682816 140009734310928 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27050] ppid=26985 vsize=10925820 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27050/stat : 27050 (java) S 26985 26988 23034 0 -1 1077944384 205 12433 0 0 12 13 6 3 20 0 20 0 8203476 11188039680 241013 33554432000 4194304 4196468 140736174682816 140009733258128 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27051] ppid=26985 vsize=10925820 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27051/stat : 27051 (java) S 26985 26988 23034 0 -1 1077944384 400 12433 0 0 15 14 6 3 20 0 20 0 8203476 11188039680 241013 33554432000 4194304 4196468 140736174682816 140009732205328 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27052] ppid=26985 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27052/stat : 27052 (java) S 26985 26988 23034 0 -1 1077944384 2385 12433 0 0 3 0 6 3 20 0 20 0 8203478 11188039680 241013 33554432000 4194304 4196468 140736174682816 140009205168496 140010133146242 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27053] ppid=26985 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27053/stat : 27053 (java) S 26985 26988 23034 0 -1 1077944384 57 12433 0 0 0 0 6 3 20 0 20 0 8203479 11188039680 241013 33554432000 4194304 4196468 140736174682816 140009204114528 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27054] ppid=26985 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27054/stat : 27054 (java) S 26985 26988 23034 0 -1 1077944384 43 12433 0 0 0 0 6 3 20 0 20 0 8203479 11188039680 241013 33554432000 4194304 4196468 140736174682816 140009203061632 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27055] ppid=26985 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27055/stat : 27055 (java) S 26985 26988 23034 0 -1 1077944384 1 12433 0 0 0 0 6 3 20 0 20 0 8203483 11188039680 241013 33554432000 4194304 4196468 140736174682816 140009202009936 140010133153691 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27056] ppid=26985 vsize=10925820 CPUtime=2.02 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27056/stat : 27056 (java) S 26985 26988 23034 0 -1 1077944384 3536 12433 0 0 192 1 6 3 20 0 20 0 8203483 11188039680 241013 33554432000 4194304 4196468 140736174682816 140009200958320 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27057] ppid=26985 vsize=10925820 CPUtime=2.22 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27057/stat : 27057 (java) S 26985 26988 23034 0 -1 1077944384 6402 12433 0 0 212 1 6 3 20 0 20 0 8203483 11188039680 241013 33554432000 4194304 4196468 140736174682816 140009199905520 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27058] ppid=26985 vsize=10925820 CPUtime=1.85 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27058/stat : 27058 (java) S 26985 26988 23034 0 -1 1077944384 3073 12433 0 0 175 1 6 3 20 0 20 0 8203483 11188039680 241013 33554432000 4194304 4196468 140736174682816 140009198852720 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27059] ppid=26985 vsize=10925820 CPUtime=1.55 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27059/stat : 27059 (java) S 26985 26988 23034 0 -1 1077944384 4805 12433 0 0 144 2 6 3 20 0 20 0 8203483 11188039680 241013 33554432000 4194304 4196468 140736174682816 140009197799920 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27060] ppid=26985 vsize=10925820 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -26988
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 26988 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+2276.8 s]
/proc/loadavg: 1.72 1.72 1.71 10/284 27273
/proc/meminfo: memFree=27371856/32770624 swapFree=5776/312708
[pid=26988] ppid=26985 vsize=11130628 CPUtime=2410.8 cores=1,3,5,7,9,11,13,15
/proc/26988/stat : 26988 (java) S 26985 26988 23034 0 -1 1077944320 625101 12433 0 0 239733 1338 6 3 20 0 22 0 8203465 11397763072 839843 33554432000 4194304 4196468 140736174682816 140736174665360 140010133135095 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
/proc/26988/statm: 2782657 839843 3531 1 0 2770212 0
[pid=26988/tid=27043] ppid=26985 vsize=11130628 CPUtime=2259.89 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27043/stat : 27043 (java) S 26985 26988 23034 0 -1 1077944384 184701 12433 0 0 225921 59 6 3 20 0 22 0 8203475 11397763072 839843 33554432000 4194304 4196468 140736174682816 140010137372816 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27044] ppid=26985 vsize=11130628 CPUtime=15.37 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27044/stat : 27044 (java) R 26985 26988 23034 0 -1 4202560 40256 12433 0 0 1377 151 6 3 20 0 22 0 8203476 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009739574104 140010114688336 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27045] ppid=26985 vsize=11130628 CPUtime=15.33 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27045/stat : 27045 (java) R 26985 26988 23034 0 -1 4202560 36308 12433 0 0 1372 152 6 3 20 0 22 0 8203476 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009738521304 140010117835783 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27046] ppid=26985 vsize=11130628 CPUtime=15.27 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27046/stat : 27046 (java) R 26985 26988 23034 0 -1 4202560 38692 12433 0 0 1365 153 6 3 20 0 22 0 8203476 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009737468504 140010117836000 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27047] ppid=26985 vsize=11130628 CPUtime=15.29 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27047/stat : 27047 (java) R 26985 26988 23034 0 -1 4202560 38059 12433 0 0 1372 148 6 3 20 0 22 0 8203476 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009736415704 140010117835680 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27048] ppid=26985 vsize=11130628 CPUtime=15.25 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27048/stat : 27048 (java) R 26985 26988 23034 0 -1 4202560 36883 12433 0 0 1364 152 6 3 20 0 22 0 8203476 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009735363928 140010117835791 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27049] ppid=26985 vsize=11130628 CPUtime=15.33 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27049/stat : 27049 (java) R 26985 26988 23034 0 -1 4202560 37230 12433 0 0 1371 153 6 3 20 0 22 0 8203476 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009734311128 140010117835699 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27050] ppid=26985 vsize=11130628 CPUtime=15.34 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27050/stat : 27050 (java) R 26985 26988 23034 0 -1 4202560 38489 12433 0 0 1376 149 6 3 20 0 22 0 8203476 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009733258328 140010117835739 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27051] ppid=26985 vsize=11130628 CPUtime=15.41 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27051/stat : 27051 (java) R 26985 26988 23034 0 -1 4202560 39068 12433 0 0 1380 152 6 3 20 0 22 0 8203476 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009732205216 140010117835803 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27052] ppid=26985 vsize=11130628 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27052/stat : 27052 (java) S 26985 26988 23034 0 -1 1077944384 47635 12433 0 0 50 10 6 3 20 0 22 0 8203478 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009205167120 140010133145301 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27053] ppid=26985 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27053/stat : 27053 (java) S 26985 26988 23034 0 -1 1077944384 78 12433 0 0 0 0 6 3 20 0 22 0 8203479 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009204114592 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27054] ppid=26985 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27054/stat : 27054 (java) S 26985 26988 23034 0 -1 1077944384 58 12433 0 0 0 0 6 3 20 0 22 0 8203479 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009203061632 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27055] ppid=26985 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27055/stat : 27055 (java) S 26985 26988 23034 0 -1 1077944384 271 12433 0 0 0 0 6 3 20 0 22 0 8203483 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009202009936 140010133153691 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27056] ppid=26985 vsize=11130628 CPUtime=7.91 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27056/stat : 27056 (java) S 26985 26988 23034 0 -1 1077944384 16446 12433 0 0 779 3 6 3 20 0 22 0 8203483 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009200958320 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27057] ppid=26985 vsize=11130628 CPUtime=8.5 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27057/stat : 27057 (java) S 26985 26988 23034 0 -1 1077944384 23864 12433 0 0 837 4 6 3 20 0 22 0 8203483 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009199905520 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27058] ppid=26985 vsize=11130628 CPUtime=7.9 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27058/stat : 27058 (java) S 26985 26988 23034 0 -1 1077944384 17229 12433 0 0 777 4 6 3 20 0 22 0 8203483 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009198852720 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27059] ppid=26985 vsize=11130628 CPUtime=3.41 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27059/stat : 27059 (java) S 26985 26988 23034 0 -1 1077944384 25898 12433 0 0 325 7 6 3 20 0 22 0 8203483 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009197799920 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27060] ppid=26985 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27060/stat : 27060 (java) S 26985 26988 23034 0 -1 1077944384 3 12433 0 0 0 0 6 3 20 0 22 0 8203483 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009196747360 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27061] ppid=26985 vsize=11130628 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27061/stat : 27061 (java) S 26985 26988 23034 0 -1 1077944384 1451 12433 0 0 46 42 6 3 20 0 22 0 8203483 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009195694640 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27272] ppid=26985 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27272/stat : 27272 (java) S 26985 26988 23034 0 -1 1077944384 322 12433 0 0 0 0 6 3 20 0 22 0 8431006 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009163972720 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27273] ppid=26985 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27273/stat : 27273 (java) S 26985 26988 23034 0 -1 1077944384 30 12433 0 0 0 0 6 3 20 0 22 0 8431006 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009162920640 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
Current children cumulated CPU time (s) 2410.8
Current children cumulated vsize (KiB) 11130628
[startup+2277.2 s]
/proc/loadavg: 1.72 1.72 1.71 10/284 27273
/proc/meminfo: memFree=27371856/32770624 swapFree=5776/312708
[pid=26988] ppid=26985 vsize=11130628 CPUtime=2413.98 cores=1,3,5,7,9,11,13,15
/proc/26988/stat : 26988 (java) S 26985 26988 23034 0 -1 1077944320 625101 12433 0 0 240051 1338 6 3 20 0 22 0 8203465 11397763072 839843 33554432000 4194304 4196468 140736174682816 140736174665360 140010133135095 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
/proc/26988/statm: 2782657 839843 3531 1 0 2770212 0
[pid=26988/tid=27043] ppid=26985 vsize=11130628 CPUtime=2259.89 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27043/stat : 27043 (java) S 26985 26988 23034 0 -1 1077944384 184701 12433 0 0 225921 59 6 3 20 0 22 0 8203475 11397763072 839843 33554432000 4194304 4196468 140736174682816 140010137372816 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27044] ppid=26985 vsize=11130628 CPUtime=15.75 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27044/stat : 27044 (java) R 26985 26988 23034 0 -1 4202560 40256 12433 0 0 1415 151 6 3 20 0 22 0 8203476 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009739574104 140010117835779 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27045] ppid=26985 vsize=11130628 CPUtime=15.73 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27045/stat : 27045 (java) R 26985 26988 23034 0 -1 4202560 36308 12433 0 0 1412 152 6 3 20 0 22 0 8203476 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009738521304 140010117835791 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27046] ppid=26985 vsize=11130628 CPUtime=15.67 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27046/stat : 27046 (java) R 26985 26988 23034 0 -1 4202560 38692 12433 0 0 1405 153 6 3 20 0 22 0 8203476 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009737468504 140010117835728 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27047] ppid=26985 vsize=11130628 CPUtime=15.69 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27047/stat : 27047 (java) R 26985 26988 23034 0 -1 4202560 38059 12433 0 0 1412 148 6 3 20 0 22 0 8203476 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009736415704 140010125763303 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27048] ppid=26985 vsize=11130628 CPUtime=15.65 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27048/stat : 27048 (java) R 26985 26988 23034 0 -1 4202560 36883 12433 0 0 1404 152 6 3 20 0 22 0 8203476 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009735363928 140010117836000 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27049] ppid=26985 vsize=11130628 CPUtime=15.73 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27049/stat : 27049 (java) R 26985 26988 23034 0 -1 4202560 37230 12433 0 0 1411 153 6 3 20 0 22 0 8203476 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009734311128 140010117835694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27050] ppid=26985 vsize=11130628 CPUtime=15.74 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27050/stat : 27050 (java) R 26985 26988 23034 0 -1 4202560 38489 12433 0 0 1416 149 6 3 20 0 22 0 8203476 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009733258328 140010118131573 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27051] ppid=26985 vsize=11130628 CPUtime=15.81 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27051/stat : 27051 (java) R 26985 26988 23034 0 -1 4202560 39068 12433 0 0 1420 152 6 3 20 0 22 0 8203476 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009732205216 140010117835670 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27052] ppid=26985 vsize=11130628 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27052/stat : 27052 (java) S 26985 26988 23034 0 -1 1077944384 47635 12433 0 0 50 10 6 3 20 0 22 0 8203478 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009205167120 140010133145301 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27053] ppid=26985 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27053/stat : 27053 (java) S 26985 26988 23034 0 -1 1077944384 78 12433 0 0 0 0 6 3 20 0 22 0 8203479 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009204114592 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27054] ppid=26985 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27054/stat : 27054 (java) S 26985 26988 23034 0 -1 1077944384 58 12433 0 0 0 0 6 3 20 0 22 0 8203479 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009203061632 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27055] ppid=26985 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27055/stat : 27055 (java) S 26985 26988 23034 0 -1 1077944384 271 12433 0 0 0 0 6 3 20 0 22 0 8203483 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009202009936 140010133153691 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27056] ppid=26985 vsize=11130628 CPUtime=7.91 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27056/stat : 27056 (java) S 26985 26988 23034 0 -1 1077944384 16446 12433 0 0 779 3 6 3 20 0 22 0 8203483 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009200958320 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27057] ppid=26985 vsize=11130628 CPUtime=8.5 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27057/stat : 27057 (java) S 26985 26988 23034 0 -1 1077944384 23864 12433 0 0 837 4 6 3 20 0 22 0 8203483 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009199905520 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27058] ppid=26985 vsize=11130628 CPUtime=7.9 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27058/stat : 27058 (java) S 26985 26988 23034 0 -1 1077944384 17229 12433 0 0 777 4 6 3 20 0 22 0 8203483 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009198852720 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27059] ppid=26985 vsize=11130628 CPUtime=3.41 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27059/stat : 27059 (java) S 26985 26988 23034 0 -1 1077944384 25898 12433 0 0 325 7 6 3 20 0 22 0 8203483 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009197799920 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27060] ppid=26985 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27060/stat : 27060 (java) S 26985 26988 23034 0 -1 1077944384 3 12433 0 0 0 0 6 3 20 0 22 0 8203483 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009196747360 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27061] ppid=26985 vsize=11130628 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27061/stat : 27061 (java) S 26985 26988 23034 0 -1 1077944384 1451 12433 0 0 46 42 6 3 20 0 22 0 8203483 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009195694640 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27272] ppid=26985 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27272/stat : 27272 (java) S 26985 26988 23034 0 -1 1077944384 322 12433 0 0 0 0 6 3 20 0 22 0 8431006 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009163972720 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27273] ppid=26985 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27273/stat : 27273 (java) S 26985 26988 23034 0 -1 1077944384 30 12433 0 0 0 0 6 3 20 0 22 0 8431006 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009162920640 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
Current children cumulated CPU time (s) 2413.98
Current children cumulated vsize (KiB) 11130628
[startup+2277.4 s]
/proc/loadavg: 1.72 1.72 1.71 10/284 27273
/proc/meminfo: memFree=27371856/32770624 swapFree=5776/312708
[pid=26988] ppid=26985 vsize=11130628 CPUtime=2415.32 cores=1,3,5,7,9,11,13,15
/proc/26988/stat : 26988 (java) S 26985 26988 23034 0 -1 1077944320 625421 12433 0 0 240185 1338 6 3 20 0 22 0 8203465 11397763072 839843 33554432000 4194304 4196468 140736174682816 140736174665360 140010133135095 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
/proc/26988/statm: 2782657 839843 3531 1 0 2770212 0
[pid=26988/tid=27043] ppid=26985 vsize=11130628 CPUtime=2259.89 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27043/stat : 27043 (java) S 26985 26988 23034 0 -1 1077944384 184701 12433 0 0 225921 59 6 3 20 0 22 0 8203475 11397763072 839843 33554432000 4194304 4196468 140736174682816 140010137372816 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27044] ppid=26985 vsize=11130628 CPUtime=15.91 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27044/stat : 27044 (java) R 26985 26988 23034 0 -1 4202560 40256 12433 0 0 1431 151 6 3 20 0 22 0 8203476 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009739574104 140010117592707 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27045] ppid=26985 vsize=11130628 CPUtime=15.89 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27045/stat : 27045 (java) R 26985 26988 23034 0 -1 4202560 36314 12433 0 0 1428 152 6 3 20 0 22 0 8203476 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009738521304 140010117592681 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27046] ppid=26985 vsize=11130628 CPUtime=15.84 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27046/stat : 27046 (java) R 26985 26988 23034 0 -1 4202560 38693 12433 0 0 1422 153 6 3 20 0 22 0 8203476 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009737468504 140010118131451 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27047] ppid=26985 vsize=11130628 CPUtime=15.86 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27047/stat : 27047 (java) R 26985 26988 23034 0 -1 4202560 38059 12433 0 0 1429 148 6 3 20 0 22 0 8203476 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009736415704 140010118131496 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27048] ppid=26985 vsize=11130628 CPUtime=15.82 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27048/stat : 27048 (java) R 26985 26988 23034 0 -1 4202560 36885 12433 0 0 1421 152 6 3 20 0 22 0 8203476 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009735363616 140010118131499 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27049] ppid=26985 vsize=11130628 CPUtime=15.89 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27049/stat : 27049 (java) R 26985 26988 23034 0 -1 4202560 37235 12433 0 0 1427 153 6 3 20 0 22 0 8203476 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009734311128 140010118131496 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27050] ppid=26985 vsize=11130628 CPUtime=15.91 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27050/stat : 27050 (java) R 26985 26988 23034 0 -1 4202560 38489 12433 0 0 1433 149 6 3 20 0 22 0 8203476 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009733258328 140010118131441 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27051] ppid=26985 vsize=11130628 CPUtime=15.97 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27051/stat : 27051 (java) R 26985 26988 23034 0 -1 4202560 39068 12433 0 0 1436 152 6 3 20 0 22 0 8203476 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009732205528 140010118131604 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27052] ppid=26985 vsize=11130628 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27052/stat : 27052 (java) S 26985 26988 23034 0 -1 1077944384 47925 12433 0 0 54 10 6 3 20 0 22 0 8203478 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009205167120 140010133145301 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27053] ppid=26985 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27053/stat : 27053 (java) S 26985 26988 23034 0 -1 1077944384 79 12433 0 0 0 0 6 3 20 0 22 0 8203479 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009204114496 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27054] ppid=26985 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27054/stat : 27054 (java) S 26985 26988 23034 0 -1 1077944384 58 12433 0 0 0 0 6 3 20 0 22 0 8203479 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009203061632 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27055] ppid=26985 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27055/stat : 27055 (java) S 26985 26988 23034 0 -1 1077944384 271 12433 0 0 0 0 6 3 20 0 22 0 8203483 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009202009936 140010133153691 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27056] ppid=26985 vsize=11130628 CPUtime=7.91 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27056/stat : 27056 (java) S 26985 26988 23034 0 -1 1077944384 16446 12433 0 0 779 3 6 3 20 0 22 0 8203483 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009200958320 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27057] ppid=26985 vsize=11130628 CPUtime=8.5 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27057/stat : 27057 (java) S 26985 26988 23034 0 -1 1077944384 23864 12433 0 0 837 4 6 3 20 0 22 0 8203483 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009199905520 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27058] ppid=26985 vsize=11130628 CPUtime=7.9 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27058/stat : 27058 (java) S 26985 26988 23034 0 -1 1077944384 17229 12433 0 0 777 4 6 3 20 0 22 0 8203483 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009198852720 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27059] ppid=26985 vsize=11130628 CPUtime=3.41 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27059/stat : 27059 (java) S 26985 26988 23034 0 -1 1077944384 25898 12433 0 0 325 7 6 3 20 0 22 0 8203483 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009197799920 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27060] ppid=26985 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27060/stat : 27060 (java) S 26985 26988 23034 0 -1 1077944384 3 12433 0 0 0 0 6 3 20 0 22 0 8203483 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009196747360 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27061] ppid=26985 vsize=11130628 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27061/stat : 27061 (java) S 26985 26988 23034 0 -1 1077944384 1465 12433 0 0 46 42 6 3 20 0 22 0 8203483 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009195694640 140010133146242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27272] ppid=26985 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27272/stat : 27272 (java) S 26985 26988 23034 0 -1 1077944384 322 12433 0 0 0 0 6 3 20 0 22 0 8431006 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009163972720 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
[pid=26988/tid=27273] ppid=26985 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/26988/task/27273/stat : 27273 (java) S 26985 26988 23034 0 -1 1077944384 31 12433 0 0 0 0 6 3 20 0 22 0 8431006 11397763072 839843 33554432000 4194304 4196468 140736174682816 140009162920640 140010133145301 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15192064 140736174684865 140736174687639 140736174687639 140736174690255 0
Current children cumulated CPU time (s) 2415.32
Current children cumulated vsize (KiB) 11130628
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2277.43
CPU time (s): 2415.39
CPU user time (s): 2401.95
CPU system time (s): 13.4421
CPU usage (%): 106.058
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2401.95
system time used= 13.4421
maximum resident set size= 4593700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 637857
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75413
involuntary context switches= 125913
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8227 second user time and 18.0292 second system time
The end