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 (12812 MiB free)
memory of node 1: 16384 MiB (13777 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302603-1532896496/watcher-4302603-1532896496 -o /tmp/evaluation-result-4302603-1532896496/solver-4302603-1532896496 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532893235-14550 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=196244976 HOME/instance-4302603-1532896496.xml
running on 4 cores: 1,3,5,7
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
solver pid=19134, runsolver pid=19131
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 1.29 1.65 1.78 3/207 19191
/proc/meminfo: memFree=27223744/32770624 swapFree=67108436/67108860
[pid=19134] ppid=19131 vsize=10005480 memory=16816 CPUtime=0.09 cores=1,3,5,7
/proc/19134/stat : 19134 (java) S 19131 19134 9814 0 -1 1077944320 4350 12964 0 0 1 1 4 3 20 0 6 0 107212896 10245611520 4204 33554432000 4194304 4196468 140726901971216 140726901953760 140587159678711 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
/proc/19134/statm: 2501370 4204 1935 1 0 2489808 0
[pid=19134/tid=19187] ppid=19131 vsize=10005480 memory=4279135704013571469 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19187/stat : 19187 (java) R 19131 19134 9814 0 -1 4202560 2183 12964 0 0 0 0 4 3 20 0 6 0 107212905 10245611520 4204 33554432000 4194304 4196468 140726901971216 140587131515472 140587143759198 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19188] ppid=19131 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19188/stat : 19188 (java) S 19131 19134 9814 0 -1 1077944384 1 12964 0 0 0 0 4 3 20 0 6 0 107212906 10245611520 4204 33554432000 4194304 4196468 140726901971216 140587163920784 140587159688917 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19189] ppid=19131 vsize=10005480 memory=140515275650688 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19189/stat : 19189 (java) S 19131 19134 9814 0 -1 1077944384 2 12964 0 0 0 0 4 3 20 0 6 0 107212906 10245611520 4204 33554432000 4194304 4196468 140726901971216 140587034568976 140587159688917 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19190] ppid=19131 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19190/stat : 19190 (java) S 19131 19134 9814 0 -1 1077944384 1 12964 0 0 0 0 4 3 20 0 6 0 107212906 10245611520 4204 33554432000 4194304 4196468 140726901971216 140587033516688 140587159688917 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19191] ppid=19131 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19191/stat : 19191 (java) S 19131 19134 9814 0 -1 1077944384 2 12964 0 0 0 0 4 3 20 0 6 0 107212906 10245611520 4204 33554432000 4194304 4196468 140726901971216 140587032463888 140587159688917 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16816 KiB
[startup+0.210106 s]*
/proc/loadavg: 1.29 1.65 1.78 3/216 19200
/proc/meminfo: memFree=27199344/32770624 swapFree=67108436/67108860
[pid=19134] ppid=19131 vsize=10982744 memory=45444 CPUtime=0.25 cores=1,3,5,7
/proc/19134/stat : 19134 (java) S 19131 19134 9814 0 -1 1077944320 8059 12964 0 0 16 2 4 3 20 0 15 0 107212896 11246329856 11361 33554432000 4194304 4196468 140726901971216 140726901953760 140587159678711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
/proc/19134/statm: 2745686 11361 2953 1 0 2708109 0
[pid=19134/tid=19187] ppid=19131 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/19134/task/19187/stat : 19187 (java) R 19131 19134 9814 0 -1 4202560 4658 12964 0 0 10 1 4 3 20 0 15 0 107212905 11246329856 11361 33554432000 4194304 4196468 140726901971216 140587131475632 140587159690646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19188] ppid=19131 vsize=10982744 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19188/stat : 19188 (java) S 19131 19134 9814 0 -1 1077944384 1 12964 0 0 0 0 4 3 20 0 15 0 107212906 11246329856 11361 33554432000 4194304 4196468 140726901971216 140587163920784 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19189] ppid=19131 vsize=10982744 memory=140515275669557 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19189/stat : 19189 (java) S 19131 19134 9814 0 -1 1077944384 2 12964 0 0 0 0 4 3 20 0 15 0 107212906 11246329856 11361 33554432000 4194304 4196468 140726901971216 140587034568976 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19190] ppid=19131 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19190/stat : 19190 (java) S 19131 19134 9814 0 -1 1077944384 1 12964 0 0 0 0 4 3 20 0 15 0 107212906 11246329856 11361 33554432000 4194304 4196468 140726901971216 140587033516688 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19191] ppid=19131 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19191/stat : 19191 (java) S 19131 19134 9814 0 -1 1077944384 2 12964 0 0 0 0 4 3 20 0 15 0 107212906 11246329856 11361 33554432000 4194304 4196468 140726901971216 140587032463888 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19192] ppid=19131 vsize=10982744 memory=140515275650688 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19192/stat : 19192 (java) S 19131 19134 9814 0 -1 1077944384 2 12964 0 0 0 0 4 3 20 0 15 0 107212907 11246329856 11361 33554432000 4194304 4196468 140726901971216 140586585582192 140587159689858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19193] ppid=19131 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19193/stat : 19193 (java) S 19131 19134 9814 0 -1 1077944384 13 12964 0 0 0 0 4 3 20 0 15 0 107212907 11246329856 11361 33554432000 4194304 4196468 140726901971216 140586023642400 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19194] ppid=19131 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19194/stat : 19194 (java) S 19131 19134 9814 0 -1 1077944384 1 12964 0 0 0 0 4 3 20 0 15 0 107212908 11246329856 11361 33554432000 4194304 4196468 140726901971216 140585822316144 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19195] ppid=19131 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19195/stat : 19195 (java) S 19131 19134 9814 0 -1 1077944384 3 12964 0 0 0 0 4 3 20 0 15 0 107212910 11246329856 11361 33554432000 4194304 4196468 140726901971216 140585514916432 140587159697307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19196] ppid=19131 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19134/task/19196/stat : 19196 (java) S 19131 19134 9814 0 -1 1077944384 361 12964 0 0 1 0 4 3 20 0 15 0 107212910 11246329856 11361 33554432000 4194304 4196468 140726901971216 140586584529008 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19197] ppid=19131 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19134/task/19197/stat : 19197 (java) S 19131 19134 9814 0 -1 1077944384 250 12964 0 0 1 0 4 3 20 0 15 0 107212910 11246329856 11361 33554432000 4194304 4196468 140726901971216 140586583476208 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19198] ppid=19131 vsize=10982744 memory=140515275650688 CPUtime=0.1 cores=1,3,5,7
/proc/19134/task/19198/stat : 19198 (java) R 19131 19134 9814 0 -1 4202560 605 12964 0 0 3 0 4 3 20 0 15 0 107212910 11246329856 11361 33554432000 4194304 4196468 140726901971216 140586582423920 140587138647036 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19199] ppid=19131 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19199/stat : 19199 (java) S 19131 19134 9814 0 -1 1077944384 3 12964 0 0 0 0 4 3 20 0 15 0 107212911 11246329856 11361 33554432000 4194304 4196468 140726901971216 140585084119520 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19200] ppid=19131 vsize=10982744 memory=140515275650688 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19200/stat : 19200 (java) S 19131 19134 9814 0 -1 1077944384 1 12964 0 0 0 0 4 3 20 0 15 0 107212911 11246329856 11361 33554432000 4194304 4196468 140726901971216 140586581371824 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45444 KiB
[startup+0.310338 s]*
/proc/loadavg: 1.29 1.65 1.78 3/216 19200
/proc/meminfo: memFree=27187560/32770624 swapFree=67108436/67108860
[pid=19134] ppid=19131 vsize=10983192 memory=56160 CPUtime=0.38 cores=1,3,5,7
/proc/19134/stat : 19134 (java) S 19131 19134 9814 0 -1 1077944320 10583 12964 0 0 28 3 4 3 20 0 15 0 107212896 11246788608 14040 33554432000 4194304 4196468 140726901971216 140726901953760 140587159678711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
/proc/19134/statm: 2745798 14040 3072 1 0 2708109 0
[pid=19134/tid=19187] ppid=19131 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/19134/task/19187/stat : 19187 (java) R 19131 19134 9814 0 -1 4202560 7142 12964 0 0 19 2 4 3 20 0 15 0 107212905 11246788608 14040 33554432000 4194304 4196468 140726901971216 140587131490720 140587159700637 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19188] ppid=19131 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19188/stat : 19188 (java) S 19131 19134 9814 0 -1 1077944384 1 12964 0 0 0 0 4 3 20 0 15 0 107212906 11246788608 14040 33554432000 4194304 4196468 140726901971216 140587163920784 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19189] ppid=19131 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19189/stat : 19189 (java) S 19131 19134 9814 0 -1 1077944384 2 12964 0 0 0 0 4 3 20 0 15 0 107212906 11246788608 14040 33554432000 4194304 4196468 140726901971216 140587034568976 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19190] ppid=19131 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19190/stat : 19190 (java) S 19131 19134 9814 0 -1 1077944384 1 12964 0 0 0 0 4 3 20 0 15 0 107212906 11246788608 14040 33554432000 4194304 4196468 140726901971216 140587033516688 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19191] ppid=19131 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19191/stat : 19191 (java) S 19131 19134 9814 0 -1 1077944384 2 12964 0 0 0 0 4 3 20 0 15 0 107212906 11246788608 14040 33554432000 4194304 4196468 140726901971216 140587032463888 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19192] ppid=19131 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19192/stat : 19192 (java) S 19131 19134 9814 0 -1 1077944384 2 12964 0 0 0 0 4 3 20 0 15 0 107212907 11246788608 14040 33554432000 4194304 4196468 140726901971216 140586585582192 140587159689858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19193] ppid=19131 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19193/stat : 19193 (java) S 19131 19134 9814 0 -1 1077944384 13 12964 0 0 0 0 4 3 20 0 15 0 107212907 11246788608 14040 33554432000 4194304 4196468 140726901971216 140586023642400 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19194] ppid=19131 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19194/stat : 19194 (java) S 19131 19134 9814 0 -1 1077944384 1 12964 0 0 0 0 4 3 20 0 15 0 107212908 11246788608 14040 33554432000 4194304 4196468 140726901971216 140585822316144 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19195] ppid=19131 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19195/stat : 19195 (java) S 19131 19134 9814 0 -1 1077944384 3 12964 0 0 0 0 4 3 20 0 15 0 107212910 11246788608 14040 33554432000 4194304 4196468 140726901971216 140585514916432 140587159697307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19196] ppid=19131 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19134/task/19196/stat : 19196 (java) S 19131 19134 9814 0 -1 1077944384 362 12964 0 0 1 0 4 3 20 0 15 0 107212910 11246788608 14040 33554432000 4194304 4196468 140726901971216 140586584529008 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19197] ppid=19131 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19134/task/19197/stat : 19197 (java) S 19131 19134 9814 0 -1 1077944384 250 12964 0 0 1 0 4 3 20 0 15 0 107212910 11246788608 14040 33554432000 4194304 4196468 140726901971216 140586583476208 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19198] ppid=19131 vsize=10983192 memory=140515275650688 CPUtime=0.12 cores=1,3,5,7
/proc/19134/task/19198/stat : 19198 (java) S 19131 19134 9814 0 -1 1077944384 611 12964 0 0 5 0 4 3 20 0 15 0 107212910 11246788608 14040 33554432000 4194304 4196468 140726901971216 140586582423920 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19199] ppid=19131 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19199/stat : 19199 (java) S 19131 19134 9814 0 -1 1077944384 3 12964 0 0 0 0 4 3 20 0 15 0 107212911 11246788608 14040 33554432000 4194304 4196468 140726901971216 140585084119520 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19200] ppid=19131 vsize=10983192 memory=140515275650688 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19200/stat : 19200 (java) S 19131 19134 9814 0 -1 1077944384 1 12964 0 0 0 0 4 3 20 0 15 0 107212911 11246788608 14040 33554432000 4194304 4196468 140726901971216 140586581371824 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56160 KiB
[startup+0.700757 s]
/proc/loadavg: 1.51 1.68 1.79 3/216 19200
/proc/meminfo: memFree=27176520/32770624 swapFree=67108436/67108860
[pid=19134] ppid=19131 vsize=10983192 memory=88612 CPUtime=0.98 cores=1,3,5,7
/proc/19134/stat : 19134 (java) S 19131 19134 9814 0 -1 1077944320 16735 12964 0 0 87 4 4 3 20 0 15 0 107212896 11246788608 22153 33554432000 4194304 4196468 140726901971216 140726901953760 140587159678711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
/proc/19134/statm: 2745798 22153 3238 1 0 2708109 0
[pid=19134/tid=19187] ppid=19131 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/19134/task/19187/stat : 19187 (java) R 19131 19134 9814 0 -1 4202560 12248 12964 0 0 56 2 4 3 20 0 15 0 107212905 11246788608 22153 33554432000 4194304 4196468 140726901971216 140587131499536 140587141242215 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19188] ppid=19131 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19188/stat : 19188 (java) S 19131 19134 9814 0 -1 1077944384 1 12964 0 0 0 0 4 3 20 0 15 0 107212906 11246788608 22153 33554432000 4194304 4196468 140726901971216 140587163920784 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19189] ppid=19131 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19189/stat : 19189 (java) S 19131 19134 9814 0 -1 1077944384 2 12964 0 0 0 0 4 3 20 0 15 0 107212906 11246788608 22153 33554432000 4194304 4196468 140726901971216 140587034568976 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19190] ppid=19131 vsize=10983192 memory=140515156833072 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19190/stat : 19190 (java) S 19131 19134 9814 0 -1 1077944384 1 12964 0 0 0 0 4 3 20 0 15 0 107212906 11246788608 22153 33554432000 4194304 4196468 140726901971216 140587033516688 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19191] ppid=19131 vsize=10983192 memory=140518445023833 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19191/stat : 19191 (java) S 19131 19134 9814 0 -1 1077944384 2 12964 0 0 0 0 4 3 20 0 15 0 107212906 11246788608 22153 33554432000 4194304 4196468 140726901971216 140587032463888 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19192] ppid=19131 vsize=10983192 memory=1388 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19192/stat : 19192 (java) S 19131 19134 9814 0 -1 1077944384 5 12964 0 0 0 0 4 3 20 0 15 0 107212907 11246788608 22153 33554432000 4194304 4196468 140726901971216 140586585582192 140587159689858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19193] ppid=19131 vsize=10983192 memory=4639098309541127525 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19193/stat : 19193 (java) S 19131 19134 9814 0 -1 1077944384 13 12964 0 0 0 0 4 3 20 0 15 0 107212907 11246788608 22153 33554432000 4194304 4196468 140726901971216 140586023642400 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19194] ppid=19131 vsize=10983192 memory=8027477668130812270 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19194/stat : 19194 (java) S 19131 19134 9814 0 -1 1077944384 1 12964 0 0 0 0 4 3 20 0 15 0 107212908 11246788608 22153 33554432000 4194304 4196468 140726901971216 140585822316144 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19195] ppid=19131 vsize=10983192 memory=17464 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19195/stat : 19195 (java) S 19131 19134 9814 0 -1 1077944384 3 12964 0 0 0 0 4 3 20 0 15 0 107212910 11246788608 22153 33554432000 4194304 4196468 140726901971216 140585514916432 140587159697307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19196] ppid=19131 vsize=10983192 memory=16148 CPUtime=0.14 cores=1,3,5,7
/proc/19134/task/19196/stat : 19196 (java) S 19131 19134 9814 0 -1 1077944384 714 12964 0 0 7 0 4 3 20 0 15 0 107212910 11246788608 22153 33554432000 4194304 4196468 140726901971216 140586584529008 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19197] ppid=19131 vsize=10983192 memory=4004 CPUtime=0.17 cores=1,3,5,7
/proc/19134/task/19197/stat : 19197 (java) S 19131 19134 9814 0 -1 1077944384 875 12964 0 0 10 0 4 3 20 0 15 0 107212910 11246788608 22153 33554432000 4194304 4196468 140726901971216 140586583476208 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19198] ppid=19131 vsize=10983192 memory=636 CPUtime=0.2 cores=1,3,5,7
/proc/19134/task/19198/stat : 19198 (java) S 19131 19134 9814 0 -1 1077944384 677 12964 0 0 13 0 4 3 20 0 15 0 107212910 11246788608 22153 33554432000 4194304 4196468 140726901971216 140586582423920 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19199] ppid=19131 vsize=10983192 memory=1780 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19199/stat : 19199 (java) S 19131 19134 9814 0 -1 1077944384 3 12964 0 0 0 0 4 3 20 0 15 0 107212911 11246788608 22153 33554432000 4194304 4196468 140726901971216 140585084119520 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19200] ppid=19131 vsize=10983192 memory=1236 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19200/stat : 19200 (java) S 19131 19134 9814 0 -1 1077944384 1 12964 0 0 0 0 4 3 20 0 15 0 107212911 11246788608 22153 33554432000 4194304 4196468 140726901971216 140586581371824 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88612 KiB
[startup+1.50081 s]
/proc/loadavg: 1.51 1.68 1.79 3/216 19200
/proc/meminfo: memFree=27129908/32770624 swapFree=67108436/67108860
[pid=19134] ppid=19131 vsize=10991872 memory=462492 CPUtime=2.97 cores=1,3,5,7
/proc/19134/stat : 19134 (java) S 19131 19134 9814 0 -1 1077944320 22638 12964 0 0 249 41 4 3 20 0 15 0 107212896 11255676928 115623 33554432000 4194304 4196468 140726901971216 140726901953760 140587159678711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
/proc/19134/statm: 2747968 115623 3446 1 0 2709645 0
[pid=19134/tid=19187] ppid=19131 vsize=10991872 memory=65272 CPUtime=1.31 cores=1,3,5,7
/proc/19134/task/19187/stat : 19187 (java) S 19131 19134 9814 0 -1 1077944384 14646 12964 0 0 115 9 4 3 20 0 15 0 107212905 11255676928 115623 33554432000 4194304 4196468 140726901971216 140587131514400 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19188] ppid=19131 vsize=10991872 memory=6791534058613427641 CPUtime=0.2 cores=1,3,5,7
/proc/19134/task/19188/stat : 19188 (java) R 19131 19134 9814 0 -1 4202560 209 12964 0 0 6 7 4 3 20 0 15 0 107212906 11255676928 115623 33554432000 4194304 4196468 140726901971216 140587163920784 140587152781428 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19189] ppid=19131 vsize=10991872 memory=281030313697440 CPUtime=0.2 cores=1,3,5,7
/proc/19134/task/19189/stat : 19189 (java) R 19131 19134 9814 0 -1 4202560 268 12964 0 0 6 7 4 3 20 0 15 0 107212906 11255676928 115623 33554432000 4194304 4196468 140726901971216 140587034568976 140587152781428 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19190] ppid=19131 vsize=10991872 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/19134/task/19190/stat : 19190 (java) R 19131 19134 9814 0 -1 4202560 229 12964 0 0 6 7 4 3 20 0 15 0 107212906 11255676928 115623 33554432000 4194304 4196468 140726901971216 140587033516888 140587152781428 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19191] ppid=19131 vsize=10991872 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/19134/task/19191/stat : 19191 (java) R 19131 19134 9814 0 -1 4202560 490 12964 0 0 6 7 4 3 20 0 15 0 107212906 11255676928 115623 33554432000 4194304 4196468 140726901971216 140587032464088 140587152781764 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19192] ppid=19131 vsize=10991872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19192/stat : 19192 (java) S 19131 19134 9814 0 -1 1077944384 95 12964 0 0 0 0 4 3 20 0 15 0 107212907 11255676928 115623 33554432000 4194304 4196468 140726901971216 140586585580704 140587159688917 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19193] ppid=19131 vsize=10991872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19193/stat : 19193 (java) S 19131 19134 9814 0 -1 1077944384 14 12964 0 0 0 0 4 3 20 0 15 0 107212907 11255676928 115623 33554432000 4194304 4196468 140726901971216 140586023642400 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19194] ppid=19131 vsize=10991872 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19194/stat : 19194 (java) S 19131 19134 9814 0 -1 1077944384 3 12964 0 0 0 0 4 3 20 0 15 0 107212908 11255676928 115623 33554432000 4194304 4196468 140726901971216 140585822316144 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19195] ppid=19131 vsize=10991872 memory=-5921431000321636112 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19195/stat : 19195 (java) S 19131 19134 9814 0 -1 1077944384 3 12964 0 0 0 0 4 3 20 0 15 0 107212910 11255676928 115623 33554432000 4194304 4196468 140726901971216 140585514916432 140587159697307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19196] ppid=19131 vsize=10991872 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/19134/task/19196/stat : 19196 (java) S 19131 19134 9814 0 -1 1077944384 1424 12964 0 0 38 0 4 3 20 0 15 0 107212910 11255676928 115623 33554432000 4194304 4196468 140726901971216 140586584529008 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19197] ppid=19131 vsize=10991872 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/19134/task/19197/stat : 19197 (java) S 19131 19134 9814 0 -1 1077944384 1982 12964 0 0 39 0 4 3 20 0 15 0 107212910 11255676928 115623 33554432000 4194304 4196468 140726901971216 140586583476208 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19198] ppid=19131 vsize=10991872 memory=6791534058613427641 CPUtime=0.35 cores=1,3,5,7
/proc/19134/task/19198/stat : 19198 (java) S 19131 19134 9814 0 -1 1077944384 1082 12964 0 0 28 0 4 3 20 0 15 0 107212910 11255676928 115623 33554432000 4194304 4196468 140726901971216 140586582423920 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19199] ppid=19131 vsize=10991872 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19199/stat : 19199 (java) S 19131 19134 9814 0 -1 1077944384 3 12964 0 0 0 0 4 3 20 0 15 0 107212911 11255676928 115623 33554432000 4194304 4196468 140726901971216 140585084119520 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19200] ppid=19131 vsize=10991872 memory=281030313941888 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19200/stat : 19200 (java) S 19131 19134 9814 0 -1 1077944384 1 12964 0 0 0 0 4 3 20 0 15 0 107212911 11255676928 115623 33554432000 4194304 4196468 140726901971216 140586581371824 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 10991872 KiB
################
# More data... #
################
/proc/19134/statm: 2752600 1303946 3532 1 0 2714253 0
[pid=19134/tid=19187] ppid=19131 vsize=11010400 memory=2412 CPUtime=126.9 cores=1,3,5,7
/proc/19134/task/19187/stat : 19187 (java) S 19131 19134 9814 0 -1 1077944384 46390 12964 0 0 12653 30 4 3 20 0 15 0 107212905 11274649600 1303946 33554432000 4194304 4196468 140726901971216 140587131512704 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19188] ppid=19131 vsize=11010400 memory=6791534058613427641 CPUtime=26.73 cores=1,3,5,7
/proc/19134/task/19188/stat : 19188 (java) R 19131 19134 9814 0 -1 4202560 10735 12964 0 0 2522 144 4 3 20 0 15 0 107212906 11274649600 1303946 33554432000 4194304 4196468 140726901971216 140587163920984 140587144702446 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19189] ppid=19131 vsize=11010400 memory=4140 CPUtime=26.89 cores=1,3,5,7
/proc/19134/task/19189/stat : 19189 (java) R 19131 19134 9814 0 -1 4202560 11046 12964 0 0 2537 145 4 3 20 0 15 0 107212906 11274649600 1303946 33554432000 4194304 4196468 140726901971216 140587034568864 140587144702414 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19190] ppid=19131 vsize=11010400 memory=30576 CPUtime=27.03 cores=1,3,5,7
/proc/19134/task/19190/stat : 19190 (java) R 19131 19134 9814 0 -1 4202560 9766 12964 0 0 2555 141 4 3 20 0 15 0 107212906 11274649600 1303946 33554432000 4194304 4196468 140726901971216 140587033516888 140587144700832 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19191] ppid=19131 vsize=11010400 memory=1296 CPUtime=26.85 cores=1,3,5,7
/proc/19134/task/19191/stat : 19191 (java) R 19131 19134 9814 0 -1 4202560 12934 12964 0 0 2533 145 4 3 20 0 15 0 107212906 11274649600 1303946 33554432000 4194304 4196468 140726901971216 140587032464088 140587144706130 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19192] ppid=19131 vsize=11010400 memory=4875816 CPUtime=2.73 cores=1,3,5,7
/proc/19134/task/19192/stat : 19192 (java) S 19131 19134 9814 0 -1 1077944384 26596 12964 0 0 262 4 4 3 20 0 15 0 107212907 11274649600 1303946 33554432000 4194304 4196468 140726901971216 140586585580704 140587159688917 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19193] ppid=19131 vsize=11010400 memory=11648 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19193/stat : 19193 (java) S 19131 19134 9814 0 -1 1077944384 28 12964 0 0 0 0 4 3 20 0 15 0 107212907 11274649600 1303946 33554432000 4194304 4196468 140726901971216 140586023642528 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19194] ppid=19131 vsize=11010400 memory=796 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19194/stat : 19194 (java) S 19131 19134 9814 0 -1 1077944384 14 12964 0 0 0 0 4 3 20 0 15 0 107212908 11274649600 1303946 33554432000 4194304 4196468 140726901971216 140585822316160 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19195] ppid=19131 vsize=11010400 memory=4230168 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19195/stat : 19195 (java) S 19131 19134 9814 0 -1 1077944384 3 12964 0 0 0 0 4 3 20 0 15 0 107212910 11274649600 1303946 33554432000 4194304 4196468 140726901971216 140585514916432 140587159697307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19196] ppid=19131 vsize=11010400 memory=4230168 CPUtime=6.46 cores=1,3,5,7
/proc/19134/task/19196/stat : 19196 (java) S 19131 19134 9814 0 -1 1077944384 18408 12964 0 0 637 2 4 3 20 0 15 0 107212910 11274649600 1303946 33554432000 4194304 4196468 140726901971216 140586584529008 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19197] ppid=19131 vsize=11010400 memory=6944656575208382560 CPUtime=6.71 cores=1,3,5,7
/proc/19134/task/19197/stat : 19197 (java) S 19131 19134 9814 0 -1 1077944384 16388 12964 0 0 660 4 4 3 20 0 15 0 107212910 11274649600 1303946 33554432000 4194304 4196468 140726901971216 140586583476208 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19198] ppid=19131 vsize=11010400 memory=6656426216303648864 CPUtime=2.31 cores=1,3,5,7
/proc/19134/task/19198/stat : 19198 (java) S 19131 19134 9814 0 -1 1077944384 13451 12964 0 0 220 4 4 3 20 0 15 0 107212910 11274649600 1303946 33554432000 4194304 4196468 140726901971216 140586582423920 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19199] ppid=19131 vsize=11010400 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19199/stat : 19199 (java) S 19131 19134 9814 0 -1 1077944384 3 12964 0 0 0 0 4 3 20 0 15 0 107212911 11274649600 1303946 33554432000 4194304 4196468 140726901971216 140585084119520 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19200] ppid=19131 vsize=11010400 memory=5752 CPUtime=0.15 cores=1,3,5,7
/proc/19134/task/19200/stat : 19200 (java) S 19131 19134 9814 0 -1 1077944384 683 12964 0 0 5 3 4 3 20 0 15 0 107212911 11274649600 1303946 33554432000 4194304 4196468 140726901971216 140586581371824 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
Current children cumulated CPU time: 252.25 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 5215784 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+158.834 s]
# the end of solver process 19134 was just reported to runsolver
# cumulated CPU time of all completed processes: user=253.712 s, system=6.35241 s
Solver just ended.
Dumping a history of the last processes samples
[startup+157.601 s]
/proc/loadavg: 2.56 1.89 1.84 6/215 19333
/proc/meminfo: memFree=19055156/32770624 swapFree=67108436/67108860
[pid=19134] ppid=19131 vsize=11010400 memory=5217832 CPUtime=255.36 cores=1,3,5,7
/proc/19134/stat : 19134 (java) S 19131 19134 9814 0 -1 1077944320 168979 12964 0 0 24901 628 4 3 20 0 15 0 107212896 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140726901953760 140587159678711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
/proc/19134/statm: 2752600 1304458 3532 1 0 2714253 0
[pid=19134/tid=19187] ppid=19131 vsize=11010400 memory=1784 CPUtime=126.9 cores=1,3,5,7
/proc/19134/task/19187/stat : 19187 (java) S 19131 19134 9814 0 -1 1077944384 46390 12964 0 0 12653 30 4 3 20 0 15 0 107212905 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140587131512704 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19188] ppid=19131 vsize=11010400 memory=5752 CPUtime=27.5 cores=1,3,5,7
/proc/19134/task/19188/stat : 19188 (java) R 19131 19134 9814 0 -1 4202560 10745 12964 0 0 2598 145 4 3 20 0 15 0 107212906 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140587163920368 140587152306919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19189] ppid=19131 vsize=11010400 memory=4588 CPUtime=27.66 cores=1,3,5,7
/proc/19134/task/19189/stat : 19189 (java) R 19131 19134 9814 0 -1 4202560 11070 12964 0 0 2613 146 4 3 20 0 15 0 107212906 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140587034568560 140587152306919 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19190] ppid=19131 vsize=11010400 memory=6791534058613427641 CPUtime=27.79 cores=1,3,5,7
/proc/19134/task/19190/stat : 19190 (java) R 19131 19134 9814 0 -1 4202560 9843 12964 0 0 2630 142 4 3 20 0 15 0 107212906 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140587033516584 140587152306919 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19191] ppid=19131 vsize=11010400 memory=30576 CPUtime=27.66 cores=1,3,5,7
/proc/19134/task/19191/stat : 19191 (java) R 19131 19134 9814 0 -1 4202560 12977 12964 0 0 2613 146 4 3 20 0 15 0 107212906 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140587032463888 140587144664007 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19192] ppid=19131 vsize=11010400 memory=1296 CPUtime=2.73 cores=1,3,5,7
/proc/19134/task/19192/stat : 19192 (java) S 19131 19134 9814 0 -1 1077944384 26780 12964 0 0 262 4 4 3 20 0 15 0 107212907 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140586585580512 140587159688917 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19193] ppid=19131 vsize=11010400 memory=2412 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19193/stat : 19193 (java) S 19131 19134 9814 0 -1 1077944384 28 12964 0 0 0 0 4 3 20 0 15 0 107212907 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140586023642528 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19194] ppid=19131 vsize=11010400 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19194/stat : 19194 (java) S 19131 19134 9814 0 -1 1077944384 14 12964 0 0 0 0 4 3 20 0 15 0 107212908 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140585822316160 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19195] ppid=19131 vsize=11010400 memory=298 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19195/stat : 19195 (java) S 19131 19134 9814 0 -1 1077944384 9 12964 0 0 0 0 4 3 20 0 15 0 107212910 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140585514916080 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19196] ppid=19131 vsize=11010400 memory=8241 CPUtime=6.46 cores=1,3,5,7
/proc/19134/task/19196/stat : 19196 (java) S 19131 19134 9814 0 -1 1077944384 18408 12964 0 0 637 2 4 3 20 0 15 0 107212910 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140586584529008 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19197] ppid=19131 vsize=11010400 memory=0 CPUtime=6.71 cores=1,3,5,7
/proc/19134/task/19197/stat : 19197 (java) S 19131 19134 9814 0 -1 1077944384 16388 12964 0 0 660 4 4 3 20 0 15 0 107212910 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140586583476208 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19198] ppid=19131 vsize=11010400 memory=0 CPUtime=2.31 cores=1,3,5,7
/proc/19134/task/19198/stat : 19198 (java) S 19131 19134 9814 0 -1 1077944384 13451 12964 0 0 220 4 4 3 20 0 15 0 107212910 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140586582423920 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19199] ppid=19131 vsize=11010400 memory=872 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19199/stat : 19199 (java) S 19131 19134 9814 0 -1 1077944384 3 12964 0 0 0 0 4 3 20 0 15 0 107212911 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140585084119520 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19200] ppid=19131 vsize=11010400 memory=8076 CPUtime=0.15 cores=1,3,5,7
/proc/19134/task/19200/stat : 19200 (java) S 19131 19134 9814 0 -1 1077944384 683 12964 0 0 5 3 4 3 20 0 15 0 107212911 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140586581371824 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
Current children cumulated CPU time: 255.36 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 5217832 KiB
[startup+158.401 s]
/proc/loadavg: 2.56 1.89 1.84 6/215 19333
/proc/meminfo: memFree=19055156/32770624 swapFree=67108436/67108860
[pid=19134] ppid=19131 vsize=11010400 memory=5217832 CPUtime=258.44 cores=1,3,5,7
/proc/19134/stat : 19134 (java) S 19131 19134 9814 0 -1 1077944320 168982 12964 0 0 25209 628 4 3 20 0 15 0 107212896 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140726901953760 140587159678711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
/proc/19134/statm: 2752600 1304458 3532 1 0 2714253 0
[pid=19134/tid=19187] ppid=19131 vsize=11010400 memory=8257237230052613020 CPUtime=126.9 cores=1,3,5,7
/proc/19134/task/19187/stat : 19187 (java) S 19131 19134 9814 0 -1 1077944384 46390 12964 0 0 12653 30 4 3 20 0 15 0 107212905 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140587131512704 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19188] ppid=19131 vsize=11010400 memory=4640204490969339242 CPUtime=28.27 cores=1,3,5,7
/proc/19134/task/19188/stat : 19188 (java) R 19131 19134 9814 0 -1 4202560 10745 12964 0 0 2675 145 4 3 20 0 15 0 107212906 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140587163920368 140587152306919 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19189] ppid=19131 vsize=11010400 memory=6791534058613427641 CPUtime=28.42 cores=1,3,5,7
/proc/19134/task/19189/stat : 19189 (java) R 19131 19134 9814 0 -1 4202560 11070 12964 0 0 2689 146 4 3 20 0 15 0 107212906 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140587034568872 140587152306919 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19190] ppid=19131 vsize=11010400 memory=1784 CPUtime=28.56 cores=1,3,5,7
/proc/19134/task/19190/stat : 19190 (java) R 19131 19134 9814 0 -1 4202560 9843 12964 0 0 2707 142 4 3 20 0 15 0 107212906 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140587033516272 140587152306919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19191] ppid=19131 vsize=11010400 memory=5752 CPUtime=28.46 cores=1,3,5,7
/proc/19134/task/19191/stat : 19191 (java) R 19131 19134 9814 0 -1 4202560 12980 12964 0 0 2693 146 4 3 20 0 15 0 107212906 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140587032463776 140587141275152 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19192] ppid=19131 vsize=11010400 memory=4588 CPUtime=2.73 cores=1,3,5,7
/proc/19134/task/19192/stat : 19192 (java) S 19131 19134 9814 0 -1 1077944384 26780 12964 0 0 262 4 4 3 20 0 15 0 107212907 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140586585580512 140587159688917 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19193] ppid=19131 vsize=11010400 memory=5217832 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19193/stat : 19193 (java) S 19131 19134 9814 0 -1 1077944384 28 12964 0 0 0 0 4 3 20 0 15 0 107212907 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140586023642528 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19194] ppid=19131 vsize=11010400 memory=796 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19194/stat : 19194 (java) S 19131 19134 9814 0 -1 1077944384 14 12964 0 0 0 0 4 3 20 0 15 0 107212908 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140585822316160 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19195] ppid=19131 vsize=11010400 memory=1388 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19195/stat : 19195 (java) S 19131 19134 9814 0 -1 1077944384 9 12964 0 0 0 0 4 3 20 0 15 0 107212910 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140585514916080 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19196] ppid=19131 vsize=11010400 memory=1136 CPUtime=6.46 cores=1,3,5,7
/proc/19134/task/19196/stat : 19196 (java) S 19131 19134 9814 0 -1 1077944384 18408 12964 0 0 637 2 4 3 20 0 15 0 107212910 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140586584529008 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19197] ppid=19131 vsize=11010400 memory=4004 CPUtime=6.71 cores=1,3,5,7
/proc/19134/task/19197/stat : 19197 (java) S 19131 19134 9814 0 -1 1077944384 16388 12964 0 0 660 4 4 3 20 0 15 0 107212910 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140586583476208 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19198] ppid=19131 vsize=11010400 memory=636 CPUtime=2.31 cores=1,3,5,7
/proc/19134/task/19198/stat : 19198 (java) S 19131 19134 9814 0 -1 1077944384 13451 12964 0 0 220 4 4 3 20 0 15 0 107212910 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140586582423920 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19199] ppid=19131 vsize=11010400 memory=1780 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19199/stat : 19199 (java) S 19131 19134 9814 0 -1 1077944384 3 12964 0 0 0 0 4 3 20 0 15 0 107212911 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140585084119520 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19200] ppid=19131 vsize=11010400 memory=1236 CPUtime=0.15 cores=1,3,5,7
/proc/19134/task/19200/stat : 19200 (java) S 19131 19134 9814 0 -1 1077944384 683 12964 0 0 5 3 4 3 20 0 15 0 107212911 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140586581371824 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
Current children cumulated CPU time: 258.44 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 5217832 KiB
[startup+158.801 s]
/proc/loadavg: 2.56 1.89 1.84 6/215 19333
/proc/meminfo: memFree=19055156/32770624 swapFree=67108436/67108860
[pid=19134] ppid=19131 vsize=11010400 memory=5217832 CPUtime=259.99 cores=1,3,5,7
/proc/19134/stat : 19134 (java) S 19131 19134 9814 0 -1 1077944320 168984 12964 0 0 25364 628 4 3 20 0 15 0 107212896 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140726901953760 140587159678711 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
/proc/19134/statm: 2752600 1304458 3532 1 0 2714253 0
[pid=19134/tid=19187] ppid=19131 vsize=11010400 memory=6791534058613427641 CPUtime=126.9 cores=1,3,5,7
/proc/19134/task/19187/stat : 19187 (java) S 19131 19134 9814 0 -1 1077944384 46390 12964 0 0 12653 30 4 3 20 0 15 0 107212905 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140587131512704 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19188] ppid=19131 vsize=11010400 memory=1228 CPUtime=28.66 cores=1,3,5,7
/proc/19134/task/19188/stat : 19188 (java) R 19131 19134 9814 0 -1 4202560 10745 12964 0 0 2713 146 4 3 20 0 15 0 107212906 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140587163920368 140587152306919 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19189] ppid=19131 vsize=11010400 memory=1852 CPUtime=28.81 cores=1,3,5,7
/proc/19134/task/19189/stat : 19189 (java) R 19131 19134 9814 0 -1 4202560 11070 12964 0 0 2728 146 4 3 20 0 15 0 107212906 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140587034568872 140587152306919 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19190] ppid=19131 vsize=11010400 memory=872 CPUtime=28.94 cores=1,3,5,7
/proc/19134/task/19190/stat : 19190 (java) R 19131 19134 9814 0 -1 4202560 9843 12964 0 0 2745 142 4 3 20 0 15 0 107212906 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140587033516272 140587152306919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19191] ppid=19131 vsize=11010400 memory=8076 CPUtime=28.86 cores=1,3,5,7
/proc/19134/task/19191/stat : 19191 (java) R 19131 19134 9814 0 -1 4202560 12982 12964 0 0 2733 146 4 3 20 0 15 0 107212906 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140587032463776 140587141275219 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19192] ppid=19131 vsize=11010400 memory=11648 CPUtime=2.73 cores=1,3,5,7
/proc/19134/task/19192/stat : 19192 (java) S 19131 19134 9814 0 -1 1077944384 26780 12964 0 0 262 4 4 3 20 0 15 0 107212907 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140586585580512 140587159688917 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19193] ppid=19131 vsize=11010400 memory=796 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19193/stat : 19193 (java) S 19131 19134 9814 0 -1 1077944384 28 12964 0 0 0 0 4 3 20 0 15 0 107212907 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140586023642528 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19194] ppid=19131 vsize=11010400 memory=1388 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19194/stat : 19194 (java) S 19131 19134 9814 0 -1 1077944384 14 12964 0 0 0 0 4 3 20 0 15 0 107212908 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140585822316160 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19195] ppid=19131 vsize=11010400 memory=1136 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19195/stat : 19195 (java) S 19131 19134 9814 0 -1 1077944384 9 12964 0 0 0 0 4 3 20 0 15 0 107212910 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140585514916080 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19196] ppid=19131 vsize=11010400 memory=15872 CPUtime=6.46 cores=1,3,5,7
/proc/19134/task/19196/stat : 19196 (java) S 19131 19134 9814 0 -1 1077944384 18408 12964 0 0 637 2 4 3 20 0 15 0 107212910 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140586584528768 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19197] ppid=19131 vsize=11010400 memory=5217832 CPUtime=6.71 cores=1,3,5,7
/proc/19134/task/19197/stat : 19197 (java) S 19131 19134 9814 0 -1 1077944384 16388 12964 0 0 660 4 4 3 20 0 15 0 107212910 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140586583476256 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19198] ppid=19131 vsize=11010400 memory=2592 CPUtime=2.31 cores=1,3,5,7
/proc/19134/task/19198/stat : 19198 (java) S 19131 19134 9814 0 -1 1077944384 13451 12964 0 0 220 4 4 3 20 0 15 0 107212910 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140586582423968 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19199] ppid=19131 vsize=11010400 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/19134/task/19199/stat : 19199 (java) S 19131 19134 9814 0 -1 1077944384 3 12964 0 0 0 0 4 3 20 0 15 0 107212911 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140585084119520 140587159688917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
[pid=19134/tid=19200] ppid=19131 vsize=11010400 memory=3040 CPUtime=0.15 cores=1,3,5,7
/proc/19134/task/19200/stat : 19200 (java) S 19131 19134 9814 0 -1 1077944384 683 12964 0 0 5 3 4 3 20 0 15 0 107212911 11274649600 1304458 33554432000 4194304 4196468 140726901971216 140586581371824 140587159689858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18247680 140726901979762 140726901982561 140726901982561 140726901985231 0
Current children cumulated CPU time: 259.99 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 5217832 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 158.834
CPU time (s): 260.064
CPU user time (s): 253.712
CPU system time (s): 6.35241
CPU usage (%): 163.734
Max. virtual memory (cumulated for all children) (KiB): 11010400
Max. memory (cumulated for all children) (KiB): 5655840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.712
system time used= 6.35241
maximum resident set size= 5655844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181950
page faults= 0
swaps= 0
block input operations= 0
block output operations= 408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14088
involuntary context switches= 1706
# summary of solver processes directly reported to runsolver:
# pid: 19134
# total CPU time (s): 260.064
# total CPU user time (s): 253.712
# total CPU system time (s): 6.35241
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.13224 second user time and 1.39916 second system time
The end