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 (14808 MiB free)
memory of node 1: 16384 MiB (11751 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293942-1532396654/watcher-4293942-1532396654 -o /tmp/evaluation-result-4293942-1532396654/solver-4293942-1532396654 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532369950-17305 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=920552344 -superng HOME/instance-4293942-1532396654.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=21734, runsolver pid=21731
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 1.80 1.78 1.80 2/207 21791
/proc/meminfo: memFree=27178588/32770624 swapFree=67108860/67108860
[pid=21734] ppid=21731 vsize=9972712 memory=16816 CPUtime=0.08 cores=1,3,5,7
/proc/21734/stat : 21734 (java) S 21731 21734 17273 0 -1 1077944320 4386 13252 0 0 1 0 5 2 20 0 6 0 57228718 10212057088 4204 33554432000 4194304 4196468 140725783678288 140725783660832 140182107811575 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
/proc/21734/statm: 2493178 4204 1934 1 0 2481616 0
[pid=21734/tid=21787] ppid=21731 vsize=9972712 memory=4279135704013571469 CPUtime=0.08 cores=1,3,5,7
/proc/21734/task/21787/stat : 21787 (java) R 21731 21734 17273 0 -1 4202560 2205 13252 0 0 1 0 5 2 20 0 6 0 57228727 10212057088 4270 33554432000 4194304 4196468 140725783678288 140182079648336 140182091892062 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21788] ppid=21731 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21788/stat : 21788 (java) S 21731 21734 17273 0 -1 1077944384 1 13252 0 0 0 0 5 2 20 0 6 0 57228728 10212057088 4270 33554432000 4194304 4196468 140725783678288 140182112053648 140182107821781 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21789] ppid=21731 vsize=9972712 memory=140366673290880 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21789/stat : 21789 (java) S 21731 21734 17273 0 -1 1077944384 1 13252 0 0 0 0 5 2 20 0 6 0 57228728 10212057088 4270 33554432000 4194304 4196468 140725783678288 140182030805264 140182107821781 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21790] ppid=21731 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21790/stat : 21790 (java) S 21731 21734 17273 0 -1 1077944384 1 13252 0 0 0 0 5 2 20 0 6 0 57228728 10212057088 4270 33554432000 4194304 4196468 140725783678288 140182029752976 140182107821781 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21791] ppid=21731 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21791/stat : 21791 (java) S 21731 21734 17273 0 -1 1077944384 2 13252 0 0 0 0 5 2 20 0 6 0 57228728 10212057088 4270 33554432000 4194304 4196468 140725783678288 140181679036944 140182107821781 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16816 KiB
[startup+0.210344 s]*
/proc/loadavg: 1.80 1.78 1.80 3/216 21800
/proc/meminfo: memFree=27147720/32770624 swapFree=67108860/67108860
[pid=21734] ppid=21731 vsize=10818904 memory=46676 CPUtime=0.25 cores=1,3,5,7
/proc/21734/stat : 21734 (java) S 21731 21734 17273 0 -1 1077944320 7882 13252 0 0 16 2 5 2 20 0 15 0 57228718 11078557696 11669 33554432000 4194304 4196468 140725783678288 140725783660832 140182107811575 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
/proc/21734/statm: 2704726 11669 2934 1 0 2667149 0
[pid=21734/tid=21787] ppid=21731 vsize=10818904 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/21734/task/21787/stat : 21787 (java) R 21731 21734 17273 0 -1 4202560 4626 13252 0 0 10 1 5 2 20 0 15 0 57228727 11078557696 11735 33554432000 4194304 4196468 140725783678288 140182079628688 140182088087324 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21788] ppid=21731 vsize=10818904 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21788/stat : 21788 (java) S 21731 21734 17273 0 -1 1077944384 1 13252 0 0 0 0 5 2 20 0 15 0 57228728 11078557696 11735 33554432000 4194304 4196468 140725783678288 140182112053648 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21789] ppid=21731 vsize=10818904 memory=288370742825002624 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21789/stat : 21789 (java) S 21731 21734 17273 0 -1 1077944384 1 13252 0 0 0 0 5 2 20 0 15 0 57228728 11078557696 11735 33554432000 4194304 4196468 140725783678288 140182030805264 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21790] ppid=21731 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21790/stat : 21790 (java) S 21731 21734 17273 0 -1 1077944384 1 13252 0 0 0 0 5 2 20 0 15 0 57228728 11078557696 11735 33554432000 4194304 4196468 140725783678288 140182029752976 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21791] ppid=21731 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21791/stat : 21791 (java) S 21731 21734 17273 0 -1 1077944384 2 13252 0 0 0 0 5 2 20 0 15 0 57228728 11078557696 11735 33554432000 4194304 4196468 140725783678288 140181679036944 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21792] ppid=21731 vsize=10818904 memory=140366673290880 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21792/stat : 21792 (java) S 21731 21734 17273 0 -1 1077944384 2 13252 0 0 0 0 5 2 20 0 15 0 57228729 11078557696 11735 33554432000 4194304 4196468 140725783678288 140181634460272 140182107822722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21793] ppid=21731 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21793/stat : 21793 (java) S 21731 21734 17273 0 -1 1077944384 13 13252 0 0 0 0 5 2 20 0 15 0 57228730 11078557696 11801 33554432000 4194304 4196468 140725783678288 140181558519072 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21794] ppid=21731 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21794/stat : 21794 (java) S 21731 21734 17273 0 -1 1077944384 1 13252 0 0 0 0 5 2 20 0 15 0 57228730 11078557696 11801 33554432000 4194304 4196468 140725783678288 140181424301680 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21795] ppid=21731 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21795/stat : 21795 (java) S 21731 21734 17273 0 -1 1077944384 2 13252 0 0 0 0 5 2 20 0 15 0 57228733 11078557696 11801 33554432000 4194304 4196468 140725783678288 140180820322896 140182107830171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21796] ppid=21731 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21734/task/21796/stat : 21796 (java) S 21731 21734 17273 0 -1 1077944384 520 13252 0 0 1 0 5 2 20 0 15 0 57228733 11078557696 11801 33554432000 4194304 4196468 140725783678288 140181633407088 140182107822722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21797] ppid=21731 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21797/stat : 21797 (java) S 21731 21734 17273 0 -1 1077944384 53 13252 0 0 0 0 5 2 20 0 15 0 57228733 11078557696 11801 33554432000 4194304 4196468 140725783678288 140181632354288 140182107822722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21798] ppid=21731 vsize=10818904 memory=140366673290880 CPUtime=0.1 cores=1,3,5,7
/proc/21734/task/21798/stat : 21798 (java) S 21731 21734 17273 0 -1 1077944384 553 13252 0 0 3 0 5 2 20 0 15 0 57228733 11078557696 11801 33554432000 4194304 4196468 140725783678288 140181631302000 140182107822722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21799] ppid=21731 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21799/stat : 21799 (java) S 21731 21734 17273 0 -1 1077944384 3 13252 0 0 0 0 5 2 20 0 15 0 57228733 11078557696 11801 33554432000 4194304 4196468 140725783678288 140180350560736 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21800] ppid=21731 vsize=10818904 memory=140366673290880 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21800/stat : 21800 (java) S 21731 21734 17273 0 -1 1077944384 1 13252 0 0 0 0 5 2 20 0 15 0 57228733 11078557696 11801 33554432000 4194304 4196468 140725783678288 140181630249904 140182107822722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 46676 KiB
[startup+0.310296 s]*
/proc/loadavg: 1.80 1.78 1.80 3/216 21800
/proc/meminfo: memFree=27133268/32770624 swapFree=67108860/67108860
[pid=21734] ppid=21731 vsize=10819352 memory=58124 CPUtime=0.37 cores=1,3,5,7
/proc/21734/stat : 21734 (java) S 21731 21734 17273 0 -1 1077944320 10608 13252 0 0 27 3 5 2 20 0 15 0 57228718 11079016448 14531 33554432000 4194304 4196468 140725783678288 140725783660832 140182107811575 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
/proc/21734/statm: 2704838 14531 3053 1 0 2667149 0
[pid=21734/tid=21787] ppid=21731 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/21734/task/21787/stat : 21787 (java) R 21731 21734 17273 0 -1 4202560 7252 13252 0 0 19 2 5 2 20 0 15 0 57228727 11079016448 14531 33554432000 4194304 4196468 140725783678288 140182079623584 140182107833501 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21788] ppid=21731 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21788/stat : 21788 (java) S 21731 21734 17273 0 -1 1077944384 1 13252 0 0 0 0 5 2 20 0 15 0 57228728 11079016448 14531 33554432000 4194304 4196468 140725783678288 140182112053648 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21789] ppid=21731 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21789/stat : 21789 (java) S 21731 21734 17273 0 -1 1077944384 1 13252 0 0 0 0 5 2 20 0 15 0 57228728 11079016448 14531 33554432000 4194304 4196468 140725783678288 140182030805264 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21790] ppid=21731 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21790/stat : 21790 (java) S 21731 21734 17273 0 -1 1077944384 1 13252 0 0 0 0 5 2 20 0 15 0 57228728 11079016448 14531 33554432000 4194304 4196468 140725783678288 140182029752976 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21791] ppid=21731 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21791/stat : 21791 (java) S 21731 21734 17273 0 -1 1077944384 2 13252 0 0 0 0 5 2 20 0 15 0 57228728 11079016448 14531 33554432000 4194304 4196468 140725783678288 140181679036944 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21792] ppid=21731 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21792/stat : 21792 (java) S 21731 21734 17273 0 -1 1077944384 2 13252 0 0 0 0 5 2 20 0 15 0 57228729 11079016448 14531 33554432000 4194304 4196468 140725783678288 140181634460272 140182107822722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21793] ppid=21731 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21793/stat : 21793 (java) S 21731 21734 17273 0 -1 1077944384 13 13252 0 0 0 0 5 2 20 0 15 0 57228730 11079016448 14531 33554432000 4194304 4196468 140725783678288 140181558519072 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21794] ppid=21731 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21794/stat : 21794 (java) S 21731 21734 17273 0 -1 1077944384 1 13252 0 0 0 0 5 2 20 0 15 0 57228730 11079016448 14531 33554432000 4194304 4196468 140725783678288 140181424301680 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21795] ppid=21731 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21795/stat : 21795 (java) S 21731 21734 17273 0 -1 1077944384 2 13252 0 0 0 0 5 2 20 0 15 0 57228733 11079016448 14531 33554432000 4194304 4196468 140725783678288 140180820322896 140182107830171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21796] ppid=21731 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21734/task/21796/stat : 21796 (java) S 21731 21734 17273 0 -1 1077944384 520 13252 0 0 1 0 5 2 20 0 15 0 57228733 11079016448 14531 33554432000 4194304 4196468 140725783678288 140181633407088 140182107822722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21797] ppid=21731 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/21734/task/21797/stat : 21797 (java) S 21731 21734 17273 0 -1 1077944384 54 13252 0 0 1 0 5 2 20 0 15 0 57228733 11079016448 14531 33554432000 4194304 4196468 140725783678288 140181632354288 140182107822722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21798] ppid=21731 vsize=10819352 memory=140366673290880 CPUtime=0.11 cores=1,3,5,7
/proc/21734/task/21798/stat : 21798 (java) S 21731 21734 17273 0 -1 1077944384 563 13252 0 0 4 0 5 2 20 0 15 0 57228733 11079016448 14531 33554432000 4194304 4196468 140725783678288 140181631302000 140182107822722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21799] ppid=21731 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21799/stat : 21799 (java) S 21731 21734 17273 0 -1 1077944384 3 13252 0 0 0 0 5 2 20 0 15 0 57228733 11079016448 14531 33554432000 4194304 4196468 140725783678288 140180350560736 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21800] ppid=21731 vsize=10819352 memory=140366673290880 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21800/stat : 21800 (java) S 21731 21734 17273 0 -1 1077944384 1 13252 0 0 0 0 5 2 20 0 15 0 57228733 11079016448 14531 33554432000 4194304 4196468 140725783678288 140181630249904 140182107822722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 58124 KiB
[startup+0.700759 s]
/proc/loadavg: 1.80 1.78 1.80 3/216 21800
/proc/meminfo: memFree=27098680/32770624 swapFree=67108860/67108860
[pid=21734] ppid=21731 vsize=10819352 memory=90580 CPUtime=0.97 cores=1,3,5,7
/proc/21734/stat : 21734 (java) S 21731 21734 17273 0 -1 1077944320 16764 13252 0 0 86 4 5 2 20 0 15 0 57228718 11079016448 22645 33554432000 4194304 4196468 140725783678288 140725783660832 140182107811575 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
/proc/21734/statm: 2704838 22645 3247 1 0 2667149 0
[pid=21734/tid=21787] ppid=21731 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/21734/task/21787/stat : 21787 (java) R 21731 21734 17273 0 -1 4202560 12389 13252 0 0 55 3 5 2 20 0 15 0 57228727 11079016448 22645 33554432000 4194304 4196468 140725783678288 140182079632400 140182089375150 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21788] ppid=21731 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21788/stat : 21788 (java) S 21731 21734 17273 0 -1 1077944384 1 13252 0 0 0 0 5 2 20 0 15 0 57228728 11079016448 22645 33554432000 4194304 4196468 140725783678288 140182112053648 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21789] ppid=21731 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21789/stat : 21789 (java) S 21731 21734 17273 0 -1 1077944384 1 13252 0 0 0 0 5 2 20 0 15 0 57228728 11079016448 22645 33554432000 4194304 4196468 140725783678288 140182030805264 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21790] ppid=21731 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21790/stat : 21790 (java) S 21731 21734 17273 0 -1 1077944384 1 13252 0 0 0 0 5 2 20 0 15 0 57228728 11079016448 22645 33554432000 4194304 4196468 140725783678288 140182029752976 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21791] ppid=21731 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21791/stat : 21791 (java) S 21731 21734 17273 0 -1 1077944384 2 13252 0 0 0 0 5 2 20 0 15 0 57228728 11079016448 22645 33554432000 4194304 4196468 140725783678288 140181679036944 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21792] ppid=21731 vsize=10819352 memory=6935649255861544529 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21792/stat : 21792 (java) S 21731 21734 17273 0 -1 1077944384 5 13252 0 0 0 0 5 2 20 0 15 0 57228729 11079016448 22645 33554432000 4194304 4196468 140725783678288 140181634460272 140182107822722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21793] ppid=21731 vsize=10819352 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21793/stat : 21793 (java) S 21731 21734 17273 0 -1 1077944384 13 13252 0 0 0 0 5 2 20 0 15 0 57228730 11079016448 22645 33554432000 4194304 4196468 140725783678288 140181558519072 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21794] ppid=21731 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21794/stat : 21794 (java) S 21731 21734 17273 0 -1 1077944384 1 13252 0 0 0 0 5 2 20 0 15 0 57228730 11079016448 22645 33554432000 4194304 4196468 140725783678288 140181424301680 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21795] ppid=21731 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21795/stat : 21795 (java) S 21731 21734 17273 0 -1 1077944384 2 13252 0 0 0 0 5 2 20 0 15 0 57228733 11079016448 22645 33554432000 4194304 4196468 140725783678288 140180820322896 140182107830171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21796] ppid=21731 vsize=10819352 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/21734/task/21796/stat : 21796 (java) S 21731 21734 17273 0 -1 1077944384 1119 13252 0 0 10 0 5 2 20 0 15 0 57228733 11079016448 22645 33554432000 4194304 4196468 140725783678288 140181633407088 140182107822722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21797] ppid=21731 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/21734/task/21797/stat : 21797 (java) S 21731 21734 17273 0 -1 1077944384 404 13252 0 0 6 0 5 2 20 0 15 0 57228733 11079016448 22645 33554432000 4194304 4196468 140725783678288 140181632354288 140182107822722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21798] ppid=21731 vsize=10819352 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/21734/task/21798/stat : 21798 (java) S 21731 21734 17273 0 -1 1077944384 629 13252 0 0 13 0 5 2 20 0 15 0 57228733 11079016448 22645 33554432000 4194304 4196468 140725783678288 140181631302000 140182107822722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21799] ppid=21731 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21799/stat : 21799 (java) S 21731 21734 17273 0 -1 1077944384 3 13252 0 0 0 0 5 2 20 0 15 0 57228733 11079016448 22645 33554432000 4194304 4196468 140725783678288 140180350560736 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21800] ppid=21731 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21800/stat : 21800 (java) S 21731 21734 17273 0 -1 1077944384 1 13252 0 0 0 0 5 2 20 0 15 0 57228733 11079016448 22645 33554432000 4194304 4196468 140725783678288 140181630249904 140182107822722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90580 KiB
[startup+1.50933 s]
/proc/loadavg: 1.80 1.78 1.80 6/216 21800
/proc/meminfo: memFree=26914796/32770624 swapFree=67108860/67108860
[pid=21734] ppid=21731 vsize=10828032 memory=497708 CPUtime=2.89 cores=1,3,5,7
/proc/21734/stat : 21734 (java) S 21731 21734 17273 0 -1 1077944320 23149 13252 0 0 240 42 5 2 20 0 15 0 57228718 11087904768 124427 33554432000 4194304 4196468 140725783678288 140725783660832 140182107811575 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
/proc/21734/statm: 2707008 124427 3457 1 0 2668685 0
[pid=21734/tid=21787] ppid=21731 vsize=10828032 memory=4951091520830867572 CPUtime=1.28 cores=1,3,5,7
/proc/21734/task/21787/stat : 21787 (java) S 21731 21734 17273 0 -1 1077944384 14711 13252 0 0 113 8 5 2 20 0 15 0 57228727 11087904768 124427 33554432000 4194304 4196468 140725783678288 140182079647264 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21788] ppid=21731 vsize=10828032 memory=4134606225630022328 CPUtime=0.22 cores=1,3,5,7
/proc/21734/task/21788/stat : 21788 (java) R 21731 21734 17273 0 -1 4202560 568 13252 0 0 8 7 5 2 20 0 15 0 57228728 11087904768 124427 33554432000 4194304 4196468 140725783678288 140182112053648 140182100914554 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21789] ppid=21731 vsize=10828032 memory=-5153075247754915967 CPUtime=0.21 cores=1,3,5,7
/proc/21734/task/21789/stat : 21789 (java) R 21731 21734 17273 0 -1 4202560 488 13252 0 0 7 7 5 2 20 0 15 0 57228728 11087904768 124427 33554432000 4194304 4196468 140725783678288 140182030805264 140182100911348 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21790] ppid=21731 vsize=10828032 memory=-9109248835117747296 CPUtime=0.21 cores=1,3,5,7
/proc/21734/task/21790/stat : 21790 (java) R 21731 21734 17273 0 -1 4202560 410 13252 0 0 7 7 5 2 20 0 15 0 57228728 11087904768 124427 33554432000 4194304 4196468 140725783678288 140182029753176 140182092512266 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21791] ppid=21731 vsize=10828032 memory=154200 CPUtime=0.23 cores=1,3,5,7
/proc/21734/task/21791/stat : 21791 (java) R 21731 21734 17273 0 -1 4202560 501 13252 0 0 8 8 5 2 20 0 15 0 57228728 11087904768 124427 33554432000 4194304 4196468 140725783678288 140181679036944 140182100914554 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21792] ppid=21731 vsize=10828032 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21734/task/21792/stat : 21792 (java) S 21731 21734 17273 0 -1 1077944384 122 13252 0 0 1 0 5 2 20 0 15 0 57228729 11087904768 124427 33554432000 4194304 4196468 140725783678288 140181634458816 140182107821781 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21793] ppid=21731 vsize=10828032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21793/stat : 21793 (java) S 21731 21734 17273 0 -1 1077944384 14 13252 0 0 0 0 5 2 20 0 15 0 57228730 11087904768 124427 33554432000 4194304 4196468 140725783678288 140181558519072 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21794] ppid=21731 vsize=10828032 memory=280733021176096 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21794/stat : 21794 (java) S 21731 21734 17273 0 -1 1077944384 2 13252 0 0 0 0 5 2 20 0 15 0 57228730 11087904768 124427 33554432000 4194304 4196468 140725783678288 140181424301680 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21795] ppid=21731 vsize=10828032 memory=280733021591040 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21795/stat : 21795 (java) S 21731 21734 17273 0 -1 1077944384 2 13252 0 0 0 0 5 2 20 0 15 0 57228733 11087904768 124427 33554432000 4194304 4196468 140725783678288 140180820322896 140182107830171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21796] ppid=21731 vsize=10828032 memory=140366510597760 CPUtime=0.41 cores=1,3,5,7
/proc/21734/task/21796/stat : 21796 (java) S 21731 21734 17273 0 -1 1077944384 1507 13252 0 0 34 0 5 2 20 0 15 0 57228733 11087904768 124427 33554432000 4194304 4196468 140725783678288 140181633407088 140182107822722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21797] ppid=21731 vsize=10828032 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/21734/task/21797/stat : 21797 (java) S 21731 21734 17273 0 -1 1077944384 1667 13252 0 0 30 0 5 2 20 0 15 0 57228733 11087904768 124427 33554432000 4194304 4196468 140725783678288 140181632354288 140182107822722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21798] ppid=21731 vsize=10828032 memory=1200 CPUtime=0.35 cores=1,3,5,7
/proc/21734/task/21798/stat : 21798 (java) S 21731 21734 17273 0 -1 1077944384 960 13252 0 0 28 0 5 2 20 0 15 0 57228733 11087904768 124427 33554432000 4194304 4196468 140725783678288 140181631302000 140182107822722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21799] ppid=21731 vsize=10828032 memory=15872 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21799/stat : 21799 (java) S 21731 21734 17273 0 -1 1077944384 3 13252 0 0 0 0 5 2 20 0 15 0 57228733 11087904768 124427 33554432000 4194304 4196468 140725783678288 140180350560736 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21800] ppid=21731 vsize=10828032 memory=11608 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21800/stat : 21800 (java) S 21731 21734 17273 0 -1 1077944384 1 13252 0 0 0 0 5 2 20 0 15 0 57228733 11087904768 124427 33554432000 4194304 4196468 140725783678288 140181630249904 140182107822722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
Current children cumulated CPU time: 2.89 s
Current children cumulated vsize: 10828032 KiB
################
# More data... #
################
/proc/21734/statm: 2713176 2071506 3542 1 0 2674829 0
[pid=21734/tid=21787] ppid=21731 vsize=10852704 memory=1728 CPUtime=235.29 cores=1,3,5,7
/proc/21734/task/21787/stat : 21787 (java) S 21731 21734 17273 0 -1 1077944384 111968 13252 0 0 23476 46 5 2 20 0 15 0 57228727 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140182079646384 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21788] ppid=21731 vsize=10852704 memory=1004 CPUtime=563.56 cores=1,3,5,7
/proc/21734/task/21788/stat : 21788 (java) R 21731 21734 17273 0 -1 4202560 360397 13252 0 0 56141 208 5 2 20 0 15 0 57228728 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140182112053848 140182092801129 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21789] ppid=21731 vsize=10852704 memory=11956 CPUtime=562.65 cores=1,3,5,7
/proc/21734/task/21789/stat : 21789 (java) R 21731 21734 17273 0 -1 4202560 322007 13252 0 0 56027 231 5 2 20 0 15 0 57228728 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140182030805072 140182100439783 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21790] ppid=21731 vsize=10852704 memory=1296 CPUtime=562.96 cores=1,3,5,7
/proc/21734/task/21790/stat : 21790 (java) R 21731 21734 17273 0 -1 4202560 395677 13252 0 0 56071 218 5 2 20 0 15 0 57228728 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140182029753096 140182100439783 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21791] ppid=21731 vsize=10852704 memory=2428 CPUtime=562.91 cores=1,3,5,7
/proc/21734/task/21791/stat : 21791 (java) R 21731 21734 17273 0 -1 4202560 293744 13252 0 0 56063 221 5 2 20 0 15 0 57228728 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181679036752 140182100439783 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21792] ppid=21731 vsize=10852704 memory=8286024 CPUtime=6.6 cores=1,3,5,7
/proc/21734/task/21792/stat : 21792 (java) S 21731 21734 17273 0 -1 1077944384 263011 13252 0 0 637 16 5 2 20 0 15 0 57228729 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181634458816 140182107821781 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21793] ppid=21731 vsize=10852704 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21793/stat : 21793 (java) S 21731 21734 17273 0 -1 1077944384 47 13252 0 0 0 0 5 2 20 0 15 0 57228730 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181558519200 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21794] ppid=21731 vsize=10852704 memory=8384 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21794/stat : 21794 (java) S 21731 21734 17273 0 -1 1077944384 22 13252 0 0 0 0 5 2 20 0 15 0 57228730 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181424301696 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21795] ppid=21731 vsize=10852704 memory=1624 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21795/stat : 21795 (java) S 21731 21734 17273 0 -1 1077944384 2 13252 0 0 0 0 5 2 20 0 15 0 57228733 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140180820322896 140182107830171 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21796] ppid=21731 vsize=10852704 memory=1200 CPUtime=11.79 cores=1,3,5,7
/proc/21734/task/21796/stat : 21796 (java) S 21731 21734 17273 0 -1 1077944384 36017 13252 0 0 1167 5 5 2 20 0 15 0 57228733 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181633407136 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21797] ppid=21731 vsize=10852704 memory=1572 CPUtime=11.1 cores=1,3,5,7
/proc/21734/task/21797/stat : 21797 (java) S 21731 21734 17273 0 -1 1077944384 41166 13252 0 0 1096 7 5 2 20 0 15 0 57228733 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181632354336 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21798] ppid=21731 vsize=10852704 memory=2244 CPUtime=3.27 cores=1,3,5,7
/proc/21734/task/21798/stat : 21798 (java) S 21731 21734 17273 0 -1 1077944384 28215 13252 0 0 313 7 5 2 20 0 15 0 57228733 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181631301760 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21799] ppid=21731 vsize=10852704 memory=4124 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21799/stat : 21799 (java) S 21731 21734 17273 0 -1 1077944384 3 13252 0 0 0 0 5 2 20 0 15 0 57228733 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140180350560736 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21800] ppid=21731 vsize=10852704 memory=2200 CPUtime=0.61 cores=1,3,5,7
/proc/21734/task/21800/stat : 21800 (java) S 21731 21734 17273 0 -1 1077944384 1312 13252 0 0 31 23 5 2 20 0 15 0 57228733 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181630249904 140182107822722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
Current children cumulated CPU time: 2520.19 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 8286024 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+816.465 s]
# the end of solver process 21734 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.23 s, system=9.79229 s
Solver just ended.
Dumping a history of the last processes samples
[startup+815.201 s]
/proc/loadavg: 4.36 4.21 3.18 6/215 21951
/proc/meminfo: memFree=11909856/32770624 swapFree=67108860/67108860
[pid=21734] ppid=21731 vsize=10852704 memory=8286024 CPUtime=2523.28 cores=1,3,5,7
/proc/21734/stat : 21734 (java) S 21731 21734 17273 0 -1 1077944320 1855792 13252 0 0 251353 968 5 2 20 0 15 0 57228718 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140725783660832 140182107811575 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
/proc/21734/statm: 2713176 2071506 3542 1 0 2674829 0
[pid=21734/tid=21787] ppid=21731 vsize=10852704 memory=8286024 CPUtime=235.29 cores=1,3,5,7
/proc/21734/task/21787/stat : 21787 (java) S 21731 21734 17273 0 -1 1077944384 111968 13252 0 0 23476 46 5 2 20 0 15 0 57228727 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140182079646384 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21788] ppid=21731 vsize=10852704 memory=1296 CPUtime=564.36 cores=1,3,5,7
/proc/21734/task/21788/stat : 21788 (java) R 21731 21734 17273 0 -1 4202560 360406 13252 0 0 56221 208 5 2 20 0 15 0 57228728 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140182112053848 140182092269195 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21789] ppid=21731 vsize=10852704 memory=2428 CPUtime=563.42 cores=1,3,5,7
/proc/21734/task/21789/stat : 21789 (java) R 21731 21734 17273 0 -1 4202560 322007 13252 0 0 56104 231 5 2 20 0 15 0 57228728 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140182030805072 140182100439783 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21790] ppid=21731 vsize=10852704 memory=1728 CPUtime=563.72 cores=1,3,5,7
/proc/21734/task/21790/stat : 21790 (java) R 21731 21734 17273 0 -1 4202560 395677 13252 0 0 56147 218 5 2 20 0 15 0 57228728 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140182029752784 140182100439783 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21791] ppid=21731 vsize=10852704 memory=1004 CPUtime=563.66 cores=1,3,5,7
/proc/21734/task/21791/stat : 21791 (java) R 21731 21734 17273 0 -1 4202560 293744 13252 0 0 56138 221 5 2 20 0 15 0 57228728 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181679037064 140182100439783 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21792] ppid=21731 vsize=10852704 memory=11956 CPUtime=6.6 cores=1,3,5,7
/proc/21734/task/21792/stat : 21792 (java) S 21731 21734 17273 0 -1 1077944384 263011 13252 0 0 637 16 5 2 20 0 15 0 57228729 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181634458816 140182107821781 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21793] ppid=21731 vsize=10852704 memory=5520 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21793/stat : 21793 (java) S 21731 21734 17273 0 -1 1077944384 47 13252 0 0 0 0 5 2 20 0 15 0 57228730 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181558519200 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21794] ppid=21731 vsize=10852704 memory=792 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21794/stat : 21794 (java) S 21731 21734 17273 0 -1 1077944384 22 13252 0 0 0 0 5 2 20 0 15 0 57228730 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181424301696 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21795] ppid=21731 vsize=10852704 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21795/stat : 21795 (java) S 21731 21734 17273 0 -1 1077944384 3 13252 0 0 0 0 5 2 20 0 15 0 57228733 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140180820322544 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21796] ppid=21731 vsize=10852704 memory=1944 CPUtime=11.79 cores=1,3,5,7
/proc/21734/task/21796/stat : 21796 (java) S 21731 21734 17273 0 -1 1077944384 36017 13252 0 0 1167 5 5 2 20 0 15 0 57228733 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181633407136 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21797] ppid=21731 vsize=10852704 memory=6791534058613427641 CPUtime=11.1 cores=1,3,5,7
/proc/21734/task/21797/stat : 21797 (java) S 21731 21734 17273 0 -1 1077944384 41166 13252 0 0 1096 7 5 2 20 0 15 0 57228733 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181632354336 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21798] ppid=21731 vsize=10852704 memory=1236 CPUtime=3.27 cores=1,3,5,7
/proc/21734/task/21798/stat : 21798 (java) S 21731 21734 17273 0 -1 1077944384 28215 13252 0 0 313 7 5 2 20 0 15 0 57228733 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181631301760 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21799] ppid=21731 vsize=10852704 memory=960 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21799/stat : 21799 (java) S 21731 21734 17273 0 -1 1077944384 3 13252 0 0 0 0 5 2 20 0 15 0 57228733 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140180350560736 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21800] ppid=21731 vsize=10852704 memory=2340 CPUtime=0.61 cores=1,3,5,7
/proc/21734/task/21800/stat : 21800 (java) S 21731 21734 17273 0 -1 1077944384 1312 13252 0 0 31 23 5 2 20 0 15 0 57228733 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181630249904 140182107822722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
Current children cumulated CPU time: 2523.28 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 8286024 KiB
[startup+816.001 s]*
/proc/loadavg: 4.36 4.21 3.18 6/215 21951
/proc/meminfo: memFree=11909864/32770624 swapFree=67108860/67108860
[pid=21734] ppid=21731 vsize=10852704 memory=8286024 CPUtime=2526.41 cores=1,3,5,7
/proc/21734/stat : 21734 (java) S 21731 21734 17273 0 -1 1077944320 1856040 13252 0 0 251665 969 5 2 20 0 15 0 57228718 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140725783660832 140182107811575 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
/proc/21734/statm: 2713176 2071506 3542 1 0 2674829 0
[pid=21734/tid=21787] ppid=21731 vsize=10852704 memory=6791534058613427641 CPUtime=235.29 cores=1,3,5,7
/proc/21734/task/21787/stat : 21787 (java) S 21731 21734 17273 0 -1 1077944384 111968 13252 0 0 23476 46 5 2 20 0 15 0 57228727 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140182079646384 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21788] ppid=21731 vsize=10852704 memory=8286024 CPUtime=565.17 cores=1,3,5,7
/proc/21734/task/21788/stat : 21788 (java) R 21731 21734 17273 0 -1 4202560 360654 13252 0 0 56302 208 5 2 20 0 15 0 57228728 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140182112053848 140182089421330 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21789] ppid=21731 vsize=10852704 memory=4872558044660077418 CPUtime=564.19 cores=1,3,5,7
/proc/21734/task/21789/stat : 21789 (java) R 21731 21734 17273 0 -1 4202560 322007 13252 0 0 56181 231 5 2 20 0 15 0 57228728 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140182030805072 140182100439783 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21790] ppid=21731 vsize=10852704 memory=2244 CPUtime=564.5 cores=1,3,5,7
/proc/21734/task/21790/stat : 21790 (java) R 21731 21734 17273 0 -1 4202560 395677 13252 0 0 56224 219 5 2 20 0 15 0 57228728 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140182029752784 140182100439783 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21791] ppid=21731 vsize=10852704 memory=4124 CPUtime=564.42 cores=1,3,5,7
/proc/21734/task/21791/stat : 21791 (java) R 21731 21734 17273 0 -1 4202560 293744 13252 0 0 56214 221 5 2 20 0 15 0 57228728 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181679037064 140182100439783 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21792] ppid=21731 vsize=10852704 memory=2200 CPUtime=6.6 cores=1,3,5,7
/proc/21734/task/21792/stat : 21792 (java) S 21731 21734 17273 0 -1 1077944384 263011 13252 0 0 637 16 5 2 20 0 15 0 57228729 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181634458816 140182107821781 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21793] ppid=21731 vsize=10852704 memory=8148 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21793/stat : 21793 (java) S 21731 21734 17273 0 -1 1077944384 47 13252 0 0 0 0 5 2 20 0 15 0 57228730 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181558519200 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21794] ppid=21731 vsize=10852704 memory=848 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21794/stat : 21794 (java) S 21731 21734 17273 0 -1 1077944384 22 13252 0 0 0 0 5 2 20 0 15 0 57228730 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181424301696 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21795] ppid=21731 vsize=10852704 memory=1800 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21795/stat : 21795 (java) S 21731 21734 17273 0 -1 1077944384 3 13252 0 0 0 0 5 2 20 0 15 0 57228733 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140180820322544 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21796] ppid=21731 vsize=10852704 memory=920 CPUtime=11.79 cores=1,3,5,7
/proc/21734/task/21796/stat : 21796 (java) S 21731 21734 17273 0 -1 1077944384 36017 13252 0 0 1167 5 5 2 20 0 15 0 57228733 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181633407136 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21797] ppid=21731 vsize=10852704 memory=6791534058613427641 CPUtime=11.1 cores=1,3,5,7
/proc/21734/task/21797/stat : 21797 (java) S 21731 21734 17273 0 -1 1077944384 41166 13252 0 0 1096 7 5 2 20 0 15 0 57228733 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181632354336 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21798] ppid=21731 vsize=10852704 memory=2800 CPUtime=3.27 cores=1,3,5,7
/proc/21734/task/21798/stat : 21798 (java) S 21731 21734 17273 0 -1 1077944384 28215 13252 0 0 313 7 5 2 20 0 15 0 57228733 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181631301760 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21799] ppid=21731 vsize=10852704 memory=2836 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21799/stat : 21799 (java) S 21731 21734 17273 0 -1 1077944384 3 13252 0 0 0 0 5 2 20 0 15 0 57228733 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140180350560736 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21800] ppid=21731 vsize=10852704 memory=4108 CPUtime=0.61 cores=1,3,5,7
/proc/21734/task/21800/stat : 21800 (java) S 21731 21734 17273 0 -1 1077944384 1312 13252 0 0 31 23 5 2 20 0 15 0 57228733 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181630249904 140182107822722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
Current children cumulated CPU time: 2526.41 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 8286024 KiB
[startup+816.401 s]
/proc/loadavg: 4.36 4.21 3.18 6/215 21951
/proc/meminfo: memFree=11909864/32770624 swapFree=67108860/67108860
[pid=21734] ppid=21731 vsize=10852704 memory=8286024 CPUtime=2527.93 cores=1,3,5,7
/proc/21734/stat : 21734 (java) S 21731 21734 17273 0 -1 1077944320 1856040 13252 0 0 251816 970 5 2 20 0 15 0 57228718 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140725783660832 140182107811575 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
/proc/21734/statm: 2713176 2071506 3542 1 0 2674829 0
[pid=21734/tid=21787] ppid=21731 vsize=10852704 memory=1296 CPUtime=235.29 cores=1,3,5,7
/proc/21734/task/21787/stat : 21787 (java) S 21731 21734 17273 0 -1 1077944384 111968 13252 0 0 23476 46 5 2 20 0 15 0 57228727 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140182079646384 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21788] ppid=21731 vsize=10852704 memory=8286024 CPUtime=565.56 cores=1,3,5,7
/proc/21734/task/21788/stat : 21788 (java) R 21731 21734 17273 0 -1 4202560 360654 13252 0 0 56341 208 5 2 20 0 15 0 57228728 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140182112053848 140182089421321 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21789] ppid=21731 vsize=10852704 memory=6791534058613427641 CPUtime=564.57 cores=1,3,5,7
/proc/21734/task/21789/stat : 21789 (java) R 21731 21734 17273 0 -1 4202560 322007 13252 0 0 56219 231 5 2 20 0 15 0 57228728 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140182030805072 140182100439783 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21790] ppid=21731 vsize=10852704 memory=11616 CPUtime=564.88 cores=1,3,5,7
/proc/21734/task/21790/stat : 21790 (java) R 21731 21734 17273 0 -1 4202560 395677 13252 0 0 56262 219 5 2 20 0 15 0 57228728 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140182029752784 140182100439783 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21791] ppid=21731 vsize=10852704 memory=4612 CPUtime=564.8 cores=1,3,5,7
/proc/21734/task/21791/stat : 21791 (java) R 21731 21734 17273 0 -1 4202560 293744 13252 0 0 56252 221 5 2 20 0 15 0 57228728 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181679037064 140182100439783 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21792] ppid=21731 vsize=10852704 memory=8384 CPUtime=6.6 cores=1,3,5,7
/proc/21734/task/21792/stat : 21792 (java) S 21731 21734 17273 0 -1 1077944384 263011 13252 0 0 637 16 5 2 20 0 15 0 57228729 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181634458816 140182107821781 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21793] ppid=21731 vsize=10852704 memory=1624 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21793/stat : 21793 (java) S 21731 21734 17273 0 -1 1077944384 47 13252 0 0 0 0 5 2 20 0 15 0 57228730 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181558519200 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21794] ppid=21731 vsize=10852704 memory=1200 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21794/stat : 21794 (java) S 21731 21734 17273 0 -1 1077944384 22 13252 0 0 0 0 5 2 20 0 15 0 57228730 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181424301696 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21795] ppid=21731 vsize=10852704 memory=3848 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21795/stat : 21795 (java) S 21731 21734 17273 0 -1 1077944384 3 13252 0 0 0 0 5 2 20 0 15 0 57228733 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140180820322544 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21796] ppid=21731 vsize=10852704 memory=2800 CPUtime=11.79 cores=1,3,5,7
/proc/21734/task/21796/stat : 21796 (java) S 21731 21734 17273 0 -1 1077944384 36017 13252 0 0 1167 5 5 2 20 0 15 0 57228733 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181633407136 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21797] ppid=21731 vsize=10852704 memory=2836 CPUtime=11.1 cores=1,3,5,7
/proc/21734/task/21797/stat : 21797 (java) S 21731 21734 17273 0 -1 1077944384 41166 13252 0 0 1096 7 5 2 20 0 15 0 57228733 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181632354336 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21798] ppid=21731 vsize=10852704 memory=4108 CPUtime=3.27 cores=1,3,5,7
/proc/21734/task/21798/stat : 21798 (java) S 21731 21734 17273 0 -1 1077944384 28215 13252 0 0 313 7 5 2 20 0 15 0 57228733 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181631301760 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21799] ppid=21731 vsize=10852704 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/21734/task/21799/stat : 21799 (java) S 21731 21734 17273 0 -1 1077944384 3 13252 0 0 0 0 5 2 20 0 15 0 57228733 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140180350560736 140182107821781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
[pid=21734/tid=21800] ppid=21731 vsize=10852704 memory=3080 CPUtime=0.61 cores=1,3,5,7
/proc/21734/task/21800/stat : 21800 (java) S 21731 21734 17273 0 -1 1077944384 1312 13252 0 0 31 23 5 2 20 0 15 0 57228733 11113168896 2071506 33554432000 4194304 4196468 140725783678288 140181630249904 140182107822722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19357696 140725783685292 140725783688540 140725783688540 140725783691215 0
Current children cumulated CPU time: 2527.93 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 8286024 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 816.465
CPU time (s): 2528.03
CPU user time (s): 2518.23
CPU system time (s): 9.79229
CPU usage (%): 309.631
Max. virtual memory (cumulated for all children) (KiB): 10852704
Max. memory (cumulated for all children) (KiB): 8286024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.23
system time used= 9.79229
maximum resident set size= 8286192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1869294
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59489
involuntary context switches= 33075
# summary of solver processes directly reported to runsolver:
# pid: 21734
# total CPU time (s): 2528.03
# total CPU user time (s): 2518.23
# total CPU system time (s): 9.79229
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.11357 second user time and 7.80066 second system time
The end