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 (10702 MiB free)
memory of node 1: 16384 MiB (14151 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400672-1568683559/watcher-4400672-1568683559 -o /tmp/evaluation-result-4400672-1568683559/solver-4400672-1568683559 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568673293-13491 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=479243401 HOME/instance-4400672-1568683559.xml
running on 4 cores: 0,2,4,6
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=16052, runsolver pid=16049
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 1.79 1.57 1.64 3/218 16109
/proc/meminfo: memFree=25444460/32770624 swapFree=66941504/67108860
[pid=16052] ppid=16049 vsize=9988792 memory=17488 CPUtime=0.09 cores=0,2,4,6
/proc/16052/stat : 16052 (java) S 16049 16052 13460 0 -1 1077944320 4612 13149 0 0 1 1 5 2 20 0 6 0 444594550 10228523008 4372 33554432000 4194304 4196468 140730056238896 140730056221440 140522944438007 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
/proc/16052/statm: 2497198 4372 1969 1 0 2485636 0
[pid=16052/tid=16105] ppid=16049 vsize=9988792 memory=4628420184252451238 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16105/stat : 16105 (java) R 16049 16052 13460 0 -1 4202560 2403 13149 0 0 0 0 5 2 20 0 6 0 444594559 10228523008 4884 33554432000 4194304 4196468 140730056238896 140522916274768 140522925848157 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16106] ppid=16049 vsize=9988792 memory=5793855513399003577 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16106/stat : 16106 (java) S 16049 16052 13460 0 -1 1077944384 1 13149 0 0 0 0 5 2 20 0 6 0 444594559 10228523008 4884 33554432000 4194304 4196468 140730056238896 140522948680336 140522944448213 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16107] ppid=16049 vsize=9988792 memory=140262389110400 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16107/stat : 16107 (java) S 16049 16052 13460 0 -1 1077944384 1 13149 0 0 0 0 5 2 20 0 6 0 444594559 10228523008 4884 33554432000 4194304 4196468 140730056238896 140522876160528 140522944448213 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16108] ppid=16049 vsize=9988792 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16108/stat : 16108 (java) S 16049 16052 13460 0 -1 1077944384 1 13149 0 0 0 0 5 2 20 0 6 0 444594559 10228523008 4884 33554432000 4194304 4196468 140730056238896 140522516228496 140522944448213 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16109] ppid=16049 vsize=9988792 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16109/stat : 16109 (java) S 16049 16052 13460 0 -1 1077944384 2 13149 0 0 0 0 5 2 20 0 6 0 444594559 10228523008 4884 33554432000 4194304 4196468 140730056238896 140522515175696 140522944448213 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9988792 KiB
Current children cumulated memory: 17488 KiB
[startup+0.209887 s]*
/proc/loadavg: 1.79 1.57 1.64 5/227 16118
/proc/meminfo: memFree=25420468/32770624 swapFree=66941504/67108860
[pid=16052] ppid=16049 vsize=10820196 memory=45944 CPUtime=0.27 cores=0,2,4,6
/proc/16052/stat : 16052 (java) S 16049 16052 13460 0 -1 1077944320 7337 13149 0 0 18 2 5 2 20 0 15 0 444594550 11079880704 11486 33554432000 4194304 4196468 140730056238896 140730056221440 140522944438007 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
/proc/16052/statm: 2705049 11486 3285 1 0 2667149 0
[pid=16052/tid=16105] ppid=16049 vsize=10820196 memory=-8540663193526752614 CPUtime=0.18 cores=0,2,4,6
/proc/16052/task/16105/stat : 16105 (java) R 16049 16052 13460 0 -1 4202560 3797 13149 0 0 10 1 5 2 20 0 15 0 444594559 11079880704 11486 33554432000 4194304 4196468 140730056238896 140522916243232 140522944459933 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16106] ppid=16049 vsize=10820196 memory=4211973988593900938 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16106/stat : 16106 (java) S 16049 16052 13460 0 -1 1077944384 1 13149 0 0 0 0 5 2 20 0 15 0 444594559 11079880704 11486 33554432000 4194304 4196468 140730056238896 140522948680336 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16107] ppid=16049 vsize=10820196 memory=140262389110400 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16107/stat : 16107 (java) S 16049 16052 13460 0 -1 1077944384 1 13149 0 0 0 0 5 2 20 0 15 0 444594559 11079880704 11486 33554432000 4194304 4196468 140730056238896 140522876160528 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16108] ppid=16049 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16108/stat : 16108 (java) S 16049 16052 13460 0 -1 1077944384 1 13149 0 0 0 0 5 2 20 0 15 0 444594559 11079880704 11486 33554432000 4194304 4196468 140730056238896 140522516228496 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16109] ppid=16049 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16109/stat : 16109 (java) S 16049 16052 13460 0 -1 1077944384 2 13149 0 0 0 0 5 2 20 0 15 0 444594559 11079880704 11486 33554432000 4194304 4196468 140730056238896 140522515175696 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16110] ppid=16049 vsize=10820196 memory=140262389110400 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16110/stat : 16110 (java) S 16049 16052 13460 0 -1 1077944384 2 13149 0 0 0 0 5 2 20 0 15 0 444594561 11079880704 11486 33554432000 4194304 4196468 140730056238896 140522403388272 140522944449154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16111] ppid=16049 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16111/stat : 16111 (java) S 16049 16052 13460 0 -1 1077944384 33 13149 0 0 0 0 5 2 20 0 15 0 444594561 11079880704 11486 33554432000 4194304 4196468 140730056238896 140522402334240 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16112] ppid=16049 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16112/stat : 16112 (java) S 16049 16052 13460 0 -1 1077944384 1 13149 0 0 0 0 5 2 20 0 15 0 444594561 11079880704 11486 33554432000 4194304 4196468 140730056238896 140522270221680 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16113] ppid=16049 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16113/stat : 16113 (java) S 16049 16052 13460 0 -1 1077944384 2 13149 0 0 0 0 5 2 20 0 15 0 444594564 11079880704 11486 33554432000 4194304 4196468 140730056238896 140521666242896 140522944456603 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16114] ppid=16049 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16052/task/16114/stat : 16114 (java) S 16049 16052 13460 0 -1 1077944384 485 13149 0 0 1 0 5 2 20 0 15 0 444594564 11079880704 11552 33554432000 4194304 4196468 140730056238896 140522368776560 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16115] ppid=16049 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16052/task/16115/stat : 16115 (java) R 16049 16052 13460 0 -1 4202560 181 13149 0 0 1 0 5 2 20 0 15 0 444594564 11079880704 11552 33554432000 4194304 4196468 140730056238896 140522367723760 140522925983371 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16116] ppid=16049 vsize=10820196 memory=140262389110400 CPUtime=0.1 cores=0,2,4,6
/proc/16052/task/16116/stat : 16116 (java) S 16049 16052 13460 0 -1 1077944384 622 13149 0 0 3 0 5 2 20 0 15 0 444594564 11079880704 11552 33554432000 4194304 4196468 140730056238896 140522366670960 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16117] ppid=16049 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16117/stat : 16117 (java) S 16049 16052 13460 0 -1 1077944384 3 13149 0 0 0 0 5 2 20 0 15 0 444594564 11079880704 11552 33554432000 4194304 4196468 140730056238896 140521196480736 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16118] ppid=16049 vsize=10820196 memory=140262389110400 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16118/stat : 16118 (java) S 16049 16052 13460 0 -1 1077944384 1 13149 0 0 0 0 5 2 20 0 15 0 444594565 11079880704 11552 33554432000 4194304 4196468 140730056238896 140522365619376 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 45944 KiB
[startup+0.311244 s]*
/proc/loadavg: 1.79 1.57 1.64 3/227 16118
/proc/meminfo: memFree=25407792/32770624 swapFree=66941504/67108860
[pid=16052] ppid=16049 vsize=10820196 memory=54272 CPUtime=0.4 cores=0,2,4,6
/proc/16052/stat : 16052 (java) S 16049 16052 13460 0 -1 1077944320 10816 13149 0 0 29 4 5 2 20 0 15 0 444594550 11079880704 13568 33554432000 4194304 4196468 140730056238896 140730056221440 140522944438007 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
/proc/16052/statm: 2705049 13568 3331 1 0 2667149 0
[pid=16052/tid=16105] ppid=16049 vsize=10820196 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/16052/task/16105/stat : 16105 (java) R 16049 16052 13460 0 -1 4202560 7257 13149 0 0 18 3 5 2 20 0 15 0 444594559 11079880704 13568 33554432000 4194304 4196468 140730056238896 140522916241472 140522928518494 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16106] ppid=16049 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16106/stat : 16106 (java) S 16049 16052 13460 0 -1 1077944384 1 13149 0 0 0 0 5 2 20 0 15 0 444594559 11079880704 13568 33554432000 4194304 4196468 140730056238896 140522948680336 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16107] ppid=16049 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16107/stat : 16107 (java) S 16049 16052 13460 0 -1 1077944384 1 13149 0 0 0 0 5 2 20 0 15 0 444594559 11079880704 13568 33554432000 4194304 4196468 140730056238896 140522876160528 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16108] ppid=16049 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16108/stat : 16108 (java) S 16049 16052 13460 0 -1 1077944384 1 13149 0 0 0 0 5 2 20 0 15 0 444594559 11079880704 13568 33554432000 4194304 4196468 140730056238896 140522516228496 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16109] ppid=16049 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16109/stat : 16109 (java) S 16049 16052 13460 0 -1 1077944384 2 13149 0 0 0 0 5 2 20 0 15 0 444594559 11079880704 13568 33554432000 4194304 4196468 140730056238896 140522515175696 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16110] ppid=16049 vsize=10820196 memory=140262389110399 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16110/stat : 16110 (java) S 16049 16052 13460 0 -1 1077944384 2 13149 0 0 0 0 5 2 20 0 15 0 444594561 11079880704 13568 33554432000 4194304 4196468 140730056238896 140522403388272 140522944449154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16111] ppid=16049 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16111/stat : 16111 (java) S 16049 16052 13460 0 -1 1077944384 33 13149 0 0 0 0 5 2 20 0 15 0 444594561 11079880704 13568 33554432000 4194304 4196468 140730056238896 140522402334240 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16112] ppid=16049 vsize=10820196 memory=140262389110400 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16112/stat : 16112 (java) S 16049 16052 13460 0 -1 1077944384 1 13149 0 0 0 0 5 2 20 0 15 0 444594561 11079880704 13568 33554432000 4194304 4196468 140730056238896 140522270221680 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16113] ppid=16049 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16113/stat : 16113 (java) S 16049 16052 13460 0 -1 1077944384 2 13149 0 0 0 0 5 2 20 0 15 0 444594564 11079880704 13568 33554432000 4194304 4196468 140730056238896 140521666242896 140522944456603 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16114] ppid=16049 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/16052/task/16114/stat : 16114 (java) S 16049 16052 13460 0 -1 1077944384 486 13149 0 0 2 0 5 2 20 0 15 0 444594564 11079880704 13568 33554432000 4194304 4196468 140730056238896 140522368776560 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16115] ppid=16049 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/16052/task/16115/stat : 16115 (java) S 16049 16052 13460 0 -1 1077944384 182 13149 0 0 2 0 5 2 20 0 15 0 444594564 11079880704 13568 33554432000 4194304 4196468 140730056238896 140522367723760 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16116] ppid=16049 vsize=10820196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/16052/task/16116/stat : 16116 (java) S 16049 16052 13460 0 -1 1077944384 640 13149 0 0 5 0 5 2 20 0 15 0 444594564 11079880704 13568 33554432000 4194304 4196468 140730056238896 140522366670960 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16117] ppid=16049 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16117/stat : 16117 (java) S 16049 16052 13460 0 -1 1077944384 3 13149 0 0 0 0 5 2 20 0 15 0 444594564 11079880704 13568 33554432000 4194304 4196468 140730056238896 140521196480736 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16118] ppid=16049 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16118/stat : 16118 (java) S 16049 16052 13460 0 -1 1077944384 1 13149 0 0 0 0 5 2 20 0 15 0 444594565 11079880704 13568 33554432000 4194304 4196468 140730056238896 140522365619376 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54272 KiB
[startup+0.700702 s]
/proc/loadavg: 1.79 1.57 1.64 4/227 16118
/proc/meminfo: memFree=25393440/32770624 swapFree=66941504/67108860
[pid=16052] ppid=16049 vsize=10824364 memory=87196 CPUtime=1.1 cores=0,2,4,6
/proc/16052/stat : 16052 (java) S 16049 16052 13460 0 -1 1077944320 15054 13149 0 0 97 6 5 2 20 0 15 0 444594550 11084148736 21799 33554432000 4194304 4196468 140730056238896 140730056221440 140522944438007 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
/proc/16052/statm: 2706091 21799 3503 1 0 2668173 0
[pid=16052/tid=16105] ppid=16049 vsize=10824364 memory=47504 CPUtime=0.67 cores=0,2,4,6
/proc/16052/task/16105/stat : 16105 (java) R 16049 16052 13460 0 -1 4202560 10475 13149 0 0 55 5 5 2 20 0 15 0 444594559 11084148736 21799 33554432000 4194304 4196468 140730056238896 140522916267552 140522928518494 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16106] ppid=16049 vsize=10824364 memory=4580 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16106/stat : 16106 (java) S 16049 16052 13460 0 -1 1077944384 1 13149 0 0 0 0 5 2 20 0 15 0 444594559 11084148736 21799 33554432000 4194304 4196468 140730056238896 140522948680336 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16107] ppid=16049 vsize=10824364 memory=140262290792959 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16107/stat : 16107 (java) S 16049 16052 13460 0 -1 1077944384 1 13149 0 0 0 0 5 2 20 0 15 0 444594559 11084148736 21799 33554432000 4194304 4196468 140730056238896 140522876160528 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16108] ppid=16049 vsize=10824364 memory=140265041953658 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16108/stat : 16108 (java) S 16049 16052 13460 0 -1 1077944384 1 13149 0 0 0 0 5 2 20 0 15 0 444594559 11084148736 21799 33554432000 4194304 4196468 140730056238896 140522516228496 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16109] ppid=16049 vsize=10824364 memory=27792 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16109/stat : 16109 (java) S 16049 16052 13460 0 -1 1077944384 2 13149 0 0 0 0 5 2 20 0 15 0 444594559 11084148736 21799 33554432000 4194304 4196468 140730056238896 140522515175696 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16110] ppid=16049 vsize=10824364 memory=7305218370954225241 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16110/stat : 16110 (java) S 16049 16052 13460 0 -1 1077944384 5 13149 0 0 0 0 5 2 20 0 15 0 444594561 11084148736 21799 33554432000 4194304 4196468 140730056238896 140522403388272 140522944449154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16111] ppid=16049 vsize=10824364 memory=7881696724453321575 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16111/stat : 16111 (java) S 16049 16052 13460 0 -1 1077944384 33 13149 0 0 0 0 5 2 20 0 15 0 444594561 11084148736 21799 33554432000 4194304 4196468 140730056238896 140522402334240 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16112] ppid=16049 vsize=10824364 memory=5787213827113576551 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16112/stat : 16112 (java) S 16049 16052 13460 0 -1 1077944384 1 13149 0 0 0 0 5 2 20 0 15 0 444594561 11084148736 21799 33554432000 4194304 4196468 140730056238896 140522270221680 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16113] ppid=16049 vsize=10824364 memory=-7028383565733675155 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16113/stat : 16113 (java) S 16049 16052 13460 0 -1 1077944384 2 13149 0 0 0 0 5 2 20 0 15 0 444594564 11084148736 21799 33554432000 4194304 4196468 140730056238896 140521666242896 140522944456603 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16114] ppid=16049 vsize=10824364 memory=8326441112149131687 CPUtime=0.2 cores=0,2,4,6
/proc/16052/task/16114/stat : 16114 (java) R 16049 16052 13460 0 -1 4202560 892 13149 0 0 13 0 5 2 20 0 15 0 444594564 11084148736 21799 33554432000 4194304 4196468 140730056238896 140522368776560 140522928728262 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16115] ppid=16049 vsize=10824364 memory=-8990767739041718176 CPUtime=0.18 cores=0,2,4,6
/proc/16052/task/16115/stat : 16115 (java) R 16049 16052 13460 0 -1 4202560 652 13149 0 0 11 0 5 2 20 0 15 0 444594564 11084148736 21799 33554432000 4194304 4196468 140730056238896 140522367723760 140522923743233 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16116] ppid=16049 vsize=10824364 memory=-7384994778349281184 CPUtime=0.24 cores=0,2,4,6
/proc/16052/task/16116/stat : 16116 (java) S 16049 16052 13460 0 -1 1077944384 780 13149 0 0 17 0 5 2 20 0 15 0 444594564 11084148736 21799 33554432000 4194304 4196468 140730056238896 140522366670960 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16117] ppid=16049 vsize=10824364 memory=1399103955520229747 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16117/stat : 16117 (java) S 16049 16052 13460 0 -1 1077944384 3 13149 0 0 0 0 5 2 20 0 15 0 444594564 11084148736 21799 33554432000 4194304 4196468 140730056238896 140521196480736 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16118] ppid=16049 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16118/stat : 16118 (java) S 16049 16052 13460 0 -1 1077944384 1 13149 0 0 0 0 5 2 20 0 15 0 444594565 11084148736 21799 33554432000 4194304 4196468 140730056238896 140522365619376 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87196 KiB
[startup+1.5007 s]
/proc/loadavg: 1.79 1.57 1.64 5/227 16118
/proc/meminfo: memFree=25356384/32770624 swapFree=66941504/67108860
[pid=16052] ppid=16049 vsize=10834680 memory=179296 CPUtime=2.59 cores=0,2,4,6
/proc/16052/stat : 16052 (java) S 16049 16052 13460 0 -1 1077944320 21747 13149 0 0 240 12 5 2 20 0 15 0 444594550 11094712320 44824 33554432000 4194304 4196468 140730056238896 140730056221440 140522944438007 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
/proc/16052/statm: 2708670 44824 3588 1 0 2670733 0
[pid=16052/tid=16105] ppid=16049 vsize=10834680 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/16052/task/16105/stat : 16105 (java) R 16049 16052 13460 0 -1 4202560 15090 13149 0 0 129 7 5 2 20 0 15 0 444594559 11094712320 44824 33554432000 4194304 4196468 140730056238896 140522916261984 140522546847812 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16106] ppid=16049 vsize=10834680 memory=100680 CPUtime=0.08 cores=0,2,4,6
/proc/16052/task/16106/stat : 16106 (java) S 16049 16052 13460 0 -1 1077944384 59 13149 0 0 1 0 5 2 20 0 15 0 444594559 11094712320 44824 33554432000 4194304 4196468 140730056238896 140522948680336 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16107] ppid=16049 vsize=10834680 memory=5790086053191909267 CPUtime=0.08 cores=0,2,4,6
/proc/16052/task/16107/stat : 16107 (java) S 16049 16052 13460 0 -1 1077944384 329 13149 0 0 1 0 5 2 20 0 15 0 444594559 11094712320 44824 33554432000 4194304 4196468 140730056238896 140522876160528 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16108] ppid=16049 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16052/task/16108/stat : 16108 (java) S 16049 16052 13460 0 -1 1077944384 37 13149 0 0 1 0 5 2 20 0 15 0 444594559 11094712320 44824 33554432000 4194304 4196468 140730056238896 140522516228496 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16109] ppid=16049 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16052/task/16109/stat : 16109 (java) S 16049 16052 13460 0 -1 1077944384 78 13149 0 0 1 0 5 2 20 0 15 0 444594559 11094712320 44824 33554432000 4194304 4196468 140730056238896 140522515175696 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16110] ppid=16049 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16052/task/16110/stat : 16110 (java) S 16049 16052 13460 0 -1 1077944384 142 13149 0 0 1 0 5 2 20 0 15 0 444594561 11094712320 44824 33554432000 4194304 4196468 140730056238896 140522403388272 140522944449154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16111] ppid=16049 vsize=10834680 memory=-6221781267475802396 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16111/stat : 16111 (java) S 16049 16052 13460 0 -1 1077944384 33 13149 0 0 0 0 5 2 20 0 15 0 444594561 11094712320 44824 33554432000 4194304 4196468 140730056238896 140522402334304 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16112] ppid=16049 vsize=10834680 memory=804 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16112/stat : 16112 (java) S 16049 16052 13460 0 -1 1077944384 2 13149 0 0 0 0 5 2 20 0 15 0 444594561 11094712320 44824 33554432000 4194304 4196468 140730056238896 140522270221680 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16113] ppid=16049 vsize=10834680 memory=1764 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16113/stat : 16113 (java) S 16049 16052 13460 0 -1 1077944384 2 13149 0 0 0 0 5 2 20 0 15 0 444594564 11094712320 44824 33554432000 4194304 4196468 140730056238896 140521666242896 140522944456603 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16114] ppid=16049 vsize=10834680 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/16052/task/16114/stat : 16114 (java) S 16049 16052 13460 0 -1 1077944384 1118 13149 0 0 31 0 5 2 20 0 15 0 444594564 11094712320 44824 33554432000 4194304 4196468 140730056238896 140522368776560 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16115] ppid=16049 vsize=10834680 memory=209454213690637 CPUtime=0.35 cores=0,2,4,6
/proc/16052/task/16115/stat : 16115 (java) S 16049 16052 13460 0 -1 1077944384 1130 13149 0 0 28 0 5 2 20 0 15 0 444594564 11094712320 44824 33554432000 4194304 4196468 140730056238896 140522367723760 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16116] ppid=16049 vsize=10834680 memory=3242172 CPUtime=0.5 cores=0,2,4,6
/proc/16052/task/16116/stat : 16116 (java) S 16049 16052 13460 0 -1 1077944384 1517 13149 0 0 43 0 5 2 20 0 15 0 444594564 11094712320 44824 33554432000 4194304 4196468 140730056238896 140522366670960 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16117] ppid=16049 vsize=10834680 memory=7660992747008972373 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16117/stat : 16117 (java) S 16049 16052 13460 0 -1 1077944384 3 13149 0 0 0 0 5 2 20 0 15 0 444594564 11094712320 44824 33554432000 4194304 4196468 140730056238896 140521196480736 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16118] ppid=16049 vsize=10834680 memory=6935649255878192209 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16118/stat : 16118 (java) S 16049 16052 13460 0 -1 1077944384 1 13149 0 0 0 0 5 2 20 0 15 0 444594565 11094712320 44824 33554432000 4194304 4196468 140730056238896 140522365619376 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
Current children cumulated CPU time: 2.59 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/16052/task/16105/stat : 16105 (java) R 16049 16052 13460 0 -1 4202560 71034 13149 0 0 235587 56 5 2 20 0 15 0 444594559 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522916273136 140522560437236 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16106] ppid=16049 vsize=10849036 memory=906136 CPUtime=12.39 cores=0,2,4,6
/proc/16052/task/16106/stat : 16106 (java) S 16049 16052 13460 0 -1 1077944384 18299 13149 0 0 1176 56 5 2 20 0 15 0 444594559 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522948680336 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16107] ppid=16049 vsize=10849036 memory=906136 CPUtime=12.39 cores=0,2,4,6
/proc/16052/task/16107/stat : 16107 (java) S 16049 16052 13460 0 -1 1077944384 14751 13149 0 0 1176 56 5 2 20 0 15 0 444594559 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522876160528 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16108] ppid=16049 vsize=10849036 memory=906136 CPUtime=12.39 cores=0,2,4,6
/proc/16052/task/16108/stat : 16108 (java) S 16049 16052 13460 0 -1 1077944384 15277 13149 0 0 1176 56 5 2 20 0 15 0 444594559 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522516228496 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16109] ppid=16049 vsize=10849036 memory=906136 CPUtime=12.36 cores=0,2,4,6
/proc/16052/task/16109/stat : 16109 (java) S 16049 16052 13460 0 -1 1077944384 15694 13149 0 0 1171 58 5 2 20 0 15 0 444594559 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522515175696 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16110] ppid=16049 vsize=10849036 memory=906136 CPUtime=10.63 cores=0,2,4,6
/proc/16052/task/16110/stat : 16110 (java) S 16049 16052 13460 0 -1 1077944384 17598 13149 0 0 992 64 5 2 20 0 15 0 444594561 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522403388272 140522944449154 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16111] ppid=16049 vsize=10849036 memory=3620 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16111/stat : 16111 (java) S 16049 16052 13460 0 -1 1077944384 39 13149 0 0 0 0 5 2 20 0 15 0 444594561 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522402334304 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16112] ppid=16049 vsize=10849036 memory=906136 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16112/stat : 16112 (java) S 16049 16052 13460 0 -1 1077944384 5 13149 0 0 0 0 5 2 20 0 15 0 444594561 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522270221696 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16113] ppid=16049 vsize=10849036 memory=3620 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16113/stat : 16113 (java) S 16049 16052 13460 0 -1 1077944384 2 13149 0 0 0 0 5 2 20 0 15 0 444594564 11109412864 226534 33554432000 4194304 4196468 140730056238896 140521666242896 140522944456603 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16114] ppid=16049 vsize=10849036 memory=906136 CPUtime=6.17 cores=0,2,4,6
/proc/16052/task/16114/stat : 16114 (java) S 16049 16052 13460 0 -1 1077944384 26123 13149 0 0 604 6 5 2 20 0 15 0 444594564 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522368776560 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16115] ppid=16049 vsize=10849036 memory=906136 CPUtime=5.7 cores=0,2,4,6
/proc/16052/task/16115/stat : 16115 (java) S 16049 16052 13460 0 -1 1077944384 25849 13149 0 0 559 4 5 2 20 0 15 0 444594564 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522367723760 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16116] ppid=16049 vsize=10849036 memory=1023 CPUtime=2.52 cores=0,2,4,6
/proc/16052/task/16116/stat : 16116 (java) S 16049 16052 13460 0 -1 1077944384 16908 13149 0 0 238 7 5 2 20 0 15 0 444594564 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522366670960 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16117] ppid=16049 vsize=10849036 memory=639 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16117/stat : 16117 (java) S 16049 16052 13460 0 -1 1077944384 3 13149 0 0 0 0 5 2 20 0 15 0 444594564 11109412864 226534 33554432000 4194304 4196468 140730056238896 140521196480736 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16118] ppid=16049 vsize=10849036 memory=3620 CPUtime=1.27 cores=0,2,4,6
/proc/16052/task/16118/stat : 16118 (java) S 16049 16052 13460 0 -1 1077944384 1690 13149 0 0 58 62 5 2 20 0 15 0 444594565 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522365619376 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
Current children cumulated CPU time: 2431.81 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 906136 KiB
[startup+2442.3 s]
/proc/loadavg: 1.34 1.29 1.39 3/227 16622
/proc/meminfo: memFree=25120440/32770624 swapFree=66941508/67108860
[pid=16052] ppid=16049 vsize=10849036 memory=906136 CPUtime=2492.81 cores=0,2,4,6
/proc/16052/stat : 16052 (java) S 16049 16052 13460 0 -1 1077944320 227098 13149 0 0 248895 379 5 2 20 0 15 0 444594550 11109412864 226534 33554432000 4194304 4196468 140730056238896 140730056221440 140522944438007 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
/proc/16052/statm: 2712259 226534 3628 1 0 2674317 0
[pid=16052/tid=16105] ppid=16049 vsize=10849036 memory=906136 CPUtime=2415.82 cores=0,2,4,6
/proc/16052/task/16105/stat : 16105 (java) R 16049 16052 13460 0 -1 4202560 71821 13149 0 0 241517 58 5 2 20 0 15 0 444594559 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522916273584 140522567673801 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16106] ppid=16049 vsize=10849036 memory=906136 CPUtime=12.74 cores=0,2,4,6
/proc/16052/task/16106/stat : 16106 (java) S 16049 16052 13460 0 -1 1077944384 18491 13149 0 0 1210 57 5 2 20 0 15 0 444594559 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522948680336 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16107] ppid=16049 vsize=10849036 memory=906136 CPUtime=12.72 cores=0,2,4,6
/proc/16052/task/16107/stat : 16107 (java) S 16049 16052 13460 0 -1 1077944384 14869 13149 0 0 1208 57 5 2 20 0 15 0 444594559 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522876160528 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16108] ppid=16049 vsize=10849036 memory=906136 CPUtime=12.73 cores=0,2,4,6
/proc/16052/task/16108/stat : 16108 (java) S 16049 16052 13460 0 -1 1077944384 15315 13149 0 0 1209 57 5 2 20 0 15 0 444594559 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522516228496 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16109] ppid=16049 vsize=10849036 memory=906136 CPUtime=12.7 cores=0,2,4,6
/proc/16052/task/16109/stat : 16109 (java) S 16049 16052 13460 0 -1 1077944384 15942 13149 0 0 1204 59 5 2 20 0 15 0 444594559 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522515175696 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16110] ppid=16049 vsize=10849036 memory=906136 CPUtime=10.91 cores=0,2,4,6
/proc/16052/task/16110/stat : 16110 (java) S 16049 16052 13460 0 -1 1077944384 17813 13149 0 0 1019 65 5 2 20 0 15 0 444594561 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522403388272 140522944449154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16111] ppid=16049 vsize=10849036 memory=906136 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16111/stat : 16111 (java) S 16049 16052 13460 0 -1 1077944384 39 13149 0 0 0 0 5 2 20 0 15 0 444594561 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522402334304 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16112] ppid=16049 vsize=10849036 memory=906136 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16112/stat : 16112 (java) S 16049 16052 13460 0 -1 1077944384 5 13149 0 0 0 0 5 2 20 0 15 0 444594561 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522270221696 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16113] ppid=16049 vsize=10849036 memory=906136 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16113/stat : 16113 (java) S 16049 16052 13460 0 -1 1077944384 2 13149 0 0 0 0 5 2 20 0 15 0 444594564 11109412864 226534 33554432000 4194304 4196468 140730056238896 140521666242896 140522944456603 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16114] ppid=16049 vsize=10849036 memory=906136 CPUtime=6.17 cores=0,2,4,6
/proc/16052/task/16114/stat : 16114 (java) S 16049 16052 13460 0 -1 1077944384 26125 13149 0 0 604 6 5 2 20 0 15 0 444594564 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522368776560 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16115] ppid=16049 vsize=10849036 memory=906136 CPUtime=5.7 cores=0,2,4,6
/proc/16052/task/16115/stat : 16115 (java) S 16049 16052 13460 0 -1 1077944384 25851 13149 0 0 559 4 5 2 20 0 15 0 444594564 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522367723760 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16116] ppid=16049 vsize=10849036 memory=3620 CPUtime=2.52 cores=0,2,4,6
/proc/16052/task/16116/stat : 16116 (java) S 16049 16052 13460 0 -1 1077944384 16910 13149 0 0 238 7 5 2 20 0 15 0 444594564 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522366670960 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16117] ppid=16049 vsize=10849036 memory=14012 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16117/stat : 16117 (java) S 16049 16052 13460 0 -1 1077944384 3 13149 0 0 0 0 5 2 20 0 15 0 444594564 11109412864 226534 33554432000 4194304 4196468 140730056238896 140521196480736 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16118] ppid=16049 vsize=10849036 memory=2112 CPUtime=1.3 cores=0,2,4,6
/proc/16052/task/16118/stat : 16118 (java) S 16049 16052 13460 0 -1 1077944384 1706 13149 0 0 60 63 5 2 20 0 15 0 444594565 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522365619376 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
Current children cumulated CPU time: 2492.81 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 906136 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2469.11 s]
/proc/loadavg: 1.52 1.33 1.40 3/227 16624
/proc/meminfo: memFree=25120088/32770624 swapFree=66941508/67108860
[pid=16052] ppid=16049 vsize=10849036 memory=906136 CPUtime=2520.03 cores=0,2,4,6
/proc/16052/stat : 16052 (java) S 16049 16052 13460 0 -1 1077944320 227921 13149 0 0 251613 383 5 2 20 0 15 0 444594550 11109412864 226534 33554432000 4194304 4196468 140730056238896 140730056221440 140522944438007 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
/proc/16052/statm: 2712259 226534 3628 1 0 2674317 0
[pid=16052/tid=16105] ppid=16049 vsize=10849036 memory=906136 CPUtime=2442.31 cores=0,2,4,6
/proc/16052/task/16105/stat : 16105 (java) R 16049 16052 13460 0 -1 4202560 72175 13149 0 0 244166 58 5 2 20 0 15 0 444594559 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522916273872 140522568361790 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16106] ppid=16049 vsize=10849036 memory=906136 CPUtime=12.9 cores=0,2,4,6
/proc/16052/task/16106/stat : 16106 (java) S 16049 16052 13460 0 -1 1077944384 18580 13149 0 0 1225 58 5 2 20 0 15 0 444594559 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522948680336 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16107] ppid=16049 vsize=10849036 memory=906136 CPUtime=12.88 cores=0,2,4,6
/proc/16052/task/16107/stat : 16107 (java) S 16049 16052 13460 0 -1 1077944384 14885 13149 0 0 1223 58 5 2 20 0 15 0 444594559 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522876160528 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16108] ppid=16049 vsize=10849036 memory=906136 CPUtime=12.88 cores=0,2,4,6
/proc/16052/task/16108/stat : 16108 (java) S 16049 16052 13460 0 -1 1077944384 15361 13149 0 0 1223 58 5 2 20 0 15 0 444594559 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522516228496 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16109] ppid=16049 vsize=10849036 memory=906136 CPUtime=12.84 cores=0,2,4,6
/proc/16052/task/16109/stat : 16109 (java) S 16049 16052 13460 0 -1 1077944384 16050 13149 0 0 1218 59 5 2 20 0 15 0 444594559 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522515175696 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16110] ppid=16049 vsize=10849036 memory=1056 CPUtime=11.03 cores=0,2,4,6
/proc/16052/task/16110/stat : 16110 (java) S 16049 16052 13460 0 -1 1077944384 18014 13149 0 0 1030 66 5 2 20 0 15 0 444594561 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522403388272 140522944449154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16111] ppid=16049 vsize=10849036 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16111/stat : 16111 (java) S 16049 16052 13460 0 -1 1077944384 39 13149 0 0 0 0 5 2 20 0 15 0 444594561 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522402334304 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16112] ppid=16049 vsize=10849036 memory=140262293162566 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16112/stat : 16112 (java) S 16049 16052 13460 0 -1 1077944384 5 13149 0 0 0 0 5 2 20 0 15 0 444594561 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522270221696 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16113] ppid=16049 vsize=10849036 memory=906136 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16113/stat : 16113 (java) S 16049 16052 13460 0 -1 1077944384 2 13149 0 0 0 0 5 2 20 0 15 0 444594564 11109412864 226534 33554432000 4194304 4196468 140730056238896 140521666242896 140522944456603 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16114] ppid=16049 vsize=10849036 memory=906136 CPUtime=6.17 cores=0,2,4,6
/proc/16052/task/16114/stat : 16114 (java) S 16049 16052 13460 0 -1 1077944384 26127 13149 0 0 604 6 5 2 20 0 15 0 444594564 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522368776560 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16115] ppid=16049 vsize=10849036 memory=906136 CPUtime=5.7 cores=0,2,4,6
/proc/16052/task/16115/stat : 16115 (java) S 16049 16052 13460 0 -1 1077944384 25853 13149 0 0 559 4 5 2 20 0 15 0 444594564 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522367723760 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16116] ppid=16049 vsize=10849036 memory=906136 CPUtime=2.52 cores=0,2,4,6
/proc/16052/task/16116/stat : 16116 (java) S 16049 16052 13460 0 -1 1077944384 16912 13149 0 0 238 7 5 2 20 0 15 0 444594564 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522366670960 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16117] ppid=16049 vsize=10849036 memory=280524582648176 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16117/stat : 16117 (java) S 16049 16052 13460 0 -1 1077944384 3 13149 0 0 0 0 5 2 20 0 15 0 444594564 11109412864 226534 33554432000 4194304 4196468 140730056238896 140521196480736 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16118] ppid=16049 vsize=10849036 memory=6944656592455097440 CPUtime=1.32 cores=0,2,4,6
/proc/16052/task/16118/stat : 16118 (java) S 16049 16052 13460 0 -1 1077944384 1709 13149 0 0 61 64 5 2 20 0 15 0 444594565 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522365619376 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 906136 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2469.14 s]
# the end of solver process 16052 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.21 s, system=3.86926 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2469.11 s]
/proc/loadavg: 1.52 1.33 1.40 3/227 16624
/proc/meminfo: memFree=25120088/32770624 swapFree=66941508/67108860
[pid=16052] ppid=16049 vsize=10849036 memory=906136 CPUtime=2520.03 cores=0,2,4,6
/proc/16052/stat : 16052 (java) S 16049 16052 13460 0 -1 1077944320 227921 13149 0 0 251613 383 5 2 20 0 15 0 444594550 11109412864 226534 33554432000 4194304 4196468 140730056238896 140730056221440 140522944438007 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
/proc/16052/statm: 2712259 226534 3628 1 0 2674317 0
[pid=16052/tid=16105] ppid=16049 vsize=10849036 memory=906136 CPUtime=2442.31 cores=0,2,4,6
/proc/16052/task/16105/stat : 16105 (java) R 16049 16052 13460 0 -1 4202560 72175 13149 0 0 244166 58 5 2 20 0 15 0 444594559 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522916273872 140522568361790 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16106] ppid=16049 vsize=10849036 memory=906136 CPUtime=12.9 cores=0,2,4,6
/proc/16052/task/16106/stat : 16106 (java) S 16049 16052 13460 0 -1 1077944384 18580 13149 0 0 1225 58 5 2 20 0 15 0 444594559 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522948680336 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16107] ppid=16049 vsize=10849036 memory=906136 CPUtime=12.88 cores=0,2,4,6
/proc/16052/task/16107/stat : 16107 (java) S 16049 16052 13460 0 -1 1077944384 14885 13149 0 0 1223 58 5 2 20 0 15 0 444594559 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522876160528 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16108] ppid=16049 vsize=10849036 memory=906136 CPUtime=12.88 cores=0,2,4,6
/proc/16052/task/16108/stat : 16108 (java) S 16049 16052 13460 0 -1 1077944384 15361 13149 0 0 1223 58 5 2 20 0 15 0 444594559 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522516228496 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16109] ppid=16049 vsize=10849036 memory=906136 CPUtime=12.84 cores=0,2,4,6
/proc/16052/task/16109/stat : 16109 (java) S 16049 16052 13460 0 -1 1077944384 16050 13149 0 0 1218 59 5 2 20 0 15 0 444594559 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522515175696 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16110] ppid=16049 vsize=10849036 memory=1056 CPUtime=11.03 cores=0,2,4,6
/proc/16052/task/16110/stat : 16110 (java) S 16049 16052 13460 0 -1 1077944384 18014 13149 0 0 1030 66 5 2 20 0 15 0 444594561 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522403388272 140522944449154 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16111] ppid=16049 vsize=10849036 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16111/stat : 16111 (java) S 16049 16052 13460 0 -1 1077944384 39 13149 0 0 0 0 5 2 20 0 15 0 444594561 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522402334304 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16112] ppid=16049 vsize=10849036 memory=140262293162566 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16112/stat : 16112 (java) S 16049 16052 13460 0 -1 1077944384 5 13149 0 0 0 0 5 2 20 0 15 0 444594561 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522270221696 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16113] ppid=16049 vsize=10849036 memory=906136 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16113/stat : 16113 (java) S 16049 16052 13460 0 -1 1077944384 2 13149 0 0 0 0 5 2 20 0 15 0 444594564 11109412864 226534 33554432000 4194304 4196468 140730056238896 140521666242896 140522944456603 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16114] ppid=16049 vsize=10849036 memory=906136 CPUtime=6.17 cores=0,2,4,6
/proc/16052/task/16114/stat : 16114 (java) S 16049 16052 13460 0 -1 1077944384 26127 13149 0 0 604 6 5 2 20 0 15 0 444594564 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522368776560 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16115] ppid=16049 vsize=10849036 memory=906136 CPUtime=5.7 cores=0,2,4,6
/proc/16052/task/16115/stat : 16115 (java) S 16049 16052 13460 0 -1 1077944384 25853 13149 0 0 559 4 5 2 20 0 15 0 444594564 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522367723760 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16116] ppid=16049 vsize=10849036 memory=906136 CPUtime=2.52 cores=0,2,4,6
/proc/16052/task/16116/stat : 16116 (java) S 16049 16052 13460 0 -1 1077944384 16912 13149 0 0 238 7 5 2 20 0 15 0 444594564 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522366670960 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16117] ppid=16049 vsize=10849036 memory=280524582648176 CPUtime=0.07 cores=0,2,4,6
/proc/16052/task/16117/stat : 16117 (java) S 16049 16052 13460 0 -1 1077944384 3 13149 0 0 0 0 5 2 20 0 15 0 444594564 11109412864 226534 33554432000 4194304 4196468 140730056238896 140521196480736 140522944448213 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
[pid=16052/tid=16118] ppid=16049 vsize=10849036 memory=6944656592455097440 CPUtime=1.32 cores=0,2,4,6
/proc/16052/task/16118/stat : 16118 (java) S 16049 16052 13460 0 -1 1077944384 1709 13149 0 0 61 64 5 2 20 0 15 0 444594565 11109412864 226534 33554432000 4194304 4196468 140730056238896 140522365619376 140522944449154 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18628608 140730056243952 140730056246469 140730056246469 140730056249295 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 906136 KiB
Child status: 143
Real time (s): 2469.14
CPU time (s): 2520.08
CPU user time (s): 2516.21
CPU system time (s): 3.86926
CPU usage (%): 102.063
Max. virtual memory (cumulated for all children) (KiB): 10851708
Max. memory (cumulated for all children) (KiB): 1355932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.21
system time used= 3.86926
maximum resident set size= 1357980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242200
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 289340
involuntary context switches= 5938
# summary of solver processes directly reported to runsolver:
# pid: 16052
# total CPU time (s): 2520.08
# total CPU user time (s): 2516.21
# total CPU system time (s): 3.86926
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8728 second user time and 23.1007 second system time
The end