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 (12455 MiB free)
memory of node 1: 16384 MiB (10359 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308379-1534334128/watcher-4308379-1534334128 -o /tmp/evaluation-result-4308379-1534334128/solver-4308379-1534334128 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534329180-20205 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1476125662 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308379-1534334128.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20673, runsolver pid=20670
Current StackSize limit: 8192 KiB
[startup+0.100141 s]*
/proc/loadavg: 1.84 1.77 1.75 3/215 20688
/proc/meminfo: memFree=23344052/32770624 swapFree=67108368/67108860
[pid=20673] ppid=20670 vsize=14082736 memory=33688 CPUtime=0.12 cores=1,3,5,7
/proc/20673/stat : 20673 (java) S 20670 20673 20173 0 -1 1077944320 7349 0 0 0 11 1 0 0 20 0 15 0 250975928 14420721664 8422 33554432000 4194304 4196468 140720856712272 140720856694816 140272009465591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
/proc/20673/statm: 3520684 8422 3138 1 0 3482761 0
[pid=20673/tid=20675] ppid=20670 vsize=14082736 memory=-6966721798027829888 CPUtime=0.09 cores=1,3,5,7
/proc/20673/task/20675/stat : 20675 (java) R 20670 20673 20173 0 -1 4202560 5429 0 0 0 8 1 0 0 20 0 15 0 250975928 14420721664 8422 33554432000 4194304 4196468 140720856712272 140272013691280 140271993546078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20676] ppid=20670 vsize=14082736 memory=5793855228140710329 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20676/stat : 20676 (java) S 20670 20673 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250975929 14420721664 8422 33554432000 4194304 4196468 140720856712272 140271962086416 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20677] ppid=20670 vsize=14082736 memory=139977130817152 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20677/stat : 20677 (java) S 20670 20673 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250975929 14420721664 8422 33554432000 4194304 4196468 140720856712272 140271961033872 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20678] ppid=20670 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20678/stat : 20678 (java) S 20670 20673 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250975929 14420721664 8422 33554432000 4194304 4196468 140720856712272 140271959980816 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20679] ppid=20670 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20679/stat : 20679 (java) S 20670 20673 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250975929 14420721664 8422 33554432000 4194304 4196468 140720856712272 140271958928272 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20680] ppid=20670 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20680/stat : 20680 (java) S 20670 20673 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250975931 14420721664 8422 33554432000 4194304 4196468 140720856712272 140271123167472 140272009476738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20681] ppid=20670 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20681/stat : 20681 (java) S 20670 20673 20173 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250975931 14420721664 8422 33554432000 4194304 4196468 140720856712272 140271122113696 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20682] ppid=20670 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20682/stat : 20682 (java) S 20670 20673 20173 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250975931 14420721664 8422 33554432000 4194304 4196468 140720856712272 140271121060592 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20683] ppid=20670 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20683/stat : 20683 (java) S 20670 20673 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250975934 14420721664 8422 33554432000 4194304 4196468 140720856712272 140271120009168 140272009484187 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20684] ppid=20670 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20684/stat : 20684 (java) S 20670 20673 20173 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 250975934 14420721664 8422 33554432000 4194304 4196468 140720856712272 140271118957296 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20685] ppid=20670 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20685/stat : 20685 (java) S 20670 20673 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250975934 14420721664 8422 33554432000 4194304 4196468 140720856712272 140271117904752 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20686] ppid=20670 vsize=14082736 memory=139977130817152 CPUtime=0.01 cores=1,3,5,7
/proc/20673/task/20686/stat : 20686 (java) R 20670 20673 20173 0 -1 4202560 239 0 0 0 1 0 0 0 20 0 15 0 250975934 14420721664 8422 33554432000 4194304 4196468 140720856712272 140271116851696 140272009476738 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20687] ppid=20670 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20687/stat : 20687 (java) S 20670 20673 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250975934 14420721664 8422 33554432000 4194304 4196468 140720856712272 140271115799392 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20688] ppid=20670 vsize=14082736 memory=139977130817152 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20688/stat : 20688 (java) S 20670 20673 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250975934 14420721664 8422 33554432000 4194304 4196468 140720856712272 140271114746416 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33688 KiB
[startup+0.210317 s]*
/proc/loadavg: 1.84 1.77 1.75 6/215 20688
/proc/meminfo: memFree=23326320/32770624 swapFree=67108368/67108860
[pid=20673] ppid=20670 vsize=14082736 memory=47080 CPUtime=0.3 cores=1,3,5,7
/proc/20673/stat : 20673 (java) S 20670 20673 20173 0 -1 1077944320 10372 0 0 0 28 2 0 0 20 0 15 0 250975928 14420721664 11770 33554432000 4194304 4196468 140720856712272 140720856694816 140272009465591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
/proc/20673/statm: 3520684 11770 3380 1 0 3482761 0
[pid=20673/tid=20675] ppid=20670 vsize=14082736 memory=6735269665583770266 CPUtime=0.19 cores=1,3,5,7
/proc/20673/task/20675/stat : 20675 (java) R 20670 20673 20173 0 -1 4202560 8121 0 0 0 18 1 0 0 20 0 15 0 250975928 14420721664 11770 33554432000 4194304 4196468 140720856712272 140272013686864 140271993509221 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20676] ppid=20670 vsize=14082736 memory=4211973703335607690 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20676/stat : 20676 (java) S 20670 20673 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250975929 14420721664 11770 33554432000 4194304 4196468 140720856712272 140271962086416 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20677] ppid=20670 vsize=14082736 memory=139977130817152 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20677/stat : 20677 (java) S 20670 20673 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250975929 14420721664 11770 33554432000 4194304 4196468 140720856712272 140271961033872 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20678] ppid=20670 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20678/stat : 20678 (java) S 20670 20673 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250975929 14420721664 11770 33554432000 4194304 4196468 140720856712272 140271959980816 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20679] ppid=20670 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20679/stat : 20679 (java) S 20670 20673 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250975929 14420721664 11770 33554432000 4194304 4196468 140720856712272 140271958928272 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20680] ppid=20670 vsize=14082736 memory=139977130817152 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20680/stat : 20680 (java) S 20670 20673 20173 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250975931 14420721664 11770 33554432000 4194304 4196468 140720856712272 140271123167472 140272009476738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20681] ppid=20670 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20681/stat : 20681 (java) S 20670 20673 20173 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250975931 14420721664 11770 33554432000 4194304 4196468 140720856712272 140271122113696 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20682] ppid=20670 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20682/stat : 20682 (java) S 20670 20673 20173 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250975931 14420721664 11770 33554432000 4194304 4196468 140720856712272 140271121060592 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20683] ppid=20670 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20683/stat : 20683 (java) S 20670 20673 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250975934 14420721664 11770 33554432000 4194304 4196468 140720856712272 140271120009168 140272009484187 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20684] ppid=20670 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20673/task/20684/stat : 20684 (java) R 20670 20673 20173 0 -1 4202560 541 0 0 0 1 0 0 0 20 0 15 0 250975934 14420721664 11770 33554432000 4194304 4196468 140720856712272 140271118938312 140271990988345 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20685] ppid=20670 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/20673/task/20685/stat : 20685 (java) R 20670 20673 20173 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 15 0 250975934 14420721664 11770 33554432000 4194304 4196468 140720856712272 140271117904752 140272009476738 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20686] ppid=20670 vsize=14082736 memory=139977130817152 CPUtime=0.06 cores=1,3,5,7
/proc/20673/task/20686/stat : 20686 (java) R 20670 20673 20173 0 -1 4202560 278 0 0 0 6 0 0 0 20 0 15 0 250975934 14420721664 11770 33554432000 4194304 4196468 140720856712272 140271116851696 140271987835201 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20687] ppid=20670 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20687/stat : 20687 (java) S 20670 20673 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250975934 14420721664 11770 33554432000 4194304 4196468 140720856712272 140271115799392 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20688] ppid=20670 vsize=14082736 memory=139977130817152 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20688/stat : 20688 (java) S 20670 20673 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250975934 14420721664 11770 33554432000 4194304 4196468 140720856712272 140271114746416 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47080 KiB
[startup+0.310538 s]*
/proc/loadavg: 1.84 1.77 1.75 4/215 20688
/proc/meminfo: memFree=23324472/32770624 swapFree=67108368/67108860
[pid=20673] ppid=20670 vsize=14082736 memory=50564 CPUtime=0.43 cores=1,3,5,7
/proc/20673/stat : 20673 (java) S 20670 20673 20173 0 -1 1077944320 10768 0 0 0 41 2 0 0 20 0 15 0 250975928 14420721664 12641 33554432000 4194304 4196468 140720856712272 140720856694816 140272009465591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
/proc/20673/statm: 3520684 12641 3383 1 0 3482761 0
[pid=20673/tid=20675] ppid=20670 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=1,3,5,7
/proc/20673/task/20675/stat : 20675 (java) R 20670 20673 20173 0 -1 4202560 8478 0 0 0 27 2 0 0 20 0 15 0 250975928 14420721664 12641 33554432000 4194304 4196468 140720856712272 140272013677168 140271993546078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20676] ppid=20670 vsize=14082736 memory=4211973703335607690 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20676/stat : 20676 (java) S 20670 20673 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250975929 14420721664 12641 33554432000 4194304 4196468 140720856712272 140271962086416 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20677] ppid=20670 vsize=14082736 memory=139977130819503 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20677/stat : 20677 (java) S 20670 20673 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250975929 14420721664 12641 33554432000 4194304 4196468 140720856712272 140271961033872 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20678] ppid=20670 vsize=14082736 memory=139977010837682 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20678/stat : 20678 (java) S 20670 20673 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250975929 14420721664 12641 33554432000 4194304 4196468 140720856712272 140271959980816 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20679] ppid=20670 vsize=14082736 memory=139977010826703 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20679/stat : 20679 (java) S 20670 20673 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250975929 14420721664 12641 33554432000 4194304 4196468 140720856712272 140271958928272 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20680] ppid=20670 vsize=14082736 memory=139977130837351 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20680/stat : 20680 (java) S 20670 20673 20173 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250975931 14420721664 12641 33554432000 4194304 4196468 140720856712272 140271123167472 140272009476738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20681] ppid=20670 vsize=14082736 memory=139977010835887 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20681/stat : 20681 (java) S 20670 20673 20173 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250975931 14420721664 12641 33554432000 4194304 4196468 140720856712272 140271122113696 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20682] ppid=20670 vsize=14082736 memory=279954021662608 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20682/stat : 20682 (java) S 20670 20673 20173 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250975931 14420721664 12641 33554432000 4194304 4196468 140720856712272 140271121060592 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20683] ppid=20670 vsize=14082736 memory=279954021660304 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20683/stat : 20683 (java) S 20670 20673 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250975934 14420721664 12641 33554432000 4194304 4196468 140720856712272 140271120009168 140272009484187 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20684] ppid=20670 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20673/task/20684/stat : 20684 (java) S 20670 20673 20173 0 -1 1077944384 558 0 0 0 2 0 0 0 20 0 15 0 250975934 14420721664 12641 33554432000 4194304 4196468 140720856712272 140271118957296 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20685] ppid=20670 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20673/task/20685/stat : 20685 (java) S 20670 20673 20173 0 -1 1077944384 62 0 0 0 2 0 0 0 20 0 15 0 250975934 14420721664 12641 33554432000 4194304 4196468 140720856712272 140271117904752 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20686] ppid=20670 vsize=14082736 memory=139977130817152 CPUtime=0.08 cores=1,3,5,7
/proc/20673/task/20686/stat : 20686 (java) S 20670 20673 20173 0 -1 1077944384 288 0 0 0 8 0 0 0 20 0 15 0 250975934 14420721664 12641 33554432000 4194304 4196468 140720856712272 140271116851696 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20687] ppid=20670 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20687/stat : 20687 (java) S 20670 20673 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250975934 14420721664 12641 33554432000 4194304 4196468 140720856712272 140271115799392 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20688] ppid=20670 vsize=14082736 memory=139977130817152 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20688/stat : 20688 (java) S 20670 20673 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250975934 14420721664 12641 33554432000 4194304 4196468 140720856712272 140271114746416 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50564 KiB
[startup+0.700745 s]
/proc/loadavg: 1.84 1.77 1.75 3/215 20688
/proc/meminfo: memFree=23302164/32770624 swapFree=67108368/67108860
[pid=20673] ppid=20670 vsize=14084804 memory=89008 CPUtime=0.98 cores=1,3,5,7
/proc/20673/stat : 20673 (java) S 20670 20673 20173 0 -1 1077944320 17596 0 0 0 94 4 0 0 20 0 15 0 250975928 14422839296 22252 33554432000 4194304 4196468 140720856712272 140720856694816 140272009465591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
/proc/20673/statm: 3521201 22252 3498 1 0 3483273 0
[pid=20673/tid=20675] ppid=20670 vsize=14084804 memory=872 CPUtime=0.66 cores=1,3,5,7
/proc/20673/task/20675/stat : 20675 (java) R 20670 20673 20173 0 -1 4202560 14879 0 0 0 63 3 0 0 20 0 15 0 250975928 14422839296 22252 33554432000 4194304 4196468 140720856712272 140272013680528 140271993546078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20676] ppid=20670 vsize=14084804 memory=1920 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20676/stat : 20676 (java) S 20670 20673 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250975929 14422839296 22252 33554432000 4194304 4196468 140720856712272 140271962086416 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20677] ppid=20670 vsize=14084804 memory=6284 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20677/stat : 20677 (java) S 20670 20673 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250975929 14422839296 22252 33554432000 4194304 4196468 140720856712272 140271961033872 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20678] ppid=20670 vsize=14084804 memory=7014751519600366929 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20678/stat : 20678 (java) S 20670 20673 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250975929 14422839296 22252 33554432000 4194304 4196468 140720856712272 140271959980816 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20679] ppid=20670 vsize=14084804 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20679/stat : 20679 (java) S 20670 20673 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250975929 14422839296 22252 33554432000 4194304 4196468 140720856712272 140271958928272 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20680] ppid=20670 vsize=14084804 memory=5787213840016500561 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20680/stat : 20680 (java) S 20670 20673 20173 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250975931 14422839296 22252 33554432000 4194304 4196468 140720856712272 140271123167472 140272009476738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20681] ppid=20670 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20681/stat : 20681 (java) S 20670 20673 20173 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250975931 14422839296 22252 33554432000 4194304 4196468 140720856712272 140271122113696 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20682] ppid=20670 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20682/stat : 20682 (java) S 20670 20673 20173 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250975931 14422839296 22252 33554432000 4194304 4196468 140720856712272 140271121060592 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20683] ppid=20670 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20683/stat : 20683 (java) S 20670 20673 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250975934 14422839296 22252 33554432000 4194304 4196468 140720856712272 140271120009168 140272009484187 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20684] ppid=20670 vsize=14084804 memory=225 CPUtime=0.07 cores=1,3,5,7
/proc/20673/task/20684/stat : 20684 (java) S 20670 20673 20173 0 -1 1077944384 710 0 0 0 7 0 0 0 20 0 15 0 250975934 14422839296 22252 33554432000 4194304 4196468 140720856712272 140271118957296 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20685] ppid=20670 vsize=14084804 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/20673/task/20685/stat : 20685 (java) S 20670 20673 20173 0 -1 1077944384 228 0 0 0 7 0 0 0 20 0 15 0 250975934 14422839296 22252 33554432000 4194304 4196468 140720856712272 140271117904752 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20686] ppid=20670 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/20673/task/20686/stat : 20686 (java) S 20670 20673 20173 0 -1 1077944384 397 0 0 0 15 0 0 0 20 0 15 0 250975934 14422839296 22252 33554432000 4194304 4196468 140720856712272 140271116851696 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20687] ppid=20670 vsize=14084804 memory=279954021846512 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20687/stat : 20687 (java) S 20670 20673 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250975934 14422839296 22252 33554432000 4194304 4196468 140720856712272 140271115799392 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20688] ppid=20670 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20688/stat : 20688 (java) S 20670 20673 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250975934 14422839296 22252 33554432000 4194304 4196468 140720856712272 140271114746416 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89008 KiB
[startup+1.50072 s]
/proc/loadavg: 1.84 1.77 1.75 4/215 20688
/proc/meminfo: memFree=23266864/32770624 swapFree=67108368/67108860
[pid=20673] ppid=20670 vsize=14088900 memory=139500 CPUtime=2.5 cores=1,3,5,7
/proc/20673/stat : 20673 (java) S 20670 20673 20173 0 -1 1077944320 23695 0 0 0 243 7 0 0 20 0 15 0 250975928 14427033600 34875 33554432000 4194304 4196468 140720856712272 140720856694816 140272009465591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
/proc/20673/statm: 3522225 34875 3544 1 0 3484297 0
[pid=20673/tid=20675] ppid=20670 vsize=14088900 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/20673/task/20675/stat : 20675 (java) R 20670 20673 20173 0 -1 4202560 18556 0 0 0 141 5 0 0 20 0 15 0 250975928 14427033600 34875 33554432000 4194304 4196468 140720856712272 140272013701576 140271639361132 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20676] ppid=20670 vsize=14088900 memory=-1088251628401078322 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20676/stat : 20676 (java) S 20670 20673 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250975929 14427033600 34875 33554432000 4194304 4196468 140720856712272 140271962086416 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20677] ppid=20670 vsize=14088900 memory=-3472574513799858009 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20677/stat : 20677 (java) S 20670 20673 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250975929 14427033600 34875 33554432000 4194304 4196468 140720856712272 140271961033872 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20678] ppid=20670 vsize=14088900 memory=-6585528546044026665 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20678/stat : 20678 (java) S 20670 20673 20173 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250975929 14427033600 34875 33554432000 4194304 4196468 140720856712272 140271959980816 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20679] ppid=20670 vsize=14088900 memory=-7162245515466199598 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20679/stat : 20679 (java) S 20670 20673 20173 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250975929 14427033600 34875 33554432000 4194304 4196468 140720856712272 140271958928272 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20680] ppid=20670 vsize=14088900 memory=-6439125508584399711 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20680/stat : 20680 (java) S 20670 20673 20173 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 250975931 14427033600 34875 33554432000 4194304 4196468 140720856712272 140271123167472 140272009476738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
################
# More data... #
################
/proc/20673/task/20675/stat : 20675 (java) R 20670 20673 20173 0 -1 4202560 72933 0 0 0 235435 38 0 0 20 0 15 0 250975928 14429130752 109690 33554432000 4194304 4196468 140720856712272 140272013703664 140271640806107 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20676] ppid=20670 vsize=14090948 memory=438760 CPUtime=13.67 cores=1,3,5,7
/proc/20673/task/20676/stat : 20676 (java) S 20670 20673 20173 0 -1 1077944384 6028 0 0 0 1295 72 0 0 20 0 15 0 250975929 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271962086416 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20677] ppid=20670 vsize=14090948 memory=438760 CPUtime=13.68 cores=1,3,5,7
/proc/20673/task/20677/stat : 20677 (java) S 20670 20673 20173 0 -1 1077944384 6957 0 0 0 1294 74 0 0 20 0 15 0 250975929 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271961033872 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20678] ppid=20670 vsize=14090948 memory=438760 CPUtime=13.64 cores=1,3,5,7
/proc/20673/task/20678/stat : 20678 (java) S 20670 20673 20173 0 -1 1077944384 7455 0 0 0 1291 73 0 0 20 0 15 0 250975929 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271959980816 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20679] ppid=20670 vsize=14090948 memory=438760 CPUtime=13.64 cores=1,3,5,7
/proc/20673/task/20679/stat : 20679 (java) S 20670 20673 20173 0 -1 1077944384 8381 0 0 0 1291 73 0 0 20 0 15 0 250975929 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271958928272 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20680] ppid=20670 vsize=14090948 memory=438760 CPUtime=9.96 cores=1,3,5,7
/proc/20673/task/20680/stat : 20680 (java) S 20670 20673 20173 0 -1 1077944384 14572 0 0 0 927 69 0 0 20 0 15 0 250975931 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271123167472 140272009476738 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20681] ppid=20670 vsize=14090948 memory=438760 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20681/stat : 20681 (java) S 20670 20673 20173 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 250975931 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271122113760 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20682] ppid=20670 vsize=14090948 memory=56 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20682/stat : 20682 (java) S 20670 20673 20173 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 250975931 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271121060608 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20683] ppid=20670 vsize=14090948 memory=438760 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20683/stat : 20683 (java) S 20670 20673 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250975934 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271120009168 140272009484187 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20684] ppid=20670 vsize=14090948 memory=438760 CPUtime=1.77 cores=1,3,5,7
/proc/20673/task/20684/stat : 20684 (java) S 20670 20673 20173 0 -1 1077944384 17963 0 0 0 174 3 0 0 20 0 15 0 250975934 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271118957296 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20685] ppid=20670 vsize=14090948 memory=438760 CPUtime=1.3 cores=1,3,5,7
/proc/20673/task/20685/stat : 20685 (java) S 20670 20673 20173 0 -1 1077944384 11984 0 0 0 128 2 0 0 20 0 15 0 250975934 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271117904752 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20686] ppid=20670 vsize=14090948 memory=6944656575208382560 CPUtime=0.77 cores=1,3,5,7
/proc/20673/task/20686/stat : 20686 (java) S 20670 20673 20173 0 -1 1077944384 14481 0 0 0 74 3 0 0 20 0 15 0 250975934 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271116851696 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20687] ppid=20670 vsize=14090948 memory=438760 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20687/stat : 20687 (java) S 20670 20673 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250975934 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271115799392 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20688] ppid=20670 vsize=14090948 memory=438760 CPUtime=1.31 cores=1,3,5,7
/proc/20673/task/20688/stat : 20688 (java) S 20670 20673 20173 0 -1 1077944384 1375 0 0 0 51 80 0 0 20 0 15 0 250975934 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271114746416 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
Current children cumulated CPU time: 2424.57 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 438760 KiB
[startup+2442.3 s]
/proc/loadavg: 1.31 1.49 1.42 3/215 20863
/proc/meminfo: memFree=22800840/32770624 swapFree=67108368/67108860
[pid=20673] ppid=20670 vsize=14090948 memory=438760 CPUtime=2485.43 cores=1,3,5,7
/proc/20673/stat : 20673 (java) S 20670 20673 20173 0 -1 1077944320 164743 0 0 0 248136 407 0 0 20 0 15 0 250975928 14429130752 109690 33554432000 4194304 4196468 140720856712272 140720856694816 140272009465591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
/proc/20673/statm: 3522737 109690 3620 1 0 3484809 0
[pid=20673/tid=20675] ppid=20670 vsize=14090948 memory=438760 CPUtime=2414.01 cores=1,3,5,7
/proc/20673/task/20675/stat : 20675 (java) R 20670 20673 20173 0 -1 4202560 73573 0 0 0 241361 40 0 0 20 0 15 0 250975928 14429130752 109690 33554432000 4194304 4196468 140720856712272 140272013703664 140271640742818 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20676] ppid=20670 vsize=14090948 memory=438760 CPUtime=13.98 cores=1,3,5,7
/proc/20673/task/20676/stat : 20676 (java) S 20670 20673 20173 0 -1 1077944384 6081 0 0 0 1324 74 0 0 20 0 15 0 250975929 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271962086416 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20677] ppid=20670 vsize=14090948 memory=438760 CPUtime=13.99 cores=1,3,5,7
/proc/20673/task/20677/stat : 20677 (java) S 20670 20673 20173 0 -1 1077944384 7163 0 0 0 1323 76 0 0 20 0 15 0 250975929 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271961033872 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20678] ppid=20670 vsize=14090948 memory=438760 CPUtime=13.96 cores=1,3,5,7
/proc/20673/task/20678/stat : 20678 (java) S 20670 20673 20173 0 -1 1077944384 7506 0 0 0 1321 75 0 0 20 0 15 0 250975929 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271959980816 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20679] ppid=20670 vsize=14090948 memory=438760 CPUtime=13.96 cores=1,3,5,7
/proc/20673/task/20679/stat : 20679 (java) S 20670 20673 20173 0 -1 1077944384 8438 0 0 0 1321 75 0 0 20 0 15 0 250975929 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271958928272 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20680] ppid=20670 vsize=14090948 memory=438760 CPUtime=10.26 cores=1,3,5,7
/proc/20673/task/20680/stat : 20680 (java) S 20670 20673 20173 0 -1 1077944384 14716 0 0 0 954 72 0 0 20 0 15 0 250975931 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271123167472 140272009476738 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20681] ppid=20670 vsize=14090948 memory=438760 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20681/stat : 20681 (java) S 20670 20673 20173 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 250975931 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271122113760 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20682] ppid=20670 vsize=14090948 memory=438760 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20682/stat : 20682 (java) S 20670 20673 20173 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 250975931 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271121060608 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20683] ppid=20670 vsize=14090948 memory=438760 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20683/stat : 20683 (java) S 20670 20673 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250975934 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271120009168 140272009484187 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20684] ppid=20670 vsize=14090948 memory=438760 CPUtime=1.77 cores=1,3,5,7
/proc/20673/task/20684/stat : 20684 (java) S 20670 20673 20173 0 -1 1077944384 17965 0 0 0 174 3 0 0 20 0 15 0 250975934 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271118957296 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20685] ppid=20670 vsize=14090948 memory=438760 CPUtime=1.31 cores=1,3,5,7
/proc/20673/task/20685/stat : 20685 (java) S 20670 20673 20173 0 -1 1077944384 11986 0 0 0 129 2 0 0 20 0 15 0 250975934 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271117904752 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20686] ppid=20670 vsize=14090948 memory=438760 CPUtime=0.77 cores=1,3,5,7
/proc/20673/task/20686/stat : 20686 (java) S 20670 20673 20173 0 -1 1077944384 14483 0 0 0 74 3 0 0 20 0 15 0 250975934 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271116851696 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20687] ppid=20670 vsize=14090948 memory=438760 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20687/stat : 20687 (java) S 20670 20673 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250975934 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271115799392 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20688] ppid=20670 vsize=14090948 memory=1920 CPUtime=1.35 cores=1,3,5,7
/proc/20673/task/20688/stat : 20688 (java) S 20670 20673 20173 0 -1 1077944384 1379 0 0 0 53 82 0 0 20 0 15 0 250975934 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271114746416 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
Current children cumulated CPU time: 2485.43 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 438760 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2476.5 s]
/proc/loadavg: 1.20 1.44 1.40 3/215 20863
/proc/meminfo: memFree=22801092/32770624 swapFree=67108368/67108860
[pid=20673] ppid=20670 vsize=14090948 memory=438760 CPUtime=2520.06 cores=1,3,5,7
/proc/20673/stat : 20673 (java) S 20670 20673 20173 0 -1 1077944320 165162 0 0 0 251594 412 0 0 20 0 15 0 250975928 14429130752 109690 33554432000 4194304 4196468 140720856712272 140720856694816 140272009465591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
/proc/20673/statm: 3522737 109690 3620 1 0 3484809 0
[pid=20673/tid=20675] ppid=20670 vsize=14090948 memory=438760 CPUtime=2447.87 cores=1,3,5,7
/proc/20673/task/20675/stat : 20675 (java) R 20670 20673 20173 0 -1 4202560 73901 0 0 0 244747 40 0 0 20 0 15 0 250975928 14429130752 109690 33554432000 4194304 4196468 140720856712272 140272013703584 140271641084089 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20676] ppid=20670 vsize=14090948 memory=438760 CPUtime=14.12 cores=1,3,5,7
/proc/20673/task/20676/stat : 20676 (java) S 20670 20673 20173 0 -1 1077944384 6095 0 0 0 1338 74 0 0 20 0 15 0 250975929 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271962086416 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20677] ppid=20670 vsize=14090948 memory=438760 CPUtime=14.14 cores=1,3,5,7
/proc/20673/task/20677/stat : 20677 (java) S 20670 20673 20173 0 -1 1077944384 7178 0 0 0 1337 77 0 0 20 0 15 0 250975929 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271961033872 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20678] ppid=20670 vsize=14090948 memory=438760 CPUtime=14.11 cores=1,3,5,7
/proc/20673/task/20678/stat : 20678 (java) S 20670 20673 20173 0 -1 1077944384 7516 0 0 0 1336 75 0 0 20 0 15 0 250975929 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271959980816 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20679] ppid=20670 vsize=14090948 memory=438760 CPUtime=14.11 cores=1,3,5,7
/proc/20673/task/20679/stat : 20679 (java) S 20670 20673 20173 0 -1 1077944384 8442 0 0 0 1336 75 0 0 20 0 15 0 250975929 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271958928272 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20680] ppid=20670 vsize=14090948 memory=438760 CPUtime=10.38 cores=1,3,5,7
/proc/20673/task/20680/stat : 20680 (java) S 20670 20673 20173 0 -1 1077944384 14753 0 0 0 965 73 0 0 20 0 15 0 250975931 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271123167472 140272009476738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20681] ppid=20670 vsize=14090948 memory=438760 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20681/stat : 20681 (java) S 20670 20673 20173 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 250975931 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271122113760 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20682] ppid=20670 vsize=14090948 memory=438760 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20682/stat : 20682 (java) S 20670 20673 20173 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 250975931 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271121060608 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20683] ppid=20670 vsize=14090948 memory=438760 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20683/stat : 20683 (java) S 20670 20673 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250975934 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271120009168 140272009484187 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20684] ppid=20670 vsize=14090948 memory=438760 CPUtime=1.77 cores=1,3,5,7
/proc/20673/task/20684/stat : 20684 (java) S 20670 20673 20173 0 -1 1077944384 17965 0 0 0 174 3 0 0 20 0 15 0 250975934 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271118957296 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20685] ppid=20670 vsize=14090948 memory=438760 CPUtime=1.31 cores=1,3,5,7
/proc/20673/task/20685/stat : 20685 (java) S 20670 20673 20173 0 -1 1077944384 11986 0 0 0 129 2 0 0 20 0 15 0 250975934 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271117904752 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20686] ppid=20670 vsize=14090948 memory=438760 CPUtime=0.77 cores=1,3,5,7
/proc/20673/task/20686/stat : 20686 (java) S 20670 20673 20173 0 -1 1077944384 14483 0 0 0 74 3 0 0 20 0 15 0 250975934 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271116851696 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20687] ppid=20670 vsize=14090948 memory=279954021721712 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20687/stat : 20687 (java) S 20670 20673 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250975934 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271115799392 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20688] ppid=20670 vsize=14090948 memory=6284 CPUtime=1.37 cores=1,3,5,7
/proc/20673/task/20688/stat : 20688 (java) S 20670 20673 20173 0 -1 1077944384 1390 0 0 0 53 84 0 0 20 0 15 0 250975934 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271114746416 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 438760 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2476.52 s]
# the end of solver process 20673 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.96 s, system=4.12749 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2476.5 s]
/proc/loadavg: 1.20 1.44 1.40 3/215 20863
/proc/meminfo: memFree=22801092/32770624 swapFree=67108368/67108860
[pid=20673] ppid=20670 vsize=14090948 memory=438760 CPUtime=2520.06 cores=1,3,5,7
/proc/20673/stat : 20673 (java) S 20670 20673 20173 0 -1 1077944320 165162 0 0 0 251594 412 0 0 20 0 15 0 250975928 14429130752 109690 33554432000 4194304 4196468 140720856712272 140720856694816 140272009465591 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
/proc/20673/statm: 3522737 109690 3620 1 0 3484809 0
[pid=20673/tid=20675] ppid=20670 vsize=14090948 memory=438760 CPUtime=2447.87 cores=1,3,5,7
/proc/20673/task/20675/stat : 20675 (java) R 20670 20673 20173 0 -1 4202560 73901 0 0 0 244747 40 0 0 20 0 15 0 250975928 14429130752 109690 33554432000 4194304 4196468 140720856712272 140272013703584 140271641084089 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20676] ppid=20670 vsize=14090948 memory=438760 CPUtime=14.12 cores=1,3,5,7
/proc/20673/task/20676/stat : 20676 (java) S 20670 20673 20173 0 -1 1077944384 6095 0 0 0 1338 74 0 0 20 0 15 0 250975929 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271962086416 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20677] ppid=20670 vsize=14090948 memory=438760 CPUtime=14.14 cores=1,3,5,7
/proc/20673/task/20677/stat : 20677 (java) S 20670 20673 20173 0 -1 1077944384 7178 0 0 0 1337 77 0 0 20 0 15 0 250975929 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271961033872 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20678] ppid=20670 vsize=14090948 memory=438760 CPUtime=14.11 cores=1,3,5,7
/proc/20673/task/20678/stat : 20678 (java) S 20670 20673 20173 0 -1 1077944384 7516 0 0 0 1336 75 0 0 20 0 15 0 250975929 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271959980816 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20679] ppid=20670 vsize=14090948 memory=438760 CPUtime=14.11 cores=1,3,5,7
/proc/20673/task/20679/stat : 20679 (java) S 20670 20673 20173 0 -1 1077944384 8442 0 0 0 1336 75 0 0 20 0 15 0 250975929 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271958928272 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20680] ppid=20670 vsize=14090948 memory=438760 CPUtime=10.38 cores=1,3,5,7
/proc/20673/task/20680/stat : 20680 (java) S 20670 20673 20173 0 -1 1077944384 14753 0 0 0 965 73 0 0 20 0 15 0 250975931 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271123167472 140272009476738 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20681] ppid=20670 vsize=14090948 memory=438760 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20681/stat : 20681 (java) S 20670 20673 20173 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 250975931 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271122113760 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20682] ppid=20670 vsize=14090948 memory=438760 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20682/stat : 20682 (java) S 20670 20673 20173 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 250975931 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271121060608 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20683] ppid=20670 vsize=14090948 memory=438760 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20683/stat : 20683 (java) S 20670 20673 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250975934 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271120009168 140272009484187 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20684] ppid=20670 vsize=14090948 memory=438760 CPUtime=1.77 cores=1,3,5,7
/proc/20673/task/20684/stat : 20684 (java) S 20670 20673 20173 0 -1 1077944384 17965 0 0 0 174 3 0 0 20 0 15 0 250975934 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271118957296 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20685] ppid=20670 vsize=14090948 memory=438760 CPUtime=1.31 cores=1,3,5,7
/proc/20673/task/20685/stat : 20685 (java) S 20670 20673 20173 0 -1 1077944384 11986 0 0 0 129 2 0 0 20 0 15 0 250975934 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271117904752 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20686] ppid=20670 vsize=14090948 memory=438760 CPUtime=0.77 cores=1,3,5,7
/proc/20673/task/20686/stat : 20686 (java) S 20670 20673 20173 0 -1 1077944384 14483 0 0 0 74 3 0 0 20 0 15 0 250975934 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271116851696 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20687] ppid=20670 vsize=14090948 memory=279954021721712 CPUtime=0 cores=1,3,5,7
/proc/20673/task/20687/stat : 20687 (java) S 20670 20673 20173 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250975934 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271115799392 140272009475797 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
[pid=20673/tid=20688] ppid=20670 vsize=14090948 memory=6284 CPUtime=1.37 cores=1,3,5,7
/proc/20673/task/20688/stat : 20688 (java) S 20670 20673 20173 0 -1 1077944384 1390 0 0 0 53 84 0 0 20 0 15 0 250975934 14429130752 109690 33554432000 4194304 4196468 140720856712272 140271114746416 140272009476738 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35917824 140720856716372 140720856716553 140720856716553 140720856719311 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 438760 KiB
Child status: 143
Real time (s): 2476.52
CPU time (s): 2520.09
CPU user time (s): 2515.96
CPU system time (s): 4.12749
CPU usage (%): 101.759
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 634900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.96
system time used= 4.12749
maximum resident set size= 653000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165410
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 331376
involuntary context switches= 6799
# summary of solver processes directly reported to runsolver:
# pid: 20673
# total CPU time (s): 2520.09
# total CPU user time (s): 2515.96
# total CPU system time (s): 4.12749
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1275 second user time and 23.4134 second system time
The end