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 (9416 MiB free)
memory of node 1: 16384 MiB (11364 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392065-1568313189/watcher-4392065-1568313189 -o /tmp/evaluation-result-4392065-1568313189/solver-4392065-1568313189 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568306047-10997 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1492228063 HOME/instance-4392065-1568313189.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
solver pid=13992, runsolver pid=13989
Current StackSize limit: 8192 KiB
[startup+0.100128 s]*
/proc/loadavg: 1.98 1.66 1.51 3/219 14049
/proc/meminfo: memFree=21275048/32770624 swapFree=66939824/67108860
[pid=13992] ppid=13989 vsize=9972712 memory=14916 CPUtime=0.1 cores=0,2,4,6
/proc/13992/stat : 13992 (java) S 13989 13992 9865 0 -1 1077944320 4478 13329 0 0 1 1 5 3 20 0 6 0 407233806 10212057088 3729 33554432000 4194304 4196468 140729099049584 140729099032128 140514887024375 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
/proc/13992/statm: 2493178 3729 1935 1 0 2481616 0
[pid=13992/tid=14045] ppid=13989 vsize=9972712 memory=7892391828772250251 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14045/stat : 14045 (java) R 13989 13992 9865 0 -1 4202560 2295 13329 0 0 0 0 5 3 20 0 6 0 407233815 10212057088 3729 33554432000 4194304 4196468 140729099049584 140514858861136 140514868418109 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14046] ppid=13989 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14046/stat : 14046 (java) S 13989 13992 9865 0 -1 1077944384 1 13329 0 0 0 0 5 3 20 0 6 0 407233816 10212057088 3729 33554432000 4194304 4196468 140729099049584 140514891267216 140514887034581 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14047] ppid=13989 vsize=9972712 memory=139812917069440 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14047/stat : 14047 (java) S 13989 13992 9865 0 -1 1077944384 1 13329 0 0 0 0 5 3 20 0 6 0 407233816 10212057088 3729 33554432000 4194304 4196468 140729099049584 140514823179280 140514887034581 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14048] ppid=13989 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14048/stat : 14048 (java) S 13989 13992 9865 0 -1 1077944384 1 13329 0 0 0 0 5 3 20 0 6 0 407233816 10212057088 3729 33554432000 4194304 4196468 140729099049584 140514458733456 140514887034581 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14049] ppid=13989 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14049/stat : 14049 (java) S 13989 13992 9865 0 -1 1077944384 2 13329 0 0 0 0 5 3 20 0 6 0 407233816 10212057088 3729 33554432000 4194304 4196468 140729099049584 140514457680656 140514887034581 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14916 KiB
[startup+0.210184 s]*
/proc/loadavg: 1.98 1.66 1.51 4/228 14058
/proc/meminfo: memFree=21254832/32770624 swapFree=66939824/67108860
[pid=13992] ppid=13989 vsize=10818940 memory=37020 CPUtime=0.26 cores=0,2,4,6
/proc/13992/stat : 13992 (java) S 13989 13992 9865 0 -1 1077944320 7043 13329 0 0 17 1 5 3 20 0 15 0 407233806 11078594560 9255 33554432000 4194304 4196468 140729099049584 140729099032128 140514887024375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
/proc/13992/statm: 2704735 9255 2989 1 0 2667149 0
[pid=13992/tid=14045] ppid=13989 vsize=10818940 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/13992/task/14045/stat : 14045 (java) R 13989 13992 9865 0 -1 4202560 3498 13329 0 0 11 0 5 3 20 0 15 0 407233815 11078594560 9264 33554432000 4194304 4196468 140729099049584 140514858857040 140514887046301 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14046] ppid=13989 vsize=10818940 memory=365 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14046/stat : 14046 (java) S 13989 13992 9865 0 -1 1077944384 1 13329 0 0 0 0 5 3 20 0 15 0 407233816 11078594560 9264 33554432000 4194304 4196468 140729099049584 140514891267216 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14047] ppid=13989 vsize=10818940 memory=139812920037393 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14047/stat : 14047 (java) S 13989 13992 9865 0 -1 1077944384 1 13329 0 0 0 0 5 3 20 0 15 0 407233816 11078594560 9264 33554432000 4194304 4196468 140729099049584 140514823179280 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14048] ppid=13989 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14048/stat : 14048 (java) S 13989 13992 9865 0 -1 1077944384 1 13329 0 0 0 0 5 3 20 0 15 0 407233816 11078594560 9264 33554432000 4194304 4196468 140729099049584 140514458733456 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14049] ppid=13989 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14049/stat : 14049 (java) S 13989 13992 9865 0 -1 1077944384 2 13329 0 0 0 0 5 3 20 0 15 0 407233816 11078594560 9264 33554432000 4194304 4196468 140729099049584 140514457680656 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14050] ppid=13989 vsize=10818940 memory=139812917069440 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14050/stat : 14050 (java) S 13989 13992 9865 0 -1 1077944384 2 13329 0 0 0 0 5 3 20 0 15 0 407233817 11078594560 9264 33554432000 4194304 4196468 140729099049584 140513889982832 140514887035522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14051] ppid=13989 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14051/stat : 14051 (java) S 13989 13992 9865 0 -1 1077944384 13 13329 0 0 0 0 5 3 20 0 15 0 407233817 11078594560 9264 33554432000 4194304 4196468 140729099049584 140513814504480 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14052] ppid=13989 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14052/stat : 14052 (java) S 13989 13992 9865 0 -1 1077944384 1 13329 0 0 0 0 5 3 20 0 15 0 407233818 11078594560 9264 33554432000 4194304 4196468 140729099049584 140513680286576 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14053] ppid=13989 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14053/stat : 14053 (java) S 13989 13992 9865 0 -1 1077944384 3 13329 0 0 0 0 5 3 20 0 15 0 407233820 11078594560 9264 33554432000 4194304 4196468 140729099049584 140513439995728 140514887042971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14054] ppid=13989 vsize=10818940 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13992/task/14054/stat : 14054 (java) S 13989 13992 9865 0 -1 1077944384 358 13329 0 0 1 0 5 3 20 0 15 0 407233820 11078594560 9264 33554432000 4194304 4196468 140729099049584 140513888930672 140514887035522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14055] ppid=13989 vsize=10818940 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/13992/task/14055/stat : 14055 (java) S 13989 13992 9865 0 -1 1077944384 272 13329 0 0 1 0 5 3 20 0 15 0 407233820 11078594560 9264 33554432000 4194304 4196468 140729099049584 140513887877872 140514887035522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14056] ppid=13989 vsize=10818940 memory=139812917069440 CPUtime=0.11 cores=0,2,4,6
/proc/13992/task/14056/stat : 14056 (java) S 13989 13992 9865 0 -1 1077944384 687 13329 0 0 3 0 5 3 20 0 15 0 407233820 11078594560 9264 33554432000 4194304 4196468 140729099049584 140513886825072 140514887035522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14057] ppid=13989 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14057/stat : 14057 (java) S 13989 13992 9865 0 -1 1077944384 3 13329 0 0 0 0 5 3 20 0 15 0 407233821 11078594560 9264 33554432000 4194304 4196468 140729099049584 140513406438112 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14058] ppid=13989 vsize=10818940 memory=139812917069440 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14058/stat : 14058 (java) S 13989 13992 9865 0 -1 1077944384 1 13329 0 0 0 0 5 3 20 0 15 0 407233821 11078594560 9264 33554432000 4194304 4196468 140729099049584 140513885772464 140514887035522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 37020 KiB
[startup+0.310843 s]*
/proc/loadavg: 1.98 1.66 1.51 3/228 14058
/proc/meminfo: memFree=21244200/32770624 swapFree=66939824/67108860
[pid=13992] ppid=13989 vsize=10819084 memory=45600 CPUtime=0.4 cores=0,2,4,6
/proc/13992/stat : 13992 (java) S 13989 13992 9865 0 -1 1077944320 10622 13329 0 0 29 3 5 3 20 0 15 0 407233806 11078742016 11400 33554432000 4194304 4196468 140729099049584 140729099032128 140514887024375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
/proc/13992/statm: 2704771 11400 3047 1 0 2667149 0
[pid=13992/tid=14045] ppid=13989 vsize=10819084 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/13992/task/14045/stat : 14045 (java) R 13989 13992 9865 0 -1 4202560 7017 13329 0 0 19 2 5 3 20 0 15 0 407233815 11078742016 11400 33554432000 4194304 4196468 140729099049584 140514858845776 140514887036310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14046] ppid=13989 vsize=10819084 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14046/stat : 14046 (java) S 13989 13992 9865 0 -1 1077944384 1 13329 0 0 0 0 5 3 20 0 15 0 407233816 11078742016 11400 33554432000 4194304 4196468 140729099049584 140514891267216 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14047] ppid=13989 vsize=10819084 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14047/stat : 14047 (java) S 13989 13992 9865 0 -1 1077944384 1 13329 0 0 0 0 5 3 20 0 15 0 407233816 11078742016 11400 33554432000 4194304 4196468 140729099049584 140514823179280 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14048] ppid=13989 vsize=10819084 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14048/stat : 14048 (java) S 13989 13992 9865 0 -1 1077944384 1 13329 0 0 0 0 5 3 20 0 15 0 407233816 11078742016 11400 33554432000 4194304 4196468 140729099049584 140514458733456 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14049] ppid=13989 vsize=10819084 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14049/stat : 14049 (java) S 13989 13992 9865 0 -1 1077944384 2 13329 0 0 0 0 5 3 20 0 15 0 407233816 11078742016 11400 33554432000 4194304 4196468 140729099049584 140514457680656 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14050] ppid=13989 vsize=10819084 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14050/stat : 14050 (java) S 13989 13992 9865 0 -1 1077944384 2 13329 0 0 0 0 5 3 20 0 15 0 407233817 11078742016 11400 33554432000 4194304 4196468 140729099049584 140513889982832 140514887035522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14051] ppid=13989 vsize=10819084 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14051/stat : 14051 (java) S 13989 13992 9865 0 -1 1077944384 13 13329 0 0 0 0 5 3 20 0 15 0 407233817 11078742016 11400 33554432000 4194304 4196468 140729099049584 140513814504480 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14052] ppid=13989 vsize=10819084 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14052/stat : 14052 (java) S 13989 13992 9865 0 -1 1077944384 1 13329 0 0 0 0 5 3 20 0 15 0 407233818 11078742016 11400 33554432000 4194304 4196468 140729099049584 140513680286576 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14053] ppid=13989 vsize=10819084 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14053/stat : 14053 (java) S 13989 13992 9865 0 -1 1077944384 3 13329 0 0 0 0 5 3 20 0 15 0 407233820 11078742016 11400 33554432000 4194304 4196468 140729099049584 140513439995728 140514887042971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14054] ppid=13989 vsize=10819084 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/13992/task/14054/stat : 14054 (java) S 13989 13992 9865 0 -1 1077944384 365 13329 0 0 2 0 5 3 20 0 15 0 407233820 11078742016 11400 33554432000 4194304 4196468 140729099049584 140513888930672 140514887035522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14055] ppid=13989 vsize=10819084 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/13992/task/14055/stat : 14055 (java) S 13989 13992 9865 0 -1 1077944384 275 13329 0 0 1 0 5 3 20 0 15 0 407233820 11078742016 11400 33554432000 4194304 4196468 140729099049584 140513887877872 140514887035522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14056] ppid=13989 vsize=10819084 memory=139812917069440 CPUtime=0.13 cores=0,2,4,6
/proc/13992/task/14056/stat : 14056 (java) S 13989 13992 9865 0 -1 1077944384 733 13329 0 0 5 0 5 3 20 0 15 0 407233820 11078742016 11400 33554432000 4194304 4196468 140729099049584 140513886825072 140514887035522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14057] ppid=13989 vsize=10819084 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14057/stat : 14057 (java) S 13989 13992 9865 0 -1 1077944384 3 13329 0 0 0 0 5 3 20 0 15 0 407233821 11078742016 11400 33554432000 4194304 4196468 140729099049584 140513406438112 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14058] ppid=13989 vsize=10819084 memory=139812917069440 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14058/stat : 14058 (java) S 13989 13992 9865 0 -1 1077944384 1 13329 0 0 0 0 5 3 20 0 15 0 407233821 11078742016 11400 33554432000 4194304 4196468 140729099049584 140513885772464 140514887035522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10819084 KiB
Current children cumulated memory: 45600 KiB
[startup+0.70086 s]
/proc/loadavg: 1.98 1.66 1.51 3/228 14058
/proc/meminfo: memFree=21230412/32770624 swapFree=66939824/67108860
[pid=13992] ppid=13989 vsize=10824340 memory=79528 CPUtime=1.14 cores=0,2,4,6
/proc/13992/stat : 13992 (java) S 13989 13992 9865 0 -1 1077944320 15082 13329 0 0 101 5 5 3 20 0 15 0 407233806 11084124160 19882 33554432000 4194304 4196468 140729099049584 140729099032128 140514887024375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
/proc/13992/statm: 2706085 19882 3506 1 0 2668173 0
[pid=13992/tid=14045] ppid=13989 vsize=10824340 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/13992/task/14045/stat : 14045 (java) R 13989 13992 9865 0 -1 4202560 10537 13329 0 0 56 3 5 3 20 0 15 0 407233815 11084124160 19882 33554432000 4194304 4196468 140729099049584 140514858853952 140514887048253 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14046] ppid=13989 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14046/stat : 14046 (java) S 13989 13992 9865 0 -1 1077944384 1 13329 0 0 0 0 5 3 20 0 15 0 407233816 11084124160 19882 33554432000 4194304 4196468 140729099049584 140514891267216 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14047] ppid=13989 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14047/stat : 14047 (java) S 13989 13992 9865 0 -1 1077944384 1 13329 0 0 0 0 5 3 20 0 15 0 407233816 11084124160 19882 33554432000 4194304 4196468 140729099049584 140514823179280 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14048] ppid=13989 vsize=10824340 memory=139812795461840 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14048/stat : 14048 (java) S 13989 13992 9865 0 -1 1077944384 1 13329 0 0 0 0 5 3 20 0 15 0 407233816 11084124160 19882 33554432000 4194304 4196468 140729099049584 140514458733456 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14049] ppid=13989 vsize=10824340 memory=139814070387307 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14049/stat : 14049 (java) S 13989 13992 9865 0 -1 1077944384 2 13329 0 0 0 0 5 3 20 0 15 0 407233816 11084124160 19882 33554432000 4194304 4196468 140729099049584 140514457680656 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14050] ppid=13989 vsize=10824340 memory=1064 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14050/stat : 14050 (java) S 13989 13992 9865 0 -1 1077944384 5 13329 0 0 0 0 5 3 20 0 15 0 407233817 11084124160 19882 33554432000 4194304 4196468 140729099049584 140513889982832 140514887035522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14051] ppid=13989 vsize=10824340 memory=7014751519650698577 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14051/stat : 14051 (java) S 13989 13992 9865 0 -1 1077944384 13 13329 0 0 0 0 5 3 20 0 15 0 407233817 11084124160 19882 33554432000 4194304 4196468 140729099049584 140513814504480 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14052] ppid=13989 vsize=10824340 memory=7885636184287302246 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14052/stat : 14052 (java) S 13989 13992 9865 0 -1 1077944384 1 13329 0 0 0 0 5 3 20 0 15 0 407233818 11084124160 19882 33554432000 4194304 4196468 140729099049584 140513680286576 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14053] ppid=13989 vsize=10824340 memory=14056 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14053/stat : 14053 (java) S 13989 13992 9865 0 -1 1077944384 3 13329 0 0 0 0 5 3 20 0 15 0 407233820 11084124160 19882 33554432000 4194304 4196468 140729099049584 140513439995728 140514887042971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14054] ppid=13989 vsize=10824340 memory=2116 CPUtime=0.22 cores=0,2,4,6
/proc/13992/task/14054/stat : 14054 (java) S 13989 13992 9865 0 -1 1077944384 726 13329 0 0 14 0 5 3 20 0 15 0 407233820 11084124160 19882 33554432000 4194304 4196468 140729099049584 140513888930672 140514887035522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14055] ppid=13989 vsize=10824340 memory=520 CPUtime=0.2 cores=0,2,4,6
/proc/13992/task/14055/stat : 14055 (java) R 13989 13992 9865 0 -1 4202560 565 13329 0 0 12 0 5 3 20 0 15 0 407233820 11084124160 19882 33554432000 4194304 4196468 140729099049584 140513887864336 140514865440677 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14056] ppid=13989 vsize=10824340 memory=1560 CPUtime=0.25 cores=0,2,4,6
/proc/13992/task/14056/stat : 14056 (java) R 13989 13992 9865 0 -1 4202560 1020 13329 0 0 17 0 5 3 20 0 15 0 407233820 11084124160 19882 33554432000 4194304 4196468 140729099049584 140513886825072 140514880129078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14057] ppid=13989 vsize=10824340 memory=924 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14057/stat : 14057 (java) S 13989 13992 9865 0 -1 1077944384 3 13329 0 0 0 0 5 3 20 0 15 0 407233821 11084124160 19882 33554432000 4194304 4196468 140729099049584 140513406438112 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14058] ppid=13989 vsize=10824340 memory=3688 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14058/stat : 14058 (java) S 13989 13992 9865 0 -1 1077944384 1 13329 0 0 0 0 5 3 20 0 15 0 407233821 11084124160 19882 33554432000 4194304 4196468 140729099049584 140513885772464 140514887035522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 79528 KiB
[startup+1.5007 s]
/proc/loadavg: 1.98 1.66 1.51 3/228 14058
/proc/meminfo: memFree=21186396/32770624 swapFree=66939824/67108860
[pid=13992] ppid=13989 vsize=10834656 memory=179032 CPUtime=2.69 cores=0,2,4,6
/proc/13992/stat : 13992 (java) S 13989 13992 9865 0 -1 1077944320 26218 13329 0 0 251 10 5 3 20 0 15 0 407233806 11094687744 44758 33554432000 4194304 4196468 140729099049584 140729099032128 140514887024375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
/proc/13992/statm: 2708664 44758 3579 1 0 2670733 0
[pid=13992/tid=14045] ppid=13989 vsize=10834656 memory=175380 CPUtime=1.43 cores=0,2,4,6
/proc/13992/task/14045/stat : 14045 (java) R 13989 13992 9865 0 -1 4202560 15935 13329 0 0 130 5 5 3 20 0 15 0 407233815 11094687744 44758 33554432000 4194304 4196468 140729099049584 140514858842304 140514489294054 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14046] ppid=13989 vsize=10834656 memory=6944656592455359580 CPUtime=0.09 cores=0,2,4,6
/proc/13992/task/14046/stat : 14046 (java) S 13989 13992 9865 0 -1 1077944384 76 13329 0 0 1 0 5 3 20 0 15 0 407233816 11094687744 44758 33554432000 4194304 4196468 140729099049584 140514891267216 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14047] ppid=13989 vsize=10834656 memory=7976406965554101975 CPUtime=0.09 cores=0,2,4,6
/proc/13992/task/14047/stat : 14047 (java) S 13989 13992 9865 0 -1 1077944384 286 13329 0 0 1 0 5 3 20 0 15 0 407233816 11094687744 44758 33554432000 4194304 4196468 140729099049584 140514823179280 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14048] ppid=13989 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14048/stat : 14048 (java) S 13989 13992 9865 0 -1 1077944384 31 13329 0 0 0 0 5 3 20 0 15 0 407233816 11094687744 44758 33554432000 4194304 4196468 140729099049584 140514458733456 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14049] ppid=13989 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13992/task/14049/stat : 14049 (java) S 13989 13992 9865 0 -1 1077944384 105 13329 0 0 1 0 5 3 20 0 15 0 407233816 11094687744 44758 33554432000 4194304 4196468 140729099049584 140514457680656 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14050] ppid=13989 vsize=10834656 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13992/task/14050/stat : 14050 (java) S 13989 13992 9865 0 -1 1077944384 1405 13329 0 0 1 0 5 3 20 0 15 0 407233817 11094687744 44758 33554432000 4194304 4196468 140729099049584 140513889982832 140514887035522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14051] ppid=13989 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14051/stat : 14051 (java) S 13989 13992 9865 0 -1 1077944384 13 13329 0 0 0 0 5 3 20 0 15 0 407233817 11094687744 44758 33554432000 4194304 4196468 140729099049584 140513814504544 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14052] ppid=13989 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14052/stat : 14052 (java) S 13989 13992 9865 0 -1 1077944384 2 13329 0 0 0 0 5 3 20 0 15 0 407233818 11094687744 44758 33554432000 4194304 4196468 140729099049584 140513680286592 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14053] ppid=13989 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14053/stat : 14053 (java) S 13989 13992 9865 0 -1 1077944384 3 13329 0 0 0 0 5 3 20 0 15 0 407233820 11094687744 44758 33554432000 4194304 4196468 140729099049584 140513439995728 140514887042971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14054] ppid=13989 vsize=10834656 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/13992/task/14054/stat : 14054 (java) S 13989 13992 9865 0 -1 1077944384 1769 13329 0 0 36 0 5 3 20 0 15 0 407233820 11094687744 44758 33554432000 4194304 4196468 140729099049584 140513888930672 140514887035522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14055] ppid=13989 vsize=10834656 memory=4580 CPUtime=0.42 cores=0,2,4,6
/proc/13992/task/14055/stat : 14055 (java) S 13989 13992 9865 0 -1 1077944384 2091 13329 0 0 34 0 5 3 20 0 15 0 407233820 11094687744 44758 33554432000 4194304 4196468 140729099049584 140513887877872 140514887035522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14056] ppid=13989 vsize=10834656 memory=7517476922023830123 CPUtime=0.5 cores=0,2,4,6
/proc/13992/task/14056/stat : 14056 (java) S 13989 13992 9865 0 -1 1077944384 2293 13329 0 0 42 0 5 3 20 0 15 0 407233820 11094687744 44758 33554432000 4194304 4196468 140729099049584 140513886825072 140514887035522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14057] ppid=13989 vsize=10834656 memory=7597132098393106257 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14057/stat : 14057 (java) S 13989 13992 9865 0 -1 1077944384 3 13329 0 0 0 0 5 3 20 0 15 0 407233821 11094687744 44758 33554432000 4194304 4196468 140729099049584 140513406438112 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14058] ppid=13989 vsize=10834656 memory=7446541903638259811 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14058/stat : 14058 (java) S 13989 13992 9865 0 -1 1077944384 1 13329 0 0 0 0 5 3 20 0 15 0 407233821 11094687744 44758 33554432000 4194304 4196468 140729099049584 140513885772464 140514887035522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
[startup+5.11883 s]
# the end of solver process 13992 was just reported to runsolver
# cumulated CPU time of all completed processes: user=11.9639 s, system=0.248743 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20569 s]
/proc/loadavg: 1.90 1.65 1.51 5/228 14058
/proc/meminfo: memFree=21042836/32770624 swapFree=66939824/67108860
[pid=13992] ppid=13989 vsize=10844916 memory=275056 CPUtime=7.18 cores=0,2,4,6
/proc/13992/stat : 13992 (java) S 13989 13992 9865 0 -1 1077944320 37439 13329 0 0 694 16 5 3 20 0 15 0 407233806 11105193984 68764 33554432000 4194304 4196468 140729099049584 140729099032128 140514887024375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
/proc/13992/statm: 2711229 68764 3600 1 0 2673293 0
[pid=13992/tid=14045] ppid=13989 vsize=10844916 memory=-6876588627878687573 CPUtime=3.07 cores=0,2,4,6
/proc/13992/task/14045/stat : 14045 (java) R 13989 13992 9865 0 -1 4202560 19840 13329 0 0 292 7 5 3 20 0 15 0 407233815 11105193984 68764 33554432000 4194304 4196468 140729099049584 140514858857792 140514871104862 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14046] ppid=13989 vsize=10844916 memory=-7812736537705029536 CPUtime=0.11 cores=0,2,4,6
/proc/13992/task/14046/stat : 14046 (java) S 13989 13992 9865 0 -1 1077944384 87 13329 0 0 3 0 5 3 20 0 15 0 407233816 11105193984 68764 33554432000 4194304 4196468 140729099049584 140514891267216 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14047] ppid=13989 vsize=10844916 memory=7681407940103534239 CPUtime=0.11 cores=0,2,4,6
/proc/13992/task/14047/stat : 14047 (java) S 13989 13992 9865 0 -1 1077944384 297 13329 0 0 3 0 5 3 20 0 15 0 407233816 11105193984 68764 33554432000 4194304 4196468 140729099049584 140514823179280 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14048] ppid=13989 vsize=10844916 memory=6655300316396806240 CPUtime=0.12 cores=0,2,4,6
/proc/13992/task/14048/stat : 14048 (java) S 13989 13992 9865 0 -1 1077944384 47 13329 0 0 3 1 5 3 20 0 15 0 407233816 11105193984 68764 33554432000 4194304 4196468 140729099049584 140514458733456 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14049] ppid=13989 vsize=10844916 memory=6656426216303648864 CPUtime=0.11 cores=0,2,4,6
/proc/13992/task/14049/stat : 14049 (java) S 13989 13992 9865 0 -1 1077944384 109 13329 0 0 3 0 5 3 20 0 15 0 407233816 11105193984 68764 33554432000 4194304 4196468 140729099049584 140514457680656 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14050] ppid=13989 vsize=10844916 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/13992/task/14050/stat : 14050 (java) S 13989 13992 9865 0 -1 1077944384 1602 13329 0 0 3 0 5 3 20 0 15 0 407233817 11105193984 68764 33554432000 4194304 4196468 140729099049584 140513889982832 140514887035522 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14051] ppid=13989 vsize=10844916 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14051/stat : 14051 (java) S 13989 13992 9865 0 -1 1077944384 13 13329 0 0 0 0 5 3 20 0 15 0 407233817 11105193984 68764 33554432000 4194304 4196468 140729099049584 140513814504544 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14052] ppid=13989 vsize=10844916 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14052/stat : 14052 (java) S 13989 13992 9865 0 -1 1077944384 2 13329 0 0 0 0 5 3 20 0 15 0 407233818 11105193984 68764 33554432000 4194304 4196468 140729099049584 140513680286592 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14053] ppid=13989 vsize=10844916 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14053/stat : 14053 (java) S 13989 13992 9865 0 -1 1077944384 3 13329 0 0 0 0 5 3 20 0 15 0 407233820 11105193984 68764 33554432000 4194304 4196468 140729099049584 140513439995728 140514887042971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14054] ppid=13989 vsize=10844916 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/13992/task/14054/stat : 14054 (java) R 13989 13992 9865 0 -1 1077944384 3434 13329 0 0 123 1 5 3 20 0 15 0 407233820 11105193984 68764 33554432000 4194304 4196468 140729099049584 140513888930672 140514887035522 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14055] ppid=13989 vsize=10844916 memory=2241 CPUtime=1.41 cores=0,2,4,6
/proc/13992/task/14055/stat : 14055 (java) R 13989 13992 9865 0 -1 4202560 4322 13329 0 0 132 1 5 3 20 0 15 0 407233820 11105193984 68764 33554432000 4194304 4196468 140729099049584 140513887864224 140514868545457 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14056] ppid=13989 vsize=10844916 memory=2244 CPUtime=1.36 cores=0,2,4,6
/proc/13992/task/14056/stat : 14056 (java) R 13989 13992 9865 0 -1 4202560 5473 13329 0 0 126 2 5 3 20 0 15 0 407233820 11105193984 68764 33554432000 4194304 4196468 140729099049584 140513886822008 140514865993455 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14057] ppid=13989 vsize=10844916 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14057/stat : 14057 (java) S 13989 13992 9865 0 -1 1077944384 3 13329 0 0 0 0 5 3 20 0 15 0 407233821 11105193984 68764 33554432000 4194304 4196468 140729099049584 140513406438112 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14058] ppid=13989 vsize=10844916 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14058/stat : 14058 (java) S 13989 13992 9865 0 -1 1077944384 3 13329 0 0 0 0 5 3 20 0 15 0 407233821 11105193984 68764 33554432000 4194304 4196468 140729099049584 140513885772464 140514887035522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
Current children cumulated CPU time: 7.18 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 275056 KiB
[startup+4.00066 s]*
/proc/loadavg: 1.90 1.65 1.51 5/228 14058
/proc/meminfo: memFree=21009212/32770624 swapFree=66939824/67108860
[pid=13992] ppid=13989 vsize=10849012 memory=284404 CPUtime=9.48 cores=0,2,4,6
/proc/13992/stat : 13992 (java) S 13989 13992 9865 0 -1 1077944320 46387 13329 0 0 922 18 5 3 20 0 15 0 407233806 11109388288 71101 33554432000 4194304 4196468 140729099049584 140729099032128 140514887024375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
/proc/13992/statm: 2712253 71101 3604 1 0 2674317 0
[pid=13992/tid=14045] ppid=13989 vsize=10849012 memory=8317482817917895235 CPUtime=3.87 cores=0,2,4,6
/proc/13992/task/14045/stat : 14045 (java) R 13989 13992 9865 0 -1 4202560 24397 13329 0 0 371 8 5 3 20 0 15 0 407233815 11109388288 71101 33554432000 4194304 4196468 140729099049584 140514858857208 140514505731972 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14046] ppid=13989 vsize=10849012 memory=4872558044660077418 CPUtime=0.11 cores=0,2,4,6
/proc/13992/task/14046/stat : 14046 (java) S 13989 13992 9865 0 -1 1077944384 87 13329 0 0 3 0 5 3 20 0 15 0 407233816 11109388288 71101 33554432000 4194304 4196468 140729099049584 140514891267216 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14047] ppid=13989 vsize=10849012 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/13992/task/14047/stat : 14047 (java) S 13989 13992 9865 0 -1 1077944384 297 13329 0 0 3 0 5 3 20 0 15 0 407233816 11109388288 71101 33554432000 4194304 4196468 140729099049584 140514823179280 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14048] ppid=13989 vsize=10849012 memory=-3040564339240289162 CPUtime=0.12 cores=0,2,4,6
/proc/13992/task/14048/stat : 14048 (java) S 13989 13992 9865 0 -1 1077944384 47 13329 0 0 3 1 5 3 20 0 15 0 407233816 11109388288 71101 33554432000 4194304 4196468 140729099049584 140514458733456 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14049] ppid=13989 vsize=10849012 memory=6943526294502006880 CPUtime=0.11 cores=0,2,4,6
/proc/13992/task/14049/stat : 14049 (java) S 13989 13992 9865 0 -1 1077944384 109 13329 0 0 3 0 5 3 20 0 15 0 407233816 11109388288 71101 33554432000 4194304 4196468 140729099049584 140514457680656 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14050] ppid=13989 vsize=10849012 memory=6944656592387989600 CPUtime=0.11 cores=0,2,4,6
/proc/13992/task/14050/stat : 14050 (java) S 13989 13992 9865 0 -1 1077944384 2986 13329 0 0 3 0 5 3 20 0 15 0 407233817 11109388288 71101 33554432000 4194304 4196468 140729099049584 140513889982832 140514887035522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14051] ppid=13989 vsize=10849012 memory=-7161732098442470212 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14051/stat : 14051 (java) S 13989 13992 9865 0 -1 1077944384 13 13329 0 0 0 0 5 3 20 0 15 0 407233817 11109388288 71101 33554432000 4194304 4196468 140729099049584 140513814504544 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14052] ppid=13989 vsize=10849012 memory=7445129005055890800 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14052/stat : 14052 (java) S 13989 13992 9865 0 -1 1077944384 2 13329 0 0 0 0 5 3 20 0 15 0 407233818 11109388288 71101 33554432000 4194304 4196468 140729099049584 140513680286592 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14053] ppid=13989 vsize=10849012 memory=3053811428158493008 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14053/stat : 14053 (java) S 13989 13992 9865 0 -1 1077944384 3 13329 0 0 0 0 5 3 20 0 15 0 407233820 11109388288 71101 33554432000 4194304 4196468 140729099049584 140513439995728 140514887042971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14054] ppid=13989 vsize=10849012 memory=6940425714476859492 CPUtime=1.84 cores=0,2,4,6
/proc/13992/task/14054/stat : 14054 (java) R 13989 13992 9865 0 -1 4202560 3962 13329 0 0 175 1 5 3 20 0 15 0 407233820 11109388288 71101 33554432000 4194304 4196468 140729099049584 140513888930800 140514871951063 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14055] ppid=13989 vsize=10849012 memory=3054355819557830758 CPUtime=1.97 cores=0,2,4,6
/proc/13992/task/14055/stat : 14055 (java) R 13989 13992 9865 0 -1 4202560 4971 13329 0 0 188 1 5 3 20 0 15 0 407233820 11109388288 71101 33554432000 4194304 4196468 140729099049584 140513887860944 140514868542274 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14056] ppid=13989 vsize=10849012 memory=3467841327271012672 CPUtime=1.78 cores=0,2,4,6
/proc/13992/task/14056/stat : 14056 (java) R 13989 13992 9865 0 -1 1077944384 7299 13329 0 0 168 2 5 3 20 0 15 0 407233820 11109388288 71101 33554432000 4194304 4196468 140729099049584 140513886825072 140514887035522 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14057] ppid=13989 vsize=10849012 memory=-9001734013606258791 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14057/stat : 14057 (java) S 13989 13992 9865 0 -1 1077944384 3 13329 0 0 0 0 5 3 20 0 15 0 407233821 11109388288 71101 33554432000 4194304 4196468 140729099049584 140513406438112 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14058] ppid=13989 vsize=10849012 memory=-7384994778349281184 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14058/stat : 14058 (java) S 13989 13992 9865 0 -1 1077944384 6 13329 0 0 0 0 5 3 20 0 15 0 407233821 11109388288 71101 33554432000 4194304 4196468 140729099049584 140513885772464 140514887035522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
Current children cumulated CPU time: 9.48 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 284404 KiB
[startup+4.80075 s]
/proc/loadavg: 1.90 1.65 1.51 5/228 14058
/proc/meminfo: memFree=21009212/32770624 swapFree=66939824/67108860
[pid=13992] ppid=13989 vsize=10849012 memory=312620 CPUtime=11.69 cores=0,2,4,6
/proc/13992/stat : 13992 (java) S 13989 13992 9865 0 -1 1077944320 47950 13329 0 0 1142 19 5 3 20 0 15 0 407233806 11109388288 78155 33554432000 4194304 4196468 140729099049584 140729099032128 140514887024375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
/proc/13992/statm: 2712253 78155 3613 1 0 2674317 0
[pid=13992/tid=14045] ppid=13989 vsize=10849012 memory=2241 CPUtime=4.65 cores=0,2,4,6
/proc/13992/task/14045/stat : 14045 (java) R 13989 13992 9865 0 -1 4202560 24440 13329 0 0 449 8 5 3 20 0 15 0 407233815 11109388288 78155 33554432000 4194304 4196468 140729099049584 140514858856048 140514887036310 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14046] ppid=13989 vsize=10849012 memory=210916 CPUtime=0.12 cores=0,2,4,6
/proc/13992/task/14046/stat : 14046 (java) S 13989 13992 9865 0 -1 1077944384 95 13329 0 0 4 0 5 3 20 0 15 0 407233816 11109388288 78155 33554432000 4194304 4196468 140729099049584 140514891267216 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14047] ppid=13989 vsize=10849012 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/13992/task/14047/stat : 14047 (java) S 13989 13992 9865 0 -1 1077944384 315 13329 0 0 4 0 5 3 20 0 15 0 407233816 11109388288 78155 33554432000 4194304 4196468 140729099049584 140514823179280 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14048] ppid=13989 vsize=10849012 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/13992/task/14048/stat : 14048 (java) S 13989 13992 9865 0 -1 1077944384 178 13329 0 0 3 1 5 3 20 0 15 0 407233816 11109388288 78155 33554432000 4194304 4196468 140729099049584 140514458733456 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14049] ppid=13989 vsize=10849012 memory=281356 CPUtime=0.12 cores=0,2,4,6
/proc/13992/task/14049/stat : 14049 (java) S 13989 13992 9865 0 -1 1077944384 142 13329 0 0 4 0 5 3 20 0 15 0 407233816 11109388288 78155 33554432000 4194304 4196468 140729099049584 140514457680656 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14050] ppid=13989 vsize=10849012 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/13992/task/14050/stat : 14050 (java) S 13989 13992 9865 0 -1 1077944384 3001 13329 0 0 4 0 5 3 20 0 15 0 407233817 11109388288 78155 33554432000 4194304 4196468 140729099049584 140513889982832 140514887035522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14051] ppid=13989 vsize=10849012 memory=4580 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14051/stat : 14051 (java) S 13989 13992 9865 0 -1 1077944384 14 13329 0 0 0 0 5 3 20 0 15 0 407233817 11109388288 78155 33554432000 4194304 4196468 140729099049584 140513814504608 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14052] ppid=13989 vsize=10849012 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14052/stat : 14052 (java) S 13989 13992 9865 0 -1 1077944384 3 13329 0 0 0 0 5 3 20 0 15 0 407233818 11109388288 78155 33554432000 4194304 4196468 140729099049584 140513680286592 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14053] ppid=13989 vsize=10849012 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14053/stat : 14053 (java) S 13989 13992 9865 0 -1 1077944384 3 13329 0 0 0 0 5 3 20 0 15 0 407233820 11109388288 78155 33554432000 4194304 4196468 140729099049584 140513439995728 140514887042971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14054] ppid=13989 vsize=10849012 memory=0 CPUtime=2.43 cores=0,2,4,6
/proc/13992/task/14054/stat : 14054 (java) S 13989 13992 9865 0 -1 1077944384 4129 13329 0 0 234 1 5 3 20 0 15 0 407233820 11109388288 78155 33554432000 4194304 4196468 140729099049584 140513888930672 140514887035522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14055] ppid=13989 vsize=10849012 memory=279625591451424 CPUtime=2.58 cores=0,2,4,6
/proc/13992/task/14055/stat : 14055 (java) S 13989 13992 9865 0 -1 1077944384 5277 13329 0 0 248 2 5 3 20 0 15 0 407233820 11109388288 78155 33554432000 4194304 4196468 140729099049584 140513887877872 140514887035522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14056] ppid=13989 vsize=10849012 memory=0 CPUtime=1.99 cores=0,2,4,6
/proc/13992/task/14056/stat : 14056 (java) R 13989 13992 9865 0 -1 4202560 8136 13329 0 0 188 3 5 3 20 0 15 0 407233820 11109388288 78155 33554432000 4194304 4196468 140729099049584 140513886825072 140514887036310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14057] ppid=13989 vsize=10849012 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14057/stat : 14057 (java) S 13989 13992 9865 0 -1 1077944384 3 13329 0 0 0 0 5 3 20 0 15 0 407233821 11109388288 78155 33554432000 4194304 4196468 140729099049584 140513406438112 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14058] ppid=13989 vsize=10849012 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14058/stat : 14058 (java) S 13989 13992 9865 0 -1 1077944384 9 13329 0 0 0 0 5 3 20 0 15 0 407233821 11109388288 78155 33554432000 4194304 4196468 140729099049584 140513885772464 140514887035522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
Current children cumulated CPU time: 11.69 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 312620 KiB
[startup+5.00086 s]*
/proc/loadavg: 1.90 1.65 1.51 5/228 14058
/proc/meminfo: memFree=20962428/32770624 swapFree=66939824/67108860
[pid=13992] ppid=13989 vsize=10849012 memory=319544 CPUtime=12.14 cores=0,2,4,6
/proc/13992/stat : 13992 (java) S 13989 13992 9865 0 -1 1077944320 48214 13329 0 0 1186 20 5 3 20 0 15 0 407233806 11109388288 79886 33554432000 4194304 4196468 140729099049584 140729099032128 140514887024375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
/proc/13992/statm: 2712253 79886 3613 1 0 2674317 0
[pid=13992/tid=14045] ppid=13989 vsize=10849012 memory=7022364594140610616 CPUtime=4.85 cores=0,2,4,6
/proc/13992/task/14045/stat : 14045 (java) R 13989 13992 9865 0 -1 4202560 24457 13329 0 0 469 8 5 3 20 0 15 0 407233815 11109388288 79886 33554432000 4194304 4196468 140729099049584 140514858856512 140514887045722 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14046] ppid=13989 vsize=10849012 memory=365 CPUtime=0.12 cores=0,2,4,6
/proc/13992/task/14046/stat : 14046 (java) S 13989 13992 9865 0 -1 1077944384 95 13329 0 0 4 0 5 3 20 0 15 0 407233816 11109388288 79886 33554432000 4194304 4196468 140729099049584 140514891267216 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14047] ppid=13989 vsize=10849012 memory=139812920037393 CPUtime=0.12 cores=0,2,4,6
/proc/13992/task/14047/stat : 14047 (java) S 13989 13992 9865 0 -1 1077944384 321 13329 0 0 4 0 5 3 20 0 15 0 407233816 11109388288 79886 33554432000 4194304 4196468 140729099049584 140514823179280 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14048] ppid=13989 vsize=10849012 memory=6944613755395144096 CPUtime=0.12 cores=0,2,4,6
/proc/13992/task/14048/stat : 14048 (java) S 13989 13992 9865 0 -1 1077944384 179 13329 0 0 3 1 5 3 20 0 15 0 407233816 11109388288 79886 33554432000 4194304 4196468 140729099049584 140514458733456 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14049] ppid=13989 vsize=10849012 memory=4207609183503205129 CPUtime=0.12 cores=0,2,4,6
/proc/13992/task/14049/stat : 14049 (java) S 13989 13992 9865 0 -1 1077944384 142 13329 0 0 4 0 5 3 20 0 15 0 407233816 11109388288 79886 33554432000 4194304 4196468 140729099049584 140514457680656 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14050] ppid=13989 vsize=10849012 memory=3471342209237907120 CPUtime=0.12 cores=0,2,4,6
/proc/13992/task/14050/stat : 14050 (java) S 13989 13992 9865 0 -1 1077944384 3016 13329 0 0 4 0 5 3 20 0 15 0 407233817 11109388288 79886 33554432000 4194304 4196468 140729099049584 140513889982832 140514887035522 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14051] ppid=13989 vsize=10849012 memory=3472328296227680299 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14051/stat : 14051 (java) S 13989 13992 9865 0 -1 1077944384 14 13329 0 0 0 0 5 3 20 0 15 0 407233817 11109388288 79886 33554432000 4194304 4196468 140729099049584 140513814504608 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14052] ppid=13989 vsize=10849012 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14052/stat : 14052 (java) S 13989 13992 9865 0 -1 1077944384 3 13329 0 0 0 0 5 3 20 0 15 0 407233818 11109388288 79886 33554432000 4194304 4196468 140729099049584 140513680286592 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14053] ppid=13989 vsize=10849012 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14053/stat : 14053 (java) S 13989 13992 9865 0 -1 1077944384 3 13329 0 0 0 0 5 3 20 0 15 0 407233820 11109388288 79886 33554432000 4194304 4196468 140729099049584 140513439995728 140514887042971 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14054] ppid=13989 vsize=10849012 memory=0 CPUtime=2.53 cores=0,2,4,6
/proc/13992/task/14054/stat : 14054 (java) S 13989 13992 9865 0 -1 1077944384 4163 13329 0 0 244 1 5 3 20 0 15 0 407233820 11109388288 79886 33554432000 4194304 4196468 140729099049584 140513888930672 140514887035522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14055] ppid=13989 vsize=10849012 memory=-1 CPUtime=2.66 cores=0,2,4,6
/proc/13992/task/14055/stat : 14055 (java) R 13989 13992 9865 0 -1 4202560 5281 13329 0 0 256 2 5 3 20 0 15 0 407233820 11109388288 79886 33554432000 4194304 4196468 140729099049584 140513887857912 140514864619120 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14056] ppid=13989 vsize=10849012 memory=279625834137664 CPUtime=2.04 cores=0,2,4,6
/proc/13992/task/14056/stat : 14056 (java) S 13989 13992 9865 0 -1 1077944384 8323 13329 0 0 193 3 5 3 20 0 15 0 407233820 11109388288 79886 33554432000 4194304 4196468 140729099049584 140513886825072 140514887035522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14057] ppid=13989 vsize=10849012 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14057/stat : 14057 (java) S 13989 13992 9865 0 -1 1077944384 3 13329 0 0 0 0 5 3 20 0 15 0 407233821 11109388288 79886 33554432000 4194304 4196468 140729099049584 140513406438112 140514887034581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
[pid=13992/tid=14058] ppid=13989 vsize=10849012 memory=279625834137664 CPUtime=0.08 cores=0,2,4,6
/proc/13992/task/14058/stat : 14058 (java) S 13989 13992 9865 0 -1 1077944384 9 13329 0 0 0 0 5 3 20 0 15 0 407233821 11109388288 79886 33554432000 4194304 4196468 140729099049584 140513885772464 140514887035522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29638656 140729099057909 140729099060421 140729099060421 140729099063247 0
Current children cumulated CPU time: 12.14 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 319544 KiB
Child status: 0
Real time (s): 5.11887
CPU time (s): 12.2126
CPU user time (s): 11.9639
CPU system time (s): 0.248743
CPU usage (%): 238.58
Max. virtual memory (cumulated for all children) (KiB): 10849012
Max. memory (cumulated for all children) (KiB): 319544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.9639
system time used= 0.248743
maximum resident set size= 321612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61634
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7559
involuntary context switches= 60
# summary of solver processes directly reported to runsolver:
# pid: 13992
# total CPU time (s): 12.2126
# total CPU user time (s): 11.9639
# total CPU system time (s): 0.248743
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.059966 second user time and 0.089441 second system time
The end