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 (5756 MiB free)
memory of node 1: 16384 MiB (9779 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293982-1532418488/watcher-4293982-1532418488 -o /tmp/evaluation-result-4293982-1532418488/solver-4293982-1532418488 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532413601-12741 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=370251712 -superng HOME/instance-4293982-1532418488.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=14039, runsolver pid=14036
Current StackSize limit: 8192 KiB
[startup+0.100114 s]*
/proc/loadavg: 1.28 1.42 1.88 2/209 14096
/proc/meminfo: memFree=15901228/32770624 swapFree=67108860/67108860
[pid=14039] ppid=14036 vsize=9972712 memory=17076 CPUtime=0.08 cores=1,3,5,7
/proc/14039/stat : 14039 (java) S 14036 14039 12709 0 -1 1077944320 4449 12853 0 0 1 0 5 2 20 0 6 0 59412057 10212057088 4269 33554432000 4194304 4196468 140722956799328 140722956781872 140593915002615 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
/proc/14039/statm: 2493178 4269 1934 1 0 2481616 0
[pid=14039/tid=14092] ppid=14036 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=1,3,5,7
/proc/14039/task/14092/stat : 14092 (java) R 14036 14039 12709 0 -1 4202560 2267 12853 0 0 1 0 5 2 20 0 6 0 59412066 10212057088 4335 33554432000 4194304 4196468 140722956799328 140593886839376 140593900314617 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14093] ppid=14036 vsize=9972712 memory=5793855171134368185 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14093/stat : 14093 (java) S 14036 14039 12709 0 -1 1077944384 1 12853 0 0 0 0 5 2 20 0 6 0 59412067 10212057088 4335 33554432000 4194304 4196468 140722956799328 140593919244560 140593915012821 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14094] ppid=14036 vsize=9972712 memory=139920124475008 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14094/stat : 14094 (java) S 14036 14039 12709 0 -1 1077944384 1 12853 0 0 0 0 5 2 20 0 6 0 59412067 10212057088 4335 33554432000 4194304 4196468 140722956799328 140593818134928 140593915012821 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14095] ppid=14036 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14095/stat : 14095 (java) S 14036 14039 12709 0 -1 1077944384 1 12853 0 0 0 0 5 2 20 0 6 0 59412067 10212057088 4335 33554432000 4194304 4196468 140722956799328 140593817082384 140593915012821 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14096] ppid=14036 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14096/stat : 14096 (java) S 14036 14039 12709 0 -1 1077944384 2 12853 0 0 0 0 5 2 20 0 6 0 59412067 10212057088 4335 33554432000 4194304 4196468 140722956799328 140593816029840 140593915012821 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.210077 s]*
/proc/loadavg: 1.28 1.42 1.88 3/218 14105
/proc/meminfo: memFree=15880636/32770624 swapFree=67108860/67108860
[pid=14039] ppid=14036 vsize=10818904 memory=46072 CPUtime=0.26 cores=1,3,5,7
/proc/14039/stat : 14039 (java) S 14036 14039 12709 0 -1 1077944320 9448 12853 0 0 17 2 5 2 20 0 15 0 59412057 11078557696 11518 33554432000 4194304 4196468 140722956799328 140722956781872 140593915002615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
/proc/14039/statm: 2704726 11518 2933 1 0 2667149 0
[pid=14039/tid=14092] ppid=14036 vsize=10818904 memory=-8540663193526752614 CPUtime=0.18 cores=1,3,5,7
/proc/14039/task/14092/stat : 14092 (java) R 14036 14039 12709 0 -1 4202560 6076 12853 0 0 10 1 5 2 20 0 15 0 59412066 11078557696 11518 33554432000 4194304 4196468 140722956799328 140593886827424 140593915024541 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14093] ppid=14036 vsize=10818904 memory=4211973646329265546 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14093/stat : 14093 (java) S 14036 14039 12709 0 -1 1077944384 1 12853 0 0 0 0 5 2 20 0 15 0 59412067 11078557696 11518 33554432000 4194304 4196468 140722956799328 140593919244560 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14094] ppid=14036 vsize=10818904 memory=139920124475008 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14094/stat : 14094 (java) S 14036 14039 12709 0 -1 1077944384 1 12853 0 0 0 0 5 2 20 0 15 0 59412067 11078557696 11518 33554432000 4194304 4196468 140722956799328 140593818134928 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14095] ppid=14036 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14095/stat : 14095 (java) S 14036 14039 12709 0 -1 1077944384 1 12853 0 0 0 0 5 2 20 0 15 0 59412067 11078557696 11518 33554432000 4194304 4196468 140722956799328 140593817082384 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14096] ppid=14036 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14096/stat : 14096 (java) S 14036 14039 12709 0 -1 1077944384 2 12853 0 0 0 0 5 2 20 0 15 0 59412067 11078557696 11518 33554432000 4194304 4196468 140722956799328 140593816029840 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14097] ppid=14036 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14097/stat : 14097 (java) S 14036 14039 12709 0 -1 1077944384 2 12853 0 0 0 0 5 2 20 0 15 0 59412068 11078557696 11518 33554432000 4194304 4196468 140722956799328 140593373936112 140593915013762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14098] ppid=14036 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14098/stat : 14098 (java) S 14036 14039 12709 0 -1 1077944384 33 12853 0 0 0 0 5 2 20 0 15 0 59412068 11078557696 11518 33554432000 4194304 4196468 140722956799328 140593372882336 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14099] ppid=14036 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14099/stat : 14099 (java) S 14036 14039 12709 0 -1 1077944384 1 12853 0 0 0 0 5 2 20 0 15 0 59412069 11078557696 11518 33554432000 4194304 4196468 140722956799328 140593016595952 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14100] ppid=14036 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14100/stat : 14100 (java) S 14036 14039 12709 0 -1 1077944384 3 12853 0 0 0 0 5 2 20 0 15 0 59412071 11078557696 11518 33554432000 4194304 4196468 140722956799328 140592983038672 140593915021211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14101] ppid=14036 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14039/task/14101/stat : 14101 (java) S 14036 14039 12709 0 -1 1077944384 516 12853 0 0 1 0 5 2 20 0 15 0 59412071 11078557696 11518 33554432000 4194304 4196468 140722956799328 140592949479408 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14102] ppid=14036 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14102/stat : 14102 (java) S 14036 14039 12709 0 -1 1077944384 56 12853 0 0 0 0 5 2 20 0 15 0 59412071 11078557696 11518 33554432000 4194304 4196468 140722956799328 140592948426864 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14103] ppid=14036 vsize=10818904 memory=139920124475008 CPUtime=0.1 cores=1,3,5,7
/proc/14039/task/14103/stat : 14103 (java) R 14036 14039 12709 0 -1 4202560 560 12853 0 0 3 0 5 2 20 0 15 0 59412071 11078557696 11518 33554432000 4194304 4196468 140722956799328 140592947374320 140593893371222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14104] ppid=14036 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14104/stat : 14104 (java) S 14036 14039 12709 0 -1 1077944384 3 12853 0 0 0 0 5 2 20 0 15 0 59412072 11078557696 11518 33554432000 4194304 4196468 140722956799328 140592264768096 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14105] ppid=14036 vsize=10818904 memory=139920124475008 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14105/stat : 14105 (java) S 14036 14039 12709 0 -1 1077944384 1 12853 0 0 0 0 5 2 20 0 15 0 59412072 11078557696 11518 33554432000 4194304 4196468 140722956799328 140592946322224 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 46072 KiB
[startup+0.310504 s]*
/proc/loadavg: 1.28 1.42 1.88 3/218 14105
/proc/meminfo: memFree=15867364/32770624 swapFree=67108860/67108860
[pid=14039] ppid=14036 vsize=10819352 memory=53948 CPUtime=0.39 cores=1,3,5,7
/proc/14039/stat : 14039 (java) S 14036 14039 12709 0 -1 1077944320 10653 12853 0 0 29 3 5 2 20 0 15 0 59412057 11079016448 13487 33554432000 4194304 4196468 140722956799328 140722956781872 140593915002615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
/proc/14039/statm: 2704838 13487 3052 1 0 2667149 0
[pid=14039/tid=14092] ppid=14036 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/14039/task/14092/stat : 14092 (java) R 14036 14039 12709 0 -1 4202560 7267 12853 0 0 19 2 5 2 20 0 15 0 59412066 11079016448 13487 33554432000 4194304 4196468 140722956799328 140593886814624 140593900168201 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14093] ppid=14036 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14093/stat : 14093 (java) S 14036 14039 12709 0 -1 1077944384 1 12853 0 0 0 0 5 2 20 0 15 0 59412067 11079016448 13487 33554432000 4194304 4196468 140722956799328 140593919244560 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14094] ppid=14036 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14094/stat : 14094 (java) S 14036 14039 12709 0 -1 1077944384 1 12853 0 0 0 0 5 2 20 0 15 0 59412067 11079016448 13487 33554432000 4194304 4196468 140722956799328 140593818134928 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14095] ppid=14036 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14095/stat : 14095 (java) S 14036 14039 12709 0 -1 1077944384 1 12853 0 0 0 0 5 2 20 0 15 0 59412067 11079016448 13487 33554432000 4194304 4196468 140722956799328 140593817082384 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14096] ppid=14036 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14096/stat : 14096 (java) S 14036 14039 12709 0 -1 1077944384 2 12853 0 0 0 0 5 2 20 0 15 0 59412067 11079016448 13487 33554432000 4194304 4196468 140722956799328 140593816029840 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14097] ppid=14036 vsize=10819352 memory=139920124475007 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14097/stat : 14097 (java) S 14036 14039 12709 0 -1 1077944384 2 12853 0 0 0 0 5 2 20 0 15 0 59412068 11079016448 13487 33554432000 4194304 4196468 140722956799328 140593373936112 140593915013762 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14098] ppid=14036 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14098/stat : 14098 (java) S 14036 14039 12709 0 -1 1077944384 33 12853 0 0 0 0 5 2 20 0 15 0 59412068 11079016448 13487 33554432000 4194304 4196468 140722956799328 140593372882336 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14099] ppid=14036 vsize=10819352 memory=139920124475008 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14099/stat : 14099 (java) S 14036 14039 12709 0 -1 1077944384 1 12853 0 0 0 0 5 2 20 0 15 0 59412069 11079016448 13487 33554432000 4194304 4196468 140722956799328 140593016595952 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14100] ppid=14036 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14100/stat : 14100 (java) S 14036 14039 12709 0 -1 1077944384 3 12853 0 0 0 0 5 2 20 0 15 0 59412071 11079016448 13487 33554432000 4194304 4196468 140722956799328 140592983038672 140593915021211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14101] ppid=14036 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/14039/task/14101/stat : 14101 (java) S 14036 14039 12709 0 -1 1077944384 517 12853 0 0 2 0 5 2 20 0 15 0 59412071 11079016448 13487 33554432000 4194304 4196468 140722956799328 140592949479408 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14102] ppid=14036 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14039/task/14102/stat : 14102 (java) S 14036 14039 12709 0 -1 1077944384 56 12853 0 0 1 0 5 2 20 0 15 0 59412071 11079016448 13487 33554432000 4194304 4196468 140722956799328 140592948426864 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14103] ppid=14036 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/14039/task/14103/stat : 14103 (java) S 14036 14039 12709 0 -1 1077944384 572 12853 0 0 5 0 5 2 20 0 15 0 59412071 11079016448 13487 33554432000 4194304 4196468 140722956799328 140592947374320 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14104] ppid=14036 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14104/stat : 14104 (java) S 14036 14039 12709 0 -1 1077944384 3 12853 0 0 0 0 5 2 20 0 15 0 59412072 11079016448 13487 33554432000 4194304 4196468 140722956799328 140592264768096 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14105] ppid=14036 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14105/stat : 14105 (java) S 14036 14039 12709 0 -1 1077944384 1 12853 0 0 0 0 5 2 20 0 15 0 59412072 11079016448 13487 33554432000 4194304 4196468 140722956799328 140592946322224 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53948 KiB
[startup+0.700708 s]
/proc/loadavg: 1.28 1.42 1.88 3/218 14105
/proc/meminfo: memFree=15858556/32770624 swapFree=67108860/67108860
[pid=14039] ppid=14036 vsize=10819352 memory=86664 CPUtime=0.98 cores=1,3,5,7
/proc/14039/stat : 14039 (java) S 14036 14039 12709 0 -1 1077944320 16758 12853 0 0 87 4 5 2 20 0 15 0 59412057 11079016448 21666 33554432000 4194304 4196468 140722956799328 140722956781872 140593915002615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
/proc/14039/statm: 2704838 21666 3243 1 0 2667149 0
[pid=14039/tid=14092] ppid=14036 vsize=10819352 memory=18684 CPUtime=0.66 cores=1,3,5,7
/proc/14039/task/14092/stat : 14092 (java) R 14036 14039 12709 0 -1 4202560 12335 12853 0 0 56 3 5 2 20 0 15 0 59412066 11079016448 21666 33554432000 4194304 4196468 140722956799328 140593886823440 140593896566171 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14093] ppid=14036 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14093/stat : 14093 (java) S 14036 14039 12709 0 -1 1077944384 1 12853 0 0 0 0 5 2 20 0 15 0 59412067 11079016448 21666 33554432000 4194304 4196468 140722956799328 140593919244560 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14094] ppid=14036 vsize=10819352 memory=288230587427469581 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14094/stat : 14094 (java) S 14036 14039 12709 0 -1 1077944384 1 12853 0 0 0 0 5 2 20 0 15 0 59412067 11079016448 21666 33554432000 4194304 4196468 140722956799328 140593818134928 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14095] ppid=14036 vsize=10819352 memory=15816694631256675 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14095/stat : 14095 (java) S 14036 14039 12709 0 -1 1077944384 1 12853 0 0 0 0 5 2 20 0 15 0 59412067 11079016448 21666 33554432000 4194304 4196468 140722956799328 140593817082384 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14096] ppid=14036 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14096/stat : 14096 (java) S 14036 14039 12709 0 -1 1077944384 2 12853 0 0 0 0 5 2 20 0 15 0 59412067 11079016448 21666 33554432000 4194304 4196468 140722956799328 140593816029840 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14097] ppid=14036 vsize=10819352 memory=139919968477696 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14097/stat : 14097 (java) S 14036 14039 12709 0 -1 1077944384 5 12853 0 0 0 0 5 2 20 0 15 0 59412068 11079016448 21666 33554432000 4194304 4196468 140722956799328 140593373936112 140593915013762 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14098] ppid=14036 vsize=10819352 memory=139921444570133 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14098/stat : 14098 (java) S 14036 14039 12709 0 -1 1077944384 33 12853 0 0 0 0 5 2 20 0 15 0 59412068 11079016448 21666 33554432000 4194304 4196468 140722956799328 140593372882336 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14099] ppid=14036 vsize=10819352 memory=952 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14099/stat : 14099 (java) S 14036 14039 12709 0 -1 1077944384 1 12853 0 0 0 0 5 2 20 0 15 0 59412069 11079016448 21666 33554432000 4194304 4196468 140722956799328 140593016595952 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14100] ppid=14036 vsize=10819352 memory=7305218370954682711 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14100/stat : 14100 (java) S 14036 14039 12709 0 -1 1077944384 3 12853 0 0 0 0 5 2 20 0 15 0 59412071 11079016448 21666 33554432000 4194304 4196468 140722956799328 140592983038672 140593915021211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14101] ppid=14036 vsize=10819352 memory=7452169109558027630 CPUtime=0.15 cores=1,3,5,7
/proc/14039/task/14101/stat : 14101 (java) S 14036 14039 12709 0 -1 1077944384 938 12853 0 0 8 0 5 2 20 0 15 0 59412071 11079016448 21666 33554432000 4194304 4196468 140722956799328 140592949479408 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14102] ppid=14036 vsize=10819352 memory=6935653654008516688 CPUtime=0.16 cores=1,3,5,7
/proc/14039/task/14102/stat : 14102 (java) S 14036 14039 12709 0 -1 1077944384 606 12853 0 0 9 0 5 2 20 0 15 0 59412071 11079016448 21666 33554432000 4194304 4196468 140722956799328 140592948426864 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14103] ppid=14036 vsize=10819352 memory=5450909908396308010 CPUtime=0.2 cores=1,3,5,7
/proc/14039/task/14103/stat : 14103 (java) S 14036 14039 12709 0 -1 1077944384 635 12853 0 0 13 0 5 2 20 0 15 0 59412071 11079016448 21666 33554432000 4194304 4196468 140722956799328 140592947374320 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14104] ppid=14036 vsize=10819352 memory=1404238533774450294 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14104/stat : 14104 (java) S 14036 14039 12709 0 -1 1077944384 3 12853 0 0 0 0 5 2 20 0 15 0 59412072 11079016448 21666 33554432000 4194304 4196468 140722956799328 140592264768096 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14105] ppid=14036 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14105/stat : 14105 (java) S 14036 14039 12709 0 -1 1077944384 1 12853 0 0 0 0 5 2 20 0 15 0 59412072 11079016448 21666 33554432000 4194304 4196468 140722956799328 140592946322224 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86664 KiB
[startup+1.50166 s]
/proc/loadavg: 1.28 1.42 1.88 3/218 14105
/proc/meminfo: memFree=15812348/32770624 swapFree=67108860/67108860
[pid=14039] ppid=14036 vsize=10828108 memory=345500 CPUtime=2.84 cores=1,3,5,7
/proc/14039/stat : 14039 (java) S 14036 14039 12709 0 -1 1077944320 22907 12853 0 0 258 19 5 2 20 0 15 0 59412057 11087982592 86375 33554432000 4194304 4196468 140722956799328 140722956781872 140593915002615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
/proc/14039/statm: 2707027 86375 3464 1 0 2668685 0
[pid=14039/tid=14092] ppid=14036 vsize=10828108 memory=286844 CPUtime=1.4 cores=1,3,5,7
/proc/14039/task/14092/stat : 14092 (java) S 14036 14039 12709 0 -1 1077944384 15416 12853 0 0 126 7 5 2 20 0 15 0 59412066 11087982592 86375 33554432000 4194304 4196468 140722956799328 140593886836944 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14093] ppid=14036 vsize=10828108 memory=-3117775541953848420 CPUtime=0.1 cores=1,3,5,7
/proc/14039/task/14093/stat : 14093 (java) R 14036 14039 12709 0 -1 4202560 50 12853 0 0 2 1 5 2 20 0 15 0 59412067 11087982592 86375 33554432000 4194304 4196468 140722956799328 140593919244560 140593900027967 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14094] ppid=14036 vsize=10828108 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/14039/task/14094/stat : 14094 (java) R 14036 14039 12709 0 -1 4202560 100 12853 0 0 3 1 5 2 20 0 15 0 59412067 11087982592 86375 33554432000 4194304 4196468 140722956799328 140593818135128 140593908107293 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14095] ppid=14036 vsize=10828108 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/14039/task/14095/stat : 14095 (java) R 14036 14039 12709 0 -1 4202560 272 12853 0 0 2 1 5 2 20 0 15 0 59412067 11087982592 86375 33554432000 4194304 4196468 140722956799328 140593817082384 140593900024736 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14096] ppid=14036 vsize=10828108 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/14039/task/14096/stat : 14096 (java) R 14036 14039 12709 0 -1 4202560 289 12853 0 0 2 2 5 2 20 0 15 0 59412067 11087982592 86375 33554432000 4194304 4196468 140722956799328 140593816030040 140593908107313 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14097] ppid=14036 vsize=10828108 memory=200466122206512 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14097/stat : 14097 (java) S 14036 14039 12709 0 -1 1077944384 94 12853 0 0 0 0 5 2 20 0 15 0 59412068 11087982592 86375 33554432000 4194304 4196468 140722956799328 140593373934624 140593915012821 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14098] ppid=14036 vsize=10828108 memory=4134682004093673504 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14098/stat : 14098 (java) S 14036 14039 12709 0 -1 1077944384 34 12853 0 0 0 0 5 2 20 0 15 0 59412068 11087982592 86375 33554432000 4194304 4196468 140722956799328 140593372882336 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14099] ppid=14036 vsize=10828108 memory=4638778402628129104 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14099/stat : 14099 (java) S 14036 14039 12709 0 -1 1077944384 2 12853 0 0 0 0 5 2 20 0 15 0 59412069 11087982592 86375 33554432000 4194304 4196468 140722956799328 140593016595952 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14100] ppid=14036 vsize=10828108 memory=6935649255776346176 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14100/stat : 14100 (java) S 14036 14039 12709 0 -1 1077944384 3 12853 0 0 0 0 5 2 20 0 15 0 59412071 11087982592 86375 33554432000 4194304 4196468 140722956799328 140592983038672 140593915021211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14101] ppid=14036 vsize=10828108 memory=279839936348400 CPUtime=0.54 cores=1,3,5,7
/proc/14039/task/14101/stat : 14101 (java) R 14036 14039 12709 0 -1 4202560 1677 12853 0 0 47 0 5 2 20 0 15 0 59412071 11087982592 86375 33554432000 4194304 4196468 140722956799328 140592949466256 140593896520514 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14102] ppid=14036 vsize=10828108 memory=6935649255759570240 CPUtime=0.46 cores=1,3,5,7
/proc/14039/task/14102/stat : 14102 (java) S 14036 14039 12709 0 -1 1077944384 1033 12853 0 0 39 0 5 2 20 0 15 0 59412071 11087982592 86375 33554432000 4194304 4196468 140722956799328 140592948426864 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14103] ppid=14036 vsize=10828108 memory=-6651918385984727399 CPUtime=0.41 cores=1,3,5,7
/proc/14039/task/14103/stat : 14103 (java) S 14036 14039 12709 0 -1 1077944384 1738 12853 0 0 34 0 5 2 20 0 15 0 59412071 11087982592 86375 33554432000 4194304 4196468 140722956799328 140592947374320 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14104] ppid=14036 vsize=10828108 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14104/stat : 14104 (java) S 14036 14039 12709 0 -1 1077944384 3 12853 0 0 0 0 5 2 20 0 15 0 59412072 11087982592 86375 33554432000 4194304 4196468 140722956799328 140592264768096 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14105] ppid=14036 vsize=10828108 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14105/stat : 14105 (java) S 14036 14039 12709 0 -1 1077944384 3 12853 0 0 0 0 5 2 20 0 15 0 59412072 11087982592 86375 33554432000 4194304 4196468 140722956799328 140592946322224 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 10828108 KiB
################
# More data... #
################
/proc/14039/task/14092/stat : 14092 (java) R 14036 14039 12709 0 -1 4202560 2474698 12853 0 0 228040 193 5 2 20 0 15 0 59412066 11178180608 1598797 33554432000 4194304 4196468 140722956799328 140593886836968 140593502703562 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14093] ppid=14036 vsize=10916192 memory=6384080 CPUtime=36.08 cores=1,3,5,7
/proc/14039/task/14093/stat : 14093 (java) S 14036 14039 12709 0 -1 1077944384 212907 12853 0 0 3493 108 5 2 20 0 15 0 59412067 11178180608 1598797 33554432000 4194304 4196468 140722956799328 140593919244560 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14094] ppid=14036 vsize=10916192 memory=6375464 CPUtime=36.23 cores=1,3,5,7
/proc/14039/task/14094/stat : 14094 (java) S 14036 14039 12709 0 -1 1077944384 206688 12853 0 0 3513 103 5 2 20 0 15 0 59412067 11178180608 1598797 33554432000 4194304 4196468 140722956799328 140593818134928 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14095] ppid=14036 vsize=10916192 memory=6394784 CPUtime=36.33 cores=1,3,5,7
/proc/14039/task/14095/stat : 14095 (java) S 14036 14039 12709 0 -1 1077944384 202751 12853 0 0 3524 102 5 2 20 0 15 0 59412067 11178180608 1598797 33554432000 4194304 4196468 140722956799328 140593817082384 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14096] ppid=14036 vsize=10916192 memory=6395088 CPUtime=36.19 cores=1,3,5,7
/proc/14039/task/14096/stat : 14096 (java) S 14036 14039 12709 0 -1 1077944384 203823 12853 0 0 3516 96 5 2 20 0 15 0 59412067 11178180608 1598797 33554432000 4194304 4196468 140722956799328 140593816029840 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14097] ppid=14036 vsize=10916192 memory=6395088 CPUtime=3.34 cores=1,3,5,7
/proc/14039/task/14097/stat : 14097 (java) S 14036 14039 12709 0 -1 1077944384 44163 12853 0 0 317 10 5 2 20 0 15 0 59412068 11178180608 1598797 33554432000 4194304 4196468 140722956799328 140593373936112 140593915013762 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14098] ppid=14036 vsize=10916192 memory=6395188 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14098/stat : 14098 (java) S 14036 14039 12709 0 -1 1077944384 64 12853 0 0 0 0 5 2 20 0 15 0 59412068 11178180608 1598797 33554432000 4194304 4196468 140722956799328 140593372882464 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14099] ppid=14036 vsize=10916192 memory=6394784 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14099/stat : 14099 (java) S 14036 14039 12709 0 -1 1077944384 17 12853 0 0 0 0 5 2 20 0 15 0 59412069 11178180608 1598797 33554432000 4194304 4196468 140722956799328 140593016595968 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14100] ppid=14036 vsize=10916192 memory=1696 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14100/stat : 14100 (java) S 14036 14039 12709 0 -1 1077944384 3 12853 0 0 0 0 5 2 20 0 15 0 59412071 11178180608 1598797 33554432000 4194304 4196468 140722956799328 140592983038672 140593915021211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14101] ppid=14036 vsize=10916192 memory=8384 CPUtime=5.48 cores=1,3,5,7
/proc/14039/task/14101/stat : 14101 (java) S 14036 14039 12709 0 -1 1077944384 53716 12853 0 0 535 6 5 2 20 0 15 0 59412071 11178180608 1598797 33554432000 4194304 4196468 140722956799328 140592949479408 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14102] ppid=14036 vsize=10916192 memory=0 CPUtime=5.95 cores=1,3,5,7
/proc/14039/task/14102/stat : 14102 (java) S 14036 14039 12709 0 -1 1077944384 60299 12853 0 0 580 8 5 2 20 0 15 0 59412071 11178180608 1598797 33554432000 4194304 4196468 140722956799328 140592948426864 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14103] ppid=14036 vsize=10916192 memory=133 CPUtime=2.27 cores=1,3,5,7
/proc/14039/task/14103/stat : 14103 (java) S 14036 14039 12709 0 -1 1077944384 63747 12853 0 0 213 7 5 2 20 0 15 0 59412071 11178180608 1598797 33554432000 4194304 4196468 140722956799328 140592947374320 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14104] ppid=14036 vsize=10916192 memory=6395088 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14104/stat : 14104 (java) S 14036 14039 12709 0 -1 1077944384 3 12853 0 0 0 0 5 2 20 0 15 0 59412072 11178180608 1598797 33554432000 4194304 4196468 140722956799328 140592264768096 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14105] ppid=14036 vsize=10916192 memory=6395088 CPUtime=1.47 cores=1,3,5,7
/proc/14039/task/14105/stat : 14105 (java) S 14036 14039 12709 0 -1 1077944384 2926 12853 0 0 67 73 5 2 20 0 15 0 59412072 11178180608 1598797 33554432000 4194304 4196468 140722956799328 140592946322224 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
Current children cumulated CPU time: 2445.21 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 6395188 KiB
[startup+2382.3 s]
/proc/loadavg: 1.46 1.52 1.57 3/218 14460
/proc/meminfo: memFree=9429232/32770624 swapFree=67108860/67108860
[pid=14039] ppid=14036 vsize=10916192 memory=6438568 CPUtime=2505.99 cores=1,3,5,7
/proc/14039/stat : 14039 (java) S 14036 14039 12709 0 -1 1077944320 3552446 12853 0 0 249894 698 5 2 20 0 15 0 59412057 11178180608 1609642 33554432000 4194304 4196468 140722956799328 140722956781872 140593915002615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
/proc/14039/statm: 2729048 1609642 3534 1 0 2690701 0
[pid=14039/tid=14092] ppid=14036 vsize=10916192 memory=6791534058613427641 CPUtime=2342.12 cores=1,3,5,7
/proc/14039/task/14092/stat : 14092 (java) R 14036 14039 12709 0 -1 4202560 2488920 12853 0 0 234010 195 5 2 20 0 15 0 59412066 11178180608 1609642 33554432000 4194304 4196468 140722956799328 140593879674224 140593503779880 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14093] ppid=14036 vsize=10916192 memory=6436508 CPUtime=36.29 cores=1,3,5,7
/proc/14039/task/14093/stat : 14093 (java) S 14036 14039 12709 0 -1 1077944384 215154 12853 0 0 3514 108 5 2 20 0 15 0 59412067 11178180608 1609642 33554432000 4194304 4196468 140722956799328 140593919244560 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14094] ppid=14036 vsize=10916192 memory=6411892 CPUtime=36.44 cores=1,3,5,7
/proc/14039/task/14094/stat : 14094 (java) S 14036 14039 12709 0 -1 1077944384 208832 12853 0 0 3534 103 5 2 20 0 15 0 59412067 11178180608 1609642 33554432000 4194304 4196468 140722956799328 140593818134928 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14095] ppid=14036 vsize=10916192 memory=56 CPUtime=36.55 cores=1,3,5,7
/proc/14039/task/14095/stat : 14095 (java) S 14036 14039 12709 0 -1 1077944384 204093 12853 0 0 3545 103 5 2 20 0 15 0 59412067 11178180608 1609642 33554432000 4194304 4196468 140722956799328 140593817082384 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14096] ppid=14036 vsize=10916192 memory=6430360 CPUtime=36.41 cores=1,3,5,7
/proc/14039/task/14096/stat : 14096 (java) S 14036 14039 12709 0 -1 1077944384 205045 12853 0 0 3537 97 5 2 20 0 15 0 59412067 11178180608 1609642 33554432000 4194304 4196468 140722956799328 140593816029840 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14097] ppid=14036 vsize=10916192 memory=6436508 CPUtime=3.41 cores=1,3,5,7
/proc/14039/task/14097/stat : 14097 (java) S 14036 14039 12709 0 -1 1077944384 44480 12853 0 0 324 10 5 2 20 0 15 0 59412068 11178180608 1609642 33554432000 4194304 4196468 140722956799328 140593373936112 140593915013762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14098] ppid=14036 vsize=10916192 memory=6438568 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14098/stat : 14098 (java) S 14036 14039 12709 0 -1 1077944384 64 12853 0 0 0 0 5 2 20 0 15 0 59412068 11178180608 1609642 33554432000 4194304 4196468 140722956799328 140593372882464 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14099] ppid=14036 vsize=10916192 memory=6436508 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14099/stat : 14099 (java) S 14036 14039 12709 0 -1 1077944384 17 12853 0 0 0 0 5 2 20 0 15 0 59412069 11178180608 1609642 33554432000 4194304 4196468 140722956799328 140593016595968 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14100] ppid=14036 vsize=10916192 memory=1728 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14100/stat : 14100 (java) S 14036 14039 12709 0 -1 1077944384 3 12853 0 0 0 0 5 2 20 0 15 0 59412071 11178180608 1609642 33554432000 4194304 4196468 140722956799328 140592983038672 140593915021211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14101] ppid=14036 vsize=10916192 memory=6409840 CPUtime=5.53 cores=1,3,5,7
/proc/14039/task/14101/stat : 14101 (java) S 14036 14039 12709 0 -1 1077944384 54787 12853 0 0 539 7 5 2 20 0 15 0 59412071 11178180608 1609642 33554432000 4194304 4196468 140722956799328 140592949479408 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14102] ppid=14036 vsize=10916192 memory=6409840 CPUtime=5.99 cores=1,3,5,7
/proc/14039/task/14102/stat : 14102 (java) S 14036 14039 12709 0 -1 1077944384 61649 12853 0 0 584 8 5 2 20 0 15 0 59412071 11178180608 1609642 33554432000 4194304 4196468 140722956799328 140592948426864 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14103] ppid=14036 vsize=10916192 memory=279839937162496 CPUtime=2.28 cores=1,3,5,7
/proc/14039/task/14103/stat : 14103 (java) S 14036 14039 12709 0 -1 1077944384 64224 12853 0 0 214 7 5 2 20 0 15 0 59412071 11178180608 1609642 33554432000 4194304 4196468 140722956799328 140592947374320 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14104] ppid=14036 vsize=10916192 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14104/stat : 14104 (java) S 14036 14039 12709 0 -1 1077944384 3 12853 0 0 0 0 5 2 20 0 15 0 59412072 11178180608 1609642 33554432000 4194304 4196468 140722956799328 140592264768096 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14105] ppid=14036 vsize=10916192 memory=3828 CPUtime=1.5 cores=1,3,5,7
/proc/14039/task/14105/stat : 14105 (java) S 14036 14039 12709 0 -1 1077944384 2982 12853 0 0 68 75 5 2 20 0 15 0 59412072 11178180608 1609642 33554432000 4194304 4196468 140722956799328 140592946322224 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
Current children cumulated CPU time: 2505.99 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 6438568 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2396.2 s]
/proc/loadavg: 1.43 1.51 1.56 3/218 14461
/proc/meminfo: memFree=9425536/32770624 swapFree=67108860/67108860
[pid=14039] ppid=14036 vsize=10916192 memory=6442676 CPUtime=2520.03 cores=1,3,5,7
/proc/14039/stat : 14039 (java) S 14036 14039 12709 0 -1 1077944320 3553994 12853 0 0 251297 699 5 2 20 0 15 0 59412057 11178180608 1610669 33554432000 4194304 4196468 140722956799328 140722956781872 140593915002615 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
/proc/14039/statm: 2729048 1610669 3534 1 0 2690701 0
[pid=14039/tid=14092] ppid=14036 vsize=10916192 memory=15868 CPUtime=2355.98 cores=1,3,5,7
/proc/14039/task/14092/stat : 14092 (java) R 14036 14039 12709 0 -1 4202560 2489378 12853 0 0 235396 195 5 2 20 0 15 0 59412066 11178180608 1610669 33554432000 4194304 4196468 140722956799328 140593881905264 140593502708496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14093] ppid=14036 vsize=10916192 memory=4012 CPUtime=36.32 cores=1,3,5,7
/proc/14039/task/14093/stat : 14093 (java) S 14036 14039 12709 0 -1 1077944384 215156 12853 0 0 3517 108 5 2 20 0 15 0 59412067 11178180608 1610669 33554432000 4194304 4196468 140722956799328 140593919244560 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14094] ppid=14036 vsize=10916192 memory=6791534058613427641 CPUtime=36.47 cores=1,3,5,7
/proc/14039/task/14094/stat : 14094 (java) S 14036 14039 12709 0 -1 1077944384 208835 12853 0 0 3537 103 5 2 20 0 15 0 59412067 11178180608 1610669 33554432000 4194304 4196468 140722956799328 140593818134928 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14095] ppid=14036 vsize=10916192 memory=288230596050944315 CPUtime=36.58 cores=1,3,5,7
/proc/14039/task/14095/stat : 14095 (java) S 14036 14039 12709 0 -1 1077944384 204136 12853 0 0 3548 103 5 2 20 0 15 0 59412067 11178180608 1610669 33554432000 4194304 4196468 140722956799328 140593817082384 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14096] ppid=14036 vsize=10916192 memory=14134441857518180 CPUtime=36.44 cores=1,3,5,7
/proc/14039/task/14096/stat : 14096 (java) S 14036 14039 12709 0 -1 1077944384 205046 12853 0 0 3540 97 5 2 20 0 15 0 59412067 11178180608 1610669 33554432000 4194304 4196468 140722956799328 140593816029840 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14097] ppid=14036 vsize=10916192 memory=1228 CPUtime=3.42 cores=1,3,5,7
/proc/14039/task/14097/stat : 14097 (java) S 14036 14039 12709 0 -1 1077944384 44485 12853 0 0 325 10 5 2 20 0 15 0 59412068 11178180608 1610669 33554432000 4194304 4196468 140722956799328 140593373936112 140593915013762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14098] ppid=14036 vsize=10916192 memory=1948 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14098/stat : 14098 (java) S 14036 14039 12709 0 -1 1077944384 64 12853 0 0 0 0 5 2 20 0 15 0 59412068 11178180608 1610669 33554432000 4194304 4196468 140722956799328 140593372882464 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14099] ppid=14036 vsize=10916192 memory=5524 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14099/stat : 14099 (java) S 14036 14039 12709 0 -1 1077944384 17 12853 0 0 0 0 5 2 20 0 15 0 59412069 11178180608 1610669 33554432000 4194304 4196468 140722956799328 140593016595968 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14100] ppid=14036 vsize=10916192 memory=1444 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14100/stat : 14100 (java) S 14036 14039 12709 0 -1 1077944384 3 12853 0 0 0 0 5 2 20 0 15 0 59412071 11178180608 1610669 33554432000 4194304 4196468 140722956799328 140592983038672 140593915021211 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14101] ppid=14036 vsize=10916192 memory=1200 CPUtime=5.55 cores=1,3,5,7
/proc/14039/task/14101/stat : 14101 (java) S 14036 14039 12709 0 -1 1077944384 55818 12853 0 0 541 7 5 2 20 0 15 0 59412071 11178180608 1610669 33554432000 4194304 4196468 140722956799328 140592949479408 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14102] ppid=14036 vsize=10916192 memory=1008 CPUtime=5.99 cores=1,3,5,7
/proc/14039/task/14102/stat : 14102 (java) S 14036 14039 12709 0 -1 1077944384 61649 12853 0 0 584 8 5 2 20 0 15 0 59412071 11178180608 1610669 33554432000 4194304 4196468 140722956799328 140592948426864 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14103] ppid=14036 vsize=10916192 memory=11968 CPUtime=2.28 cores=1,3,5,7
/proc/14039/task/14103/stat : 14103 (java) S 14036 14039 12709 0 -1 1077944384 64224 12853 0 0 214 7 5 2 20 0 15 0 59412071 11178180608 1610669 33554432000 4194304 4196468 140722956799328 140592947374320 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14104] ppid=14036 vsize=10916192 memory=1696 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14104/stat : 14104 (java) S 14036 14039 12709 0 -1 1077944384 3 12853 0 0 0 0 5 2 20 0 15 0 59412072 11178180608 1610669 33554432000 4194304 4196468 140722956799328 140592264768096 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14105] ppid=14036 vsize=10916192 memory=8384 CPUtime=1.51 cores=1,3,5,7
/proc/14039/task/14105/stat : 14105 (java) S 14036 14039 12709 0 -1 1077944384 2987 12853 0 0 69 75 5 2 20 0 15 0 59412072 11178180608 1610669 33554432000 4194304 4196468 140722956799328 140592946322224 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 6442676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2396.49 s]
# the end of solver process 14039 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.29 s, system=7.05475 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2396.4 s]
/proc/loadavg: 1.43 1.51 1.56 3/218 14461
/proc/meminfo: memFree=9425536/32770624 swapFree=67108860/67108860
[pid=14039] ppid=14036 vsize=11112808 memory=6446864 CPUtime=2520.24 cores=1,3,5,7
/proc/14039/stat : 14039 (java) S 14036 14039 12709 0 -1 1077944320 3554417 12853 0 0 251318 699 5 2 20 0 17 0 59412057 11379515392 1611716 33554432000 4194304 4196468 140722956799328 140722956781872 140593915002615 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
/proc/14039/statm: 2778202 1611716 3534 1 0 2739855 0
[pid=14039/tid=14092] ppid=14036 vsize=11112808 memory=15868 CPUtime=2356.18 cores=1,3,5,7
/proc/14039/task/14092/stat : 14092 (java) R 14036 14039 12709 0 -1 4202560 2489378 12853 0 0 235416 195 5 2 20 0 17 0 59412066 11379515392 1611716 33554432000 4194304 4196468 140722956799328 140593881905264 140593503779979 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14093] ppid=14036 vsize=11112808 memory=6791534058613427641 CPUtime=36.32 cores=1,3,5,7
/proc/14039/task/14093/stat : 14093 (java) S 14036 14039 12709 0 -1 1077944384 215156 12853 0 0 3517 108 5 2 20 0 17 0 59412067 11379515392 1611716 33554432000 4194304 4196468 140722956799328 140593919244560 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14094] ppid=14036 vsize=11112808 memory=1408 CPUtime=36.47 cores=1,3,5,7
/proc/14039/task/14094/stat : 14094 (java) S 14036 14039 12709 0 -1 1077944384 208835 12853 0 0 3537 103 5 2 20 0 17 0 59412067 11379515392 1611716 33554432000 4194304 4196468 140722956799328 140593818134928 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14095] ppid=14036 vsize=11112808 memory=288230574492221466 CPUtime=36.58 cores=1,3,5,7
/proc/14039/task/14095/stat : 14095 (java) S 14036 14039 12709 0 -1 1077944384 204136 12853 0 0 3548 103 5 2 20 0 17 0 59412067 11379515392 1611716 33554432000 4194304 4196468 140722956799328 140593817082384 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14096] ppid=14036 vsize=11112808 memory=288230596050944315 CPUtime=36.44 cores=1,3,5,7
/proc/14039/task/14096/stat : 14096 (java) S 14036 14039 12709 0 -1 1077944384 205046 12853 0 0 3540 97 5 2 20 0 17 0 59412067 11379515392 1611716 33554432000 4194304 4196468 140722956799328 140593816029840 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14097] ppid=14036 vsize=11112808 memory=6442676 CPUtime=3.42 cores=1,3,5,7
/proc/14039/task/14097/stat : 14097 (java) S 14036 14039 12709 0 -1 1077944384 44485 12853 0 0 325 10 5 2 20 0 17 0 59412068 11379515392 1611716 33554432000 4194304 4196468 140722956799328 140593373936112 140593915013762 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14098] ppid=14036 vsize=11112808 memory=3200 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14098/stat : 14098 (java) S 14036 14039 12709 0 -1 1077944384 64 12853 0 0 0 0 5 2 20 0 17 0 59412068 11379515392 1611716 33554432000 4194304 4196468 140722956799328 140593372882464 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14099] ppid=14036 vsize=11112808 memory=6442664 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14099/stat : 14099 (java) S 14036 14039 12709 0 -1 1077944384 17 12853 0 0 0 0 5 2 20 0 17 0 59412069 11379515392 1611716 33554432000 4194304 4196468 140722956799328 140593016595968 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14100] ppid=14036 vsize=11112808 memory=4100 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14100/stat : 14100 (java) S 14036 14039 12709 0 -1 1077944384 162 12853 0 0 0 0 5 2 20 0 17 0 59412071 11379515392 1611716 33554432000 4194304 4196468 140722956799328 140592983038672 140593915021211 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14101] ppid=14036 vsize=11112808 memory=1408 CPUtime=5.55 cores=1,3,5,7
/proc/14039/task/14101/stat : 14101 (java) S 14036 14039 12709 0 -1 1077944384 55818 12853 0 0 541 7 5 2 20 0 17 0 59412071 11379515392 1611716 33554432000 4194304 4196468 140722956799328 140592949479408 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14102] ppid=14036 vsize=11112808 memory=3180 CPUtime=5.99 cores=1,3,5,7
/proc/14039/task/14102/stat : 14102 (java) S 14036 14039 12709 0 -1 1077944384 61649 12853 0 0 584 8 5 2 20 0 17 0 59412071 11379515392 1611716 33554432000 4194304 4196468 140722956799328 140592948426864 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14103] ppid=14036 vsize=11112808 memory=1019544 CPUtime=2.28 cores=1,3,5,7
/proc/14039/task/14103/stat : 14103 (java) S 14036 14039 12709 0 -1 1077944384 64224 12853 0 0 214 7 5 2 20 0 17 0 59412071 11379515392 1611716 33554432000 4194304 4196468 140722956799328 140592947374320 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14104] ppid=14036 vsize=11112808 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/14039/task/14104/stat : 14104 (java) S 14036 14039 12709 0 -1 1077944384 3 12853 0 0 0 0 5 2 20 0 17 0 59412072 11379515392 1611716 33554432000 4194304 4196468 140722956799328 140592264768096 140593915012821 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
[pid=14039/tid=14105] ppid=14036 vsize=11112808 memory=3180 CPUtime=1.51 cores=1,3,5,7
/proc/14039/task/14105/stat : 14105 (java) S 14036 14039 12709 0 -1 1077944384 2987 12853 0 0 69 75 5 2 20 0 17 0 59412072 11379515392 1611716 33554432000 4194304 4196468 140722956799328 140592946322224 140593915013762 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19120128 140722956806316 140722956809564 140722956809564 140722956812239 0
Current children cumulated CPU time: 2520.24 s
Current children cumulated vsize: 11112808 KiB
Current children cumulated memory: 6446864 KiB
Child status: 143
Real time (s): 2396.49
CPU time (s): 2520.35
CPU user time (s): 2513.29
CPU system time (s): 7.05475
CPU usage (%): 105.168
Max. virtual memory (cumulated for all children) (KiB): 11112808
Max. memory (cumulated for all children) (KiB): 6937844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.29
system time used= 7.05475
maximum resident set size= 6937920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3569161
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= 71731
involuntary context switches= 4365
# summary of solver processes directly reported to runsolver:
# pid: 14039
# total CPU time (s): 2520.35
# total CPU user time (s): 2513.29
# total CPU system time (s): 7.05475
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0646 second user time and 23.5429 second system time
The end