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 (12806 MiB free)
memory of node 1: 16384 MiB (14750 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301211-1532875965/watcher-4301211-1532875965 -o /tmp/evaluation-result-4301211-1532875965/solver-4301211-1532875965 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532875965-20369 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301211-1532875965.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20396, runsolver pid=20391
Current StackSize limit: 8192 KiB
[startup+0.10012 s]*
/proc/loadavg: 1.05 1.55 1.86 5/215 20427
/proc/meminfo: memFree=28180248/32770624 swapFree=67108792/67108860
[pid=20396] ppid=20391 vsize=10659012 memory=30472 CPUtime=0.12 cores=1,3,5,7
/proc/20396/stat : 20396 (java) S 20391 20396 16915 0 -1 1077944320 6690 0 0 0 11 1 0 0 20 0 15 0 105159759 10914828288 7618 33554432000 4194304 4196468 140731123422736 140731123405280 139635176718071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
/proc/20396/statm: 2664753 7618 2844 1 0 2627263 0
[pid=20396/tid=20400] ppid=20391 vsize=10659012 memory=5450919713671312938 CPUtime=0.09 cores=1,3,5,7
/proc/20396/task/20400/stat : 20400 (java) R 20391 20396 16915 0 -1 4202560 4525 0 0 0 8 1 0 0 20 0 15 0 105159759 10914828288 7618 33554432000 4194304 4196468 140731123422736 139635180939568 139635176739418 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20403] ppid=20391 vsize=10659012 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20403/stat : 20403 (java) S 20391 20396 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105159760 10914828288 7618 33554432000 4194304 4196468 140731123422736 139635102792336 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20404] ppid=20391 vsize=10659012 memory=140062232249984 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20404/stat : 20404 (java) S 20391 20396 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105159760 10914828288 7618 33554432000 4194304 4196468 140731123422736 139635101739536 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20406] ppid=20391 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20406/stat : 20406 (java) S 20391 20396 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105159760 10914828288 7618 33554432000 4194304 4196468 140731123422736 139635100686736 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20407] ppid=20391 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20407/stat : 20407 (java) S 20391 20396 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105159760 10914828288 7618 33554432000 4194304 4196468 140731123422736 139635099633936 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20410] ppid=20391 vsize=10659012 memory=140062232249984 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20410/stat : 20410 (java) S 20391 20396 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105159762 10914828288 7618 33554432000 4194304 4196468 140731123422736 139634211257200 139635176729218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20412] ppid=20391 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20412/stat : 20412 (java) S 20391 20396 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105159762 10914828288 7618 33554432000 4194304 4196468 140731123422736 139634210203168 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20414] ppid=20391 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20414/stat : 20414 (java) S 20391 20396 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105159762 10914828288 7618 33554432000 4194304 4196468 140731123422736 139634209150320 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20416] ppid=20391 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20416/stat : 20416 (java) S 20391 20396 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105159765 10914828288 7618 33554432000 4194304 4196468 140731123422736 139634208098640 139635176736667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20417] ppid=20391 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20417/stat : 20417 (java) S 20391 20396 16915 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 105159765 10914828288 7618 33554432000 4194304 4196468 140731123422736 139634207046000 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20418] ppid=20391 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20418/stat : 20418 (java) S 20391 20396 16915 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 15 0 105159765 10914828288 7618 33554432000 4194304 4196468 140731123422736 139634205993200 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20419] ppid=20391 vsize=10659012 memory=140062232249984 CPUtime=0.02 cores=1,3,5,7
/proc/20396/task/20419/stat : 20419 (java) S 20391 20396 16915 0 -1 1077944384 349 0 0 0 2 0 0 0 20 0 15 0 105159765 10914828288 7618 33554432000 4194304 4196468 140731123422736 139634204940400 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20424] ppid=20391 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20424/stat : 20424 (java) S 20391 20396 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105159765 10914828288 7618 33554432000 4194304 4196468 140731123422736 139634203887840 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20426] ppid=20391 vsize=10659012 memory=140062232249984 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20426/stat : 20426 (java) S 20391 20396 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105159765 10914828288 7618 33554432000 4194304 4196468 140731123422736 139634202836144 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30472 KiB
[startup+0.210419 s]*
/proc/loadavg: 1.05 1.55 1.86 6/215 20427
/proc/meminfo: memFree=28164184/32770624 swapFree=67108792/67108860
[pid=20396] ppid=20391 vsize=10659012 memory=40764 CPUtime=0.33 cores=1,3,5,7
/proc/20396/stat : 20396 (java) S 20391 20396 16915 0 -1 1077944320 7826 0 0 0 31 2 0 0 20 0 15 0 105159759 10914828288 10191 33554432000 4194304 4196468 140731123422736 140731123405280 139635176718071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
/proc/20396/statm: 2664753 10191 2949 1 0 2627263 0
[pid=20396/tid=20400] ppid=20391 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/20396/task/20400/stat : 20400 (java) R 20391 20396 16915 0 -1 4202560 5027 0 0 0 19 1 0 0 20 0 15 0 105159759 10914828288 10191 33554432000 4194304 4196468 140731123422736 139635180954352 139634772416631 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20403] ppid=20391 vsize=10659012 memory=343 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20403/stat : 20403 (java) S 20391 20396 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105159760 10914828288 10191 33554432000 4194304 4196468 140731123422736 139635102792336 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20404] ppid=20391 vsize=10659012 memory=288370438383961728 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20404/stat : 20404 (java) S 20391 20396 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105159760 10914828288 10191 33554432000 4194304 4196468 140731123422736 139635101739536 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20406] ppid=20391 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20406/stat : 20406 (java) S 20391 20396 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105159760 10914828288 10191 33554432000 4194304 4196468 140731123422736 139635100686736 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20407] ppid=20391 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20407/stat : 20407 (java) S 20391 20396 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105159760 10914828288 10191 33554432000 4194304 4196468 140731123422736 139635099633936 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20410] ppid=20391 vsize=10659012 memory=140062232249984 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20410/stat : 20410 (java) S 20391 20396 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105159762 10914828288 10191 33554432000 4194304 4196468 140731123422736 139634211257200 139635176729218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20412] ppid=20391 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20412/stat : 20412 (java) S 20391 20396 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105159762 10914828288 10191 33554432000 4194304 4196468 140731123422736 139634210203168 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20414] ppid=20391 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20414/stat : 20414 (java) S 20391 20396 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105159762 10914828288 10191 33554432000 4194304 4196468 140731123422736 139634209150320 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20416] ppid=20391 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20416/stat : 20416 (java) S 20391 20396 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105159765 10914828288 10191 33554432000 4194304 4196468 140731123422736 139634208098640 139635176736667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20417] ppid=20391 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20396/task/20417/stat : 20417 (java) S 20391 20396 16915 0 -1 1077944384 395 0 0 0 2 0 0 0 20 0 15 0 105159765 10914828288 10191 33554432000 4194304 4196468 140731123422736 139634207046000 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20418] ppid=20391 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/20396/task/20418/stat : 20418 (java) S 20391 20396 16915 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 15 0 105159765 10914828288 10191 33554432000 4194304 4196468 140731123422736 139634205993200 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20419] ppid=20391 vsize=10659012 memory=140062232249984 CPUtime=0.07 cores=1,3,5,7
/proc/20396/task/20419/stat : 20419 (java) R 20391 20396 16915 0 -1 4202560 671 0 0 0 7 0 0 0 20 0 15 0 105159765 10914828288 10191 33554432000 4194304 4196468 140731123422736 139634204940400 139635176730006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20424] ppid=20391 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20424/stat : 20424 (java) S 20391 20396 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105159765 10914828288 10191 33554432000 4194304 4196468 140731123422736 139634203887840 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20426] ppid=20391 vsize=10659012 memory=140062232249984 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20426/stat : 20426 (java) S 20391 20396 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105159765 10914828288 10191 33554432000 4194304 4196468 140731123422736 139634202836144 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 40764 KiB
[startup+0.310336 s]*
/proc/loadavg: 1.05 1.55 1.86 8/215 20427
/proc/meminfo: memFree=28145512/32770624 swapFree=67108792/67108860
[pid=20396] ppid=20391 vsize=10659088 memory=46628 CPUtime=0.52 cores=1,3,5,7
/proc/20396/stat : 20396 (java) S 20391 20396 16915 0 -1 1077944320 8722 0 0 0 50 2 0 0 20 0 15 0 105159759 10914906112 11657 33554432000 4194304 4196468 140731123422736 140731123405280 139635176718071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
/proc/20396/statm: 2664772 11657 3064 1 0 2627263 0
[pid=20396/tid=20400] ppid=20391 vsize=10659088 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/20396/task/20400/stat : 20400 (java) S 20391 20396 16915 0 -1 1077944384 5627 0 0 0 28 1 0 0 20 0 15 0 105159759 10914906112 11657 33554432000 4194304 4196468 140731123422736 139635180952176 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20403] ppid=20391 vsize=10659088 memory=10572 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20403/stat : 20403 (java) S 20391 20396 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105159760 10914906112 11657 33554432000 4194304 4196468 140731123422736 139635102792336 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20404] ppid=20391 vsize=10659088 memory=288370438383961728 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20404/stat : 20404 (java) S 20391 20396 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105159760 10914906112 11657 33554432000 4194304 4196468 140731123422736 139635101739536 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20406] ppid=20391 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20406/stat : 20406 (java) S 20391 20396 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105159760 10914906112 11657 33554432000 4194304 4196468 140731123422736 139635100686736 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20407] ppid=20391 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20407/stat : 20407 (java) S 20391 20396 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105159760 10914906112 11657 33554432000 4194304 4196468 140731123422736 139635099633936 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20410] ppid=20391 vsize=10659088 memory=140062232249984 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20410/stat : 20410 (java) S 20391 20396 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105159762 10914906112 11657 33554432000 4194304 4196468 140731123422736 139634211257200 139635176729218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20412] ppid=20391 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20412/stat : 20412 (java) S 20391 20396 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105159762 10914906112 11657 33554432000 4194304 4196468 140731123422736 139634210203168 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20414] ppid=20391 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20414/stat : 20414 (java) S 20391 20396 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105159762 10914906112 11657 33554432000 4194304 4196468 140731123422736 139634209150320 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20416] ppid=20391 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20416/stat : 20416 (java) S 20391 20396 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105159765 10914906112 11657 33554432000 4194304 4196468 140731123422736 139634208098640 139635176736667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20417] ppid=20391 vsize=10659088 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/20396/task/20417/stat : 20417 (java) R 20391 20396 16915 0 -1 4202560 488 0 0 0 4 0 0 0 20 0 15 0 105159765 10914906112 11657 33554432000 4194304 4196468 140731123422736 139634207045184 139635158239471 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20418] ppid=20391 vsize=10659088 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/20396/task/20418/stat : 20418 (java) R 20391 20396 16915 0 -1 1077944384 442 0 0 0 3 0 0 0 20 0 15 0 105159765 10914906112 11657 33554432000 4194304 4196468 140731123422736 139634205984704 139635176728277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20419] ppid=20391 vsize=10659088 memory=140062232249984 CPUtime=0.13 cores=1,3,5,7
/proc/20396/task/20419/stat : 20419 (java) R 20391 20396 16915 0 -1 4202560 806 0 0 0 13 0 0 0 20 0 15 0 105159765 10914906112 11657 33554432000 4194304 4196468 140731123422736 139634204938360 139635161031617 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20424] ppid=20391 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20424/stat : 20424 (java) S 20391 20396 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105159765 10914906112 11657 33554432000 4194304 4196468 140731123422736 139634203887840 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20426] ppid=20391 vsize=10659088 memory=140062232249984 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20426/stat : 20426 (java) S 20391 20396 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105159765 10914906112 11657 33554432000 4194304 4196468 140731123422736 139634202836144 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 46628 KiB
[startup+0.700723 s]
/proc/loadavg: 1.05 1.55 1.86 9/215 20427
/proc/meminfo: memFree=28079068/32770624 swapFree=67108792/67108860
[pid=20396] ppid=20391 vsize=10659088 memory=152248 CPUtime=1.69 cores=1,3,5,7
/proc/20396/stat : 20396 (java) S 20391 20396 16915 0 -1 1077944320 15514 0 0 0 164 5 0 0 20 0 15 0 105159759 10914906112 38062 33554432000 4194304 4196468 140731123422736 140731123405280 139635176718071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
/proc/20396/statm: 2664772 38062 3112 1 0 2627263 0
[pid=20396/tid=20400] ppid=20391 vsize=10659088 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/20396/task/20400/stat : 20400 (java) R 20391 20396 16915 0 -1 4202560 6081 0 0 0 64 3 0 0 20 0 15 0 105159759 10914906112 38062 33554432000 4194304 4196468 140731123422736 139635180938224 139634773305659 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20403] ppid=20391 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20403/stat : 20403 (java) S 20391 20396 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105159760 10914906112 38062 33554432000 4194304 4196468 140731123422736 139635102792336 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20404] ppid=20391 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20404/stat : 20404 (java) S 20391 20396 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105159760 10914906112 38062 33554432000 4194304 4196468 140731123422736 139635101739536 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20406] ppid=20391 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20406/stat : 20406 (java) S 20391 20396 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105159760 10914906112 38062 33554432000 4194304 4196468 140731123422736 139635100686736 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20407] ppid=20391 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20407/stat : 20407 (java) S 20391 20396 16915 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105159760 10914906112 38062 33554432000 4194304 4196468 140731123422736 139635099633936 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20410] ppid=20391 vsize=10659088 memory=227722387284759 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20410/stat : 20410 (java) S 20391 20396 16915 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105159762 10914906112 38062 33554432000 4194304 4196468 140731123422736 139634211257200 139635176729218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20412] ppid=20391 vsize=10659088 memory=3977296629253554382 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20412/stat : 20412 (java) S 20391 20396 16915 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105159762 10914906112 38062 33554432000 4194304 4196468 140731123422736 139634210203168 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20414] ppid=20391 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20414/stat : 20414 (java) S 20391 20396 16915 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105159762 10914906112 38062 33554432000 4194304 4196468 140731123422736 139634209150320 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20416] ppid=20391 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20416/stat : 20416 (java) S 20391 20396 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105159765 10914906112 38062 33554432000 4194304 4196468 140731123422736 139634208098640 139635176736667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20417] ppid=20391 vsize=10659088 memory=7809523229951467570 CPUtime=0.34 cores=1,3,5,7
/proc/20396/task/20417/stat : 20417 (java) R 20391 20396 16915 0 -1 4202560 4586 0 0 0 34 0 0 0 20 0 15 0 105159765 10914906112 38062 33554432000 4194304 4196468 140731123422736 139634207027608 139635160214800 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20418] ppid=20391 vsize=10659088 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/20396/task/20418/stat : 20418 (java) R 20391 20396 16915 0 -1 4202560 1778 0 0 0 32 0 0 0 20 0 15 0 105159765 10914906112 38062 33554432000 4194304 4196468 140731123422736 139634205983520 139635160215018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20419] ppid=20391 vsize=10659088 memory=-3535359994705171810 CPUtime=0.31 cores=1,3,5,7
/proc/20396/task/20419/stat : 20419 (java) S 20391 20396 16915 0 -1 1077944384 1699 0 0 0 31 0 0 0 20 0 15 0 105159765 10914906112 38062 33554432000 4194304 4196468 140731123422736 139634204940400 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20424] ppid=20391 vsize=10659088 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20424/stat : 20424 (java) S 20391 20396 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105159765 10914906112 38062 33554432000 4194304 4196468 140731123422736 139634203887840 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20426] ppid=20391 vsize=10659088 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20426/stat : 20426 (java) S 20391 20396 16915 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105159765 10914906112 38062 33554432000 4194304 4196468 140731123422736 139634202836144 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 152248 KiB
[startup+1.50077 s]
/proc/loadavg: 1.05 1.55 1.86 8/215 20427
/proc/meminfo: memFree=27798648/32770624 swapFree=67108792/67108860
[pid=20396] ppid=20391 vsize=10661136 memory=333076 CPUtime=3.96 cores=1,3,5,7
/proc/20396/stat : 20396 (java) S 20391 20396 16915 0 -1 1077944320 21721 0 0 0 383 13 0 0 20 0 15 0 105159759 10917003264 83269 33554432000 4194304 4196468 140731123422736 140731123405280 139635176718071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
/proc/20396/statm: 2665284 83269 3152 1 0 2627775 0
[pid=20396/tid=20400] ppid=20391 vsize=10661136 memory=30276 CPUtime=1.4 cores=1,3,5,7
/proc/20396/task/20400/stat : 20400 (java) R 20391 20396 16915 0 -1 4202560 6133 0 0 0 135 5 0 0 20 0 15 0 105159759 10917003264 83269 33554432000 4194304 4196468 140731123422736 139635180944304 139634776153342 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20403] ppid=20391 vsize=10661136 memory=1292 CPUtime=0.02 cores=1,3,5,7
/proc/20396/task/20403/stat : 20403 (java) S 20391 20396 16915 0 -1 1077944384 29 0 0 0 2 0 0 0 20 0 15 0 105159760 10917003264 83269 33554432000 4194304 4196468 140731123422736 139635102792336 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20404] ppid=20391 vsize=10661136 memory=56 CPUtime=0.05 cores=1,3,5,7
/proc/20396/task/20404/stat : 20404 (java) S 20391 20396 16915 0 -1 1077944384 81 0 0 0 4 1 0 0 20 0 15 0 105159760 10917003264 83269 33554432000 4194304 4196468 140731123422736 139635101739536 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20406] ppid=20391 vsize=10661136 memory=10799 CPUtime=0.02 cores=1,3,5,7
/proc/20396/task/20406/stat : 20406 (java) S 20391 20396 16915 0 -1 1077944384 172 0 0 0 2 0 0 0 20 0 15 0 105159760 10917003264 83269 33554432000 4194304 4196468 140731123422736 139635100686736 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20407] ppid=20391 vsize=10661136 memory=25313 CPUtime=0.06 cores=1,3,5,7
/proc/20396/task/20407/stat : 20407 (java) S 20391 20396 16915 0 -1 1077944384 118 0 0 0 5 1 0 0 20 0 15 0 105159760 10917003264 83269 33554432000 4194304 4196468 140731123422736 139635099633936 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20410] ppid=20391 vsize=10661136 memory=-1161699032755964503 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20410/stat : 20410 (java) S 20391 20396 16915 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 105159762 10917003264 83269 33554432000 4194304 4196468 140731123422736 139634211257200 139635176729218 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
################
# More data... #
################
/proc/20396/task/20406/stat : 20406 (java) S 20391 20396 16915 0 -1 1077944384 6429 0 0 0 406 41 0 0 20 0 16 0 105159760 10985164800 808954 33554432000 4194304 4196468 140731123422736 139635100686736 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20407] ppid=20391 vsize=10727700 memory=140062105673760 CPUtime=4.48 cores=1,3,5,7
/proc/20396/task/20407/stat : 20407 (java) S 20391 20396 16915 0 -1 1077944384 4371 0 0 0 409 39 0 0 20 0 16 0 105159760 10985164800 808954 33554432000 4194304 4196468 140731123422736 139635099633936 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20410] ppid=20391 vsize=10727700 memory=3235816 CPUtime=1.43 cores=1,3,5,7
/proc/20396/task/20410/stat : 20410 (java) S 20391 20396 16915 0 -1 1077944384 4305 0 0 0 143 0 0 0 20 0 16 0 105159762 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634211257200 139635176729218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20412] ppid=20391 vsize=10727700 memory=3235816 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20412/stat : 20412 (java) S 20391 20396 16915 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 105159762 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634210203168 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20414] ppid=20391 vsize=10727700 memory=56 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20414/stat : 20414 (java) S 20391 20396 16915 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105159762 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634209150320 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20416] ppid=20391 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20416/stat : 20416 (java) S 20391 20396 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105159765 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634208098640 139635176736667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20417] ppid=20391 vsize=10727700 memory=280124210185712 CPUtime=2.16 cores=1,3,5,7
/proc/20396/task/20417/stat : 20417 (java) S 20391 20396 16915 0 -1 1077944384 12537 0 0 0 214 2 0 0 20 0 16 0 105159765 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634207046000 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20418] ppid=20391 vsize=10727700 memory=280124210170752 CPUtime=2.19 cores=1,3,5,7
/proc/20396/task/20418/stat : 20418 (java) S 20391 20396 16915 0 -1 1077944384 11016 0 0 0 217 2 0 0 20 0 16 0 105159765 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634205993200 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20419] ppid=20391 vsize=10727700 memory=4136 CPUtime=0.5 cores=1,3,5,7
/proc/20396/task/20419/stat : 20419 (java) S 20391 20396 16915 0 -1 1077944384 5596 0 0 0 49 1 0 0 20 0 16 0 105159765 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634204940400 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20424] ppid=20391 vsize=10727700 memory=30280 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20424/stat : 20424 (java) S 20391 20396 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105159765 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634203887840 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20426] ppid=20391 vsize=10727700 memory=3235816 CPUtime=0.1 cores=1,3,5,7
/proc/20396/task/20426/stat : 20426 (java) S 20391 20396 16915 0 -1 1077944384 376 0 0 0 5 5 0 0 20 0 16 0 105159765 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634202836144 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20428] ppid=20391 vsize=10727700 memory=140062105557351 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20428/stat : 20428 (java) S 20391 20396 16915 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105161527 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634199684528 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
Current children cumulated CPU time: 180.65 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 3235816 KiB
[startup+222.301 s]
/proc/loadavg: 2.33 2.17 2.06 3/217 20507
/proc/meminfo: memFree=22267204/32770624 swapFree=67108792/67108860
[pid=20396] ppid=20391 vsize=10727700 memory=3235816 CPUtime=240.68 cores=1,3,5,7
/proc/20396/stat : 20396 (java) S 20391 20396 16915 0 -1 1077944320 82587 0 0 0 23868 200 0 0 20 0 16 0 105159759 10985164800 808954 33554432000 4194304 4196468 140731123422736 140731123405280 139635176718071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
/proc/20396/statm: 2681925 808954 3191 1 0 2644416 0
[pid=20396/tid=20400] ppid=20391 vsize=10727700 memory=3235816 CPUtime=216.24 cores=1,3,5,7
/proc/20396/task/20400/stat : 20400 (java) R 20391 20396 16915 0 -1 4202560 24192 0 0 0 21600 24 0 0 20 0 16 0 105159759 10985164800 808954 33554432000 4194304 4196468 140731123422736 139635180953952 139634778032737 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20403] ppid=20391 vsize=10727700 memory=175389284540290 CPUtime=4.46 cores=1,3,5,7
/proc/20396/task/20403/stat : 20403 (java) S 20391 20396 16915 0 -1 1077944384 5013 0 0 0 406 40 0 0 20 0 16 0 105159760 10985164800 808954 33554432000 4194304 4196468 140731123422736 139635102792336 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20404] ppid=20391 vsize=10727700 memory=3235816 CPUtime=4.52 cores=1,3,5,7
/proc/20396/task/20404/stat : 20404 (java) S 20391 20396 16915 0 -1 1077944384 6952 0 0 0 411 41 0 0 20 0 16 0 105159760 10985164800 808954 33554432000 4194304 4196468 140731123422736 139635101739536 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20406] ppid=20391 vsize=10727700 memory=3235816 CPUtime=4.47 cores=1,3,5,7
/proc/20396/task/20406/stat : 20406 (java) S 20391 20396 16915 0 -1 1077944384 6429 0 0 0 406 41 0 0 20 0 16 0 105159760 10985164800 808954 33554432000 4194304 4196468 140731123422736 139635100686736 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20407] ppid=20391 vsize=10727700 memory=3235816 CPUtime=4.48 cores=1,3,5,7
/proc/20396/task/20407/stat : 20407 (java) S 20391 20396 16915 0 -1 1077944384 4371 0 0 0 409 39 0 0 20 0 16 0 105159760 10985164800 808954 33554432000 4194304 4196468 140731123422736 139635099633936 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20410] ppid=20391 vsize=10727700 memory=3235816 CPUtime=1.43 cores=1,3,5,7
/proc/20396/task/20410/stat : 20410 (java) S 20391 20396 16915 0 -1 1077944384 4362 0 0 0 143 0 0 0 20 0 16 0 105159762 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634211257200 139635176729218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20412] ppid=20391 vsize=10727700 memory=33 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20412/stat : 20412 (java) S 20391 20396 16915 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 105159762 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634210203168 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20414] ppid=20391 vsize=10727700 memory=280124210185712 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20414/stat : 20414 (java) S 20391 20396 16915 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105159762 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634209150320 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20416] ppid=20391 vsize=10727700 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20416/stat : 20416 (java) S 20391 20396 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105159765 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634208098640 139635176736667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20417] ppid=20391 vsize=10727700 memory=2436 CPUtime=2.16 cores=1,3,5,7
/proc/20396/task/20417/stat : 20417 (java) S 20391 20396 16915 0 -1 1077944384 12798 0 0 0 214 2 0 0 20 0 16 0 105159765 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634207046000 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20418] ppid=20391 vsize=10727700 memory=3235816 CPUtime=2.19 cores=1,3,5,7
/proc/20396/task/20418/stat : 20418 (java) S 20391 20396 16915 0 -1 1077944384 11032 0 0 0 217 2 0 0 20 0 16 0 105159765 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634205993200 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20419] ppid=20391 vsize=10727700 memory=4136 CPUtime=0.5 cores=1,3,5,7
/proc/20396/task/20419/stat : 20419 (java) S 20391 20396 16915 0 -1 1077944384 5603 0 0 0 49 1 0 0 20 0 16 0 105159765 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634204940400 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20424] ppid=20391 vsize=10727700 memory=30280 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20424/stat : 20424 (java) S 20391 20396 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105159765 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634203887840 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20426] ppid=20391 vsize=10727700 memory=3235816 CPUtime=0.13 cores=1,3,5,7
/proc/20396/task/20426/stat : 20426 (java) S 20391 20396 16915 0 -1 1077944384 452 0 0 0 7 6 0 0 20 0 16 0 105159765 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634202836144 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20428] ppid=20391 vsize=10727700 memory=3235816 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20428/stat : 20428 (java) S 20391 20396 16915 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105161527 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634199684528 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
Current children cumulated CPU time: 240.68 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 3235816 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+233.601 s]
/proc/loadavg: 2.25 2.17 2.06 3/217 20508
/proc/meminfo: memFree=22266584/32770624 swapFree=67108792/67108860
[pid=20396] ppid=20391 vsize=10727700 memory=3235816 CPUtime=252 cores=1,3,5,7
/proc/20396/stat : 20396 (java) S 20391 20396 16915 0 -1 1077944320 83490 0 0 0 24999 201 0 0 20 0 16 0 105159759 10985164800 808954 33554432000 4194304 4196468 140731123422736 140731123405280 139635176718071 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
/proc/20396/statm: 2681925 808954 3191 1 0 2644416 0
[pid=20396/tid=20400] ppid=20391 vsize=10727700 memory=6943526294502006880 CPUtime=227.54 cores=1,3,5,7
/proc/20396/task/20400/stat : 20400 (java) R 20391 20396 16915 0 -1 4202560 25095 0 0 0 22730 24 0 0 20 0 16 0 105159759 10985164800 808954 33554432000 4194304 4196468 140731123422736 139635180953952 139634778107635 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20403] ppid=20391 vsize=10727700 memory=33 CPUtime=4.46 cores=1,3,5,7
/proc/20396/task/20403/stat : 20403 (java) S 20391 20396 16915 0 -1 1077944384 5013 0 0 0 406 40 0 0 20 0 16 0 105159760 10985164800 808954 33554432000 4194304 4196468 140731123422736 139635102792336 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20404] ppid=20391 vsize=10727700 memory=7306916055891837008 CPUtime=4.52 cores=1,3,5,7
/proc/20396/task/20404/stat : 20404 (java) S 20391 20396 16915 0 -1 1077944384 6952 0 0 0 411 41 0 0 20 0 16 0 105159760 10985164800 808954 33554432000 4194304 4196468 140731123422736 139635101739536 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20406] ppid=20391 vsize=10727700 memory=288293272542249811 CPUtime=4.47 cores=1,3,5,7
/proc/20396/task/20406/stat : 20406 (java) S 20391 20396 16915 0 -1 1077944384 6429 0 0 0 406 41 0 0 20 0 16 0 105159760 10985164800 808954 33554432000 4194304 4196468 140731123422736 139635100686736 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20407] ppid=20391 vsize=10727700 memory=319203850789758971 CPUtime=4.48 cores=1,3,5,7
/proc/20396/task/20407/stat : 20407 (java) S 20391 20396 16915 0 -1 1077944384 4371 0 0 0 409 39 0 0 20 0 16 0 105159760 10985164800 808954 33554432000 4194304 4196468 140731123422736 139635099633936 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20410] ppid=20391 vsize=10727700 memory=6791534058613427641 CPUtime=1.43 cores=1,3,5,7
/proc/20396/task/20410/stat : 20410 (java) S 20391 20396 16915 0 -1 1077944384 4362 0 0 0 143 0 0 0 20 0 16 0 105159762 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634211257200 139635176729218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20412] ppid=20391 vsize=10727700 memory=840 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20412/stat : 20412 (java) S 20391 20396 16915 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 105159762 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634210203168 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20414] ppid=20391 vsize=10727700 memory=4136 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20414/stat : 20414 (java) S 20391 20396 16915 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105159762 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634209150320 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20416] ppid=20391 vsize=10727700 memory=30280 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20416/stat : 20416 (java) S 20391 20396 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105159765 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634208098640 139635176736667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20417] ppid=20391 vsize=10727700 memory=6791534058613427641 CPUtime=2.16 cores=1,3,5,7
/proc/20396/task/20417/stat : 20417 (java) S 20391 20396 16915 0 -1 1077944384 12798 0 0 0 214 2 0 0 20 0 16 0 105159765 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634207046000 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20418] ppid=20391 vsize=10727700 memory=3235816 CPUtime=2.19 cores=1,3,5,7
/proc/20396/task/20418/stat : 20418 (java) S 20391 20396 16915 0 -1 1077944384 11032 0 0 0 217 2 0 0 20 0 16 0 105159765 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634205993200 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20419] ppid=20391 vsize=10727700 memory=4136 CPUtime=0.5 cores=1,3,5,7
/proc/20396/task/20419/stat : 20419 (java) S 20391 20396 16915 0 -1 1077944384 5603 0 0 0 49 1 0 0 20 0 16 0 105159765 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634204940400 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20424] ppid=20391 vsize=10727700 memory=30280 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20424/stat : 20424 (java) S 20391 20396 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 105159765 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634203887840 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20426] ppid=20391 vsize=10727700 memory=288230574492221466 CPUtime=0.14 cores=1,3,5,7
/proc/20396/task/20426/stat : 20426 (java) S 20391 20396 16915 0 -1 1077944384 452 0 0 0 7 7 0 0 20 0 16 0 105159765 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634202836144 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20428] ppid=20391 vsize=10727700 memory=288230583166042426 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20428/stat : 20428 (java) S 20391 20396 16915 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 105161527 10985164800 808954 33554432000 4194304 4196468 140731123422736 139634199684528 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 3235816 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+233.833 s]
# the end of solver process 20396 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.067 s, system=2.03855 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+233.801 s]
/proc/loadavg: 2.25 2.17 2.06 3/217 20508
/proc/meminfo: memFree=22266584/32770624 swapFree=67108792/67108860
[pid=20396] ppid=20391 vsize=10927392 memory=3236060 CPUtime=252.06 cores=1,3,5,7
/proc/20396/stat : 20396 (java) S 20391 20396 16915 0 -1 1077944320 84355 0 0 0 25005 201 0 0 20 0 17 0 105159759 11189649408 809015 33554432000 4194304 4196468 140731123422736 140731123405280 139635176718071 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
/proc/20396/statm: 2731848 809015 3193 1 0 2694339 0
[pid=20396/tid=20400] ppid=20391 vsize=10927392 memory=1792 CPUtime=227.61 cores=1,3,5,7
/proc/20396/task/20400/stat : 20400 (java) S 20391 20396 16915 0 -1 1077944384 25202 0 0 0 22737 24 0 0 20 0 17 0 105159759 11189649408 809015 33554432000 4194304 4196468 140731123422736 139635180960944 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20403] ppid=20391 vsize=10927392 memory=6791534058613427641 CPUtime=4.46 cores=1,3,5,7
/proc/20396/task/20403/stat : 20403 (java) S 20391 20396 16915 0 -1 1077944384 5013 0 0 0 406 40 0 0 20 0 17 0 105159760 11189649408 809015 33554432000 4194304 4196468 140731123422736 139635102792336 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20404] ppid=20391 vsize=10927392 memory=30280 CPUtime=4.52 cores=1,3,5,7
/proc/20396/task/20404/stat : 20404 (java) S 20391 20396 16915 0 -1 1077944384 6952 0 0 0 411 41 0 0 20 0 17 0 105159760 11189649408 809015 33554432000 4194304 4196468 140731123422736 139635101739536 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20406] ppid=20391 vsize=10927392 memory=1292 CPUtime=4.47 cores=1,3,5,7
/proc/20396/task/20406/stat : 20406 (java) S 20391 20396 16915 0 -1 1077944384 6429 0 0 0 406 41 0 0 20 0 17 0 105159760 11189649408 809015 33554432000 4194304 4196468 140731123422736 139635100686736 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20407] ppid=20391 vsize=10927392 memory=2436 CPUtime=4.48 cores=1,3,5,7
/proc/20396/task/20407/stat : 20407 (java) S 20391 20396 16915 0 -1 1077944384 4371 0 0 0 409 39 0 0 20 0 17 0 105159760 11189649408 809015 33554432000 4194304 4196468 140731123422736 139635099633936 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20410] ppid=20391 vsize=10927392 memory=6791534058613427641 CPUtime=1.43 cores=1,3,5,7
/proc/20396/task/20410/stat : 20410 (java) S 20391 20396 16915 0 -1 1077944384 4401 0 0 0 143 0 0 0 20 0 17 0 105159762 11189649408 809015 33554432000 4194304 4196468 140731123422736 139634211257200 139635176729218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20412] ppid=20391 vsize=10927392 memory=18268 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20412/stat : 20412 (java) S 20391 20396 16915 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 17 0 105159762 11189649408 809015 33554432000 4194304 4196468 140731123422736 139634210203168 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20414] ppid=20391 vsize=10927392 memory=18080 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20414/stat : 20414 (java) S 20391 20396 16915 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 17 0 105159762 11189649408 809015 33554432000 4194304 4196468 140731123422736 139634209150320 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20416] ppid=20391 vsize=10927392 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20416/stat : 20416 (java) S 20391 20396 16915 0 -1 1077944384 234 0 0 0 0 0 0 0 20 0 17 0 105159765 11189649408 809015 33554432000 4194304 4196468 140731123422736 139634208098640 139635176736667 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20417] ppid=20391 vsize=10927392 memory=644 CPUtime=2.16 cores=1,3,5,7
/proc/20396/task/20417/stat : 20417 (java) S 20391 20396 16915 0 -1 1077944384 12798 0 0 0 214 2 0 0 20 0 17 0 105159765 11189649408 809015 33554432000 4194304 4196468 140731123422736 139634207046000 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20418] ppid=20391 vsize=10927392 memory=1800 CPUtime=2.19 cores=1,3,5,7
/proc/20396/task/20418/stat : 20418 (java) S 20391 20396 16915 0 -1 1077944384 11032 0 0 0 217 2 0 0 20 0 17 0 105159765 11189649408 809015 33554432000 4194304 4196468 140731123422736 139634205993200 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20419] ppid=20391 vsize=10927392 memory=-7175204567652784766 CPUtime=0.5 cores=1,3,5,7
/proc/20396/task/20419/stat : 20419 (java) S 20391 20396 16915 0 -1 1077944384 5700 0 0 0 49 1 0 0 20 0 17 0 105159765 11189649408 809015 33554432000 4194304 4196468 140731123422736 139634204940400 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20424] ppid=20391 vsize=10927392 memory=3054156605268465310 CPUtime=0 cores=1,3,5,7
/proc/20396/task/20424/stat : 20424 (java) S 20391 20396 16915 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 105159765 11189649408 809015 33554432000 4194304 4196468 140731123422736 139634203887840 139635176728277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
[pid=20396/tid=20426] ppid=20391 vsize=10927392 memory=4096 CPUtime=0.14 cores=1,3,5,7
/proc/20396/task/20426/stat : 20426 (java) S 20391 20396 16915 0 -1 1077944384 452 0 0 0 7 7 0 0 20 0 17 0 105159765 11189649408 809015 33554432000 4194304 4196468 140731123422736 139634202836144 139635176729218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25407488 140731123430518 140731123430670 140731123430670 140731123433423 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 3236060 KiB
Child status: 143
Real time (s): 233.833
CPU time (s): 252.106
CPU user time (s): 250.067
CPU system time (s): 2.03855
CPU usage (%): 107.815
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 3236060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.067
system time used= 2.03855
maximum resident set size= 3236400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84756
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8849
involuntary context switches= 523
# summary of solver processes directly reported to runsolver:
# pid: 20396
# total CPU time (s): 252.106
# total CPU user time (s): 250.067
# total CPU system time (s): 2.03855
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.50217 second user time and 2.24933 second system time
The end