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 (5231 MiB free)
memory of node 1: 16384 MiB (11966 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293672-1532359058/watcher-4293672-1532359058 -o /tmp/evaluation-result-4293672-1532359058/solver-4293672-1532359058 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532356582-12263 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2123680208 HOME/instance-4293672-1532359058.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=12834, runsolver pid=12831
Current StackSize limit: 8192 KiB
[startup+0.10012 s]*
/proc/loadavg: 1.33 1.38 1.40 3/206 12891
/proc/meminfo: memFree=17599080/32770624 swapFree=67108860/67108860
[pid=12834] ppid=12831 vsize=9972712 memory=18596 CPUtime=0.09 cores=1,3,5,7
/proc/12834/stat : 12834 (java) S 12831 12834 12231 0 -1 1077944320 4293 13008 0 0 2 0 5 2 20 0 6 0 53469040 10212057088 4649 33554432000 4194304 4196468 140727280651584 140727280634128 139838468738807 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
/proc/12834/statm: 2493178 4649 1934 1 0 2481616 0
[pid=12834/tid=12887] ppid=12831 vsize=9988792 memory=4279135704014094991 CPUtime=0.08 cores=1,3,5,7
/proc/12834/task/12887/stat : 12887 (java) R 12831 12834 12231 0 -1 4202560 2145 13008 0 0 1 0 5 2 20 0 6 0 53469049 10228523008 4715 33554432000 4194304 4196468 140727280651584 139838440575568 139838454251517 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12888] ppid=12831 vsize=9988792 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12888/stat : 12888 (java) S 12831 12834 12231 0 -1 1077944384 2 13008 0 0 0 0 5 2 20 0 6 0 53469050 10228523008 4715 33554432000 4194304 4196468 140727280651584 139838472981392 139838468749013 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12889] ppid=12831 vsize=9988792 memory=140335681660544 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12889/stat : 12889 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 6 0 53469050 10228523008 4715 33554432000 4194304 4196468 140727280651584 139838371871504 139838468749013 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12890] ppid=12831 vsize=9989820 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12890/stat : 12890 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 6 0 53469050 10229575680 4715 33554432000 4194304 4196468 140727280651584 139838370819216 139838468749013 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12891] ppid=12831 vsize=9989820 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12891/stat : 12891 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 7 0 53469050 10229575680 4715 33554432000 4194304 4196468 140727280651584 139838369766416 139838468749013 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12892] ppid=12831 vsize=9989820 memory=140335681660544 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12892/stat : 12892 (java) R 12831 12834 12231 0 -1 4202560 0 13008 0 0 0 0 5 2 20 0 7 0 53469051 10229575680 4715 33554432000 4194304 4196468 140727280651584 139838440575568 139838468734308 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB
[startup+0.209771 s]*
/proc/loadavg: 1.33 1.38 1.40 3/215 12900
/proc/meminfo: memFree=17582176/32770624 swapFree=67108860/67108860
[pid=12834] ppid=12831 vsize=10818936 memory=44036 CPUtime=0.25 cores=1,3,5,7
/proc/12834/stat : 12834 (java) S 12831 12834 12231 0 -1 1077944320 8894 13008 0 0 17 1 5 2 20 0 15 0 53469040 11078590464 11009 33554432000 4194304 4196468 140727280651584 140727280634128 139838468738807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
/proc/12834/statm: 2704734 11009 2947 1 0 2667157 0
[pid=12834/tid=12887] ppid=12831 vsize=10818936 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/12834/task/12887/stat : 12887 (java) R 12831 12834 12231 0 -1 4202560 5680 13008 0 0 11 1 5 2 20 0 15 0 53469049 11078590464 11260 33554432000 4194304 4196468 140727280651584 139838440563616 139838461418525 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12888] ppid=12831 vsize=10818936 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12888/stat : 12888 (java) S 12831 12834 12231 0 -1 1077944384 2 13008 0 0 0 0 5 2 20 0 15 0 53469050 11078590464 11260 33554432000 4194304 4196468 140727280651584 139838472981392 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12889] ppid=12831 vsize=10818936 memory=140335681959516 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12889/stat : 12889 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 15 0 53469050 11078590464 11260 33554432000 4194304 4196468 140727280651584 139838371871504 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12890] ppid=12831 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12890/stat : 12890 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 15 0 53469050 11078590464 11260 33554432000 4194304 4196468 140727280651584 139838370819216 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12891] ppid=12831 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12891/stat : 12891 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 15 0 53469050 11078590464 11260 33554432000 4194304 4196468 140727280651584 139838369766416 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12892] ppid=12831 vsize=10818904 memory=140335681660544 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12892/stat : 12892 (java) S 12831 12834 12231 0 -1 1077944384 2 13008 0 0 0 0 5 2 20 0 15 0 53469051 11078557696 11260 33554432000 4194304 4196468 140727280651584 139837672732784 139838468749954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12893] ppid=12831 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12893/stat : 12893 (java) S 12831 12834 12231 0 -1 1077944384 33 13008 0 0 0 0 5 2 20 0 15 0 53469051 11078557696 11260 33554432000 4194304 4196468 140727280651584 139837671678752 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12894] ppid=12831 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12894/stat : 12894 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 15 0 53469052 11078557696 11260 33554432000 4194304 4196468 140727280651584 139837290046576 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12895] ppid=12831 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12895/stat : 12895 (java) S 12831 12834 12231 0 -1 1077944384 3 13008 0 0 0 0 5 2 20 0 15 0 53469054 11078557696 11260 33554432000 4194304 4196468 140727280651584 139837049755728 139838468757403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12896] ppid=12831 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12834/task/12896/stat : 12896 (java) S 12831 12834 12231 0 -1 1077944384 351 13008 0 0 1 0 5 2 20 0 15 0 53469054 11078557696 11260 33554432000 4194304 4196468 140727280651584 139837638122096 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12897] ppid=12831 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12897/stat : 12897 (java) S 12831 12834 12231 0 -1 1077944384 245 13008 0 0 0 0 5 2 20 0 15 0 53469054 11078557696 11260 33554432000 4194304 4196468 140727280651584 139837637069296 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12898] ppid=12831 vsize=10818904 memory=140335681660544 CPUtime=0.1 cores=1,3,5,7
/proc/12834/task/12898/stat : 12898 (java) S 12831 12834 12231 0 -1 1077944384 618 13008 0 0 3 0 5 2 20 0 15 0 53469054 11078557696 11260 33554432000 4194304 4196468 140727280651584 139837636017008 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12899] ppid=12831 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12899/stat : 12899 (java) S 12831 12834 12231 0 -1 1077944384 3 13008 0 0 0 0 5 2 20 0 15 0 53469054 11078590464 11260 33554432000 4194304 4196468 140727280651584 139837016198112 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12900] ppid=12831 vsize=10818936 memory=140335681660544 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12900/stat : 12900 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 15 0 53469055 11078590464 11260 33554432000 4194304 4196468 140727280651584 139837634963888 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818936 KiB
Current children cumulated memory: 44036 KiB
[startup+0.31015 s]*
/proc/loadavg: 1.33 1.38 1.40 3/215 12900
/proc/meminfo: memFree=17506884/32770624 swapFree=67108860/67108860
[pid=12834] ppid=12831 vsize=10819352 memory=52752 CPUtime=0.36 cores=1,3,5,7
/proc/12834/stat : 12834 (java) S 12831 12834 12231 0 -1 1077944320 10279 13008 0 0 27 2 5 2 20 0 15 0 53469040 11079016448 13188 33554432000 4194304 4196468 140727280651584 140727280634128 139838468738807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
/proc/12834/statm: 2704838 13188 3066 1 0 2667149 0
[pid=12834/tid=12887] ppid=12831 vsize=10819352 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/12834/task/12887/stat : 12887 (java) D 12831 12834 12231 0 -1 4202560 6812 13008 0 0 19 1 5 2 20 0 15 0 53469049 11079016448 13188 33554432000 4194304 4196468 140727280651584 139838440551240 139838448391280 0 4 0 16800975 18446744072100392069 0 0 -1 5 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12888] ppid=12831 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12888/stat : 12888 (java) S 12831 12834 12231 0 -1 1077944384 2 13008 0 0 0 0 5 2 20 0 15 0 53469050 11079016448 13188 33554432000 4194304 4196468 140727280651584 139838472981392 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12889] ppid=12831 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12889/stat : 12889 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 15 0 53469050 11079016448 13188 33554432000 4194304 4196468 140727280651584 139838371871504 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12890] ppid=12831 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12890/stat : 12890 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 15 0 53469050 11079016448 13188 33554432000 4194304 4196468 140727280651584 139838370819216 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12891] ppid=12831 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12891/stat : 12891 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 15 0 53469050 11079016448 13188 33554432000 4194304 4196468 140727280651584 139838369766416 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12892] ppid=12831 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12892/stat : 12892 (java) S 12831 12834 12231 0 -1 1077944384 2 13008 0 0 0 0 5 2 20 0 15 0 53469051 11079016448 13188 33554432000 4194304 4196468 140727280651584 139837672732784 139838468749954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12893] ppid=12831 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12893/stat : 12893 (java) S 12831 12834 12231 0 -1 1077944384 33 13008 0 0 0 0 5 2 20 0 15 0 53469051 11079016448 13188 33554432000 4194304 4196468 140727280651584 139837671678752 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12894] ppid=12831 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12894/stat : 12894 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 15 0 53469052 11079016448 13188 33554432000 4194304 4196468 140727280651584 139837290046576 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12895] ppid=12831 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12895/stat : 12895 (java) S 12831 12834 12231 0 -1 1077944384 3 13008 0 0 0 0 5 2 20 0 15 0 53469054 11079016448 13188 33554432000 4194304 4196468 140727280651584 139837049755728 139838468757403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12896] ppid=12831 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12834/task/12896/stat : 12896 (java) S 12831 12834 12231 0 -1 1077944384 354 13008 0 0 1 0 5 2 20 0 15 0 53469054 11079016448 13188 33554432000 4194304 4196468 140727280651584 139837638122096 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12897] ppid=12831 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12834/task/12897/stat : 12897 (java) S 12831 12834 12231 0 -1 1077944384 248 13008 0 0 1 0 5 2 20 0 15 0 53469054 11079016448 13188 33554432000 4194304 4196468 140727280651584 139837637069296 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12898] ppid=12831 vsize=10819352 memory=140335681660544 CPUtime=0.11 cores=1,3,5,7
/proc/12834/task/12898/stat : 12898 (java) S 12831 12834 12231 0 -1 1077944384 625 13008 0 0 4 0 5 2 20 0 15 0 53469054 11079016448 13188 33554432000 4194304 4196468 140727280651584 139837636017008 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12899] ppid=12831 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12899/stat : 12899 (java) S 12831 12834 12231 0 -1 1077944384 3 13008 0 0 0 0 5 2 20 0 15 0 53469054 11079016448 13188 33554432000 4194304 4196468 140727280651584 139837016198112 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12900] ppid=12831 vsize=10819352 memory=140335681660544 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12900/stat : 12900 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 15 0 53469055 11079016448 13188 33554432000 4194304 4196468 140727280651584 139837634963888 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 52752 KiB
[startup+0.882122 s]*
/proc/loadavg: 1.33 1.38 1.40 4/215 12900
/proc/meminfo: memFree=17256180/32770624 swapFree=67108860/67108860
[pid=12834] ppid=12831 vsize=10819352 memory=58300 CPUtime=0.52 cores=1,3,5,7
/proc/12834/stat : 12834 (java) S 12831 12834 12231 0 -1 1077944320 11188 13008 0 0 42 3 5 2 20 0 15 0 53469040 11079016448 14575 33554432000 4194304 4196468 140727280651584 140727280634128 139838468738807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
/proc/12834/statm: 2704838 14575 3079 1 0 2667149 0
[pid=12834/tid=12887] ppid=12831 vsize=10819352 memory=7022364594140610616 CPUtime=0.38 cores=1,3,5,7
/proc/12834/task/12887/stat : 12887 (java) R 12831 12834 12231 0 -1 4202560 7675 13008 0 0 29 2 5 2 20 0 15 0 53469049 11079016448 14575 33554432000 4194304 4196468 140727280651584 139838440559248 139838454870368 0 4 0 16800975 0 0 0 -1 5 0 0 47 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12888] ppid=12831 vsize=10819352 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12888/stat : 12888 (java) S 12831 12834 12231 0 -1 1077944384 2 13008 0 0 0 0 5 2 20 0 15 0 53469050 11079016448 14575 33554432000 4194304 4196468 140727280651584 139838472981392 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12889] ppid=12831 vsize=10819352 memory=140335681959516 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12889/stat : 12889 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 15 0 53469050 11079016448 14575 33554432000 4194304 4196468 140727280651584 139838371871504 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12890] ppid=12831 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12890/stat : 12890 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 15 0 53469050 11079016448 14575 33554432000 4194304 4196468 140727280651584 139838370819216 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12891] ppid=12831 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12891/stat : 12891 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 15 0 53469050 11079016448 14575 33554432000 4194304 4196468 140727280651584 139838369766416 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12892] ppid=12831 vsize=10819352 memory=140335681660544 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12892/stat : 12892 (java) S 12831 12834 12231 0 -1 1077944384 2 13008 0 0 0 0 5 2 20 0 15 0 53469051 11079016448 14575 33554432000 4194304 4196468 140727280651584 139837672732784 139838468749954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12893] ppid=12831 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12893/stat : 12893 (java) S 12831 12834 12231 0 -1 1077944384 33 13008 0 0 0 0 5 2 20 0 15 0 53469051 11079016448 14575 33554432000 4194304 4196468 140727280651584 139837671678752 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12894] ppid=12831 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12894/stat : 12894 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 15 0 53469052 11079016448 14575 33554432000 4194304 4196468 140727280651584 139837290046576 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12895] ppid=12831 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12895/stat : 12895 (java) S 12831 12834 12231 0 -1 1077944384 3 13008 0 0 0 0 5 2 20 0 15 0 53469054 11079016448 14575 33554432000 4194304 4196468 140727280651584 139837049755728 139838468757403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12896] ppid=12831 vsize=10819352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/12834/task/12896/stat : 12896 (java) R 12831 12834 12231 0 -1 4202560 376 13008 0 0 3 0 5 2 20 0 15 0 53469054 11079016448 14575 33554432000 4194304 4196468 140727280651584 139837638112208 139838448401025 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12897] ppid=12831 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12834/task/12897/stat : 12897 (java) S 12831 12834 12231 0 -1 1077944384 260 13008 0 0 1 0 5 2 20 0 15 0 53469054 11079016448 14575 33554432000 4194304 4196468 140727280651584 139837637069296 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12898] ppid=12831 vsize=10819352 memory=140335681660544 CPUtime=0.15 cores=1,3,5,7
/proc/12834/task/12898/stat : 12898 (java) R 12831 12834 12231 0 -1 4202560 645 13008 0 0 8 0 5 2 20 0 15 0 53469054 11079016448 14575 33554432000 4194304 4196468 140727280651584 139837636017008 139838447356423 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12899] ppid=12831 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12899/stat : 12899 (java) S 12831 12834 12231 0 -1 1077944384 3 13008 0 0 0 0 5 2 20 0 15 0 53469054 11079016448 14575 33554432000 4194304 4196468 140727280651584 139837016198112 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12900] ppid=12831 vsize=10819352 memory=140335681660544 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12900/stat : 12900 (java) S 12831 12834 12231 0 -1 1077944384 3 13008 0 0 0 0 5 2 20 0 15 0 53469055 11079016448 14575 33554432000 4194304 4196468 140727280651584 139837634963888 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 58300 KiB
[startup+1.51012 s]
/proc/loadavg: 1.33 1.38 1.40 3/215 12900
/proc/meminfo: memFree=17214068/32770624 swapFree=67108860/67108860
[pid=12834] ppid=12831 vsize=10828032 memory=109296 CPUtime=1.54 cores=1,3,5,7
/proc/12834/stat : 12834 (java) S 12831 12834 12231 0 -1 1077944320 18982 13008 0 0 141 6 5 2 20 0 15 0 53469040 11087904768 27324 33554432000 4194304 4196468 140727280651584 140727280634128 139838468738807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
/proc/12834/statm: 2707008 27324 3407 1 0 2668685 0
[pid=12834/tid=12887] ppid=12831 vsize=10828032 memory=11156 CPUtime=0.99 cores=1,3,5,7
/proc/12834/task/12887/stat : 12887 (java) R 12831 12834 12231 0 -1 4202560 14023 13008 0 0 88 4 5 2 20 0 15 0 53469049 11087904768 27324 33554432000 4194304 4196468 140727280651584 139838440573312 139838048214579 0 4 0 16800975 0 0 0 -1 1 0 0 47 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12888] ppid=12831 vsize=10828032 memory=81552 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12888/stat : 12888 (java) S 12831 12834 12231 0 -1 1077944384 2 13008 0 0 0 0 5 2 20 0 15 0 53469050 11087904768 27324 33554432000 4194304 4196468 140727280651584 139838472981392 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12889] ppid=12831 vsize=10828032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12889/stat : 12889 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 15 0 53469050 11087904768 27324 33554432000 4194304 4196468 140727280651584 139838371871504 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12890] ppid=12831 vsize=10828032 memory=55 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12890/stat : 12890 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 15 0 53469050 11087904768 27324 33554432000 4194304 4196468 140727280651584 139838370819216 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12891] ppid=12831 vsize=10828032 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12891/stat : 12891 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 15 0 53469050 11087904768 27324 33554432000 4194304 4196468 140727280651584 139838369766416 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12892] ppid=12831 vsize=10828032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12892/stat : 12892 (java) S 12831 12834 12231 0 -1 1077944384 5 13008 0 0 0 0 5 2 20 0 15 0 53469051 11087904768 27324 33554432000 4194304 4196468 140727280651584 139837672732784 139838468749954 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12893] ppid=12831 vsize=10828032 memory=288230574492221466 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12893/stat : 12893 (java) S 12831 12834 12231 0 -1 1077944384 33 13008 0 0 0 0 5 2 20 0 15 0 53469051 11087904768 27324 33554432000 4194304 4196468 140727280651584 139837671678752 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12894] ppid=12831 vsize=10828032 memory=288230621803970871 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12894/stat : 12894 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 15 0 53469052 11087904768 27324 33554432000 4194304 4196468 140727280651584 139837290046576 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12895] ppid=12831 vsize=10828032 memory=14410445029116127 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12895/stat : 12895 (java) S 12831 12834 12231 0 -1 1077944384 3 13008 0 0 0 0 5 2 20 0 15 0 53469054 11087904768 27324 33554432000 4194304 4196468 140727280651584 139837049755728 139838468757403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12896] ppid=12831 vsize=10828032 memory=7809523229951467568 CPUtime=0.22 cores=1,3,5,7
/proc/12834/task/12896/stat : 12896 (java) R 12831 12834 12231 0 -1 4202560 1026 13008 0 0 15 0 5 2 20 0 15 0 53469054 11087904768 27324 33554432000 4194304 4196468 140727280651584 139837638122096 139838448576264 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12897] ppid=12831 vsize=10828032 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/12834/task/12897/stat : 12897 (java) R 12831 12834 12231 0 -1 4202560 756 13008 0 0 12 0 5 2 20 0 15 0 53469054 11087904768 27324 33554432000 4194304 4196468 140727280651584 139837637057440 139838449374740 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12898] ppid=12831 vsize=10828032 memory=-3535359994705171555 CPUtime=0.31 cores=1,3,5,7
/proc/12834/task/12898/stat : 12898 (java) R 12831 12834 12231 0 -1 4202560 932 13008 0 0 24 0 5 2 20 0 15 0 53469054 11087904768 27324 33554432000 4194304 4196468 140727280651584 139837636014968 139838447443737 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12899] ppid=12831 vsize=10828032 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12899/stat : 12899 (java) S 12831 12834 12231 0 -1 1077944384 3 13008 0 0 0 0 5 2 20 0 15 0 53469054 11087904768 27324 33554432000 4194304 4196468 140727280651584 139837016198112 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12900] ppid=12831 vsize=10828032 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12900/stat : 12900 (java) S 12831 12834 12231 0 -1 1077944384 3 13008 0 0 0 0 5 2 20 0 15 0 53469055 11087904768 27324 33554432000 4194304 4196468 140727280651584 139837634963888 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 43 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
################
# More data... #
################
/proc/12834/task/12887/stat : 12887 (java) R 12831 12834 12231 0 -1 4202560 104984 13008 0 0 235573 56 5 2 20 0 15 0 53469049 11178180608 357718 33554432000 4194304 4196468 140727280651584 139838440573648 139838048690871 0 4 0 16800975 0 0 0 -1 1 0 0 47 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12888] ppid=12831 vsize=10916192 memory=1430872 CPUtime=12.8 cores=1,3,5,7
/proc/12834/task/12888/stat : 12888 (java) S 12831 12834 12231 0 -1 1077944384 34575 13008 0 0 1218 55 5 2 20 0 15 0 53469050 11178180608 357718 33554432000 4194304 4196468 140727280651584 139838472981392 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12889] ppid=12831 vsize=10916192 memory=1430872 CPUtime=12.78 cores=1,3,5,7
/proc/12834/task/12889/stat : 12889 (java) S 12831 12834 12231 0 -1 1077944384 28789 13008 0 0 1217 54 5 2 20 0 15 0 53469050 11178180608 357718 33554432000 4194304 4196468 140727280651584 139838371871504 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12890] ppid=12831 vsize=10916192 memory=1430872 CPUtime=12.83 cores=1,3,5,7
/proc/12834/task/12890/stat : 12890 (java) S 12831 12834 12231 0 -1 1077944384 25864 13008 0 0 1220 56 5 2 20 0 15 0 53469050 11178180608 357718 33554432000 4194304 4196468 140727280651584 139838370819216 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12891] ppid=12831 vsize=10916192 memory=1430872 CPUtime=12.83 cores=1,3,5,7
/proc/12834/task/12891/stat : 12891 (java) S 12831 12834 12231 0 -1 1077944384 28964 13008 0 0 1221 55 5 2 20 0 15 0 53469050 11178180608 357718 33554432000 4194304 4196468 140727280651584 139838369766416 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12892] ppid=12831 vsize=10916192 memory=1430872 CPUtime=9.98 cores=1,3,5,7
/proc/12834/task/12892/stat : 12892 (java) S 12831 12834 12231 0 -1 1077944384 22526 13008 0 0 934 57 5 2 20 0 15 0 53469051 11178180608 357718 33554432000 4194304 4196468 140727280651584 139837672732784 139838468749954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12893] ppid=12831 vsize=10916192 memory=1430872 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12893/stat : 12893 (java) S 12831 12834 12231 0 -1 1077944384 43 13008 0 0 0 0 5 2 20 0 15 0 53469051 11178180608 357718 33554432000 4194304 4196468 140727280651584 139837671678816 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12894] ppid=12831 vsize=10916192 memory=1430872 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12894/stat : 12894 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 15 0 53469052 11178180608 357718 33554432000 4194304 4196468 140727280651584 139837290046592 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12895] ppid=12831 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12895/stat : 12895 (java) S 12831 12834 12231 0 -1 1077944384 3 13008 0 0 0 0 5 2 20 0 15 0 53469054 11178180608 357718 33554432000 4194304 4196468 140727280651584 139837049755728 139838468757403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12896] ppid=12831 vsize=10916192 memory=1430872 CPUtime=7.31 cores=1,3,5,7
/proc/12834/task/12896/stat : 12896 (java) S 12831 12834 12231 0 -1 1077944384 82392 13008 0 0 714 10 5 2 20 0 15 0 53469054 11178180608 357718 33554432000 4194304 4196468 140727280651584 139837638122096 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12897] ppid=12831 vsize=10916192 memory=1708 CPUtime=6.86 cores=1,3,5,7
/proc/12834/task/12897/stat : 12897 (java) S 12831 12834 12231 0 -1 1077944384 72430 13008 0 0 671 8 5 2 20 0 15 0 53469054 11178180608 357718 33554432000 4194304 4196468 140727280651584 139837637069296 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12898] ppid=12831 vsize=10916192 memory=1430872 CPUtime=3.94 cores=1,3,5,7
/proc/12834/task/12898/stat : 12898 (java) S 12831 12834 12231 0 -1 1077944384 79104 13008 0 0 377 10 5 2 20 0 15 0 53469054 11178180608 357718 33554432000 4194304 4196468 140727280651584 139837636017008 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12899] ppid=12831 vsize=10916192 memory=1428 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12899/stat : 12899 (java) S 12831 12834 12231 0 -1 1077944384 3 13008 0 0 0 0 5 2 20 0 15 0 53469054 11178180608 357718 33554432000 4194304 4196468 140727280651584 139837016198112 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12900] ppid=12831 vsize=10916192 memory=8368 CPUtime=1.48 cores=1,3,5,7
/proc/12834/task/12900/stat : 12900 (java) S 12831 12834 12231 0 -1 1077944384 2035 13008 0 0 60 81 5 2 20 0 15 0 53469055 11178180608 357718 33554432000 4194304 4196468 140727280651584 139837634963888 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 43 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
Current children cumulated CPU time: 2436.65 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1430872 KiB
[startup+2442.3 s]
/proc/loadavg: 1.67 1.51 1.46 3/215 12975
/proc/meminfo: memFree=13991820/32770624 swapFree=67108860/67108860
[pid=12834] ppid=12831 vsize=10916192 memory=1432920 CPUtime=2497.67 cores=1,3,5,7
/proc/12834/stat : 12834 (java) S 12831 12834 12231 0 -1 1077944320 490325 13008 0 0 249364 396 5 2 20 0 15 0 53469040 11178180608 358230 33554432000 4194304 4196468 140727280651584 140727280634128 139838468738807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
/proc/12834/statm: 2729048 358230 3531 1 0 2690701 0
[pid=12834/tid=12887] ppid=12831 vsize=10916192 memory=1432920 CPUtime=2415.67 cores=1,3,5,7
/proc/12834/task/12887/stat : 12887 (java) R 12831 12834 12231 0 -1 4202560 106570 13008 0 0 241504 56 5 2 20 0 15 0 53469049 11178180608 358230 33554432000 4194304 4196468 140727280651584 139838440573488 139838050687057 0 4 0 16800975 0 0 0 -1 5 0 0 47 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12888] ppid=12831 vsize=10916192 memory=1432920 CPUtime=13.15 cores=1,3,5,7
/proc/12834/task/12888/stat : 12888 (java) S 12831 12834 12231 0 -1 1077944384 34795 13008 0 0 1252 56 5 2 20 0 15 0 53469050 11178180608 358230 33554432000 4194304 4196468 140727280651584 139838472981392 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12889] ppid=12831 vsize=10916192 memory=1432920 CPUtime=13.13 cores=1,3,5,7
/proc/12834/task/12889/stat : 12889 (java) S 12831 12834 12231 0 -1 1077944384 30172 13008 0 0 1251 55 5 2 20 0 15 0 53469050 11178180608 358230 33554432000 4194304 4196468 140727280651584 139838371871504 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12890] ppid=12831 vsize=10916192 memory=1430872 CPUtime=13.19 cores=1,3,5,7
/proc/12834/task/12890/stat : 12890 (java) S 12831 12834 12231 0 -1 1077944384 26575 13008 0 0 1254 58 5 2 20 0 15 0 53469050 11178180608 358230 33554432000 4194304 4196468 140727280651584 139838370819216 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12891] ppid=12831 vsize=10916192 memory=1432920 CPUtime=13.18 cores=1,3,5,7
/proc/12834/task/12891/stat : 12891 (java) S 12831 12834 12231 0 -1 1077944384 30733 13008 0 0 1255 56 5 2 20 0 15 0 53469050 11178180608 358230 33554432000 4194304 4196468 140727280651584 139838369766416 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12892] ppid=12831 vsize=10916192 memory=1432920 CPUtime=10.24 cores=1,3,5,7
/proc/12834/task/12892/stat : 12892 (java) S 12831 12834 12231 0 -1 1077944384 23221 13008 0 0 958 59 5 2 20 0 15 0 53469051 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837672732784 139838468749954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12893] ppid=12831 vsize=10916192 memory=1432920 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12893/stat : 12893 (java) S 12831 12834 12231 0 -1 1077944384 43 13008 0 0 0 0 5 2 20 0 15 0 53469051 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837671678816 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12894] ppid=12831 vsize=10916192 memory=1432920 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12894/stat : 12894 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 15 0 53469052 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837290046592 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12895] ppid=12831 vsize=10916192 memory=1432920 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12895/stat : 12895 (java) S 12831 12834 12231 0 -1 1077944384 3 13008 0 0 0 0 5 2 20 0 15 0 53469054 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837049755728 139838468757403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12896] ppid=12831 vsize=10916192 memory=1432920 CPUtime=7.31 cores=1,3,5,7
/proc/12834/task/12896/stat : 12896 (java) S 12831 12834 12231 0 -1 1077944384 82396 13008 0 0 714 10 5 2 20 0 15 0 53469054 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837638122096 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12897] ppid=12831 vsize=10916192 memory=1432920 CPUtime=6.86 cores=1,3,5,7
/proc/12834/task/12897/stat : 12897 (java) S 12831 12834 12231 0 -1 1077944384 72438 13008 0 0 671 8 5 2 20 0 15 0 53469054 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837637069296 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12898] ppid=12831 vsize=10916192 memory=1432920 CPUtime=3.94 cores=1,3,5,7
/proc/12834/task/12898/stat : 12898 (java) S 12831 12834 12231 0 -1 1077944384 79110 13008 0 0 377 10 5 2 20 0 15 0 53469054 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837636017008 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12899] ppid=12831 vsize=10916192 memory=1432920 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12899/stat : 12899 (java) S 12831 12834 12231 0 -1 1077944384 3 13008 0 0 0 0 5 2 20 0 15 0 53469054 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837016198112 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12900] ppid=12831 vsize=10916192 memory=1432920 CPUtime=1.52 cores=1,3,5,7
/proc/12834/task/12900/stat : 12900 (java) S 12831 12834 12231 0 -1 1077944384 2073 13008 0 0 62 83 5 2 20 0 15 0 53469055 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837634963888 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 43 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
Current children cumulated CPU time: 2497.67 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1432920 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2464.3 s]
/proc/loadavg: 1.66 1.51 1.46 3/215 12976
/proc/meminfo: memFree=13991664/32770624 swapFree=67108860/67108860
[pid=12834] ppid=12831 vsize=10916192 memory=1432920 CPUtime=2520.04 cores=1,3,5,7
/proc/12834/stat : 12834 (java) S 12831 12834 12231 0 -1 1077944320 490747 13008 0 0 251598 399 5 2 20 0 15 0 53469040 11178180608 358230 33554432000 4194304 4196468 140727280651584 140727280634128 139838468738807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
/proc/12834/statm: 2729048 358230 3531 1 0 2690701 0
[pid=12834/tid=12887] ppid=12831 vsize=10916192 memory=1432920 CPUtime=2437.41 cores=1,3,5,7
/proc/12834/task/12887/stat : 12887 (java) R 12831 12834 12231 0 -1 4202560 106858 13008 0 0 243677 57 5 2 20 0 15 0 53469049 11178180608 358230 33554432000 4194304 4196468 140727280651584 139838440573552 139838051057003 0 4 0 16800975 0 0 0 -1 5 0 0 47 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12888] ppid=12831 vsize=10916192 memory=1432920 CPUtime=13.29 cores=1,3,5,7
/proc/12834/task/12888/stat : 12888 (java) S 12831 12834 12231 0 -1 1077944384 34837 13008 0 0 1265 57 5 2 20 0 15 0 53469050 11178180608 358230 33554432000 4194304 4196468 140727280651584 139838472981392 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12889] ppid=12831 vsize=10916192 memory=1432920 CPUtime=13.26 cores=1,3,5,7
/proc/12834/task/12889/stat : 12889 (java) S 12831 12834 12231 0 -1 1077944384 30195 13008 0 0 1264 55 5 2 20 0 15 0 53469050 11178180608 358230 33554432000 4194304 4196468 140727280651584 139838371871504 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12890] ppid=12831 vsize=10916192 memory=0 CPUtime=13.31 cores=1,3,5,7
/proc/12834/task/12890/stat : 12890 (java) S 12831 12834 12231 0 -1 1077944384 26594 13008 0 0 1266 58 5 2 20 0 15 0 53469050 11178180608 358230 33554432000 4194304 4196468 140727280651584 139838370819216 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12891] ppid=12831 vsize=10916192 memory=1432920 CPUtime=13.31 cores=1,3,5,7
/proc/12834/task/12891/stat : 12891 (java) S 12831 12834 12231 0 -1 1077944384 30754 13008 0 0 1268 56 5 2 20 0 15 0 53469050 11178180608 358230 33554432000 4194304 4196468 140727280651584 139838369766416 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12892] ppid=12831 vsize=10916192 memory=1432920 CPUtime=10.34 cores=1,3,5,7
/proc/12834/task/12892/stat : 12892 (java) S 12831 12834 12231 0 -1 1077944384 23247 13008 0 0 967 60 5 2 20 0 15 0 53469051 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837672732784 139838468749954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12893] ppid=12831 vsize=10916192 memory=1432920 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12893/stat : 12893 (java) S 12831 12834 12231 0 -1 1077944384 43 13008 0 0 0 0 5 2 20 0 15 0 53469051 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837671678816 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12894] ppid=12831 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12894/stat : 12894 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 15 0 53469052 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837290046592 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12895] ppid=12831 vsize=10916192 memory=280671147920480 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12895/stat : 12895 (java) S 12831 12834 12231 0 -1 1077944384 3 13008 0 0 0 0 5 2 20 0 15 0 53469054 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837049755728 139838468757403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12896] ppid=12831 vsize=10916192 memory=1432920 CPUtime=7.31 cores=1,3,5,7
/proc/12834/task/12896/stat : 12896 (java) S 12831 12834 12231 0 -1 1077944384 82398 13008 0 0 714 10 5 2 20 0 15 0 53469054 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837638122096 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12897] ppid=12831 vsize=10916192 memory=1432920 CPUtime=6.86 cores=1,3,5,7
/proc/12834/task/12897/stat : 12897 (java) S 12831 12834 12231 0 -1 1077944384 72438 13008 0 0 671 8 5 2 20 0 15 0 53469054 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837637069296 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12898] ppid=12831 vsize=10916192 memory=1432920 CPUtime=3.94 cores=1,3,5,7
/proc/12834/task/12898/stat : 12898 (java) S 12831 12834 12231 0 -1 1077944384 79110 13008 0 0 377 10 5 2 20 0 15 0 53469054 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837636017008 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12899] ppid=12831 vsize=10916192 memory=1432920 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12899/stat : 12899 (java) S 12831 12834 12231 0 -1 1077944384 3 13008 0 0 0 0 5 2 20 0 15 0 53469054 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837016198112 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12900] ppid=12831 vsize=10916192 memory=1432920 CPUtime=1.53 cores=1,3,5,7
/proc/12834/task/12900/stat : 12900 (java) S 12831 12834 12231 0 -1 1077944384 2074 13008 0 0 62 84 5 2 20 0 15 0 53469055 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837634963888 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 43 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1432920 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2464.34 s]
# the end of solver process 12834 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.06 s, system=4.04767 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2464.3 s]
/proc/loadavg: 1.66 1.51 1.46 3/215 12976
/proc/meminfo: memFree=13991664/32770624 swapFree=67108860/67108860
[pid=12834] ppid=12831 vsize=10916192 memory=1432920 CPUtime=2520.04 cores=1,3,5,7
/proc/12834/stat : 12834 (java) S 12831 12834 12231 0 -1 1077944320 490747 13008 0 0 251598 399 5 2 20 0 15 0 53469040 11178180608 358230 33554432000 4194304 4196468 140727280651584 140727280634128 139838468738807 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
/proc/12834/statm: 2729048 358230 3531 1 0 2690701 0
[pid=12834/tid=12887] ppid=12831 vsize=10916192 memory=1432920 CPUtime=2437.41 cores=1,3,5,7
/proc/12834/task/12887/stat : 12887 (java) R 12831 12834 12231 0 -1 4202560 106858 13008 0 0 243677 57 5 2 20 0 15 0 53469049 11178180608 358230 33554432000 4194304 4196468 140727280651584 139838440573552 139838051057003 0 4 0 16800975 0 0 0 -1 5 0 0 47 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12888] ppid=12831 vsize=10916192 memory=1432920 CPUtime=13.29 cores=1,3,5,7
/proc/12834/task/12888/stat : 12888 (java) S 12831 12834 12231 0 -1 1077944384 34837 13008 0 0 1265 57 5 2 20 0 15 0 53469050 11178180608 358230 33554432000 4194304 4196468 140727280651584 139838472981392 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12889] ppid=12831 vsize=10916192 memory=1432920 CPUtime=13.26 cores=1,3,5,7
/proc/12834/task/12889/stat : 12889 (java) S 12831 12834 12231 0 -1 1077944384 30195 13008 0 0 1264 55 5 2 20 0 15 0 53469050 11178180608 358230 33554432000 4194304 4196468 140727280651584 139838371871504 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12890] ppid=12831 vsize=10916192 memory=0 CPUtime=13.31 cores=1,3,5,7
/proc/12834/task/12890/stat : 12890 (java) S 12831 12834 12231 0 -1 1077944384 26594 13008 0 0 1266 58 5 2 20 0 15 0 53469050 11178180608 358230 33554432000 4194304 4196468 140727280651584 139838370819216 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12891] ppid=12831 vsize=10916192 memory=1432920 CPUtime=13.31 cores=1,3,5,7
/proc/12834/task/12891/stat : 12891 (java) S 12831 12834 12231 0 -1 1077944384 30754 13008 0 0 1268 56 5 2 20 0 15 0 53469050 11178180608 358230 33554432000 4194304 4196468 140727280651584 139838369766416 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12892] ppid=12831 vsize=10916192 memory=1432920 CPUtime=10.34 cores=1,3,5,7
/proc/12834/task/12892/stat : 12892 (java) S 12831 12834 12231 0 -1 1077944384 23247 13008 0 0 967 60 5 2 20 0 15 0 53469051 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837672732784 139838468749954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12893] ppid=12831 vsize=10916192 memory=1432920 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12893/stat : 12893 (java) S 12831 12834 12231 0 -1 1077944384 43 13008 0 0 0 0 5 2 20 0 15 0 53469051 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837671678816 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12894] ppid=12831 vsize=10916192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12894/stat : 12894 (java) S 12831 12834 12231 0 -1 1077944384 1 13008 0 0 0 0 5 2 20 0 15 0 53469052 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837290046592 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12895] ppid=12831 vsize=10916192 memory=280671147920480 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12895/stat : 12895 (java) S 12831 12834 12231 0 -1 1077944384 3 13008 0 0 0 0 5 2 20 0 15 0 53469054 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837049755728 139838468757403 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12896] ppid=12831 vsize=10916192 memory=1432920 CPUtime=7.31 cores=1,3,5,7
/proc/12834/task/12896/stat : 12896 (java) S 12831 12834 12231 0 -1 1077944384 82398 13008 0 0 714 10 5 2 20 0 15 0 53469054 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837638122096 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12897] ppid=12831 vsize=10916192 memory=1432920 CPUtime=6.86 cores=1,3,5,7
/proc/12834/task/12897/stat : 12897 (java) S 12831 12834 12231 0 -1 1077944384 72438 13008 0 0 671 8 5 2 20 0 15 0 53469054 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837637069296 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12898] ppid=12831 vsize=10916192 memory=1432920 CPUtime=3.94 cores=1,3,5,7
/proc/12834/task/12898/stat : 12898 (java) S 12831 12834 12231 0 -1 1077944384 79110 13008 0 0 377 10 5 2 20 0 15 0 53469054 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837636017008 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12899] ppid=12831 vsize=10916192 memory=1432920 CPUtime=0.07 cores=1,3,5,7
/proc/12834/task/12899/stat : 12899 (java) S 12831 12834 12231 0 -1 1077944384 3 13008 0 0 0 0 5 2 20 0 15 0 53469054 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837016198112 139838468749013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
[pid=12834/tid=12900] ppid=12831 vsize=10916192 memory=1432920 CPUtime=1.53 cores=1,3,5,7
/proc/12834/task/12900/stat : 12900 (java) S 12831 12834 12231 0 -1 1077944384 2074 13008 0 0 62 84 5 2 20 0 15 0 53469055 11178180608 358230 33554432000 4194304 4196468 140727280651584 139837634963888 139838468749954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 43 0 0 6293624 6294260 22331392 140727280659054 140727280661852 140727280661852 140727280664527 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 1432920 KiB
Child status: 143
Real time (s): 2464.34
CPU time (s): 2520.11
CPU user time (s): 2516.06
CPU system time (s): 4.04767
CPU usage (%): 102.263
Max. virtual memory (cumulated for all children) (KiB): 10916780
Max. memory (cumulated for all children) (KiB): 1633640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.06
system time used= 4.04767
maximum resident set size= 1634232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 507509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 272817
involuntary context switches= 5393
# summary of solver processes directly reported to runsolver:
# pid: 12834
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.06
# total CPU system time (s): 4.04767
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8565 second user time and 23.0822 second system time
The end