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 (14925 MiB free)
memory of node 1: 16384 MiB (12685 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396221-1568396098/watcher-4396221-1568396098 -o /tmp/evaluation-result-4396221-1568396098/solver-4396221-1568396098 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568393581-9266 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=693074807 HOME/instance-4396221-1568396098.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9741, runsolver pid=9738
Current StackSize limit: 8192 KiB
[startup+0.100123 s]*
/proc/loadavg: 1.29 1.27 1.34 3/218 9798
/proc/meminfo: memFree=28265180/32770624 swapFree=66934672/67108860
[pid=9741] ppid=9738 vsize=9972712 memory=17080 CPUtime=0.09 cores=0,2,4,6
/proc/9741/stat : 9741 (java) S 9738 9741 9235 0 -1 1077944320 4505 13178 0 0 1 0 5 3 20 0 6 0 415881269 10212057088 4270 33554432000 4194304 4196468 140727125956560 140727125939104 140351533276919 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
/proc/9741/statm: 2493178 4270 1935 1 0 2481616 0
[pid=9741/tid=9794] ppid=9738 vsize=9972712 memory=4718545630382498451 CPUtime=0.09 cores=0,2,4,6
/proc/9741/task/9794/stat : 9794 (java) R 9738 9741 9235 0 -1 4202560 2329 13178 0 0 1 0 5 3 20 0 6 0 415881278 10212057088 4270 33554432000 4194304 4196468 140727125956560 140351505113680 140351518399856 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9795] ppid=9738 vsize=9972712 memory=5793855373468301753 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9795/stat : 9795 (java) S 9738 9741 9235 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 6 0 415881279 10212057088 4270 33554432000 4194304 4196468 140727125956560 140351537519120 140351533287125 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9796] ppid=9738 vsize=9972712 memory=140122458408576 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9796/stat : 9796 (java) S 9738 9741 9235 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 6 0 415881279 10212057088 4270 33554432000 4194304 4196468 140727125956560 140351425792656 140351533287125 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9797] ppid=9738 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9797/stat : 9797 (java) S 9738 9741 9235 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 6 0 415881279 10212057088 4270 33554432000 4194304 4196468 140727125956560 140351424739600 140351533287125 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9798] ppid=9738 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9798/stat : 9798 (java) S 9738 9741 9235 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 6 0 415881279 10212057088 4270 33554432000 4194304 4196468 140727125956560 140351423687056 140351533287125 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB
[startup+0.210028 s]*
/proc/loadavg: 1.29 1.27 1.34 3/227 9807
/proc/meminfo: memFree=28248528/32770624 swapFree=66934672/67108860
[pid=9741] ppid=9738 vsize=10819664 memory=37176 CPUtime=0.26 cores=0,2,4,6
/proc/9741/stat : 9741 (java) S 9738 9741 9235 0 -1 1077944320 7153 13178 0 0 17 1 5 3 20 0 15 0 415881269 11079335936 9294 33554432000 4194304 4196468 140727125956560 140727125939104 140351533276919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
/proc/9741/statm: 2704916 9294 3160 1 0 2667149 0
[pid=9741/tid=9794] ppid=9738 vsize=10819664 memory=-2899909650764262549 CPUtime=0.2 cores=0,2,4,6
/proc/9741/task/9794/stat : 9794 (java) R 9738 9741 9235 0 -1 4202560 3636 13178 0 0 11 1 5 3 20 0 15 0 415881278 11079335936 9294 33554432000 4194304 4196468 140727125956560 140351505109936 140351519345038 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9795] ppid=9738 vsize=10819664 memory=4211973848663199114 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9795/stat : 9795 (java) S 9738 9741 9235 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 415881279 11079335936 9294 33554432000 4194304 4196468 140727125956560 140351537519120 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9796] ppid=9738 vsize=10819664 memory=140122458408576 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9796/stat : 9796 (java) S 9738 9741 9235 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 415881279 11079335936 9294 33554432000 4194304 4196468 140727125956560 140351425792656 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9797] ppid=9738 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9797/stat : 9797 (java) S 9738 9741 9235 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 415881279 11079335936 9294 33554432000 4194304 4196468 140727125956560 140351424739600 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9798] ppid=9738 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9798/stat : 9798 (java) S 9738 9741 9235 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 415881279 11079335936 9294 33554432000 4194304 4196468 140727125956560 140351423687056 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9799] ppid=9738 vsize=10819664 memory=140122458408576 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9799/stat : 9799 (java) S 9738 9741 9235 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 415881280 11079335936 9294 33554432000 4194304 4196468 140727125956560 140350992612080 140351533288066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9800] ppid=9738 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9800/stat : 9800 (java) S 9738 9741 9235 0 -1 1077944384 33 13178 0 0 0 0 5 3 20 0 15 0 415881281 11079335936 9806 33554432000 4194304 4196468 140727125956560 140350991558304 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9801] ppid=9738 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9801/stat : 9801 (java) S 9738 9741 9235 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 415881281 11079335936 9806 33554432000 4194304 4196468 140727125956560 140350874182896 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9802] ppid=9738 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9802/stat : 9802 (java) S 9738 9741 9235 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 415881284 11079335936 9806 33554432000 4194304 4196468 140727125956560 140350097021392 140351533295515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9803] ppid=9738 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9741/task/9803/stat : 9803 (java) S 9738 9741 9235 0 -1 1077944384 463 13178 0 0 1 0 5 3 20 0 15 0 415881284 11079335936 9806 33554432000 4194304 4196468 140727125956560 140350958000368 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9804] ppid=9738 vsize=10819664 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/9741/task/9804/stat : 9804 (java) S 9738 9741 9235 0 -1 1077944384 190 13178 0 0 1 0 5 3 20 0 15 0 415881284 11079335936 9806 33554432000 4194304 4196468 140727125956560 140350956947824 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9805] ppid=9738 vsize=10819664 memory=140122458408576 CPUtime=0.11 cores=0,2,4,6
/proc/9741/task/9805/stat : 9805 (java) R 9738 9741 9235 0 -1 4202560 613 13178 0 0 3 0 5 3 20 0 15 0 415881284 11079335936 9806 33554432000 4194304 4196468 140727125956560 140350955894768 140351511810433 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9806] ppid=9738 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9806/stat : 9806 (java) S 9738 9741 9235 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 415881284 11079335936 9806 33554432000 4194304 4196468 140727125956560 140350063462752 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9807] ppid=9738 vsize=10819664 memory=140122458408576 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9807/stat : 9807 (java) S 9738 9741 9235 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 415881284 11079335936 9806 33554432000 4194304 4196468 140727125956560 140350954843184 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 37176 KiB
[startup+0.310338 s]*
/proc/loadavg: 1.29 1.27 1.34 4/227 9807
/proc/meminfo: memFree=28235592/32770624 swapFree=66934672/67108860
[pid=9741] ppid=9738 vsize=10820148 memory=48588 CPUtime=0.4 cores=0,2,4,6
/proc/9741/stat : 9741 (java) S 9738 9741 9235 0 -1 1077944320 10858 13178 0 0 29 3 5 3 20 0 15 0 415881269 11079831552 12147 33554432000 4194304 4196468 140727125956560 140727125939104 140351533276919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
/proc/9741/statm: 2705037 12147 3326 1 0 2667149 0
[pid=9741/tid=9794] ppid=9738 vsize=10820148 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/9741/task/9794/stat : 9794 (java) R 9738 9741 9235 0 -1 4202560 7318 13178 0 0 19 2 5 3 20 0 15 0 415881278 11079831552 12147 33554432000 4194304 4196468 140727125956560 140351505094544 140351533288854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9795] ppid=9738 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9795/stat : 9795 (java) S 9738 9741 9235 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 415881279 11079831552 12147 33554432000 4194304 4196468 140727125956560 140351537519120 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9796] ppid=9738 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9796/stat : 9796 (java) S 9738 9741 9235 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 415881279 11079831552 12147 33554432000 4194304 4196468 140727125956560 140351425792656 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9797] ppid=9738 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9797/stat : 9797 (java) S 9738 9741 9235 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 415881279 11079831552 12147 33554432000 4194304 4196468 140727125956560 140351424739600 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9798] ppid=9738 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9798/stat : 9798 (java) S 9738 9741 9235 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 415881279 11079831552 12147 33554432000 4194304 4196468 140727125956560 140351423687056 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9799] ppid=9738 vsize=10820148 memory=140122458408575 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9799/stat : 9799 (java) S 9738 9741 9235 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 415881280 11079831552 12147 33554432000 4194304 4196468 140727125956560 140350992612080 140351533288066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9800] ppid=9738 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9800/stat : 9800 (java) S 9738 9741 9235 0 -1 1077944384 33 13178 0 0 0 0 5 3 20 0 15 0 415881281 11079831552 12147 33554432000 4194304 4196468 140727125956560 140350991558304 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9801] ppid=9738 vsize=10820148 memory=140122458408576 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9801/stat : 9801 (java) S 9738 9741 9235 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 415881281 11079831552 12147 33554432000 4194304 4196468 140727125956560 140350874182896 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9802] ppid=9738 vsize=10820148 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9802/stat : 9802 (java) S 9738 9741 9235 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 415881284 11079831552 12147 33554432000 4194304 4196468 140727125956560 140350097021392 140351533295515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9803] ppid=9738 vsize=10820148 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/9741/task/9803/stat : 9803 (java) S 9738 9741 9235 0 -1 1077944384 464 13178 0 0 2 0 5 3 20 0 15 0 415881284 11079831552 12147 33554432000 4194304 4196468 140727125956560 140350958000368 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9804] ppid=9738 vsize=10820148 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/9741/task/9804/stat : 9804 (java) S 9738 9741 9235 0 -1 1077944384 199 13178 0 0 1 0 5 3 20 0 15 0 415881284 11079831552 12147 33554432000 4194304 4196468 140727125956560 140350956947824 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9805] ppid=9738 vsize=10820148 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/9741/task/9805/stat : 9805 (java) S 9738 9741 9235 0 -1 1077944384 622 13178 0 0 5 0 5 3 20 0 15 0 415881284 11079831552 12147 33554432000 4194304 4196468 140727125956560 140350955894768 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9806] ppid=9738 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9806/stat : 9806 (java) S 9738 9741 9235 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 415881284 11079831552 12147 33554432000 4194304 4196468 140727125956560 140350063462752 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9807] ppid=9738 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9807/stat : 9807 (java) S 9738 9741 9235 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 415881284 11079831552 12147 33554432000 4194304 4196468 140727125956560 140350954843184 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 48588 KiB
[startup+0.70069 s]
/proc/loadavg: 1.29 1.27 1.34 3/227 9807
/proc/meminfo: memFree=28221256/32770624 swapFree=66934672/67108860
[pid=9741] ppid=9738 vsize=10824360 memory=81820 CPUtime=1.11 cores=0,2,4,6
/proc/9741/stat : 9741 (java) S 9738 9741 9235 0 -1 1077944320 15193 13178 0 0 98 5 5 3 20 0 15 0 415881269 11084144640 20455 33554432000 4194304 4196468 140727125956560 140727125939104 140351533276919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
/proc/9741/statm: 2706090 20455 3511 1 0 2668173 0
[pid=9741/tid=9794] ppid=9738 vsize=10824360 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/9741/task/9794/stat : 9794 (java) R 9738 9741 9235 0 -1 4202560 10441 13178 0 0 55 4 5 3 20 0 15 0 415881278 11084144640 20455 33554432000 4194304 4196468 140727125956560 140351505104080 140351533298845 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9795] ppid=9738 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9795/stat : 9795 (java) S 9738 9741 9235 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 415881279 11084144640 20455 33554432000 4194304 4196468 140727125956560 140351537519120 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9796] ppid=9738 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9796/stat : 9796 (java) S 9738 9741 9235 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 415881279 11084144640 20455 33554432000 4194304 4196468 140727125956560 140351425792656 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9797] ppid=9738 vsize=10824360 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9797/stat : 9797 (java) S 9738 9741 9235 0 -1 1077944384 2 13178 0 0 0 0 5 3 20 0 15 0 415881279 11084144640 20455 33554432000 4194304 4196468 140727125956560 140351424739600 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9798] ppid=9738 vsize=10824360 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9798/stat : 9798 (java) S 9738 9741 9235 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 415881279 11084144640 20455 33554432000 4194304 4196468 140727125956560 140351423687056 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9799] ppid=9738 vsize=10824360 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9799/stat : 9799 (java) S 9738 9741 9235 0 -1 1077944384 5 13178 0 0 0 0 5 3 20 0 15 0 415881280 11084144640 20455 33554432000 4194304 4196468 140727125956560 140350992612080 140351533288066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9800] ppid=9738 vsize=10824360 memory=140122301408496 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9800/stat : 9800 (java) S 9738 9741 9235 0 -1 1077944384 33 13178 0 0 0 0 5 3 20 0 15 0 415881281 11084144640 20455 33554432000 4194304 4196468 140727125956560 140350991558304 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9801] ppid=9738 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9801/stat : 9801 (java) S 9738 9741 9235 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 415881281 11084144640 20455 33554432000 4194304 4196468 140727125956560 140350874182896 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9802] ppid=9738 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9802/stat : 9802 (java) S 9738 9741 9235 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 415881284 11084144640 20455 33554432000 4194304 4196468 140727125956560 140350097021392 140351533295515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9803] ppid=9738 vsize=10824360 memory=6944656575208382560 CPUtime=0.2 cores=0,2,4,6
/proc/9741/task/9803/stat : 9803 (java) R 9738 9741 9235 0 -1 4202560 942 13178 0 0 12 0 5 3 20 0 15 0 415881284 11084144640 20455 33554432000 4194304 4196468 140727125956560 140350958000368 140351514456084 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9804] ppid=9738 vsize=10824360 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/9741/task/9804/stat : 9804 (java) R 9738 9741 9235 0 -1 1077944384 666 13178 0 0 12 0 5 3 20 0 15 0 415881284 11084144640 20455 33554432000 4194304 4196468 140727125956560 140350956947824 140351533288066 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9805] ppid=9738 vsize=10824360 memory=6944652177228980320 CPUtime=0.25 cores=0,2,4,6
/proc/9741/task/9805/stat : 9805 (java) R 9738 9741 9235 0 -1 4202560 885 13178 0 0 17 0 5 3 20 0 15 0 415881284 11084144640 20455 33554432000 4194304 4196468 140727125956560 140350955894768 140351533288854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9806] ppid=9738 vsize=10824360 memory=6944656592455359580 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9806/stat : 9806 (java) S 9738 9741 9235 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 415881284 11084144640 20455 33554432000 4194304 4196468 140727125956560 140350063462752 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9807] ppid=9738 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9807/stat : 9807 (java) S 9738 9741 9235 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 415881284 11084144640 20455 33554432000 4194304 4196468 140727125956560 140350954843184 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 81820 KiB
[startup+1.50227 s]
/proc/loadavg: 1.29 1.27 1.34 3/227 9807
/proc/meminfo: memFree=28174280/32770624 swapFree=66934672/67108860
[pid=9741] ppid=9738 vsize=10834676 memory=169652 CPUtime=2.43 cores=0,2,4,6
/proc/9741/stat : 9741 (java) S 9738 9741 9235 0 -1 1077944320 22010 13178 0 0 226 9 5 3 20 0 15 0 415881269 11094708224 42413 33554432000 4194304 4196468 140727125956560 140727125939104 140351533276919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
/proc/9741/statm: 2708669 42413 3581 1 0 2670733 0
[pid=9741/tid=9794] ppid=9738 vsize=10834676 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/9741/task/9794/stat : 9794 (java) R 9738 9741 9235 0 -1 4202560 15286 13178 0 0 131 5 5 3 20 0 15 0 415881278 11094708224 42413 33554432000 4194304 4196468 140727125956560 140351505083776 140351092371093 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9795] ppid=9738 vsize=10834676 memory=3620 CPUtime=0.09 cores=0,2,4,6
/proc/9741/task/9795/stat : 9795 (java) S 9738 9741 9235 0 -1 1077944384 36 13178 0 0 1 0 5 3 20 0 15 0 415881279 11094708224 42440 33554432000 4194304 4196468 140727125956560 140351537519120 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9796] ppid=9738 vsize=10834676 memory=22728 CPUtime=0.09 cores=0,2,4,6
/proc/9741/task/9796/stat : 9796 (java) S 9738 9741 9235 0 -1 1077944384 410 13178 0 0 1 0 5 3 20 0 15 0 415881279 11094708224 42440 33554432000 4194304 4196468 140727125956560 140351425792656 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9797] ppid=9738 vsize=10834676 memory=984 CPUtime=0.09 cores=0,2,4,6
/proc/9741/task/9797/stat : 9797 (java) S 9738 9741 9235 0 -1 1077944384 76 13178 0 0 1 0 5 3 20 0 15 0 415881279 11094708224 42440 33554432000 4194304 4196468 140727125956560 140351424739600 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9798] ppid=9738 vsize=10834676 memory=98360 CPUtime=0.09 cores=0,2,4,6
/proc/9741/task/9798/stat : 9798 (java) S 9738 9741 9235 0 -1 1077944384 84 13178 0 0 1 0 5 3 20 0 15 0 415881279 11094708224 42440 33554432000 4194304 4196468 140727125956560 140351423687056 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9799] ppid=9738 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9741/task/9799/stat : 9799 (java) S 9738 9741 9235 0 -1 1077944384 183 13178 0 0 1 0 5 3 20 0 15 0 415881280 11094708224 42440 33554432000 4194304 4196468 140727125956560 140350992612080 140351533288066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9800] ppid=9738 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9800/stat : 9800 (java) S 9738 9741 9235 0 -1 1077944384 35 13178 0 0 0 0 5 3 20 0 15 0 415881281 11094708224 42440 33554432000 4194304 4196468 140727125956560 140350991558368 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9801] ppid=9738 vsize=10834676 memory=1 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9801/stat : 9801 (java) S 9738 9741 9235 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 415881281 11094708224 42440 33554432000 4194304 4196468 140727125956560 140350874182912 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9802] ppid=9738 vsize=10834676 memory=1 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9802/stat : 9802 (java) S 9738 9741 9235 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 415881284 11094708224 42440 33554432000 4194304 4196468 140727125956560 140350097021392 140351533295515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9803] ppid=9738 vsize=10834676 memory=1 CPUtime=0.32 cores=0,2,4,6
/proc/9741/task/9803/stat : 9803 (java) S 9738 9741 9235 0 -1 1077944384 1148 13178 0 0 24 0 5 3 20 0 15 0 415881284 11094708224 42440 33554432000 4194304 4196468 140727125956560 140350958000368 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9804] ppid=9738 vsize=10834676 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/9741/task/9804/stat : 9804 (java) S 9738 9741 9235 0 -1 1077944384 837 13178 0 0 22 0 5 3 20 0 15 0 415881284 11094708224 42440 33554432000 4194304 4196468 140727125956560 140350956947824 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9805] ppid=9738 vsize=10834676 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/9741/task/9805/stat : 9805 (java) R 9738 9741 9235 0 -1 4202560 1723 13178 0 0 41 0 5 3 20 0 15 0 415881284 11094708224 42440 33554432000 4194304 4196468 140727125956560 140350955893952 140351533288854 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9806] ppid=9738 vsize=10834676 memory=288230621803970871 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9806/stat : 9806 (java) S 9738 9741 9235 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 415881284 11094708224 42440 33554432000 4194304 4196468 140727125956560 140350063462752 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9807] ppid=9738 vsize=10834676 memory=14133350919046965 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9807/stat : 9807 (java) S 9738 9741 9235 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 415881284 11094708224 42440 33554432000 4194304 4196468 140727125956560 140350954843184 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
/proc/9741/task/9794/stat : 9794 (java) R 9738 9741 9235 0 -1 4202560 50826 13178 0 0 93173 32 5 3 20 0 15 0 415881278 11111518208 207095 33554432000 4194304 4196468 140727125956560 140351505112896 140351106449508 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9795] ppid=9738 vsize=10851092 memory=828380 CPUtime=4.52 cores=0,2,4,6
/proc/9741/task/9795/stat : 9795 (java) S 9738 9741 9235 0 -1 1077944384 6452 13178 0 0 423 21 5 3 20 0 15 0 415881279 11111518208 207095 33554432000 4194304 4196468 140727125956560 140351537519120 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9796] ppid=9738 vsize=10851092 memory=1259248 CPUtime=4.54 cores=0,2,4,6
/proc/9741/task/9796/stat : 9796 (java) S 9738 9741 9235 0 -1 1077944384 8740 13178 0 0 425 21 5 3 20 0 15 0 415881279 11111518208 207095 33554432000 4194304 4196468 140727125956560 140351425792656 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9797] ppid=9738 vsize=10851092 memory=828380 CPUtime=4.54 cores=0,2,4,6
/proc/9741/task/9797/stat : 9797 (java) S 9738 9741 9235 0 -1 1077944384 7479 13178 0 0 423 23 5 3 20 0 15 0 415881279 11111518208 207095 33554432000 4194304 4196468 140727125956560 140351424739600 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9798] ppid=9738 vsize=10851092 memory=828380 CPUtime=4.53 cores=0,2,4,6
/proc/9741/task/9798/stat : 9798 (java) S 9738 9741 9235 0 -1 1077944384 7993 13178 0 0 422 23 5 3 20 0 15 0 415881279 11111518208 207095 33554432000 4194304 4196468 140727125956560 140351423687056 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9799] ppid=9738 vsize=10851092 memory=828380 CPUtime=4.2 cores=0,2,4,6
/proc/9741/task/9799/stat : 9799 (java) S 9738 9741 9235 0 -1 1077944384 9682 13178 0 0 392 20 5 3 20 0 15 0 415881280 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350992612080 140351533288066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9800] ppid=9738 vsize=10851092 memory=828380 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9800/stat : 9800 (java) S 9738 9741 9235 0 -1 1077944384 46 13178 0 0 0 0 5 3 20 0 15 0 415881281 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350991558368 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9801] ppid=9738 vsize=10851092 memory=828380 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9801/stat : 9801 (java) S 9738 9741 9235 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 415881281 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350874182912 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9802] ppid=9738 vsize=10851092 memory=828380 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9802/stat : 9802 (java) S 9738 9741 9235 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 415881284 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350097021392 140351533295515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9803] ppid=9738 vsize=10851092 memory=828380 CPUtime=4.66 cores=0,2,4,6
/proc/9741/task/9803/stat : 9803 (java) S 9738 9741 9235 0 -1 1077944384 29343 13178 0 0 453 5 5 3 20 0 15 0 415881284 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350958000368 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9804] ppid=9738 vsize=10851092 memory=828380 CPUtime=4.95 cores=0,2,4,6
/proc/9741/task/9804/stat : 9804 (java) S 9738 9741 9235 0 -1 1077944384 23889 13178 0 0 482 5 5 3 20 0 15 0 415881284 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350956947824 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9805] ppid=9738 vsize=10851092 memory=828380 CPUtime=3.91 cores=0,2,4,6
/proc/9741/task/9805/stat : 9805 (java) S 9738 9741 9235 0 -1 1077944384 28736 13178 0 0 376 7 5 3 20 0 15 0 415881284 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350955894768 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9806] ppid=9738 vsize=10851092 memory=828380 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9806/stat : 9806 (java) S 9738 9741 9235 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 415881284 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350063462752 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9807] ppid=9738 vsize=10851092 memory=14008 CPUtime=0.54 cores=0,2,4,6
/proc/9741/task/9807/stat : 9807 (java) S 9738 9741 9235 0 -1 1077944384 529 13178 0 0 24 22 5 3 20 0 15 0 415881284 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350954843184 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
Current children cumulated CPU time: 967.92 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 828380 KiB
[startup+946.611 s]
# the end of solver process 9741 was just reported to runsolver
# cumulated CPU time of all completed processes: user=970.643 s, system=1.64816 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+944.001 s]*
/proc/loadavg: 1.52 1.57 1.50 3/228 10156
/proc/meminfo: memFree=28973180/32770624 swapFree=66934684/67108860
[pid=9741] ppid=9738 vsize=10851092 memory=828380 CPUtime=969.65 cores=0,2,4,6
/proc/9741/stat : 9741 (java) S 9738 9741 9235 0 -1 1077944320 175943 13178 0 0 96797 160 5 3 20 0 15 0 415881269 11111518208 207095 33554432000 4194304 4196468 140727125956560 140727125939104 140351533276919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
/proc/9741/statm: 2712773 207095 3629 1 0 2674829 0
[pid=9741/tid=9794] ppid=9738 vsize=10851092 memory=5952 CPUtime=933.82 cores=0,2,4,6
/proc/9741/task/9794/stat : 9794 (java) R 9738 9741 9235 0 -1 4202560 50837 13178 0 0 93342 32 5 3 20 0 15 0 415881278 11111518208 207095 33554432000 4194304 4196468 140727125956560 140351505112576 140351105225384 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9795] ppid=9738 vsize=10851092 memory=1124 CPUtime=4.53 cores=0,2,4,6
/proc/9741/task/9795/stat : 9795 (java) S 9738 9741 9235 0 -1 1077944384 6452 13178 0 0 424 21 5 3 20 0 15 0 415881279 11111518208 207095 33554432000 4194304 4196468 140727125956560 140351537519120 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9796] ppid=9738 vsize=10851092 memory=828380 CPUtime=4.55 cores=0,2,4,6
/proc/9741/task/9796/stat : 9796 (java) S 9738 9741 9235 0 -1 1077944384 8740 13178 0 0 426 21 5 3 20 0 15 0 415881279 11111518208 207095 33554432000 4194304 4196468 140727125956560 140351425792656 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9797] ppid=9738 vsize=10851092 memory=-7003737579269690708 CPUtime=4.55 cores=0,2,4,6
/proc/9741/task/9797/stat : 9797 (java) S 9738 9741 9235 0 -1 1077944384 7479 13178 0 0 424 23 5 3 20 0 15 0 415881279 11111518208 207095 33554432000 4194304 4196468 140727125956560 140351424739600 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9798] ppid=9738 vsize=10851092 memory=920 CPUtime=4.54 cores=0,2,4,6
/proc/9741/task/9798/stat : 9798 (java) S 9738 9741 9235 0 -1 1077944384 7993 13178 0 0 423 23 5 3 20 0 15 0 415881279 11111518208 207095 33554432000 4194304 4196468 140727125956560 140351423687056 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9799] ppid=9738 vsize=10851092 memory=3852 CPUtime=4.21 cores=0,2,4,6
/proc/9741/task/9799/stat : 9799 (java) S 9738 9741 9235 0 -1 1077944384 9684 13178 0 0 393 20 5 3 20 0 15 0 415881280 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350992612080 140351533288066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9800] ppid=9738 vsize=10851092 memory=2608 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9800/stat : 9800 (java) S 9738 9741 9235 0 -1 1077944384 46 13178 0 0 0 0 5 3 20 0 15 0 415881281 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350991558368 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9801] ppid=9738 vsize=10851092 memory=2848 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9801/stat : 9801 (java) S 9738 9741 9235 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 415881281 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350874182912 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9802] ppid=9738 vsize=10851092 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9802/stat : 9802 (java) S 9738 9741 9235 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 415881284 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350097021392 140351533295515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9803] ppid=9738 vsize=10851092 memory=7280 CPUtime=4.66 cores=0,2,4,6
/proc/9741/task/9803/stat : 9803 (java) S 9738 9741 9235 0 -1 1077944384 29343 13178 0 0 453 5 5 3 20 0 15 0 415881284 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350958000368 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9804] ppid=9738 vsize=10851092 memory=828380 CPUtime=4.95 cores=0,2,4,6
/proc/9741/task/9804/stat : 9804 (java) S 9738 9741 9235 0 -1 1077944384 23889 13178 0 0 482 5 5 3 20 0 15 0 415881284 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350956947824 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9805] ppid=9738 vsize=10851092 memory=1408 CPUtime=3.91 cores=0,2,4,6
/proc/9741/task/9805/stat : 9805 (java) S 9738 9741 9235 0 -1 1077944384 28736 13178 0 0 376 7 5 3 20 0 15 0 415881284 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350955894768 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9806] ppid=9738 vsize=10851092 memory=3232 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9806/stat : 9806 (java) S 9738 9741 9235 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 415881284 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350063462752 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9807] ppid=9738 vsize=10851092 memory=1259248 CPUtime=0.54 cores=0,2,4,6
/proc/9741/task/9807/stat : 9807 (java) S 9738 9741 9235 0 -1 1077944384 529 13178 0 0 24 22 5 3 20 0 15 0 415881284 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350954843184 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
Current children cumulated CPU time: 969.65 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 828380 KiB
[startup+945.601 s]
/proc/loadavg: 1.56 1.58 1.51 3/228 10156
/proc/meminfo: memFree=28976564/32770624 swapFree=66934684/67108860
[pid=9741] ppid=9738 vsize=10851092 memory=828380 CPUtime=971.27 cores=0,2,4,6
/proc/9741/stat : 9741 (java) S 9738 9741 9235 0 -1 1077944320 175953 13178 0 0 96959 160 5 3 20 0 15 0 415881269 11111518208 207095 33554432000 4194304 4196468 140727125956560 140727125939104 140351533276919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
/proc/9741/statm: 2712773 207095 3629 1 0 2674829 0
[pid=9741/tid=9794] ppid=9738 vsize=10851092 memory=8112282956445269571 CPUtime=935.39 cores=0,2,4,6
/proc/9741/task/9794/stat : 9794 (java) R 9738 9741 9235 0 -1 4202560 50847 13178 0 0 93499 32 5 3 20 0 15 0 415881278 11111518208 207095 33554432000 4194304 4196468 140727125956560 140351505112208 140351100151520 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9795] ppid=9738 vsize=10851092 memory=4100 CPUtime=4.54 cores=0,2,4,6
/proc/9741/task/9795/stat : 9795 (java) S 9738 9741 9235 0 -1 1077944384 6452 13178 0 0 425 21 5 3 20 0 15 0 415881279 11111518208 207095 33554432000 4194304 4196468 140727125956560 140351537519120 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9796] ppid=9738 vsize=10851092 memory=8112282956445269571 CPUtime=4.55 cores=0,2,4,6
/proc/9741/task/9796/stat : 9796 (java) S 9738 9741 9235 0 -1 1077944384 8740 13178 0 0 426 21 5 3 20 0 15 0 415881279 11111518208 207095 33554432000 4194304 4196468 140727125956560 140351425792656 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9797] ppid=9738 vsize=10851092 memory=772 CPUtime=4.56 cores=0,2,4,6
/proc/9741/task/9797/stat : 9797 (java) S 9738 9741 9235 0 -1 1077944384 7479 13178 0 0 425 23 5 3 20 0 15 0 415881279 11111518208 207095 33554432000 4194304 4196468 140727125956560 140351424739600 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9798] ppid=9738 vsize=10851092 memory=3932 CPUtime=4.55 cores=0,2,4,6
/proc/9741/task/9798/stat : 9798 (java) S 9738 9741 9235 0 -1 1077944384 7993 13178 0 0 424 23 5 3 20 0 15 0 415881279 11111518208 207095 33554432000 4194304 4196468 140727125956560 140351423687056 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9799] ppid=9738 vsize=10851092 memory=2832 CPUtime=4.21 cores=0,2,4,6
/proc/9741/task/9799/stat : 9799 (java) S 9738 9741 9235 0 -1 1077944384 9684 13178 0 0 393 20 5 3 20 0 15 0 415881280 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350992612080 140351533288066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9800] ppid=9738 vsize=10851092 memory=828380 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9800/stat : 9800 (java) S 9738 9741 9235 0 -1 1077944384 46 13178 0 0 0 0 5 3 20 0 15 0 415881281 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350991558368 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9801] ppid=9738 vsize=10851092 memory=828380 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9801/stat : 9801 (java) S 9738 9741 9235 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 415881281 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350874182912 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9802] ppid=9738 vsize=10851092 memory=2032 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9802/stat : 9802 (java) S 9738 9741 9235 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 415881284 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350097021392 140351533295515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9803] ppid=9738 vsize=10851092 memory=1332 CPUtime=4.66 cores=0,2,4,6
/proc/9741/task/9803/stat : 9803 (java) S 9738 9741 9235 0 -1 1077944384 29343 13178 0 0 453 5 5 3 20 0 15 0 415881284 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350958000368 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9804] ppid=9738 vsize=10851092 memory=1564 CPUtime=4.95 cores=0,2,4,6
/proc/9741/task/9804/stat : 9804 (java) S 9738 9741 9235 0 -1 1077944384 23889 13178 0 0 482 5 5 3 20 0 15 0 415881284 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350956947824 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9805] ppid=9738 vsize=10851092 memory=828380 CPUtime=3.91 cores=0,2,4,6
/proc/9741/task/9805/stat : 9805 (java) S 9738 9741 9235 0 -1 1077944384 28736 13178 0 0 376 7 5 3 20 0 15 0 415881284 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350955894768 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9806] ppid=9738 vsize=10851092 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9806/stat : 9806 (java) S 9738 9741 9235 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 415881284 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350063462752 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9807] ppid=9738 vsize=10851092 memory=22744 CPUtime=0.55 cores=0,2,4,6
/proc/9741/task/9807/stat : 9807 (java) S 9738 9741 9235 0 -1 1077944384 529 13178 0 0 24 23 5 3 20 0 15 0 415881284 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350954843184 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
Current children cumulated CPU time: 971.27 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 828380 KiB
[startup+946.401 s]
/proc/loadavg: 1.56 1.58 1.51 3/228 10156
/proc/meminfo: memFree=28978848/32770624 swapFree=66934684/67108860
[pid=9741] ppid=9738 vsize=10851092 memory=828380 CPUtime=972.08 cores=0,2,4,6
/proc/9741/stat : 9741 (java) S 9738 9741 9235 0 -1 1077944320 175958 13178 0 0 97040 160 5 3 20 0 15 0 415881269 11111518208 207095 33554432000 4194304 4196468 140727125956560 140727125939104 140351533276919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
/proc/9741/statm: 2712773 207095 3629 1 0 2674829 0
[pid=9741/tid=9794] ppid=9738 vsize=10851092 memory=2032 CPUtime=936.19 cores=0,2,4,6
/proc/9741/task/9794/stat : 9794 (java) R 9738 9741 9235 0 -1 4202560 50852 13178 0 0 93579 32 5 3 20 0 15 0 415881278 11111518208 207095 33554432000 4194304 4196468 140727125956560 140351505112912 140351515684496 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9795] ppid=9738 vsize=10851092 memory=1332 CPUtime=4.54 cores=0,2,4,6
/proc/9741/task/9795/stat : 9795 (java) S 9738 9741 9235 0 -1 1077944384 6452 13178 0 0 425 21 5 3 20 0 15 0 415881279 11111518208 207095 33554432000 4194304 4196468 140727125956560 140351537519120 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9796] ppid=9738 vsize=10851092 memory=1564 CPUtime=4.56 cores=0,2,4,6
/proc/9741/task/9796/stat : 9796 (java) S 9738 9741 9235 0 -1 1077944384 8740 13178 0 0 427 21 5 3 20 0 15 0 415881279 11111518208 207095 33554432000 4194304 4196468 140727125956560 140351425792656 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9797] ppid=9738 vsize=10851092 memory=8112282956445269571 CPUtime=4.56 cores=0,2,4,6
/proc/9741/task/9797/stat : 9797 (java) S 9738 9741 9235 0 -1 1077944384 7479 13178 0 0 425 23 5 3 20 0 15 0 415881279 11111518208 207095 33554432000 4194304 4196468 140727125956560 140351424739600 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9798] ppid=9738 vsize=10851092 memory=920 CPUtime=4.55 cores=0,2,4,6
/proc/9741/task/9798/stat : 9798 (java) S 9738 9741 9235 0 -1 1077944384 7993 13178 0 0 424 23 5 3 20 0 15 0 415881279 11111518208 207095 33554432000 4194304 4196468 140727125956560 140351423687056 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9799] ppid=9738 vsize=10851092 memory=3852 CPUtime=4.22 cores=0,2,4,6
/proc/9741/task/9799/stat : 9799 (java) S 9738 9741 9235 0 -1 1077944384 9684 13178 0 0 394 20 5 3 20 0 15 0 415881280 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350992612080 140351533288066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9800] ppid=9738 vsize=10851092 memory=2608 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9800/stat : 9800 (java) S 9738 9741 9235 0 -1 1077944384 46 13178 0 0 0 0 5 3 20 0 15 0 415881281 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350991558368 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9801] ppid=9738 vsize=10851092 memory=2848 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9801/stat : 9801 (java) S 9738 9741 9235 0 -1 1077944384 1 13178 0 0 0 0 5 3 20 0 15 0 415881281 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350874182912 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9802] ppid=9738 vsize=10851092 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9802/stat : 9802 (java) S 9738 9741 9235 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 415881284 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350097021392 140351533295515 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9803] ppid=9738 vsize=10851092 memory=7280 CPUtime=4.66 cores=0,2,4,6
/proc/9741/task/9803/stat : 9803 (java) S 9738 9741 9235 0 -1 1077944384 29343 13178 0 0 453 5 5 3 20 0 15 0 415881284 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350958000368 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9804] ppid=9738 vsize=10851092 memory=828380 CPUtime=4.95 cores=0,2,4,6
/proc/9741/task/9804/stat : 9804 (java) S 9738 9741 9235 0 -1 1077944384 23889 13178 0 0 482 5 5 3 20 0 15 0 415881284 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350956947824 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9805] ppid=9738 vsize=10851092 memory=1408 CPUtime=3.91 cores=0,2,4,6
/proc/9741/task/9805/stat : 9805 (java) S 9738 9741 9235 0 -1 1077944384 28736 13178 0 0 376 7 5 3 20 0 15 0 415881284 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350955894768 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9806] ppid=9738 vsize=10851092 memory=3232 CPUtime=0.08 cores=0,2,4,6
/proc/9741/task/9806/stat : 9806 (java) S 9738 9741 9235 0 -1 1077944384 3 13178 0 0 0 0 5 3 20 0 15 0 415881284 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350063462752 140351533287125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
[pid=9741/tid=9807] ppid=9738 vsize=10851092 memory=1253092 CPUtime=0.55 cores=0,2,4,6
/proc/9741/task/9807/stat : 9807 (java) S 9738 9741 9235 0 -1 1077944384 529 13178 0 0 24 23 5 3 20 0 15 0 415881284 11111518208 207095 33554432000 4194304 4196468 140727125956560 140350954843184 140351533288066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8368128 140727125961456 140727125963973 140727125963973 140727125966799 0
Current children cumulated CPU time: 972.08 s
Current children cumulated vsize: 10851092 KiB
Current children cumulated memory: 828380 KiB
[startup+946.601 s]*
/proc/loadavg: 1.56 1.58 1.51 3/215 10157
/proc/meminfo: memFree=29703496/32770624 swapFree=66934684/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): 946.611
CPU time (s): 972.291
CPU user time (s): 970.643
CPU system time (s): 1.64816
CPU usage (%): 102.713
Max. virtual memory (cumulated for all children) (KiB): 10851884
Max. memory (cumulated for all children) (KiB): 828380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 970.643
system time used= 1.64816
maximum resident set size= 830540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189727
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118536
involuntary context switches= 4421
# summary of solver processes directly reported to runsolver:
# pid: 9741
# total CPU time (s): 972.291
# total CPU user time (s): 970.643
# total CPU system time (s): 1.64816
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.56346 second user time and 9.01481 second system time
The end