runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (3586 MiB free)
memory of node 1: 16384 MiB (13199 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293470-1532315898/watcher-4293470-1532315898 -o /tmp/evaluation-result-4293470-1532315898/solver-4293470-1532315898 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532296193-16112 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=557988231 -superng HOME/instance-4293470-1532315898.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19772, runsolver pid=19769
Current StackSize limit: 8192 KiB
[startup+0.100131 s]*
/proc/loadavg: 1.62 1.69 1.68 3/209 19829
/proc/meminfo: memFree=17180524/32770624 swapFree=67108860/67108860
[pid=19772] ppid=19769 vsize=9972712 memory=17076 CPUtime=0.09 cores=1,3,5,7
/proc/19772/stat : 19772 (java) S 19769 19772 16080 0 -1 1077944320 4394 12893 0 0 1 0 5 3 20 0 6 0 49153020 10212057088 4269 33554432000 4194304 4196468 140726304549680 140726304532224 139677280394999 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
/proc/19772/statm: 2493178 4269 1934 1 0 2481616 0
[pid=19772/tid=19825] ppid=19769 vsize=9972712 memory=4628411388058700198 CPUtime=0.09 cores=1,3,5,7
/proc/19772/task/19825/stat : 19825 (java) R 19769 19772 16080 0 -1 4202560 2251 12893 0 0 1 0 5 3 20 0 6 0 49153028 10212057088 4269 33554432000 4194304 4196468 140726304549680 139677252231760 139677263587373 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19826] ppid=19769 vsize=9972712 memory=5793855266810456505 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19826/stat : 19826 (java) S 19769 19772 16080 0 -1 1077944384 2 12893 0 0 0 0 5 3 20 0 6 0 49153029 10212057088 4269 33554432000 4194304 4196468 140726304549680 139677284637328 139677280405205 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19827] ppid=19769 vsize=9972712 memory=140015800563328 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19827/stat : 19827 (java) S 19769 19772 16080 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 6 0 49153029 10212057088 4269 33554432000 4194304 4196468 140726304549680 139677172910608 139677280405205 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19828] ppid=19769 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19828/stat : 19828 (java) S 19769 19772 16080 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 6 0 49153029 10212057088 4269 33554432000 4194304 4196468 140726304549680 139677171857808 139677280405205 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19829] ppid=19769 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19829/stat : 19829 (java) S 19769 19772 16080 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 6 0 49153029 10212057088 4269 33554432000 4194304 4196468 140726304549680 139677170805008 139677280405205 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.214743 s]*
/proc/loadavg: 1.62 1.69 1.68 3/218 19838
/proc/meminfo: memFree=17159632/32770624 swapFree=67108860/67108860
[pid=19772] ppid=19769 vsize=10818904 memory=43312 CPUtime=0.27 cores=1,3,5,7
/proc/19772/stat : 19772 (java) S 19769 19772 16080 0 -1 1077944320 8692 12893 0 0 17 2 5 3 20 0 15 0 49153020 11078557696 10828 33554432000 4194304 4196468 140726304549680 140726304532224 139677280394999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
/proc/19772/statm: 2704726 10828 2972 1 0 2667149 0
[pid=19772/tid=19825] ppid=19769 vsize=10818904 memory=-8540663193526752614 CPUtime=0.19 cores=1,3,5,7
/proc/19772/task/19825/stat : 19825 (java) R 19769 19772 16080 0 -1 4202560 5378 12893 0 0 10 1 5 3 20 0 15 0 49153028 11078557696 10828 33554432000 4194304 4196468 140726304549680 139677252212112 139677264475486 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19826] ppid=19769 vsize=10818904 memory=4211973742005353866 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19826/stat : 19826 (java) S 19769 19772 16080 0 -1 1077944384 2 12893 0 0 0 0 5 3 20 0 15 0 49153029 11078557696 10828 33554432000 4194304 4196468 140726304549680 139677284637328 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19827] ppid=19769 vsize=10818904 memory=140015800563328 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19827/stat : 19827 (java) S 19769 19772 16080 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 49153029 11078557696 10828 33554432000 4194304 4196468 140726304549680 139677172910608 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19828] ppid=19769 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19828/stat : 19828 (java) S 19769 19772 16080 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 49153029 11078557696 10828 33554432000 4194304 4196468 140726304549680 139677171857808 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19829] ppid=19769 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19829/stat : 19829 (java) S 19769 19772 16080 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 49153029 11078557696 10828 33554432000 4194304 4196468 140726304549680 139677170805008 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19830] ppid=19769 vsize=10818904 memory=140015800563328 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19830/stat : 19830 (java) S 19769 19772 16080 0 -1 1077944384 2 12893 0 0 0 0 5 3 20 0 15 0 49153031 11078557696 10828 33554432000 4194304 4196468 140726304549680 139676283251568 139677280406146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19831] ppid=19769 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19831/stat : 19831 (java) S 19769 19772 16080 0 -1 1077944384 33 12893 0 0 0 0 5 3 20 0 15 0 49153031 11078557696 10828 33554432000 4194304 4196468 140726304549680 139676282197536 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19832] ppid=19769 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19832/stat : 19832 (java) S 19769 19772 16080 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 49153031 11078557696 10828 33554432000 4194304 4196468 140726304549680 139676161664368 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19833] ppid=19769 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19833/stat : 19833 (java) S 19769 19772 16080 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 49153034 11078557696 10828 33554432000 4194304 4196468 140726304549680 139675854264656 139677280413595 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19834] ppid=19769 vsize=10818904 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/19772/task/19834/stat : 19834 (java) S 19769 19772 16080 0 -1 1077944384 486 12893 0 0 1 0 5 3 20 0 15 0 49153034 11078557696 10828 33554432000 4194304 4196468 140726304549680 139676248639856 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19835] ppid=19769 vsize=10818904 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/19772/task/19835/stat : 19835 (java) S 19769 19772 16080 0 -1 1077944384 88 12893 0 0 1 0 5 3 20 0 15 0 49153034 11078557696 10828 33554432000 4194304 4196468 140726304549680 139676247587056 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19836] ppid=19769 vsize=10818904 memory=140015800563328 CPUtime=0.11 cores=1,3,5,7
/proc/19772/task/19836/stat : 19836 (java) S 19769 19772 16080 0 -1 1077944384 551 12893 0 0 3 0 5 3 20 0 15 0 49153034 11078557696 10828 33554432000 4194304 4196468 140726304549680 139676246534256 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19837] ppid=19769 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19837/stat : 19837 (java) S 19769 19772 16080 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 49153034 11078557696 10828 33554432000 4194304 4196468 140726304549680 139675820706016 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19838] ppid=19769 vsize=10818904 memory=140015800563328 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19838/stat : 19838 (java) S 19769 19772 16080 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 49153034 11078557696 10828 33554432000 4194304 4196468 140726304549680 139676245482672 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 43312 KiB
[startup+0.310305 s]*
/proc/loadavg: 1.62 1.69 1.68 3/218 19838
/proc/meminfo: memFree=17149832/32770624 swapFree=67108860/67108860
[pid=19772] ppid=19769 vsize=10819352 memory=53760 CPUtime=0.38 cores=1,3,5,7
/proc/19772/stat : 19772 (java) S 19769 19772 16080 0 -1 1077944320 10490 12893 0 0 28 2 5 3 20 0 15 0 49153020 11079016448 13440 33554432000 4194304 4196468 140726304549680 140726304532224 139677280394999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
/proc/19772/statm: 2704838 13440 3092 1 0 2667149 0
[pid=19772/tid=19825] ppid=19769 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/19772/task/19825/stat : 19825 (java) R 19769 19772 16080 0 -1 4202560 7120 12893 0 0 19 1 5 3 20 0 15 0 49153028 11079016448 13440 33554432000 4194304 4196468 140726304549680 139677252207008 139677261788733 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19826] ppid=19769 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19826/stat : 19826 (java) S 19769 19772 16080 0 -1 1077944384 2 12893 0 0 0 0 5 3 20 0 15 0 49153029 11079016448 13440 33554432000 4194304 4196468 140726304549680 139677284637328 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19827] ppid=19769 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19827/stat : 19827 (java) S 19769 19772 16080 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 49153029 11079016448 13440 33554432000 4194304 4196468 140726304549680 139677172910608 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19828] ppid=19769 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19828/stat : 19828 (java) S 19769 19772 16080 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 49153029 11079016448 13440 33554432000 4194304 4196468 140726304549680 139677171857808 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19829] ppid=19769 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19829/stat : 19829 (java) S 19769 19772 16080 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 49153029 11079016448 13440 33554432000 4194304 4196468 140726304549680 139677170805008 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19830] ppid=19769 vsize=10819352 memory=140015800563327 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19830/stat : 19830 (java) S 19769 19772 16080 0 -1 1077944384 2 12893 0 0 0 0 5 3 20 0 15 0 49153031 11079016448 13440 33554432000 4194304 4196468 140726304549680 139676283251568 139677280406146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19831] ppid=19769 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19831/stat : 19831 (java) S 19769 19772 16080 0 -1 1077944384 33 12893 0 0 0 0 5 3 20 0 15 0 49153031 11079016448 13440 33554432000 4194304 4196468 140726304549680 139676282197536 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19832] ppid=19769 vsize=10819352 memory=140015800563328 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19832/stat : 19832 (java) S 19769 19772 16080 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 49153031 11079016448 13440 33554432000 4194304 4196468 140726304549680 139676161664368 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19833] ppid=19769 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19833/stat : 19833 (java) S 19769 19772 16080 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 49153034 11079016448 13440 33554432000 4194304 4196468 140726304549680 139675854264656 139677280413595 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19834] ppid=19769 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/19772/task/19834/stat : 19834 (java) S 19769 19772 16080 0 -1 1077944384 486 12893 0 0 1 0 5 3 20 0 15 0 49153034 11079016448 13440 33554432000 4194304 4196468 140726304549680 139676248639856 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19835] ppid=19769 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/19772/task/19835/stat : 19835 (java) S 19769 19772 16080 0 -1 1077944384 89 12893 0 0 1 0 5 3 20 0 15 0 49153034 11079016448 13440 33554432000 4194304 4196468 140726304549680 139676247587056 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19836] ppid=19769 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/19772/task/19836/stat : 19836 (java) S 19769 19772 16080 0 -1 1077944384 562 12893 0 0 5 0 5 3 20 0 15 0 49153034 11079016448 13440 33554432000 4194304 4196468 140726304549680 139676246534256 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19837] ppid=19769 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19837/stat : 19837 (java) S 19769 19772 16080 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 49153034 11079016448 13440 33554432000 4194304 4196468 140726304549680 139675820706016 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19838] ppid=19769 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19838/stat : 19838 (java) S 19769 19772 16080 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 49153034 11079016448 13440 33554432000 4194304 4196468 140726304549680 139676245482672 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53760 KiB
[startup+0.700748 s]
/proc/loadavg: 1.62 1.69 1.68 4/218 19838
/proc/meminfo: memFree=17137872/32770624 swapFree=67108860/67108860
[pid=19772] ppid=19769 vsize=10819352 memory=86104 CPUtime=0.95 cores=1,3,5,7
/proc/19772/stat : 19772 (java) S 19769 19772 16080 0 -1 1077944320 16705 12893 0 0 83 4 5 3 20 0 15 0 49153020 11079016448 21526 33554432000 4194304 4196468 140726304549680 140726304532224 139677280394999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
/proc/19772/statm: 2704838 21526 3238 1 0 2667149 0
[pid=19772/tid=19825] ppid=19769 vsize=10819352 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/19772/task/19825/stat : 19825 (java) R 19769 19772 16080 0 -1 4202560 12427 12893 0 0 56 3 5 3 20 0 15 0 49153028 11079016448 21526 33554432000 4194304 4196468 140726304549680 139677252215824 139677261958574 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19826] ppid=19769 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19826/stat : 19826 (java) S 19769 19772 16080 0 -1 1077944384 2 12893 0 0 0 0 5 3 20 0 15 0 49153029 11079016448 21526 33554432000 4194304 4196468 140726304549680 139677284637328 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19827] ppid=19769 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19827/stat : 19827 (java) S 19769 19772 16080 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 49153029 11079016448 21526 33554432000 4194304 4196468 140726304549680 139677172910608 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19828] ppid=19769 vsize=10819352 memory=4132 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19828/stat : 19828 (java) S 19769 19772 16080 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 49153029 11079016448 21526 33554432000 4194304 4196468 140726304549680 139677171857808 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19829] ppid=19769 vsize=10819352 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19829/stat : 19829 (java) S 19769 19772 16080 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 49153029 11079016448 21526 33554432000 4194304 4196468 140726304549680 139677170805008 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19830] ppid=19769 vsize=10819352 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19830/stat : 19830 (java) S 19769 19772 16080 0 -1 1077944384 5 12893 0 0 0 0 5 3 20 0 15 0 49153031 11079016448 21526 33554432000 4194304 4196468 140726304549680 139676283251568 139677280406146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19831] ppid=19769 vsize=10819352 memory=140015665423600 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19831/stat : 19831 (java) S 19769 19772 16080 0 -1 1077944384 33 12893 0 0 0 0 5 3 20 0 15 0 49153031 11079016448 21526 33554432000 4194304 4196468 140726304549680 139676282197536 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19832] ppid=19769 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19832/stat : 19832 (java) S 19769 19772 16080 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 49153031 11079016448 21526 33554432000 4194304 4196468 140726304549680 139676161664368 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19833] ppid=19769 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19833/stat : 19833 (java) S 19769 19772 16080 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 49153034 11079016448 21526 33554432000 4194304 4196468 140726304549680 139675854264656 139677280413595 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19834] ppid=19769 vsize=10819352 memory=6944656575208382560 CPUtime=0.15 cores=1,3,5,7
/proc/19772/task/19834/stat : 19834 (java) S 19769 19772 16080 0 -1 1077944384 775 12893 0 0 7 0 5 3 20 0 15 0 49153034 11079016448 21526 33554432000 4194304 4196468 140726304549680 139676248639856 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19835] ppid=19769 vsize=10819352 memory=6656426216303648864 CPUtime=0.15 cores=1,3,5,7
/proc/19772/task/19835/stat : 19835 (java) S 19769 19772 16080 0 -1 1077944384 636 12893 0 0 7 0 5 3 20 0 15 0 49153034 11079016448 21526 33554432000 4194304 4196468 140726304549680 139676247587056 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19836] ppid=19769 vsize=10819352 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/19772/task/19836/stat : 19836 (java) S 19769 19772 16080 0 -1 1077944384 629 12893 0 0 12 0 5 3 20 0 15 0 49153034 11079016448 21526 33554432000 4194304 4196468 140726304549680 139676246534256 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19837] ppid=19769 vsize=10819352 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19837/stat : 19837 (java) S 19769 19772 16080 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 49153034 11079016448 21526 33554432000 4194304 4196468 140726304549680 139675820706016 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19838] ppid=19769 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19838/stat : 19838 (java) S 19769 19772 16080 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 49153034 11079016448 21526 33554432000 4194304 4196468 140726304549680 139676245482672 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
Current children cumulated CPU time: 0.95 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86104 KiB
[startup+1.50075 s]
/proc/loadavg: 1.62 1.69 1.68 4/218 19838
/proc/meminfo: memFree=17091996/32770624 swapFree=67108860/67108860
[pid=19772] ppid=19769 vsize=10830156 memory=228528 CPUtime=3.11 cores=1,3,5,7
/proc/19772/stat : 19772 (java) S 19769 19772 16080 0 -1 1077944320 24084 12893 0 0 293 10 5 3 20 0 15 0 49153020 11090079744 57132 33554432000 4194304 4196468 140726304549680 140726304532224 139677280394999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
/proc/19772/statm: 2707539 57132 3457 1 0 2669197 0
[pid=19772/tid=19825] ppid=19769 vsize=10830156 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/19772/task/19825/stat : 19825 (java) R 19769 19772 16080 0 -1 4202560 15633 12893 0 0 131 6 5 3 20 0 15 0 49153028 11090079744 57132 33554432000 4194304 4196468 140726304549680 139677252228064 139677259696778 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19826] ppid=19769 vsize=10830156 memory=4132 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19826/stat : 19826 (java) S 19769 19772 16080 0 -1 1077944384 289 12893 0 0 0 0 5 3 20 0 15 0 49153029 11090079744 57132 33554432000 4194304 4196468 140726304549680 139677284637328 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19827] ppid=19769 vsize=10830156 memory=16368 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19827/stat : 19827 (java) S 19769 19772 16080 0 -1 1077944384 35 12893 0 0 0 0 5 3 20 0 15 0 49153029 11090079744 57132 33554432000 4194304 4196468 140726304549680 139677172910608 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19828] ppid=19769 vsize=10830156 memory=1292 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19828/stat : 19828 (java) S 19769 19772 16080 0 -1 1077944384 5 12893 0 0 0 0 5 3 20 0 15 0 49153029 11090079744 57132 33554432000 4194304 4196468 140726304549680 139677171857808 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19829] ppid=19769 vsize=10830156 memory=100376 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19829/stat : 19829 (java) S 19769 19772 16080 0 -1 1077944384 59 12893 0 0 0 0 5 3 20 0 15 0 49153029 11090079744 57132 33554432000 4194304 4196468 140726304549680 139677170805008 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19830] ppid=19769 vsize=10830156 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19830/stat : 19830 (java) S 19769 19772 16080 0 -1 1077944384 29 12893 0 0 0 0 5 3 20 0 15 0 49153031 11090079744 57132 33554432000 4194304 4196468 140726304549680 139676283251568 139677280406146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19831] ppid=19769 vsize=10830156 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19831/stat : 19831 (java) S 19769 19772 16080 0 -1 1077944384 33 12893 0 0 0 0 5 3 20 0 15 0 49153031 11090079744 57132 33554432000 4194304 4196468 140726304549680 139676282197536 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19832] ppid=19769 vsize=10830156 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19832/stat : 19832 (java) S 19769 19772 16080 0 -1 1077944384 2 12893 0 0 0 0 5 3 20 0 15 0 49153031 11090079744 57132 33554432000 4194304 4196468 140726304549680 139676161664368 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19833] ppid=19769 vsize=10830156 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19833/stat : 19833 (java) S 19769 19772 16080 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 49153034 11090079744 57132 33554432000 4194304 4196468 140726304549680 139675854264656 139677280413595 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19834] ppid=19769 vsize=10830156 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/19772/task/19834/stat : 19834 (java) R 19769 19772 16080 0 -1 4202560 1675 12893 0 0 52 1 5 3 20 0 15 0 49153034 11090079744 57132 33554432000 4194304 4196468 140726304549680 139676248625952 139677263607216 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19835] ppid=19769 vsize=10830156 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/19772/task/19835/stat : 19835 (java) R 19769 19772 16080 0 -1 4202560 2185 12893 0 0 53 0 5 3 20 0 15 0 49153034 11090079744 57132 33554432000 4194304 4196468 140726304549680 139676247570128 139677263891739 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19836] ppid=19769 vsize=10830156 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/19772/task/19836/stat : 19836 (java) S 19769 19772 16080 0 -1 1077944384 1945 12893 0 0 53 1 5 3 20 0 15 0 49153034 11090079744 57132 33554432000 4194304 4196468 140726304549680 139676246534256 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19837] ppid=19769 vsize=10830156 memory=288230596050944315 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19837/stat : 19837 (java) S 19769 19772 16080 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 49153034 11090079744 57132 33554432000 4194304 4196468 140726304549680 139675820706016 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19838] ppid=19769 vsize=10830156 memory=16100360058046859 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19838/stat : 19838 (java) S 19769 19772 16080 0 -1 1077944384 1 12893 0 0 0 0 5 3 20 0 15 0 49153034 11090079744 57132 33554432000 4194304 4196468 140726304549680 139676245482672 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
Current children cumulated CPU time: 3.11 s
Current children cumulated vsize: 10830156 KiB
################
# More data... #
################
/proc/19772/task/19825/stat : 19825 (java) R 19769 19772 16080 0 -1 4202560 47421 12893 0 0 5004 39 5 3 20 0 15 0 49153028 11178180608 642178 33554432000 4194304 4196468 140726304549680 139677252225376 139676871339936 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19826] ppid=19769 vsize=10916192 memory=56 CPUtime=0.46 cores=1,3,5,7
/proc/19772/task/19826/stat : 19826 (java) S 19769 19772 16080 0 -1 1077944384 2328 12893 0 0 29 9 5 3 20 0 15 0 49153029 11178180608 642178 33554432000 4194304 4196468 140726304549680 139677284637328 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19827] ppid=19769 vsize=10916192 memory=4132 CPUtime=0.46 cores=1,3,5,7
/proc/19772/task/19827/stat : 19827 (java) S 19769 19772 16080 0 -1 1077944384 1012 12893 0 0 29 9 5 3 20 0 15 0 49153029 11178180608 642178 33554432000 4194304 4196468 140726304549680 139677172910608 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19828] ppid=19769 vsize=10916192 memory=56 CPUtime=0.45 cores=1,3,5,7
/proc/19772/task/19828/stat : 19828 (java) S 19769 19772 16080 0 -1 1077944384 437 12893 0 0 28 9 5 3 20 0 15 0 49153029 11178180608 642178 33554432000 4194304 4196468 140726304549680 139677171857808 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19829] ppid=19769 vsize=10916192 memory=2213628 CPUtime=0.47 cores=1,3,5,7
/proc/19772/task/19829/stat : 19829 (java) S 19769 19772 16080 0 -1 1077944384 1531 12893 0 0 30 9 5 3 20 0 15 0 49153029 11178180608 642178 33554432000 4194304 4196468 140726304549680 139677170805008 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19830] ppid=19769 vsize=10916192 memory=4620 CPUtime=0.17 cores=1,3,5,7
/proc/19772/task/19830/stat : 19830 (java) S 19769 19772 16080 0 -1 1077944384 4115 12893 0 0 8 1 5 3 20 0 15 0 49153031 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676283251568 139677280406146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19831] ppid=19769 vsize=10916192 memory=2394352 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19831/stat : 19831 (java) S 19769 19772 16080 0 -1 1077944384 46 12893 0 0 0 0 5 3 20 0 15 0 49153031 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676282197664 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19832] ppid=19769 vsize=10916192 memory=288230596050944315 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19832/stat : 19832 (java) S 19769 19772 16080 0 -1 1077944384 23 12893 0 0 0 0 5 3 20 0 15 0 49153031 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676161664384 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19833] ppid=19769 vsize=10916192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19833/stat : 19833 (java) S 19769 19772 16080 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 49153034 11178180608 642178 33554432000 4194304 4196468 140726304549680 139675854264656 139677280413595 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19834] ppid=19769 vsize=10916192 memory=708 CPUtime=7.43 cores=1,3,5,7
/proc/19772/task/19834/stat : 19834 (java) S 19769 19772 16080 0 -1 1077944384 17305 12893 0 0 732 3 5 3 20 0 15 0 49153034 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676248639856 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19835] ppid=19769 vsize=10916192 memory=56 CPUtime=7.53 cores=1,3,5,7
/proc/19772/task/19835/stat : 19835 (java) S 19769 19772 16080 0 -1 1077944384 15261 12893 0 0 743 2 5 3 20 0 15 0 49153034 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676247587056 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19836] ppid=19769 vsize=10916192 memory=0 CPUtime=2.89 cores=1,3,5,7
/proc/19772/task/19836/stat : 19836 (java) S 19769 19772 16080 0 -1 1077944384 14012 12893 0 0 275 6 5 3 20 0 15 0 49153034 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676246534256 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19837] ppid=19769 vsize=10916192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19837/stat : 19837 (java) S 19769 19772 16080 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 49153034 11178180608 642178 33554432000 4194304 4196468 140726304549680 139675820706016 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19838] ppid=19769 vsize=10916192 memory=2394156 CPUtime=0.1 cores=1,3,5,7
/proc/19772/task/19838/stat : 19838 (java) S 19769 19772 16080 0 -1 1077944384 647 12893 0 0 1 1 5 3 20 0 15 0 49153034 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676245482672 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
Current children cumulated CPU time: 69.87 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2568712 KiB
[startup+53.8126 s]
# the end of solver process 19772 was just reported to runsolver
# cumulated CPU time of all completed processes: user=71.5887 s, system=0.995725 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2009 s]
/proc/loadavg: 1.81 1.73 1.70 3/218 19838
/proc/meminfo: memFree=14622864/32770624 swapFree=67108860/67108860
[pid=19772] ppid=19769 vsize=10916192 memory=2568712 CPUtime=69.96 cores=1,3,5,7
/proc/19772/stat : 19772 (java) S 19769 19772 16080 0 -1 1077944320 106355 12893 0 0 6894 94 5 3 20 0 15 0 49153020 11178180608 642178 33554432000 4194304 4196468 140726304549680 140726304532224 139677280394999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
/proc/19772/statm: 2729048 642178 3537 1 0 2690701 0
[pid=19772/tid=19825] ppid=19769 vsize=10916192 memory=4048 CPUtime=50.6 cores=1,3,5,7
/proc/19772/task/19825/stat : 19825 (java) R 19769 19772 16080 0 -1 4202560 47445 12893 0 0 5013 39 5 3 20 0 15 0 49153028 11178180608 642178 33554432000 4194304 4196468 140726304549680 139677252225376 139676850708436 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19826] ppid=19769 vsize=10916192 memory=2375684 CPUtime=0.46 cores=1,3,5,7
/proc/19772/task/19826/stat : 19826 (java) S 19769 19772 16080 0 -1 1077944384 2328 12893 0 0 29 9 5 3 20 0 15 0 49153029 11178180608 642178 33554432000 4194304 4196468 140726304549680 139677284637328 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19827] ppid=19769 vsize=10916192 memory=6791534058613427641 CPUtime=0.46 cores=1,3,5,7
/proc/19772/task/19827/stat : 19827 (java) S 19769 19772 16080 0 -1 1077944384 1012 12893 0 0 29 9 5 3 20 0 15 0 49153029 11178180608 642178 33554432000 4194304 4196468 140726304549680 139677172910608 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19828] ppid=19769 vsize=10916192 memory=-7390251449858225344 CPUtime=0.45 cores=1,3,5,7
/proc/19772/task/19828/stat : 19828 (java) S 19769 19772 16080 0 -1 1077944384 437 12893 0 0 28 9 5 3 20 0 15 0 49153029 11178180608 642178 33554432000 4194304 4196468 140726304549680 139677171857808 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19829] ppid=19769 vsize=10916192 memory=-7035114785800479027 CPUtime=0.47 cores=1,3,5,7
/proc/19772/task/19829/stat : 19829 (java) S 19769 19772 16080 0 -1 1077944384 1531 12893 0 0 30 9 5 3 20 0 15 0 49153029 11178180608 642178 33554432000 4194304 4196468 140726304549680 139677170805008 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19830] ppid=19769 vsize=10916192 memory=140015800596529 CPUtime=0.17 cores=1,3,5,7
/proc/19772/task/19830/stat : 19830 (java) S 19769 19772 16080 0 -1 1077944384 4115 12893 0 0 8 1 5 3 20 0 15 0 49153031 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676283251568 139677280406146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19831] ppid=19769 vsize=10916192 memory=7667497561383256160 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19831/stat : 19831 (java) S 19769 19772 16080 0 -1 1077944384 46 12893 0 0 0 0 5 3 20 0 15 0 49153031 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676282197664 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19832] ppid=19769 vsize=10916192 memory=7163651867944572016 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19832/stat : 19832 (java) S 19769 19772 16080 0 -1 1077944384 23 12893 0 0 0 0 5 3 20 0 15 0 49153031 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676161664384 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19833] ppid=19769 vsize=10916192 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19833/stat : 19833 (java) S 19769 19772 16080 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 49153034 11178180608 642178 33554432000 4194304 4196468 140726304549680 139675854264656 139677280413595 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19834] ppid=19769 vsize=10916192 memory=6944656592387989600 CPUtime=7.43 cores=1,3,5,7
/proc/19772/task/19834/stat : 19834 (java) S 19769 19772 16080 0 -1 1077944384 17305 12893 0 0 732 3 5 3 20 0 15 0 49153034 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676248639856 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19835] ppid=19769 vsize=10916192 memory=7822038052226416701 CPUtime=7.53 cores=1,3,5,7
/proc/19772/task/19835/stat : 19835 (java) S 19769 19772 16080 0 -1 1077944384 15261 12893 0 0 743 2 5 3 20 0 15 0 49153034 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676247587056 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19836] ppid=19769 vsize=10916192 memory=6655300316396806240 CPUtime=2.89 cores=1,3,5,7
/proc/19772/task/19836/stat : 19836 (java) S 19769 19772 16080 0 -1 1077944384 14012 12893 0 0 275 6 5 3 20 0 15 0 49153034 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676246534256 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19837] ppid=19769 vsize=10916192 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19837/stat : 19837 (java) S 19769 19772 16080 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 49153034 11178180608 642178 33554432000 4194304 4196468 140726304549680 139675820706016 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19838] ppid=19769 vsize=10916192 memory=-8412658736277716636 CPUtime=0.1 cores=1,3,5,7
/proc/19772/task/19838/stat : 19838 (java) S 19769 19772 16080 0 -1 1077944384 647 12893 0 0 1 1 5 3 20 0 15 0 49153034 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676245482672 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
Current children cumulated CPU time: 69.96 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2568712 KiB
[startup+52.8007 s]
/proc/loadavg: 1.81 1.73 1.70 3/218 19838
/proc/meminfo: memFree=14622740/32770624 swapFree=67108860/67108860
[pid=19772] ppid=19769 vsize=10916192 memory=2568712 CPUtime=71.56 cores=1,3,5,7
/proc/19772/stat : 19772 (java) S 19769 19772 16080 0 -1 1077944320 106421 12893 0 0 7054 94 5 3 20 0 15 0 49153020 11178180608 642178 33554432000 4194304 4196468 140726304549680 140726304532224 139677280394999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
/proc/19772/statm: 2729048 642178 3537 1 0 2690701 0
[pid=19772/tid=19825] ppid=19769 vsize=10916192 memory=280031331927664 CPUtime=52.2 cores=1,3,5,7
/proc/19772/task/19825/stat : 19825 (java) R 19769 19772 16080 0 -1 4202560 47511 12893 0 0 5173 39 5 3 20 0 15 0 49153028 11178180608 642178 33554432000 4194304 4196468 140726304549680 139677252225376 139676870155847 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19826] ppid=19769 vsize=10916192 memory=280031331927792 CPUtime=0.46 cores=1,3,5,7
/proc/19772/task/19826/stat : 19826 (java) S 19769 19772 16080 0 -1 1077944384 2328 12893 0 0 29 9 5 3 20 0 15 0 49153029 11178180608 642178 33554432000 4194304 4196468 140726304549680 139677284637328 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19827] ppid=19769 vsize=10916192 memory=6791534058613427641 CPUtime=0.46 cores=1,3,5,7
/proc/19772/task/19827/stat : 19827 (java) S 19769 19772 16080 0 -1 1077944384 1012 12893 0 0 29 9 5 3 20 0 15 0 49153029 11178180608 642178 33554432000 4194304 4196468 140726304549680 139677172910608 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19828] ppid=19769 vsize=10916192 memory=6944656592455097440 CPUtime=0.45 cores=1,3,5,7
/proc/19772/task/19828/stat : 19828 (java) S 19769 19772 16080 0 -1 1077944384 437 12893 0 0 28 9 5 3 20 0 15 0 49153029 11178180608 642178 33554432000 4194304 4196468 140726304549680 139677171857808 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19829] ppid=19769 vsize=10916192 memory=6656426216303648864 CPUtime=0.47 cores=1,3,5,7
/proc/19772/task/19829/stat : 19829 (java) S 19769 19772 16080 0 -1 1077944384 1531 12893 0 0 30 9 5 3 20 0 15 0 49153029 11178180608 642178 33554432000 4194304 4196468 140726304549680 139677170805008 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19830] ppid=19769 vsize=10916192 memory=6944656592385698452 CPUtime=0.17 cores=1,3,5,7
/proc/19772/task/19830/stat : 19830 (java) S 19769 19772 16080 0 -1 1077944384 4115 12893 0 0 8 1 5 3 20 0 15 0 49153031 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676283251568 139677280406146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19831] ppid=19769 vsize=10916192 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19831/stat : 19831 (java) S 19769 19772 16080 0 -1 1077944384 46 12893 0 0 0 0 5 3 20 0 15 0 49153031 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676282197664 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19832] ppid=19769 vsize=10916192 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19832/stat : 19832 (java) S 19769 19772 16080 0 -1 1077944384 23 12893 0 0 0 0 5 3 20 0 15 0 49153031 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676161664384 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19833] ppid=19769 vsize=10916192 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19833/stat : 19833 (java) S 19769 19772 16080 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 49153034 11178180608 642178 33554432000 4194304 4196468 140726304549680 139675854264656 139677280413595 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19834] ppid=19769 vsize=10916192 memory=-7175753904026764170 CPUtime=7.43 cores=1,3,5,7
/proc/19772/task/19834/stat : 19834 (java) S 19769 19772 16080 0 -1 1077944384 17305 12893 0 0 732 3 5 3 20 0 15 0 49153034 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676248639856 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19835] ppid=19769 vsize=10916192 memory=2568712 CPUtime=7.53 cores=1,3,5,7
/proc/19772/task/19835/stat : 19835 (java) S 19769 19772 16080 0 -1 1077944384 15261 12893 0 0 743 2 5 3 20 0 15 0 49153034 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676247587056 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19836] ppid=19769 vsize=10916192 memory=2568712 CPUtime=2.89 cores=1,3,5,7
/proc/19772/task/19836/stat : 19836 (java) S 19769 19772 16080 0 -1 1077944384 14012 12893 0 0 275 6 5 3 20 0 15 0 49153034 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676246534256 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19837] ppid=19769 vsize=10916192 memory=84 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19837/stat : 19837 (java) S 19769 19772 16080 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 49153034 11178180608 642178 33554432000 4194304 4196468 140726304549680 139675820706016 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19838] ppid=19769 vsize=10916192 memory=72 CPUtime=0.1 cores=1,3,5,7
/proc/19772/task/19838/stat : 19838 (java) S 19769 19772 16080 0 -1 1077944384 647 12893 0 0 1 1 5 3 20 0 15 0 49153034 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676245482672 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
Current children cumulated CPU time: 71.56 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2568712 KiB
[startup+53.6007 s]
/proc/loadavg: 1.81 1.73 1.70 3/218 19838
/proc/meminfo: memFree=14622252/32770624 swapFree=67108860/67108860
[pid=19772] ppid=19769 vsize=10916192 memory=2568712 CPUtime=72.36 cores=1,3,5,7
/proc/19772/stat : 19772 (java) S 19769 19772 16080 0 -1 1077944320 106422 12893 0 0 7134 94 5 3 20 0 15 0 49153020 11178180608 642178 33554432000 4194304 4196468 140726304549680 140726304532224 139677280394999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
/proc/19772/statm: 2729048 642178 3537 1 0 2690701 0
[pid=19772/tid=19825] ppid=19769 vsize=10916192 memory=16368 CPUtime=53 cores=1,3,5,7
/proc/19772/task/19825/stat : 19825 (java) R 19769 19772 16080 0 -1 4202560 47512 12893 0 0 5253 39 5 3 20 0 15 0 49153028 11178180608 642178 33554432000 4194304 4196468 140726304549680 139677252225376 139676866000892 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19826] ppid=19769 vsize=10916192 memory=1292 CPUtime=0.46 cores=1,3,5,7
/proc/19772/task/19826/stat : 19826 (java) S 19769 19772 16080 0 -1 1077944384 2328 12893 0 0 29 9 5 3 20 0 15 0 49153029 11178180608 642178 33554432000 4194304 4196468 140726304549680 139677284637328 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19827] ppid=19769 vsize=10916192 memory=2444 CPUtime=0.46 cores=1,3,5,7
/proc/19772/task/19827/stat : 19827 (java) S 19769 19772 16080 0 -1 1077944384 1012 12893 0 0 29 9 5 3 20 0 15 0 49153029 11178180608 642178 33554432000 4194304 4196468 140726304549680 139677172910608 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19828] ppid=19769 vsize=10916192 memory=2568712 CPUtime=0.45 cores=1,3,5,7
/proc/19772/task/19828/stat : 19828 (java) S 19769 19772 16080 0 -1 1077944384 437 12893 0 0 28 9 5 3 20 0 15 0 49153029 11178180608 642178 33554432000 4194304 4196468 140726304549680 139677171857808 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19829] ppid=19769 vsize=10916192 memory=2568712 CPUtime=0.47 cores=1,3,5,7
/proc/19772/task/19829/stat : 19829 (java) S 19769 19772 16080 0 -1 1077944384 1531 12893 0 0 30 9 5 3 20 0 15 0 49153029 11178180608 642178 33554432000 4194304 4196468 140726304549680 139677170805008 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19830] ppid=19769 vsize=10916192 memory=1408 CPUtime=0.17 cores=1,3,5,7
/proc/19772/task/19830/stat : 19830 (java) S 19769 19772 16080 0 -1 1077944384 4115 12893 0 0 8 1 5 3 20 0 15 0 49153031 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676283251568 139677280406146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19831] ppid=19769 vsize=10916192 memory=2672 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19831/stat : 19831 (java) S 19769 19772 16080 0 -1 1077944384 46 12893 0 0 0 0 5 3 20 0 15 0 49153031 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676282197664 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19832] ppid=19769 vsize=10916192 memory=2039168 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19832/stat : 19832 (java) S 19769 19772 16080 0 -1 1077944384 23 12893 0 0 0 0 5 3 20 0 15 0 49153031 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676161664384 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19833] ppid=19769 vsize=10916192 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19833/stat : 19833 (java) S 19769 19772 16080 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 49153034 11178180608 642178 33554432000 4194304 4196468 140726304549680 139675854264656 139677280413595 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19834] ppid=19769 vsize=10916192 memory=2568712 CPUtime=7.43 cores=1,3,5,7
/proc/19772/task/19834/stat : 19834 (java) S 19769 19772 16080 0 -1 1077944384 17305 12893 0 0 732 3 5 3 20 0 15 0 49153034 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676248639856 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19835] ppid=19769 vsize=10916192 memory=2568712 CPUtime=7.53 cores=1,3,5,7
/proc/19772/task/19835/stat : 19835 (java) S 19769 19772 16080 0 -1 1077944384 15261 12893 0 0 743 2 5 3 20 0 15 0 49153034 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676247587056 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19836] ppid=19769 vsize=10916192 memory=2394156 CPUtime=2.89 cores=1,3,5,7
/proc/19772/task/19836/stat : 19836 (java) S 19769 19772 16080 0 -1 1077944384 14012 12893 0 0 275 6 5 3 20 0 15 0 49153034 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676246534256 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19837] ppid=19769 vsize=10916192 memory=4132 CPUtime=0.08 cores=1,3,5,7
/proc/19772/task/19837/stat : 19837 (java) S 19769 19772 16080 0 -1 1077944384 3 12893 0 0 0 0 5 3 20 0 15 0 49153034 11178180608 642178 33554432000 4194304 4196468 140726304549680 139675820706016 139677280405205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
[pid=19772/tid=19838] ppid=19769 vsize=10916192 memory=16368 CPUtime=0.1 cores=1,3,5,7
/proc/19772/task/19838/stat : 19838 (java) S 19769 19772 16080 0 -1 1077944384 647 12893 0 0 1 1 5 3 20 0 15 0 49153034 11178180608 642178 33554432000 4194304 4196468 140726304549680 139676245482672 139677280406146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726304553132 140726304556380 140726304556380 140726304559055 0
Current children cumulated CPU time: 72.36 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2568712 KiB
[startup+53.8018 s]*
/proc/loadavg: 1.74 1.72 1.70 3/205 19839
/proc/meminfo: memFree=17017556/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 53.8127
CPU time (s): 72.5844
CPU user time (s): 71.5887
CPU system time (s): 0.995725
CPU usage (%): 134.883
Max. virtual memory (cumulated for all children) (KiB): 10918888
Max. memory (cumulated for all children) (KiB): 2568712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.5887
system time used= 0.995725
maximum resident set size= 2570848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121202
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11302
involuntary context switches= 236
# summary of solver processes directly reported to runsolver:
# pid: 19772
# total CPU time (s): 72.5844
# total CPU user time (s): 71.5887
# total CPU system time (s): 0.995725
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.338154 second user time and 0.56059 second system time
The end