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 (13415 MiB free)
memory of node 1: 16384 MiB (13259 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302404-1532896381/watcher-4302404-1532896381 -o /tmp/evaluation-result-4302404-1532896381/solver-4302404-1532896381 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532893235-14549 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=2121634652 HOME/instance-4302404-1532896381.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Current StackSize limit: 8192 KiB
solver pid=19002, runsolver pid=18999
[startup+0.102072 s]*
/proc/loadavg: 1.75 1.87 1.86 2/207 19059
/proc/meminfo: memFree=27307768/32770624 swapFree=67108436/67108860
[pid=19002] ppid=18999 vsize=10005480 memory=17080 CPUtime=0.08 cores=0,2,4,6
/proc/19002/stat : 19002 (java) S 18999 19002 9814 0 -1 1077944320 4391 13150 0 0 1 0 4 3 20 0 6 0 107201276 10245611520 4270 33554432000 4194304 4196468 140725633349040 140725633331584 140584303890167 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
/proc/19002/statm: 2501370 4270 1935 1 0 2489808 0
[pid=19002/tid=19055] ppid=18999 vsize=10005480 memory=4279135703913364878 CPUtime=0.08 cores=0,2,4,6
/proc/19002/task/19055/stat : 19055 (java) R 18999 19002 9814 0 -1 4202560 2222 13150 0 0 1 0 4 3 20 0 6 0 107201285 10245611520 4270 33554432000 4194304 4196468 140725633349040 140584275726928 140584287970654 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19056] ppid=18999 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19056/stat : 19056 (java) S 18999 19002 9814 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 6 0 107201286 10245611520 4270 33554432000 4194304 4196468 140725633349040 140584308132752 140584303900373 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19057] ppid=18999 vsize=10005480 memory=139756354774656 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19057/stat : 19057 (java) S 18999 19002 9814 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 6 0 107201286 10245611520 4270 33554432000 4194304 4196468 140725633349040 140584162851600 140584303900373 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19058] ppid=18999 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19058/stat : 19058 (java) S 18999 19002 9814 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 6 0 107201286 10245611520 4270 33554432000 4194304 4196468 140725633349040 140584161799312 140584303900373 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19059] ppid=18999 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19059/stat : 19059 (java) S 18999 19002 9814 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 6 0 107201286 10245611520 4270 33554432000 4194304 4196468 140725633349040 140584160746512 140584303900373 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17080 KiB
[startup+0.210169 s]*
/proc/loadavg: 1.75 1.87 1.86 3/216 19068
/proc/meminfo: memFree=27286888/32770624 swapFree=67108436/67108860
[pid=19002] ppid=18999 vsize=10982744 memory=43772 CPUtime=0.25 cores=0,2,4,6
/proc/19002/stat : 19002 (java) S 18999 19002 9814 0 -1 1077944320 7659 13150 0 0 17 1 4 3 20 0 15 0 107201276 11246329856 10943 33554432000 4194304 4196468 140725633349040 140725633331584 140584303890167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
/proc/19002/statm: 2745686 10943 2959 1 0 2708109 0
[pid=19002/tid=19055] ppid=18999 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/19002/task/19055/stat : 19055 (java) R 18999 19002 9814 0 -1 4202560 4365 13150 0 0 11 0 4 3 20 0 15 0 107201285 11246329856 11075 33554432000 4194304 4196468 140725633349040 140584275713840 140584284165916 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19056] ppid=18999 vsize=10982744 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19056/stat : 19056 (java) S 18999 19002 9814 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 107201286 11246329856 11075 33554432000 4194304 4196468 140725633349040 140584308132752 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19057] ppid=18999 vsize=10982744 memory=139756354793525 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19057/stat : 19057 (java) S 18999 19002 9814 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 107201286 11246329856 11075 33554432000 4194304 4196468 140725633349040 140584162851600 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19058] ppid=18999 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19058/stat : 19058 (java) S 18999 19002 9814 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 107201286 11246329856 11141 33554432000 4194304 4196468 140725633349040 140584161799312 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19059] ppid=18999 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19059/stat : 19059 (java) S 18999 19002 9814 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 107201286 11246329856 11141 33554432000 4194304 4196468 140725633349040 140584160746512 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19060] ppid=18999 vsize=10982744 memory=139756354774656 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19060/stat : 19060 (java) S 18999 19002 9814 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 107201287 11246329856 11141 33554432000 4194304 4196468 140725633349040 140583729309808 140584303901314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19061] ppid=18999 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19061/stat : 19061 (java) S 18999 19002 9814 0 -1 1077944384 13 13150 0 0 0 0 4 3 20 0 15 0 107201288 11246329856 11141 33554432000 4194304 4196468 140725633349040 140583084483360 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19062] ppid=18999 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19062/stat : 19062 (java) S 18999 19002 9814 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 107201288 11246329856 11141 33554432000 4194304 4196468 140725633349040 140582936634480 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19063] ppid=18999 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19063/stat : 19063 (java) S 18999 19002 9814 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 107201291 11246329856 11141 33554432000 4194304 4196468 140725633349040 140582629234768 140584303908763 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19064] ppid=18999 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19064/stat : 19064 (java) S 18999 19002 9814 0 -1 1077944384 422 13150 0 0 0 0 4 3 20 0 15 0 107201291 11246329856 11141 33554432000 4194304 4196468 140725633349040 140583728257648 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19065] ppid=18999 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19002/task/19065/stat : 19065 (java) S 18999 19002 9814 0 -1 1077944384 186 13150 0 0 1 0 4 3 20 0 15 0 107201291 11246329856 11141 33554432000 4194304 4196468 140725633349040 140583727204848 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19066] ppid=18999 vsize=10982744 memory=139756354774656 CPUtime=0.1 cores=0,2,4,6
/proc/19002/task/19066/stat : 19066 (java) S 18999 19002 9814 0 -1 1077944384 608 13150 0 0 3 0 4 3 20 0 15 0 107201291 11246329856 11141 33554432000 4194304 4196468 140725633349040 140583726152560 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19067] ppid=18999 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19067/stat : 19067 (java) S 18999 19002 9814 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 107201291 11246329856 11141 33554432000 4194304 4196468 140725633349040 140582198438880 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19068] ppid=18999 vsize=10982744 memory=139756354774656 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19068/stat : 19068 (java) S 18999 19002 9814 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 107201291 11246329856 11141 33554432000 4194304 4196468 140725633349040 140583725099440 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43772 KiB
[startup+0.310386 s]*
/proc/loadavg: 1.75 1.87 1.86 3/216 19068
/proc/meminfo: memFree=27273740/32770624 swapFree=67108436/67108860
[pid=19002] ppid=18999 vsize=10983192 memory=56588 CPUtime=0.38 cores=0,2,4,6
/proc/19002/stat : 19002 (java) S 18999 19002 9814 0 -1 1077944320 10689 13150 0 0 29 2 4 3 20 0 15 0 107201276 11246788608 14147 33554432000 4194304 4196468 140725633349040 140725633331584 140584303890167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
/proc/19002/statm: 2745798 14147 3078 1 0 2708109 0
[pid=19002/tid=19055] ppid=18999 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/19002/task/19055/stat : 19055 (java) R 18999 19002 9814 0 -1 4202560 7249 13150 0 0 20 1 4 3 20 0 15 0 107201285 11246788608 14147 33554432000 4194304 4196468 140725633349040 140584275702176 140584287970654 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19056] ppid=18999 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19056/stat : 19056 (java) S 18999 19002 9814 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 107201286 11246788608 14147 33554432000 4194304 4196468 140725633349040 140584308132752 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19057] ppid=18999 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19057/stat : 19057 (java) S 18999 19002 9814 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 107201286 11246788608 14147 33554432000 4194304 4196468 140725633349040 140584162851600 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19058] ppid=18999 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19058/stat : 19058 (java) S 18999 19002 9814 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 107201286 11246788608 14147 33554432000 4194304 4196468 140725633349040 140584161799312 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19059] ppid=18999 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19059/stat : 19059 (java) S 18999 19002 9814 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 107201286 11246788608 14147 33554432000 4194304 4196468 140725633349040 140584160746512 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19060] ppid=18999 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19060/stat : 19060 (java) S 18999 19002 9814 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 107201287 11246788608 14147 33554432000 4194304 4196468 140725633349040 140583729309808 140584303901314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19061] ppid=18999 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19061/stat : 19061 (java) S 18999 19002 9814 0 -1 1077944384 13 13150 0 0 0 0 4 3 20 0 15 0 107201288 11246788608 14147 33554432000 4194304 4196468 140725633349040 140583084483360 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19062] ppid=18999 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19062/stat : 19062 (java) S 18999 19002 9814 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 107201288 11246788608 14147 33554432000 4194304 4196468 140725633349040 140582936634480 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19063] ppid=18999 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19063/stat : 19063 (java) S 18999 19002 9814 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 107201291 11246788608 14147 33554432000 4194304 4196468 140725633349040 140582629234768 140584303908763 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19064] ppid=18999 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19002/task/19064/stat : 19064 (java) S 18999 19002 9814 0 -1 1077944384 424 13150 0 0 1 0 4 3 20 0 15 0 107201291 11246788608 14147 33554432000 4194304 4196468 140725633349040 140583728257648 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19065] ppid=18999 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19002/task/19065/stat : 19065 (java) S 18999 19002 9814 0 -1 1077944384 186 13150 0 0 1 0 4 3 20 0 15 0 107201291 11246788608 14147 33554432000 4194304 4196468 140725633349040 140583727204848 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19066] ppid=18999 vsize=10983192 memory=139756354774656 CPUtime=0.12 cores=0,2,4,6
/proc/19002/task/19066/stat : 19066 (java) S 18999 19002 9814 0 -1 1077944384 618 13150 0 0 5 0 4 3 20 0 15 0 107201291 11246788608 14147 33554432000 4194304 4196468 140725633349040 140583726152560 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19067] ppid=18999 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19067/stat : 19067 (java) S 18999 19002 9814 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 107201291 11246788608 14147 33554432000 4194304 4196468 140725633349040 140582198438880 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19068] ppid=18999 vsize=10983192 memory=139756354774656 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19068/stat : 19068 (java) S 18999 19002 9814 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 107201291 11246788608 14147 33554432000 4194304 4196468 140725633349040 140583725099440 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56588 KiB
[startup+0.700737 s]
/proc/loadavg: 1.75 1.87 1.86 4/216 19068
/proc/meminfo: memFree=27262824/32770624 swapFree=67108436/67108860
[pid=19002] ppid=18999 vsize=10983192 memory=88600 CPUtime=0.99 cores=0,2,4,6
/proc/19002/stat : 19002 (java) S 18999 19002 9814 0 -1 1077944320 16786 13150 0 0 88 4 4 3 20 0 15 0 107201276 11246788608 22150 33554432000 4194304 4196468 140725633349040 140725633331584 140584303890167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
/proc/19002/statm: 2745798 22150 3238 1 0 2708109 0
[pid=19002/tid=19055] ppid=18999 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/19002/task/19055/stat : 19055 (java) R 18999 19002 9814 0 -1 4202560 12292 13150 0 0 57 2 4 3 20 0 15 0 107201285 11246788608 22150 33554432000 4194304 4196468 140725633349040 140584275710456 140584287970654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19056] ppid=18999 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19056/stat : 19056 (java) S 18999 19002 9814 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 107201286 11246788608 22150 33554432000 4194304 4196468 140725633349040 140584308132752 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19057] ppid=18999 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19057/stat : 19057 (java) S 18999 19002 9814 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 107201286 11246788608 22150 33554432000 4194304 4196468 140725633349040 140584162851600 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19058] ppid=18999 vsize=10983192 memory=139756222690096 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19058/stat : 19058 (java) S 18999 19002 9814 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 107201286 11246788608 22150 33554432000 4194304 4196468 140725633349040 140584161799312 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19059] ppid=18999 vsize=10983192 memory=139758235812441 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19059/stat : 19059 (java) S 18999 19002 9814 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 107201286 11246788608 22150 33554432000 4194304 4196468 140725633349040 140584160746512 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19060] ppid=18999 vsize=10983192 memory=1388 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19060/stat : 19060 (java) S 18999 19002 9814 0 -1 1077944384 5 13150 0 0 0 0 4 3 20 0 15 0 107201287 11246788608 22150 33554432000 4194304 4196468 140725633349040 140583729309808 140584303901314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19061] ppid=18999 vsize=10983192 memory=4639098309541127525 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19061/stat : 19061 (java) S 18999 19002 9814 0 -1 1077944384 13 13150 0 0 0 0 4 3 20 0 15 0 107201288 11246788608 22150 33554432000 4194304 4196468 140725633349040 140583084483360 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19062] ppid=18999 vsize=10983192 memory=8027477668130812270 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19062/stat : 19062 (java) S 18999 19002 9814 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 107201288 11246788608 22150 33554432000 4194304 4196468 140725633349040 140582936634480 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19063] ppid=18999 vsize=10983192 memory=17464 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19063/stat : 19063 (java) S 18999 19002 9814 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 107201291 11246788608 22150 33554432000 4194304 4196468 140725633349040 140582629234768 140584303908763 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19064] ppid=18999 vsize=10983192 memory=16148 CPUtime=0.14 cores=0,2,4,6
/proc/19002/task/19064/stat : 19064 (java) S 18999 19002 9814 0 -1 1077944384 841 13150 0 0 7 0 4 3 20 0 15 0 107201291 11246788608 22150 33554432000 4194304 4196468 140725633349040 140583728257648 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19065] ppid=18999 vsize=10983192 memory=4004 CPUtime=0.16 cores=0,2,4,6
/proc/19002/task/19065/stat : 19065 (java) S 18999 19002 9814 0 -1 1077944384 762 13150 0 0 9 0 4 3 20 0 15 0 107201291 11246788608 22150 33554432000 4194304 4196468 140725633349040 140583727204848 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19066] ppid=18999 vsize=10983192 memory=636 CPUtime=0.2 cores=0,2,4,6
/proc/19002/task/19066/stat : 19066 (java) S 18999 19002 9814 0 -1 1077944384 670 13150 0 0 13 0 4 3 20 0 15 0 107201291 11246788608 22150 33554432000 4194304 4196468 140725633349040 140583726152560 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19067] ppid=18999 vsize=10983192 memory=1780 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19067/stat : 19067 (java) S 18999 19002 9814 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 107201291 11246788608 22150 33554432000 4194304 4196468 140725633349040 140582198438880 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19068] ppid=18999 vsize=10983192 memory=1236 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19068/stat : 19068 (java) S 18999 19002 9814 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 107201291 11246788608 22150 33554432000 4194304 4196468 140725633349040 140583725099440 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88600 KiB
[startup+1.50084 s]
/proc/loadavg: 1.75 1.87 1.86 3/216 19068
/proc/meminfo: memFree=27219136/32770624 swapFree=67108436/67108860
[pid=19002] ppid=18999 vsize=11000944 memory=200056 CPUtime=2.99 cores=0,2,4,6
/proc/19002/stat : 19002 (java) S 18999 19002 9814 0 -1 1077944320 30451 13150 0 0 282 10 4 3 20 0 15 0 107201276 11264966656 50014 33554432000 4194304 4196468 140725633349040 140725633331584 140584303890167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
/proc/19002/statm: 2750236 50014 3467 1 0 2711894 0
[pid=19002/tid=19055] ppid=18999 vsize=11000944 memory=65188 CPUtime=1.41 cores=0,2,4,6
/proc/19002/task/19055/stat : 19055 (java) R 18999 19002 9814 0 -1 4202560 19333 13150 0 0 129 5 4 3 20 0 15 0 107201285 11264966656 50014 33554432000 4194304 4196468 140725633349040 140584275699872 140584283415446 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19056] ppid=18999 vsize=11000944 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19056/stat : 19056 (java) S 18999 19002 9814 0 -1 1077944384 56 13150 0 0 0 0 4 3 20 0 15 0 107201286 11264966656 50014 33554432000 4194304 4196468 140725633349040 140584308132752 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19057] ppid=18999 vsize=11000944 memory=279512445411488 CPUtime=0.08 cores=0,2,4,6
/proc/19002/task/19057/stat : 19057 (java) S 18999 19002 9814 0 -1 1077944384 25 13150 0 0 1 0 4 3 20 0 15 0 107201286 11264966656 50014 33554432000 4194304 4196468 140725633349040 140584162851600 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19058] ppid=18999 vsize=11000944 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19002/task/19058/stat : 19058 (java) S 18999 19002 9814 0 -1 1077944384 173 13150 0 0 1 0 4 3 20 0 15 0 107201286 11264966656 50014 33554432000 4194304 4196468 140725633349040 140584161799312 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19059] ppid=18999 vsize=11000944 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19002/task/19059/stat : 19059 (java) S 18999 19002 9814 0 -1 1077944384 34 13150 0 0 1 0 4 3 20 0 15 0 107201286 11264966656 50014 33554432000 4194304 4196468 140725633349040 140584160746512 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19060] ppid=18999 vsize=11000944 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19002/task/19060/stat : 19060 (java) S 18999 19002 9814 0 -1 1077944384 61 13150 0 0 1 0 4 3 20 0 15 0 107201287 11264966656 50014 33554432000 4194304 4196468 140725633349040 140583729309808 140584303901314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19061] ppid=18999 vsize=11000944 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19061/stat : 19061 (java) S 18999 19002 9814 0 -1 1077944384 13 13150 0 0 0 0 4 3 20 0 15 0 107201288 11264966656 50014 33554432000 4194304 4196468 140725633349040 140583084483360 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19062] ppid=18999 vsize=11000944 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19062/stat : 19062 (java) S 18999 19002 9814 0 -1 1077944384 2 13150 0 0 0 0 4 3 20 0 15 0 107201288 11264966656 50014 33554432000 4194304 4196468 140725633349040 140582936634480 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19063] ppid=18999 vsize=11000944 memory=-5921431000321636112 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19063/stat : 19063 (java) S 18999 19002 9814 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 107201291 11264966656 50014 33554432000 4194304 4196468 140725633349040 140582629234768 140584303908763 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19064] ppid=18999 vsize=11000944 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/19002/task/19064/stat : 19064 (java) R 18999 19002 9814 0 -1 4202560 2824 13150 0 0 52 0 4 3 20 0 15 0 107201291 11264966656 50014 33554432000 4194304 4196468 140725633349040 140583728245488 140584285410905 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19065] ppid=18999 vsize=11000944 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/19002/task/19065/stat : 19065 (java) R 18999 19002 9814 0 -1 4202560 4231 13150 0 0 57 0 4 3 20 0 15 0 107201291 11264966656 50014 33554432000 4194304 4196468 140725633349040 140583727191008 140584285409852 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19066] ppid=18999 vsize=11000944 memory=6791534058613427641 CPUtime=0.41 cores=0,2,4,6
/proc/19002/task/19066/stat : 19066 (java) S 18999 19002 9814 0 -1 1077944384 1502 13150 0 0 34 0 4 3 20 0 15 0 107201291 11264966656 50014 33554432000 4194304 4196468 140725633349040 140583726152560 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19067] ppid=18999 vsize=11000944 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19067/stat : 19067 (java) S 18999 19002 9814 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 107201291 11264966656 50014 33554432000 4194304 4196468 140725633349040 140582198438880 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19068] ppid=18999 vsize=11000944 memory=279512445655936 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19068/stat : 19068 (java) S 18999 19002 9814 0 -1 1077944384 1 13150 0 0 0 0 4 3 20 0 15 0 107201291 11264966656 50014 33554432000 4194304 4196468 140725633349040 140583725099440 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 11000944 KiB
################
# More data... #
################
/proc/19002/task/19055/stat : 19055 (java) R 18999 19002 9814 0 -1 4202560 53191 13150 0 0 16092 21 4 3 20 0 15 0 107201285 11345952768 157392 33554432000 4194304 4196468 140725633349040 140584275724880 140583826949567 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19056] ppid=18999 vsize=11080032 memory=629568 CPUtime=0.41 cores=0,2,4,6
/proc/19002/task/19056/stat : 19056 (java) S 18999 19002 9814 0 -1 1077944384 3183 13150 0 0 31 3 4 3 20 0 15 0 107201286 11345952768 157392 33554432000 4194304 4196468 140725633349040 140584308132752 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19057] ppid=18999 vsize=11080032 memory=629568 CPUtime=0.41 cores=0,2,4,6
/proc/19002/task/19057/stat : 19057 (java) S 18999 19002 9814 0 -1 1077944384 2281 13150 0 0 32 2 4 3 20 0 15 0 107201286 11345952768 157392 33554432000 4194304 4196468 140725633349040 140584162851600 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19058] ppid=18999 vsize=11080032 memory=629568 CPUtime=0.41 cores=0,2,4,6
/proc/19002/task/19058/stat : 19058 (java) S 18999 19002 9814 0 -1 1077944384 3284 13150 0 0 31 3 4 3 20 0 15 0 107201286 11345952768 157392 33554432000 4194304 4196468 140725633349040 140584161799312 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19059] ppid=18999 vsize=11080032 memory=629568 CPUtime=0.42 cores=0,2,4,6
/proc/19002/task/19059/stat : 19059 (java) S 18999 19002 9814 0 -1 1077944384 1878 13150 0 0 31 4 4 3 20 0 15 0 107201286 11345952768 157392 33554432000 4194304 4196468 140725633349040 140584160746512 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19060] ppid=18999 vsize=11080032 memory=629568 CPUtime=0.4 cores=0,2,4,6
/proc/19002/task/19060/stat : 19060 (java) S 18999 19002 9814 0 -1 1077944384 9078 13150 0 0 31 2 4 3 20 0 15 0 107201287 11345952768 157392 33554432000 4194304 4196468 140725633349040 140583729309808 140584303901314 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19061] ppid=18999 vsize=11080032 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19061/stat : 19061 (java) S 18999 19002 9814 0 -1 1077944384 13 13150 0 0 0 0 4 3 20 0 15 0 107201288 11345952768 157392 33554432000 4194304 4196468 140725633349040 140583084483488 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19062] ppid=18999 vsize=11080032 memory=7229237732515407207 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19062/stat : 19062 (java) S 18999 19002 9814 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 107201288 11345952768 157392 33554432000 4194304 4196468 140725633349040 140582936634496 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19063] ppid=18999 vsize=11080032 memory=1388 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19063/stat : 19063 (java) S 18999 19002 9814 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 107201291 11345952768 157392 33554432000 4194304 4196468 140725633349040 140582629234768 140584303908763 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19064] ppid=18999 vsize=11080032 memory=1136 CPUtime=5.2 cores=0,2,4,6
/proc/19002/task/19064/stat : 19064 (java) S 18999 19002 9814 0 -1 1077944384 17325 13150 0 0 509 4 4 3 20 0 15 0 107201291 11345952768 157392 33554432000 4194304 4196468 140725633349040 140583728257648 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19065] ppid=18999 vsize=11080032 memory=4588 CPUtime=5.82 cores=0,2,4,6
/proc/19002/task/19065/stat : 19065 (java) S 18999 19002 9814 0 -1 1077944384 24548 13150 0 0 572 3 4 3 20 0 15 0 107201291 11345952768 157392 33554432000 4194304 4196468 140725633349040 140583727204848 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19066] ppid=18999 vsize=11080032 memory=1612 CPUtime=2.27 cores=0,2,4,6
/proc/19002/task/19066/stat : 19066 (java) S 18999 19002 9814 0 -1 1077944384 18304 13150 0 0 216 4 4 3 20 0 15 0 107201291 11345952768 157392 33554432000 4194304 4196468 140725633349040 140583726152560 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19067] ppid=18999 vsize=11080032 memory=629568 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19067/stat : 19067 (java) S 18999 19002 9814 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 107201291 11345952768 157392 33554432000 4194304 4196468 140725633349040 140582198438880 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19068] ppid=18999 vsize=11080032 memory=4140 CPUtime=0.15 cores=0,2,4,6
/proc/19002/task/19068/stat : 19068 (java) S 18999 19002 9814 0 -1 1077944384 390 13150 0 0 4 4 4 3 20 0 15 0 107201291 11345952768 157392 33554432000 4194304 4196468 140725633349040 140583725099440 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
Current children cumulated CPU time: 176.17 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 629568 KiB
[startup+222.301 s]
/proc/loadavg: 1.60 1.67 1.77 7/215 19201
/proc/meminfo: memFree=22075400/32770624 swapFree=67108436/67108860
[pid=19002] ppid=18999 vsize=11080032 memory=629740 CPUtime=237.52 cores=0,2,4,6
/proc/19002/stat : 19002 (java) S 18999 19002 9814 0 -1 1077944320 140314 13150 0 0 23686 59 4 3 20 0 15 0 107201276 11345952768 157435 33554432000 4194304 4196468 140725633349040 140725633331584 140584303890167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
/proc/19002/statm: 2770008 157435 3527 1 0 2731661 0
[pid=19002/tid=19055] ppid=18999 vsize=11080032 memory=629736 CPUtime=220.74 cores=0,2,4,6
/proc/19002/task/19055/stat : 19055 (java) R 18999 19002 9814 0 -1 4202560 53661 13150 0 0 22045 22 4 3 20 0 15 0 107201285 11345952768 157435 33554432000 4194304 4196468 140725633349040 140584275724848 140583843310208 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19056] ppid=18999 vsize=11080032 memory=629740 CPUtime=0.62 cores=0,2,4,6
/proc/19002/task/19056/stat : 19056 (java) S 18999 19002 9814 0 -1 1077944384 3261 13150 0 0 51 4 4 3 20 0 15 0 107201286 11345952768 157435 33554432000 4194304 4196468 140725633349040 140584308132752 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19057] ppid=18999 vsize=11080032 memory=629740 CPUtime=0.63 cores=0,2,4,6
/proc/19002/task/19057/stat : 19057 (java) S 18999 19002 9814 0 -1 1077944384 2318 13150 0 0 52 4 4 3 20 0 15 0 107201286 11345952768 157435 33554432000 4194304 4196468 140725633349040 140584162851600 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19058] ppid=18999 vsize=11080032 memory=279512445563616 CPUtime=0.62 cores=0,2,4,6
/proc/19002/task/19058/stat : 19058 (java) S 18999 19002 9814 0 -1 1077944384 3321 13150 0 0 51 4 4 3 20 0 15 0 107201286 11345952768 157435 33554432000 4194304 4196468 140725633349040 140584161799312 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19059] ppid=18999 vsize=11080032 memory=1296 CPUtime=0.63 cores=0,2,4,6
/proc/19002/task/19059/stat : 19059 (java) S 18999 19002 9814 0 -1 1077944384 2985 13150 0 0 51 5 4 3 20 0 15 0 107201286 11345952768 157435 33554432000 4194304 4196468 140725633349040 140584160746512 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19060] ppid=18999 vsize=11080032 memory=629736 CPUtime=0.6 cores=0,2,4,6
/proc/19002/task/19060/stat : 19060 (java) S 18999 19002 9814 0 -1 1077944384 9118 13150 0 0 50 3 4 3 20 0 15 0 107201287 11345952768 157435 33554432000 4194304 4196468 140725633349040 140583729309808 140584303901314 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19061] ppid=18999 vsize=11080032 memory=629736 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19061/stat : 19061 (java) S 18999 19002 9814 0 -1 1077944384 13 13150 0 0 0 0 4 3 20 0 15 0 107201288 11345952768 157435 33554432000 4194304 4196468 140725633349040 140583084483488 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19062] ppid=18999 vsize=11080032 memory=629736 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19062/stat : 19062 (java) S 18999 19002 9814 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 107201288 11345952768 157435 33554432000 4194304 4196468 140725633349040 140582936634496 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19063] ppid=18999 vsize=11080032 memory=629736 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19063/stat : 19063 (java) S 18999 19002 9814 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 107201291 11345952768 157435 33554432000 4194304 4196468 140725633349040 140582629234768 140584303908763 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19064] ppid=18999 vsize=11080032 memory=629740 CPUtime=5.54 cores=0,2,4,6
/proc/19002/task/19064/stat : 19064 (java) S 18999 19002 9814 0 -1 1077944384 19728 13150 0 0 543 4 4 3 20 0 15 0 107201291 11345952768 157435 33554432000 4194304 4196468 140725633349040 140583728257648 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19065] ppid=18999 vsize=11080032 memory=4140 CPUtime=6.12 cores=0,2,4,6
/proc/19002/task/19065/stat : 19065 (java) S 18999 19002 9814 0 -1 1077944384 24912 13150 0 0 601 4 4 3 20 0 15 0 107201291 11345952768 157435 33554432000 4194304 4196468 140725633349040 140583727204848 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19066] ppid=18999 vsize=11080032 memory=288230574492221466 CPUtime=2.38 cores=0,2,4,6
/proc/19002/task/19066/stat : 19066 (java) S 18999 19002 9814 0 -1 1077944384 18390 13150 0 0 227 4 4 3 20 0 15 0 107201291 11345952768 157435 33554432000 4194304 4196468 140725633349040 140583726152560 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19067] ppid=18999 vsize=11080032 memory=288230596050944315 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19067/stat : 19067 (java) S 18999 19002 9814 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 107201291 11345952768 157435 33554432000 4194304 4196468 140725633349040 140582198438880 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19068] ppid=18999 vsize=11080032 memory=30576 CPUtime=0.18 cores=0,2,4,6
/proc/19002/task/19068/stat : 19068 (java) S 18999 19002 9814 0 -1 1077944384 408 13150 0 0 5 6 4 3 20 0 15 0 107201291 11345952768 157435 33554432000 4194304 4196468 140725633349040 140583725099440 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
Current children cumulated CPU time: 237.52 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 629740 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+236.301 s]
/proc/loadavg: 1.58 1.67 1.77 3/215 19202
/proc/meminfo: memFree=21984196/32770624 swapFree=67108436/67108860
[pid=19002] ppid=18999 vsize=11080032 memory=629740 CPUtime=252.07 cores=0,2,4,6
/proc/19002/stat : 19002 (java) S 18999 19002 9814 0 -1 1077944320 142116 13150 0 0 25140 60 4 3 20 0 15 0 107201276 11345952768 157435 33554432000 4194304 4196468 140725633349040 140725633331584 140584303890167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
/proc/19002/statm: 2770008 157435 3527 1 0 2731661 0
[pid=19002/tid=19055] ppid=18999 vsize=11080032 memory=1780 CPUtime=234.64 cores=0,2,4,6
/proc/19002/task/19055/stat : 19055 (java) R 18999 19002 9814 0 -1 4202560 53740 13150 0 0 23435 22 4 3 20 0 15 0 107201285 11345952768 157435 33554432000 4194304 4196468 140725633349040 140584275725856 140583840188953 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19056] ppid=18999 vsize=11080032 memory=629740 CPUtime=0.66 cores=0,2,4,6
/proc/19002/task/19056/stat : 19056 (java) S 18999 19002 9814 0 -1 1077944384 3263 13150 0 0 55 4 4 3 20 0 15 0 107201286 11345952768 157435 33554432000 4194304 4196468 140725633349040 140584308132752 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19057] ppid=18999 vsize=11080032 memory=6791534058613427641 CPUtime=0.67 cores=0,2,4,6
/proc/19002/task/19057/stat : 19057 (java) S 18999 19002 9814 0 -1 1077944384 2346 13150 0 0 56 4 4 3 20 0 15 0 107201286 11345952768 157435 33554432000 4194304 4196468 140725633349040 140584162851600 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19058] ppid=18999 vsize=11080032 memory=629740 CPUtime=0.66 cores=0,2,4,6
/proc/19002/task/19058/stat : 19058 (java) S 18999 19002 9814 0 -1 1077944384 3346 13150 0 0 55 4 4 3 20 0 15 0 107201286 11345952768 157435 33554432000 4194304 4196468 140725633349040 140584161799312 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19059] ppid=18999 vsize=11080032 memory=629740 CPUtime=0.67 cores=0,2,4,6
/proc/19002/task/19059/stat : 19059 (java) S 18999 19002 9814 0 -1 1077944384 3009 13150 0 0 55 5 4 3 20 0 15 0 107201286 11345952768 157435 33554432000 4194304 4196468 140725633349040 140584160746512 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19060] ppid=18999 vsize=11080032 memory=629740 CPUtime=0.64 cores=0,2,4,6
/proc/19002/task/19060/stat : 19060 (java) S 18999 19002 9814 0 -1 1077944384 9127 13150 0 0 54 3 4 3 20 0 15 0 107201287 11345952768 157435 33554432000 4194304 4196468 140725633349040 140583729309808 140584303901314 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19061] ppid=18999 vsize=11080032 memory=629736 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19061/stat : 19061 (java) S 18999 19002 9814 0 -1 1077944384 13 13150 0 0 0 0 4 3 20 0 15 0 107201288 11345952768 157435 33554432000 4194304 4196468 140725633349040 140583084483488 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19062] ppid=18999 vsize=11080032 memory=629740 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19062/stat : 19062 (java) S 18999 19002 9814 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 107201288 11345952768 157435 33554432000 4194304 4196468 140725633349040 140582936634496 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19063] ppid=18999 vsize=11080032 memory=629740 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19063/stat : 19063 (java) S 18999 19002 9814 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 107201291 11345952768 157435 33554432000 4194304 4196468 140725633349040 140582629234768 140584303908763 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19064] ppid=18999 vsize=11080032 memory=629740 CPUtime=5.72 cores=0,2,4,6
/proc/19002/task/19064/stat : 19064 (java) S 18999 19002 9814 0 -1 1077944384 20243 13150 0 0 561 4 4 3 20 0 15 0 107201291 11345952768 157435 33554432000 4194304 4196468 140725633349040 140583728257648 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19065] ppid=18999 vsize=11080032 memory=629740 CPUtime=6.32 cores=0,2,4,6
/proc/19002/task/19065/stat : 19065 (java) S 18999 19002 9814 0 -1 1077944384 25971 13150 0 0 621 4 4 3 20 0 15 0 107201291 11345952768 157435 33554432000 4194304 4196468 140725633349040 140583727204848 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19066] ppid=18999 vsize=11080032 memory=629740 CPUtime=2.43 cores=0,2,4,6
/proc/19002/task/19066/stat : 19066 (java) S 18999 19002 9814 0 -1 1077944384 18451 13150 0 0 232 4 4 3 20 0 15 0 107201291 11345952768 157435 33554432000 4194304 4196468 140725633349040 140583726152560 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19067] ppid=18999 vsize=11080032 memory=279512445563616 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19067/stat : 19067 (java) S 18999 19002 9814 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 107201291 11345952768 157435 33554432000 4194304 4196468 140725633349040 140582198438880 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19068] ppid=18999 vsize=11080032 memory=4588 CPUtime=0.19 cores=0,2,4,6
/proc/19002/task/19068/stat : 19068 (java) S 18999 19002 9814 0 -1 1077944384 408 13150 0 0 6 6 4 3 20 0 15 0 107201291 11345952768 157435 33554432000 4194304 4196468 140725633349040 140583725099440 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 629740 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+236.345 s]
# the end of solver process 19002 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.468 s, system=0.661029 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+236.301 s]
/proc/loadavg: 1.58 1.67 1.77 3/215 19202
/proc/meminfo: memFree=21984196/32770624 swapFree=67108436/67108860
[pid=19002] ppid=18999 vsize=11080032 memory=629740 CPUtime=252.07 cores=0,2,4,6
/proc/19002/stat : 19002 (java) S 18999 19002 9814 0 -1 1077944320 142116 13150 0 0 25140 60 4 3 20 0 15 0 107201276 11345952768 157435 33554432000 4194304 4196468 140725633349040 140725633331584 140584303890167 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
/proc/19002/statm: 2770008 157435 3527 1 0 2731661 0
[pid=19002/tid=19055] ppid=18999 vsize=11080032 memory=1780 CPUtime=234.64 cores=0,2,4,6
/proc/19002/task/19055/stat : 19055 (java) R 18999 19002 9814 0 -1 4202560 53740 13150 0 0 23435 22 4 3 20 0 15 0 107201285 11345952768 157435 33554432000 4194304 4196468 140725633349040 140584275725856 140583840188953 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19056] ppid=18999 vsize=11080032 memory=629740 CPUtime=0.66 cores=0,2,4,6
/proc/19002/task/19056/stat : 19056 (java) S 18999 19002 9814 0 -1 1077944384 3263 13150 0 0 55 4 4 3 20 0 15 0 107201286 11345952768 157435 33554432000 4194304 4196468 140725633349040 140584308132752 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19057] ppid=18999 vsize=11080032 memory=6791534058613427641 CPUtime=0.67 cores=0,2,4,6
/proc/19002/task/19057/stat : 19057 (java) S 18999 19002 9814 0 -1 1077944384 2346 13150 0 0 56 4 4 3 20 0 15 0 107201286 11345952768 157435 33554432000 4194304 4196468 140725633349040 140584162851600 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19058] ppid=18999 vsize=11080032 memory=629740 CPUtime=0.66 cores=0,2,4,6
/proc/19002/task/19058/stat : 19058 (java) S 18999 19002 9814 0 -1 1077944384 3346 13150 0 0 55 4 4 3 20 0 15 0 107201286 11345952768 157435 33554432000 4194304 4196468 140725633349040 140584161799312 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19059] ppid=18999 vsize=11080032 memory=629740 CPUtime=0.67 cores=0,2,4,6
/proc/19002/task/19059/stat : 19059 (java) S 18999 19002 9814 0 -1 1077944384 3009 13150 0 0 55 5 4 3 20 0 15 0 107201286 11345952768 157435 33554432000 4194304 4196468 140725633349040 140584160746512 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19060] ppid=18999 vsize=11080032 memory=629740 CPUtime=0.64 cores=0,2,4,6
/proc/19002/task/19060/stat : 19060 (java) S 18999 19002 9814 0 -1 1077944384 9127 13150 0 0 54 3 4 3 20 0 15 0 107201287 11345952768 157435 33554432000 4194304 4196468 140725633349040 140583729309808 140584303901314 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19061] ppid=18999 vsize=11080032 memory=629736 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19061/stat : 19061 (java) S 18999 19002 9814 0 -1 1077944384 13 13150 0 0 0 0 4 3 20 0 15 0 107201288 11345952768 157435 33554432000 4194304 4196468 140725633349040 140583084483488 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19062] ppid=18999 vsize=11080032 memory=629740 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19062/stat : 19062 (java) S 18999 19002 9814 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 107201288 11345952768 157435 33554432000 4194304 4196468 140725633349040 140582936634496 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19063] ppid=18999 vsize=11080032 memory=629740 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19063/stat : 19063 (java) S 18999 19002 9814 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 107201291 11345952768 157435 33554432000 4194304 4196468 140725633349040 140582629234768 140584303908763 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19064] ppid=18999 vsize=11080032 memory=629740 CPUtime=5.72 cores=0,2,4,6
/proc/19002/task/19064/stat : 19064 (java) S 18999 19002 9814 0 -1 1077944384 20243 13150 0 0 561 4 4 3 20 0 15 0 107201291 11345952768 157435 33554432000 4194304 4196468 140725633349040 140583728257648 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19065] ppid=18999 vsize=11080032 memory=629740 CPUtime=6.32 cores=0,2,4,6
/proc/19002/task/19065/stat : 19065 (java) S 18999 19002 9814 0 -1 1077944384 25971 13150 0 0 621 4 4 3 20 0 15 0 107201291 11345952768 157435 33554432000 4194304 4196468 140725633349040 140583727204848 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19066] ppid=18999 vsize=11080032 memory=629740 CPUtime=2.43 cores=0,2,4,6
/proc/19002/task/19066/stat : 19066 (java) S 18999 19002 9814 0 -1 1077944384 18451 13150 0 0 232 4 4 3 20 0 15 0 107201291 11345952768 157435 33554432000 4194304 4196468 140725633349040 140583726152560 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19067] ppid=18999 vsize=11080032 memory=279512445563616 CPUtime=0.07 cores=0,2,4,6
/proc/19002/task/19067/stat : 19067 (java) S 18999 19002 9814 0 -1 1077944384 3 13150 0 0 0 0 4 3 20 0 15 0 107201291 11345952768 157435 33554432000 4194304 4196468 140725633349040 140582198438880 140584303900373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
[pid=19002/tid=19068] ppid=18999 vsize=11080032 memory=4588 CPUtime=0.19 cores=0,2,4,6
/proc/19002/task/19068/stat : 19068 (java) S 18999 19002 9814 0 -1 1077944384 408 13150 0 0 6 6 4 3 20 0 15 0 107201291 11345952768 157435 33554432000 4194304 4196468 140725633349040 140583725099440 140584303901314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 8474624 140725633354353 140725633357153 140725633357153 140725633359823 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 629740 KiB
Child status: 143
Real time (s): 236.345
CPU time (s): 252.129
CPU user time (s): 251.468
CPU system time (s): 0.661029
CPU usage (%): 106.678
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 656692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.468
system time used= 0.661029
maximum resident set size= 658740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155935
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25374
involuntary context switches= 760
# summary of solver processes directly reported to runsolver:
# pid: 19002
# total CPU time (s): 252.129
# total CPU user time (s): 251.468
# total CPU system time (s): 0.661029
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.87547 second user time and 1.80191 second system time
The end