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 (6430 MiB free)
memory of node 1: 16384 MiB (12995 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293989-1532399963/watcher-4293989-1532399963 -o /tmp/evaluation-result-4293989-1532399963/solver-4293989-1532399963 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532371073-15153 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1827730594 HOME/instance-4293989-1532399963.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=20700, runsolver pid=20697
Current StackSize limit: 8192 KiB
[startup+0.100163 s]*
/proc/loadavg: 1.36 1.63 1.64 3/206 20757
/proc/meminfo: memFree=19884116/32770624 swapFree=67108860/67108860
[pid=20700] ppid=20697 vsize=9972712 memory=17076 CPUtime=0.09 cores=1,3,5,7
/proc/20700/stat : 20700 (java) S 20697 20700 15121 0 -1 1077944320 4442 12886 0 0 1 0 5 3 20 0 6 0 57559532 10212057088 4269 33554432000 4194304 4196468 140723337471520 140723337454064 140042251390711 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
/proc/20700/statm: 2493178 4269 1934 1 0 2481616 0
[pid=20700/tid=20753] ppid=20697 vsize=9972712 memory=4279135704013962638 CPUtime=0.09 cores=1,3,5,7
/proc/20700/task/20753/stat : 20753 (java) R 20697 20700 15121 0 -1 4202560 2253 12886 0 0 1 0 5 3 20 0 6 0 57559541 10212057088 4269 33554432000 4194304 4196468 140723337471520 140042223227472 140042234737189 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20754] ppid=20697 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20754/stat : 20754 (java) S 20697 20700 15121 0 -1 1077944384 1 12886 0 0 0 0 5 3 20 0 6 0 57559542 10212057088 4269 33554432000 4194304 4196468 140723337471520 140042255633040 140042251400917 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20755] ppid=20697 vsize=9972712 memory=139824398374528 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20755/stat : 20755 (java) S 20697 20700 15121 0 -1 1077944384 1 12886 0 0 0 0 5 3 20 0 6 0 57559542 10212057088 4269 33554432000 4194304 4196468 140723337471520 140041824164368 140042251400917 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20756] ppid=20697 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20756/stat : 20756 (java) S 20697 20700 15121 0 -1 1077944384 1 12886 0 0 0 0 5 3 20 0 6 0 57559542 10212057088 4335 33554432000 4194304 4196468 140723337471520 140041823111568 140042251400917 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20757] ppid=20697 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20757/stat : 20757 (java) S 20697 20700 15121 0 -1 1077944384 2 12886 0 0 0 0 5 3 20 0 6 0 57559542 10212057088 4335 33554432000 4194304 4196468 140723337471520 140041822058768 140042251400917 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.210487 s]*
/proc/loadavg: 1.36 1.63 1.64 3/215 20766
/proc/meminfo: memFree=19863936/32770624 swapFree=67108860/67108860
[pid=20700] ppid=20697 vsize=10819896 memory=44036 CPUtime=0.27 cores=1,3,5,7
/proc/20700/stat : 20700 (java) S 20697 20700 15121 0 -1 1077944320 8191 12886 0 0 17 2 5 3 20 0 15 0 57559532 11079573504 11009 33554432000 4194304 4196468 140723337471520 140723337454064 140042251390711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
/proc/20700/statm: 2704974 11009 2965 1 0 2667397 0
[pid=20700/tid=20753] ppid=20697 vsize=10819896 memory=-6517102902069810590 CPUtime=0.2 cores=1,3,5,7
/proc/20700/task/20753/stat : 20753 (java) R 20697 20700 15121 0 -1 4202560 4889 12886 0 0 11 1 5 3 20 0 15 0 57559541 11079573504 11141 33554432000 4194304 4196468 140723337471520 140042223215520 140042244070429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20754] ppid=20697 vsize=10819896 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20754/stat : 20754 (java) S 20697 20700 15121 0 -1 1077944384 1 12886 0 0 0 0 5 3 20 0 15 0 57559542 11079573504 11141 33554432000 4194304 4196468 140723337471520 140042255633040 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20755] ppid=20697 vsize=10819896 memory=139824398374528 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20755/stat : 20755 (java) S 20697 20700 15121 0 -1 1077944384 1 12886 0 0 0 0 5 3 20 0 15 0 57559542 11079573504 11141 33554432000 4194304 4196468 140723337471520 140041824164368 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20756] ppid=20697 vsize=10819896 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20756/stat : 20756 (java) S 20697 20700 15121 0 -1 1077944384 1 12886 0 0 0 0 5 3 20 0 15 0 57559542 11079573504 11141 33554432000 4194304 4196468 140723337471520 140041823111568 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20757] ppid=20697 vsize=10821524 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20757/stat : 20757 (java) S 20697 20700 15121 0 -1 1077944384 2 12886 0 0 0 0 5 3 20 0 15 0 57559542 11081240576 11141 33554432000 4194304 4196468 140723337471520 140041822058768 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20758] ppid=20697 vsize=10821524 memory=139824398374528 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20758/stat : 20758 (java) S 20697 20700 15121 0 -1 1077944384 2 12886 0 0 0 0 5 3 20 0 15 0 57559543 11081240576 11207 33554432000 4194304 4196468 140723337471520 140041777965936 140042251401858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20759] ppid=20697 vsize=10821524 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20759/stat : 20759 (java) S 20697 20700 15121 0 -1 1077944384 13 12886 0 0 0 0 5 3 20 0 15 0 57559544 11081240576 11207 33554432000 4194304 4196468 140723337471520 140041703646752 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20760] ppid=20697 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20760/stat : 20760 (java) S 20697 20700 15121 0 -1 1077944384 1 12886 0 0 0 0 5 3 20 0 15 0 57559544 11081240576 11207 33554432000 4194304 4196468 140723337471520 140041099666800 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20761] ppid=20697 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20761/stat : 20761 (java) S 20697 20700 15121 0 -1 1077944384 3 12886 0 0 0 0 5 3 20 0 15 0 57559547 11081240576 11207 33554432000 4194304 4196468 140723337471520 140040792267088 140042251409307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20762] ppid=20697 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20762/stat : 20762 (java) S 20697 20700 15121 0 -1 1077944384 424 12886 0 0 0 0 5 3 20 0 15 0 57559547 11081240576 11207 33554432000 4194304 4196468 140723337471520 140041776912752 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20763] ppid=20697 vsize=10821524 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/20700/task/20763/stat : 20763 (java) S 20697 20700 15121 0 -1 1077944384 185 12886 0 0 1 0 5 3 20 0 15 0 57559547 11081240576 11273 33554432000 4194304 4196468 140723337471520 140041775859952 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20764] ppid=20697 vsize=10821524 memory=139824398374528 CPUtime=0.11 cores=1,3,5,7
/proc/20700/task/20764/stat : 20764 (java) S 20697 20700 15121 0 -1 1077944384 606 12886 0 0 3 0 5 3 20 0 15 0 57559547 11081240576 11273 33554432000 4194304 4196468 140723337471520 140041774807152 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20765] ppid=20697 vsize=10821524 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20765/stat : 20765 (java) S 20697 20700 15121 0 -1 1077944384 3 12886 0 0 0 0 5 3 20 0 15 0 57559547 11081240576 11273 33554432000 4194304 4196468 140723337471520 140040758708448 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20766] ppid=20697 vsize=10821524 memory=139824398374528 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20766/stat : 20766 (java) S 20697 20700 15121 0 -1 1077944384 1 12886 0 0 0 0 5 3 20 0 15 0 57559547 11081240576 11273 33554432000 4194304 4196468 140723337471520 140041773755568 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10819896 KiB
Current children cumulated memory: 44036 KiB
[startup+0.310494 s]*
/proc/loadavg: 1.36 1.63 1.64 3/215 20766
/proc/meminfo: memFree=19851656/32770624 swapFree=67108860/67108860
[pid=20700] ppid=20697 vsize=10819352 memory=54220 CPUtime=0.39 cores=1,3,5,7
/proc/20700/stat : 20700 (java) S 20697 20700 15121 0 -1 1077944320 10623 12886 0 0 28 3 5 3 20 0 15 0 57559532 11079016448 13555 33554432000 4194304 4196468 140723337471520 140723337454064 140042251390711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
/proc/20700/statm: 2704838 13555 3084 1 0 2667149 0
[pid=20700/tid=20753] ppid=20697 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/20700/task/20753/stat : 20753 (java) R 20697 20700 15121 0 -1 4202560 7187 12886 0 0 20 1 5 3 20 0 15 0 57559541 11079016448 13555 33554432000 4194304 4196468 140723337471520 140042223202720 140042235471198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20754] ppid=20697 vsize=10819352 memory=7300986251812819024 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20754/stat : 20754 (java) S 20697 20700 15121 0 -1 1077944384 1 12886 0 0 0 0 5 3 20 0 15 0 57559542 11079016448 13555 33554432000 4194304 4196468 140723337471520 140042255633040 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20755] ppid=20697 vsize=10819352 memory=2076 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20755/stat : 20755 (java) S 20697 20700 15121 0 -1 1077944384 1 12886 0 0 0 0 5 3 20 0 15 0 57559542 11079016448 13555 33554432000 4194304 4196468 140723337471520 140041824164368 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20756] ppid=20697 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20756/stat : 20756 (java) S 20697 20700 15121 0 -1 1077944384 1 12886 0 0 0 0 5 3 20 0 15 0 57559542 11079016448 13555 33554432000 4194304 4196468 140723337471520 140041823111568 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20757] ppid=20697 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20757/stat : 20757 (java) S 20697 20700 15121 0 -1 1077944384 2 12886 0 0 0 0 5 3 20 0 15 0 57559542 11079016448 13555 33554432000 4194304 4196468 140723337471520 140041822058768 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20758] ppid=20697 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20758/stat : 20758 (java) S 20697 20700 15121 0 -1 1077944384 2 12886 0 0 0 0 5 3 20 0 15 0 57559543 11079016448 13555 33554432000 4194304 4196468 140723337471520 140041777965936 140042251401858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20759] ppid=20697 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20759/stat : 20759 (java) S 20697 20700 15121 0 -1 1077944384 13 12886 0 0 0 0 5 3 20 0 15 0 57559544 11079016448 13555 33554432000 4194304 4196468 140723337471520 140041703646752 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20760] ppid=20697 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20760/stat : 20760 (java) S 20697 20700 15121 0 -1 1077944384 1 12886 0 0 0 0 5 3 20 0 15 0 57559544 11079016448 13555 33554432000 4194304 4196468 140723337471520 140041099666800 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20761] ppid=20697 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20761/stat : 20761 (java) S 20697 20700 15121 0 -1 1077944384 3 12886 0 0 0 0 5 3 20 0 15 0 57559547 11079016448 13555 33554432000 4194304 4196468 140723337471520 140040792267088 140042251409307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20762] ppid=20697 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20700/task/20762/stat : 20762 (java) S 20697 20700 15121 0 -1 1077944384 426 12886 0 0 1 0 5 3 20 0 15 0 57559547 11079016448 13555 33554432000 4194304 4196468 140723337471520 140041776912752 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20763] ppid=20697 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20700/task/20763/stat : 20763 (java) S 20697 20700 15121 0 -1 1077944384 185 12886 0 0 1 0 5 3 20 0 15 0 57559547 11079016448 13555 33554432000 4194304 4196468 140723337471520 140041775859952 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20764] ppid=20697 vsize=10819352 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/20700/task/20764/stat : 20764 (java) R 20697 20700 15121 0 -1 4202560 612 12886 0 0 5 0 5 3 20 0 15 0 57559547 11079016448 13555 33554432000 4194304 4196468 140723337471520 140041774807152 140042230818172 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20765] ppid=20697 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20765/stat : 20765 (java) S 20697 20700 15121 0 -1 1077944384 3 12886 0 0 0 0 5 3 20 0 15 0 57559547 11079016448 13555 33554432000 4194304 4196468 140723337471520 140040758708448 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20766] ppid=20697 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20766/stat : 20766 (java) S 20697 20700 15121 0 -1 1077944384 1 12886 0 0 0 0 5 3 20 0 15 0 57559547 11079016448 13555 33554432000 4194304 4196468 140723337471520 140041773755568 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54220 KiB
[startup+0.700834 s]
/proc/loadavg: 1.36 1.63 1.64 3/215 20766
/proc/meminfo: memFree=19841272/32770624 swapFree=67108860/67108860
[pid=20700] ppid=20697 vsize=10819352 memory=86824 CPUtime=1 cores=1,3,5,7
/proc/20700/stat : 20700 (java) S 20697 20700 15121 0 -1 1077944320 16752 12886 0 0 87 5 5 3 20 0 15 0 57559532 11079016448 21706 33554432000 4194304 4196468 140723337471520 140723337454064 140042251390711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
/proc/20700/statm: 2704838 21706 3246 1 0 2667149 0
[pid=20700/tid=20753] ppid=20697 vsize=10819352 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/20700/task/20753/stat : 20753 (java) R 20697 20700 15121 0 -1 4202560 12244 12886 0 0 56 3 5 3 20 0 15 0 57559541 11079016448 21706 33554432000 4194304 4196468 140723337471520 140042223211536 140042232954221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20754] ppid=20697 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20754/stat : 20754 (java) S 20697 20700 15121 0 -1 1077944384 1 12886 0 0 0 0 5 3 20 0 15 0 57559542 11079016448 21706 33554432000 4194304 4196468 140723337471520 140042255633040 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20755] ppid=20697 vsize=10819352 memory=4136 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20755/stat : 20755 (java) S 20697 20700 15121 0 -1 1077944384 1 12886 0 0 0 0 5 3 20 0 15 0 57559542 11079016448 21706 33554432000 4194304 4196468 140723337471520 140041824164368 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20756] ppid=20697 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20756/stat : 20756 (java) S 20697 20700 15121 0 -1 1077944384 1 12886 0 0 0 0 5 3 20 0 15 0 57559542 11079016448 21706 33554432000 4194304 4196468 140723337471520 140041823111568 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20757] ppid=20697 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20757/stat : 20757 (java) S 20697 20700 15121 0 -1 1077944384 2 12886 0 0 0 0 5 3 20 0 15 0 57559542 11079016448 21706 33554432000 4194304 4196468 140723337471520 140041822058768 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20758] ppid=20697 vsize=10819352 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20758/stat : 20758 (java) S 20697 20700 15121 0 -1 1077944384 5 12886 0 0 0 0 5 3 20 0 15 0 57559543 11079016448 21706 33554432000 4194304 4196468 140723337471520 140041777965936 140042251401858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20759] ppid=20697 vsize=10819352 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20759/stat : 20759 (java) S 20697 20700 15121 0 -1 1077944384 13 12886 0 0 0 0 5 3 20 0 15 0 57559544 11079016448 21706 33554432000 4194304 4196468 140723337471520 140041703646752 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20760] ppid=20697 vsize=10819352 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20760/stat : 20760 (java) S 20697 20700 15121 0 -1 1077944384 1 12886 0 0 0 0 5 3 20 0 15 0 57559544 11079016448 21706 33554432000 4194304 4196468 140723337471520 140041099666800 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20761] ppid=20697 vsize=10819352 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20761/stat : 20761 (java) S 20697 20700 15121 0 -1 1077944384 3 12886 0 0 0 0 5 3 20 0 15 0 57559547 11079016448 21706 33554432000 4194304 4196468 140723337471520 140040792267088 140042251409307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20762] ppid=20697 vsize=10819352 memory=13252 CPUtime=0.14 cores=1,3,5,7
/proc/20700/task/20762/stat : 20762 (java) S 20697 20700 15121 0 -1 1077944384 798 12886 0 0 6 0 5 3 20 0 15 0 57559547 11079016448 21706 33554432000 4194304 4196468 140723337471520 140041776912752 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20763] ppid=20697 vsize=10819352 memory=15460 CPUtime=0.19 cores=1,3,5,7
/proc/20700/task/20763/stat : 20763 (java) S 20697 20700 15121 0 -1 1077944384 816 12886 0 0 11 0 5 3 20 0 15 0 57559547 11079016448 21706 33554432000 4194304 4196468 140723337471520 140041775859952 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20764] ppid=20697 vsize=10819352 memory=17668 CPUtime=0.21 cores=1,3,5,7
/proc/20700/task/20764/stat : 20764 (java) S 20697 20700 15121 0 -1 1077944384 676 12886 0 0 13 0 5 3 20 0 15 0 57559547 11079016448 21706 33554432000 4194304 4196468 140723337471520 140041774807152 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20765] ppid=20697 vsize=10819352 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20765/stat : 20765 (java) S 20697 20700 15121 0 -1 1077944384 3 12886 0 0 0 0 5 3 20 0 15 0 57559547 11079016448 21706 33554432000 4194304 4196468 140723337471520 140040758708448 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20766] ppid=20697 vsize=10819352 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20766/stat : 20766 (java) S 20697 20700 15121 0 -1 1077944384 1 12886 0 0 0 0 5 3 20 0 15 0 57559547 11079016448 21706 33554432000 4194304 4196468 140723337471520 140041773755568 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86824 KiB
[startup+1.50129 s]
/proc/loadavg: 1.36 1.63 1.64 3/215 20766
/proc/meminfo: memFree=19795200/32770624 swapFree=67108860/67108860
[pid=20700] ppid=20697 vsize=10828108 memory=245416 CPUtime=2.92 cores=1,3,5,7
/proc/20700/stat : 20700 (java) S 20697 20700 15121 0 -1 1077944320 22018 12886 0 0 271 13 5 3 20 0 15 0 57559532 11087982592 61354 33554432000 4194304 4196468 140723337471520 140723337454064 140042251390711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
/proc/20700/statm: 2707027 61354 3468 1 0 2668685 0
[pid=20700/tid=20753] ppid=20697 vsize=10828108 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/20700/task/20753/stat : 20753 (java) R 20697 20700 15121 0 -1 4202560 14894 12886 0 0 129 7 5 3 20 0 15 0 57559541 11087982592 61354 33554432000 4194304 4196468 140723337471520 140042223223344 140041854783794 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20754] ppid=20697 vsize=10828108 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20754/stat : 20754 (java) S 20697 20700 15121 0 -1 1077944384 315 12886 0 0 0 0 5 3 20 0 15 0 57559542 11087982592 61354 33554432000 4194304 4196468 140723337471520 140042255633040 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20755] ppid=20697 vsize=10828108 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20755/stat : 20755 (java) S 20697 20700 15121 0 -1 1077944384 13 12886 0 0 0 0 5 3 20 0 15 0 57559542 11087982592 61354 33554432000 4194304 4196468 140723337471520 140041824164368 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20756] ppid=20697 vsize=10828108 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20756/stat : 20756 (java) S 20697 20700 15121 0 -1 1077944384 50 12886 0 0 0 0 5 3 20 0 15 0 57559542 11087982592 61354 33554432000 4194304 4196468 140723337471520 140041823111568 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20757] ppid=20697 vsize=10828108 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20700/task/20757/stat : 20757 (java) S 20697 20700 15121 0 -1 1077944384 68 12886 0 0 0 1 5 3 20 0 15 0 57559542 11087982592 61354 33554432000 4194304 4196468 140723337471520 140041822058768 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20758] ppid=20697 vsize=10828108 memory=1399103955520229747 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20758/stat : 20758 (java) S 20697 20700 15121 0 -1 1077944384 92 12886 0 0 0 0 5 3 20 0 15 0 57559543 11087982592 61354 33554432000 4194304 4196468 140723337471520 140041777965936 140042251401858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20759] ppid=20697 vsize=10828108 memory=279648541944064 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20759/stat : 20759 (java) S 20697 20700 15121 0 -1 1077944384 15 12886 0 0 0 0 5 3 20 0 15 0 57559544 11087982592 61354 33554432000 4194304 4196468 140723337471520 140041703646752 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20760] ppid=20697 vsize=10828108 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20760/stat : 20760 (java) S 20697 20700 15121 0 -1 1077944384 2 12886 0 0 0 0 5 3 20 0 15 0 57559544 11087982592 61354 33554432000 4194304 4196468 140723337471520 140041099666800 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20761] ppid=20697 vsize=10828108 memory=1228 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20761/stat : 20761 (java) S 20697 20700 15121 0 -1 1077944384 3 12886 0 0 0 0 5 3 20 0 15 0 57559547 11087982592 61354 33554432000 4194304 4196468 140723337471520 140040792267088 140042251409307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20762] ppid=20697 vsize=10828108 memory=1704 CPUtime=0.57 cores=1,3,5,7
/proc/20700/task/20762/stat : 20762 (java) R 20697 20700 15121 0 -1 4202560 1487 12886 0 0 49 0 5 3 20 0 15 0 57559547 11087982592 61354 33554432000 4194304 4196468 140723337471520 140041776901984 140042232934887 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20763] ppid=20697 vsize=10828108 memory=9924 CPUtime=0.59 cores=1,3,5,7
/proc/20700/task/20763/stat : 20763 (java) R 20697 20700 15121 0 -1 4202560 1606 12886 0 0 51 0 5 3 20 0 15 0 57559547 11087982592 61354 33554432000 4194304 4196468 140723337471520 140041775845832 140042232916260 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20764] ppid=20697 vsize=10828108 memory=5788 CPUtime=0.43 cores=1,3,5,7
/proc/20700/task/20764/stat : 20764 (java) R 20697 20700 15121 0 -1 4202560 1282 12886 0 0 35 0 5 3 20 0 15 0 57559547 11087982592 61354 33554432000 4194304 4196468 140723337471520 140041774807152 140042251404589 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20765] ppid=20697 vsize=10828108 memory=1936 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20765/stat : 20765 (java) S 20697 20700 15121 0 -1 1077944384 3 12886 0 0 0 0 5 3 20 0 15 0 57559547 11087982592 61354 33554432000 4194304 4196468 140723337471520 140040758708448 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20766] ppid=20697 vsize=10828108 memory=1196 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20766/stat : 20766 (java) S 20697 20700 15121 0 -1 1077944384 1 12886 0 0 0 0 5 3 20 0 15 0 57559547 11087982592 61354 33554432000 4194304 4196468 140723337471520 140041773755568 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 10828108 KiB
################
# More data... #
################
/proc/20700/task/20753/stat : 20753 (java) R 20697 20700 15121 0 -1 4202560 207760 12886 0 0 236139 77 5 3 20 0 15 0 57559541 11178180608 621668 33554432000 4194304 4196468 140723337471520 140042221357696 140041868824942 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20754] ppid=20697 vsize=10916192 memory=2486604 CPUtime=12.75 cores=1,3,5,7
/proc/20700/task/20754/stat : 20754 (java) S 20697 20700 15121 0 -1 1077944384 39141 12886 0 0 1234 33 5 3 20 0 15 0 57559542 11178180608 621668 33554432000 4194304 4196468 140723337471520 140042255633040 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20755] ppid=20697 vsize=10916192 memory=2486660 CPUtime=12.78 cores=1,3,5,7
/proc/20700/task/20755/stat : 20755 (java) S 20697 20700 15121 0 -1 1077944384 42898 12886 0 0 1236 34 5 3 20 0 15 0 57559542 11178180608 621668 33554432000 4194304 4196468 140723337471520 140041824164368 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20756] ppid=20697 vsize=10916192 memory=2496680 CPUtime=12.79 cores=1,3,5,7
/proc/20700/task/20756/stat : 20756 (java) S 20697 20700 15121 0 -1 1077944384 55118 12886 0 0 1238 33 5 3 20 0 15 0 57559542 11178180608 621668 33554432000 4194304 4196468 140723337471520 140041823111568 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20757] ppid=20697 vsize=10916192 memory=2487116 CPUtime=12.79 cores=1,3,5,7
/proc/20700/task/20757/stat : 20757 (java) S 20697 20700 15121 0 -1 1077944384 47218 12886 0 0 1240 31 5 3 20 0 15 0 57559542 11178180608 621668 33554432000 4194304 4196468 140723337471520 140041822058768 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20758] ppid=20697 vsize=10916192 memory=2493628 CPUtime=6.41 cores=1,3,5,7
/proc/20700/task/20758/stat : 20758 (java) S 20697 20700 15121 0 -1 1077944384 26634 12886 0 0 604 29 5 3 20 0 15 0 57559543 11178180608 621668 33554432000 4194304 4196468 140723337471520 140041777965936 140042251401858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20759] ppid=20697 vsize=10916192 memory=2491064 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20759/stat : 20759 (java) S 20697 20700 15121 0 -1 1077944384 23 12886 0 0 0 0 5 3 20 0 15 0 57559544 11178180608 621668 33554432000 4194304 4196468 140723337471520 140041703646880 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20760] ppid=20697 vsize=10916192 memory=2490040 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20760/stat : 20760 (java) S 20697 20700 15121 0 -1 1077944384 14 12886 0 0 0 0 5 3 20 0 15 0 57559544 11178180608 621668 33554432000 4194304 4196468 140723337471520 140041099666816 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20761] ppid=20697 vsize=10916192 memory=2486604 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20761/stat : 20761 (java) S 20697 20700 15121 0 -1 1077944384 3 12886 0 0 0 0 5 3 20 0 15 0 57559547 11178180608 621668 33554432000 4194304 4196468 140723337471520 140040792267088 140042251409307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20762] ppid=20697 vsize=10916192 memory=2486660 CPUtime=5.4 cores=1,3,5,7
/proc/20700/task/20762/stat : 20762 (java) S 20697 20700 15121 0 -1 1077944384 70849 12886 0 0 525 7 5 3 20 0 15 0 57559547 11178180608 621668 33554432000 4194304 4196468 140723337471520 140041776912752 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20763] ppid=20697 vsize=10916192 memory=4616 CPUtime=5.8 cores=1,3,5,7
/proc/20700/task/20763/stat : 20763 (java) S 20697 20700 15121 0 -1 1077944384 63467 12886 0 0 565 7 5 3 20 0 15 0 57559547 11178180608 621668 33554432000 4194304 4196468 140723337471520 140041775859952 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20764] ppid=20697 vsize=10916192 memory=2486604 CPUtime=2.06 cores=1,3,5,7
/proc/20700/task/20764/stat : 20764 (java) S 20697 20700 15121 0 -1 1077944384 44085 12886 0 0 193 5 5 3 20 0 15 0 57559547 11178180608 621668 33554432000 4194304 4196468 140723337471520 140041774807152 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20765] ppid=20697 vsize=10916192 memory=2486604 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20765/stat : 20765 (java) S 20697 20700 15121 0 -1 1077944384 3 12886 0 0 0 0 5 3 20 0 15 0 57559547 11178180608 621668 33554432000 4194304 4196468 140723337471520 140040758708448 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20766] ppid=20697 vsize=10916192 memory=2486660 CPUtime=1.71 cores=1,3,5,7
/proc/20700/task/20766/stat : 20766 (java) S 20697 20700 15121 0 -1 1077944384 3275 12886 0 0 75 88 5 3 20 0 15 0 57559547 11178180608 621668 33554432000 4194304 4196468 140723337471520 140041773755568 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
Current children cumulated CPU time: 2434.13 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2486672 KiB
[startup+2442.3 s]
/proc/loadavg: 1.47 1.91 1.87 3/216 21387
/proc/meminfo: memFree=13662968/32770624 swapFree=67108860/67108860
[pid=20700] ppid=20697 vsize=10916192 memory=2470296 CPUtime=2495.39 cores=1,3,5,7
/proc/20700/stat : 20700 (java) S 20697 20700 15121 0 -1 1077944320 609240 12886 0 0 249204 327 5 3 20 0 15 0 57559532 11178180608 617574 33554432000 4194304 4196468 140723337471520 140723337454064 140042251390711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
/proc/20700/statm: 2729048 617574 3528 1 0 2690701 0
[pid=20700/tid=20753] ppid=20697 vsize=10916192 memory=2470296 CPUtime=2421.57 cores=1,3,5,7
/proc/20700/task/20753/stat : 20753 (java) R 20697 20700 15121 0 -1 4202560 210560 12886 0 0 242072 77 5 3 20 0 15 0 57559541 11178180608 617574 33554432000 4194304 4196468 140723337471520 140042221591232 140041865343579 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20754] ppid=20697 vsize=10916192 memory=1408 CPUtime=13.17 cores=1,3,5,7
/proc/20700/task/20754/stat : 20754 (java) S 20697 20700 15121 0 -1 1077944384 39342 12886 0 0 1276 33 5 3 20 0 15 0 57559542 11178180608 617574 33554432000 4194304 4196468 140723337471520 140042255633040 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20755] ppid=20697 vsize=10916192 memory=2472340 CPUtime=13.2 cores=1,3,5,7
/proc/20700/task/20755/stat : 20755 (java) S 20697 20700 15121 0 -1 1077944384 43458 12886 0 0 1278 34 5 3 20 0 15 0 57559542 11178180608 617574 33554432000 4194304 4196468 140723337471520 140041824164368 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20756] ppid=20697 vsize=10916192 memory=2493628 CPUtime=13.21 cores=1,3,5,7
/proc/20700/task/20756/stat : 20756 (java) S 20697 20700 15121 0 -1 1077944384 55909 12886 0 0 1279 34 5 3 20 0 15 0 57559542 11178180608 617574 33554432000 4194304 4196468 140723337471520 140041823111568 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20757] ppid=20697 vsize=10916192 memory=2491064 CPUtime=13.21 cores=1,3,5,7
/proc/20700/task/20757/stat : 20757 (java) S 20697 20700 15121 0 -1 1077944384 48737 12886 0 0 1281 32 5 3 20 0 15 0 57559542 11178180608 617574 33554432000 4194304 4196468 140723337471520 140041822058768 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20758] ppid=20697 vsize=10916192 memory=2486660 CPUtime=6.63 cores=1,3,5,7
/proc/20700/task/20758/stat : 20758 (java) S 20697 20700 15121 0 -1 1077944384 27230 12886 0 0 626 29 5 3 20 0 15 0 57559543 11178180608 617574 33554432000 4194304 4196468 140723337471520 140041777965936 140042251401858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20759] ppid=20697 vsize=10916192 memory=2484112 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20759/stat : 20759 (java) S 20697 20700 15121 0 -1 1077944384 23 12886 0 0 0 0 5 3 20 0 15 0 57559544 11178180608 617574 33554432000 4194304 4196468 140723337471520 140041703646880 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20760] ppid=20697 vsize=10916192 memory=2478492 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20760/stat : 20760 (java) S 20697 20700 15121 0 -1 1077944384 14 12886 0 0 0 0 5 3 20 0 15 0 57559544 11178180608 617574 33554432000 4194304 4196468 140723337471520 140041099666816 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20761] ppid=20697 vsize=10916192 memory=2476440 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20761/stat : 20761 (java) S 20697 20700 15121 0 -1 1077944384 3 12886 0 0 0 0 5 3 20 0 15 0 57559547 11178180608 617574 33554432000 4194304 4196468 140723337471520 140040792267088 140042251409307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20762] ppid=20697 vsize=10916192 memory=2475928 CPUtime=5.4 cores=1,3,5,7
/proc/20700/task/20762/stat : 20762 (java) S 20697 20700 15121 0 -1 1077944384 70855 12886 0 0 525 7 5 3 20 0 15 0 57559547 11178180608 617574 33554432000 4194304 4196468 140723337471520 140041776912752 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20763] ppid=20697 vsize=10916192 memory=2470288 CPUtime=5.8 cores=1,3,5,7
/proc/20700/task/20763/stat : 20763 (java) S 20697 20700 15121 0 -1 1077944384 63471 12886 0 0 565 7 5 3 20 0 15 0 57559547 11178180608 617574 33554432000 4194304 4196468 140723337471520 140041775859952 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20764] ppid=20697 vsize=10916192 memory=2470296 CPUtime=2.06 cores=1,3,5,7
/proc/20700/task/20764/stat : 20764 (java) S 20697 20700 15121 0 -1 1077944384 44091 12886 0 0 193 5 5 3 20 0 15 0 57559547 11178180608 617574 33554432000 4194304 4196468 140723337471520 140041774807152 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20765] ppid=20697 vsize=10916192 memory=2473876 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20765/stat : 20765 (java) S 20697 20700 15121 0 -1 1077944384 3 12886 0 0 0 0 5 3 20 0 15 0 57559547 11178180608 617574 33554432000 4194304 4196468 140723337471520 140040758708448 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20766] ppid=20697 vsize=10916192 memory=2470296 CPUtime=1.75 cores=1,3,5,7
/proc/20700/task/20766/stat : 20766 (java) S 20697 20700 15121 0 -1 1077944384 3357 12886 0 0 77 90 5 3 20 0 15 0 57559547 11178180608 617574 33554432000 4194304 4196468 140723337471520 140041773755568 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
Current children cumulated CPU time: 2495.39 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2470296 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2466.5 s]
/proc/loadavg: 1.38 1.85 1.85 3/216 21387
/proc/meminfo: memFree=13574308/32770624 swapFree=67108860/67108860
[pid=20700] ppid=20697 vsize=10916192 memory=2467236 CPUtime=2520.02 cores=1,3,5,7
/proc/20700/stat : 20700 (java) S 20697 20700 15121 0 -1 1077944320 614583 12886 0 0 251666 328 5 3 20 0 15 0 57559532 11178180608 616809 33554432000 4194304 4196468 140723337471520 140723337454064 140042251390711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
/proc/20700/statm: 2729048 616809 3528 1 0 2690701 0
[pid=20700/tid=20753] ppid=20697 vsize=10916192 memory=2467752 CPUtime=2445.53 cores=1,3,5,7
/proc/20700/task/20753/stat : 20753 (java) R 20697 20700 15121 0 -1 4202560 212032 12886 0 0 244467 78 5 3 20 0 15 0 57559541 11178180608 616809 33554432000 4194304 4196468 140723337471520 140042222823776 140041868825297 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20754] ppid=20697 vsize=10916192 memory=2468264 CPUtime=13.31 cores=1,3,5,7
/proc/20700/task/20754/stat : 20754 (java) S 20697 20700 15121 0 -1 1077944384 39569 12886 0 0 1290 33 5 3 20 0 15 0 57559542 11178180608 616809 33554432000 4194304 4196468 140723337471520 140042255633040 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20755] ppid=20697 vsize=10916192 memory=2468264 CPUtime=13.34 cores=1,3,5,7
/proc/20700/task/20755/stat : 20755 (java) S 20697 20700 15121 0 -1 1077944384 43772 12886 0 0 1292 34 5 3 20 0 15 0 57559542 11178180608 616809 33554432000 4194304 4196468 140723337471520 140041824164368 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20756] ppid=20697 vsize=10916192 memory=2468268 CPUtime=13.35 cores=1,3,5,7
/proc/20700/task/20756/stat : 20756 (java) S 20697 20700 15121 0 -1 1077944384 56641 12886 0 0 1293 34 5 3 20 0 15 0 57559542 11178180608 616809 33554432000 4194304 4196468 140723337471520 140041823111568 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20757] ppid=20697 vsize=10916192 memory=2469292 CPUtime=13.35 cores=1,3,5,7
/proc/20700/task/20757/stat : 20757 (java) S 20697 20700 15121 0 -1 1077944384 49347 12886 0 0 1294 33 5 3 20 0 15 0 57559542 11178180608 616809 33554432000 4194304 4196468 140723337471520 140041822058768 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20758] ppid=20697 vsize=10916192 memory=2470308 CPUtime=6.7 cores=1,3,5,7
/proc/20700/task/20758/stat : 20758 (java) S 20697 20700 15121 0 -1 1077944384 27536 12886 0 0 633 29 5 3 20 0 15 0 57559543 11178180608 616809 33554432000 4194304 4196468 140723337471520 140041777965936 140042251401858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20759] ppid=20697 vsize=10916192 memory=2467752 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20759/stat : 20759 (java) S 20697 20700 15121 0 -1 1077944384 23 12886 0 0 0 0 5 3 20 0 15 0 57559544 11178180608 616809 33554432000 4194304 4196468 140723337471520 140041703646880 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20760] ppid=20697 vsize=10916192 memory=2467236 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20760/stat : 20760 (java) S 20697 20700 15121 0 -1 1077944384 14 12886 0 0 0 0 5 3 20 0 15 0 57559544 11178180608 616809 33554432000 4194304 4196468 140723337471520 140041099666816 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20761] ppid=20697 vsize=10916192 memory=2467236 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20761/stat : 20761 (java) S 20697 20700 15121 0 -1 1077944384 3 12886 0 0 0 0 5 3 20 0 15 0 57559547 11178180608 616809 33554432000 4194304 4196468 140723337471520 140040792267088 140042251409307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20762] ppid=20697 vsize=10916192 memory=180 CPUtime=5.41 cores=1,3,5,7
/proc/20700/task/20762/stat : 20762 (java) S 20697 20700 15121 0 -1 1077944384 71967 12886 0 0 526 7 5 3 20 0 15 0 57559547 11178180608 616809 33554432000 4194304 4196468 140723337471520 140041776912752 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20763] ppid=20697 vsize=10916192 memory=2468264 CPUtime=5.8 cores=1,3,5,7
/proc/20700/task/20763/stat : 20763 (java) S 20697 20700 15121 0 -1 1077944384 63473 12886 0 0 565 7 5 3 20 0 15 0 57559547 11178180608 616809 33554432000 4194304 4196468 140723337471520 140041775859952 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20764] ppid=20697 vsize=10916192 memory=4496598192494830392 CPUtime=2.06 cores=1,3,5,7
/proc/20700/task/20764/stat : 20764 (java) S 20697 20700 15121 0 -1 1077944384 44628 12886 0 0 193 5 5 3 20 0 15 0 57559547 11178180608 616809 33554432000 4194304 4196468 140723337471520 140041774807152 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20765] ppid=20697 vsize=10916192 memory=2468268 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20765/stat : 20765 (java) S 20697 20700 15121 0 -1 1077944384 3 12886 0 0 0 0 5 3 20 0 15 0 57559547 11178180608 616809 33554432000 4194304 4196468 140723337471520 140040758708448 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20766] ppid=20697 vsize=10916192 memory=8368 CPUtime=1.76 cores=1,3,5,7
/proc/20700/task/20766/stat : 20766 (java) S 20697 20700 15121 0 -1 1077944384 3388 12886 0 0 77 91 5 3 20 0 15 0 57559547 11178180608 616809 33554432000 4194304 4196468 140723337471520 140041773755568 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 2467236 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2466.84 s]
# the end of solver process 20700 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.04 s, system=3.3441 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2466.8 s]
/proc/loadavg: 1.38 1.85 1.85 3/216 21387
/proc/meminfo: memFree=13574308/32770624 swapFree=67108860/67108860
[pid=20700] ppid=20697 vsize=11112808 memory=2470920 CPUtime=2520.32 cores=1,3,5,7
/proc/20700/stat : 20700 (java) S 20697 20700 15121 0 -1 1077944320 615108 12886 0 0 251696 328 5 3 20 0 17 0 57559532 11379515392 617730 33554432000 4194304 4196468 140723337471520 140723337454064 140042251390711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
/proc/20700/statm: 2778202 617730 3529 1 0 2739855 0
[pid=20700/tid=20753] ppid=20697 vsize=11112808 memory=8836 CPUtime=2445.83 cores=1,3,5,7
/proc/20700/task/20753/stat : 20753 (java) R 20697 20700 15121 0 -1 4202560 212034 12886 0 0 244497 78 5 3 20 0 17 0 57559541 11379515392 617730 33554432000 4194304 4196468 140723337471520 140042223146752 140041868824943 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20754] ppid=20697 vsize=11112808 memory=11044 CPUtime=13.31 cores=1,3,5,7
/proc/20700/task/20754/stat : 20754 (java) S 20697 20700 15121 0 -1 1077944384 39573 12886 0 0 1290 33 5 3 20 0 17 0 57559542 11379515392 617730 33554432000 4194304 4196468 140723337471520 140042255633040 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20755] ppid=20697 vsize=11112808 memory=13252 CPUtime=13.34 cores=1,3,5,7
/proc/20700/task/20755/stat : 20755 (java) S 20697 20700 15121 0 -1 1077944384 43772 12886 0 0 1292 34 5 3 20 0 17 0 57559542 11379515392 617730 33554432000 4194304 4196468 140723337471520 140041824164368 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20756] ppid=20697 vsize=11112808 memory=15460 CPUtime=13.35 cores=1,3,5,7
/proc/20700/task/20756/stat : 20756 (java) S 20697 20700 15121 0 -1 1077944384 56641 12886 0 0 1293 34 5 3 20 0 17 0 57559542 11379515392 617730 33554432000 4194304 4196468 140723337471520 140041823111568 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20757] ppid=20697 vsize=11112808 memory=17668 CPUtime=13.36 cores=1,3,5,7
/proc/20700/task/20757/stat : 20757 (java) S 20697 20700 15121 0 -1 1077944384 49347 12886 0 0 1295 33 5 3 20 0 17 0 57559542 11379515392 617730 33554432000 4194304 4196468 140723337471520 140041822058768 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20758] ppid=20697 vsize=11112808 memory=19876 CPUtime=6.7 cores=1,3,5,7
/proc/20700/task/20758/stat : 20758 (java) S 20697 20700 15121 0 -1 1077944384 27536 12886 0 0 633 29 5 3 20 0 17 0 57559543 11379515392 617730 33554432000 4194304 4196468 140723337471520 140041777965936 140042251401858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20759] ppid=20697 vsize=11112808 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20759/stat : 20759 (java) S 20697 20700 15121 0 -1 1077944384 23 12886 0 0 0 0 5 3 20 0 17 0 57559544 11379515392 617730 33554432000 4194304 4196468 140723337471520 140041703646880 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20760] ppid=20697 vsize=11112808 memory=24292 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20760/stat : 20760 (java) S 20697 20700 15121 0 -1 1077944384 14 12886 0 0 0 0 5 3 20 0 17 0 57559544 11379515392 617730 33554432000 4194304 4196468 140723337471520 140041099666816 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20761] ppid=20697 vsize=11112808 memory=26500 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20761/stat : 20761 (java) S 20697 20700 15121 0 -1 1077944384 191 12886 0 0 0 0 5 3 20 0 17 0 57559547 11379515392 617730 33554432000 4194304 4196468 140723337471520 140040792267088 140042251409307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20762] ppid=20697 vsize=11112808 memory=28708 CPUtime=5.41 cores=1,3,5,7
/proc/20700/task/20762/stat : 20762 (java) S 20697 20700 15121 0 -1 1077944384 71967 12886 0 0 526 7 5 3 20 0 17 0 57559547 11379515392 617730 33554432000 4194304 4196468 140723337471520 140041776912752 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20763] ppid=20697 vsize=11112808 memory=288230574492221466 CPUtime=5.8 cores=1,3,5,7
/proc/20700/task/20763/stat : 20763 (java) S 20697 20700 15121 0 -1 1077944384 63473 12886 0 0 565 7 5 3 20 0 17 0 57559547 11379515392 617730 33554432000 4194304 4196468 140723337471520 140041775859952 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20764] ppid=20697 vsize=11112808 memory=288230621803970871 CPUtime=2.06 cores=1,3,5,7
/proc/20700/task/20764/stat : 20764 (java) S 20697 20700 15121 0 -1 1077944384 44628 12886 0 0 193 5 5 3 20 0 17 0 57559547 11379515392 617730 33554432000 4194304 4196468 140723337471520 140041774807152 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20765] ppid=20697 vsize=11112808 memory=16102554786335041 CPUtime=0.08 cores=1,3,5,7
/proc/20700/task/20765/stat : 20765 (java) S 20697 20700 15121 0 -1 1077944384 3 12886 0 0 0 0 5 3 20 0 17 0 57559547 11379515392 617730 33554432000 4194304 4196468 140723337471520 140040758708448 140042251400917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
[pid=20700/tid=20766] ppid=20697 vsize=11112808 memory=1012 CPUtime=1.76 cores=1,3,5,7
/proc/20700/task/20766/stat : 20766 (java) S 20697 20700 15121 0 -1 1077944384 3388 12886 0 0 77 91 5 3 20 0 17 0 57559547 11379515392 617730 33554432000 4194304 4196468 140723337471520 140041773755568 140042251401858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 29683712 140723337476718 140723337479516 140723337479516 140723337482191 0
Current children cumulated CPU time: 2520.32 s
Current children cumulated vsize: 11112808 KiB
Current children cumulated memory: 2470920 KiB
Child status: 143
Real time (s): 2466.84
CPU time (s): 2520.38
CPU user time (s): 2517.04
CPU system time (s): 3.3441
CPU usage (%): 102.171
Max. virtual memory (cumulated for all children) (KiB): 11112808
Max. memory (cumulated for all children) (KiB): 3193020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.04
system time used= 3.3441
maximum resident set size= 3193020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 629611
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117998
involuntary context switches= 4292
# summary of solver processes directly reported to runsolver:
# pid: 20700
# total CPU time (s): 2520.38
# total CPU user time (s): 2517.04
# total CPU system time (s): 3.3441
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6506 second user time and 24.1342 second system time
The end