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 (11102 MiB free)
memory of node 1: 16384 MiB (10067 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292058-1532265883/watcher-4292058-1532265883 -o /tmp/evaluation-result-4292058-1532265883/solver-4292058-1532265883 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532257777-913 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4292058-1532265883.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=1983, runsolver pid=1980
[startup+0.100121 s]*
/proc/loadavg: 4.40 4.21 3.51 3/217 1998
/proc/meminfo: memFree=21659212/32770624 swapFree=67108860/67108860
[pid=1983] ppid=1980 vsize=10659012 memory=31488 CPUtime=0.12 cores=0,2,4,6
/proc/1983/stat : 1983 (java) S 1980 1983 877 0 -1 1077944320 6437 0 0 0 11 1 0 0 20 0 15 0 44151520 10914828288 7872 33554432000 4194304 4196468 140727872617168 140727872599712 140482166501111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
/proc/1983/statm: 2664753 7872 2840 1 0 2627263 0
[pid=1983/tid=1985] ppid=1980 vsize=10659012 memory=7970124041166878227 CPUtime=0.09 cores=0,2,4,6
/proc/1983/task/1985/stat : 1985 (java) R 1980 1983 877 0 -1 4202560 4271 0 0 0 8 1 0 0 20 0 15 0 44151520 10914828288 7872 33554432000 4194304 4196468 140727872617168 140482170730512 140482150581598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1986] ppid=1980 vsize=10659012 memory=-7001736328920018669 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1986/stat : 1986 (java) S 1980 1983 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44151521 10914828288 7872 33554432000 4194304 4196468 140727872617168 140482092574992 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1987] ppid=1980 vsize=10659012 memory=140333844563584 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1987/stat : 1987 (java) S 1980 1983 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44151521 10914828288 7872 33554432000 4194304 4196468 140727872617168 140482091522448 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1988] ppid=1980 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1988/stat : 1988 (java) S 1980 1983 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44151521 10914828288 7872 33554432000 4194304 4196468 140727872617168 140482090469904 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1989] ppid=1980 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1989/stat : 1989 (java) S 1980 1983 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44151521 10914828288 7872 33554432000 4194304 4196468 140727872617168 140482089417360 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1990] ppid=1980 vsize=10659012 memory=140333844563584 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1990/stat : 1990 (java) S 1980 1983 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44151523 10914828288 7872 33554432000 4194304 4196468 140727872617168 140481658833392 140482166512258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1991] ppid=1980 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1991/stat : 1991 (java) S 1980 1983 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44151523 10914828288 7872 33554432000 4194304 4196468 140727872617168 140481657779616 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1992] ppid=1980 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1992/stat : 1992 (java) S 1980 1983 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44151523 10914828288 7872 33554432000 4194304 4196468 140727872617168 140481656727024 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1993] ppid=1980 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1993/stat : 1993 (java) S 1980 1983 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44151525 10914828288 7872 33554432000 4194304 4196468 140727872617168 140481655675600 140482166519707 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1994] ppid=1980 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1994/stat : 1994 (java) S 1980 1983 877 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 44151525 10914828288 7872 33554432000 4194304 4196468 140727872617168 140481654622192 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1995] ppid=1980 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1995/stat : 1995 (java) S 1980 1983 877 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 15 0 44151525 10914828288 7872 33554432000 4194304 4196468 140727872617168 140481653569648 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1996] ppid=1980 vsize=10659012 memory=140333844563584 CPUtime=0.02 cores=0,2,4,6
/proc/1983/task/1996/stat : 1996 (java) S 1980 1983 877 0 -1 1077944384 343 0 0 0 2 0 0 0 20 0 15 0 44151525 10914828288 7872 33554432000 4194304 4196468 140727872617168 140481652517104 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1997] ppid=1980 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1997/stat : 1997 (java) S 1980 1983 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44151526 10914828288 7872 33554432000 4194304 4196468 140727872617168 140481651464800 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1998] ppid=1980 vsize=10659012 memory=140333844563584 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1998/stat : 1998 (java) S 1980 1983 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44151526 10914828288 7872 33554432000 4194304 4196468 140727872617168 140481650412336 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31488 KiB
[startup+0.21068 s]*
/proc/loadavg: 4.40 4.21 3.51 4/217 1998
/proc/meminfo: memFree=21647540/32770624 swapFree=67108860/67108860
[pid=1983] ppid=1980 vsize=10659012 memory=42220 CPUtime=0.33 cores=0,2,4,6
/proc/1983/stat : 1983 (java) S 1980 1983 877 0 -1 1077944320 7647 0 0 0 31 2 0 0 20 0 15 0 44151520 10914828288 10555 33554432000 4194304 4196468 140727872617168 140727872599712 140482166501111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
/proc/1983/statm: 2664753 10555 3003 1 0 2627263 0
[pid=1983/tid=1985] ppid=1980 vsize=10659012 memory=7970124041166878227 CPUtime=0.2 cores=0,2,4,6
/proc/1983/task/1985/stat : 1985 (java) R 1980 1983 877 0 -1 4202560 4620 0 0 0 19 1 0 0 20 0 15 0 44151520 10914828288 10555 33554432000 4194304 4196468 140727872617168 140482170737392 140482166513046 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1986] ppid=1980 vsize=10659012 memory=-7001736328920018669 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1986/stat : 1986 (java) S 1980 1983 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44151521 10914828288 10555 33554432000 4194304 4196468 140727872617168 140482092574992 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1987] ppid=1980 vsize=10659012 memory=140333844563584 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1987/stat : 1987 (java) S 1980 1983 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44151521 10914828288 10555 33554432000 4194304 4196468 140727872617168 140482091522448 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1988] ppid=1980 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1988/stat : 1988 (java) S 1980 1983 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44151521 10914828288 10555 33554432000 4194304 4196468 140727872617168 140482090469904 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1989] ppid=1980 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1989/stat : 1989 (java) S 1980 1983 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44151521 10914828288 10555 33554432000 4194304 4196468 140727872617168 140482089417360 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1990] ppid=1980 vsize=10659012 memory=140333844563584 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1990/stat : 1990 (java) S 1980 1983 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44151523 10914828288 10555 33554432000 4194304 4196468 140727872617168 140481658833392 140482166512258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1991] ppid=1980 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1991/stat : 1991 (java) S 1980 1983 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44151523 10914828288 10555 33554432000 4194304 4196468 140727872617168 140481657779616 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1992] ppid=1980 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1992/stat : 1992 (java) S 1980 1983 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44151523 10914828288 10555 33554432000 4194304 4196468 140727872617168 140481656727024 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1993] ppid=1980 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1993/stat : 1993 (java) S 1980 1983 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44151525 10914828288 10555 33554432000 4194304 4196468 140727872617168 140481655675600 140482166519707 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1994] ppid=1980 vsize=10659012 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1983/task/1994/stat : 1994 (java) S 1980 1983 877 0 -1 1077944384 555 0 0 0 1 0 0 0 20 0 15 0 44151525 10914828288 10555 33554432000 4194304 4196468 140727872617168 140481654622192 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1995] ppid=1980 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/1983/task/1995/stat : 1995 (java) S 1980 1983 877 0 -1 1077944384 444 0 0 0 2 0 0 0 20 0 15 0 44151525 10914828288 10555 33554432000 4194304 4196468 140727872617168 140481653569648 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1996] ppid=1980 vsize=10659012 memory=140333844563584 CPUtime=0.07 cores=0,2,4,6
/proc/1983/task/1996/stat : 1996 (java) R 1980 1983 877 0 -1 4202560 669 0 0 0 7 0 0 0 20 0 15 0 44151525 10914828288 10555 33554432000 4194304 4196468 140727872617168 140481652517104 140482166522458 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1997] ppid=1980 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1997/stat : 1997 (java) S 1980 1983 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44151526 10914828288 10555 33554432000 4194304 4196468 140727872617168 140481651464800 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1998] ppid=1980 vsize=10659012 memory=140333844563584 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1998/stat : 1998 (java) S 1980 1983 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44151526 10914828288 10555 33554432000 4194304 4196468 140727872617168 140481650412336 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42220 KiB
[startup+0.31081 s]*
/proc/loadavg: 4.40 4.21 3.51 6/217 1998
/proc/meminfo: memFree=21643136/32770624 swapFree=67108860/67108860
[pid=1983] ppid=1980 vsize=10659088 memory=47648 CPUtime=0.54 cores=0,2,4,6
/proc/1983/stat : 1983 (java) S 1980 1983 877 0 -1 1077944320 8461 0 0 0 52 2 0 0 20 0 15 0 44151520 10914906112 11912 33554432000 4194304 4196468 140727872617168 140727872599712 140482166501111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
/proc/1983/statm: 2664772 11912 3053 1 0 2627263 0
[pid=1983/tid=1985] ppid=1980 vsize=10659088 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/1983/task/1985/stat : 1985 (java) R 1980 1983 877 0 -1 4202560 5130 0 0 0 29 1 0 0 20 0 15 0 44151520 10914906112 11954 33554432000 4194304 4196468 140727872617168 140482170732208 140482150544741 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1986] ppid=1980 vsize=10659088 memory=140337989385455 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1986/stat : 1986 (java) S 1980 1983 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44151521 10914906112 11954 33554432000 4194304 4196468 140727872617168 140482092574992 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1987] ppid=1980 vsize=10659088 memory=140333844563584 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1987/stat : 1987 (java) S 1980 1983 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44151521 10914906112 11954 33554432000 4194304 4196468 140727872617168 140482091522448 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1988] ppid=1980 vsize=10659088 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1988/stat : 1988 (java) S 1980 1983 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44151521 10914906112 11954 33554432000 4194304 4196468 140727872617168 140482090469904 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1989] ppid=1980 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1989/stat : 1989 (java) S 1980 1983 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44151521 10914906112 11954 33554432000 4194304 4196468 140727872617168 140482089417360 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1990] ppid=1980 vsize=10659088 memory=140333844563584 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1990/stat : 1990 (java) S 1980 1983 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44151523 10914906112 11954 33554432000 4194304 4196468 140727872617168 140481658833392 140482166512258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1991] ppid=1980 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1991/stat : 1991 (java) S 1980 1983 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44151523 10914906112 11954 33554432000 4194304 4196468 140727872617168 140481657779616 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1992] ppid=1980 vsize=10659088 memory=280667388871408 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1992/stat : 1992 (java) S 1980 1983 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44151523 10914906112 11954 33554432000 4194304 4196468 140727872617168 140481656727024 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1993] ppid=1980 vsize=10659088 memory=2273 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1993/stat : 1993 (java) S 1980 1983 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44151525 10914906112 11954 33554432000 4194304 4196468 140727872617168 140481655675600 140482166519707 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1994] ppid=1980 vsize=10659088 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/1983/task/1994/stat : 1994 (java) S 1980 1983 877 0 -1 1077944384 618 0 0 0 5 0 0 0 20 0 15 0 44151525 10914906112 11954 33554432000 4194304 4196468 140727872617168 140481654622192 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1995] ppid=1980 vsize=10659088 memory=140333694457407 CPUtime=0.05 cores=0,2,4,6
/proc/1983/task/1995/stat : 1995 (java) R 1980 1983 877 0 -1 4202560 607 0 0 0 5 0 0 0 20 0 15 0 44151525 10914906112 11954 33554432000 4194304 4196468 140727872617168 140481653551216 140482148020880 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1996] ppid=1980 vsize=10659088 memory=140333844563584 CPUtime=0.12 cores=0,2,4,6
/proc/1983/task/1996/stat : 1996 (java) S 1980 1983 877 0 -1 1077944384 747 0 0 0 12 0 0 0 20 0 15 0 44151525 10914906112 11954 33554432000 4194304 4196468 140727872617168 140481652517104 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1997] ppid=1980 vsize=10659088 memory=140333694462575 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1997/stat : 1997 (java) S 1980 1983 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44151526 10914906112 11954 33554432000 4194304 4196468 140727872617168 140481651464800 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1998] ppid=1980 vsize=10659088 memory=140333888715104 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1998/stat : 1998 (java) S 1980 1983 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44151526 10914906112 11954 33554432000 4194304 4196468 140727872617168 140481650412336 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47648 KiB
[startup+0.701015 s]
/proc/loadavg: 4.40 4.21 3.51 5/217 1998
/proc/meminfo: memFree=21593672/32770624 swapFree=67108860/67108860
[pid=1983] ppid=1980 vsize=10659088 memory=133500 CPUtime=1.79 cores=0,2,4,6
/proc/1983/stat : 1983 (java) S 1980 1983 877 0 -1 1077944320 11157 0 0 0 175 4 0 0 20 0 15 0 44151520 10914906112 33375 33554432000 4194304 4196468 140727872617168 140727872599712 140482166501111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
/proc/1983/statm: 2664772 33375 3108 1 0 2627263 0
[pid=1983/tid=1985] ppid=1980 vsize=10659088 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/1983/task/1985/stat : 1985 (java) R 1980 1983 877 0 -1 4202560 5572 0 0 0 65 2 0 0 20 0 15 0 44151520 10914906112 33375 33554432000 4194304 4196468 140727872617168 140482170734032 140481756787931 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1986] ppid=1980 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1986/stat : 1986 (java) S 1980 1983 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44151521 10914906112 33375 33554432000 4194304 4196468 140727872617168 140482092574992 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1987] ppid=1980 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1987/stat : 1987 (java) S 1980 1983 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44151521 10914906112 33375 33554432000 4194304 4196468 140727872617168 140482091522448 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1988] ppid=1980 vsize=10659088 memory=148880679246629 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1988/stat : 1988 (java) S 1980 1983 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44151521 10914906112 33375 33554432000 4194304 4196468 140727872617168 140482090469904 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1989] ppid=1980 vsize=10659088 memory=247536 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1989/stat : 1989 (java) S 1980 1983 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 44151521 10914906112 33375 33554432000 4194304 4196468 140727872617168 140482089417360 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1990] ppid=1980 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1990/stat : 1990 (java) S 1980 1983 877 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 44151523 10914906112 33375 33554432000 4194304 4196468 140727872617168 140481658833392 140482166512258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1991] ppid=1980 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1991/stat : 1991 (java) S 1980 1983 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 44151523 10914906112 33375 33554432000 4194304 4196468 140727872617168 140481657779616 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1992] ppid=1980 vsize=10659088 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1992/stat : 1992 (java) S 1980 1983 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 44151523 10914906112 33375 33554432000 4194304 4196468 140727872617168 140481656727024 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1993] ppid=1980 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1993/stat : 1993 (java) S 1980 1983 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44151525 10914906112 33375 33554432000 4194304 4196468 140727872617168 140481655675600 140482166519707 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1994] ppid=1980 vsize=10659088 memory=9049869770540351661 CPUtime=0.4 cores=0,2,4,6
/proc/1983/task/1994/stat : 1994 (java) R 1980 1983 877 0 -1 4202560 1343 0 0 0 40 0 0 0 20 0 15 0 44151525 10914906112 33375 33554432000 4194304 4196468 140727872617168 140481654611184 140482159600958 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1995] ppid=1980 vsize=10659088 memory=6943526294502006880 CPUtime=0.4 cores=0,2,4,6
/proc/1983/task/1995/stat : 1995 (java) R 1980 1983 877 0 -1 4202560 1453 0 0 0 40 0 0 0 20 0 15 0 44151525 10914906112 33375 33554432000 4194304 4196468 140727872617168 140481653569648 140482151624734 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1996] ppid=1980 vsize=10659088 memory=6944656592455360604 CPUtime=0.27 cores=0,2,4,6
/proc/1983/task/1996/stat : 1996 (java) S 1980 1983 877 0 -1 1077944384 1420 0 0 0 27 0 0 0 20 0 15 0 44151525 10914906112 33375 33554432000 4194304 4196468 140727872617168 140481652517104 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1997] ppid=1980 vsize=10659088 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1997/stat : 1997 (java) S 1980 1983 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 44151526 10914906112 33375 33554432000 4194304 4196468 140727872617168 140481651464800 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1998] ppid=1980 vsize=10659088 memory=-7357787915995474596 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1998/stat : 1998 (java) S 1980 1983 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 44151526 10914906112 33375 33554432000 4194304 4196468 140727872617168 140481650412336 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 133500 KiB
[startup+1.50681 s]
/proc/loadavg: 4.40 4.21 3.51 5/217 1998
/proc/meminfo: memFree=21464728/32770624 swapFree=67108860/67108860
[pid=1983] ppid=1980 vsize=10659088 memory=291648 CPUtime=4.32 cores=0,2,4,6
/proc/1983/stat : 1983 (java) S 1980 1983 877 0 -1 1077944320 22510 0 0 0 421 11 0 0 20 0 15 0 44151520 10914906112 72912 33554432000 4194304 4196468 140727872617168 140727872599712 140482166501111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
/proc/1983/statm: 2664772 72912 3139 1 0 2627263 0
[pid=1983/tid=1985] ppid=1980 vsize=10659088 memory=274580 CPUtime=1.39 cores=0,2,4,6
/proc/1983/task/1985/stat : 1985 (java) R 1980 1983 877 0 -1 4202560 5618 0 0 0 136 3 0 0 20 0 15 0 44151520 10914906112 72912 33554432000 4194304 4196468 140727872617168 140482170735800 140481757066319 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1986] ppid=1980 vsize=10659088 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1983/task/1986/stat : 1986 (java) S 1980 1983 877 0 -1 1077944384 150 0 0 0 6 1 0 0 20 0 15 0 44151521 10914906112 72912 33554432000 4194304 4196468 140727872617168 140482092574992 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1987] ppid=1980 vsize=10659088 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/1983/task/1987/stat : 1987 (java) S 1980 1983 877 0 -1 1077944384 128 0 0 0 6 1 0 0 20 0 15 0 44151521 10914906112 72912 33554432000 4194304 4196468 140727872617168 140482091522448 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1988] ppid=1980 vsize=10659088 memory=55 CPUtime=0.03 cores=0,2,4,6
/proc/1983/task/1988/stat : 1988 (java) S 1980 1983 877 0 -1 1077944384 123 0 0 0 3 0 0 0 20 0 15 0 44151521 10914906112 72912 33554432000 4194304 4196468 140727872617168 140482090469904 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1989] ppid=1980 vsize=10659088 memory=12898 CPUtime=0.05 cores=0,2,4,6
/proc/1983/task/1989/stat : 1989 (java) S 1980 1983 877 0 -1 1077944384 42 0 0 0 4 1 0 0 20 0 15 0 44151521 10914906112 72912 33554432000 4194304 4196468 140727872617168 140482089417360 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1990] ppid=1980 vsize=10659088 memory=20674 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1990/stat : 1990 (java) S 1980 1983 877 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 44151523 10914906112 72912 33554432000 4194304 4196468 140727872617168 140481658833392 140482166512258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
################
# More data... #
################
/proc/1983/task/1990/stat : 1990 (java) S 1980 1983 877 0 -1 1077944384 17333 0 0 0 183 4 0 0 20 0 16 0 44151523 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140481658833392 140482166512258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1991] ppid=1980 vsize=10727700 memory=4168536 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1991/stat : 1991 (java) S 1980 1983 877 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 44151523 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140481657779680 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1992] ppid=1980 vsize=10727700 memory=4168536 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1992/stat : 1992 (java) S 1980 1983 877 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 44151523 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140481656727040 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1993] ppid=1980 vsize=10727700 memory=4168536 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1993/stat : 1993 (java) S 1980 1983 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44151525 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140481655675600 140482166519707 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1994] ppid=1980 vsize=10727700 memory=4140 CPUtime=3.22 cores=0,2,4,6
/proc/1983/task/1994/stat : 1994 (java) S 1980 1983 877 0 -1 1077944384 17787 0 0 0 320 2 0 0 20 0 16 0 44151525 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140481654622192 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1995] ppid=1980 vsize=10727700 memory=4168536 CPUtime=3.27 cores=0,2,4,6
/proc/1983/task/1995/stat : 1995 (java) S 1980 1983 877 0 -1 1077944384 16521 0 0 0 324 3 0 0 20 0 16 0 44151525 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140481653569648 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1996] ppid=1980 vsize=10727700 memory=4168536 CPUtime=0.57 cores=0,2,4,6
/proc/1983/task/1996/stat : 1996 (java) S 1980 1983 877 0 -1 1077944384 8164 0 0 0 55 2 0 0 20 0 16 0 44151525 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140481652517104 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1997] ppid=1980 vsize=10727700 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1997/stat : 1997 (java) S 1980 1983 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44151526 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140481651464800 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1998] ppid=1980 vsize=10727700 memory=15012 CPUtime=1.48 cores=0,2,4,6
/proc/1983/task/1998/stat : 1998 (java) S 1980 1983 877 0 -1 1077944384 2167 0 0 0 73 75 0 0 20 0 16 0 44151526 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140481650412336 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1999] ppid=1980 vsize=10727700 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1999/stat : 1999 (java) S 1980 1983 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 44152123 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140481647260976 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
Current children cumulated CPU time: 2291.5 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 4168536 KiB
[startup+2322.3 s]
/proc/loadavg: 2.07 2.16 2.22 3/217 2196
/proc/meminfo: memFree=18333168/32770624 swapFree=67108860/67108860
[pid=1983] ppid=1980 vsize=10727700 memory=4168536 CPUtime=2351.55 cores=0,2,4,6
/proc/1983/stat : 1983 (java) S 1980 1983 877 0 -1 1077944320 195389 0 0 0 234702 453 0 0 20 0 16 0 44151520 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140727872599712 140482166501111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
/proc/1983/statm: 2681925 1042134 3191 1 0 2644416 0
[pid=1983/tid=1985] ppid=1980 vsize=10727700 memory=4168536 CPUtime=2313.35 cores=0,2,4,6
/proc/1983/task/1985/stat : 1985 (java) R 1980 1983 877 0 -1 4202560 89996 0 0 0 231309 26 0 0 20 0 16 0 44151520 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140482170739744 140481753589611 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1986] ppid=1980 vsize=10727700 memory=8112282956445269571 CPUtime=6.9 cores=0,2,4,6
/proc/1983/task/1986/stat : 1986 (java) S 1980 1983 877 0 -1 1077944384 10884 0 0 0 601 89 0 0 20 0 16 0 44151521 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140482092574992 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1987] ppid=1980 vsize=10727700 memory=4168536 CPUtime=6.94 cores=0,2,4,6
/proc/1983/task/1987/stat : 1987 (java) S 1980 1983 877 0 -1 1077944384 10928 0 0 0 607 87 0 0 20 0 16 0 44151521 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140482091522448 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1988] ppid=1980 vsize=10727700 memory=4168536 CPUtime=6.86 cores=0,2,4,6
/proc/1983/task/1988/stat : 1988 (java) S 1980 1983 877 0 -1 1077944384 10153 0 0 0 597 89 0 0 20 0 16 0 44151521 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140482090469904 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1989] ppid=1980 vsize=10727700 memory=4168536 CPUtime=6.95 cores=0,2,4,6
/proc/1983/task/1989/stat : 1989 (java) S 1980 1983 877 0 -1 1077944384 9896 0 0 0 606 89 0 0 20 0 16 0 44151521 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140482089417360 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1990] ppid=1980 vsize=10727700 memory=4168536 CPUtime=1.87 cores=0,2,4,6
/proc/1983/task/1990/stat : 1990 (java) S 1980 1983 877 0 -1 1077944384 17348 0 0 0 183 4 0 0 20 0 16 0 44151523 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140481658833392 140482166512258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1991] ppid=1980 vsize=10727700 memory=4168536 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1991/stat : 1991 (java) S 1980 1983 877 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 44151523 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140481657779680 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1992] ppid=1980 vsize=10727700 memory=4168536 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1992/stat : 1992 (java) S 1980 1983 877 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 44151523 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140481656727040 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1993] ppid=1980 vsize=10727700 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1993/stat : 1993 (java) S 1980 1983 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44151525 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140481655675600 140482166519707 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1994] ppid=1980 vsize=10727700 memory=2340 CPUtime=3.22 cores=0,2,4,6
/proc/1983/task/1994/stat : 1994 (java) S 1980 1983 877 0 -1 1077944384 17796 0 0 0 320 2 0 0 20 0 16 0 44151525 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140481654622192 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1995] ppid=1980 vsize=10727700 memory=4168536 CPUtime=3.27 cores=0,2,4,6
/proc/1983/task/1995/stat : 1995 (java) S 1980 1983 877 0 -1 1077944384 16534 0 0 0 324 3 0 0 20 0 16 0 44151525 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140481653569648 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1996] ppid=1980 vsize=10727700 memory=18484 CPUtime=0.57 cores=0,2,4,6
/proc/1983/task/1996/stat : 1996 (java) S 1980 1983 877 0 -1 1077944384 8178 0 0 0 55 2 0 0 20 0 16 0 44151525 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140481652517104 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1997] ppid=1980 vsize=10727700 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1997/stat : 1997 (java) S 1980 1983 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44151526 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140481651464800 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1998] ppid=1980 vsize=10727700 memory=1196 CPUtime=1.52 cores=0,2,4,6
/proc/1983/task/1998/stat : 1998 (java) S 1980 1983 877 0 -1 1077944384 2242 0 0 0 75 77 0 0 20 0 16 0 44151526 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140481650412336 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1999] ppid=1980 vsize=10727700 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1999/stat : 1999 (java) S 1980 1983 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 44152123 10985164800 1042134 33554432000 4194304 4196468 140727872617168 140481647260976 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
Current children cumulated CPU time: 2351.55 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 4168536 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2370.8 s]
/proc/loadavg: 2.03 2.13 2.21 3/217 2197
/proc/meminfo: memFree=18332288/32770624 swapFree=67108860/67108860
[pid=1983] ppid=1980 vsize=10727700 memory=4168616 CPUtime=2400.09 cores=0,2,4,6
/proc/1983/stat : 1983 (java) S 1980 1983 877 0 -1 1077944320 198368 0 0 0 239554 455 0 0 20 0 16 0 44151520 10985164800 1042154 33554432000 4194304 4196468 140727872617168 140727872599712 140482166501111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
/proc/1983/statm: 2681925 1042154 3191 1 0 2644416 0
[pid=1983/tid=1985] ppid=1980 vsize=10727700 memory=288230621803970871 CPUtime=2361.85 cores=0,2,4,6
/proc/1983/task/1985/stat : 1985 (java) R 1980 1983 877 0 -1 4202560 92843 0 0 0 236159 26 0 0 20 0 16 0 44151520 10985164800 1042154 33554432000 4194304 4196468 140727872617168 140482170739744 140481759601261 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1986] ppid=1980 vsize=10727700 memory=16097061506385263 CPUtime=6.9 cores=0,2,4,6
/proc/1983/task/1986/stat : 1986 (java) S 1980 1983 877 0 -1 1077944384 10884 0 0 0 601 89 0 0 20 0 16 0 44151521 10985164800 1042154 33554432000 4194304 4196468 140727872617168 140482092574992 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1987] ppid=1980 vsize=10727700 memory=916 CPUtime=6.94 cores=0,2,4,6
/proc/1983/task/1987/stat : 1987 (java) S 1980 1983 877 0 -1 1077944384 10928 0 0 0 607 87 0 0 20 0 16 0 44151521 10985164800 1042154 33554432000 4194304 4196468 140727872617168 140482091522448 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1988] ppid=1980 vsize=10727700 memory=3848 CPUtime=6.86 cores=0,2,4,6
/proc/1983/task/1988/stat : 1988 (java) S 1980 1983 877 0 -1 1077944384 10153 0 0 0 597 89 0 0 20 0 16 0 44151521 10985164800 1042154 33554432000 4194304 4196468 140727872617168 140482090469904 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1989] ppid=1980 vsize=10727700 memory=2872 CPUtime=6.95 cores=0,2,4,6
/proc/1983/task/1989/stat : 1989 (java) S 1980 1983 877 0 -1 1077944384 9896 0 0 0 606 89 0 0 20 0 16 0 44151521 10985164800 1042154 33554432000 4194304 4196468 140727872617168 140482089417360 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1990] ppid=1980 vsize=10727700 memory=2612 CPUtime=1.87 cores=0,2,4,6
/proc/1983/task/1990/stat : 1990 (java) S 1980 1983 877 0 -1 1077944384 17366 0 0 0 183 4 0 0 20 0 16 0 44151523 10985164800 1042154 33554432000 4194304 4196468 140727872617168 140481658833392 140482166512258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1991] ppid=1980 vsize=10727700 memory=644 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1991/stat : 1991 (java) S 1980 1983 877 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 44151523 10985164800 1042154 33554432000 4194304 4196468 140727872617168 140481657779680 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1992] ppid=1980 vsize=10727700 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1992/stat : 1992 (java) S 1980 1983 877 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 16 0 44151523 10985164800 1042154 33554432000 4194304 4196468 140727872617168 140481656727040 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1993] ppid=1980 vsize=10727700 memory=952 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1993/stat : 1993 (java) S 1980 1983 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44151525 10985164800 1042154 33554432000 4194304 4196468 140727872617168 140481655675600 140482166519707 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1994] ppid=1980 vsize=10727700 memory=1240 CPUtime=3.22 cores=0,2,4,6
/proc/1983/task/1994/stat : 1994 (java) S 1980 1983 877 0 -1 1077944384 17802 0 0 0 320 2 0 0 20 0 16 0 44151525 10985164800 1042154 33554432000 4194304 4196468 140727872617168 140481654622192 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1995] ppid=1980 vsize=10727700 memory=2340 CPUtime=3.27 cores=0,2,4,6
/proc/1983/task/1995/stat : 1995 (java) S 1980 1983 877 0 -1 1077944384 16540 0 0 0 324 3 0 0 20 0 16 0 44151525 10985164800 1042154 33554432000 4194304 4196468 140727872617168 140481653569648 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1996] ppid=1980 vsize=10727700 memory=4100 CPUtime=0.57 cores=0,2,4,6
/proc/1983/task/1996/stat : 1996 (java) S 1980 1983 877 0 -1 1077944384 8206 0 0 0 55 2 0 0 20 0 16 0 44151525 10985164800 1042154 33554432000 4194304 4196468 140727872617168 140481652517104 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1997] ppid=1980 vsize=10727700 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1997/stat : 1997 (java) S 1980 1983 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 44151526 10985164800 1042154 33554432000 4194304 4196468 140727872617168 140481651464800 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1998] ppid=1980 vsize=10727700 memory=-7522837583129502606 CPUtime=1.55 cores=0,2,4,6
/proc/1983/task/1998/stat : 1998 (java) S 1980 1983 877 0 -1 1077944384 2316 0 0 0 76 79 0 0 20 0 16 0 44151526 10985164800 1042154 33554432000 4194304 4196468 140727872617168 140481650412336 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1999] ppid=1980 vsize=10727700 memory=6944613755445342871 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1999/stat : 1999 (java) S 1980 1983 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 44152123 10985164800 1042154 33554432000 4194304 4196468 140727872617168 140481647260976 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 4168616 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2371.04 s]
# the end of solver process 1983 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.68 s, system=4.57888 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2371 s]*
/proc/loadavg: 2.03 2.13 2.21 2/218 2200
/proc/meminfo: memFree=18332288/32770624 swapFree=67108860/67108860
[pid=1983] ppid=1980 vsize=10927392 memory=4168940 CPUtime=2400.22 cores=0,2,4,6
/proc/1983/stat : 1983 (java) S 1980 1983 877 0 -1 1077944320 200590 0 0 0 239567 455 0 0 20 0 17 0 44151520 11189649408 1042235 33554432000 4194304 4196468 140727872617168 140727872599712 140482166501111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
/proc/1983/statm: 2731848 1042235 3193 1 0 2694339 0
[pid=1983/tid=1985] ppid=1980 vsize=10927392 memory=1399051139730258233 CPUtime=2361.97 cores=0,2,4,6
/proc/1983/task/1985/stat : 1985 (java) S 1980 1983 877 0 -1 1077944384 93326 0 0 0 236171 26 0 0 20 0 17 0 44151520 11189649408 1042240 33554432000 4194304 4196468 140727872617168 140482170743984 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1986] ppid=1980 vsize=10927392 memory=-7003737579269690708 CPUtime=6.9 cores=0,2,4,6
/proc/1983/task/1986/stat : 1986 (java) S 1980 1983 877 0 -1 1077944384 10884 0 0 0 601 89 0 0 20 0 17 0 44151521 11189649408 1042240 33554432000 4194304 4196468 140727872617168 140482092574992 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1987] ppid=1980 vsize=10927392 memory=1788 CPUtime=6.94 cores=0,2,4,6
/proc/1983/task/1987/stat : 1987 (java) S 1980 1983 877 0 -1 1077944384 10928 0 0 0 607 87 0 0 20 0 17 0 44151521 11189649408 1042240 33554432000 4194304 4196468 140727872617168 140482091522448 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1988] ppid=1980 vsize=10927392 memory=952 CPUtime=6.86 cores=0,2,4,6
/proc/1983/task/1988/stat : 1988 (java) S 1980 1983 877 0 -1 1077944384 10153 0 0 0 597 89 0 0 20 0 17 0 44151521 11189649408 1042240 33554432000 4194304 4196468 140727872617168 140482090469904 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1989] ppid=1980 vsize=10927392 memory=1240 CPUtime=6.95 cores=0,2,4,6
/proc/1983/task/1989/stat : 1989 (java) S 1980 1983 877 0 -1 1077944384 9896 0 0 0 606 89 0 0 20 0 17 0 44151521 11189649408 1042240 33554432000 4194304 4196468 140727872617168 140482089417360 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1990] ppid=1980 vsize=10927392 memory=2340 CPUtime=1.87 cores=0,2,4,6
/proc/1983/task/1990/stat : 1990 (java) S 1980 1983 877 0 -1 1077944384 17425 0 0 0 183 4 0 0 20 0 17 0 44151523 11189649408 1042240 33554432000 4194304 4196468 140727872617168 140481658833392 140482166512258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1991] ppid=1980 vsize=10927392 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1991/stat : 1991 (java) S 1980 1983 877 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 17 0 44151523 11189649408 1042240 33554432000 4194304 4196468 140727872617168 140481657779680 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1992] ppid=1980 vsize=10927392 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1992/stat : 1992 (java) S 1980 1983 877 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 17 0 44151523 11189649408 1042240 33554432000 4194304 4196468 140727872617168 140481656727040 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1993] ppid=1980 vsize=10927392 memory=928 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1993/stat : 1993 (java) S 1980 1983 877 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 17 0 44151525 11189649408 1042240 33554432000 4194304 4196468 140727872617168 140481655675600 140482166519707 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1994] ppid=1980 vsize=10927392 memory=1408 CPUtime=3.23 cores=0,2,4,6
/proc/1983/task/1994/stat : 1994 (java) R 1980 1983 877 0 -1 4202560 18005 0 0 0 321 2 0 0 20 0 17 0 44151525 11189649408 1042240 33554432000 4194304 4196468 140727872617168 140481654622192 140482158790493 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1995] ppid=1980 vsize=10927392 memory=3248 CPUtime=3.27 cores=0,2,4,6
/proc/1983/task/1995/stat : 1995 (java) R 1980 1983 877 0 -1 4202560 16682 0 0 0 324 3 0 0 20 0 17 0 44151525 11189649408 1042240 33554432000 4194304 4196468 140727872617168 140481653569648 140482145834901 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1996] ppid=1980 vsize=10927392 memory=4168616 CPUtime=0.58 cores=0,2,4,6
/proc/1983/task/1996/stat : 1996 (java) R 1980 1983 877 0 -1 1077944384 8991 0 0 0 56 2 0 0 20 0 17 0 44151525 11189649408 1042240 33554432000 4194304 4196468 140727872617168 140481652517104 140482166512258 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1997] ppid=1980 vsize=10927392 memory=1404 CPUtime=0 cores=0,2,4,6
/proc/1983/task/1997/stat : 1997 (java) S 1980 1983 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 44151526 11189649408 1042240 33554432000 4194304 4196468 140727872617168 140481651464800 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=1998] ppid=1980 vsize=10927392 memory=3240 CPUtime=1.56 cores=0,2,4,6
/proc/1983/task/1998/stat : 1998 (java) S 1980 1983 877 0 -1 1077944384 2316 0 0 0 76 80 0 0 20 0 17 0 44151526 11189649408 1042240 33554432000 4194304 4196468 140727872617168 140481650412336 140482166512258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=2198] ppid=1980 vsize=10927392 memory=1042364 CPUtime=0 cores=0,2,4,6
/proc/1983/task/2198/stat : 2198 (java) S 1980 1983 877 0 -1 1077944384 187 0 0 0 0 0 0 0 20 0 17 0 44388601 11189649408 1042240 33554432000 4194304 4196468 140727872617168 140481646207728 140482166511317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
[pid=1983/tid=2199] ppid=1980 vsize=10927392 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/1983/task/2199/stat : 2199 (java) R 1980 1983 877 0 -1 4202560 247 0 0 0 0 0 0 0 20 0 17 0 44388601 11189649408 1042240 33554432000 4194304 4196468 140727872617168 140481645156112 140482150581598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10096640 140727872623729 140727872623881 140727872623881 140727872626639 0
Current children cumulated CPU time: 2400.22 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 4168940 KiB
Child status: 143
Real time (s): 2371.04
CPU time (s): 2400.26
CPU user time (s): 2395.68
CPU system time (s): 4.57888
CPU usage (%): 101.232
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 4168940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.68
system time used= 4.57888
maximum resident set size= 4169704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201041
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54783
involuntary context switches= 2336
# summary of solver processes directly reported to runsolver:
# pid: 1983
# total CPU time (s): 2400.26
# total CPU user time (s): 2395.68
# total CPU system time (s): 4.57888
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2639 second user time and 22.9412 second system time
The end