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 (10537 MiB free)
memory of node 1: 16384 MiB (11091 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304645-1534121703/watcher-4304645-1534121703 -o /tmp/evaluation-result-4304645-1534121703/solver-4304645-1534121703 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534096381-30252 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1558603716 HOME/instance-4304645-1534121703.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2100, runsolver pid=2097
[startup+0.100123 s]*
/proc/loadavg: 1.51 1.32 1.34 3/206 2157
/proc/meminfo: memFree=22142808/32770624 swapFree=67108372/67108860
[pid=2100] ppid=2097 vsize=10005480 memory=16544 CPUtime=0.08 cores=1,3,5,7
/proc/2100/stat : 2100 (java) S 2097 2100 30220 0 -1 1077944320 4284 12858 0 0 1 0 5 2 20 0 6 0 229733495 10245611520 4136 33554432000 4194304 4196468 140731450389856 140731450372400 140571198623479 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
/proc/2100/statm: 2501370 4136 1932 1 0 2489808 0
[pid=2100/tid=2153] ppid=2097 vsize=10005480 memory=-8171376296011865461 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2153/stat : 2153 (java) R 2097 2100 30220 0 -1 4202560 2175 12858 0 0 0 0 5 2 20 0 6 0 229733504 10245611520 4202 33554432000 4194304 4196468 140731450389856 140571170460240 140571182703966 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2154] ppid=2097 vsize=10005480 memory=7948963741541478447 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2154/stat : 2154 (java) S 2097 2100 30220 0 -1 1077944384 2 12858 0 0 0 0 5 2 20 0 6 0 229733505 10245611520 4202 33554432000 4194304 4196468 140731450389856 140571202865808 140571198633685 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2155] ppid=2097 vsize=10005480 memory=140663628912256 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2155/stat : 2155 (java) S 2097 2100 30220 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 6 0 229733505 10245611520 4202 33554432000 4194304 4196468 140731450389856 140571068201488 140571198633685 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2156] ppid=2097 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2156/stat : 2156 (java) S 2097 2100 30220 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 6 0 229733505 10245611520 4202 33554432000 4194304 4196468 140731450389856 140571067148688 140571198633685 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2157] ppid=2097 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2157/stat : 2157 (java) S 2097 2100 30220 0 -1 1077944384 2 12858 0 0 0 0 5 2 20 0 6 0 229733505 10245611520 4202 33554432000 4194304 4196468 140731450389856 140571066095888 140571198633685 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16544 KiB
[startup+0.210023 s]*
/proc/loadavg: 1.51 1.32 1.34 3/215 2166
/proc/meminfo: memFree=22118580/32770624 swapFree=67108372/67108860
[pid=2100] ppid=2097 vsize=10982744 memory=44128 CPUtime=0.25 cores=1,3,5,7
/proc/2100/stat : 2100 (java) S 2097 2100 30220 0 -1 1077944320 7719 12858 0 0 17 1 5 2 20 0 15 0 229733495 11246329856 11032 33554432000 4194304 4196468 140731450389856 140731450372400 140571198623479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
/proc/2100/statm: 2745686 11032 2953 1 0 2708109 0
[pid=2100/tid=2153] ppid=2097 vsize=10982744 memory=8389772277269004345 CPUtime=0.18 cores=1,3,5,7
/proc/2100/task/2153/stat : 2153 (java) R 2097 2100 30220 0 -1 4202560 4649 12858 0 0 11 0 5 2 20 0 15 0 229733504 11246329856 11362 33554432000 4194304 4196468 140731450389856 140571170420400 140571182703966 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2154] ppid=2097 vsize=10982744 memory=4294967641 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2154/stat : 2154 (java) S 2097 2100 30220 0 -1 1077944384 2 12858 0 0 0 0 5 2 20 0 15 0 229733505 11246329856 11362 33554432000 4194304 4196468 140731450389856 140571202865808 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2155] ppid=2097 vsize=10982744 memory=288371039780624000 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2155/stat : 2155 (java) S 2097 2100 30220 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 229733505 11246329856 11362 33554432000 4194304 4196468 140731450389856 140571068201488 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2156] ppid=2097 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2156/stat : 2156 (java) S 2097 2100 30220 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 229733505 11246329856 11362 33554432000 4194304 4196468 140731450389856 140571067148688 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2157] ppid=2097 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2157/stat : 2157 (java) S 2097 2100 30220 0 -1 1077944384 2 12858 0 0 0 0 5 2 20 0 15 0 229733505 11246329856 11362 33554432000 4194304 4196468 140731450389856 140571066095888 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2158] ppid=2097 vsize=10982744 memory=140663628912256 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2158/stat : 2158 (java) S 2097 2100 30220 0 -1 1077944384 2 12858 0 0 0 0 5 2 20 0 15 0 229733506 11246329856 11362 33554432000 4194304 4196468 140731450389856 140570624031600 140571198634626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2159] ppid=2097 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2159/stat : 2159 (java) S 2097 2100 30220 0 -1 1077944384 13 12858 0 0 0 0 5 2 20 0 15 0 229733507 11246329856 11362 33554432000 4194304 4196468 140731450389856 140570051733024 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2160] ppid=2097 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2160/stat : 2160 (java) S 2097 2100 30220 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 229733507 11246329856 11362 33554432000 4194304 4196468 140731450389856 140569850406256 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2161] ppid=2097 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2161/stat : 2161 (java) S 2097 2100 30220 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 229733509 11246329856 11362 33554432000 4194304 4196468 140731450389856 140569543006544 140571198642075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2162] ppid=2097 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2100/task/2162/stat : 2162 (java) S 2097 2100 30220 0 -1 1077944384 441 12858 0 0 1 0 5 2 20 0 15 0 229733509 11246329856 11362 33554432000 4194304 4196468 140731450389856 140570622978416 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2163] ppid=2097 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2100/task/2163/stat : 2163 (java) S 2097 2100 30220 0 -1 1077944384 184 12858 0 0 1 0 5 2 20 0 15 0 229733509 11246329856 11362 33554432000 4194304 4196468 140731450389856 140570621925616 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2164] ppid=2097 vsize=10982744 memory=140663628912256 CPUtime=0.1 cores=1,3,5,7
/proc/2100/task/2164/stat : 2164 (java) R 2097 2100 30220 0 -1 4202560 598 12858 0 0 3 0 5 2 20 0 15 0 229733510 11246329856 11362 33554432000 4194304 4196468 140731450389856 140570620872816 140571198644826 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2165] ppid=2097 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2165/stat : 2165 (java) S 2097 2100 30220 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 229733510 11246329856 11362 33554432000 4194304 4196468 140731450389856 140569112209632 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2166] ppid=2097 vsize=10982744 memory=140663628912256 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2166/stat : 2166 (java) S 2097 2100 30220 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 229733510 11246329856 11362 33554432000 4194304 4196468 140731450389856 140570619821232 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44128 KiB
[startup+0.310272 s]*
/proc/loadavg: 1.51 1.32 1.34 3/215 2166
/proc/meminfo: memFree=22106796/32770624 swapFree=67108372/67108860
[pid=2100] ppid=2097 vsize=10983192 memory=56120 CPUtime=0.37 cores=1,3,5,7
/proc/2100/stat : 2100 (java) S 2097 2100 30220 0 -1 1077944320 10581 12858 0 0 28 2 5 2 20 0 15 0 229733495 11246788608 14030 33554432000 4194304 4196468 140731450389856 140731450372400 140571198623479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
/proc/2100/statm: 2745798 14030 3072 1 0 2708109 0
[pid=2100/tid=2153] ppid=2097 vsize=10983192 memory=4134692831991786133 CPUtime=0.28 cores=1,3,5,7
/proc/2100/task/2153/stat : 2153 (java) R 2097 2100 30220 0 -1 4202560 7134 12858 0 0 20 1 5 2 20 0 15 0 229733504 11246788608 14030 33554432000 4194304 4196468 140731450389856 140571170435488 140571178899266 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2154] ppid=2097 vsize=10983192 memory=3691042062614867976 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2154/stat : 2154 (java) S 2097 2100 30220 0 -1 1077944384 2 12858 0 0 0 0 5 2 20 0 15 0 229733505 11246788608 14030 33554432000 4194304 4196468 140731450389856 140571202865808 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2155] ppid=2097 vsize=10983192 memory=140663628912256 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2155/stat : 2155 (java) S 2097 2100 30220 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 229733505 11246788608 14030 33554432000 4194304 4196468 140731450389856 140571068201488 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2156] ppid=2097 vsize=10983192 memory=2209 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2156/stat : 2156 (java) S 2097 2100 30220 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 229733505 11246788608 14030 33554432000 4194304 4196468 140731450389856 140571067148688 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2157] ppid=2097 vsize=10983192 memory=2240 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2157/stat : 2157 (java) S 2097 2100 30220 0 -1 1077944384 2 12858 0 0 0 0 5 2 20 0 15 0 229733505 11246788608 14030 33554432000 4194304 4196468 140731450389856 140571066095888 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2158] ppid=2097 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2158/stat : 2158 (java) S 2097 2100 30220 0 -1 1077944384 2 12858 0 0 0 0 5 2 20 0 15 0 229733506 11246788608 14030 33554432000 4194304 4196468 140731450389856 140570624031600 140571198634626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2159] ppid=2097 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2159/stat : 2159 (java) S 2097 2100 30220 0 -1 1077944384 13 12858 0 0 0 0 5 2 20 0 15 0 229733507 11246788608 14030 33554432000 4194304 4196468 140731450389856 140570051733024 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2160] ppid=2097 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2160/stat : 2160 (java) S 2097 2100 30220 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 229733507 11246788608 14030 33554432000 4194304 4196468 140731450389856 140569850406256 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2161] ppid=2097 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2161/stat : 2161 (java) S 2097 2100 30220 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 229733509 11246788608 14030 33554432000 4194304 4196468 140731450389856 140569543006544 140571198642075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2162] ppid=2097 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2100/task/2162/stat : 2162 (java) S 2097 2100 30220 0 -1 1077944384 441 12858 0 0 1 0 5 2 20 0 15 0 229733509 11246788608 14030 33554432000 4194304 4196468 140731450389856 140570622978416 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2163] ppid=2097 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2100/task/2163/stat : 2163 (java) S 2097 2100 30220 0 -1 1077944384 185 12858 0 0 1 0 5 2 20 0 15 0 229733509 11246788608 14030 33554432000 4194304 4196468 140731450389856 140570621925616 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2164] ppid=2097 vsize=10983192 memory=140663628912256 CPUtime=0.11 cores=1,3,5,7
/proc/2100/task/2164/stat : 2164 (java) S 2097 2100 30220 0 -1 1077944384 609 12858 0 0 4 0 5 2 20 0 15 0 229733510 11246788608 14030 33554432000 4194304 4196468 140731450389856 140570620872816 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2165] ppid=2097 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2165/stat : 2165 (java) S 2097 2100 30220 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 229733510 11246788608 14030 33554432000 4194304 4196468 140731450389856 140569112209632 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2166] ppid=2097 vsize=10983192 memory=140663628912256 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2166/stat : 2166 (java) S 2097 2100 30220 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 229733510 11246788608 14030 33554432000 4194304 4196468 140731450389856 140570619821232 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56120 KiB
[startup+0.7008 s]
/proc/loadavg: 1.51 1.32 1.34 3/215 2166
/proc/meminfo: memFree=22095756/32770624 swapFree=67108372/67108860
[pid=2100] ppid=2097 vsize=10983192 memory=88588 CPUtime=0.98 cores=1,3,5,7
/proc/2100/stat : 2100 (java) S 2097 2100 30220 0 -1 1077944320 16755 12858 0 0 87 4 5 2 20 0 15 0 229733495 11246788608 22147 33554432000 4194304 4196468 140731450389856 140731450372400 140571198623479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
/proc/2100/statm: 2745798 22147 3238 1 0 2708109 0
[pid=2100/tid=2153] ppid=2097 vsize=10983192 memory=281326934641024 CPUtime=0.65 cores=1,3,5,7
/proc/2100/task/2153/stat : 2153 (java) R 2097 2100 30220 0 -1 4202560 12243 12858 0 0 56 2 5 2 20 0 15 0 229733504 11246788608 22147 33554432000 4194304 4196468 140731450389856 140571170444304 140571178899303 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2154] ppid=2097 vsize=10983192 memory=281326934641216 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2154/stat : 2154 (java) S 2097 2100 30220 0 -1 1077944384 2 12858 0 0 0 0 5 2 20 0 15 0 229733505 11246788608 22147 33554432000 4194304 4196468 140731450389856 140571202865808 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2155] ppid=2097 vsize=10983192 memory=8346 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2155/stat : 2155 (java) S 2097 2100 30220 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 229733505 11246788608 22147 33554432000 4194304 4196468 140731450389856 140571068201488 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2156] ppid=2097 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2156/stat : 2156 (java) S 2097 2100 30220 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 229733505 11246788608 22147 33554432000 4194304 4196468 140731450389856 140571067148688 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2157] ppid=2097 vsize=10983192 memory=4638778398332703844 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2157/stat : 2157 (java) S 2097 2100 30220 0 -1 1077944384 2 12858 0 0 0 0 5 2 20 0 15 0 229733505 11246788608 22147 33554432000 4194304 4196468 140731450389856 140571066095888 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2158] ppid=2097 vsize=10983192 memory=7595725831727968097 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2158/stat : 2158 (java) S 2097 2100 30220 0 -1 1077944384 5 12858 0 0 0 0 5 2 20 0 15 0 229733506 11246788608 22147 33554432000 4194304 4196468 140731450389856 140570624031600 140571198634626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2159] ppid=2097 vsize=10983192 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2159/stat : 2159 (java) S 2097 2100 30220 0 -1 1077944384 13 12858 0 0 0 0 5 2 20 0 15 0 229733507 11246788608 22147 33554432000 4194304 4196468 140731450389856 140570051733024 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2160] ppid=2097 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2160/stat : 2160 (java) S 2097 2100 30220 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 229733507 11246788608 22147 33554432000 4194304 4196468 140731450389856 140569850406256 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2161] ppid=2097 vsize=10983192 memory=3812 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2161/stat : 2161 (java) S 2097 2100 30220 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 229733509 11246788608 22147 33554432000 4194304 4196468 140731450389856 140569543006544 140571198642075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2162] ppid=2097 vsize=10983192 memory=62492 CPUtime=0.16 cores=1,3,5,7
/proc/2100/task/2162/stat : 2162 (java) S 2097 2100 30220 0 -1 1077944384 1036 12858 0 0 9 0 5 2 20 0 15 0 229733509 11246788608 22147 33554432000 4194304 4196468 140731450389856 140570622978416 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2163] ppid=2097 vsize=10983192 memory=4548 CPUtime=0.14 cores=1,3,5,7
/proc/2100/task/2163/stat : 2163 (java) S 2097 2100 30220 0 -1 1077944384 576 12858 0 0 7 0 5 2 20 0 15 0 229733509 11246788608 22147 33554432000 4194304 4196468 140731450389856 140570621925616 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2164] ppid=2097 vsize=10983192 memory=288230621787193645 CPUtime=0.2 cores=1,3,5,7
/proc/2100/task/2164/stat : 2164 (java) S 2097 2100 30220 0 -1 1077944384 679 12858 0 0 13 0 5 2 20 0 15 0 229733510 11246788608 22147 33554432000 4194304 4196468 140731450389856 140570620872816 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2165] ppid=2097 vsize=10983192 memory=15258134134392223 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2165/stat : 2165 (java) S 2097 2100 30220 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 229733510 11246788608 22147 33554432000 4194304 4196468 140731450389856 140569112209632 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2166] ppid=2097 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2166/stat : 2166 (java) S 2097 2100 30220 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 229733510 11246788608 22147 33554432000 4194304 4196468 140731450389856 140570619821232 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88588 KiB
[startup+1.50658 s]
/proc/loadavg: 1.51 1.32 1.34 3/215 2166
/proc/meminfo: memFree=22050364/32770624 swapFree=67108372/67108860
[pid=2100] ppid=2097 vsize=10998092 memory=181028 CPUtime=2.38 cores=1,3,5,7
/proc/2100/stat : 2100 (java) S 2097 2100 30220 0 -1 1077944320 23916 12858 0 0 222 9 5 2 20 0 15 0 229733495 11262046208 45257 33554432000 4194304 4196468 140731450389856 140731450372400 140571198623479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
/proc/2100/statm: 2749523 45257 3467 1 0 2711181 0
[pid=2100/tid=2153] ppid=2097 vsize=10998092 memory=3812 CPUtime=1.43 cores=1,3,5,7
/proc/2100/task/2153/stat : 2153 (java) R 2097 2100 30220 0 -1 4202560 17641 12858 0 0 131 5 5 2 20 0 15 0 229733504 11262046208 45257 33554432000 4194304 4196468 140731450389856 140571170440336 140571178333920 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2154] ppid=2097 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2100/task/2154/stat : 2154 (java) S 2097 2100 30220 0 -1 1077944384 27 12858 0 0 1 0 5 2 20 0 15 0 229733505 11262046208 45257 33554432000 4194304 4196468 140731450389856 140571202865808 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2155] ppid=2097 vsize=10998092 memory=6403796239550 CPUtime=0.08 cores=1,3,5,7
/proc/2100/task/2155/stat : 2155 (java) S 2097 2100 30220 0 -1 1077944384 21 12858 0 0 1 0 5 2 20 0 15 0 229733505 11262046208 45257 33554432000 4194304 4196468 140731450389856 140571068201488 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2156] ppid=2097 vsize=10998092 memory=1276 CPUtime=0.08 cores=1,3,5,7
/proc/2100/task/2156/stat : 2156 (java) S 2097 2100 30220 0 -1 1077944384 165 12858 0 0 1 0 5 2 20 0 15 0 229733505 11262046208 45257 33554432000 4194304 4196468 140731450389856 140571067148688 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2157] ppid=2097 vsize=10998092 memory=1068 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2157/stat : 2157 (java) S 2097 2100 30220 0 -1 1077944384 52 12858 0 0 0 0 5 2 20 0 15 0 229733505 11262046208 45257 33554432000 4194304 4196468 140731450389856 140571066095888 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2158] ppid=2097 vsize=10998092 memory=15064 CPUtime=0.08 cores=1,3,5,7
/proc/2100/task/2158/stat : 2158 (java) S 2097 2100 30220 0 -1 1077944384 57 12858 0 0 1 0 5 2 20 0 15 0 229733506 11262046208 45257 33554432000 4194304 4196468 140731450389856 140570624031600 140571198634626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2159] ppid=2097 vsize=10998092 memory=34444 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2159/stat : 2159 (java) S 2097 2100 30220 0 -1 1077944384 14 12858 0 0 0 0 5 2 20 0 15 0 229733507 11262046208 45257 33554432000 4194304 4196468 140731450389856 140570051733088 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2160] ppid=2097 vsize=10998092 memory=13756 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2160/stat : 2160 (java) S 2097 2100 30220 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 229733507 11262046208 45257 33554432000 4194304 4196468 140731450389856 140569850406272 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2161] ppid=2097 vsize=10998092 memory=3316 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2161/stat : 2161 (java) S 2097 2100 30220 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 229733509 11262046208 45257 33554432000 4194304 4196468 140731450389856 140569543006544 140571198642075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2162] ppid=2097 vsize=10998092 memory=488 CPUtime=0.34 cores=1,3,5,7
/proc/2100/task/2162/stat : 2162 (java) S 2097 2100 30220 0 -1 1077944384 1527 12858 0 0 27 0 5 2 20 0 15 0 229733509 11262046208 45257 33554432000 4194304 4196468 140731450389856 140570622978416 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2163] ppid=2097 vsize=10998092 memory=1616 CPUtime=0.26 cores=1,3,5,7
/proc/2100/task/2163/stat : 2163 (java) S 2097 2100 30220 0 -1 1077944384 808 12858 0 0 19 0 5 2 20 0 15 0 229733509 11262046208 45257 33554432000 4194304 4196468 140731450389856 140570621925616 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2164] ppid=2097 vsize=10998092 memory=1172 CPUtime=0.45 cores=1,3,5,7
/proc/2100/task/2164/stat : 2164 (java) S 2097 2100 30220 0 -1 1077944384 1407 12858 0 0 38 0 5 2 20 0 15 0 229733510 11262046208 45257 33554432000 4194304 4196468 140731450389856 140570620872816 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2165] ppid=2097 vsize=10998092 memory=6297270674403447909 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2165/stat : 2165 (java) S 2097 2100 30220 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 229733510 11262046208 45257 33554432000 4194304 4196468 140731450389856 140569112209632 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2166] ppid=2097 vsize=10998092 memory=7523100885009721940 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2166/stat : 2166 (java) S 2097 2100 30220 0 -1 1077944384 1 12858 0 0 0 0 5 2 20 0 15 0 229733510 11262046208 45257 33554432000 4194304 4196468 140731450389856 140570619821232 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
Current children cumulated CPU time: 2.38 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/2100/task/2153/stat : 2153 (java) R 2097 2100 30220 0 -1 4202560 108367 12858 0 0 235441 66 5 2 20 0 15 0 229733504 11343855616 366407 33554432000 4194304 4196468 140731450389856 140571170457840 140570747071462 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2154] ppid=2097 vsize=11077984 memory=1465628 CPUtime=12.54 cores=1,3,5,7
/proc/2100/task/2154/stat : 2154 (java) S 2097 2100 30220 0 -1 1077944384 24392 12858 0 0 1191 56 5 2 20 0 15 0 229733505 11343855616 366407 33554432000 4194304 4196468 140731450389856 140571202865808 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2155] ppid=2097 vsize=11077984 memory=3812 CPUtime=12.57 cores=1,3,5,7
/proc/2100/task/2155/stat : 2155 (java) S 2097 2100 30220 0 -1 1077944384 21440 12858 0 0 1189 61 5 2 20 0 15 0 229733505 11343855616 366407 33554432000 4194304 4196468 140731450389856 140571068201488 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2156] ppid=2097 vsize=11077984 memory=1465624 CPUtime=12.53 cores=1,3,5,7
/proc/2100/task/2156/stat : 2156 (java) S 2097 2100 30220 0 -1 1077944384 29998 12858 0 0 1189 57 5 2 20 0 15 0 229733505 11343855616 366407 33554432000 4194304 4196468 140731450389856 140571067148688 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2157] ppid=2097 vsize=11077984 memory=8112282956445269571 CPUtime=12.58 cores=1,3,5,7
/proc/2100/task/2157/stat : 2157 (java) S 2097 2100 30220 0 -1 1077944384 25950 12858 0 0 1190 61 5 2 20 0 15 0 229733505 11343855616 366407 33554432000 4194304 4196468 140731450389856 140571066095888 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2158] ppid=2097 vsize=11077984 memory=1465104 CPUtime=11.7 cores=1,3,5,7
/proc/2100/task/2158/stat : 2158 (java) S 2097 2100 30220 0 -1 1077944384 25089 12858 0 0 1100 63 5 2 20 0 15 0 229733506 11343855616 366407 33554432000 4194304 4196468 140731450389856 140570624031600 140571198634626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2159] ppid=2097 vsize=11077984 memory=1464976 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2159/stat : 2159 (java) S 2097 2100 30220 0 -1 1077944384 26 12858 0 0 0 0 5 2 20 0 15 0 229733507 11343855616 366407 33554432000 4194304 4196468 140731450389856 140570051733088 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2160] ppid=2097 vsize=11077984 memory=1464976 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2160/stat : 2160 (java) S 2097 2100 30220 0 -1 1077944384 12 12858 0 0 0 0 5 2 20 0 15 0 229733507 11343855616 366407 33554432000 4194304 4196468 140731450389856 140569850406272 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2161] ppid=2097 vsize=11077984 memory=1465104 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2161/stat : 2161 (java) S 2097 2100 30220 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 229733509 11343855616 366407 33554432000 4194304 4196468 140731450389856 140569543006544 140571198642075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2162] ppid=2097 vsize=11077984 memory=1465132 CPUtime=4.64 cores=1,3,5,7
/proc/2100/task/2162/stat : 2162 (java) S 2097 2100 30220 0 -1 1077944384 21410 12858 0 0 454 3 5 2 20 0 15 0 229733509 11343855616 366407 33554432000 4194304 4196468 140731450389856 140570622978416 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2163] ppid=2097 vsize=11077984 memory=1465624 CPUtime=4.2 cores=1,3,5,7
/proc/2100/task/2163/stat : 2163 (java) S 2097 2100 30220 0 -1 1077944384 19543 12858 0 0 411 2 5 2 20 0 15 0 229733509 11343855616 366407 33554432000 4194304 4196468 140731450389856 140570621925616 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2164] ppid=2097 vsize=11077984 memory=1465132 CPUtime=2.29 cores=1,3,5,7
/proc/2100/task/2164/stat : 2164 (java) S 2097 2100 30220 0 -1 1077944384 23605 12858 0 0 217 5 5 2 20 0 15 0 229733510 11343855616 366407 33554432000 4194304 4196468 140731450389856 140570620872816 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2165] ppid=2097 vsize=11077984 memory=1465624 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2165/stat : 2165 (java) S 2097 2100 30220 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 229733510 11343855616 366407 33554432000 4194304 4196468 140731450389856 140569112209632 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2166] ppid=2097 vsize=11077984 memory=1465628 CPUtime=1.52 cores=1,3,5,7
/proc/2100/task/2166/stat : 2166 (java) S 2097 2100 30220 0 -1 1077944384 1977 12858 0 0 62 83 5 2 20 0 15 0 229733510 11343855616 366407 33554432000 4194304 4196468 140731450389856 140570619821232 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
Current children cumulated CPU time: 2429.19 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1465628 KiB
[startup+2442.3 s]
/proc/loadavg: 1.60 1.51 1.48 3/216 2387
/proc/meminfo: memFree=20247336/32770624 swapFree=67108372/67108860
[pid=2100] ppid=2097 vsize=11077984 memory=1465628 CPUtime=2490.18 cores=1,3,5,7
/proc/2100/stat : 2100 (java) S 2097 2100 30220 0 -1 1077944320 306470 12858 0 0 248612 399 5 2 20 0 15 0 229733495 11343855616 366407 33554432000 4194304 4196468 140731450389856 140731450372400 140571198623479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
/proc/2100/statm: 2769496 366407 3521 1 0 2731149 0
[pid=2100/tid=2153] ppid=2097 vsize=11077984 memory=1465628 CPUtime=2414.45 cores=1,3,5,7
/proc/2100/task/2153/stat : 2153 (java) R 2097 2100 30220 0 -1 4202560 109592 12858 0 0 241371 67 5 2 20 0 15 0 229733504 11343855616 366407 33554432000 4194304 4196468 140731450389856 140571170457920 140570759058345 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2154] ppid=2097 vsize=11077984 memory=1465628 CPUtime=12.87 cores=1,3,5,7
/proc/2100/task/2154/stat : 2154 (java) S 2097 2100 30220 0 -1 1077944384 24419 12858 0 0 1223 57 5 2 20 0 15 0 229733505 11343855616 366407 33554432000 4194304 4196468 140731450389856 140571202865808 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2155] ppid=2097 vsize=11077984 memory=1465628 CPUtime=12.92 cores=1,3,5,7
/proc/2100/task/2155/stat : 2155 (java) S 2097 2100 30220 0 -1 1077944384 21475 12858 0 0 1223 62 5 2 20 0 15 0 229733505 11343855616 366407 33554432000 4194304 4196468 140731450389856 140571068201488 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2156] ppid=2097 vsize=11077984 memory=1465628 CPUtime=12.88 cores=1,3,5,7
/proc/2100/task/2156/stat : 2156 (java) S 2097 2100 30220 0 -1 1077944384 30075 12858 0 0 1222 59 5 2 20 0 15 0 229733505 11343855616 366407 33554432000 4194304 4196468 140731450389856 140571067148688 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2157] ppid=2097 vsize=11077984 memory=1465628 CPUtime=12.91 cores=1,3,5,7
/proc/2100/task/2157/stat : 2157 (java) S 2097 2100 30220 0 -1 1077944384 26620 12858 0 0 1221 63 5 2 20 0 15 0 229733505 11343855616 366407 33554432000 4194304 4196468 140731450389856 140571066095888 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2158] ppid=2097 vsize=11077984 memory=1465628 CPUtime=12 cores=1,3,5,7
/proc/2100/task/2158/stat : 2158 (java) S 2097 2100 30220 0 -1 1077944384 25480 12858 0 0 1128 65 5 2 20 0 15 0 229733506 11343855616 366407 33554432000 4194304 4196468 140731450389856 140570624031600 140571198634626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2159] ppid=2097 vsize=11077984 memory=1465628 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2159/stat : 2159 (java) S 2097 2100 30220 0 -1 1077944384 26 12858 0 0 0 0 5 2 20 0 15 0 229733507 11343855616 366407 33554432000 4194304 4196468 140731450389856 140570051733088 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2160] ppid=2097 vsize=11077984 memory=2144 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2160/stat : 2160 (java) S 2097 2100 30220 0 -1 1077944384 12 12858 0 0 0 0 5 2 20 0 15 0 229733507 11343855616 366407 33554432000 4194304 4196468 140731450389856 140569850406272 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2161] ppid=2097 vsize=11077984 memory=1465628 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2161/stat : 2161 (java) S 2097 2100 30220 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 229733509 11343855616 366407 33554432000 4194304 4196468 140731450389856 140569543006544 140571198642075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2162] ppid=2097 vsize=11077984 memory=1465628 CPUtime=4.64 cores=1,3,5,7
/proc/2100/task/2162/stat : 2162 (java) S 2097 2100 30220 0 -1 1077944384 21414 12858 0 0 454 3 5 2 20 0 15 0 229733509 11343855616 366407 33554432000 4194304 4196468 140731450389856 140570622978416 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2163] ppid=2097 vsize=11077984 memory=1465628 CPUtime=4.2 cores=1,3,5,7
/proc/2100/task/2163/stat : 2163 (java) S 2097 2100 30220 0 -1 1077944384 19547 12858 0 0 411 2 5 2 20 0 15 0 229733509 11343855616 366407 33554432000 4194304 4196468 140731450389856 140570621925616 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2164] ppid=2097 vsize=11077984 memory=1465628 CPUtime=2.29 cores=1,3,5,7
/proc/2100/task/2164/stat : 2164 (java) S 2097 2100 30220 0 -1 1077944384 23609 12858 0 0 217 5 5 2 20 0 15 0 229733510 11343855616 366407 33554432000 4194304 4196468 140731450389856 140570620872816 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2165] ppid=2097 vsize=11077984 memory=1465628 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2165/stat : 2165 (java) S 2097 2100 30220 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 229733510 11343855616 366407 33554432000 4194304 4196468 140731450389856 140569112209632 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2166] ppid=2097 vsize=11077984 memory=1465628 CPUtime=1.56 cores=1,3,5,7
/proc/2100/task/2166/stat : 2166 (java) S 2097 2100 30220 0 -1 1077944384 2006 12858 0 0 64 85 5 2 20 0 15 0 229733510 11343855616 366407 33554432000 4194304 4196468 140731450389856 140570619821232 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
Current children cumulated CPU time: 2490.18 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1465628 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2471.7 s]
/proc/loadavg: 1.21 1.43 1.45 3/215 2387
/proc/meminfo: memFree=20248716/32770624 swapFree=67108372/67108860
[pid=2100] ppid=2097 vsize=11077984 memory=1465628 CPUtime=2520.08 cores=1,3,5,7
/proc/2100/stat : 2100 (java) S 2097 2100 30220 0 -1 1077944320 307153 12858 0 0 251597 404 5 2 20 0 15 0 229733495 11343855616 366407 33554432000 4194304 4196468 140731450389856 140731450372400 140571198623479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
/proc/2100/statm: 2769496 366407 3521 1 0 2731149 0
[pid=2100/tid=2153] ppid=2097 vsize=11077984 memory=1465628 CPUtime=2443.5 cores=1,3,5,7
/proc/2100/task/2153/stat : 2153 (java) R 2097 2100 30220 0 -1 4202560 109941 12858 0 0 244275 68 5 2 20 0 15 0 229733504 11343855616 366407 33554432000 4194304 4196468 140731450389856 140571170458896 140570759059224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2154] ppid=2097 vsize=11077984 memory=1465628 CPUtime=13.04 cores=1,3,5,7
/proc/2100/task/2154/stat : 2154 (java) S 2097 2100 30220 0 -1 1077944384 24421 12858 0 0 1239 58 5 2 20 0 15 0 229733505 11343855616 366407 33554432000 4194304 4196468 140731450389856 140571202865808 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2155] ppid=2097 vsize=11077984 memory=1465628 CPUtime=13.08 cores=1,3,5,7
/proc/2100/task/2155/stat : 2155 (java) S 2097 2100 30220 0 -1 1077944384 21762 12858 0 0 1239 62 5 2 20 0 15 0 229733505 11343855616 366407 33554432000 4194304 4196468 140731450389856 140571068201488 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2156] ppid=2097 vsize=11077984 memory=1465628 CPUtime=13.04 cores=1,3,5,7
/proc/2100/task/2156/stat : 2156 (java) S 2097 2100 30220 0 -1 1077944384 30077 12858 0 0 1238 59 5 2 20 0 15 0 229733505 11343855616 366407 33554432000 4194304 4196468 140731450389856 140571067148688 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2157] ppid=2097 vsize=11077984 memory=1465628 CPUtime=13.07 cores=1,3,5,7
/proc/2100/task/2157/stat : 2157 (java) S 2097 2100 30220 0 -1 1077944384 26637 12858 0 0 1237 63 5 2 20 0 15 0 229733505 11343855616 366407 33554432000 4194304 4196468 140731450389856 140571066095888 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2158] ppid=2097 vsize=11077984 memory=1465628 CPUtime=12.16 cores=1,3,5,7
/proc/2100/task/2158/stat : 2158 (java) S 2097 2100 30220 0 -1 1077944384 25505 12858 0 0 1143 66 5 2 20 0 15 0 229733506 11343855616 366407 33554432000 4194304 4196468 140731450389856 140570624031600 140571198634626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2159] ppid=2097 vsize=11077984 memory=1465628 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2159/stat : 2159 (java) S 2097 2100 30220 0 -1 1077944384 26 12858 0 0 0 0 5 2 20 0 15 0 229733507 11343855616 366407 33554432000 4194304 4196468 140731450389856 140570051733088 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2160] ppid=2097 vsize=11077984 memory=1465628 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2160/stat : 2160 (java) S 2097 2100 30220 0 -1 1077944384 12 12858 0 0 0 0 5 2 20 0 15 0 229733507 11343855616 366407 33554432000 4194304 4196468 140731450389856 140569850406272 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2161] ppid=2097 vsize=11077984 memory=1465628 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2161/stat : 2161 (java) S 2097 2100 30220 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 229733509 11343855616 366407 33554432000 4194304 4196468 140731450389856 140569543006544 140571198642075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2162] ppid=2097 vsize=11077984 memory=1465628 CPUtime=4.64 cores=1,3,5,7
/proc/2100/task/2162/stat : 2162 (java) S 2097 2100 30220 0 -1 1077944384 21414 12858 0 0 454 3 5 2 20 0 15 0 229733509 11343855616 366407 33554432000 4194304 4196468 140731450389856 140570622978416 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2163] ppid=2097 vsize=11077984 memory=244186 CPUtime=4.2 cores=1,3,5,7
/proc/2100/task/2163/stat : 2163 (java) S 2097 2100 30220 0 -1 1077944384 19547 12858 0 0 411 2 5 2 20 0 15 0 229733509 11343855616 366407 33554432000 4194304 4196468 140731450389856 140570621925616 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2164] ppid=2097 vsize=11077984 memory=2782 CPUtime=2.29 cores=1,3,5,7
/proc/2100/task/2164/stat : 2164 (java) S 2097 2100 30220 0 -1 1077944384 23609 12858 0 0 217 5 5 2 20 0 15 0 229733510 11343855616 366407 33554432000 4194304 4196468 140731450389856 140570620872816 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2165] ppid=2097 vsize=11077984 memory=1465628 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2165/stat : 2165 (java) S 2097 2100 30220 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 229733510 11343855616 366407 33554432000 4194304 4196468 140731450389856 140569112209632 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2166] ppid=2097 vsize=11077984 memory=1465628 CPUtime=1.58 cores=1,3,5,7
/proc/2100/task/2166/stat : 2166 (java) S 2097 2100 30220 0 -1 1077944384 2007 12858 0 0 64 87 5 2 20 0 15 0 229733510 11343855616 366407 33554432000 4194304 4196468 140731450389856 140570619821232 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1465628 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2471.73 s]
# the end of solver process 2100 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.04 s, system=4.0827 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2471.7 s]
/proc/loadavg: 1.21 1.43 1.45 3/215 2387
/proc/meminfo: memFree=20248716/32770624 swapFree=67108372/67108860
[pid=2100] ppid=2097 vsize=11077984 memory=1465628 CPUtime=2520.08 cores=1,3,5,7
/proc/2100/stat : 2100 (java) S 2097 2100 30220 0 -1 1077944320 307153 12858 0 0 251597 404 5 2 20 0 15 0 229733495 11343855616 366407 33554432000 4194304 4196468 140731450389856 140731450372400 140571198623479 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
/proc/2100/statm: 2769496 366407 3521 1 0 2731149 0
[pid=2100/tid=2153] ppid=2097 vsize=11077984 memory=1465628 CPUtime=2443.5 cores=1,3,5,7
/proc/2100/task/2153/stat : 2153 (java) R 2097 2100 30220 0 -1 4202560 109941 12858 0 0 244275 68 5 2 20 0 15 0 229733504 11343855616 366407 33554432000 4194304 4196468 140731450389856 140571170458896 140570759059224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2154] ppid=2097 vsize=11077984 memory=1465628 CPUtime=13.04 cores=1,3,5,7
/proc/2100/task/2154/stat : 2154 (java) S 2097 2100 30220 0 -1 1077944384 24421 12858 0 0 1239 58 5 2 20 0 15 0 229733505 11343855616 366407 33554432000 4194304 4196468 140731450389856 140571202865808 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2155] ppid=2097 vsize=11077984 memory=1465628 CPUtime=13.08 cores=1,3,5,7
/proc/2100/task/2155/stat : 2155 (java) S 2097 2100 30220 0 -1 1077944384 21762 12858 0 0 1239 62 5 2 20 0 15 0 229733505 11343855616 366407 33554432000 4194304 4196468 140731450389856 140571068201488 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2156] ppid=2097 vsize=11077984 memory=1465628 CPUtime=13.04 cores=1,3,5,7
/proc/2100/task/2156/stat : 2156 (java) S 2097 2100 30220 0 -1 1077944384 30077 12858 0 0 1238 59 5 2 20 0 15 0 229733505 11343855616 366407 33554432000 4194304 4196468 140731450389856 140571067148688 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2157] ppid=2097 vsize=11077984 memory=1465628 CPUtime=13.07 cores=1,3,5,7
/proc/2100/task/2157/stat : 2157 (java) S 2097 2100 30220 0 -1 1077944384 26637 12858 0 0 1237 63 5 2 20 0 15 0 229733505 11343855616 366407 33554432000 4194304 4196468 140731450389856 140571066095888 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2158] ppid=2097 vsize=11077984 memory=1465628 CPUtime=12.16 cores=1,3,5,7
/proc/2100/task/2158/stat : 2158 (java) S 2097 2100 30220 0 -1 1077944384 25505 12858 0 0 1143 66 5 2 20 0 15 0 229733506 11343855616 366407 33554432000 4194304 4196468 140731450389856 140570624031600 140571198634626 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2159] ppid=2097 vsize=11077984 memory=1465628 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2159/stat : 2159 (java) S 2097 2100 30220 0 -1 1077944384 26 12858 0 0 0 0 5 2 20 0 15 0 229733507 11343855616 366407 33554432000 4194304 4196468 140731450389856 140570051733088 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2160] ppid=2097 vsize=11077984 memory=1465628 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2160/stat : 2160 (java) S 2097 2100 30220 0 -1 1077944384 12 12858 0 0 0 0 5 2 20 0 15 0 229733507 11343855616 366407 33554432000 4194304 4196468 140731450389856 140569850406272 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2161] ppid=2097 vsize=11077984 memory=1465628 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2161/stat : 2161 (java) S 2097 2100 30220 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 229733509 11343855616 366407 33554432000 4194304 4196468 140731450389856 140569543006544 140571198642075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2162] ppid=2097 vsize=11077984 memory=1465628 CPUtime=4.64 cores=1,3,5,7
/proc/2100/task/2162/stat : 2162 (java) S 2097 2100 30220 0 -1 1077944384 21414 12858 0 0 454 3 5 2 20 0 15 0 229733509 11343855616 366407 33554432000 4194304 4196468 140731450389856 140570622978416 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2163] ppid=2097 vsize=11077984 memory=244186 CPUtime=4.2 cores=1,3,5,7
/proc/2100/task/2163/stat : 2163 (java) S 2097 2100 30220 0 -1 1077944384 19547 12858 0 0 411 2 5 2 20 0 15 0 229733509 11343855616 366407 33554432000 4194304 4196468 140731450389856 140570621925616 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2164] ppid=2097 vsize=11077984 memory=2782 CPUtime=2.29 cores=1,3,5,7
/proc/2100/task/2164/stat : 2164 (java) S 2097 2100 30220 0 -1 1077944384 23609 12858 0 0 217 5 5 2 20 0 15 0 229733510 11343855616 366407 33554432000 4194304 4196468 140731450389856 140570620872816 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2165] ppid=2097 vsize=11077984 memory=1465628 CPUtime=0.07 cores=1,3,5,7
/proc/2100/task/2165/stat : 2165 (java) S 2097 2100 30220 0 -1 1077944384 3 12858 0 0 0 0 5 2 20 0 15 0 229733510 11343855616 366407 33554432000 4194304 4196468 140731450389856 140569112209632 140571198633685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
[pid=2100/tid=2166] ppid=2097 vsize=11077984 memory=1465628 CPUtime=1.58 cores=1,3,5,7
/proc/2100/task/2166/stat : 2166 (java) S 2097 2100 30220 0 -1 1077944384 2007 12858 0 0 64 87 5 2 20 0 15 0 229733510 11343855616 366407 33554432000 4194304 4196468 140731450389856 140570619821232 140571198634626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140731450391148 140731450393948 140731450393948 140731450396623 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 1465628 KiB
Child status: 143
Real time (s): 2471.73
CPU time (s): 2520.13
CPU user time (s): 2516.04
CPU system time (s): 4.0827
CPU usage (%): 101.958
Max. virtual memory (cumulated for all children) (KiB): 11080844
Max. memory (cumulated for all children) (KiB): 1465628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.04
system time used= 4.0827
maximum resident set size= 1468016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 321066
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 310157
involuntary context switches= 6527
# summary of solver processes directly reported to runsolver:
# pid: 2100
# total CPU time (s): 2520.13
# total CPU user time (s): 2516.04
# total CPU system time (s): 4.0827
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7349 second user time and 24.6602 second system time
The end