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 (12173 MiB free)
memory of node 1: 16384 MiB (10819 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305013-1534103788/watcher-4305013-1534103788 -o /tmp/evaluation-result-4305013-1534103788/solver-4305013-1534103788 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534096381-30251 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1205548830 HOME/instance-4305013-1534103788.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
Current StackSize limit: 8192 KiB
solver pid=31514, runsolver pid=31511
[startup+0.100057 s]*
/proc/loadavg: 1.98 1.58 1.46 4/206 31571
/proc/meminfo: memFree=23537444/32770624 swapFree=67108372/67108860
[pid=31514] ppid=31511 vsize=10005480 memory=18324 CPUtime=0.08 cores=0,2,4,6
/proc/31514/stat : 31514 (java) S 31511 31514 30220 0 -1 1077944320 4259 13177 0 0 1 0 5 2 20 0 6 0 227941971 10245611520 4581 33554432000 4194304 4196468 140720660180624 140720660163168 139723287064311 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
/proc/31514/statm: 2501370 4581 1930 1 0 2489808 0
[pid=31514/tid=31567] ppid=31511 vsize=10005480 memory=4279135703980081295 CPUtime=0.08 cores=0,2,4,6
/proc/31514/task/31567/stat : 31567 (java) R 31511 31514 30220 0 -1 4202560 2061 13177 0 0 1 0 5 2 20 0 6 0 227941980 10245611520 4581 33554432000 4194304 4196468 140720660180624 139723258901072 139723272746837 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31568] ppid=31511 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31568/stat : 31568 (java) S 31511 31514 30220 0 -1 1077944384 1 13177 0 0 0 0 5 2 20 0 6 0 227941981 10245611520 4581 33554432000 4194304 4196468 140720660180624 139723291306896 139723287074517 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31569] ppid=31511 vsize=10005480 memory=139921535469184 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31569/stat : 31569 (java) S 31511 31514 30220 0 -1 1077944384 3 13177 0 0 0 0 5 2 20 0 6 0 227941981 10245611520 4581 33554432000 4194304 4196468 140720660180624 139723146025744 139723287074517 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31570] ppid=31511 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31570/stat : 31570 (java) S 31511 31514 30220 0 -1 1077944384 2 13177 0 0 0 0 5 2 20 0 6 0 227941981 10245611520 4581 33554432000 4194304 4196468 140720660180624 139723144973456 139723287074517 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31571] ppid=31511 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31571/stat : 31571 (java) S 31511 31514 30220 0 -1 1077944384 2 13177 0 0 0 0 5 2 20 0 6 0 227941981 10245611520 4581 33554432000 4194304 4196468 140720660180624 139723143920656 139723287074517 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18324 KiB
[startup+0.209946 s]*
/proc/loadavg: 1.98 1.58 1.46 4/215 31580
/proc/meminfo: memFree=23514876/32770624 swapFree=67108372/67108860
[pid=31514] ppid=31511 vsize=10982744 memory=45460 CPUtime=0.25 cores=0,2,4,6
/proc/31514/stat : 31514 (java) S 31511 31514 30220 0 -1 1077944320 7551 13177 0 0 17 1 5 2 20 0 15 0 227941971 11246329856 11365 33554432000 4194304 4196468 140720660180624 140720660163168 139723287064311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
/proc/31514/statm: 2745686 11365 2952 1 0 2708109 0
[pid=31514/tid=31567] ppid=31511 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/31514/task/31567/stat : 31567 (java) R 31511 31514 30220 0 -1 4202560 4127 13177 0 0 10 1 5 2 20 0 15 0 227941980 11246329856 11365 33554432000 4194304 4196468 140720660180624 139723258887920 139723279301438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31568] ppid=31511 vsize=10982744 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31568/stat : 31568 (java) S 31511 31514 30220 0 -1 1077944384 1 13177 0 0 0 0 5 2 20 0 15 0 227941981 11246329856 11365 33554432000 4194304 4196468 140720660180624 139723291306896 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31569] ppid=31511 vsize=10982744 memory=139921536686188 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31569/stat : 31569 (java) S 31511 31514 30220 0 -1 1077944384 3 13177 0 0 0 0 5 2 20 0 15 0 227941981 11246329856 11365 33554432000 4194304 4196468 140720660180624 139723146025744 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31570] ppid=31511 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31570/stat : 31570 (java) S 31511 31514 30220 0 -1 1077944384 2 13177 0 0 0 0 5 2 20 0 15 0 227941981 11246329856 11365 33554432000 4194304 4196468 140720660180624 139723144973456 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31571] ppid=31511 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31571/stat : 31571 (java) S 31511 31514 30220 0 -1 1077944384 2 13177 0 0 0 0 5 2 20 0 15 0 227941981 11246329856 11365 33554432000 4194304 4196468 140720660180624 139723143920656 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31572] ppid=31511 vsize=10982744 memory=139921535469184 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31572/stat : 31572 (java) S 31511 31514 30220 0 -1 1077944384 2 13177 0 0 0 0 5 2 20 0 15 0 227941982 11246329856 11365 33554432000 4194304 4196468 140720660180624 139722712090736 139723287075458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31573] ppid=31511 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31573/stat : 31573 (java) S 31511 31514 30220 0 -1 1077944384 13 13177 0 0 0 0 5 2 20 0 15 0 227941983 11246329856 11365 33554432000 4194304 4196468 140720660180624 139722131235616 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31574] ppid=31511 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31574/stat : 31574 (java) S 31511 31514 30220 0 -1 1077944384 1 13177 0 0 0 0 5 2 20 0 15 0 227941983 11246329856 11431 33554432000 4194304 4196468 140720660180624 139721929909360 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31575] ppid=31511 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31575/stat : 31575 (java) S 31511 31514 30220 0 -1 1077944384 3 13177 0 0 0 0 5 2 20 0 15 0 227941986 11246329856 11431 33554432000 4194304 4196468 140720660180624 139721622509648 139723287082907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31576] ppid=31511 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31514/task/31576/stat : 31576 (java) S 31511 31514 30220 0 -1 1077944384 423 13177 0 0 1 0 5 2 20 0 15 0 227941986 11246329856 11431 33554432000 4194304 4196468 140720660180624 139722711038576 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31577] ppid=31511 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31514/task/31577/stat : 31577 (java) S 31511 31514 30220 0 -1 1077944384 187 13177 0 0 1 0 5 2 20 0 15 0 227941986 11246329856 11431 33554432000 4194304 4196468 140720660180624 139722709985776 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31578] ppid=31511 vsize=10982744 memory=139921535469184 CPUtime=0.1 cores=0,2,4,6
/proc/31514/task/31578/stat : 31578 (java) S 31511 31514 30220 0 -1 1077944384 613 13177 0 0 3 0 5 2 20 0 15 0 227941986 11246329856 11431 33554432000 4194304 4196468 140720660180624 139722708933488 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31579] ppid=31511 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31579/stat : 31579 (java) S 31511 31514 30220 0 -1 1077944384 3 13177 0 0 0 0 5 2 20 0 15 0 227941986 11246329856 11431 33554432000 4194304 4196468 140720660180624 139721191713760 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31580] ppid=31511 vsize=10982744 memory=139921535469184 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31580/stat : 31580 (java) S 31511 31514 30220 0 -1 1077944384 1 13177 0 0 0 0 5 2 20 0 15 0 227941986 11246329856 11431 33554432000 4194304 4196468 140720660180624 139722707880368 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45460 KiB
[startup+0.310024 s]*
/proc/loadavg: 1.98 1.58 1.46 3/215 31580
/proc/meminfo: memFree=23501008/32770624 swapFree=67108372/67108860
[pid=31514] ppid=31511 vsize=10983192 memory=56960 CPUtime=0.38 cores=0,2,4,6
/proc/31514/stat : 31514 (java) S 31511 31514 30220 0 -1 1077944320 10290 13177 0 0 29 2 5 2 20 0 15 0 227941971 11246788608 14240 33554432000 4194304 4196468 140720660180624 140720660163168 139723287064311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
/proc/31514/statm: 2745798 14240 3071 1 0 2708109 0
[pid=31514/tid=31567] ppid=31511 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/31514/task/31567/stat : 31567 (java) R 31511 31514 30220 0 -1 4202560 6833 13177 0 0 19 2 5 2 20 0 15 0 227941980 11246788608 14240 33554432000 4194304 4196468 140720660180624 139723258876320 139723272229864 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31568] ppid=31511 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31568/stat : 31568 (java) S 31511 31514 30220 0 -1 1077944384 1 13177 0 0 0 0 5 2 20 0 15 0 227941981 11246788608 14240 33554432000 4194304 4196468 140720660180624 139723291306896 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31569] ppid=31511 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31569/stat : 31569 (java) S 31511 31514 30220 0 -1 1077944384 3 13177 0 0 0 0 5 2 20 0 15 0 227941981 11246788608 14240 33554432000 4194304 4196468 140720660180624 139723146025744 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31570] ppid=31511 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31570/stat : 31570 (java) S 31511 31514 30220 0 -1 1077944384 2 13177 0 0 0 0 5 2 20 0 15 0 227941981 11246788608 14240 33554432000 4194304 4196468 140720660180624 139723144973456 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31571] ppid=31511 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31571/stat : 31571 (java) S 31511 31514 30220 0 -1 1077944384 2 13177 0 0 0 0 5 2 20 0 15 0 227941981 11246788608 14240 33554432000 4194304 4196468 140720660180624 139723143920656 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31572] ppid=31511 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31572/stat : 31572 (java) S 31511 31514 30220 0 -1 1077944384 2 13177 0 0 0 0 5 2 20 0 15 0 227941982 11246788608 14240 33554432000 4194304 4196468 140720660180624 139722712090736 139723287075458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31573] ppid=31511 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31573/stat : 31573 (java) S 31511 31514 30220 0 -1 1077944384 13 13177 0 0 0 0 5 2 20 0 15 0 227941983 11246788608 14240 33554432000 4194304 4196468 140720660180624 139722131235616 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31574] ppid=31511 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31574/stat : 31574 (java) S 31511 31514 30220 0 -1 1077944384 1 13177 0 0 0 0 5 2 20 0 15 0 227941983 11246788608 14240 33554432000 4194304 4196468 140720660180624 139721929909360 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31575] ppid=31511 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31575/stat : 31575 (java) S 31511 31514 30220 0 -1 1077944384 3 13177 0 0 0 0 5 2 20 0 15 0 227941986 11246788608 14240 33554432000 4194304 4196468 140720660180624 139721622509648 139723287082907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31576] ppid=31511 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31514/task/31576/stat : 31576 (java) S 31511 31514 30220 0 -1 1077944384 423 13177 0 0 1 0 5 2 20 0 15 0 227941986 11246788608 14240 33554432000 4194304 4196468 140720660180624 139722711038576 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31577] ppid=31511 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/31514/task/31577/stat : 31577 (java) S 31511 31514 30220 0 -1 1077944384 191 13177 0 0 1 0 5 2 20 0 15 0 227941986 11246788608 14240 33554432000 4194304 4196468 140720660180624 139722709985776 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31578] ppid=31511 vsize=10983192 memory=139921535469184 CPUtime=0.12 cores=0,2,4,6
/proc/31514/task/31578/stat : 31578 (java) S 31511 31514 30220 0 -1 1077944384 619 13177 0 0 5 0 5 2 20 0 15 0 227941986 11246788608 14240 33554432000 4194304 4196468 140720660180624 139722708933488 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31579] ppid=31511 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31579/stat : 31579 (java) S 31511 31514 30220 0 -1 1077944384 3 13177 0 0 0 0 5 2 20 0 15 0 227941986 11246788608 14240 33554432000 4194304 4196468 140720660180624 139721191713760 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31580] ppid=31511 vsize=10983192 memory=139921535469184 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31580/stat : 31580 (java) S 31511 31514 30220 0 -1 1077944384 1 13177 0 0 0 0 5 2 20 0 15 0 227941986 11246788608 14240 33554432000 4194304 4196468 140720660180624 139722707880368 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56960 KiB
[startup+0.700745 s]
/proc/loadavg: 1.98 1.58 1.46 6/215 31580
/proc/meminfo: memFree=23495032/32770624 swapFree=67108372/67108860
[pid=31514] ppid=31511 vsize=10983192 memory=89072 CPUtime=0.99 cores=0,2,4,6
/proc/31514/stat : 31514 (java) S 31511 31514 30220 0 -1 1077944320 16391 13177 0 0 88 4 5 2 20 0 15 0 227941971 11246788608 22268 33554432000 4194304 4196468 140720660180624 140720660163168 139723287064311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
/proc/31514/statm: 2745798 22268 3237 1 0 2708109 0
[pid=31514/tid=31567] ppid=31511 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/31514/task/31567/stat : 31567 (java) R 31511 31514 30220 0 -1 4202560 11927 13177 0 0 56 3 5 2 20 0 15 0 227941980 11246788608 22268 33554432000 4194304 4196468 140720660180624 139723258884600 139723271144798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31568] ppid=31511 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31568/stat : 31568 (java) S 31511 31514 30220 0 -1 1077944384 1 13177 0 0 0 0 5 2 20 0 15 0 227941981 11246788608 22268 33554432000 4194304 4196468 140720660180624 139723291306896 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31569] ppid=31511 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31569/stat : 31569 (java) S 31511 31514 30220 0 -1 1077944384 3 13177 0 0 0 0 5 2 20 0 15 0 227941981 11246788608 22268 33554432000 4194304 4196468 140720660180624 139723146025744 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31570] ppid=31511 vsize=10983192 memory=139921377604400 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31570/stat : 31570 (java) S 31511 31514 30220 0 -1 1077944384 2 13177 0 0 0 0 5 2 20 0 15 0 227941981 11246788608 22268 33554432000 4194304 4196468 140720660180624 139723144973456 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31571] ppid=31511 vsize=10983192 memory=139921444569689 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31571/stat : 31571 (java) S 31511 31514 30220 0 -1 1077944384 2 13177 0 0 0 0 5 2 20 0 15 0 227941981 11246788608 22268 33554432000 4194304 4196468 140720660180624 139723143920656 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31572] ppid=31511 vsize=10983192 memory=1276 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31572/stat : 31572 (java) S 31511 31514 30220 0 -1 1077944384 5 13177 0 0 0 0 5 2 20 0 15 0 227941982 11246788608 22268 33554432000 4194304 4196468 140720660180624 139722712090736 139723287075458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31573] ppid=31511 vsize=10983192 memory=4639098309541127525 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31573/stat : 31573 (java) S 31511 31514 30220 0 -1 1077944384 13 13177 0 0 0 0 5 2 20 0 15 0 227941983 11246788608 22268 33554432000 4194304 4196468 140720660180624 139722131235616 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31574] ppid=31511 vsize=10983192 memory=6082220498176863336 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31574/stat : 31574 (java) S 31511 31514 30220 0 -1 1077944384 1 13177 0 0 0 0 5 2 20 0 15 0 227941983 11246788608 22268 33554432000 4194304 4196468 140720660180624 139721929909360 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31575] ppid=31511 vsize=10983192 memory=34168 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31575/stat : 31575 (java) S 31511 31514 30220 0 -1 1077944384 3 13177 0 0 0 0 5 2 20 0 15 0 227941986 11246788608 22268 33554432000 4194304 4196468 140720660180624 139721622509648 139723287082907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31576] ppid=31511 vsize=10983192 memory=13756 CPUtime=0.16 cores=0,2,4,6
/proc/31514/task/31576/stat : 31576 (java) S 31511 31514 30220 0 -1 1077944384 1000 13177 0 0 9 0 5 2 20 0 15 0 227941986 11246788608 22268 33554432000 4194304 4196468 140720660180624 139722711038576 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31577] ppid=31511 vsize=10983192 memory=3316 CPUtime=0.14 cores=0,2,4,6
/proc/31514/task/31577/stat : 31577 (java) S 31511 31514 30220 0 -1 1077944384 567 13177 0 0 7 0 5 2 20 0 15 0 227941986 11246788608 22268 33554432000 4194304 4196468 140720660180624 139722709985776 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31578] ppid=31511 vsize=10983192 memory=488 CPUtime=0.2 cores=0,2,4,6
/proc/31514/task/31578/stat : 31578 (java) S 31511 31514 30220 0 -1 1077944384 670 13177 0 0 13 0 5 2 20 0 15 0 227941986 11246788608 22268 33554432000 4194304 4196468 140720660180624 139722708933488 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31579] ppid=31511 vsize=10983192 memory=1616 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31579/stat : 31579 (java) S 31511 31514 30220 0 -1 1077944384 3 13177 0 0 0 0 5 2 20 0 15 0 227941986 11246788608 22268 33554432000 4194304 4196468 140720660180624 139721191713760 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31580] ppid=31511 vsize=10983192 memory=1172 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31580/stat : 31580 (java) S 31511 31514 30220 0 -1 1077944384 1 13177 0 0 0 0 5 2 20 0 15 0 227941986 11246788608 22268 33554432000 4194304 4196468 140720660180624 139722707880368 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89072 KiB
[startup+1.50072 s]
/proc/loadavg: 1.98 1.58 1.46 6/215 31580
/proc/meminfo: memFree=23454992/32770624 swapFree=67108372/67108860
[pid=31514] ppid=31511 vsize=10998092 memory=196248 CPUtime=2.73 cores=0,2,4,6
/proc/31514/stat : 31514 (java) S 31511 31514 30220 0 -1 1077944320 24365 13177 0 0 257 9 5 2 20 0 15 0 227941971 11262046208 49062 33554432000 4194304 4196468 140720660180624 140720660163168 139723287064311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
/proc/31514/statm: 2749523 49062 3481 1 0 2711181 0
[pid=31514/tid=31567] ppid=31511 vsize=10998092 memory=65824 CPUtime=1.42 cores=0,2,4,6
/proc/31514/task/31567/stat : 31567 (java) R 31511 31514 30220 0 -1 4202560 16743 13177 0 0 130 5 5 2 20 0 15 0 227941980 11262046208 49062 33554432000 4194304 4196468 140720660180624 139723258881728 139723287086237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31568] ppid=31511 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/31514/task/31568/stat : 31568 (java) S 31511 31514 30220 0 -1 1077944384 21 13177 0 0 1 0 5 2 20 0 15 0 227941981 11262046208 49062 33554432000 4194304 4196468 140720660180624 139723291306896 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31569] ppid=31511 vsize=10998092 memory=279842755240096 CPUtime=0.08 cores=0,2,4,6
/proc/31514/task/31569/stat : 31569 (java) S 31511 31514 30220 0 -1 1077944384 190 13177 0 0 1 0 5 2 20 0 15 0 227941981 11262046208 49062 33554432000 4194304 4196468 140720660180624 139723146025744 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31570] ppid=31511 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31514/task/31570/stat : 31570 (java) S 31511 31514 30220 0 -1 1077944384 30 13177 0 0 1 0 5 2 20 0 15 0 227941981 11262046208 49062 33554432000 4194304 4196468 140720660180624 139723144973456 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31571] ppid=31511 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31514/task/31571/stat : 31571 (java) S 31511 31514 30220 0 -1 1077944384 70 13177 0 0 1 0 5 2 20 0 15 0 227941981 11262046208 49062 33554432000 4194304 4196468 140720660180624 139723143920656 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31572] ppid=31511 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31514/task/31572/stat : 31572 (java) S 31511 31514 30220 0 -1 1077944384 125 13177 0 0 1 0 5 2 20 0 15 0 227941982 11262046208 49062 33554432000 4194304 4196468 140720660180624 139722712090736 139723287075458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31573] ppid=31511 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31573/stat : 31573 (java) S 31511 31514 30220 0 -1 1077944384 14 13177 0 0 0 0 5 2 20 0 15 0 227941983 11262046208 49062 33554432000 4194304 4196468 140720660180624 139722131235680 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31574] ppid=31511 vsize=10998092 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31574/stat : 31574 (java) S 31511 31514 30220 0 -1 1077944384 1 13177 0 0 0 0 5 2 20 0 15 0 227941983 11262046208 49062 33554432000 4194304 4196468 140720660180624 139721929909376 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31575] ppid=31511 vsize=10998092 memory=-5921431000321636112 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31575/stat : 31575 (java) S 31511 31514 30220 0 -1 1077944384 3 13177 0 0 0 0 5 2 20 0 15 0 227941986 11262046208 49062 33554432000 4194304 4196468 140720660180624 139721622509648 139723287082907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31576] ppid=31511 vsize=10998092 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/31514/task/31576/stat : 31576 (java) S 31511 31514 30220 0 -1 1077944384 2101 13177 0 0 37 0 5 2 20 0 15 0 227941986 11262046208 49062 33554432000 4194304 4196468 140720660180624 139722711038576 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31577] ppid=31511 vsize=10998092 memory=10 CPUtime=0.45 cores=0,2,4,6
/proc/31514/task/31577/stat : 31577 (java) S 31511 31514 30220 0 -1 1077944384 1290 13177 0 0 38 0 5 2 20 0 15 0 227941986 11262046208 49062 33554432000 4194304 4196468 140720660180624 139722709985776 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31578] ppid=31511 vsize=10998092 memory=6791534058613427641 CPUtime=0.49 cores=0,2,4,6
/proc/31514/task/31578/stat : 31578 (java) S 31511 31514 30220 0 -1 1077944384 1580 13177 0 0 42 0 5 2 20 0 15 0 227941986 11262046208 49062 33554432000 4194304 4196468 140720660180624 139722708933488 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31579] ppid=31511 vsize=10998092 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31579/stat : 31579 (java) S 31511 31514 30220 0 -1 1077944384 3 13177 0 0 0 0 5 2 20 0 15 0 227941986 11262046208 49062 33554432000 4194304 4196468 140720660180624 139721191713760 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31580] ppid=31511 vsize=10998092 memory=279842755484544 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31580/stat : 31580 (java) S 31511 31514 30220 0 -1 1077944384 1 13177 0 0 0 0 5 2 20 0 15 0 227941986 11262046208 49062 33554432000 4194304 4196468 140720660180624 139722707880368 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
[startup+6.09352 s]
# the end of solver process 31514 was just reported to runsolver
# cumulated CPU time of all completed processes: user=15.5472 s, system=0.28015 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20201 s]
/proc/loadavg: 2.22 1.63 1.48 5/215 31580
/proc/meminfo: memFree=23244296/32770624 swapFree=67108372/67108860
[pid=31514] ppid=31511 vsize=11006304 memory=257684 CPUtime=7.06 cores=0,2,4,6
/proc/31514/stat : 31514 (java) S 31511 31514 30220 0 -1 1077944320 43044 13177 0 0 683 16 5 2 20 0 15 0 227941971 11270455296 64421 33554432000 4194304 4196468 140720660180624 140720660163168 139723287064311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
/proc/31514/statm: 2751576 64421 3502 1 0 2713229 0
[pid=31514/tid=31567] ppid=31511 vsize=11006304 memory=-9123011406873206402 CPUtime=3.11 cores=0,2,4,6
/proc/31514/task/31567/stat : 31567 (java) R 31511 31514 30220 0 -1 4202560 23809 13177 0 0 296 8 5 2 20 0 15 0 227941980 11270455296 64421 33554432000 4194304 4196468 140720660180624 139723258897504 139723268933263 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31568] ppid=31511 vsize=11006304 memory=6935649255759568960 CPUtime=0.08 cores=0,2,4,6
/proc/31514/task/31568/stat : 31568 (java) S 31511 31514 30220 0 -1 1077944384 21 13177 0 0 1 0 5 2 20 0 15 0 227941981 11270455296 64421 33554432000 4194304 4196468 140720660180624 139723291306896 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31569] ppid=31511 vsize=11006304 memory=4132775673715122240 CPUtime=0.08 cores=0,2,4,6
/proc/31514/task/31569/stat : 31569 (java) S 31511 31514 30220 0 -1 1077944384 190 13177 0 0 1 0 5 2 20 0 15 0 227941981 11270455296 64421 33554432000 4194304 4196468 140720660180624 139723146025744 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31570] ppid=31511 vsize=11006304 memory=3467824627879784490 CPUtime=0.08 cores=0,2,4,6
/proc/31514/task/31570/stat : 31570 (java) S 31511 31514 30220 0 -1 1077944384 30 13177 0 0 1 0 5 2 20 0 15 0 227941981 11270455296 64421 33554432000 4194304 4196468 140720660180624 139723144973456 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31571] ppid=31511 vsize=11006304 memory=7588684550706915689 CPUtime=0.08 cores=0,2,4,6
/proc/31514/task/31571/stat : 31571 (java) S 31511 31514 30220 0 -1 1077944384 70 13177 0 0 1 0 5 2 20 0 15 0 227941981 11270455296 64421 33554432000 4194304 4196468 140720660180624 139723143920656 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31572] ppid=31511 vsize=11006304 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31514/task/31572/stat : 31572 (java) S 31511 31514 30220 0 -1 1077944384 303 13177 0 0 1 0 5 2 20 0 15 0 227941982 11270455296 64421 33554432000 4194304 4196468 140720660180624 139722712090736 139723287075458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31573] ppid=31511 vsize=11006304 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31573/stat : 31573 (java) S 31511 31514 30220 0 -1 1077944384 14 13177 0 0 0 0 5 2 20 0 15 0 227941983 11270455296 64421 33554432000 4194304 4196468 140720660180624 139722131235680 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31574] ppid=31511 vsize=11006304 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31574/stat : 31574 (java) S 31511 31514 30220 0 -1 1077944384 1 13177 0 0 0 0 5 2 20 0 15 0 227941983 11270455296 64421 33554432000 4194304 4196468 140720660180624 139721929909376 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31575] ppid=31511 vsize=11006304 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31575/stat : 31575 (java) S 31511 31514 30220 0 -1 1077944384 3 13177 0 0 0 0 5 2 20 0 15 0 227941986 11270455296 64421 33554432000 4194304 4196468 140720660180624 139721622509648 139723287082907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31576] ppid=31511 vsize=11006304 memory=0 CPUtime=1.38 cores=0,2,4,6
/proc/31514/task/31576/stat : 31576 (java) R 31511 31514 30220 0 -1 4202560 5269 13177 0 0 130 1 5 2 20 0 15 0 227941986 11270455296 64421 33554432000 4194304 4196468 140720660180624 139722711021984 139723266750152 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31577] ppid=31511 vsize=11006304 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/31514/task/31577/stat : 31577 (java) R 31511 31514 30220 0 -1 4202560 3160 13177 0 0 124 1 5 2 20 0 15 0 227941986 11270455296 64421 33554432000 4194304 4196468 140720660180624 139722709967616 139723271403672 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31578] ppid=31511 vsize=11006304 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/31514/task/31578/stat : 31578 (java) S 31511 31514 30220 0 -1 1077944384 7970 13177 0 0 123 2 5 2 20 0 15 0 227941986 11270455296 64421 33554432000 4194304 4196468 140720660180624 139722708933488 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31579] ppid=31511 vsize=11006304 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31579/stat : 31579 (java) S 31511 31514 30220 0 -1 1077944384 3 13177 0 0 0 0 5 2 20 0 15 0 227941986 11270455296 64421 33554432000 4194304 4196468 140720660180624 139721191713760 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31580] ppid=31511 vsize=11006304 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31580/stat : 31580 (java) S 31511 31514 30220 0 -1 1077944384 10 13177 0 0 0 0 5 2 20 0 15 0 227941986 11270455296 64421 33554432000 4194304 4196468 140720660180624 139722707880368 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
Current children cumulated CPU time: 7.06 s
Current children cumulated vsize: 11006304 KiB
Current children cumulated memory: 257684 KiB
[startup+4.80112 s]
/proc/loadavg: 2.22 1.63 1.48 7/215 31580
/proc/meminfo: memFree=23155092/32770624 swapFree=67108372/67108860
[pid=31514] ppid=31511 vsize=11008352 memory=312196 CPUtime=12.13 cores=0,2,4,6
/proc/31514/stat : 31514 (java) S 31511 31514 30220 0 -1 1077944320 47155 13177 0 0 1187 19 5 2 20 0 15 0 227941971 11272552448 78049 33554432000 4194304 4196468 140720660180624 140720660163168 139723287064311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
/proc/31514/statm: 2752088 78049 3508 1 0 2713741 0
[pid=31514/tid=31567] ppid=31511 vsize=11008352 memory=279842755053280 CPUtime=4.64 cores=0,2,4,6
/proc/31514/task/31567/stat : 31567 (java) R 31511 31514 30220 0 -1 4202560 24709 13177 0 0 448 9 5 2 20 0 15 0 227941980 11272552448 78049 33554432000 4194304 4196468 140720660180624 139723258896048 139723269279675 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31568] ppid=31511 vsize=11008352 memory=279842755060000 CPUtime=0.11 cores=0,2,4,6
/proc/31514/task/31568/stat : 31568 (java) S 31511 31514 30220 0 -1 1077944384 67 13177 0 0 4 0 5 2 20 0 15 0 227941981 11272552448 78049 33554432000 4194304 4196468 140720660180624 139723291306896 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31569] ppid=31511 vsize=11008352 memory=224420 CPUtime=0.11 cores=0,2,4,6
/proc/31514/task/31569/stat : 31569 (java) S 31511 31514 30220 0 -1 1077944384 246 13177 0 0 4 0 5 2 20 0 15 0 227941981 11272552448 78049 33554432000 4194304 4196468 140720660180624 139723146025744 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31570] ppid=31511 vsize=11008352 memory=305004 CPUtime=0.12 cores=0,2,4,6
/proc/31514/task/31570/stat : 31570 (java) S 31511 31514 30220 0 -1 1077944384 56 13177 0 0 5 0 5 2 20 0 15 0 227941981 11272552448 78049 33554432000 4194304 4196468 140720660180624 139723144973456 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31571] ppid=31511 vsize=11008352 memory=6791534058613427641 CPUtime=0.12 cores=0,2,4,6
/proc/31514/task/31571/stat : 31571 (java) S 31511 31514 30220 0 -1 1077944384 96 13177 0 0 5 0 5 2 20 0 15 0 227941981 11272552448 78049 33554432000 4194304 4196468 140720660180624 139723143920656 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31572] ppid=31511 vsize=11008352 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/31514/task/31572/stat : 31572 (java) S 31511 31514 30220 0 -1 1077944384 1864 13177 0 0 4 0 5 2 20 0 15 0 227941982 11272552448 78049 33554432000 4194304 4196468 140720660180624 139722712090736 139723287075458 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31573] ppid=31511 vsize=11008352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31573/stat : 31573 (java) S 31511 31514 30220 0 -1 1077944384 15 13177 0 0 0 0 5 2 20 0 15 0 227941983 11272552448 78049 33554432000 4194304 4196468 140720660180624 139722131235680 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31574] ppid=31511 vsize=11008352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31574/stat : 31574 (java) S 31511 31514 30220 0 -1 1077944384 2 13177 0 0 0 0 5 2 20 0 15 0 227941983 11272552448 78049 33554432000 4194304 4196468 140720660180624 139721929909376 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31575] ppid=31511 vsize=11008352 memory=11697 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31575/stat : 31575 (java) S 31511 31514 30220 0 -1 1077944384 3 13177 0 0 0 0 5 2 20 0 15 0 227941986 11272552448 78049 33554432000 4194304 4196468 140720660180624 139721622509648 139723287082907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31576] ppid=31511 vsize=11008352 memory=0 CPUtime=2.85 cores=0,2,4,6
/proc/31514/task/31576/stat : 31576 (java) R 31511 31514 30220 0 -1 4202560 5751 13177 0 0 277 1 5 2 20 0 15 0 227941986 11272552448 78049 33554432000 4194304 4196468 140720660180624 139722711027856 139723271340041 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31577] ppid=31511 vsize=11008352 memory=0 CPUtime=2.8 cores=0,2,4,6
/proc/31514/task/31577/stat : 31577 (java) R 31511 31514 30220 0 -1 4202560 3520 13177 0 0 272 1 5 2 20 0 15 0 227941986 11272552448 78049 33554432000 4194304 4196468 140720660180624 139722709967376 139723271042944 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31578] ppid=31511 vsize=11008352 memory=0 CPUtime=1.72 cores=0,2,4,6
/proc/31514/task/31578/stat : 31578 (java) S 31511 31514 30220 0 -1 1077944384 8619 13177 0 0 162 3 5 2 20 0 15 0 227941986 11272552448 78049 33554432000 4194304 4196468 140720660180624 139722708933488 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31579] ppid=31511 vsize=11008352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31579/stat : 31579 (java) S 31511 31514 30220 0 -1 1077944384 3 13177 0 0 0 0 5 2 20 0 15 0 227941986 11272552448 78049 33554432000 4194304 4196468 140720660180624 139721191713760 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31580] ppid=31511 vsize=11008352 memory=135635067239259 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31580/stat : 31580 (java) S 31511 31514 30220 0 -1 1077944384 11 13177 0 0 0 0 5 2 20 0 15 0 227941986 11272552448 78049 33554432000 4194304 4196468 140720660180624 139722707880368 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
Current children cumulated CPU time: 12.13 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 312196 KiB
[startup+5.60208 s]
/proc/loadavg: 2.22 1.63 1.48 7/215 31580
/proc/meminfo: memFree=23048308/32770624 swapFree=67108372/67108860
[pid=31514] ppid=31511 vsize=11077984 memory=357548 CPUtime=14.31 cores=0,2,4,6
/proc/31514/stat : 31514 (java) S 31511 31514 30220 0 -1 1077944320 59467 13177 0 0 1402 22 5 2 20 0 15 0 227941971 11343855616 89387 33554432000 4194304 4196468 140720660180624 140720660163168 139723287064311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
/proc/31514/statm: 2769496 89387 3513 1 0 2731149 0
[pid=31514/tid=31567] ppid=31511 vsize=11077984 memory=6791534058613427641 CPUtime=5.44 cores=0,2,4,6
/proc/31514/task/31567/stat : 31567 (java) R 31511 31514 30220 0 -1 4202560 35955 13177 0 0 526 11 5 2 20 0 15 0 227941980 11343855616 89387 33554432000 4194304 4196468 140720660180624 139723258893216 139723272308097 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31568] ppid=31511 vsize=11077984 memory=6944656575208382560 CPUtime=0.11 cores=0,2,4,6
/proc/31514/task/31568/stat : 31568 (java) S 31511 31514 30220 0 -1 1077944384 67 13177 0 0 4 0 5 2 20 0 15 0 227941981 11343855616 89387 33554432000 4194304 4196468 140720660180624 139723291306896 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31569] ppid=31511 vsize=11077984 memory=6656426216303648864 CPUtime=0.11 cores=0,2,4,6
/proc/31514/task/31569/stat : 31569 (java) S 31511 31514 30220 0 -1 1077944384 246 13177 0 0 4 0 5 2 20 0 15 0 227941981 11343855616 89387 33554432000 4194304 4196468 140720660180624 139723146025744 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31570] ppid=31511 vsize=11077984 memory=6944656592455359580 CPUtime=0.12 cores=0,2,4,6
/proc/31514/task/31570/stat : 31570 (java) S 31511 31514 30220 0 -1 1077944384 56 13177 0 0 5 0 5 2 20 0 15 0 227941981 11343855616 89387 33554432000 4194304 4196468 140720660180624 139723144973456 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31571] ppid=31511 vsize=11077984 memory=6944652177228980320 CPUtime=0.12 cores=0,2,4,6
/proc/31514/task/31571/stat : 31571 (java) S 31511 31514 30220 0 -1 1077944384 96 13177 0 0 5 0 5 2 20 0 15 0 227941981 11343855616 89387 33554432000 4194304 4196468 140720660180624 139723143920656 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31572] ppid=31511 vsize=11077984 memory=-7812800577974661517 CPUtime=0.11 cores=0,2,4,6
/proc/31514/task/31572/stat : 31572 (java) S 31511 31514 30220 0 -1 1077944384 1864 13177 0 0 4 0 5 2 20 0 15 0 227941982 11343855616 89387 33554432000 4194304 4196468 140720660180624 139722712090736 139723287075458 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31573] ppid=31511 vsize=11077984 memory=7100839852960354190 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31573/stat : 31573 (java) S 31511 31514 30220 0 -1 1077944384 15 13177 0 0 0 0 5 2 20 0 15 0 227941983 11343855616 89387 33554432000 4194304 4196468 140720660180624 139722131235680 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31574] ppid=31511 vsize=11077984 memory=-2915662219940058526 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31574/stat : 31574 (java) S 31511 31514 30220 0 -1 1077944384 2 13177 0 0 0 0 5 2 20 0 15 0 227941983 11343855616 89387 33554432000 4194304 4196468 140720660180624 139721929909376 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31575] ppid=31511 vsize=11077984 memory=11628 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31575/stat : 31575 (java) S 31511 31514 30220 0 -1 1077944384 3 13177 0 0 0 0 5 2 20 0 15 0 227941986 11343855616 89387 33554432000 4194304 4196468 140720660180624 139721622509648 139723287082907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31576] ppid=31511 vsize=11077984 memory=752 CPUtime=3.38 cores=0,2,4,6
/proc/31514/task/31576/stat : 31576 (java) R 31511 31514 30220 0 -1 4202560 6248 13177 0 0 330 1 5 2 20 0 15 0 227941986 11343855616 89387 33554432000 4194304 4196468 140720660180624 139722711024672 139723264659113 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31577] ppid=31511 vsize=11077984 memory=1276 CPUtime=3.32 cores=0,2,4,6
/proc/31514/task/31577/stat : 31577 (java) S 31511 31514 30220 0 -1 1077944384 3620 13177 0 0 324 1 5 2 20 0 15 0 227941986 11343855616 89387 33554432000 4194304 4196468 140720660180624 139722709985776 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31578] ppid=31511 vsize=11077984 memory=1068 CPUtime=2.05 cores=0,2,4,6
/proc/31514/task/31578/stat : 31578 (java) S 31511 31514 30220 0 -1 1077944384 9025 13177 0 0 195 3 5 2 20 0 15 0 227941986 11343855616 89387 33554432000 4194304 4196468 140720660180624 139722708933488 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31579] ppid=31511 vsize=11077984 memory=15064 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31579/stat : 31579 (java) S 31511 31514 30220 0 -1 1077944384 3 13177 0 0 0 0 5 2 20 0 15 0 227941986 11343855616 89387 33554432000 4194304 4196468 140720660180624 139721191713760 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31580] ppid=31511 vsize=11077984 memory=34168 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31580/stat : 31580 (java) S 31511 31514 30220 0 -1 1077944384 74 13177 0 0 0 0 5 2 20 0 15 0 227941986 11343855616 89387 33554432000 4194304 4196468 140720660180624 139722707880368 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
Current children cumulated CPU time: 14.31 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 357548 KiB
[startup+6.00108 s]*
/proc/loadavg: 2.22 1.63 1.48 7/215 31580
/proc/meminfo: memFree=22930840/32770624 swapFree=67108372/67108860
[pid=31514] ppid=31511 vsize=11080032 memory=367572 CPUtime=15.62 cores=0,2,4,6
/proc/31514/stat : 31514 (java) S 31511 31514 30220 0 -1 1077944320 60502 13177 0 0 1532 23 5 2 20 0 15 0 227941971 11345952768 91893 33554432000 4194304 4196468 140720660180624 140720660163168 139723287064311 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
/proc/31514/statm: 2770008 91893 3513 1 0 2731661 0
[pid=31514/tid=31567] ppid=31511 vsize=11080032 memory=4026531863 CPUtime=5.83 cores=0,2,4,6
/proc/31514/task/31567/stat : 31567 (java) S 31511 31514 30220 0 -1 1077944384 36022 13177 0 0 565 11 5 2 20 0 15 0 227941980 11345952768 91893 33554432000 4194304 4196468 140720660180624 139723258891600 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31568] ppid=31511 vsize=11080032 memory=11468 CPUtime=0.13 cores=0,2,4,6
/proc/31514/task/31568/stat : 31568 (java) S 31511 31514 30220 0 -1 1077944384 69 13177 0 0 5 1 5 2 20 0 15 0 227941981 11345952768 91893 33554432000 4194304 4196468 140720660180624 139723291306896 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31569] ppid=31511 vsize=11080032 memory=139921535834837 CPUtime=0.12 cores=0,2,4,6
/proc/31514/task/31569/stat : 31569 (java) S 31511 31514 30220 0 -1 1077944384 252 13177 0 0 5 0 5 2 20 0 15 0 227941981 11345952768 91893 33554432000 4194304 4196468 140720660180624 139723146025744 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31570] ppid=31511 vsize=11080032 memory=6935653653823705168 CPUtime=0.12 cores=0,2,4,6
/proc/31514/task/31570/stat : 31570 (java) S 31511 31514 30220 0 -1 1077944384 64 13177 0 0 5 0 5 2 20 0 15 0 227941981 11345952768 91893 33554432000 4194304 4196468 140720660180624 139723144973456 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31571] ppid=31511 vsize=11080032 memory=3618413826336108597 CPUtime=0.12 cores=0,2,4,6
/proc/31514/task/31571/stat : 31571 (java) S 31511 31514 30220 0 -1 1077944384 112 13177 0 0 5 0 5 2 20 0 15 0 227941981 11345952768 91893 33554432000 4194304 4196468 140720660180624 139723143920656 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31572] ppid=31511 vsize=11080032 memory=139921535469184 CPUtime=0.11 cores=0,2,4,6
/proc/31514/task/31572/stat : 31572 (java) S 31511 31514 30220 0 -1 1077944384 1865 13177 0 0 4 0 5 2 20 0 15 0 227941982 11345952768 91893 33554432000 4194304 4196468 140720660180624 139722712090656 139723287074517 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31573] ppid=31511 vsize=11080032 memory=7649399367135473970 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31573/stat : 31573 (java) S 31511 31514 30220 0 -1 1077944384 15 13177 0 0 0 0 5 2 20 0 15 0 227941983 11345952768 91893 33554432000 4194304 4196468 140720660180624 139722131235680 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31574] ppid=31511 vsize=11080032 memory=6945485628515574865 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31574/stat : 31574 (java) S 31511 31514 30220 0 -1 1077944384 2 13177 0 0 0 0 5 2 20 0 15 0 227941983 11345952768 91893 33554432000 4194304 4196468 140720660180624 139721929909376 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31575] ppid=31511 vsize=11080032 memory=5787233549836903744 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31575/stat : 31575 (java) S 31511 31514 30220 0 -1 1077944384 3 13177 0 0 0 0 5 2 20 0 15 0 227941986 11345952768 91893 33554432000 4194304 4196468 140720660180624 139721622509648 139723287082907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31576] ppid=31511 vsize=11080032 memory=0 CPUtime=3.75 cores=0,2,4,6
/proc/31514/task/31576/stat : 31576 (java) R 31511 31514 30220 0 -1 4202560 6343 13177 0 0 367 1 5 2 20 0 15 0 227941986 11345952768 91893 33554432000 4194304 4196468 140720660180624 139722711026576 139723266408650 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31577] ppid=31511 vsize=11080032 memory=4051040852741009462 CPUtime=3.69 cores=0,2,4,6
/proc/31514/task/31577/stat : 31577 (java) S 31511 31514 30220 0 -1 1077944384 4219 13177 0 0 361 1 5 2 20 0 15 0 227941986 11345952768 91893 33554432000 4194304 4196468 140720660180624 139722709969872 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31578] ppid=31511 vsize=11080032 memory=3760699624707406004 CPUtime=2.21 cores=0,2,4,6
/proc/31514/task/31578/stat : 31578 (java) S 31511 31514 30220 0 -1 1077944384 9266 13177 0 0 210 4 5 2 20 0 15 0 227941986 11345952768 91893 33554432000 4194304 4196468 140720660180624 139722708933488 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31579] ppid=31511 vsize=11080032 memory=3905528189679579167 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31579/stat : 31579 (java) S 31511 31514 30220 0 -1 1077944384 3 13177 0 0 0 0 5 2 20 0 15 0 227941986 11345952768 91893 33554432000 4194304 4196468 140720660180624 139721191713760 139723287074517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
[pid=31514/tid=31580] ppid=31511 vsize=11080032 memory=3474163664727193268 CPUtime=0.07 cores=0,2,4,6
/proc/31514/task/31580/stat : 31580 (java) S 31511 31514 30220 0 -1 1077944384 74 13177 0 0 0 0 5 2 20 0 15 0 227941986 11345952768 91893 33554432000 4194304 4196468 140720660180624 139722707880368 139723287075458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10440704 140720660183660 140720660186460 140720660186460 140720660189135 0
Current children cumulated CPU time: 15.62 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 367572 KiB
Child status: 0
Real time (s): 6.09357
CPU time (s): 15.8274
CPU user time (s): 15.5472
CPU system time (s): 0.28015
CPU usage (%): 259.738
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 367572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.5472
system time used= 0.28015
maximum resident set size= 371064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74174
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7460
involuntary context switches= 69
# summary of solver processes directly reported to runsolver:
# pid: 31514
# total CPU time (s): 15.8274
# total CPU user time (s): 15.5472
# total CPU system time (s): 0.28015
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.061871 second user time and 0.099532 second system time
The end