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 (6698 MiB free)
memory of node 1: 16384 MiB (8274 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294082-1532427469/watcher-4294082-1532427469 -o /tmp/evaluation-result-4294082-1532427469/solver-4294082-1532427469 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532413601-12740 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1731054394 -superng HOME/instance-4294082-1532427469.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=15927, runsolver pid=15924
Current StackSize limit: 8192 KiB
[startup+0.100446 s]*
/proc/loadavg: 1.34 1.41 1.45 3/206 15981
/proc/meminfo: memFree=15329024/32770624 swapFree=67108860/67108860
[pid=15927] ppid=15924 vsize=9972712 memory=14644 CPUtime=0.1 cores=0,2,4,6
/proc/15927/stat : 15927 (java) S 15924 15927 12709 0 -1 1077944320 4343 13148 0 0 1 1 5 3 20 0 6 0 60310130 10212057088 3661 33554432000 4194304 4196468 140732564030304 140732564012848 140170085805815 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
/proc/15927/statm: 2493178 3661 1932 1 0 2481616 0
[pid=15927/tid=15980] ppid=15924 vsize=9972712 memory=4628411388058700198 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15980/stat : 15980 (java) R 15924 15927 12709 0 -1 4202560 2170 13148 0 0 0 0 5 3 20 0 6 0 60310139 10212057088 3727 33554432000 4194304 4196468 140732564030304 140170057642576 140170071488341 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15981] ppid=15924 vsize=9972712 memory=5793855131691268537 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15981/stat : 15981 (java) S 15924 15927 12709 0 -1 1077944384 1 13148 0 0 0 0 5 3 20 0 6 0 60310140 10212057088 3727 33554432000 4194304 4196468 140732564030304 140170090047760 140170085816021 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15982] ppid=15924 vsize=9972712 memory=139880681375360 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15982/stat : 15982 (java) S 15924 15927 12709 0 -1 1077944384 1 13148 0 0 0 0 5 3 20 0 6 0 60310140 10212057088 3727 33554432000 4194304 4196468 140732564030304 140170017528208 140170085816021 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15983] ppid=15924 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15983/stat : 15983 (java) S 15924 15927 12709 0 -1 1077944384 2 13148 0 0 0 0 5 3 20 0 6 0 60310140 10212057088 3727 33554432000 4194304 4196468 140732564030304 140169657821712 140170085816021 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15984] ppid=15924 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15984/stat : 15984 (java) S 15924 15927 12709 0 -1 1077944384 3 13148 0 0 0 0 5 3 20 0 6 0 60310140 10212057088 3727 33554432000 4194304 4196468 140732564030304 140169656769168 140170085816021 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14644 KiB
[startup+0.210822 s]*
/proc/loadavg: 1.34 1.41 1.45 3/218 15993
/proc/meminfo: memFree=15306092/32770624 swapFree=67108860/67108860
[pid=15927] ppid=15924 vsize=10818904 memory=40568 CPUtime=0.26 cores=0,2,4,6
/proc/15927/stat : 15927 (java) S 15924 15927 12709 0 -1 1077944320 7892 13148 0 0 16 2 5 3 20 0 15 0 60310130 11078557696 10142 33554432000 4194304 4196468 140732564030304 140732564012848 140170085805815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
/proc/15927/statm: 2704726 10142 2966 1 0 2667149 0
[pid=15927/tid=15980] ppid=15924 vsize=10818904 memory=-8540663193526752614 CPUtime=0.19 cores=0,2,4,6
/proc/15927/task/15980/stat : 15980 (java) R 15924 15927 12709 0 -1 4202560 4615 13148 0 0 10 1 5 3 20 0 15 0 60310139 11078557696 10274 33554432000 4194304 4196468 140732564030304 140170057622928 140170066081643 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15981] ppid=15924 vsize=10818904 memory=4211973606886165898 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15981/stat : 15981 (java) S 15924 15927 12709 0 -1 1077944384 1 13148 0 0 0 0 5 3 20 0 15 0 60310140 11078557696 10274 33554432000 4194304 4196468 140732564030304 140170090047760 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15982] ppid=15924 vsize=10818904 memory=139880681375360 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15982/stat : 15982 (java) S 15924 15927 12709 0 -1 1077944384 1 13148 0 0 0 0 5 3 20 0 15 0 60310140 11078557696 10274 33554432000 4194304 4196468 140732564030304 140170017528208 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15983] ppid=15924 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15983/stat : 15983 (java) S 15924 15927 12709 0 -1 1077944384 2 13148 0 0 0 0 5 3 20 0 15 0 60310140 11078557696 10274 33554432000 4194304 4196468 140732564030304 140169657821712 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15984] ppid=15924 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15984/stat : 15984 (java) S 15924 15927 12709 0 -1 1077944384 3 13148 0 0 0 0 5 3 20 0 15 0 60310140 11078557696 10274 33554432000 4194304 4196468 140732564030304 140169656769168 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15985] ppid=15924 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15985/stat : 15985 (java) S 15924 15927 12709 0 -1 1077944384 2 13148 0 0 0 0 5 3 20 0 15 0 60310141 11078557696 10274 33554432000 4194304 4196468 140732564030304 140169544980976 140170085816962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15986] ppid=15924 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15986/stat : 15986 (java) S 15924 15927 12709 0 -1 1077944384 33 13148 0 0 0 0 5 3 20 0 15 0 60310142 11078557696 10274 33554432000 4194304 4196468 140732564030304 140169543927200 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15987] ppid=15924 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15987/stat : 15987 (java) S 15924 15927 12709 0 -1 1077944384 1 13148 0 0 0 0 5 3 20 0 15 0 60310142 11078557696 10274 33554432000 4194304 4196468 140732564030304 140168942052848 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15988] ppid=15924 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15988/stat : 15988 (java) S 15924 15927 12709 0 -1 1077944384 3 13148 0 0 0 0 5 3 20 0 15 0 60310145 11078557696 10274 33554432000 4194304 4196468 140732564030304 140168634653392 140170085824411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15989] ppid=15924 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15927/task/15989/stat : 15989 (java) S 15924 15927 12709 0 -1 1077944384 535 13148 0 0 1 0 5 3 20 0 15 0 60310145 11078557696 10274 33554432000 4194304 4196468 140732564030304 140169510369264 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15990] ppid=15924 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15990/stat : 15990 (java) S 15924 15927 12709 0 -1 1077944384 55 13148 0 0 0 0 5 3 20 0 15 0 60310145 11078557696 10274 33554432000 4194304 4196468 140732564030304 140169509316720 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15991] ppid=15924 vsize=10818904 memory=139880681375360 CPUtime=0.11 cores=0,2,4,6
/proc/15927/task/15991/stat : 15991 (java) S 15924 15927 12709 0 -1 1077944384 540 13148 0 0 3 0 5 3 20 0 15 0 60310145 11078557696 10274 33554432000 4194304 4196468 140732564030304 140169508264176 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15992] ppid=15924 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15992/stat : 15992 (java) S 15924 15927 12709 0 -1 1077944384 3 13148 0 0 0 0 5 3 20 0 15 0 60310145 11078557696 10274 33554432000 4194304 4196468 140732564030304 140168601094752 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15993] ppid=15924 vsize=10818904 memory=139880681375360 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15993/stat : 15993 (java) S 15924 15927 12709 0 -1 1077944384 1 13148 0 0 0 0 5 3 20 0 15 0 60310145 11078557696 10274 33554432000 4194304 4196468 140732564030304 140169507212080 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 40568 KiB
[startup+0.310697 s]*
/proc/loadavg: 1.34 1.41 1.45 3/218 15993
/proc/meminfo: memFree=15295240/32770624 swapFree=67108860/67108860
[pid=15927] ppid=15924 vsize=10819352 memory=51728 CPUtime=0.38 cores=0,2,4,6
/proc/15927/stat : 15927 (java) S 15924 15927 12709 0 -1 1077944320 10494 13148 0 0 27 3 5 3 20 0 15 0 60310130 11079016448 12932 33554432000 4194304 4196468 140732564030304 140732564012848 140170085805815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
/proc/15927/statm: 2704838 12932 3085 1 0 2667149 0
[pid=15927/tid=15980] ppid=15924 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/15927/task/15980/stat : 15980 (java) R 15924 15927 12709 0 -1 4202560 7118 13148 0 0 19 2 5 3 20 0 15 0 60310139 11079016448 12932 33554432000 4194304 4196468 140732564030304 140170057617824 140170069886302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15981] ppid=15924 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15981/stat : 15981 (java) S 15924 15927 12709 0 -1 1077944384 1 13148 0 0 0 0 5 3 20 0 15 0 60310140 11079016448 12932 33554432000 4194304 4196468 140732564030304 140170090047760 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15982] ppid=15924 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15982/stat : 15982 (java) S 15924 15927 12709 0 -1 1077944384 1 13148 0 0 0 0 5 3 20 0 15 0 60310140 11079016448 12932 33554432000 4194304 4196468 140732564030304 140170017528208 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15983] ppid=15924 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15983/stat : 15983 (java) S 15924 15927 12709 0 -1 1077944384 2 13148 0 0 0 0 5 3 20 0 15 0 60310140 11079016448 12932 33554432000 4194304 4196468 140732564030304 140169657821712 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15984] ppid=15924 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15984/stat : 15984 (java) S 15924 15927 12709 0 -1 1077944384 3 13148 0 0 0 0 5 3 20 0 15 0 60310140 11079016448 12932 33554432000 4194304 4196468 140732564030304 140169656769168 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15985] ppid=15924 vsize=10819352 memory=139880681375359 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15985/stat : 15985 (java) S 15924 15927 12709 0 -1 1077944384 2 13148 0 0 0 0 5 3 20 0 15 0 60310141 11079016448 12932 33554432000 4194304 4196468 140732564030304 140169544980976 140170085816962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15986] ppid=15924 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15986/stat : 15986 (java) S 15924 15927 12709 0 -1 1077944384 33 13148 0 0 0 0 5 3 20 0 15 0 60310142 11079016448 12932 33554432000 4194304 4196468 140732564030304 140169543927200 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15987] ppid=15924 vsize=10819352 memory=139880681375360 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15987/stat : 15987 (java) S 15924 15927 12709 0 -1 1077944384 1 13148 0 0 0 0 5 3 20 0 15 0 60310142 11079016448 12932 33554432000 4194304 4196468 140732564030304 140168942052848 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15988] ppid=15924 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15988/stat : 15988 (java) S 15924 15927 12709 0 -1 1077944384 3 13148 0 0 0 0 5 3 20 0 15 0 60310145 11079016448 12932 33554432000 4194304 4196468 140732564030304 140168634653392 140170085824411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15989] ppid=15924 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/15927/task/15989/stat : 15989 (java) S 15924 15927 12709 0 -1 1077944384 535 13148 0 0 1 0 5 3 20 0 15 0 60310145 11079016448 12932 33554432000 4194304 4196468 140732564030304 140169510369264 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15990] ppid=15924 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/15927/task/15990/stat : 15990 (java) S 15924 15927 12709 0 -1 1077944384 56 13148 0 0 1 0 5 3 20 0 15 0 60310145 11079016448 12932 33554432000 4194304 4196468 140732564030304 140169509316720 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15991] ppid=15924 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/15927/task/15991/stat : 15991 (java) S 15924 15927 12709 0 -1 1077944384 550 13148 0 0 4 0 5 3 20 0 15 0 60310145 11079016448 12932 33554432000 4194304 4196468 140732564030304 140169508264176 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15992] ppid=15924 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15992/stat : 15992 (java) S 15924 15927 12709 0 -1 1077944384 3 13148 0 0 0 0 5 3 20 0 15 0 60310145 11079016448 12932 33554432000 4194304 4196468 140732564030304 140168601094752 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15993] ppid=15924 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15993/stat : 15993 (java) S 15924 15927 12709 0 -1 1077944384 1 13148 0 0 0 0 5 3 20 0 15 0 60310145 11079016448 12932 33554432000 4194304 4196468 140732564030304 140169507212080 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 51728 KiB
[startup+0.700823 s]
/proc/loadavg: 1.34 1.41 1.45 3/218 15993
/proc/meminfo: memFree=15283432/32770624 swapFree=67108860/67108860
[pid=15927] ppid=15924 vsize=10819352 memory=84452 CPUtime=0.99 cores=0,2,4,6
/proc/15927/stat : 15927 (java) S 15924 15927 12709 0 -1 1077944320 16751 13148 0 0 85 6 5 3 20 0 15 0 60310130 11079016448 21113 33554432000 4194304 4196468 140732564030304 140732564012848 140170085805815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
/proc/15927/statm: 2704838 21113 3236 1 0 2667149 0
[pid=15927/tid=15980] ppid=15924 vsize=10819352 memory=18864 CPUtime=0.66 cores=0,2,4,6
/proc/15927/task/15980/stat : 15980 (java) R 15924 15927 12709 0 -1 4202560 12252 13148 0 0 54 4 5 3 20 0 15 0 60310139 11079016448 21113 33554432000 4194304 4196468 140732564030304 140170057633696 140170070971454 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15981] ppid=15924 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15981/stat : 15981 (java) S 15924 15927 12709 0 -1 1077944384 1 13148 0 0 0 0 5 3 20 0 15 0 60310140 11079016448 21113 33554432000 4194304 4196468 140732564030304 140170090047760 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15982] ppid=15924 vsize=10819352 memory=288230587427469581 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15982/stat : 15982 (java) S 15924 15927 12709 0 -1 1077944384 1 13148 0 0 0 0 5 3 20 0 15 0 60310140 11079016448 21113 33554432000 4194304 4196468 140732564030304 140170017528208 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15983] ppid=15924 vsize=10819352 memory=15816694631256675 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15983/stat : 15983 (java) S 15924 15927 12709 0 -1 1077944384 2 13148 0 0 0 0 5 3 20 0 15 0 60310140 11079016448 21113 33554432000 4194304 4196468 140732564030304 140169657821712 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15984] ppid=15924 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15984/stat : 15984 (java) S 15924 15927 12709 0 -1 1077944384 3 13148 0 0 0 0 5 3 20 0 15 0 60310140 11079016448 21113 33554432000 4194304 4196468 140732564030304 140169656769168 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15985] ppid=15924 vsize=10819352 memory=139880575574528 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15985/stat : 15985 (java) S 15924 15927 12709 0 -1 1077944384 5 13148 0 0 0 0 5 3 20 0 15 0 60310141 11079016448 21113 33554432000 4194304 4196468 140732564030304 140169544980976 140170085816962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15986] ppid=15924 vsize=10819352 memory=139882789864469 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15986/stat : 15986 (java) S 15924 15927 12709 0 -1 1077944384 33 13148 0 0 0 0 5 3 20 0 15 0 60310142 11079016448 21113 33554432000 4194304 4196468 140732564030304 140169543927200 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15987] ppid=15924 vsize=10819352 memory=952 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15987/stat : 15987 (java) S 15924 15927 12709 0 -1 1077944384 1 13148 0 0 0 0 5 3 20 0 15 0 60310142 11079016448 21113 33554432000 4194304 4196468 140732564030304 140168942052848 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15988] ppid=15924 vsize=10819352 memory=7305218370954682711 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15988/stat : 15988 (java) S 15924 15927 12709 0 -1 1077944384 3 13148 0 0 0 0 5 3 20 0 15 0 60310145 11079016448 21113 33554432000 4194304 4196468 140732564030304 140168634653392 140170085824411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15989] ppid=15924 vsize=10819352 memory=7452169109558027630 CPUtime=0.18 cores=0,2,4,6
/proc/15927/task/15989/stat : 15989 (java) S 15924 15927 12709 0 -1 1077944384 1220 13148 0 0 10 0 5 3 20 0 15 0 60310145 11079016448 21113 33554432000 4194304 4196468 140732564030304 140169510369264 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15990] ppid=15924 vsize=10819352 memory=6935653654008516688 CPUtime=0.14 cores=0,2,4,6
/proc/15927/task/15990/stat : 15990 (java) S 15924 15927 12709 0 -1 1077944384 406 13148 0 0 6 0 5 3 20 0 15 0 60310145 11079016448 21113 33554432000 4194304 4196468 140732564030304 140169509316720 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15991] ppid=15924 vsize=10819352 memory=5450909908396308010 CPUtime=0.21 cores=0,2,4,6
/proc/15927/task/15991/stat : 15991 (java) S 15924 15927 12709 0 -1 1077944384 633 13148 0 0 13 0 5 3 20 0 15 0 60310145 11079016448 21113 33554432000 4194304 4196468 140732564030304 140169508264176 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15992] ppid=15924 vsize=10819352 memory=1404238533774450294 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15992/stat : 15992 (java) S 15924 15927 12709 0 -1 1077944384 3 13148 0 0 0 0 5 3 20 0 15 0 60310145 11079016448 21113 33554432000 4194304 4196468 140732564030304 140168601094752 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15993] ppid=15924 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15993/stat : 15993 (java) S 15924 15927 12709 0 -1 1077944384 1 13148 0 0 0 0 5 3 20 0 15 0 60310145 11079016448 21113 33554432000 4194304 4196468 140732564030304 140169507212080 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84452 KiB
[startup+1.50183 s]
/proc/loadavg: 1.34 1.41 1.45 3/218 15993
/proc/meminfo: memFree=15240388/32770624 swapFree=67108860/67108860
[pid=15927] ppid=15924 vsize=10830156 memory=177964 CPUtime=2.93 cores=0,2,4,6
/proc/15927/stat : 15927 (java) S 15924 15927 12709 0 -1 1077944320 24424 13148 0 0 276 9 5 3 20 0 15 0 60310130 11090079744 44491 33554432000 4194304 4196468 140732564030304 140732564012848 140170085805815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
/proc/15927/statm: 2707539 44491 3452 1 0 2669197 0
[pid=15927/tid=15980] ppid=15924 vsize=10830156 memory=154756 CPUtime=1.45 cores=0,2,4,6
/proc/15927/task/15980/stat : 15980 (java) R 15924 15927 12709 0 -1 4202560 16518 13148 0 0 131 6 5 3 20 0 15 0 60310139 11090079744 44491 33554432000 4194304 4196468 140732564030304 140170057636816 140170069886302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15981] ppid=15924 vsize=10830156 memory=-3117775541953848416 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15981/stat : 15981 (java) S 15924 15927 12709 0 -1 1077944384 1 13148 0 0 0 0 5 3 20 0 15 0 60310140 11090079744 44491 33554432000 4194304 4196468 140732564030304 140170090047760 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15982] ppid=15924 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15982/stat : 15982 (java) S 15924 15927 12709 0 -1 1077944384 1 13148 0 0 0 0 5 3 20 0 15 0 60310140 11090079744 44491 33554432000 4194304 4196468 140732564030304 140170017528208 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15983] ppid=15924 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15983/stat : 15983 (java) S 15924 15927 12709 0 -1 1077944384 2 13148 0 0 0 0 5 3 20 0 15 0 60310140 11090079744 44491 33554432000 4194304 4196468 140732564030304 140169657821712 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15984] ppid=15924 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15984/stat : 15984 (java) S 15924 15927 12709 0 -1 1077944384 3 13148 0 0 0 0 5 3 20 0 15 0 60310140 11090079744 44491 33554432000 4194304 4196468 140732564030304 140169656769168 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15985] ppid=15924 vsize=10830156 memory=208535627560080 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15985/stat : 15985 (java) S 15924 15927 12709 0 -1 1077944384 13 13148 0 0 0 0 5 3 20 0 15 0 60310141 11090079744 44491 33554432000 4194304 4196468 140732564030304 140169544980976 140170085816962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15986] ppid=15924 vsize=10830156 memory=3904963032027245965 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15986/stat : 15986 (java) S 15924 15927 12709 0 -1 1077944384 33 13148 0 0 0 0 5 3 20 0 15 0 60310142 11090079744 44491 33554432000 4194304 4196468 140732564030304 140169543927200 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15987] ppid=15924 vsize=10830156 memory=4638778424102965584 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15987/stat : 15987 (java) S 15924 15927 12709 0 -1 1077944384 1 13148 0 0 0 0 5 3 20 0 15 0 60310142 11090079744 44491 33554432000 4194304 4196468 140732564030304 140168942052848 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15988] ppid=15924 vsize=10830156 memory=6935649255776346176 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15988/stat : 15988 (java) S 15924 15927 12709 0 -1 1077944384 3 13148 0 0 0 0 5 3 20 0 15 0 60310145 11090079744 44491 33554432000 4194304 4196468 140732564030304 140168634653392 140170085824411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15989] ppid=15924 vsize=10830156 memory=279761150542064 CPUtime=0.61 cores=0,2,4,6
/proc/15927/task/15989/stat : 15989 (java) R 15924 15927 12709 0 -1 4202560 2044 13148 0 0 53 0 5 3 20 0 15 0 60310145 11090079744 44491 33554432000 4194304 4196468 140732564030304 140169510369560 140170063656000 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15990] ppid=15924 vsize=10830156 memory=6935649255759570240 CPUtime=0.54 cores=0,2,4,6
/proc/15927/task/15990/stat : 15990 (java) S 15924 15927 12709 0 -1 1077944384 2099 13148 0 0 46 0 5 3 20 0 15 0 60310145 11090079744 44491 33554432000 4194304 4196468 140732564030304 140169509316720 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15991] ppid=15924 vsize=10830156 memory=-6726508155301421416 CPUtime=0.52 cores=0,2,4,6
/proc/15927/task/15991/stat : 15991 (java) S 15924 15927 12709 0 -1 1077944384 1515 13148 0 0 44 0 5 3 20 0 15 0 60310145 11090079744 44491 33554432000 4194304 4196468 140732564030304 140169508264176 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15992] ppid=15924 vsize=10830156 memory=6656426216303648864 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15992/stat : 15992 (java) S 15924 15927 12709 0 -1 1077944384 3 13148 0 0 0 0 5 3 20 0 15 0 60310145 11090079744 44491 33554432000 4194304 4196468 140732564030304 140168601094752 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15993] ppid=15924 vsize=10830156 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15993/stat : 15993 (java) S 15924 15927 12709 0 -1 1077944384 3 13148 0 0 0 0 5 3 20 0 15 0 60310145 11090079744 44491 33554432000 4194304 4196468 140732564030304 140169507212080 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 10830156 KiB
################
# More data... #
################
/proc/15927/task/15980/stat : 15980 (java) R 15924 15927 12709 0 -1 4202560 105117 13148 0 0 235700 57 5 3 20 0 15 0 60310139 11111071744 272950 33554432000 4194304 4196468 140732564030304 140170057640208 140169713718162 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15981] ppid=15924 vsize=10850656 memory=1728 CPUtime=14.75 cores=0,2,4,6
/proc/15927/task/15981/stat : 15981 (java) S 15924 15927 12709 0 -1 1077944384 19945 13148 0 0 1419 48 5 3 20 0 15 0 60310140 11111071744 272950 33554432000 4194304 4196468 140732564030304 140170090047760 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15982] ppid=15924 vsize=10850656 memory=1091800 CPUtime=14.73 cores=0,2,4,6
/proc/15927/task/15982/stat : 15982 (java) S 15924 15927 12709 0 -1 1077944384 18763 13148 0 0 1417 48 5 3 20 0 15 0 60310140 11111071744 272950 33554432000 4194304 4196468 140732564030304 140170017528208 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15983] ppid=15924 vsize=10850656 memory=1091760 CPUtime=14.74 cores=0,2,4,6
/proc/15927/task/15983/stat : 15983 (java) S 15924 15927 12709 0 -1 1077944384 14597 13148 0 0 1420 46 5 3 20 0 15 0 60310140 11111071744 272950 33554432000 4194304 4196468 140732564030304 140169657821712 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15984] ppid=15924 vsize=10850656 memory=1091760 CPUtime=14.73 cores=0,2,4,6
/proc/15927/task/15984/stat : 15984 (java) S 15924 15927 12709 0 -1 1077944384 24831 13148 0 0 1419 46 5 3 20 0 15 0 60310140 11111071744 272950 33554432000 4194304 4196468 140732564030304 140169656769168 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15985] ppid=15924 vsize=10850656 memory=1431 CPUtime=6.86 cores=0,2,4,6
/proc/15927/task/15985/stat : 15985 (java) S 15924 15927 12709 0 -1 1077944384 21698 13148 0 0 633 45 5 3 20 0 15 0 60310141 11111071744 272950 33554432000 4194304 4196468 140732564030304 140169544980976 140170085816962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15986] ppid=15924 vsize=10850656 memory=1091760 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15986/stat : 15986 (java) S 15924 15927 12709 0 -1 1077944384 67 13148 0 0 0 0 5 3 20 0 15 0 60310142 11111071744 272950 33554432000 4194304 4196468 140732564030304 140169543927264 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15987] ppid=15924 vsize=10850656 memory=1091760 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15987/stat : 15987 (java) S 15924 15927 12709 0 -1 1077944384 8 13148 0 0 0 0 5 3 20 0 15 0 60310142 11111071744 272950 33554432000 4194304 4196468 140732564030304 140168942052864 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15988] ppid=15924 vsize=10850656 memory=1091800 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15988/stat : 15988 (java) S 15924 15927 12709 0 -1 1077944384 3 13148 0 0 0 0 5 3 20 0 15 0 60310145 11111071744 272950 33554432000 4194304 4196468 140732564030304 140168634653392 140170085824411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15989] ppid=15924 vsize=10850656 memory=1091800 CPUtime=10.63 cores=0,2,4,6
/proc/15927/task/15989/stat : 15989 (java) S 15924 15927 12709 0 -1 1077944384 18675 13148 0 0 1050 5 5 3 20 0 15 0 60310145 11111071744 272950 33554432000 4194304 4196468 140732564030304 140169510369264 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15990] ppid=15924 vsize=10850656 memory=1091800 CPUtime=10.31 cores=0,2,4,6
/proc/15927/task/15990/stat : 15990 (java) S 15924 15927 12709 0 -1 1077944384 22769 13148 0 0 1019 4 5 3 20 0 15 0 60310145 11111071744 272950 33554432000 4194304 4196468 140732564030304 140169509316720 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15991] ppid=15924 vsize=10850656 memory=1091800 CPUtime=3.79 cores=0,2,4,6
/proc/15927/task/15991/stat : 15991 (java) S 15924 15927 12709 0 -1 1077944384 29759 13148 0 0 364 7 5 3 20 0 15 0 60310145 11111071744 272950 33554432000 4194304 4196468 140732564030304 140169508264176 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15992] ppid=15924 vsize=10850656 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15992/stat : 15992 (java) S 15924 15927 12709 0 -1 1077944384 3 13148 0 0 0 0 5 3 20 0 15 0 60310145 11111071744 272950 33554432000 4194304 4196468 140732564030304 140168601094752 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15993] ppid=15924 vsize=10850656 memory=1091800 CPUtime=1.52 cores=0,2,4,6
/proc/15927/task/15993/stat : 15993 (java) S 15924 15927 12709 0 -1 1077944384 1029 13148 0 0 72 72 5 3 20 0 15 0 60310145 11111071744 272950 33554432000 4194304 4196468 140732564030304 140169507212080 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
Current children cumulated CPU time: 2449.11 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 1091800 KiB
[startup+2442.3 s]
/proc/loadavg: 1.46 1.71 1.66 3/218 16200
/proc/meminfo: memFree=10973008/32770624 swapFree=67108860/67108860
[pid=15927] ppid=15924 vsize=10850656 memory=1059536 CPUtime=2510.12 cores=0,2,4,6
/proc/15927/stat : 15927 (java) S 15924 15927 12709 0 -1 1077944320 281989 13148 0 0 250659 345 5 3 20 0 15 0 60310130 11111071744 264884 33554432000 4194304 4196468 140732564030304 140732564012848 140170085805815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
/proc/15927/statm: 2712664 264884 3540 1 0 2674317 0
[pid=15927/tid=15980] ppid=15924 vsize=10850656 memory=1059536 CPUtime=2417.04 cores=0,2,4,6
/proc/15927/task/15980/stat : 15980 (java) R 15924 15927 12709 0 -1 4202560 106237 13148 0 0 241639 57 5 3 20 0 15 0 60310139 11111071744 264884 33554432000 4194304 4196468 140732564030304 140170057640688 140169694629860 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15981] ppid=15924 vsize=10850656 memory=1059536 CPUtime=15.11 cores=0,2,4,6
/proc/15927/task/15981/stat : 15981 (java) S 15924 15927 12709 0 -1 1077944384 20112 13148 0 0 1455 48 5 3 20 0 15 0 60310140 11111071744 264884 33554432000 4194304 4196468 140732564030304 140170090047760 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15982] ppid=15924 vsize=10850656 memory=1948 CPUtime=15.09 cores=0,2,4,6
/proc/15927/task/15982/stat : 15982 (java) S 15924 15927 12709 0 -1 1077944384 18992 13148 0 0 1452 49 5 3 20 0 15 0 60310140 11111071744 264884 33554432000 4194304 4196468 140732564030304 140170017528208 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15983] ppid=15924 vsize=10850656 memory=1091804 CPUtime=15.1 cores=0,2,4,6
/proc/15927/task/15983/stat : 15983 (java) S 15924 15927 12709 0 -1 1077944384 14834 13148 0 0 1455 47 5 3 20 0 15 0 60310140 11111071744 264884 33554432000 4194304 4196468 140732564030304 140169657821712 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15984] ppid=15924 vsize=10850656 memory=1059536 CPUtime=15.09 cores=0,2,4,6
/proc/15927/task/15984/stat : 15984 (java) S 15924 15927 12709 0 -1 1077944384 25173 13148 0 0 1454 47 5 3 20 0 15 0 60310140 11111071744 264884 33554432000 4194304 4196468 140732564030304 140169656769168 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15985] ppid=15924 vsize=10850656 memory=1059536 CPUtime=7.01 cores=0,2,4,6
/proc/15927/task/15985/stat : 15985 (java) S 15924 15927 12709 0 -1 1077944384 22101 13148 0 0 647 46 5 3 20 0 15 0 60310141 11111071744 264884 33554432000 4194304 4196468 140732564030304 140169544980976 140170085816962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15986] ppid=15924 vsize=10850656 memory=1059536 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15986/stat : 15986 (java) S 15924 15927 12709 0 -1 1077944384 67 13148 0 0 0 0 5 3 20 0 15 0 60310142 11111071744 264884 33554432000 4194304 4196468 140732564030304 140169543927264 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15987] ppid=15924 vsize=10850656 memory=1059536 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15987/stat : 15987 (java) S 15924 15927 12709 0 -1 1077944384 8 13148 0 0 0 0 5 3 20 0 15 0 60310142 11111071744 264884 33554432000 4194304 4196468 140732564030304 140168942052864 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15988] ppid=15924 vsize=10850656 memory=1059536 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15988/stat : 15988 (java) S 15924 15927 12709 0 -1 1077944384 3 13148 0 0 0 0 5 3 20 0 15 0 60310145 11111071744 264884 33554432000 4194304 4196468 140732564030304 140168634653392 140170085824411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15989] ppid=15924 vsize=10850656 memory=1059536 CPUtime=10.63 cores=0,2,4,6
/proc/15927/task/15989/stat : 15989 (java) S 15924 15927 12709 0 -1 1077944384 18679 13148 0 0 1050 5 5 3 20 0 15 0 60310145 11111071744 264884 33554432000 4194304 4196468 140732564030304 140169510369264 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15990] ppid=15924 vsize=10850656 memory=1059536 CPUtime=10.31 cores=0,2,4,6
/proc/15927/task/15990/stat : 15990 (java) S 15924 15927 12709 0 -1 1077944384 22773 13148 0 0 1019 4 5 3 20 0 15 0 60310145 11111071744 264884 33554432000 4194304 4196468 140732564030304 140169509316720 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15991] ppid=15924 vsize=10850656 memory=1059536 CPUtime=3.79 cores=0,2,4,6
/proc/15927/task/15991/stat : 15991 (java) S 15924 15927 12709 0 -1 1077944384 29763 13148 0 0 364 7 5 3 20 0 15 0 60310145 11111071744 264884 33554432000 4194304 4196468 140732564030304 140169508264176 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15992] ppid=15924 vsize=10850656 memory=1059536 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15992/stat : 15992 (java) S 15924 15927 12709 0 -1 1077944384 3 13148 0 0 0 0 5 3 20 0 15 0 60310145 11111071744 264884 33554432000 4194304 4196468 140732564030304 140168601094752 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15993] ppid=15924 vsize=10850656 memory=1059536 CPUtime=1.55 cores=0,2,4,6
/proc/15927/task/15993/stat : 15993 (java) S 15924 15927 12709 0 -1 1077944384 1057 13148 0 0 74 73 5 3 20 0 15 0 60310145 11111071744 264884 33554432000 4194304 4196468 140732564030304 140169507212080 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
Current children cumulated CPU time: 2510.12 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 1059536 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2452.11 s]
/proc/loadavg: 1.39 1.68 1.66 3/218 16200
/proc/meminfo: memFree=10931804/32770624 swapFree=67108860/67108860
[pid=15927] ppid=15924 vsize=10850656 memory=1059536 CPUtime=2520.09 cores=0,2,4,6
/proc/15927/stat : 15927 (java) S 15924 15927 12709 0 -1 1077944320 282119 13148 0 0 251655 346 5 3 20 0 15 0 60310130 11111071744 264884 33554432000 4194304 4196468 140732564030304 140732564012848 140170085805815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
/proc/15927/statm: 2712664 264884 3540 1 0 2674317 0
[pid=15927/tid=15980] ppid=15924 vsize=10850656 memory=1059536 CPUtime=2426.76 cores=0,2,4,6
/proc/15927/task/15980/stat : 15980 (java) R 15924 15927 12709 0 -1 4202560 106345 13148 0 0 242611 57 5 3 20 0 15 0 60310139 11111071744 264884 33554432000 4194304 4196468 140732564030304 140170057640688 140169713715169 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15981] ppid=15924 vsize=10850656 memory=1059536 CPUtime=15.16 cores=0,2,4,6
/proc/15927/task/15981/stat : 15981 (java) S 15924 15927 12709 0 -1 1077944384 20112 13148 0 0 1460 48 5 3 20 0 15 0 60310140 11111071744 264884 33554432000 4194304 4196468 140732564030304 140170090047760 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15982] ppid=15924 vsize=10850656 memory=1059536 CPUtime=15.14 cores=0,2,4,6
/proc/15927/task/15982/stat : 15982 (java) S 15924 15927 12709 0 -1 1077944384 18993 13148 0 0 1457 49 5 3 20 0 15 0 60310140 11111071744 264884 33554432000 4194304 4196468 140732564030304 140170017528208 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15983] ppid=15924 vsize=10850656 memory=1059536 CPUtime=15.15 cores=0,2,4,6
/proc/15927/task/15983/stat : 15983 (java) S 15924 15927 12709 0 -1 1077944384 14845 13148 0 0 1460 47 5 3 20 0 15 0 60310140 11111071744 264884 33554432000 4194304 4196468 140732564030304 140169657821712 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15984] ppid=15924 vsize=10850656 memory=1059536 CPUtime=15.14 cores=0,2,4,6
/proc/15927/task/15984/stat : 15984 (java) S 15924 15927 12709 0 -1 1077944384 25176 13148 0 0 1459 47 5 3 20 0 15 0 60310140 11111071744 264884 33554432000 4194304 4196468 140732564030304 140169656769168 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15985] ppid=15924 vsize=10850656 memory=1091804 CPUtime=7.05 cores=0,2,4,6
/proc/15927/task/15985/stat : 15985 (java) S 15924 15927 12709 0 -1 1077944384 22106 13148 0 0 650 47 5 3 20 0 15 0 60310141 11111071744 264884 33554432000 4194304 4196468 140732564030304 140169544980976 140170085816962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15986] ppid=15924 vsize=10850656 memory=1059536 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15986/stat : 15986 (java) S 15924 15927 12709 0 -1 1077944384 67 13148 0 0 0 0 5 3 20 0 15 0 60310142 11111071744 264884 33554432000 4194304 4196468 140732564030304 140169543927264 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15987] ppid=15924 vsize=10850656 memory=1059536 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15987/stat : 15987 (java) S 15924 15927 12709 0 -1 1077944384 8 13148 0 0 0 0 5 3 20 0 15 0 60310142 11111071744 264884 33554432000 4194304 4196468 140732564030304 140168942052864 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15988] ppid=15924 vsize=10850656 memory=1059536 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15988/stat : 15988 (java) S 15924 15927 12709 0 -1 1077944384 3 13148 0 0 0 0 5 3 20 0 15 0 60310145 11111071744 264884 33554432000 4194304 4196468 140732564030304 140168634653392 140170085824411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15989] ppid=15924 vsize=10850656 memory=3828 CPUtime=10.63 cores=0,2,4,6
/proc/15927/task/15989/stat : 15989 (java) S 15924 15927 12709 0 -1 1077944384 18679 13148 0 0 1050 5 5 3 20 0 15 0 60310145 11111071744 264884 33554432000 4194304 4196468 140732564030304 140169510369264 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15990] ppid=15924 vsize=10850656 memory=1059536 CPUtime=10.31 cores=0,2,4,6
/proc/15927/task/15990/stat : 15990 (java) S 15924 15927 12709 0 -1 1077944384 22773 13148 0 0 1019 4 5 3 20 0 15 0 60310145 11111071744 264884 33554432000 4194304 4196468 140732564030304 140169509316720 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15991] ppid=15924 vsize=10850656 memory=1057480 CPUtime=3.79 cores=0,2,4,6
/proc/15927/task/15991/stat : 15991 (java) S 15924 15927 12709 0 -1 1077944384 29763 13148 0 0 364 7 5 3 20 0 15 0 60310145 11111071744 264884 33554432000 4194304 4196468 140732564030304 140169508264176 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15992] ppid=15924 vsize=10850656 memory=1059536 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15992/stat : 15992 (java) S 15924 15927 12709 0 -1 1077944384 3 13148 0 0 0 0 5 3 20 0 15 0 60310145 11111071744 264884 33554432000 4194304 4196468 140732564030304 140168601094752 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15993] ppid=15924 vsize=10850656 memory=1059536 CPUtime=1.56 cores=0,2,4,6
/proc/15927/task/15993/stat : 15993 (java) S 15924 15927 12709 0 -1 1077944384 1059 13148 0 0 74 74 5 3 20 0 15 0 60310145 11111071744 264884 33554432000 4194304 4196468 140732564030304 140169507212080 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 1059536 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2452.14 s]
# the end of solver process 15927 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.64 s, system=3.50811 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2452.11 s]
/proc/loadavg: 1.39 1.68 1.66 3/218 16200
/proc/meminfo: memFree=10931804/32770624 swapFree=67108860/67108860
[pid=15927] ppid=15924 vsize=10850656 memory=1059536 CPUtime=2520.09 cores=0,2,4,6
/proc/15927/stat : 15927 (java) S 15924 15927 12709 0 -1 1077944320 282119 13148 0 0 251655 346 5 3 20 0 15 0 60310130 11111071744 264884 33554432000 4194304 4196468 140732564030304 140732564012848 140170085805815 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
/proc/15927/statm: 2712664 264884 3540 1 0 2674317 0
[pid=15927/tid=15980] ppid=15924 vsize=10850656 memory=1059536 CPUtime=2426.76 cores=0,2,4,6
/proc/15927/task/15980/stat : 15980 (java) R 15924 15927 12709 0 -1 4202560 106345 13148 0 0 242611 57 5 3 20 0 15 0 60310139 11111071744 264884 33554432000 4194304 4196468 140732564030304 140170057640688 140169713715169 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15981] ppid=15924 vsize=10850656 memory=1059536 CPUtime=15.16 cores=0,2,4,6
/proc/15927/task/15981/stat : 15981 (java) S 15924 15927 12709 0 -1 1077944384 20112 13148 0 0 1460 48 5 3 20 0 15 0 60310140 11111071744 264884 33554432000 4194304 4196468 140732564030304 140170090047760 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15982] ppid=15924 vsize=10850656 memory=1059536 CPUtime=15.14 cores=0,2,4,6
/proc/15927/task/15982/stat : 15982 (java) S 15924 15927 12709 0 -1 1077944384 18993 13148 0 0 1457 49 5 3 20 0 15 0 60310140 11111071744 264884 33554432000 4194304 4196468 140732564030304 140170017528208 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15983] ppid=15924 vsize=10850656 memory=1059536 CPUtime=15.15 cores=0,2,4,6
/proc/15927/task/15983/stat : 15983 (java) S 15924 15927 12709 0 -1 1077944384 14845 13148 0 0 1460 47 5 3 20 0 15 0 60310140 11111071744 264884 33554432000 4194304 4196468 140732564030304 140169657821712 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15984] ppid=15924 vsize=10850656 memory=1059536 CPUtime=15.14 cores=0,2,4,6
/proc/15927/task/15984/stat : 15984 (java) S 15924 15927 12709 0 -1 1077944384 25176 13148 0 0 1459 47 5 3 20 0 15 0 60310140 11111071744 264884 33554432000 4194304 4196468 140732564030304 140169656769168 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15985] ppid=15924 vsize=10850656 memory=1091804 CPUtime=7.05 cores=0,2,4,6
/proc/15927/task/15985/stat : 15985 (java) S 15924 15927 12709 0 -1 1077944384 22106 13148 0 0 650 47 5 3 20 0 15 0 60310141 11111071744 264884 33554432000 4194304 4196468 140732564030304 140169544980976 140170085816962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15986] ppid=15924 vsize=10850656 memory=1059536 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15986/stat : 15986 (java) S 15924 15927 12709 0 -1 1077944384 67 13148 0 0 0 0 5 3 20 0 15 0 60310142 11111071744 264884 33554432000 4194304 4196468 140732564030304 140169543927264 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15987] ppid=15924 vsize=10850656 memory=1059536 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15987/stat : 15987 (java) S 15924 15927 12709 0 -1 1077944384 8 13148 0 0 0 0 5 3 20 0 15 0 60310142 11111071744 264884 33554432000 4194304 4196468 140732564030304 140168942052864 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15988] ppid=15924 vsize=10850656 memory=1059536 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15988/stat : 15988 (java) S 15924 15927 12709 0 -1 1077944384 3 13148 0 0 0 0 5 3 20 0 15 0 60310145 11111071744 264884 33554432000 4194304 4196468 140732564030304 140168634653392 140170085824411 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15989] ppid=15924 vsize=10850656 memory=3828 CPUtime=10.63 cores=0,2,4,6
/proc/15927/task/15989/stat : 15989 (java) S 15924 15927 12709 0 -1 1077944384 18679 13148 0 0 1050 5 5 3 20 0 15 0 60310145 11111071744 264884 33554432000 4194304 4196468 140732564030304 140169510369264 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15990] ppid=15924 vsize=10850656 memory=1059536 CPUtime=10.31 cores=0,2,4,6
/proc/15927/task/15990/stat : 15990 (java) S 15924 15927 12709 0 -1 1077944384 22773 13148 0 0 1019 4 5 3 20 0 15 0 60310145 11111071744 264884 33554432000 4194304 4196468 140732564030304 140169509316720 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15991] ppid=15924 vsize=10850656 memory=1057480 CPUtime=3.79 cores=0,2,4,6
/proc/15927/task/15991/stat : 15991 (java) S 15924 15927 12709 0 -1 1077944384 29763 13148 0 0 364 7 5 3 20 0 15 0 60310145 11111071744 264884 33554432000 4194304 4196468 140732564030304 140169508264176 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15992] ppid=15924 vsize=10850656 memory=1059536 CPUtime=0.08 cores=0,2,4,6
/proc/15927/task/15992/stat : 15992 (java) S 15924 15927 12709 0 -1 1077944384 3 13148 0 0 0 0 5 3 20 0 15 0 60310145 11111071744 264884 33554432000 4194304 4196468 140732564030304 140168601094752 140170085816021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
[pid=15927/tid=15993] ppid=15924 vsize=10850656 memory=1059536 CPUtime=1.56 cores=0,2,4,6
/proc/15927/task/15993/stat : 15993 (java) S 15924 15927 12709 0 -1 1077944384 1059 13148 0 0 74 74 5 3 20 0 15 0 60310145 11111071744 264884 33554432000 4194304 4196468 140732564030304 140169507212080 140170085816962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36126720 140732564031659 140732564034908 140732564034908 140732564037583 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10850656 KiB
Current children cumulated memory: 1059536 KiB
Child status: 143
Real time (s): 2452.14
CPU time (s): 2520.15
CPU user time (s): 2516.64
CPU system time (s): 3.50811
CPU usage (%): 102.773
Max. virtual memory (cumulated for all children) (KiB): 10850656
Max. memory (cumulated for all children) (KiB): 2181976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.64
system time used= 3.50811
maximum resident set size= 2198392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 296268
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 196943
involuntary context switches= 9578
# summary of solver processes directly reported to runsolver:
# pid: 15927
# total CPU time (s): 2520.15
# total CPU user time (s): 2516.64
# total CPU system time (s): 3.50811
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6691 second user time and 23.5628 second system time
The end