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 (13404 MiB free)
memory of node 1: 16384 MiB (9795 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302300-1532896693/watcher-4302300-1532896693 -o /tmp/evaluation-result-4302300-1532896693/solver-4302300-1532896693 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532893235-14549 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1578621366 HOME/instance-4302300-1532896693.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19653, runsolver pid=19650
[startup+0.100159 s]*
/proc/loadavg: 2.65 2.01 1.88 3/206 19710
/proc/meminfo: memFree=23752068/32770624 swapFree=67108436/67108860
[pid=19653] ppid=19650 vsize=10005480 memory=18996 CPUtime=0.09 cores=0,2,4,6
/proc/19653/stat : 19653 (java) S 19650 19653 9814 0 -1 1077944320 4409 13165 0 0 1 1 5 2 20 0 6 0 107232502 10245611520 4749 33554432000 4194304 4196468 140720603743904 140720603726448 140314270916343 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
/proc/19653/statm: 2501370 4749 1935 1 0 2489808 0
[pid=19653/tid=19706] ppid=19650 vsize=10005480 memory=4279135704014096015 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19706/stat : 19706 (java) R 19650 19653 9814 0 -1 4202560 2226 13165 0 0 0 0 5 2 20 0 6 0 107232511 10245611520 4749 33554432000 4194304 4196468 140720603743904 140314242753104 140314256598869 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19707] ppid=19650 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19707/stat : 19707 (java) S 19650 19653 9814 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 6 0 107232511 10245611520 4749 33554432000 4194304 4196468 140720603743904 140314275158544 140314270926549 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19708] ppid=19650 vsize=10005480 memory=139809979168384 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19708/stat : 19708 (java) S 19650 19653 9814 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 6 0 107232511 10245611520 4749 33554432000 4194304 4196468 140720603743904 140314166909584 140314270926549 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19709] ppid=19650 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19709/stat : 19709 (java) S 19650 19653 9814 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 6 0 107232511 10245611520 4749 33554432000 4194304 4196468 140720603743904 140313809836304 140314270926549 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19710] ppid=19650 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19710/stat : 19710 (java) S 19650 19653 9814 0 -1 1077944384 2 13165 0 0 0 0 5 2 20 0 6 0 107232511 10245611520 4749 33554432000 4194304 4196468 140720603743904 140313808783760 140314270926549 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18996 KiB
[startup+0.209982 s]*
/proc/loadavg: 2.65 2.01 1.88 3/215 19719
/proc/meminfo: memFree=23727144/32770624 swapFree=67108436/67108860
[pid=19653] ppid=19650 vsize=10982696 memory=44328 CPUtime=0.26 cores=0,2,4,6
/proc/19653/stat : 19653 (java) S 19650 19653 9814 0 -1 1077944320 8399 13165 0 0 17 2 5 2 20 0 15 0 107232502 11246280704 11082 33554432000 4194304 4196468 140720603743904 140720603726448 140314270916343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
/proc/19653/statm: 2745674 11082 2960 1 0 2708109 0
[pid=19653/tid=19706] ppid=19650 vsize=10982696 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/19653/task/19706/stat : 19706 (java) R 19650 19653 9814 0 -1 4202560 4944 13165 0 0 10 1 5 2 20 0 15 0 107232511 11246280704 11082 33554432000 4194304 4196468 140720603743904 140314242712528 140314270930247 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19707] ppid=19650 vsize=10982696 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19707/stat : 19707 (java) S 19650 19653 9814 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 107232511 11246280704 11082 33554432000 4194304 4196468 140720603743904 140314275158544 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19708] ppid=19650 vsize=10982696 memory=139809979187445 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19708/stat : 19708 (java) S 19650 19653 9814 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 107232511 11246280704 11082 33554432000 4194304 4196468 140720603743904 140314166909584 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19709] ppid=19650 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19709/stat : 19709 (java) S 19650 19653 9814 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 107232511 11246280704 11082 33554432000 4194304 4196468 140720603743904 140313809836304 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19710] ppid=19650 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19710/stat : 19710 (java) S 19650 19653 9814 0 -1 1077944384 2 13165 0 0 0 0 5 2 20 0 15 0 107232511 11246280704 11082 33554432000 4194304 4196468 140720603743904 140313808783760 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19711] ppid=19650 vsize=10982696 memory=139809979168384 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19711/stat : 19711 (java) S 19650 19653 9814 0 -1 1077944384 2 13165 0 0 0 0 5 2 20 0 15 0 107232513 11246280704 11082 33554432000 4194304 4196468 140720603743904 140313695873776 140314270927490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19712] ppid=19650 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19712/stat : 19712 (java) S 19650 19653 9814 0 -1 1077944384 13 13165 0 0 0 0 5 2 20 0 15 0 107232513 11246280704 11082 33554432000 4194304 4196468 140720603743904 140313091892896 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19713] ppid=19650 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19713/stat : 19713 (java) S 19650 19653 9814 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 107232513 11246280704 11082 33554432000 4194304 4196468 140720603743904 140312890565872 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19714] ppid=19650 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19714/stat : 19714 (java) S 19650 19653 9814 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 107232516 11246280704 11082 33554432000 4194304 4196468 140720603743904 140312583166416 140314270934939 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19715] ppid=19650 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19653/task/19715/stat : 19715 (java) S 19650 19653 9814 0 -1 1077944384 484 13165 0 0 1 0 5 2 20 0 15 0 107232516 11246280704 11082 33554432000 4194304 4196468 140720603743904 140313694820592 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19716] ppid=19650 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19716/stat : 19716 (java) S 19650 19653 9814 0 -1 1077944384 134 13165 0 0 0 0 5 2 20 0 15 0 107232516 11246280704 11082 33554432000 4194304 4196468 140720603743904 140313693768048 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19717] ppid=19650 vsize=10982696 memory=139809979168384 CPUtime=0.1 cores=0,2,4,6
/proc/19653/task/19717/stat : 19717 (java) S 19650 19653 9814 0 -1 1077944384 619 13165 0 0 3 0 5 2 20 0 15 0 107232516 11246280704 11082 33554432000 4194304 4196468 140720603743904 140313692714992 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19718] ppid=19650 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19718/stat : 19718 (java) S 19650 19653 9814 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 107232516 11246280704 11082 33554432000 4194304 4196468 140720603743904 140312152369504 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19719] ppid=19650 vsize=10982696 memory=139809979168384 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19719/stat : 19719 (java) S 19650 19653 9814 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 107232517 11246280704 11082 33554432000 4194304 4196468 140720603743904 140313691663408 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 44328 KiB
[startup+0.310493 s]*
/proc/loadavg: 2.65 2.01 1.88 3/215 19719
/proc/meminfo: memFree=23717656/32770624 swapFree=67108436/67108860
[pid=19653] ppid=19650 vsize=10983192 memory=55676 CPUtime=0.38 cores=0,2,4,6
/proc/19653/stat : 19653 (java) S 19650 19653 9814 0 -1 1077944320 10423 13165 0 0 28 3 5 2 20 0 15 0 107232502 11246788608 13919 33554432000 4194304 4196468 140720603743904 140720603726448 140314270916343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
/proc/19653/statm: 2745798 13919 3092 1 0 2708109 0
[pid=19653/tid=19706] ppid=19650 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/19653/task/19706/stat : 19706 (java) R 19650 19653 9814 0 -1 4202560 6960 13165 0 0 19 2 5 2 20 0 15 0 107232511 11246788608 13919 33554432000 4194304 4196468 140720603743904 140314242728352 140314252479887 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19707] ppid=19650 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19707/stat : 19707 (java) S 19650 19653 9814 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 107232511 11246788608 13919 33554432000 4194304 4196468 140720603743904 140314275158544 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19708] ppid=19650 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19708/stat : 19708 (java) S 19650 19653 9814 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 107232511 11246788608 13919 33554432000 4194304 4196468 140720603743904 140314166909584 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19709] ppid=19650 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19709/stat : 19709 (java) S 19650 19653 9814 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 107232511 11246788608 13919 33554432000 4194304 4196468 140720603743904 140313809836304 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19710] ppid=19650 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19710/stat : 19710 (java) S 19650 19653 9814 0 -1 1077944384 2 13165 0 0 0 0 5 2 20 0 15 0 107232511 11246788608 13919 33554432000 4194304 4196468 140720603743904 140313808783760 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19711] ppid=19650 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19711/stat : 19711 (java) S 19650 19653 9814 0 -1 1077944384 2 13165 0 0 0 0 5 2 20 0 15 0 107232513 11246788608 13919 33554432000 4194304 4196468 140720603743904 140313695873776 140314270927490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19712] ppid=19650 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19712/stat : 19712 (java) S 19650 19653 9814 0 -1 1077944384 13 13165 0 0 0 0 5 2 20 0 15 0 107232513 11246788608 13919 33554432000 4194304 4196468 140720603743904 140313091892896 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19713] ppid=19650 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19713/stat : 19713 (java) S 19650 19653 9814 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 107232513 11246788608 13919 33554432000 4194304 4196468 140720603743904 140312890565872 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19714] ppid=19650 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19714/stat : 19714 (java) S 19650 19653 9814 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 107232516 11246788608 13919 33554432000 4194304 4196468 140720603743904 140312583166416 140314270934939 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19715] ppid=19650 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/19653/task/19715/stat : 19715 (java) S 19650 19653 9814 0 -1 1077944384 484 13165 0 0 2 0 5 2 20 0 15 0 107232516 11246788608 13919 33554432000 4194304 4196468 140720603743904 140313694820592 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19716] ppid=19650 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/19653/task/19716/stat : 19716 (java) S 19650 19653 9814 0 -1 1077944384 137 13165 0 0 1 0 5 2 20 0 15 0 107232516 11246788608 13919 33554432000 4194304 4196468 140720603743904 140313693768048 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19717] ppid=19650 vsize=10983192 memory=139809979168384 CPUtime=0.12 cores=0,2,4,6
/proc/19653/task/19717/stat : 19717 (java) S 19650 19653 9814 0 -1 1077944384 624 13165 0 0 5 0 5 2 20 0 15 0 107232516 11246788608 13919 33554432000 4194304 4196468 140720603743904 140313692714992 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19718] ppid=19650 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19718/stat : 19718 (java) S 19650 19653 9814 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 107232516 11246788608 13919 33554432000 4194304 4196468 140720603743904 140312152369504 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19719] ppid=19650 vsize=10983192 memory=139809979168384 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19719/stat : 19719 (java) S 19650 19653 9814 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 107232517 11246788608 13919 33554432000 4194304 4196468 140720603743904 140313691663408 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55676 KiB
[startup+0.700734 s]
/proc/loadavg: 2.65 2.01 1.88 3/215 19719
/proc/meminfo: memFree=23705408/32770624 swapFree=67108436/67108860
[pid=19653] ppid=19650 vsize=10983192 memory=88900 CPUtime=0.99 cores=0,2,4,6
/proc/19653/stat : 19653 (java) S 19650 19653 9814 0 -1 1077944320 16846 13165 0 0 87 5 5 2 20 0 15 0 107232502 11246788608 22225 33554432000 4194304 4196468 140720603743904 140720603726448 140314270916343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
/proc/19653/statm: 2745798 22225 3237 1 0 2708109 0
[pid=19653/tid=19706] ppid=19650 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/19653/task/19706/stat : 19706 (java) R 19650 19653 9814 0 -1 4202560 12414 13165 0 0 55 4 5 2 20 0 15 0 107232511 11246788608 22225 33554432000 4194304 4196468 140720603743904 140314242737168 140314270938269 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19707] ppid=19650 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19707/stat : 19707 (java) S 19650 19653 9814 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 107232511 11246788608 22225 33554432000 4194304 4196468 140720603743904 140314275158544 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19708] ppid=19650 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19708/stat : 19708 (java) S 19650 19653 9814 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 107232511 11246788608 22225 33554432000 4194304 4196468 140720603743904 140314166909584 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19709] ppid=19650 vsize=10983192 memory=139809842672432 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19709/stat : 19709 (java) S 19650 19653 9814 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 107232511 11246788608 22225 33554432000 4194304 4196468 140720603743904 140313809836304 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19710] ppid=19650 vsize=10983192 memory=139814070387289 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19710/stat : 19710 (java) S 19650 19653 9814 0 -1 1077944384 2 13165 0 0 0 0 5 2 20 0 15 0 107232511 11246788608 22225 33554432000 4194304 4196468 140720603743904 140313808783760 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19711] ppid=19650 vsize=10983192 memory=1388 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19711/stat : 19711 (java) S 19650 19653 9814 0 -1 1077944384 5 13165 0 0 0 0 5 2 20 0 15 0 107232513 11246788608 22225 33554432000 4194304 4196468 140720603743904 140313695873776 140314270927490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19712] ppid=19650 vsize=10983192 memory=4639098309541127525 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19712/stat : 19712 (java) S 19650 19653 9814 0 -1 1077944384 13 13165 0 0 0 0 5 2 20 0 15 0 107232513 11246788608 22225 33554432000 4194304 4196468 140720603743904 140313091892896 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19713] ppid=19650 vsize=10983192 memory=8027477668130812270 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19713/stat : 19713 (java) S 19650 19653 9814 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 107232513 11246788608 22225 33554432000 4194304 4196468 140720603743904 140312890565872 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19714] ppid=19650 vsize=10983192 memory=17464 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19714/stat : 19714 (java) S 19650 19653 9814 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 107232516 11246788608 22225 33554432000 4194304 4196468 140720603743904 140312583166416 140314270934939 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19715] ppid=19650 vsize=10983192 memory=16148 CPUtime=0.17 cores=0,2,4,6
/proc/19653/task/19715/stat : 19715 (java) S 19650 19653 9814 0 -1 1077944384 1139 13165 0 0 10 0 5 2 20 0 15 0 107232516 11246788608 22225 33554432000 4194304 4196468 140720603743904 140313694820592 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19716] ppid=19650 vsize=10983192 memory=4004 CPUtime=0.14 cores=0,2,4,6
/proc/19653/task/19716/stat : 19716 (java) S 19650 19653 9814 0 -1 1077944384 377 13165 0 0 7 0 5 2 20 0 15 0 107232516 11246788608 22225 33554432000 4194304 4196468 140720603743904 140313693768048 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19717] ppid=19650 vsize=10983192 memory=636 CPUtime=0.2 cores=0,2,4,6
/proc/19653/task/19717/stat : 19717 (java) R 19650 19653 9814 0 -1 4202560 695 13165 0 0 13 0 5 2 20 0 15 0 107232516 11246788608 22225 33554432000 4194304 4196468 140720603743904 140313692714992 140314249465402 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19718] ppid=19650 vsize=10983192 memory=1780 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19718/stat : 19718 (java) S 19650 19653 9814 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 107232516 11246788608 22225 33554432000 4194304 4196468 140720603743904 140312152369504 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19719] ppid=19650 vsize=10983192 memory=1236 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19719/stat : 19719 (java) S 19650 19653 9814 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 107232517 11246788608 22225 33554432000 4194304 4196468 140720603743904 140313691663408 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88900 KiB
[startup+1.50104 s]
/proc/loadavg: 2.65 2.01 1.88 4/215 19719
/proc/meminfo: memFree=23659800/32770624 swapFree=67108436/67108860
[pid=19653] ppid=19650 vsize=10991948 memory=268280 CPUtime=2.91 cores=0,2,4,6
/proc/19653/stat : 19653 (java) S 19650 19653 9814 0 -1 1077944320 22912 13165 0 0 271 13 5 2 20 0 15 0 107232502 11255754752 67070 33554432000 4194304 4196468 140720603743904 140720603726448 140314270916343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
/proc/19653/statm: 2747987 67070 3462 1 0 2709645 0
[pid=19653/tid=19706] ppid=19650 vsize=10991948 memory=65376 CPUtime=1.43 cores=0,2,4,6
/proc/19653/task/19706/stat : 19706 (java) R 19650 19653 9814 0 -1 4202560 15140 13165 0 0 129 7 5 2 20 0 15 0 107232511 11255754752 67070 33554432000 4194304 4196468 140720603743904 140314242749496 140313844383522 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19707] ppid=19650 vsize=10991948 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/19653/task/19707/stat : 19707 (java) S 19650 19653 9814 0 -1 1077944384 28 13165 0 0 1 0 5 2 20 0 15 0 107232511 11255754752 67070 33554432000 4194304 4196468 140720603743904 140314275158544 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19708] ppid=19650 vsize=10991948 memory=279619685376160 CPUtime=0.08 cores=0,2,4,6
/proc/19653/task/19708/stat : 19708 (java) S 19650 19653 9814 0 -1 1077944384 41 13165 0 0 1 0 5 2 20 0 15 0 107232511 11255754752 67070 33554432000 4194304 4196468 140720603743904 140314166909584 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19709] ppid=19650 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19709/stat : 19709 (java) S 19650 19653 9814 0 -1 1077944384 8 13165 0 0 0 0 5 2 20 0 15 0 107232511 11255754752 67070 33554432000 4194304 4196468 140720603743904 140313809836304 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19710] ppid=19650 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/19653/task/19710/stat : 19710 (java) S 19650 19653 9814 0 -1 1077944384 313 13165 0 0 1 0 5 2 20 0 15 0 107232511 11255754752 67070 33554432000 4194304 4196468 140720603743904 140313808783760 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19711] ppid=19650 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19711/stat : 19711 (java) S 19650 19653 9814 0 -1 1077944384 94 13165 0 0 0 0 5 2 20 0 15 0 107232513 11255754752 67070 33554432000 4194304 4196468 140720603743904 140313695873776 140314270927490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19712] ppid=19650 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19712/stat : 19712 (java) S 19650 19653 9814 0 -1 1077944384 13 13165 0 0 0 0 5 2 20 0 15 0 107232513 11255754752 67070 33554432000 4194304 4196468 140720603743904 140313091892896 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19713] ppid=19650 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19713/stat : 19713 (java) S 19650 19653 9814 0 -1 1077944384 2 13165 0 0 0 0 5 2 20 0 15 0 107232513 11255754752 67070 33554432000 4194304 4196468 140720603743904 140312890565872 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19714] ppid=19650 vsize=10991948 memory=-5921431000321636112 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19714/stat : 19714 (java) S 19650 19653 9814 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 107232516 11255754752 67070 33554432000 4194304 4196468 140720603743904 140312583166416 140314270934939 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19715] ppid=19650 vsize=10991948 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/19653/task/19715/stat : 19715 (java) R 19650 19653 9814 0 -1 4202560 2248 13165 0 0 54 0 5 2 20 0 15 0 107232516 11255754752 67070 33554432000 4194304 4196468 140720603743904 140313694805472 140314252439727 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19716] ppid=19650 vsize=10991948 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/19653/task/19716/stat : 19716 (java) R 19650 19653 9814 0 -1 4202560 1531 13165 0 0 48 0 5 2 20 0 15 0 107232516 11255754752 67070 33554432000 4194304 4196468 140720603743904 140313693754864 140314256943576 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19717] ppid=19650 vsize=10991948 memory=6791534058613427641 CPUtime=0.41 cores=0,2,4,6
/proc/19653/task/19717/stat : 19717 (java) S 19650 19653 9814 0 -1 1077944384 1297 13165 0 0 34 0 5 2 20 0 15 0 107232516 11255754752 67070 33554432000 4194304 4196468 140720603743904 140313692714992 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19718] ppid=19650 vsize=10991948 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19718/stat : 19718 (java) S 19650 19653 9814 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 107232516 11255754752 67070 33554432000 4194304 4196468 140720603743904 140312152369504 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19719] ppid=19650 vsize=10991948 memory=279619685620608 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19719/stat : 19719 (java) S 19650 19653 9814 0 -1 1077944384 1 13165 0 0 0 0 5 2 20 0 15 0 107232517 11255754752 67070 33554432000 4194304 4196468 140720603743904 140313691663408 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 10991948 KiB
################
# More data... #
################
[pid=19653/tid=19712] ppid=19650 vsize=11080032 memory=3599364 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19712/stat : 19712 (java) S 19650 19653 9814 0 -1 1077944384 26 13165 0 0 0 0 5 2 20 0 15 0 107232513 11345952768 899082 33554432000 4194304 4196468 140720603743904 140313091892960 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19713] ppid=19650 vsize=11080032 memory=3596296 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19713/stat : 19713 (java) S 19650 19653 9814 0 -1 1077944384 6 13165 0 0 0 0 5 2 20 0 15 0 107232513 11345952768 899082 33554432000 4194304 4196468 140720603743904 140312890565888 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19714] ppid=19650 vsize=11080032 memory=3596328 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19714/stat : 19714 (java) S 19650 19653 9814 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 107232516 11345952768 899082 33554432000 4194304 4196468 140720603743904 140312583166416 140314270934939 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19715] ppid=19650 vsize=11080032 memory=1576 CPUtime=5.31 cores=0,2,4,6
/proc/19653/task/19715/stat : 19715 (java) S 19650 19653 9814 0 -1 1077944384 17553 13165 0 0 521 3 5 2 20 0 15 0 107232516 11345952768 899082 33554432000 4194304 4196468 140720603743904 140313694820592 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19716] ppid=19650 vsize=11080032 memory=3596296 CPUtime=5.69 cores=0,2,4,6
/proc/19653/task/19716/stat : 19716 (java) S 19650 19653 9814 0 -1 1077944384 20218 13165 0 0 557 5 5 2 20 0 15 0 107232516 11345952768 899082 33554432000 4194304 4196468 140720603743904 140313693768048 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19717] ppid=19650 vsize=11080032 memory=3596296 CPUtime=1.95 cores=0,2,4,6
/proc/19653/task/19717/stat : 19717 (java) S 19650 19653 9814 0 -1 1077944384 11251 13165 0 0 185 3 5 2 20 0 15 0 107232516 11345952768 899082 33554432000 4194304 4196468 140720603743904 140313692714992 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19718] ppid=19650 vsize=11080032 memory=3596296 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19718/stat : 19718 (java) S 19650 19653 9814 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 107232516 11345952768 899082 33554432000 4194304 4196468 140720603743904 140312152369504 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19719] ppid=19650 vsize=11080032 memory=1296 CPUtime=0.16 cores=0,2,4,6
/proc/19653/task/19719/stat : 19719 (java) S 19650 19653 9814 0 -1 1077944384 749 13165 0 0 4 5 5 2 20 0 15 0 107232517 11345952768 899082 33554432000 4194304 4196468 140720603743904 140313691663408 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
Current children cumulated CPU time: 184.82 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3596328 KiB
[startup+222.31 s]
/proc/loadavg: 1.97 2.17 1.99 3/215 19857
/proc/meminfo: memFree=21628428/32770624 swapFree=67108436/67108860
[pid=19653] ppid=19650 vsize=11080032 memory=3657380 CPUtime=245.24 cores=0,2,4,6
/proc/19653/stat : 19653 (java) S 19650 19653 9814 0 -1 1077944320 176209 13165 0 0 24337 180 5 2 20 0 15 0 107232502 11345952768 914345 33554432000 4194304 4196468 140720603743904 140720603726448 140314270916343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
/proc/19653/statm: 2770008 914345 3524 1 0 2731661 0
[pid=19653/tid=19706] ppid=19650 vsize=11080032 memory=3657100 CPUtime=218.44 cores=0,2,4,6
/proc/19653/task/19706/stat : 19706 (java) R 19650 19653 9814 0 -1 4202560 79365 13165 0 0 21785 52 5 2 20 0 15 0 107232511 11345952768 914345 33554432000 4194304 4196468 140720603743904 140314242034432 140313854462636 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19707] ppid=19650 vsize=11080032 memory=3657376 CPUtime=3.38 cores=0,2,4,6
/proc/19653/task/19707/stat : 19707 (java) S 19650 19653 9814 0 -1 1077944384 3586 13165 0 0 305 26 5 2 20 0 15 0 107232511 11345952768 914345 33554432000 4194304 4196468 140720603743904 140314275158544 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19708] ppid=19650 vsize=11080032 memory=3657380 CPUtime=3.41 cores=0,2,4,6
/proc/19653/task/19708/stat : 19708 (java) S 19650 19653 9814 0 -1 1077944384 4425 13165 0 0 307 27 5 2 20 0 15 0 107232511 11345952768 914345 33554432000 4194304 4196468 140720603743904 140314166909584 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19709] ppid=19650 vsize=11080032 memory=3657380 CPUtime=3.4 cores=0,2,4,6
/proc/19653/task/19709/stat : 19709 (java) S 19650 19653 9814 0 -1 1077944384 4045 13165 0 0 307 26 5 2 20 0 15 0 107232511 11345952768 914345 33554432000 4194304 4196468 140720603743904 140313809836304 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19710] ppid=19650 vsize=11080032 memory=3657380 CPUtime=3.4 cores=0,2,4,6
/proc/19653/task/19710/stat : 19710 (java) S 19650 19653 9814 0 -1 1077944384 4748 13165 0 0 307 26 5 2 20 0 15 0 107232511 11345952768 914345 33554432000 4194304 4196468 140720603743904 140313808783760 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19711] ppid=19650 vsize=11080032 memory=3657380 CPUtime=0.49 cores=0,2,4,6
/proc/19653/task/19711/stat : 19711 (java) S 19650 19653 9814 0 -1 1077944384 23952 13165 0 0 41 1 5 2 20 0 15 0 107232513 11345952768 914345 33554432000 4194304 4196468 140720603743904 140313695873776 140314270927490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19712] ppid=19650 vsize=11080032 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19712/stat : 19712 (java) S 19650 19653 9814 0 -1 1077944384 26 13165 0 0 0 0 5 2 20 0 15 0 107232513 11345952768 914345 33554432000 4194304 4196468 140720603743904 140313091892960 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19713] ppid=19650 vsize=11080032 memory=1408 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19713/stat : 19713 (java) S 19650 19653 9814 0 -1 1077944384 6 13165 0 0 0 0 5 2 20 0 15 0 107232513 11345952768 914345 33554432000 4194304 4196468 140720603743904 140312890565888 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19714] ppid=19650 vsize=11080032 memory=3657100 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19714/stat : 19714 (java) S 19650 19653 9814 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 107232516 11345952768 914345 33554432000 4194304 4196468 140720603743904 140312583166416 140314270934939 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19715] ppid=19650 vsize=11080032 memory=3657100 CPUtime=5.35 cores=0,2,4,6
/proc/19653/task/19715/stat : 19715 (java) S 19650 19653 9814 0 -1 1077944384 18262 13165 0 0 524 4 5 2 20 0 15 0 107232516 11345952768 914345 33554432000 4194304 4196468 140720603743904 140313694820592 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19716] ppid=19650 vsize=11080032 memory=3657380 CPUtime=5.71 cores=0,2,4,6
/proc/19653/task/19716/stat : 19716 (java) S 19650 19653 9814 0 -1 1077944384 20685 13165 0 0 559 5 5 2 20 0 15 0 107232516 11345952768 914345 33554432000 4194304 4196468 140720603743904 140313693768048 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19717] ppid=19650 vsize=11080032 memory=30584 CPUtime=1.98 cores=0,2,4,6
/proc/19653/task/19717/stat : 19717 (java) S 19650 19653 9814 0 -1 1077944384 14057 13165 0 0 188 3 5 2 20 0 15 0 107232516 11345952768 914345 33554432000 4194304 4196468 140720603743904 140313692714992 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19718] ppid=19650 vsize=11080032 memory=3657376 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19718/stat : 19718 (java) S 19650 19653 9814 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 107232516 11345952768 914345 33554432000 4194304 4196468 140720603743904 140312152369504 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19719] ppid=19650 vsize=11080032 memory=1296 CPUtime=0.2 cores=0,2,4,6
/proc/19653/task/19719/stat : 19719 (java) S 19650 19653 9814 0 -1 1077944384 856 13165 0 0 5 8 5 2 20 0 15 0 107232517 11345952768 914345 33554432000 4194304 4196468 140720603743904 140313691663408 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
Current children cumulated CPU time: 245.24 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3657380 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+229.101 s]
/proc/loadavg: 1.97 2.16 1.99 3/215 19857
/proc/meminfo: memFree=21628632/32770624 swapFree=67108436/67108860
[pid=19653] ppid=19650 vsize=11080032 memory=3657648 CPUtime=252.05 cores=0,2,4,6
/proc/19653/stat : 19653 (java) S 19650 19653 9814 0 -1 1077944320 177712 13165 0 0 25018 180 5 2 20 0 15 0 107232502 11345952768 914412 33554432000 4194304 4196468 140720603743904 140720603726448 140314270916343 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
/proc/19653/statm: 2770008 914412 3524 1 0 2731661 0
[pid=19653/tid=19706] ppid=19650 vsize=11080032 memory=3657648 CPUtime=225.21 cores=0,2,4,6
/proc/19653/task/19706/stat : 19706 (java) R 19650 19653 9814 0 -1 4202560 80671 13165 0 0 22462 52 5 2 20 0 15 0 107232511 11345952768 914412 33554432000 4194304 4196468 140720603743904 140314238753952 140313854462636 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19707] ppid=19650 vsize=11080032 memory=3657648 CPUtime=3.39 cores=0,2,4,6
/proc/19653/task/19707/stat : 19707 (java) S 19650 19653 9814 0 -1 1077944384 3588 13165 0 0 306 26 5 2 20 0 15 0 107232511 11345952768 914412 33554432000 4194304 4196468 140720603743904 140314275158544 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19708] ppid=19650 vsize=11080032 memory=3657376 CPUtime=3.42 cores=0,2,4,6
/proc/19653/task/19708/stat : 19708 (java) S 19650 19653 9814 0 -1 1077944384 4502 13165 0 0 308 27 5 2 20 0 15 0 107232511 11345952768 914412 33554432000 4194304 4196468 140720603743904 140314166909584 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19709] ppid=19650 vsize=11080032 memory=3657648 CPUtime=3.41 cores=0,2,4,6
/proc/19653/task/19709/stat : 19709 (java) S 19650 19653 9814 0 -1 1077944384 4045 13165 0 0 308 26 5 2 20 0 15 0 107232511 11345952768 914412 33554432000 4194304 4196468 140720603743904 140313809836304 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19710] ppid=19650 vsize=11080032 memory=3657648 CPUtime=3.41 cores=0,2,4,6
/proc/19653/task/19710/stat : 19710 (java) S 19650 19653 9814 0 -1 1077944384 4750 13165 0 0 308 26 5 2 20 0 15 0 107232511 11345952768 914412 33554432000 4194304 4196468 140720603743904 140313808783760 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19711] ppid=19650 vsize=11080032 memory=3657648 CPUtime=0.49 cores=0,2,4,6
/proc/19653/task/19711/stat : 19711 (java) S 19650 19653 9814 0 -1 1077944384 23952 13165 0 0 41 1 5 2 20 0 15 0 107232513 11345952768 914412 33554432000 4194304 4196468 140720603743904 140313695873776 140314270927490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19712] ppid=19650 vsize=11080032 memory=3657380 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19712/stat : 19712 (java) S 19650 19653 9814 0 -1 1077944384 26 13165 0 0 0 0 5 2 20 0 15 0 107232513 11345952768 914412 33554432000 4194304 4196468 140720603743904 140313091892960 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19713] ppid=19650 vsize=11080032 memory=3657380 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19713/stat : 19713 (java) S 19650 19653 9814 0 -1 1077944384 6 13165 0 0 0 0 5 2 20 0 15 0 107232513 11345952768 914412 33554432000 4194304 4196468 140720603743904 140312890565888 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19714] ppid=19650 vsize=11080032 memory=3657100 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19714/stat : 19714 (java) S 19650 19653 9814 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 107232516 11345952768 914412 33554432000 4194304 4196468 140720603743904 140312583166416 140314270934939 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19715] ppid=19650 vsize=11080032 memory=3657100 CPUtime=5.35 cores=0,2,4,6
/proc/19653/task/19715/stat : 19715 (java) S 19650 19653 9814 0 -1 1077944384 18262 13165 0 0 524 4 5 2 20 0 15 0 107232516 11345952768 914412 33554432000 4194304 4196468 140720603743904 140313694820592 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19716] ppid=19650 vsize=11080032 memory=6791534058613427641 CPUtime=5.71 cores=0,2,4,6
/proc/19653/task/19716/stat : 19716 (java) S 19650 19653 9814 0 -1 1077944384 20685 13165 0 0 559 5 5 2 20 0 15 0 107232516 11345952768 914412 33554432000 4194304 4196468 140720603743904 140313693768048 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19717] ppid=19650 vsize=11080032 memory=636 CPUtime=1.99 cores=0,2,4,6
/proc/19653/task/19717/stat : 19717 (java) S 19650 19653 9814 0 -1 1077944384 14173 13165 0 0 189 3 5 2 20 0 15 0 107232516 11345952768 914412 33554432000 4194304 4196468 140720603743904 140313692714992 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19718] ppid=19650 vsize=11080032 memory=3657380 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19718/stat : 19718 (java) S 19650 19653 9814 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 15 0 107232516 11345952768 914412 33554432000 4194304 4196468 140720603743904 140312152369504 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19719] ppid=19650 vsize=11080032 memory=4140 CPUtime=0.21 cores=0,2,4,6
/proc/19653/task/19719/stat : 19719 (java) S 19650 19653 9814 0 -1 1077944384 856 13165 0 0 6 8 5 2 20 0 15 0 107232517 11345952768 914412 33554432000 4194304 4196468 140720603743904 140313691663408 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3657648 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+229.321 s]
# the end of solver process 19653 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.439 s, system=1.8632 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+229.206 s]*
/proc/loadavg: 1.97 2.16 1.99 3/217 19859
/proc/meminfo: memFree=21656992/32770624 swapFree=67108436/67108860
[pid=19653] ppid=19650 vsize=11342184 memory=3659880 CPUtime=252.17 cores=0,2,4,6
/proc/19653/stat : 19653 (java) S 19650 19653 9814 0 -1 1077944320 177975 13165 0 0 25030 180 5 2 20 0 17 0 107232502 11614396416 914970 33554432000 4194304 4196468 140720603743904 140720603726448 140314270916343 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
/proc/19653/statm: 2835546 914970 3525 1 0 2797199 0
[pid=19653/tid=19706] ppid=19650 vsize=11342184 memory=6791534058613427641 CPUtime=225.32 cores=0,2,4,6
/proc/19653/task/19706/stat : 19706 (java) R 19650 19653 9814 0 -1 4202560 80671 13165 0 0 22473 52 5 2 20 0 17 0 107232511 11614396416 914970 33554432000 4194304 4196468 140720603743904 140314238753952 140313854463123 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19707] ppid=19650 vsize=11342184 memory=4126316290023845779 CPUtime=3.39 cores=0,2,4,6
/proc/19653/task/19707/stat : 19707 (java) S 19650 19653 9814 0 -1 1077944384 3588 13165 0 0 306 26 5 2 20 0 17 0 107232511 11614396416 914970 33554432000 4194304 4196468 140720603743904 140314275158544 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19708] ppid=19650 vsize=11342184 memory=2244 CPUtime=3.42 cores=0,2,4,6
/proc/19653/task/19708/stat : 19708 (java) S 19650 19653 9814 0 -1 1077944384 4502 13165 0 0 308 27 5 2 20 0 17 0 107232511 11614396416 914970 33554432000 4194304 4196468 140720603743904 140314166909584 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19709] ppid=19650 vsize=11342184 memory=3657648 CPUtime=3.41 cores=0,2,4,6
/proc/19653/task/19709/stat : 19709 (java) S 19650 19653 9814 0 -1 1077944384 4045 13165 0 0 308 26 5 2 20 0 17 0 107232511 11614396416 914970 33554432000 4194304 4196468 140720603743904 140313809836304 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19710] ppid=19650 vsize=11342184 memory=2200 CPUtime=3.41 cores=0,2,4,6
/proc/19653/task/19710/stat : 19710 (java) S 19650 19653 9814 0 -1 1077944384 4750 13165 0 0 308 26 5 2 20 0 17 0 107232511 11614396416 914970 33554432000 4194304 4196468 140720603743904 140313808783760 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19711] ppid=19650 vsize=11342184 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/19653/task/19711/stat : 19711 (java) S 19650 19653 9814 0 -1 1077944384 23952 13165 0 0 41 1 5 2 20 0 17 0 107232513 11614396416 914970 33554432000 4194304 4196468 140720603743904 140313695873776 140314270927490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19712] ppid=19650 vsize=11342184 memory=1228 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19712/stat : 19712 (java) S 19650 19653 9814 0 -1 1077944384 26 13165 0 0 0 0 5 2 20 0 17 0 107232513 11614396416 914970 33554432000 4194304 4196468 140720603743904 140313091892960 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19713] ppid=19650 vsize=11342184 memory=1852 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19713/stat : 19713 (java) S 19650 19653 9814 0 -1 1077944384 6 13165 0 0 0 0 5 2 20 0 17 0 107232513 11614396416 914970 33554432000 4194304 4196468 140720603743904 140312890565888 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19714] ppid=19650 vsize=11342184 memory=872 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19714/stat : 19714 (java) S 19650 19653 9814 0 -1 1077944384 135 13165 0 0 0 0 5 2 20 0 17 0 107232516 11614396416 914970 33554432000 4194304 4196468 140720603743904 140312583166416 140314270934939 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19715] ppid=19650 vsize=11342184 memory=8076 CPUtime=5.35 cores=0,2,4,6
/proc/19653/task/19715/stat : 19715 (java) S 19650 19653 9814 0 -1 1077944384 18262 13165 0 0 524 4 5 2 20 0 17 0 107232516 11614396416 914970 33554432000 4194304 4196468 140720603743904 140313694820592 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19716] ppid=19650 vsize=11342184 memory=11648 CPUtime=5.71 cores=0,2,4,6
/proc/19653/task/19716/stat : 19716 (java) S 19650 19653 9814 0 -1 1077944384 20685 13165 0 0 559 5 5 2 20 0 17 0 107232516 11614396416 914970 33554432000 4194304 4196468 140720603743904 140313693768048 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19717] ppid=19650 vsize=11342184 memory=796 CPUtime=1.99 cores=0,2,4,6
/proc/19653/task/19717/stat : 19717 (java) S 19650 19653 9814 0 -1 1077944384 14173 13165 0 0 189 3 5 2 20 0 17 0 107232516 11614396416 914970 33554432000 4194304 4196468 140720603743904 140313692714992 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19718] ppid=19650 vsize=11342184 memory=1388 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19718/stat : 19718 (java) S 19650 19653 9814 0 -1 1077944384 3 13165 0 0 0 0 5 2 20 0 17 0 107232516 11614396416 914970 33554432000 4194304 4196468 140720603743904 140312152369504 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19719] ppid=19650 vsize=11342184 memory=1136 CPUtime=0.21 cores=0,2,4,6
/proc/19653/task/19719/stat : 19719 (java) S 19650 19653 9814 0 -1 1077944384 856 13165 0 0 6 8 5 2 20 0 17 0 107232517 11614396416 914970 33554432000 4194304 4196468 140720603743904 140313691663408 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19858] ppid=19650 vsize=11342184 memory=15872 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19858/stat : 19858 (java) S 19650 19653 9814 0 -1 1077944384 25 13165 0 0 0 0 5 2 20 0 17 0 107255412 11614396416 914970 33554432000 4194304 4196468 140720603743904 140311816823664 140314270926549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
[pid=19653/tid=19859] ppid=19650 vsize=11342184 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19653/task/19859/stat : 19859 (java) S 19650 19653 9814 0 -1 1077944384 104 13165 0 0 0 0 5 2 20 0 17 0 107255412 11614396416 914970 33554432000 4194304 4196468 140720603743904 140311749711328 140314270927490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18198528 140720603744881 140720603747681 140720603747681 140720603750351 0
Current children cumulated CPU time: 252.17 s
Current children cumulated vsize: 11342184 KiB
Current children cumulated memory: 3659880 KiB
[startup+229.311 s]*
/proc/loadavg: 1.97 2.16 1.99 3/202 19859
/proc/meminfo: memFree=25158808/32770624 swapFree=67108436/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 229.321
CPU time (s): 252.303
CPU user time (s): 250.439
CPU system time (s): 1.8632
CPU usage (%): 110.022
Max. virtual memory (cumulated for all children) (KiB): 11342184
Max. memory (cumulated for all children) (KiB): 3659880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.439
system time used= 1.8632
maximum resident set size= 3660092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192037
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14883
involuntary context switches= 555
# summary of solver processes directly reported to runsolver:
# pid: 19653
# total CPU time (s): 252.303
# total CPU user time (s): 250.439
# total CPU system time (s): 1.8632
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.36925 second user time and 2.2786 second system time
The end