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 (5053 MiB free)
memory of node 1: 16384 MiB (13635 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387277-1568297208/watcher-4387277-1568297208 -o /tmp/evaluation-result-4387277-1568297208/solver-4387277-1568297208 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568286179-3291 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1137336561 HOME/instance-4387277-1568297208.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7558, runsolver pid=7555
[startup+0.10014 s]*
/proc/loadavg: 2.19 1.75 1.66 3/218 7615
/proc/meminfo: memFree=19130888/32770624 swapFree=66952812/67108860
[pid=7558] ppid=7555 vsize=9972712 memory=18956 CPUtime=0.1 cores=1,3,5,7
/proc/7558/stat : 7558 (java) S 7555 7558 2339 0 -1 1077944320 4461 13134 0 0 1 1 6 2 20 0 6 0 405662702 10212057088 4739 33554432000 4194304 4196468 140729751653248 140729751635792 140603614977783 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
/proc/7558/statm: 2493178 4739 1935 1 0 2481616 0
[pid=7558/tid=7611] ppid=7555 vsize=9972712 memory=7892391828772250251 CPUtime=0.09 cores=1,3,5,7
/proc/7558/task/7611/stat : 7611 (java) R 7555 7558 2339 0 -1 4202560 2257 13134 0 0 1 0 6 2 20 0 6 0 405662711 10212057088 4739 33554432000 4194304 4196468 140729751653248 140603586814544 140603614999709 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7612] ppid=7555 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7612/stat : 7612 (java) S 7555 7558 2339 0 -1 1077944384 1 13134 0 0 0 0 6 2 20 0 6 0 405662711 10212057088 4739 33554432000 4194304 4196468 140729751653248 140603619219856 140603614987989 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7613] ppid=7555 vsize=9972712 memory=139830993204864 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7613/stat : 7613 (java) S 7555 7558 2339 0 -1 1077944384 1 13134 0 0 0 0 6 2 20 0 6 0 405662711 10212057088 4739 33554432000 4194304 4196468 140729751653248 140603540179216 140603614987989 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7614] ppid=7555 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7614/stat : 7614 (java) S 7555 7558 2339 0 -1 1077944384 1 13134 0 0 0 0 6 2 20 0 6 0 405662711 10212057088 4739 33554432000 4194304 4196468 140729751653248 140603187604112 140603614987989 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7615] ppid=7555 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7615/stat : 7615 (java) S 7555 7558 2339 0 -1 1077944384 2 13134 0 0 0 0 6 2 20 0 6 0 405662711 10212057088 4739 33554432000 4194304 4196468 140729751653248 140603186551312 140603614987989 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18956 KiB
[startup+0.21011 s]*
/proc/loadavg: 2.19 1.75 1.66 3/227 7624
/proc/meminfo: memFree=19108948/32770624 swapFree=66952812/67108860
[pid=7558] ppid=7555 vsize=10818940 memory=40172 CPUtime=0.27 cores=1,3,5,7
/proc/7558/stat : 7558 (java) S 7555 7558 2339 0 -1 1077944320 6934 13134 0 0 17 2 6 2 20 0 15 0 405662702 11078594560 10043 33554432000 4194304 4196468 140729751653248 140729751635792 140603614977783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
/proc/7558/statm: 2704735 10043 2954 1 0 2667149 0
[pid=7558/tid=7611] ppid=7555 vsize=10818940 memory=7822038051842263955 CPUtime=0.19 cores=1,3,5,7
/proc/7558/task/7611/stat : 7611 (java) R 7555 7558 2339 0 -1 4202560 3417 13134 0 0 10 1 6 2 20 0 15 0 405662711 11078594560 10043 33554432000 4194304 4196468 140729751653248 140603586773968 140603599058270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7612] ppid=7555 vsize=10818940 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7612/stat : 7612 (java) S 7555 7558 2339 0 -1 1077944384 1 13134 0 0 0 0 6 2 20 0 15 0 405662711 11078594560 10043 33554432000 4194304 4196468 140729751653248 140603619219856 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7613] ppid=7555 vsize=10818940 memory=139830993204864 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7613/stat : 7613 (java) S 7555 7558 2339 0 -1 1077944384 1 13134 0 0 0 0 6 2 20 0 15 0 405662711 11078594560 10043 33554432000 4194304 4196468 140729751653248 140603540179216 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7614] ppid=7555 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7614/stat : 7614 (java) S 7555 7558 2339 0 -1 1077944384 1 13134 0 0 0 0 6 2 20 0 15 0 405662711 11078594560 10043 33554432000 4194304 4196468 140729751653248 140603187604112 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7615] ppid=7555 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7615/stat : 7615 (java) S 7555 7558 2339 0 -1 1077944384 2 13134 0 0 0 0 6 2 20 0 15 0 405662711 11078594560 10043 33554432000 4194304 4196468 140729751653248 140603186551312 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7616] ppid=7555 vsize=10818940 memory=139830993204864 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7616/stat : 7616 (java) S 7555 7558 2339 0 -1 1077944384 2 13134 0 0 0 0 6 2 20 0 15 0 405662713 11078594560 10043 33554432000 4194304 4196468 140729751653248 140603141601904 140603614988930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7617] ppid=7555 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7617/stat : 7617 (java) S 7555 7558 2339 0 -1 1077944384 13 13134 0 0 0 0 6 2 20 0 15 0 405662713 11078594560 10043 33554432000 4194304 4196468 140729751653248 140602532422944 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7618] ppid=7555 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7618/stat : 7618 (java) S 7555 7558 2339 0 -1 1077944384 1 13134 0 0 0 0 6 2 20 0 15 0 405662713 11078594560 10043 33554432000 4194304 4196468 140729751653248 140602398205552 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7619] ppid=7555 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7619/stat : 7619 (java) S 7555 7558 2339 0 -1 1077944384 3 13134 0 0 0 0 6 2 20 0 15 0 405662716 11078594560 10043 33554432000 4194304 4196468 140729751653248 140602157914704 140603614996379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7620] ppid=7555 vsize=10818940 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7558/task/7620/stat : 7620 (java) S 7555 7558 2339 0 -1 1077944384 575 13134 0 0 1 0 6 2 20 0 15 0 405662716 11078594560 10043 33554432000 4194304 4196468 140729751653248 140603140548720 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7621] ppid=7555 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7621/stat : 7621 (java) S 7555 7558 2339 0 -1 1077944384 61 13134 0 0 0 0 6 2 20 0 15 0 405662716 11078594560 10043 33554432000 4194304 4196468 140729751653248 140603139495920 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7622] ppid=7555 vsize=10818940 memory=139830993204864 CPUtime=0.11 cores=1,3,5,7
/proc/7558/task/7622/stat : 7622 (java) S 7555 7558 2339 0 -1 1077944384 648 13134 0 0 3 0 6 2 20 0 15 0 405662716 11078594560 10043 33554432000 4194304 4196468 140729751653248 140603138443632 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7623] ppid=7555 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7623/stat : 7623 (java) S 7555 7558 2339 0 -1 1077944384 3 13134 0 0 0 0 6 2 20 0 15 0 405662716 11078594560 10043 33554432000 4194304 4196468 140729751653248 140602124356064 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7624] ppid=7555 vsize=10818940 memory=139830993204864 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7624/stat : 7624 (java) S 7555 7558 2339 0 -1 1077944384 1 13134 0 0 0 0 6 2 20 0 15 0 405662717 11078594560 10043 33554432000 4194304 4196468 140729751653248 140602613164976 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 40172 KiB
[startup+0.310474 s]*
/proc/loadavg: 2.19 1.75 1.66 4/227 7624
/proc/meminfo: memFree=19098588/32770624 swapFree=66952812/67108860
[pid=7558] ppid=7555 vsize=10820096 memory=51996 CPUtime=0.4 cores=1,3,5,7
/proc/7558/stat : 7558 (java) S 7555 7558 2339 0 -1 1077944320 10576 13134 0 0 29 3 6 2 20 0 15 0 405662702 11079778304 12999 33554432000 4194304 4196468 140729751653248 140729751635792 140603614977783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
/proc/7558/statm: 2705024 12999 3263 1 0 2667149 0
[pid=7558/tid=7611] ppid=7555 vsize=10820096 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/7558/task/7611/stat : 7611 (java) R 7555 7558 2339 0 -1 4202560 7036 13134 0 0 19 2 6 2 20 0 15 0 405662711 11079778304 12999 33554432000 4194304 4196468 140729751653248 140603586798000 140603614989718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7612] ppid=7555 vsize=10820096 memory=7230354862148707940 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7612/stat : 7612 (java) S 7555 7558 2339 0 -1 1077944384 1 13134 0 0 0 0 6 2 20 0 15 0 405662711 11079778304 12999 33554432000 4194304 4196468 140729751653248 140603619219856 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7613] ppid=7555 vsize=10820096 memory=5788339726952981056 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7613/stat : 7613 (java) S 7555 7558 2339 0 -1 1077944384 1 13134 0 0 0 0 6 2 20 0 15 0 405662711 11079778304 12999 33554432000 4194304 4196468 140729751653248 140603540179216 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7614] ppid=7555 vsize=10820096 memory=7019606918905154503 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7614/stat : 7614 (java) S 7555 7558 2339 0 -1 1077944384 1 13134 0 0 0 0 6 2 20 0 15 0 405662711 11079778304 12999 33554432000 4194304 4196468 140729751653248 140603187604112 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7615] ppid=7555 vsize=10820096 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7615/stat : 7615 (java) S 7555 7558 2339 0 -1 1077944384 2 13134 0 0 0 0 6 2 20 0 15 0 405662711 11079778304 12999 33554432000 4194304 4196468 140729751653248 140603186551312 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7616] ppid=7555 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7616/stat : 7616 (java) S 7555 7558 2339 0 -1 1077944384 2 13134 0 0 0 0 6 2 20 0 15 0 405662713 11079778304 12999 33554432000 4194304 4196468 140729751653248 140603141601904 140603614988930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7617] ppid=7555 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7617/stat : 7617 (java) S 7555 7558 2339 0 -1 1077944384 13 13134 0 0 0 0 6 2 20 0 15 0 405662713 11079778304 12999 33554432000 4194304 4196468 140729751653248 140602532422944 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7618] ppid=7555 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7618/stat : 7618 (java) S 7555 7558 2339 0 -1 1077944384 1 13134 0 0 0 0 6 2 20 0 15 0 405662713 11079778304 12999 33554432000 4194304 4196468 140729751653248 140602398205552 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7619] ppid=7555 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7619/stat : 7619 (java) S 7555 7558 2339 0 -1 1077944384 3 13134 0 0 0 0 6 2 20 0 15 0 405662716 11079778304 12999 33554432000 4194304 4196468 140729751653248 140602157914704 140603614996379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7620] ppid=7555 vsize=10820096 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/7558/task/7620/stat : 7620 (java) S 7555 7558 2339 0 -1 1077944384 576 13134 0 0 2 0 6 2 20 0 15 0 405662716 11079778304 12999 33554432000 4194304 4196468 140729751653248 140603140548720 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7621] ppid=7555 vsize=10820096 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7558/task/7621/stat : 7621 (java) R 7555 7558 2339 0 -1 1077944384 62 13134 0 0 1 0 6 2 20 0 15 0 405662716 11079778304 12999 33554432000 4194304 4196468 140729751653248 140603139495920 140603614988930 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7622] ppid=7555 vsize=10820096 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/7558/task/7622/stat : 7622 (java) S 7555 7558 2339 0 -1 1077944384 672 13134 0 0 5 0 6 2 20 0 15 0 405662716 11079778304 12999 33554432000 4194304 4196468 140729751653248 140603138443632 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7623] ppid=7555 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7623/stat : 7623 (java) S 7555 7558 2339 0 -1 1077944384 3 13134 0 0 0 0 6 2 20 0 15 0 405662716 11079778304 12999 33554432000 4194304 4196468 140729751653248 140602124356064 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7624] ppid=7555 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7624/stat : 7624 (java) S 7555 7558 2339 0 -1 1077944384 1 13134 0 0 0 0 6 2 20 0 15 0 405662717 11079778304 12999 33554432000 4194304 4196468 140729751653248 140602613164976 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 51996 KiB
[startup+0.700754 s]
/proc/loadavg: 2.19 1.75 1.66 5/227 7624
/proc/meminfo: memFree=19083120/32770624 swapFree=66952812/67108860
[pid=7558] ppid=7555 vsize=10824340 memory=82636 CPUtime=1.15 cores=1,3,5,7
/proc/7558/stat : 7558 (java) S 7555 7558 2339 0 -1 1077944320 14871 13134 0 0 102 5 6 2 20 0 15 0 405662702 11084124160 20659 33554432000 4194304 4196468 140729751653248 140729751635792 140603614977783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
/proc/7558/statm: 2706085 20659 3501 1 0 2668173 0
[pid=7558/tid=7611] ppid=7555 vsize=10824340 memory=2241 CPUtime=0.67 cores=1,3,5,7
/proc/7558/task/7611/stat : 7611 (java) R 7555 7558 2339 0 -1 4202560 10522 13134 0 0 55 4 6 2 20 0 15 0 405662711 11084124160 20659 33554432000 4194304 4196468 140729751653248 140603586804976 140603596562801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7612] ppid=7555 vsize=10824340 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7612/stat : 7612 (java) S 7555 7558 2339 0 -1 1077944384 1 13134 0 0 0 0 6 2 20 0 15 0 405662711 11084124160 20659 33554432000 4194304 4196468 140729751653248 140603619219856 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7613] ppid=7555 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7613/stat : 7613 (java) S 7555 7558 2339 0 -1 1077944384 1 13134 0 0 0 0 6 2 20 0 15 0 405662711 11084124160 20659 33554432000 4194304 4196468 140729751653248 140603540179216 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7614] ppid=7555 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7614/stat : 7614 (java) S 7555 7558 2339 0 -1 1077944384 1 13134 0 0 0 0 6 2 20 0 15 0 405662711 11084124160 20659 33554432000 4194304 4196468 140729751653248 140603187604112 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7615] ppid=7555 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7615/stat : 7615 (java) S 7555 7558 2339 0 -1 1077944384 2 13134 0 0 0 0 6 2 20 0 15 0 405662711 11084124160 20659 33554432000 4194304 4196468 140729751653248 140603186551312 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7616] ppid=7555 vsize=10824340 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7616/stat : 7616 (java) S 7555 7558 2339 0 -1 1077944384 5 13134 0 0 0 0 6 2 20 0 15 0 405662713 11084124160 20659 33554432000 4194304 4196468 140729751653248 140603141601904 140603614988930 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7617] ppid=7555 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7617/stat : 7617 (java) S 7555 7558 2339 0 -1 1077944384 13 13134 0 0 0 0 6 2 20 0 15 0 405662713 11084124160 20659 33554432000 4194304 4196468 140729751653248 140602532422944 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7618] ppid=7555 vsize=10824340 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7618/stat : 7618 (java) S 7555 7558 2339 0 -1 1077944384 1 13134 0 0 0 0 6 2 20 0 15 0 405662713 11084124160 20659 33554432000 4194304 4196468 140729751653248 140602398205552 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7619] ppid=7555 vsize=10824340 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7619/stat : 7619 (java) S 7555 7558 2339 0 -1 1077944384 3 13134 0 0 0 0 6 2 20 0 15 0 405662716 11084124160 20659 33554432000 4194304 4196468 140729751653248 140602157914704 140603614996379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7620] ppid=7555 vsize=10824340 memory=139830847637392 CPUtime=0.22 cores=1,3,5,7
/proc/7558/task/7620/stat : 7620 (java) S 7555 7558 2339 0 -1 1077944384 932 13134 0 0 14 0 6 2 20 0 15 0 405662716 11084124160 20659 33554432000 4194304 4196468 140729751653248 140603140548720 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7621] ppid=7555 vsize=10824340 memory=24964 CPUtime=0.2 cores=1,3,5,7
/proc/7558/task/7621/stat : 7621 (java) S 7555 7558 2339 0 -1 1077944384 324 13134 0 0 12 0 6 2 20 0 15 0 405662716 11084124160 20659 33554432000 4194304 4196468 140729751653248 140603139495920 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7622] ppid=7555 vsize=10824340 memory=2244 CPUtime=0.25 cores=1,3,5,7
/proc/7558/task/7622/stat : 7622 (java) R 7555 7558 2339 0 -1 4202560 857 13134 0 0 17 0 6 2 20 0 15 0 405662716 11084124160 20659 33554432000 4194304 4196468 140729751653248 140603138443632 140603599058270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7623] ppid=7555 vsize=10824340 memory=139830847634800 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7623/stat : 7623 (java) S 7555 7558 2339 0 -1 1077944384 3 13134 0 0 0 0 6 2 20 0 15 0 405662716 11084124160 20659 33554432000 4194304 4196468 140729751653248 140602124356064 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7624] ppid=7555 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7624/stat : 7624 (java) S 7555 7558 2339 0 -1 1077944384 1 13134 0 0 0 0 6 2 20 0 15 0 405662717 11084124160 20659 33554432000 4194304 4196468 140729751653248 140602613164976 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 82636 KiB
[startup+1.50069 s]
/proc/loadavg: 2.19 1.75 1.66 3/227 7624
/proc/meminfo: memFree=19032184/32770624 swapFree=66952812/67108860
[pid=7558] ppid=7555 vsize=10834656 memory=178444 CPUtime=2.67 cores=1,3,5,7
/proc/7558/stat : 7558 (java) S 7555 7558 2339 0 -1 1077944320 23648 13134 0 0 249 10 6 2 20 0 15 0 405662702 11094687744 44611 33554432000 4194304 4196468 140729751653248 140729751635792 140603614977783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
/proc/7558/statm: 2708664 44611 3574 1 0 2670733 0
[pid=7558/tid=7611] ppid=7555 vsize=10834656 memory=25 CPUtime=1.43 cores=1,3,5,7
/proc/7558/task/7611/stat : 7611 (java) R 7555 7558 2339 0 -1 4202560 15546 13134 0 0 129 6 6 2 20 0 15 0 405662711 11094687744 44611 33554432000 4194304 4196468 140729751653248 140603586781904 140603600660309 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7612] ppid=7555 vsize=10834656 memory=28 CPUtime=0.09 cores=1,3,5,7
/proc/7558/task/7612/stat : 7612 (java) S 7555 7558 2339 0 -1 1077944384 54 13134 0 0 1 0 6 2 20 0 15 0 405662711 11094687744 44611 33554432000 4194304 4196468 140729751653248 140603619219856 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7613] ppid=7555 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7613/stat : 7613 (java) S 7555 7558 2339 0 -1 1077944384 37 13134 0 0 0 0 6 2 20 0 15 0 405662711 11094687744 44611 33554432000 4194304 4196468 140729751653248 140603540179216 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7614] ppid=7555 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7558/task/7614/stat : 7614 (java) S 7555 7558 2339 0 -1 1077944384 64 13134 0 0 1 0 6 2 20 0 15 0 405662711 11094687744 44611 33554432000 4194304 4196468 140729751653248 140603187604112 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7615] ppid=7555 vsize=10834656 memory=104216 CPUtime=0.09 cores=1,3,5,7
/proc/7558/task/7615/stat : 7615 (java) S 7555 7558 2339 0 -1 1077944384 356 13134 0 0 1 0 6 2 20 0 15 0 405662711 11094687744 44611 33554432000 4194304 4196468 140729751653248 140603186551312 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7616] ppid=7555 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7558/task/7616/stat : 7616 (java) S 7555 7558 2339 0 -1 1077944384 120 13134 0 0 1 0 6 2 20 0 15 0 405662713 11094687744 44611 33554432000 4194304 4196468 140729751653248 140603141601904 140603614988930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7617] ppid=7555 vsize=10834656 memory=7014751519734256483 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7617/stat : 7617 (java) S 7555 7558 2339 0 -1 1077944384 13 13134 0 0 0 0 6 2 20 0 15 0 405662713 11094687744 44611 33554432000 4194304 4196468 140729751653248 140602532423008 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7618] ppid=7555 vsize=10834656 memory=7302988548908017241 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7618/stat : 7618 (java) S 7555 7558 2339 0 -1 1077944384 2 13134 0 0 0 0 6 2 20 0 15 0 405662713 11094687744 44611 33554432000 4194304 4196468 140729751653248 140602398205568 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7619] ppid=7555 vsize=10834656 memory=7451875655967663458 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7619/stat : 7619 (java) S 7555 7558 2339 0 -1 1077944384 3 13134 0 0 0 0 6 2 20 0 15 0 405662716 11094687744 44611 33554432000 4194304 4196468 140729751653248 140602157914704 140603614996379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7620] ppid=7555 vsize=10834656 memory=5571041044932810853 CPUtime=0.44 cores=1,3,5,7
/proc/7558/task/7620/stat : 7620 (java) S 7555 7558 2339 0 -1 1077944384 2136 13134 0 0 36 0 6 2 20 0 15 0 405662716 11094687744 44611 33554432000 4194304 4196468 140729751653248 140603140548720 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7621] ppid=7555 vsize=10834656 memory=7085686594021779050 CPUtime=0.41 cores=1,3,5,7
/proc/7558/task/7621/stat : 7621 (java) S 7555 7558 2339 0 -1 1077944384 1194 13134 0 0 33 0 6 2 20 0 15 0 405662716 11094687744 44611 33554432000 4194304 4196468 140729751653248 140603139495920 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7622] ppid=7555 vsize=10834656 memory=7014751519734256483 CPUtime=0.5 cores=1,3,5,7
/proc/7558/task/7622/stat : 7622 (java) S 7555 7558 2339 0 -1 1077944384 1919 13134 0 0 42 0 6 2 20 0 15 0 405662716 11094687744 44611 33554432000 4194304 4196468 140729751653248 140603138443632 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7623] ppid=7555 vsize=10834656 memory=7014751519734256483 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7623/stat : 7623 (java) S 7555 7558 2339 0 -1 1077944384 3 13134 0 0 0 0 6 2 20 0 15 0 405662716 11094687744 44611 33554432000 4194304 4196468 140729751653248 140602124356064 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7624] ppid=7555 vsize=10834656 memory=55 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7624/stat : 7624 (java) S 7555 7558 2339 0 -1 1077944384 1 13134 0 0 0 0 6 2 20 0 15 0 405662717 11094687744 44611 33554432000 4194304 4196468 140729751653248 140602613164976 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
[startup+1124.89 s]
# the end of solver process 7558 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1160.17 s, system=2.0423 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1123.2 s]
/proc/loadavg: 1.33 1.35 1.46 3/229 7726
/proc/meminfo: memFree=19031168/32770624 swapFree=66952812/67108860
[pid=7558] ppid=7555 vsize=10849012 memory=766844 CPUtime=1160.49 cores=1,3,5,7
/proc/7558/stat : 7558 (java) S 7555 7558 2339 0 -1 1077944320 179069 13134 0 0 115841 200 6 2 20 0 15 0 405662702 11109388288 191711 33554432000 4194304 4196468 140729751653248 140729751635792 140603614977783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
/proc/7558/statm: 2712253 191711 3621 1 0 2674317 0
[pid=7558/tid=7611] ppid=7555 vsize=10849012 memory=766844 CPUtime=1111.05 cores=1,3,5,7
/proc/7558/task/7611/stat : 7611 (java) R 7555 7558 2339 0 -1 4202560 48309 13134 0 0 111063 34 6 2 20 0 15 0 405662711 11109388288 191711 33554432000 4194304 4196468 140729751653248 140603586813920 140603232085893 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7612] ppid=7555 vsize=10849012 memory=8112282956445269571 CPUtime=5.31 cores=1,3,5,7
/proc/7558/task/7612/stat : 7612 (java) S 7555 7558 2339 0 -1 1077944384 5421 13134 0 0 495 28 6 2 20 0 15 0 405662711 11109388288 191711 33554432000 4194304 4196468 140729751653248 140603619219856 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7613] ppid=7555 vsize=10849012 memory=992 CPUtime=5.33 cores=1,3,5,7
/proc/7558/task/7613/stat : 7613 (java) S 7555 7558 2339 0 -1 1077944384 6001 13134 0 0 497 28 6 2 20 0 15 0 405662711 11109388288 191711 33554432000 4194304 4196468 140729751653248 140603540179216 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7614] ppid=7555 vsize=10849012 memory=2044 CPUtime=5.34 cores=1,3,5,7
/proc/7558/task/7614/stat : 7614 (java) S 7555 7558 2339 0 -1 1077944384 10646 13134 0 0 498 28 6 2 20 0 15 0 405662711 11109388288 191711 33554432000 4194304 4196468 140729751653248 140603187604112 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7615] ppid=7555 vsize=10849012 memory=1324 CPUtime=5.32 cores=1,3,5,7
/proc/7558/task/7615/stat : 7615 (java) S 7555 7558 2339 0 -1 1077944384 11260 13134 0 0 495 29 6 2 20 0 15 0 405662711 11109388288 191711 33554432000 4194304 4196468 140729751653248 140603186551312 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7616] ppid=7555 vsize=10849012 memory=11624 CPUtime=5.41 cores=1,3,5,7
/proc/7558/task/7616/stat : 7616 (java) S 7555 7558 2339 0 -1 1077944384 9108 13134 0 0 509 24 6 2 20 0 15 0 405662713 11109388288 191711 33554432000 4194304 4196468 140729751653248 140603141601904 140603614988930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7617] ppid=7555 vsize=10849012 memory=752 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7617/stat : 7617 (java) S 7555 7558 2339 0 -1 1077944384 15 13134 0 0 0 0 6 2 20 0 15 0 405662713 11109388288 191711 33554432000 4194304 4196468 140729751653248 140602532423072 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7618] ppid=7555 vsize=10849012 memory=1056 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7618/stat : 7618 (java) S 7555 7558 2339 0 -1 1077944384 4 13134 0 0 0 0 6 2 20 0 15 0 405662713 11109388288 191711 33554432000 4194304 4196468 140729751653248 140602398205568 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7619] ppid=7555 vsize=10849012 memory=1552 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7619/stat : 7619 (java) S 7555 7558 2339 0 -1 1077944384 3 13134 0 0 0 0 6 2 20 0 15 0 405662716 11109388288 191711 33554432000 4194304 4196468 140729751653248 140602157914704 140603614996379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7620] ppid=7555 vsize=10849012 memory=944 CPUtime=8.87 cores=1,3,5,7
/proc/7558/task/7620/stat : 7620 (java) S 7555 7558 2339 0 -1 1077944384 30586 13134 0 0 869 10 6 2 20 0 15 0 405662716 11109388288 191711 33554432000 4194304 4196468 140729751653248 140603140548720 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7621] ppid=7555 vsize=10849012 memory=4004 CPUtime=8.67 cores=1,3,5,7
/proc/7558/task/7621/stat : 7621 (java) S 7555 7558 2339 0 -1 1077944384 26001 13134 0 0 851 8 6 2 20 0 15 0 405662716 11109388288 191711 33554432000 4194304 4196468 140729751653248 140603139495920 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7622] ppid=7555 vsize=10849012 memory=766844 CPUtime=5.09 cores=1,3,5,7
/proc/7558/task/7622/stat : 7622 (java) S 7555 7558 2339 0 -1 1077944384 28307 13134 0 0 492 9 6 2 20 0 15 0 405662716 11109388288 191711 33554432000 4194304 4196468 140729751653248 140603138443632 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7623] ppid=7555 vsize=10849012 memory=4004 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7623/stat : 7623 (java) S 7555 7558 2339 0 -1 1077944384 3 13134 0 0 0 0 6 2 20 0 15 0 405662716 11109388288 191711 33554432000 4194304 4196468 140729751653248 140602124356064 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7624] ppid=7555 vsize=10849012 memory=780 CPUtime=0.71 cores=1,3,5,7
/proc/7558/task/7624/stat : 7624 (java) S 7555 7558 2339 0 -1 1077944384 1199 13134 0 0 30 33 6 2 20 0 15 0 405662717 11109388288 191711 33554432000 4194304 4196468 140729751653248 140602613164976 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
Current children cumulated CPU time: 1160.49 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 766844 KiB
[startup+1124 s]*
/proc/loadavg: 1.33 1.35 1.46 3/229 7726
/proc/meminfo: memFree=19032152/32770624 swapFree=66952812/67108860
[pid=7558] ppid=7555 vsize=10849012 memory=766932 CPUtime=1161.31 cores=1,3,5,7
/proc/7558/stat : 7558 (java) S 7555 7558 2339 0 -1 1077944320 180509 13134 0 0 115923 200 6 2 20 0 15 0 405662702 11109388288 191733 33554432000 4194304 4196468 140729751653248 140729751635792 140603614977783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
/proc/7558/statm: 2712253 191733 3621 1 0 2674317 0
[pid=7558/tid=7611] ppid=7555 vsize=10849012 memory=8317482817917895235 CPUtime=1111.85 cores=1,3,5,7
/proc/7558/task/7611/stat : 7611 (java) R 7555 7558 2339 0 -1 4202560 48743 13134 0 0 111143 34 6 2 20 0 15 0 405662711 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603586812592 140603235877764 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7612] ppid=7555 vsize=10849012 memory=4126316290023845779 CPUtime=5.32 cores=1,3,5,7
/proc/7558/task/7612/stat : 7612 (java) S 7555 7558 2339 0 -1 1077944384 5972 13134 0 0 496 28 6 2 20 0 15 0 405662711 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603619219856 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7613] ppid=7555 vsize=10849012 memory=13854083555526706 CPUtime=5.34 cores=1,3,5,7
/proc/7558/task/7613/stat : 7613 (java) S 7555 7558 2339 0 -1 1077944384 6023 13134 0 0 498 28 6 2 20 0 15 0 405662711 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603540179216 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7614] ppid=7555 vsize=10849012 memory=2120 CPUtime=5.35 cores=1,3,5,7
/proc/7558/task/7614/stat : 7614 (java) S 7555 7558 2339 0 -1 1077944384 10652 13134 0 0 499 28 6 2 20 0 15 0 405662711 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603187604112 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7615] ppid=7555 vsize=10849012 memory=500 CPUtime=5.32 cores=1,3,5,7
/proc/7558/task/7615/stat : 7615 (java) S 7555 7558 2339 0 -1 1077944384 11372 13134 0 0 495 29 6 2 20 0 15 0 405662711 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603186551312 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7616] ppid=7555 vsize=10849012 memory=1556 CPUtime=5.41 cores=1,3,5,7
/proc/7558/task/7616/stat : 7616 (java) S 7555 7558 2339 0 -1 1077944384 9399 13134 0 0 509 24 6 2 20 0 15 0 405662713 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603141601904 140603614988930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7617] ppid=7555 vsize=10849012 memory=924 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7617/stat : 7617 (java) S 7555 7558 2339 0 -1 1077944384 15 13134 0 0 0 0 6 2 20 0 15 0 405662713 11109388288 191733 33554432000 4194304 4196468 140729751653248 140602532423072 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7618] ppid=7555 vsize=10849012 memory=1712 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7618/stat : 7618 (java) S 7555 7558 2339 0 -1 1077944384 4 13134 0 0 0 0 6 2 20 0 15 0 405662713 11109388288 191733 33554432000 4194304 4196468 140729751653248 140602398205568 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7619] ppid=7555 vsize=10849012 memory=812 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7619/stat : 7619 (java) S 7555 7558 2339 0 -1 1077944384 3 13134 0 0 0 0 6 2 20 0 15 0 405662716 11109388288 191733 33554432000 4194304 4196468 140729751653248 140602157914704 140603614996379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7620] ppid=7555 vsize=10849012 memory=1436 CPUtime=8.87 cores=1,3,5,7
/proc/7558/task/7620/stat : 7620 (java) S 7555 7558 2339 0 -1 1077944384 30589 13134 0 0 869 10 6 2 20 0 15 0 405662716 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603140548720 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7621] ppid=7555 vsize=10849012 memory=1984 CPUtime=8.67 cores=1,3,5,7
/proc/7558/task/7621/stat : 7621 (java) S 7555 7558 2339 0 -1 1077944384 26003 13134 0 0 851 8 6 2 20 0 15 0 405662716 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603139495920 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7622] ppid=7555 vsize=10849012 memory=2492 CPUtime=5.09 cores=1,3,5,7
/proc/7558/task/7622/stat : 7622 (java) S 7555 7558 2339 0 -1 1077944384 28309 13134 0 0 492 9 6 2 20 0 15 0 405662716 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603138443632 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7623] ppid=7555 vsize=10849012 memory=1764 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7623/stat : 7623 (java) S 7555 7558 2339 0 -1 1077944384 3 13134 0 0 0 0 6 2 20 0 15 0 405662716 11109388288 191733 33554432000 4194304 4196468 140729751653248 140602124356064 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7624] ppid=7555 vsize=10849012 memory=1808 CPUtime=0.71 cores=1,3,5,7
/proc/7558/task/7624/stat : 7624 (java) S 7555 7558 2339 0 -1 1077944384 1216 13134 0 0 30 33 6 2 20 0 15 0 405662717 11109388288 191733 33554432000 4194304 4196468 140729751653248 140602613164976 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
Current children cumulated CPU time: 1161.31 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 766932 KiB
[startup+1124.4 s]
/proc/loadavg: 1.33 1.35 1.46 3/229 7726
/proc/meminfo: memFree=19032152/32770624 swapFree=66952812/67108860
[pid=7558] ppid=7555 vsize=10849012 memory=766932 CPUtime=1161.71 cores=1,3,5,7
/proc/7558/stat : 7558 (java) S 7555 7558 2339 0 -1 1077944320 180513 13134 0 0 115963 200 6 2 20 0 15 0 405662702 11109388288 191733 33554432000 4194304 4196468 140729751653248 140729751635792 140603614977783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
/proc/7558/statm: 2712253 191733 3621 1 0 2674317 0
[pid=7558/tid=7611] ppid=7555 vsize=10849012 memory=1900876 CPUtime=1112.24 cores=1,3,5,7
/proc/7558/task/7611/stat : 7611 (java) R 7555 7558 2339 0 -1 4202560 48747 13134 0 0 111182 34 6 2 20 0 15 0 405662711 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603586813776 140603233532744 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7612] ppid=7555 vsize=10849012 memory=1408 CPUtime=5.32 cores=1,3,5,7
/proc/7558/task/7612/stat : 7612 (java) S 7555 7558 2339 0 -1 1077944384 5972 13134 0 0 496 28 6 2 20 0 15 0 405662711 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603619219856 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7613] ppid=7555 vsize=10849012 memory=3164 CPUtime=5.34 cores=1,3,5,7
/proc/7558/task/7613/stat : 7613 (java) S 7555 7558 2339 0 -1 1077944384 6023 13134 0 0 498 28 6 2 20 0 15 0 405662711 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603540179216 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7614] ppid=7555 vsize=10849012 memory=766844 CPUtime=5.35 cores=1,3,5,7
/proc/7558/task/7614/stat : 7614 (java) S 7555 7558 2339 0 -1 1077944384 10652 13134 0 0 499 28 6 2 20 0 15 0 405662711 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603187604112 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7615] ppid=7555 vsize=10849012 memory=1744 CPUtime=5.33 cores=1,3,5,7
/proc/7558/task/7615/stat : 7615 (java) S 7555 7558 2339 0 -1 1077944384 11372 13134 0 0 496 29 6 2 20 0 15 0 405662711 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603186551312 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7616] ppid=7555 vsize=10849012 memory=804 CPUtime=5.41 cores=1,3,5,7
/proc/7558/task/7616/stat : 7616 (java) S 7555 7558 2339 0 -1 1077944384 9399 13134 0 0 509 24 6 2 20 0 15 0 405662713 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603141601904 140603614988930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7617] ppid=7555 vsize=10849012 memory=2764 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7617/stat : 7617 (java) S 7555 7558 2339 0 -1 1077944384 15 13134 0 0 0 0 6 2 20 0 15 0 405662713 11109388288 191733 33554432000 4194304 4196468 140729751653248 140602532423072 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7618] ppid=7555 vsize=10849012 memory=2944 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7618/stat : 7618 (java) S 7555 7558 2339 0 -1 1077944384 4 13134 0 0 0 0 6 2 20 0 15 0 405662713 11109388288 191733 33554432000 4194304 4196468 140729751653248 140602398205568 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7619] ppid=7555 vsize=10849012 memory=944 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7619/stat : 7619 (java) S 7555 7558 2339 0 -1 1077944384 3 13134 0 0 0 0 6 2 20 0 15 0 405662716 11109388288 191733 33554432000 4194304 4196468 140729751653248 140602157914704 140603614996379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7620] ppid=7555 vsize=10849012 memory=4004 CPUtime=8.87 cores=1,3,5,7
/proc/7558/task/7620/stat : 7620 (java) S 7555 7558 2339 0 -1 1077944384 30589 13134 0 0 869 10 6 2 20 0 15 0 405662716 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603140548720 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7621] ppid=7555 vsize=10849012 memory=780 CPUtime=8.67 cores=1,3,5,7
/proc/7558/task/7621/stat : 7621 (java) S 7555 7558 2339 0 -1 1077944384 26003 13134 0 0 851 8 6 2 20 0 15 0 405662716 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603139495920 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7622] ppid=7555 vsize=10849012 memory=2832 CPUtime=5.09 cores=1,3,5,7
/proc/7558/task/7622/stat : 7622 (java) S 7555 7558 2339 0 -1 1077944384 28309 13134 0 0 492 9 6 2 20 0 15 0 405662716 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603138443632 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7623] ppid=7555 vsize=10849012 memory=1720 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7623/stat : 7623 (java) S 7555 7558 2339 0 -1 1077944384 3 13134 0 0 0 0 6 2 20 0 15 0 405662716 11109388288 191733 33554432000 4194304 4196468 140729751653248 140602124356064 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7624] ppid=7555 vsize=10849012 memory=1228 CPUtime=0.71 cores=1,3,5,7
/proc/7558/task/7624/stat : 7624 (java) S 7555 7558 2339 0 -1 1077944384 1216 13134 0 0 30 33 6 2 20 0 15 0 405662717 11109388288 191733 33554432000 4194304 4196468 140729751653248 140602613164976 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
Current children cumulated CPU time: 1161.71 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 766932 KiB
[startup+1124.8 s]
/proc/loadavg: 1.33 1.35 1.46 3/229 7726
/proc/meminfo: memFree=19032152/32770624 swapFree=66952812/67108860
[pid=7558] ppid=7555 vsize=10849012 memory=766932 CPUtime=1162.11 cores=1,3,5,7
/proc/7558/stat : 7558 (java) S 7555 7558 2339 0 -1 1077944320 180521 13134 0 0 116003 200 6 2 20 0 15 0 405662702 11109388288 191733 33554432000 4194304 4196468 140729751653248 140729751635792 140603614977783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
/proc/7558/statm: 2712253 191733 3621 1 0 2674317 0
[pid=7558/tid=7611] ppid=7555 vsize=10849012 memory=766844 CPUtime=1112.64 cores=1,3,5,7
/proc/7558/task/7611/stat : 7611 (java) R 7555 7558 2339 0 -1 4202560 48749 13134 0 0 111222 34 6 2 20 0 15 0 405662711 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603586813552 140603597498354 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7612] ppid=7555 vsize=10849012 memory=8112282956445269571 CPUtime=5.32 cores=1,3,5,7
/proc/7558/task/7612/stat : 7612 (java) S 7555 7558 2339 0 -1 1077944384 5975 13134 0 0 496 28 6 2 20 0 15 0 405662711 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603619219856 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7613] ppid=7555 vsize=10849012 memory=766844 CPUtime=5.34 cores=1,3,5,7
/proc/7558/task/7613/stat : 7613 (java) S 7555 7558 2339 0 -1 1077944384 6023 13134 0 0 498 28 6 2 20 0 15 0 405662711 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603540179216 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7614] ppid=7555 vsize=10849012 memory=1556 CPUtime=5.35 cores=1,3,5,7
/proc/7558/task/7614/stat : 7614 (java) S 7555 7558 2339 0 -1 1077944384 10652 13134 0 0 499 28 6 2 20 0 15 0 405662711 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603187604112 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7615] ppid=7555 vsize=10849012 memory=924 CPUtime=5.33 cores=1,3,5,7
/proc/7558/task/7615/stat : 7615 (java) S 7555 7558 2339 0 -1 1077944384 11372 13134 0 0 496 29 6 2 20 0 15 0 405662711 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603186551312 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7616] ppid=7555 vsize=10849012 memory=1712 CPUtime=5.42 cores=1,3,5,7
/proc/7558/task/7616/stat : 7616 (java) S 7555 7558 2339 0 -1 1077944384 9402 13134 0 0 510 24 6 2 20 0 15 0 405662713 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603141601904 140603614988930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7617] ppid=7555 vsize=10849012 memory=766844 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7617/stat : 7617 (java) S 7555 7558 2339 0 -1 1077944384 15 13134 0 0 0 0 6 2 20 0 15 0 405662713 11109388288 191733 33554432000 4194304 4196468 140729751653248 140602532423072 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7618] ppid=7555 vsize=10849012 memory=804 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7618/stat : 7618 (java) S 7555 7558 2339 0 -1 1077944384 4 13134 0 0 0 0 6 2 20 0 15 0 405662713 11109388288 191733 33554432000 4194304 4196468 140729751653248 140602398205568 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7619] ppid=7555 vsize=10849012 memory=2764 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7619/stat : 7619 (java) S 7555 7558 2339 0 -1 1077944384 3 13134 0 0 0 0 6 2 20 0 15 0 405662716 11109388288 191733 33554432000 4194304 4196468 140729751653248 140602157914704 140603614996379 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7620] ppid=7555 vsize=10849012 memory=2944 CPUtime=8.87 cores=1,3,5,7
/proc/7558/task/7620/stat : 7620 (java) S 7555 7558 2339 0 -1 1077944384 30589 13134 0 0 869 10 6 2 20 0 15 0 405662716 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603140548720 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7621] ppid=7555 vsize=10849012 memory=4104 CPUtime=8.67 cores=1,3,5,7
/proc/7558/task/7621/stat : 7621 (java) S 7555 7558 2339 0 -1 1077944384 26003 13134 0 0 851 8 6 2 20 0 15 0 405662716 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603139495920 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7622] ppid=7555 vsize=10849012 memory=1412 CPUtime=5.09 cores=1,3,5,7
/proc/7558/task/7622/stat : 7622 (java) S 7555 7558 2339 0 -1 1077944384 28309 13134 0 0 492 9 6 2 20 0 15 0 405662716 11109388288 191733 33554432000 4194304 4196468 140729751653248 140603138443632 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7623] ppid=7555 vsize=10849012 memory=766932 CPUtime=0.08 cores=1,3,5,7
/proc/7558/task/7623/stat : 7623 (java) S 7555 7558 2339 0 -1 1077944384 3 13134 0 0 0 0 6 2 20 0 15 0 405662716 11109388288 191733 33554432000 4194304 4196468 140729751653248 140602124356064 140603614987989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
[pid=7558/tid=7624] ppid=7555 vsize=10849012 memory=1056 CPUtime=0.71 cores=1,3,5,7
/proc/7558/task/7624/stat : 7624 (java) S 7555 7558 2339 0 -1 1077944384 1216 13134 0 0 30 33 6 2 20 0 15 0 405662717 11109388288 191733 33554432000 4194304 4196468 140729751653248 140602613164976 140603614988930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27521024 140729751661301 140729751663813 140729751663813 140729751666639 0
Current children cumulated CPU time: 1162.11 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 766932 KiB
Child status: 0
Real time (s): 1124.89
CPU time (s): 1162.22
CPU user time (s): 1160.17
CPU system time (s): 2.0423
CPU usage (%): 103.318
Max. virtual memory (cumulated for all children) (KiB): 10849588
Max. memory (cumulated for all children) (KiB): 766932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1160.17
system time used= 2.0423
maximum resident set size= 769000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196232
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 147791
involuntary context switches= 3590
# summary of solver processes directly reported to runsolver:
# pid: 7558
# total CPU time (s): 1162.22
# total CPU user time (s): 1160.17
# total CPU system time (s): 2.0423
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.52638 second user time and 10.0339 second system time
The end