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 (9284 MiB free)
memory of node 1: 16384 MiB (11987 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4388005-1568293385/watcher-4388005-1568293385 -o /tmp/evaluation-result-4388005-1568293385/solver-4388005-1568293385 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568289558-9765 --watchdog 2580 HOME/scop.sh 11g HOME/scop.jar -hybrid HOME/cryptominisat5 default HOME HOME/instance-4388005-1568293385.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=11541, runsolver pid=11538
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 2.15 2.24 2.24 5/236 11558
/proc/meminfo: memFree=21721544/32770624 swapFree=66997112/67108860
[pid=11541] ppid=11538 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11541/stat : 11541 (scop.sh) S 11538 11541 8640 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405591601 115843072 349 33554432000 4194304 5098028 140723149729520 140723149726776 140494760686204 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31821824 140723149734755 140723149735024 140723149735024 140723149737933 0
/proc/11541/statm: 28282 349 296 221 0 87 0
[pid=11544] ppid=11541 vsize=15013720 memory=74092 CPUtime=0.11 cores=0,2,4,6
/proc/11544/stat : 11544 (java) S 11541 11541 8640 0 -1 1077944320 6755 0 0 0 9 2 0 0 20 0 15 0 405591601 15374049280 18523 33554432000 4194304 4196468 140723701141616 140723701124160 140293522005751 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
/proc/11544/statm: 3753430 18523 2924 1 0 3715835 0
[pid=11544/tid=11545] ppid=11541 vsize=15013720 memory=576460756329985062 CPUtime=0.08 cores=0,2,4,6
/proc/11544/task/11545/stat : 11545 (java) R 11541 11541 8640 0 -1 4202560 4783 0 0 0 7 1 0 0 20 0 15 0 405591601 15374049280 18721 33554432000 4194304 4196468 140723701141616 140293493790000 140293514685469 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11546] ppid=11541 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11546/stat : 11546 (java) S 11541 11541 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591603 15374049280 18721 33554432000 4194304 4196468 140723701141616 140293526248592 140293522015957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11547] ppid=11541 vsize=15013720 memory=140350989354121 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11547/stat : 11547 (java) S 11541 11541 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591603 15374049280 18721 33554432000 4194304 4196468 140723701141616 140293301951504 140293522015957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11548] ppid=11541 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11548/stat : 11548 (java) S 11541 11541 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591603 15374049280 18721 33554432000 4194304 4196468 140723701141616 140293300898704 140293522015957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11549] ppid=11541 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11549/stat : 11549 (java) S 11541 11541 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405591603 15374049280 18721 33554432000 4194304 4196468 140723701141616 140293299845904 140293522015957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11550] ppid=11541 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11550/stat : 11550 (java) S 11541 11541 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405591604 15374049280 18721 33554432000 4194304 4196468 140723701141616 140292726417776 140293522016898 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11551] ppid=11541 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11551/stat : 11551 (java) S 11541 11541 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405591605 15374049280 18721 33554432000 4194304 4196468 140723701141616 140292153926688 140293522015957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11552] ppid=11541 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11552/stat : 11552 (java) S 11541 11541 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591605 15374049280 18721 33554432000 4194304 4196468 140723701141616 140291885491056 140293522015957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11553] ppid=11541 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11553/stat : 11553 (java) S 11541 11541 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405591607 15374049280 18721 33554432000 4194304 4196468 140723701141616 140291510982480 140293522024347 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11554] ppid=11541 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11554/stat : 11554 (java) S 11541 11541 8640 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 405591607 15374049280 18721 33554432000 4194304 4196468 140723701141616 140292725365616 140293522016898 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11555] ppid=11541 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11555/stat : 11555 (java) S 11541 11541 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405591607 15374049280 18721 33554432000 4194304 4196468 140723701141616 140292724312816 140293522016898 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11556] ppid=11541 vsize=15013720 memory=140350986217088 CPUtime=0.01 cores=0,2,4,6
/proc/11544/task/11556/stat : 11556 (java) S 11541 11541 8640 0 -1 1077944384 459 0 0 0 1 0 0 0 20 0 15 0 405591607 15374049280 18721 33554432000 4194304 4196468 140723701141616 140292723260016 140293522016898 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11557] ppid=11541 vsize=15013720 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11557/stat : 11557 (java) S 11541 11541 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405591608 15374049280 18721 33554432000 4194304 4196468 140723701141616 140291013077728 140293522015957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11558] ppid=11541 vsize=15013720 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11558/stat : 11558 (java) S 11541 11541 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591608 15374049280 18721 33554432000 4194304 4196468 140723701141616 140292722207408 140293522016898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15126848 KiB
Current children cumulated memory: 75488 KiB
[startup+0.21069 s]*
/proc/loadavg: 2.15 2.24 2.24 3/236 11558
/proc/meminfo: memFree=21705076/32770624 swapFree=66997112/67108860
[pid=11541] ppid=11538 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11541/stat : 11541 (scop.sh) S 11538 11541 8640 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405591601 115843072 349 33554432000 4194304 5098028 140723149729520 140723149726776 140494760686204 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31821824 140723149734755 140723149735024 140723149735024 140723149737933 0
/proc/11541/statm: 28282 349 296 221 0 87 0
[pid=11544] ppid=11541 vsize=15012696 memory=86804 CPUtime=0.25 cores=0,2,4,6
/proc/11544/stat : 11544 (java) S 11541 11541 8640 0 -1 1077944320 11240 0 0 0 21 4 0 0 20 0 15 0 405591601 15373000704 21701 33554432000 4194304 4196468 140723701141616 140723701124160 140293522005751 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
/proc/11544/statm: 3753174 21701 2929 1 0 3715579 0
[pid=11544/tid=11545] ppid=11541 vsize=15012696 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/11544/task/11545/stat : 11545 (java) R 11541 11541 8640 0 -1 4202560 8978 0 0 0 17 3 0 0 20 0 15 0 405591601 15373000704 21701 33554432000 4194304 4196468 140723701141616 140293493824992 140293522027677 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11546] ppid=11541 vsize=15012696 memory=396 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11546/stat : 11546 (java) S 11541 11541 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591603 15373000704 21701 33554432000 4194304 4196468 140723701141616 140293526248592 140293522015957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11547] ppid=11541 vsize=15012696 memory=3619123707163797152 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11547/stat : 11547 (java) S 11541 11541 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591603 15373000704 21701 33554432000 4194304 4196468 140723701141616 140293301951504 140293522015957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11548] ppid=11541 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11548/stat : 11548 (java) S 11541 11541 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591603 15373000704 21701 33554432000 4194304 4196468 140723701141616 140293300898704 140293522015957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11549] ppid=11541 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11549/stat : 11549 (java) S 11541 11541 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405591603 15373000704 21701 33554432000 4194304 4196468 140723701141616 140293299845904 140293522015957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11550] ppid=11541 vsize=15012696 memory=140350986217088 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11550/stat : 11550 (java) S 11541 11541 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405591604 15373000704 21701 33554432000 4194304 4196468 140723701141616 140292726417776 140293522016898 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11551] ppid=11541 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11551/stat : 11551 (java) S 11541 11541 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405591605 15373000704 21701 33554432000 4194304 4196468 140723701141616 140292153926688 140293522015957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11552] ppid=11541 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11552/stat : 11552 (java) S 11541 11541 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591605 15373000704 21701 33554432000 4194304 4196468 140723701141616 140291885491056 140293522015957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11553] ppid=11541 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11553/stat : 11553 (java) S 11541 11541 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405591607 15373000704 21701 33554432000 4194304 4196468 140723701141616 140291510982480 140293522024347 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11554] ppid=11541 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11554/stat : 11554 (java) S 11541 11541 8640 0 -1 1077944384 456 0 0 0 0 0 0 0 20 0 15 0 405591607 15373000704 21701 33554432000 4194304 4196468 140723701141616 140292725365616 140293522016898 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11555] ppid=11541 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11555/stat : 11555 (java) S 11541 11541 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405591607 15373000704 21701 33554432000 4194304 4196468 140723701141616 140292724312816 140293522016898 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11556] ppid=11541 vsize=15012696 memory=140350986217088 CPUtime=0.02 cores=0,2,4,6
/proc/11544/task/11556/stat : 11556 (java) R 11541 11541 8640 0 -1 4202560 473 0 0 0 2 0 0 0 20 0 15 0 405591607 15373000704 21701 33554432000 4194304 4196468 140723701141616 140292723260016 140293522027098 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11557] ppid=11541 vsize=15012696 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11557/stat : 11557 (java) S 11541 11541 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405591608 15373000704 21701 33554432000 4194304 4196468 140723701141616 140291013077728 140293522015957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11558] ppid=11541 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11558/stat : 11558 (java) S 11541 11541 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591608 15373000704 21701 33554432000 4194304 4196468 140723701141616 140292722207408 140293522016898 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 88200 KiB
[startup+0.31056 s]*
/proc/loadavg: 2.15 2.24 2.24 3/236 11558
/proc/meminfo: memFree=21701540/32770624 swapFree=66997112/67108860
[pid=11541] ppid=11538 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11541/stat : 11541 (scop.sh) S 11538 11541 8640 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405591601 115843072 349 33554432000 4194304 5098028 140723149729520 140723149726776 140494760686204 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31821824 140723149734755 140723149735024 140723149735024 140723149737933 0
/proc/11541/statm: 28282 349 296 221 0 87 0
[pid=11544] ppid=11541 vsize=15012696 memory=90484 CPUtime=0.43 cores=0,2,4,6
/proc/11544/stat : 11544 (java) S 11541 11541 8640 0 -1 1077944320 12183 0 0 0 39 4 0 0 20 0 15 0 405591601 15373000704 22621 33554432000 4194304 4196468 140723701141616 140723701124160 140293522005751 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
/proc/11544/statm: 3753174 22621 3029 1 0 3715579 0
[pid=11544/tid=11545] ppid=11541 vsize=15012696 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/11544/task/11545/stat : 11545 (java) R 11541 11541 8640 0 -1 4202560 9734 0 0 0 26 3 0 0 20 0 15 0 405591601 15373000704 22621 33554432000 4194304 4196468 140723701141616 140293493788768 140293522019655 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11546] ppid=11541 vsize=15012696 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11546/stat : 11546 (java) S 11541 11541 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591603 15373000704 22621 33554432000 4194304 4196468 140723701141616 140293526248592 140293522015957 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11547] ppid=11541 vsize=15012696 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11547/stat : 11547 (java) S 11541 11541 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591603 15373000704 22621 33554432000 4194304 4196468 140723701141616 140293301951504 140293522015957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11548] ppid=11541 vsize=15012696 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11548/stat : 11548 (java) S 11541 11541 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591603 15373000704 22621 33554432000 4194304 4196468 140723701141616 140293300898704 140293522015957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11549] ppid=11541 vsize=15012696 memory=7151815824049284498 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11549/stat : 11549 (java) S 11541 11541 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405591603 15373000704 22621 33554432000 4194304 4196468 140723701141616 140293299845904 140293522015957 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11550] ppid=11541 vsize=15012696 memory=6944938067432061290 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11550/stat : 11550 (java) S 11541 11541 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405591604 15373000704 22621 33554432000 4194304 4196468 140723701141616 140292726417776 140293522016898 0 0 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11551] ppid=11541 vsize=15012696 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11551/stat : 11551 (java) S 11541 11541 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405591605 15373000704 22621 33554432000 4194304 4196468 140723701141616 140292153926688 140293522015957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11552] ppid=11541 vsize=15012696 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11552/stat : 11552 (java) S 11541 11541 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591605 15373000704 22621 33554432000 4194304 4196468 140723701141616 140291885491056 140293522015957 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11553] ppid=11541 vsize=15012696 memory=4426089072227881875 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11553/stat : 11553 (java) S 11541 11541 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405591607 15373000704 22621 33554432000 4194304 4196468 140723701141616 140291510982480 140293522024347 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11554] ppid=11541 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11544/task/11554/stat : 11554 (java) S 11541 11541 8640 0 -1 1077944384 524 0 0 0 2 0 0 0 20 0 15 0 405591607 15373000704 22621 33554432000 4194304 4196468 140723701141616 140292725365616 140293522016898 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11555] ppid=11541 vsize=15012696 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11544/task/11555/stat : 11555 (java) S 11541 11541 8640 0 -1 1077944384 99 0 0 0 2 0 0 0 20 0 15 0 405591607 15373000704 22621 33554432000 4194304 4196468 140723701141616 140292724312816 140293522016898 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11556] ppid=11541 vsize=15012696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11544/task/11556/stat : 11556 (java) S 11541 11541 8640 0 -1 1077944384 496 0 0 0 7 0 0 0 20 0 15 0 405591607 15373000704 22621 33554432000 4194304 4196468 140723701141616 140292723260016 140293522016898 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11557] ppid=11541 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11557/stat : 11557 (java) S 11541 11541 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405591608 15373000704 22621 33554432000 4194304 4196468 140723701141616 140291013077728 140293522015957 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11558] ppid=11541 vsize=15012696 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11558/stat : 11558 (java) S 11541 11541 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591608 15373000704 22621 33554432000 4194304 4196468 140723701141616 140292722207408 140293522016898 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 15125824 KiB
Current children cumulated memory: 91880 KiB
[startup+0.702438 s]
/proc/loadavg: 2.15 2.24 2.24 3/236 11558
/proc/meminfo: memFree=21678784/32770624 swapFree=66997112/67108860
[pid=11541] ppid=11538 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11541/stat : 11541 (scop.sh) S 11538 11541 8640 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405591601 115843072 349 33554432000 4194304 5098028 140723149729520 140723149726776 140494760686204 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31821824 140723149734755 140723149735024 140723149735024 140723149737933 0
/proc/11541/statm: 28282 349 296 221 0 87 0
[pid=11544] ppid=11541 vsize=15018968 memory=127428 CPUtime=1.01 cores=0,2,4,6
/proc/11544/stat : 11544 (java) S 11541 11541 8640 0 -1 1077944320 19643 0 0 0 94 7 0 0 20 0 15 0 405591601 15379423232 31857 33554432000 4194304 4196468 140723701141616 140723701124160 140293522005751 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
/proc/11544/statm: 3754742 31857 3182 1 0 3716091 0
[pid=11544/tid=11545] ppid=11541 vsize=15018968 memory=2828 CPUtime=0.68 cores=0,2,4,6
/proc/11544/task/11545/stat : 11545 (java) R 11541 11541 8640 0 -1 4202560 16662 0 0 0 62 6 0 0 20 0 15 0 405591601 15379423232 31857 33554432000 4194304 4196468 140723701141616 140293493841464 140293522027677 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11546] ppid=11541 vsize=15018968 memory=676 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11546/stat : 11546 (java) S 11541 11541 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591603 15379423232 31857 33554432000 4194304 4196468 140723701141616 140293526248592 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11547] ppid=11541 vsize=15018968 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11547/stat : 11547 (java) S 11541 11541 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591603 15379423232 31857 33554432000 4194304 4196468 140723701141616 140293301951504 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11548] ppid=11541 vsize=15018968 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11548/stat : 11548 (java) S 11541 11541 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591603 15379423232 31857 33554432000 4194304 4196468 140723701141616 140293300898704 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11549] ppid=11541 vsize=15018968 memory=8488 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11549/stat : 11549 (java) S 11541 11541 8640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 405591603 15379423232 31857 33554432000 4194304 4196468 140723701141616 140293299845904 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11550] ppid=11541 vsize=15018968 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11550/stat : 11550 (java) S 11541 11541 8640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 405591604 15379423232 31857 33554432000 4194304 4196468 140723701141616 140292726417776 140293522016898 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11551] ppid=11541 vsize=15018968 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11551/stat : 11551 (java) S 11541 11541 8640 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 405591605 15379423232 31857 33554432000 4194304 4196468 140723701141616 140292153926688 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11552] ppid=11541 vsize=15018968 memory=1020 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11552/stat : 11552 (java) S 11541 11541 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591605 15379423232 31857 33554432000 4194304 4196468 140723701141616 140291885491056 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11553] ppid=11541 vsize=15018968 memory=5968 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11553/stat : 11553 (java) S 11541 11541 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405591607 15379423232 31857 33554432000 4194304 4196468 140723701141616 140291510982480 140293522024347 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11554] ppid=11541 vsize=15018968 memory=14008 CPUtime=0.07 cores=0,2,4,6
/proc/11544/task/11554/stat : 11554 (java) S 11541 11541 8640 0 -1 1077944384 708 0 0 0 7 0 0 0 20 0 15 0 405591607 15379423232 31857 33554432000 4194304 4196468 140723701141616 140292725365616 140293522016898 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11555] ppid=11541 vsize=15018968 memory=2124 CPUtime=0.08 cores=0,2,4,6
/proc/11544/task/11555/stat : 11555 (java) R 11541 11541 8640 0 -1 4202560 321 0 0 0 8 0 0 0 20 0 15 0 405591607 15379423232 31857 33554432000 4194304 4196468 140723701141616 140292724304272 140293503538499 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11556] ppid=11541 vsize=15018968 memory=20484 CPUtime=0.16 cores=0,2,4,6
/proc/11544/task/11556/stat : 11556 (java) R 11541 11541 8640 0 -1 4202560 619 0 0 0 16 0 0 0 20 0 15 0 405591607 15379423232 31857 33554432000 4194304 4196468 140723701141616 140292723255688 140293505378785 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11557] ppid=11541 vsize=15018968 memory=3472323897372785622 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11557/stat : 11557 (java) S 11541 11541 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405591608 15379423232 31857 33554432000 4194304 4196468 140723701141616 140291013077728 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11558] ppid=11541 vsize=15018968 memory=140350874224400 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11558/stat : 11558 (java) S 11541 11541 8640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 405591608 15379423232 31857 33554432000 4194304 4196468 140723701141616 140292722207408 140293522016898 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
Current children cumulated CPU time: 1.01 s
Current children cumulated vsize: 15132096 KiB
Current children cumulated memory: 128824 KiB
[startup+1.50284 s]
/proc/loadavg: 2.15 2.24 2.24 4/236 11558
/proc/meminfo: memFree=21640696/32770624 swapFree=66997112/67108860
[pid=11541] ppid=11538 vsize=113128 memory=1396 CPUtime=0 cores=0,2,4,6
/proc/11541/stat : 11541 (scop.sh) S 11538 11541 8640 0 -1 4202496 554 321 0 0 0 0 0 0 20 0 1 0 405591601 115843072 349 33554432000 4194304 5098028 140723149729520 140723149726776 140494760686204 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31821824 140723149734755 140723149735024 140723149735024 140723149737933 0
/proc/11541/statm: 28282 349 296 221 0 87 0
################
# More data... #
################
/proc/11544/task/11548/stat : 11548 (java) R 11541 11541 8640 0 -1 4202560 32158 0 0 0 44310 183 0 0 20 0 15 0 405591603 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140293300898704 140293507002118 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11549] ppid=11541 vsize=15025188 memory=1396 CPUtime=444.51 cores=0,2,4,6
/proc/11544/task/11549/stat : 11549 (java) R 11541 11541 8640 0 -1 4202560 29045 0 0 0 44267 184 0 0 20 0 15 0 405591603 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140293299846104 140293506995394 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11550] ppid=11541 vsize=15025188 memory=12062072 CPUtime=2.86 cores=0,2,4,6
/proc/11544/task/11550/stat : 11550 (java) S 11541 11541 8640 0 -1 1077944384 72219 0 0 0 281 5 0 0 20 0 15 0 405591604 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140292726416320 140293522015957 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11551] ppid=11541 vsize=15025188 memory=20496 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11551/stat : 11551 (java) S 11541 11541 8640 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 405591605 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140292153926752 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11552] ppid=11541 vsize=15025188 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11552/stat : 11552 (java) S 11541 11541 8640 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 405591605 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140291885491072 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11553] ppid=11541 vsize=15025188 memory=500 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11553/stat : 11553 (java) S 11541 11541 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405591607 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140291510982480 140293522024347 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11554] ppid=11541 vsize=15025188 memory=1560 CPUtime=5.03 cores=0,2,4,6
/proc/11544/task/11554/stat : 11554 (java) S 11541 11541 8640 0 -1 1077944384 18632 0 0 0 501 2 0 0 20 0 15 0 405591607 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140292725365664 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11555] ppid=11541 vsize=15025188 memory=932 CPUtime=6.79 cores=0,2,4,6
/proc/11544/task/11555/stat : 11555 (java) S 11541 11541 8640 0 -1 1077944384 15018 0 0 0 677 2 0 0 20 0 15 0 405591607 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140292724312576 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11556] ppid=11541 vsize=15025188 memory=3640 CPUtime=1.3 cores=0,2,4,6
/proc/11544/task/11556/stat : 11556 (java) S 11541 11541 8640 0 -1 1077944384 15708 0 0 0 127 3 0 0 20 0 15 0 405591607 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140292723260064 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11557] ppid=11541 vsize=15025188 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11557/stat : 11557 (java) S 11541 11541 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405591608 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140291013077728 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11558] ppid=11541 vsize=15025188 memory=2512 CPUtime=0.81 cores=0,2,4,6
/proc/11544/task/11558/stat : 11558 (java) S 11541 11541 8640 0 -1 1077944384 864 0 0 0 41 40 0 0 20 0 15 0 405591608 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140292722207408 140293522016898 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
Current children cumulated CPU time: 2520.38 s
Current children cumulated vsize: 15138316 KiB
Current children cumulated memory: 12063468 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1176.44 s]
# the end of solver process 11541 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001209 s, system=0.002397 s
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+1178.47 s]
# the end of solver process 11544 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.4 s, system=8.0574 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+1177.6 s]
/proc/loadavg: 4.70 3.81 2.98 6/235 11666
/proc/meminfo: memFree=9698028/32770624 swapFree=66997112/67108860
[pid=11544] ppid=11538 vsize=15025188 memory=12062072 CPUtime=2525.15 cores=0,2,4,6
/proc/11544/stat : 11544 (java) S 11538 11541 8640 0 -1 1077944320 315242 0 0 0 251716 799 0 0 20 0 15 0 405591601 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140723701124160 140293522005751 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
/proc/11544/statm: 3756297 3015518 3305 1 0 3717627 0
[pid=11544/tid=11545] ppid=11538 vsize=15025188 memory=1396 CPUtime=725.71 cores=0,2,4,6
/proc/11544/task/11545/stat : 11545 (java) S 11538 11541 8640 0 -1 1077944384 60778 0 0 0 72511 60 0 0 20 0 15 0 405591601 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140293493838800 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11546] ppid=11538 vsize=15025188 memory=12061972 CPUtime=445.5 cores=0,2,4,6
/proc/11544/task/11546/stat : 11546 (java) R 11538 11541 8640 0 -1 4202560 34098 0 0 0 44388 162 0 0 20 0 15 0 405591603 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140293526248480 140293503615556 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11547] ppid=11538 vsize=15025188 memory=0 CPUtime=445.22 cores=0,2,4,6
/proc/11544/task/11547/stat : 11547 (java) R 11538 11541 8640 0 -1 4202560 35363 0 0 0 44343 179 0 0 20 0 15 0 405591603 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140293301951704 140293506995387 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11548] ppid=11538 vsize=15025188 memory=3504 CPUtime=446.13 cores=0,2,4,6
/proc/11544/task/11548/stat : 11548 (java) R 11538 11541 8640 0 -1 4202560 32158 0 0 0 44430 183 0 0 20 0 15 0 405591603 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140293300898904 140293507002244 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11549] ppid=11538 vsize=15025188 memory=37404 CPUtime=445.71 cores=0,2,4,6
/proc/11544/task/11549/stat : 11549 (java) R 11538 11541 8640 0 -1 4202560 29045 0 0 0 44387 184 0 0 20 0 15 0 405591603 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140293299846104 140293506995408 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11550] ppid=11538 vsize=15025188 memory=3028 CPUtime=2.86 cores=0,2,4,6
/proc/11544/task/11550/stat : 11550 (java) S 11538 11541 8640 0 -1 1077944384 72219 0 0 0 281 5 0 0 20 0 15 0 405591604 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140292726416320 140293522015957 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11551] ppid=11538 vsize=15025188 memory=37404 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11551/stat : 11551 (java) S 11538 11541 8640 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 405591605 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140292153926752 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11552] ppid=11538 vsize=15025188 memory=3028 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11552/stat : 11552 (java) S 11538 11541 8640 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 405591605 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140291885491072 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11553] ppid=11538 vsize=15025188 memory=12062028 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11553/stat : 11553 (java) S 11538 11541 8640 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405591607 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140291510982128 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11554] ppid=11538 vsize=15025188 memory=2828 CPUtime=5.03 cores=0,2,4,6
/proc/11544/task/11554/stat : 11554 (java) S 11538 11541 8640 0 -1 1077944384 18632 0 0 0 501 2 0 0 20 0 15 0 405591607 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140292725365664 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11555] ppid=11538 vsize=15025188 memory=676 CPUtime=6.79 cores=0,2,4,6
/proc/11544/task/11555/stat : 11555 (java) S 11538 11541 8640 0 -1 1077944384 15018 0 0 0 677 2 0 0 20 0 15 0 405591607 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140292724312576 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11556] ppid=11538 vsize=15025188 memory=1060 CPUtime=1.3 cores=0,2,4,6
/proc/11544/task/11556/stat : 11556 (java) S 11538 11541 8640 0 -1 1077944384 15708 0 0 0 127 3 0 0 20 0 15 0 405591607 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140292723260064 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11557] ppid=11538 vsize=15025188 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11557/stat : 11557 (java) S 11538 11541 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405591608 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140291013077728 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11558] ppid=11538 vsize=15025188 memory=288230583166042425 CPUtime=0.81 cores=0,2,4,6
/proc/11544/task/11558/stat : 11558 (java) S 11538 11541 8640 0 -1 1077944384 864 0 0 0 41 40 0 0 20 0 15 0 405591608 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140292722207408 140293522016898 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
Current cumulated CPU time of completed processes: 0.003606 s
Current children cumulated CPU time: 2525.15 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12062072 KiB
[startup+1178 s]*
/proc/loadavg: 4.70 3.81 2.98 6/235 11666
/proc/meminfo: memFree=9698156/32770624 swapFree=66997112/67108860
[pid=11544] ppid=11538 vsize=15025188 memory=12062072 CPUtime=2526.78 cores=0,2,4,6
/proc/11544/stat : 11544 (java) S 11538 11541 8640 0 -1 1077944320 315243 0 0 0 251879 799 0 0 20 0 15 0 405591601 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140723701124160 140293522005751 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
/proc/11544/statm: 3756297 3015518 3305 1 0 3717627 0
[pid=11544/tid=11545] ppid=11538 vsize=15025188 memory=8317482817917895235 CPUtime=725.71 cores=0,2,4,6
/proc/11544/task/11545/stat : 11545 (java) S 11538 11541 8640 0 -1 1077944384 60778 0 0 0 72511 60 0 0 20 0 15 0 405591601 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140293493838800 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11546] ppid=11538 vsize=15025188 memory=2012 CPUtime=445.9 cores=0,2,4,6
/proc/11544/task/11546/stat : 11546 (java) R 11538 11541 8640 0 -1 4202560 34098 0 0 0 44428 162 0 0 20 0 15 0 405591603 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140293526248480 140293507002118 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11547] ppid=11538 vsize=15025188 memory=1396 CPUtime=445.62 cores=0,2,4,6
/proc/11544/task/11547/stat : 11547 (java) R 11538 11541 8640 0 -1 4202560 35363 0 0 0 44383 179 0 0 20 0 15 0 405591603 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140293301951704 140293506704553 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11548] ppid=11538 vsize=15025188 memory=12062072 CPUtime=446.54 cores=0,2,4,6
/proc/11544/task/11548/stat : 11548 (java) R 11538 11541 8640 0 -1 4202560 32158 0 0 0 44471 183 0 0 20 0 15 0 405591603 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140293300898904 140293507002413 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11549] ppid=11538 vsize=15025188 memory=1396 CPUtime=446.12 cores=0,2,4,6
/proc/11544/task/11549/stat : 11549 (java) R 11538 11541 8640 0 -1 4202560 29046 0 0 0 44428 184 0 0 20 0 15 0 405591603 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140293299846104 140293507002158 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11550] ppid=11538 vsize=15025188 memory=12062072 CPUtime=2.86 cores=0,2,4,6
/proc/11544/task/11550/stat : 11550 (java) S 11538 11541 8640 0 -1 1077944384 72219 0 0 0 281 5 0 0 20 0 15 0 405591604 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140292726416320 140293522015957 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11551] ppid=11538 vsize=15025188 memory=676 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11551/stat : 11551 (java) S 11538 11541 8640 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 405591605 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140292153926752 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11552] ppid=11538 vsize=15025188 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11552/stat : 11552 (java) S 11538 11541 8640 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 405591605 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140291885491072 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11553] ppid=11538 vsize=15025188 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11553/stat : 11553 (java) S 11538 11541 8640 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405591607 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140291510982128 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11554] ppid=11538 vsize=15025188 memory=8488 CPUtime=5.03 cores=0,2,4,6
/proc/11544/task/11554/stat : 11554 (java) S 11538 11541 8640 0 -1 1077944384 18632 0 0 0 501 2 0 0 20 0 15 0 405591607 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140292725365664 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11555] ppid=11538 vsize=15025188 memory=12062072 CPUtime=6.79 cores=0,2,4,6
/proc/11544/task/11555/stat : 11555 (java) S 11538 11541 8640 0 -1 1077944384 15018 0 0 0 677 2 0 0 20 0 15 0 405591607 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140292724312576 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11556] ppid=11538 vsize=15025188 memory=776 CPUtime=1.3 cores=0,2,4,6
/proc/11544/task/11556/stat : 11556 (java) S 11538 11541 8640 0 -1 1077944384 15708 0 0 0 127 3 0 0 20 0 15 0 405591607 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140292723260064 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11557] ppid=11538 vsize=15025188 memory=3500 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11557/stat : 11557 (java) S 11538 11541 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405591608 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140291013077728 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11558] ppid=11538 vsize=15025188 memory=2828 CPUtime=0.81 cores=0,2,4,6
/proc/11544/task/11558/stat : 11558 (java) S 11538 11541 8640 0 -1 1077944384 864 0 0 0 41 40 0 0 20 0 15 0 405591608 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140292722207408 140293522016898 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
Current cumulated CPU time of completed processes: 0.003606 s
Current children cumulated CPU time: 2526.78 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12062072 KiB
[startup+1178.4 s]
/proc/loadavg: 4.70 3.81 2.98 6/235 11666
/proc/meminfo: memFree=9698156/32770624 swapFree=66997112/67108860
[pid=11544] ppid=11538 vsize=15025188 memory=12062072 CPUtime=2528.34 cores=0,2,4,6
/proc/11544/stat : 11544 (java) S 11538 11541 8640 0 -1 1077944320 315243 0 0 0 252035 799 0 0 20 0 15 0 405591601 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140723701124160 140293522005751 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
/proc/11544/statm: 3756297 3015518 3305 1 0 3717627 0
[pid=11544/tid=11545] ppid=11538 vsize=15025188 memory=12061956 CPUtime=725.71 cores=0,2,4,6
/proc/11544/task/11545/stat : 11545 (java) S 11538 11541 8640 0 -1 1077944384 60778 0 0 0 72511 60 0 0 20 0 15 0 405591601 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140293493838800 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11546] ppid=11538 vsize=15025188 memory=1396 CPUtime=446.29 cores=0,2,4,6
/proc/11544/task/11546/stat : 11546 (java) R 11538 11541 8640 0 -1 4202560 34098 0 0 0 44467 162 0 0 20 0 15 0 405591603 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140293526248480 140293507002260 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11547] ppid=11538 vsize=15025188 memory=12062072 CPUtime=446.02 cores=0,2,4,6
/proc/11544/task/11547/stat : 11547 (java) R 11538 11541 8640 0 -1 4202560 35363 0 0 0 44423 179 0 0 20 0 15 0 405591603 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140293301951704 140293507002155 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11548] ppid=11538 vsize=15025188 memory=12062072 CPUtime=446.93 cores=0,2,4,6
/proc/11544/task/11548/stat : 11548 (java) R 11538 11541 8640 0 -1 4202560 32158 0 0 0 44510 183 0 0 20 0 15 0 405591603 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140293300898904 140293506704565 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11549] ppid=11538 vsize=15025188 memory=932 CPUtime=446.51 cores=0,2,4,6
/proc/11544/task/11549/stat : 11549 (java) R 11538 11541 8640 0 -1 4202560 29046 0 0 0 44467 184 0 0 20 0 15 0 405591603 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140293299846104 140293506705136 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11550] ppid=11538 vsize=15025188 memory=6791534058613427641 CPUtime=2.86 cores=0,2,4,6
/proc/11544/task/11550/stat : 11550 (java) S 11538 11541 8640 0 -1 1077944384 72219 0 0 0 281 5 0 0 20 0 15 0 405591604 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140292726416320 140293522015957 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11551] ppid=11538 vsize=15025188 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11551/stat : 11551 (java) S 11538 11541 8640 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 405591605 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140292153926752 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11552] ppid=11538 vsize=15025188 memory=1388 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11552/stat : 11552 (java) S 11538 11541 8640 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 405591605 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140291885491072 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11553] ppid=11538 vsize=15025188 memory=280701749866192 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11553/stat : 11553 (java) S 11538 11541 8640 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 405591607 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140291510982128 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11554] ppid=11538 vsize=15025188 memory=6791534058613427641 CPUtime=5.03 cores=0,2,4,6
/proc/11544/task/11554/stat : 11554 (java) S 11538 11541 8640 0 -1 1077944384 18632 0 0 0 501 2 0 0 20 0 15 0 405591607 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140292725365664 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11555] ppid=11538 vsize=15025188 memory=676 CPUtime=6.79 cores=0,2,4,6
/proc/11544/task/11555/stat : 11555 (java) S 11538 11541 8640 0 -1 1077944384 15018 0 0 0 677 2 0 0 20 0 15 0 405591607 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140292724312576 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11556] ppid=11538 vsize=15025188 memory=1060 CPUtime=1.3 cores=0,2,4,6
/proc/11544/task/11556/stat : 11556 (java) S 11538 11541 8640 0 -1 1077944384 15708 0 0 0 127 3 0 0 20 0 15 0 405591607 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140292723260064 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11557] ppid=11538 vsize=15025188 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/11544/task/11557/stat : 11557 (java) S 11538 11541 8640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 405591608 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140291013077728 140293522015957 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
[pid=11544/tid=11558] ppid=11538 vsize=15025188 memory=6791534058613427641 CPUtime=0.81 cores=0,2,4,6
/proc/11544/task/11558/stat : 11558 (java) S 11538 11541 8640 0 -1 1077944384 864 0 0 0 41 40 0 0 20 0 15 0 405591608 15385792512 3015518 33554432000 4194304 4196468 140723701141616 140292722207408 140293522016898 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29011968 140723701146409 140723701146778 140723701146778 140723701149647 0
Current cumulated CPU time of completed processes: 0.003606 s
Current children cumulated CPU time: 2528.34 s
Current children cumulated vsize: 15025188 KiB
Current children cumulated memory: 12062072 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1178.47
CPU time (s): 2528.46
CPU user time (s): 2520.4
CPU system time (s): 8.0574
CPU usage (%): 214.554
Max. virtual memory (cumulated for all children) (KiB): 15138316
Max. memory (cumulated for all children) (KiB): 12063468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.4
system time used= 8.0574
maximum resident set size= 12062248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316350
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38642
involuntary context switches= 18179
# summary of solver processes directly reported to runsolver:
# pid: 11541,11544
# total CPU time (s): 2528.46
# total CPU user time (s): 2520.4
# total CPU system time (s): 8.0574
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.60981 second user time and 12.6008 second system time
The end