2018 XCSP3 competition: mini-solvers track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
slowpoke 2018-04-29	SAT (TO)	6	2520.13	2511.32
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 (12741 MiB free)
  memory of node 1: 16384 MiB (13303 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298465-1532762674/watcher-4298465-1532762674 -o /tmp/evaluation-result-4298465-1532762674/solver-4298465-1532762674 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532740162-2004 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298465-1532762674.xml --timelimit 2520 

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=4997, runsolver pid=4994
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 1.93 1.95 1.94 5/217 5012
/proc/meminfo: memFree=26655352/32770624 swapFree=67108792/67108860
[pid=4997] ppid=4994 vsize=10661056 memory=27564 CPUtime=0.12 cores=0,2,4,6
/proc/4997/stat : 4997 (java) S 4994 4997 1972 0 -1 1077944320 5293 0 0 0 11 1 0 0 20 0 15 0 93830721 10916921344 6891 33554432000 4194304 4196468 140723153611360 140723153593904 139883548274423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
/proc/4997/statm: 2665264 6891 2837 1 0 2627263 0
[pid=4997/tid=4999] ppid=4994 vsize=10661056 memory=-8680509554269451456 CPUtime=0.09 cores=0,2,4,6
/proc/4997/task/4999/stat : 4999 (java) R 4994 4997 1972 0 -1 4202560 3168 0 0 0 8 1 0 0 20 0 15 0 93830721 10916921344 6957 33554432000 4194304 4196468 140723153611360 139883552495536 139883548286358 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5000] ppid=4994 vsize=10661056 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5000/stat : 5000 (java) S 4994 4997 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93830722 10916921344 6957 33554432000 4194304 4196468 140723153611360 139883474348560 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5001] ppid=4994 vsize=10661056 memory=140519163111040 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5001/stat : 5001 (java) S 4994 4997 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93830722 10916921344 6957 33554432000 4194304 4196468 140723153611360 139883473296016 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5002] ppid=4994 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5002/stat : 5002 (java) S 4994 4997 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93830722 10916921344 6957 33554432000 4194304 4196468 140723153611360 139883472242960 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5003] ppid=4994 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5003/stat : 5003 (java) S 4994 4997 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93830722 10916921344 6957 33554432000 4194304 4196468 140723153611360 139883471190416 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5004] ppid=4994 vsize=10661056 memory=140519163111040 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5004/stat : 5004 (java) S 4994 4997 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93830723 10916921344 6957 33554432000 4194304 4196468 140723153611360 139883040566000 139883548285570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5005] ppid=4994 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5005/stat : 5005 (java) S 4994 4997 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93830724 10916921344 6957 33554432000 4194304 4196468 140723153611360 139883039512224 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5006] ppid=4994 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5006/stat : 5006 (java) S 4994 4997 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93830724 10916921344 6957 33554432000 4194304 4196468 140723153611360 139883038459120 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5007] ppid=4994 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5007/stat : 5007 (java) S 4994 4997 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93830727 10916921344 6957 33554432000 4194304 4196468 140723153611360 139883037407696 139883548293019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5008] ppid=4994 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5008/stat : 5008 (java) S 4994 4997 1972 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 93830727 10916921344 6957 33554432000 4194304 4196468 140723153611360 139883036354800 139883548285570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5009] ppid=4994 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5009/stat : 5009 (java) S 4994 4997 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93830727 10916921344 6957 33554432000 4194304 4196468 140723153611360 139883035302256 139883548285570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5010] ppid=4994 vsize=10661056 memory=140519163111040 CPUtime=0.01 cores=0,2,4,6
/proc/4997/task/5010/stat : 5010 (java) R 4994 4997 1972 0 -1 4202560 331 0 0 0 1 0 0 0 20 0 15 0 93830727 10916921344 6957 33554432000 4194304 4196468 140723153611360 139883034249200 139883527193232 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5011] ppid=4994 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5011/stat : 5011 (java) S 4994 4997 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93830727 10916921344 6957 33554432000 4194304 4196468 140723153611360 139883033196896 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5012] ppid=4994 vsize=10661056 memory=140519163111040 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5012/stat : 5012 (java) S 4994 4997 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93830727 10916921344 6957 33554432000 4194304 4196468 140723153611360 139883032144944 139883548285570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27564 KiB

[startup+0.210446 s]*
/proc/loadavg: 1.93 1.95 1.94 4/217 5012
/proc/meminfo: memFree=26643704/32770624 swapFree=67108792/67108860
[pid=4997] ppid=4994 vsize=10661056 memory=40292 CPUtime=0.34 cores=0,2,4,6
/proc/4997/stat : 4997 (java) S 4994 4997 1972 0 -1 1077944320 8182 0 0 0 32 2 0 0 20 0 15 0 93830721 10916921344 10073 33554432000 4194304 4196468 140723153611360 140723153593904 139883548274423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
/proc/4997/statm: 2665264 10073 2993 1 0 2627263 0
[pid=4997/tid=4999] ppid=4994 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/4997/task/4999/stat : 4999 (java) R 4994 4997 1972 0 -1 4202560 5128 0 0 0 18 2 0 0 20 0 15 0 93830721 10916921344 10073 33554432000 4194304 4196468 140723153611360 139883552511376 139883142335480 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5000] ppid=4994 vsize=10661056 memory=343 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5000/stat : 5000 (java) S 4994 4997 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93830722 10916921344 10073 33554432000 4194304 4196468 140723153611360 139883474348560 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5001] ppid=4994 vsize=10661056 memory=140519163125277 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5001/stat : 5001 (java) S 4994 4997 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93830722 10916921344 10073 33554432000 4194304 4196468 140723153611360 139883473296016 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5002] ppid=4994 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5002/stat : 5002 (java) S 4994 4997 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93830722 10916921344 10073 33554432000 4194304 4196468 140723153611360 139883472242960 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5003] ppid=4994 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5003/stat : 5003 (java) S 4994 4997 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93830722 10916921344 10073 33554432000 4194304 4196468 140723153611360 139883471190416 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5004] ppid=4994 vsize=10661056 memory=140519163111040 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5004/stat : 5004 (java) S 4994 4997 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93830723 10916921344 10073 33554432000 4194304 4196468 140723153611360 139883040566000 139883548285570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5005] ppid=4994 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5005/stat : 5005 (java) S 4994 4997 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93830724 10916921344 10073 33554432000 4194304 4196468 140723153611360 139883039512224 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5006] ppid=4994 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5006/stat : 5006 (java) S 4994 4997 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93830724 10916921344 10073 33554432000 4194304 4196468 140723153611360 139883038459120 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5007] ppid=4994 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5007/stat : 5007 (java) S 4994 4997 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93830727 10916921344 10073 33554432000 4194304 4196468 140723153611360 139883037407696 139883548293019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5008] ppid=4994 vsize=10661056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4997/task/5008/stat : 5008 (java) S 4994 4997 1972 0 -1 1077944384 633 0 0 0 2 0 0 0 20 0 15 0 93830727 10916921344 10073 33554432000 4194304 4196468 140723153611360 139883036354800 139883548285570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5009] ppid=4994 vsize=10661056 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4997/task/5009/stat : 5009 (java) S 4994 4997 1972 0 -1 1077944384 181 0 0 0 2 0 0 0 20 0 15 0 93830727 10916921344 10073 33554432000 4194304 4196468 140723153611360 139883035302256 139883548285570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5010] ppid=4994 vsize=10661056 memory=140519163111040 CPUtime=0.08 cores=0,2,4,6
/proc/4997/task/5010/stat : 5010 (java) R 4994 4997 1972 0 -1 4202560 872 0 0 0 8 0 0 0 20 0 15 0 93830727 10916921344 10073 33554432000 4194304 4196468 140723153611360 139883034245568 139883532517264 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5011] ppid=4994 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5011/stat : 5011 (java) S 4994 4997 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93830727 10916921344 10073 33554432000 4194304 4196468 140723153611360 139883033196896 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5012] ppid=4994 vsize=10661056 memory=140519163111040 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5012/stat : 5012 (java) S 4994 4997 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93830727 10916921344 10073 33554432000 4194304 4196468 140723153611360 139883032144944 139883548285570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40292 KiB

[startup+0.317896 s]*
/proc/loadavg: 1.93 1.95 1.94 4/217 5012
/proc/meminfo: memFree=26629428/32770624 swapFree=67108792/67108860
[pid=4997] ppid=4994 vsize=10661132 memory=54716 CPUtime=0.7 cores=0,2,4,6
/proc/4997/stat : 4997 (java) S 4994 4997 1972 0 -1 1077944320 10241 0 0 0 68 2 0 0 20 0 15 0 93830721 10916999168 13679 33554432000 4194304 4196468 140723153611360 140723153593904 139883548274423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
/proc/4997/statm: 2665283 13679 3064 1 0 2627263 0
[pid=4997/tid=4999] ppid=4994 vsize=10661132 memory=7022364594140610616 CPUtime=0.31 cores=0,2,4,6
/proc/4997/task/4999/stat : 4999 (java) R 4994 4997 1972 0 -1 4202560 5404 0 0 0 29 2 0 0 20 0 15 0 93830721 10916999168 13679 33554432000 4194304 4196468 140723153611360 139883552513056 139883142281632 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5000] ppid=4994 vsize=10661132 memory=4294977868 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5000/stat : 5000 (java) S 4994 4997 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93830722 10916999168 13679 33554432000 4194304 4196468 140723153611360 139883474348560 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5001] ppid=4994 vsize=10661132 memory=140519163677387 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5001/stat : 5001 (java) S 4994 4997 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93830722 10916999168 13679 33554432000 4194304 4196468 140723153611360 139883473296016 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5002] ppid=4994 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5002/stat : 5002 (java) S 4994 4997 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93830722 10916999168 13679 33554432000 4194304 4196468 140723153611360 139883472242960 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5003] ppid=4994 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5003/stat : 5003 (java) S 4994 4997 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93830722 10916999168 13679 33554432000 4194304 4196468 140723153611360 139883471190416 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5004] ppid=4994 vsize=10661132 memory=140519163111040 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5004/stat : 5004 (java) S 4994 4997 1972 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93830723 10916999168 13679 33554432000 4194304 4196468 140723153611360 139883040566000 139883548285570 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5005] ppid=4994 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5005/stat : 5005 (java) S 4994 4997 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93830724 10916999168 13679 33554432000 4194304 4196468 140723153611360 139883039512224 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5006] ppid=4994 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5006/stat : 5006 (java) S 4994 4997 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93830724 10916999168 13679 33554432000 4194304 4196468 140723153611360 139883038459120 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5007] ppid=4994 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5007/stat : 5007 (java) S 4994 4997 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93830727 10916999168 13679 33554432000 4194304 4196468 140723153611360 139883037407696 139883548293019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5008] ppid=4994 vsize=10661132 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/4997/task/5008/stat : 5008 (java) R 4994 4997 1972 0 -1 4202560 1472 0 0 0 13 0 0 0 20 0 15 0 93830727 10916999168 13679 33554432000 4194304 4196468 140723153611360 139883036354928 139883529818863 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5009] ppid=4994 vsize=10661132 memory=-1 CPUtime=0.11 cores=0,2,4,6
/proc/4997/task/5009/stat : 5009 (java) R 4994 4997 1972 0 -1 4202560 683 0 0 0 11 0 0 0 20 0 15 0 93830727 10916999168 13679 33554432000 4194304 4196468 140723153611360 139883035292176 139883533036705 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5010] ppid=4994 vsize=10661132 memory=140519163111040 CPUtime=0.13 cores=0,2,4,6
/proc/4997/task/5010/stat : 5010 (java) R 4994 4997 1972 0 -1 1077944384 1309 0 0 0 13 0 0 0 20 0 15 0 93830727 10916999168 13679 33554432000 4194304 4196468 140723153611360 139883034242896 139883548284629 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5011] ppid=4994 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5011/stat : 5011 (java) S 4994 4997 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93830727 10916999168 13679 33554432000 4194304 4196468 140723153611360 139883033196896 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5012] ppid=4994 vsize=10661132 memory=140519163111040 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5012/stat : 5012 (java) S 4994 4997 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93830727 10916999168 13679 33554432000 4194304 4196468 140723153611360 139883032144944 139883548285570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 54716 KiB

[startup+0.701045 s]
/proc/loadavg: 1.85 1.93 1.94 5/217 5012
/proc/meminfo: memFree=26601076/32770624 swapFree=67108792/67108860
[pid=4997] ppid=4994 vsize=10661132 memory=127244 CPUtime=1.86 cores=0,2,4,6
/proc/4997/stat : 4997 (java) S 4994 4997 1972 0 -1 1077944320 11558 0 0 0 182 4 0 0 20 0 15 0 93830721 10916999168 31811 33554432000 4194304 4196468 140723153611360 140723153593904 139883548274423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
/proc/4997/statm: 2665283 31811 3104 1 0 2627263 0
[pid=4997/tid=4999] ppid=4994 vsize=10661132 memory=162011065362155 CPUtime=0.68 cores=0,2,4,6
/proc/4997/task/4999/stat : 4999 (java) R 4994 4997 1972 0 -1 4202560 5579 0 0 0 65 3 0 0 20 0 15 0 93830721 10916999168 31811 33554432000 4194304 4196468 140723153611360 139883552512432 139883143830309 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5000] ppid=4994 vsize=10661132 memory=551299 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5000/stat : 5000 (java) S 4994 4997 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93830722 10916999168 31811 33554432000 4194304 4196468 140723153611360 139883474348560 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5001] ppid=4994 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5001/stat : 5001 (java) S 4994 4997 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93830722 10916999168 31811 33554432000 4194304 4196468 140723153611360 139883473296016 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5002] ppid=4994 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5002/stat : 5002 (java) S 4994 4997 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93830722 10916999168 31811 33554432000 4194304 4196468 140723153611360 139883472242960 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5003] ppid=4994 vsize=10661132 memory=7809523229951467570 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5003/stat : 5003 (java) S 4994 4997 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93830722 10916999168 31811 33554432000 4194304 4196468 140723153611360 139883471190416 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5004] ppid=4994 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5004/stat : 5004 (java) S 4994 4997 1972 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93830723 10916999168 31811 33554432000 4194304 4196468 140723153611360 139883040566000 139883548285570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5005] ppid=4994 vsize=10661132 memory=-3535359994705171810 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5005/stat : 5005 (java) S 4994 4997 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93830724 10916999168 31811 33554432000 4194304 4196468 140723153611360 139883039512224 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5006] ppid=4994 vsize=10661132 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5006/stat : 5006 (java) S 4994 4997 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93830724 10916999168 31811 33554432000 4194304 4196468 140723153611360 139883038459120 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5007] ppid=4994 vsize=10661132 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5007/stat : 5007 (java) S 4994 4997 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93830727 10916999168 31811 33554432000 4194304 4196468 140723153611360 139883037407696 139883548293019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5008] ppid=4994 vsize=10661132 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/4997/task/5008/stat : 5008 (java) R 4994 4997 1972 0 -1 4202560 1671 0 0 0 46 0 0 0 20 0 15 0 93830727 10916999168 31811 33554432000 4194304 4196468 140723153611360 139883036346448 139883532177504 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5009] ppid=4994 vsize=10661132 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/4997/task/5009/stat : 5009 (java) R 4994 4997 1972 0 -1 4202560 1335 0 0 0 43 0 0 0 20 0 15 0 93830727 10916999168 31811 33554432000 4194304 4196468 140723153611360 139883035288136 139883529795823 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5010] ppid=4994 vsize=10661132 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/4997/task/5010/stat : 5010 (java) R 4994 4997 1972 0 -1 4202560 1601 0 0 0 27 0 0 0 20 0 15 0 93830727 10916999168 31811 33554432000 4194304 4196468 140723153611360 139883034249200 139883540511550 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5011] ppid=4994 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5011/stat : 5011 (java) S 4994 4997 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93830727 10916999168 31811 33554432000 4194304 4196468 140723153611360 139883033196896 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5012] ppid=4994 vsize=10661132 memory=18268 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5012/stat : 5012 (java) S 4994 4997 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93830727 10916999168 31811 33554432000 4194304 4196468 140723153611360 139883032144944 139883548285570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
Current children cumulated CPU time: 1.86 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 127244 KiB

[startup+1.50204 s]
/proc/loadavg: 1.85 1.93 1.94 5/217 5012
/proc/meminfo: memFree=26468056/32770624 swapFree=67108792/67108860
[pid=4997] ppid=4994 vsize=10661132 memory=324660 CPUtime=4.26 cores=0,2,4,6
/proc/4997/stat : 4997 (java) S 4994 4997 1972 0 -1 1077944320 15225 0 0 0 404 22 0 0 20 0 15 0 93830721 10916999168 81165 33554432000 4194304 4196468 140723153611360 140723153593904 139883548274423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
/proc/4997/statm: 2665283 81165 3159 1 0 2627263 0
[pid=4997/tid=4999] ppid=4994 vsize=10661132 memory=10799 CPUtime=1.39 cores=0,2,4,6
/proc/4997/task/4999/stat : 4999 (java) R 4994 4997 1972 0 -1 4202560 5894 0 0 0 135 4 0 0 20 0 15 0 93830721 10916999168 81165 33554432000 4194304 4196468 140723153611360 139883552514816 140723153688514 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5000] ppid=4994 vsize=10661132 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/4997/task/5000/stat : 5000 (java) S 4994 4997 1972 0 -1 1077944384 131 0 0 0 3 4 0 0 20 0 15 0 93830722 10916999168 81165 33554432000 4194304 4196468 140723153611360 139883474348560 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5001] ppid=4994 vsize=10661132 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4997/task/5001/stat : 5001 (java) S 4994 4997 1972 0 -1 1077944384 140 0 0 0 3 4 0 0 20 0 15 0 93830722 10916999168 81165 33554432000 4194304 4196468 140723153611360 139883473296016 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5002] ppid=4994 vsize=10661132 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/4997/task/5002/stat : 5002 (java) S 4994 4997 1972 0 -1 1077944384 141 0 0 0 3 3 0 0 20 0 15 0 93830722 10916999168 81165 33554432000 4194304 4196468 140723153611360 139883472242960 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5003] ppid=4994 vsize=10661132 memory=6943526294502006880 CPUtime=0.07 cores=0,2,4,6
/proc/4997/task/5003/stat : 5003 (java) S 4994 4997 1972 0 -1 1077944384 178 0 0 0 3 4 0 0 20 0 15 0 93830722 10916999168 81165 33554432000 4194304 4196468 140723153611360 139883471190416 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5004] ppid=4994 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5004/stat : 5004 (java) S 4994 4997 1972 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 93830723 10916999168 81165 33554432000 4194304 4196468 140723153611360 139883040566000 139883548285570 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0

################
# More data... #
################

/proc/4997/task/4999/stat : 4999 (java) R 4994 4997 1972 0 -1 4202560 78544 0 0 0 244031 73 0 0 20 0 15 0 93830721 10916999168 450622 33554432000 4194304 4196468 140723153611360 139883552515344 139883148448457 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5000] ppid=4994 vsize=10661132 memory=1802488 CPUtime=0.79 cores=0,2,4,6
/proc/4997/task/5000/stat : 5000 (java) S 4994 4997 1972 0 -1 1077944384 5150 0 0 0 68 11 0 0 20 0 15 0 93830722 10916999168 450622 33554432000 4194304 4196468 140723153611360 139883474348560 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5001] ppid=4994 vsize=10661132 memory=1806076 CPUtime=0.8 cores=0,2,4,6
/proc/4997/task/5001/stat : 5001 (java) S 4994 4997 1972 0 -1 1077944384 6325 0 0 0 68 12 0 0 20 0 15 0 93830722 10916999168 450622 33554432000 4194304 4196468 140723153611360 139883473296016 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5002] ppid=4994 vsize=10661132 memory=1806076 CPUtime=0.8 cores=0,2,4,6
/proc/4997/task/5002/stat : 5002 (java) S 4994 4997 1972 0 -1 1077944384 4822 0 0 0 69 11 0 0 20 0 15 0 93830722 10916999168 450622 33554432000 4194304 4196468 140723153611360 139883472242960 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5003] ppid=4994 vsize=10661132 memory=1806076 CPUtime=0.79 cores=0,2,4,6
/proc/4997/task/5003/stat : 5003 (java) S 4994 4997 1972 0 -1 1077944384 7334 0 0 0 68 11 0 0 20 0 15 0 93830722 10916999168 450622 33554432000 4194304 4196468 140723153611360 139883471190416 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5004] ppid=4994 vsize=10661132 memory=77 CPUtime=0.09 cores=0,2,4,6
/proc/4997/task/5004/stat : 5004 (java) S 4994 4997 1972 0 -1 1077944384 9647 0 0 0 5 4 0 0 20 0 15 0 93830723 10916999168 450622 33554432000 4194304 4196468 140723153611360 139883040566000 139883548285570 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5005] ppid=4994 vsize=10661132 memory=1806076 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5005/stat : 5005 (java) S 4994 4997 1972 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 93830724 10916999168 450622 33554432000 4194304 4196468 140723153611360 139883039512224 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5006] ppid=4994 vsize=10661132 memory=1806076 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5006/stat : 5006 (java) S 4994 4997 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93830724 10916999168 450622 33554432000 4194304 4196468 140723153611360 139883038459120 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5007] ppid=4994 vsize=10661132 memory=1806076 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5007/stat : 5007 (java) S 4994 4997 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93830727 10916999168 450622 33554432000 4194304 4196468 140723153611360 139883037407696 139883548293019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5008] ppid=4994 vsize=10661132 memory=1802488 CPUtime=2.09 cores=0,2,4,6
/proc/4997/task/5008/stat : 5008 (java) S 4994 4997 1972 0 -1 1077944384 12900 0 0 0 208 1 0 0 20 0 15 0 93830727 10916999168 450622 33554432000 4194304 4196468 140723153611360 139883036354800 139883548285570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5009] ppid=4994 vsize=10661132 memory=1806076 CPUtime=2.65 cores=0,2,4,6
/proc/4997/task/5009/stat : 5009 (java) S 4994 4997 1972 0 -1 1077944384 13748 0 0 0 263 2 0 0 20 0 15 0 93830727 10916999168 450622 33554432000 4194304 4196468 140723153611360 139883035302256 139883548285570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5010] ppid=4994 vsize=10661132 memory=1802488 CPUtime=0.53 cores=0,2,4,6
/proc/4997/task/5010/stat : 5010 (java) S 4994 4997 1972 0 -1 1077944384 3868 0 0 0 52 1 0 0 20 0 15 0 93830727 10916999168 450622 33554432000 4194304 4196468 140723153611360 139883034249200 139883548285570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5011] ppid=4994 vsize=10661132 memory=1802488 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5011/stat : 5011 (java) S 4994 4997 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93830727 10916999168 450622 33554432000 4194304 4196468 140723153611360 139883033196896 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5012] ppid=4994 vsize=10661132 memory=1802488 CPUtime=1.21 cores=0,2,4,6
/proc/4997/task/5012/stat : 5012 (java) S 4994 4997 1972 0 -1 1077944384 2082 0 0 0 67 54 0 0 20 0 15 0 93830727 10916999168 450622 33554432000 4194304 4196468 140723153611360 139883032144944 139883548285570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
Current children cumulated CPU time: 2450.88 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1802488 KiB

[startup+2502.3 s]
/proc/loadavg: 1.87 1.94 1.95 3/215 5187
/proc/meminfo: memFree=25203404/32770624 swapFree=67108792/67108860
[pid=4997] ppid=4994 vsize=10661132 memory=1787608 CPUtime=2511.05 cores=0,2,4,6
/proc/4997/stat : 4997 (java) S 4994 4997 1972 0 -1 1077944320 147156 0 0 0 250936 169 0 0 20 0 15 0 93830721 10916999168 446902 33554432000 4194304 4196468 140723153611360 140723153593904 139883548274423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
/proc/4997/statm: 2665283 446902 3165 1 0 2627263 0
[pid=4997/tid=4999] ppid=4994 vsize=10661132 memory=1787608 CPUtime=2500.97 cores=0,2,4,6
/proc/4997/task/4999/stat : 4999 (java) R 4994 4997 1972 0 -1 4202560 79328 0 0 0 250024 73 0 0 20 0 15 0 93830721 10916999168 446902 33554432000 4194304 4196468 140723153611360 139883552515344 139883148448234 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5000] ppid=4994 vsize=10661132 memory=1791200 CPUtime=0.84 cores=0,2,4,6
/proc/4997/task/5000/stat : 5000 (java) S 4994 4997 1972 0 -1 1077944384 5194 0 0 0 73 11 0 0 20 0 15 0 93830722 10916999168 446902 33554432000 4194304 4196468 140723153611360 139883474348560 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5001] ppid=4994 vsize=10661132 memory=1787608 CPUtime=0.85 cores=0,2,4,6
/proc/4997/task/5001/stat : 5001 (java) S 4994 4997 1972 0 -1 1077944384 6380 0 0 0 73 12 0 0 20 0 15 0 93830722 10916999168 446902 33554432000 4194304 4196468 140723153611360 139883473296016 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5002] ppid=4994 vsize=10661132 memory=1787608 CPUtime=0.85 cores=0,2,4,6
/proc/4997/task/5002/stat : 5002 (java) S 4994 4997 1972 0 -1 1077944384 5058 0 0 0 74 11 0 0 20 0 15 0 93830722 10916999168 446902 33554432000 4194304 4196468 140723153611360 139883472242960 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5003] ppid=4994 vsize=10661132 memory=1797868 CPUtime=0.84 cores=0,2,4,6
/proc/4997/task/5003/stat : 5003 (java) S 4994 4997 1972 0 -1 1077944384 7385 0 0 0 73 11 0 0 20 0 15 0 93830722 10916999168 446902 33554432000 4194304 4196468 140723153611360 139883471190416 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5004] ppid=4994 vsize=10661132 memory=15876 CPUtime=0.1 cores=0,2,4,6
/proc/4997/task/5004/stat : 5004 (java) S 4994 4997 1972 0 -1 1077944384 9815 0 0 0 6 4 0 0 20 0 15 0 93830723 10916999168 446902 33554432000 4194304 4196468 140723153611360 139883040566000 139883548285570 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5005] ppid=4994 vsize=10661132 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5005/stat : 5005 (java) S 4994 4997 1972 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 93830724 10916999168 446902 33554432000 4194304 4196468 140723153611360 139883039512224 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5006] ppid=4994 vsize=10661132 memory=27356 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5006/stat : 5006 (java) S 4994 4997 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93830724 10916999168 446902 33554432000 4194304 4196468 140723153611360 139883038459120 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5007] ppid=4994 vsize=10661132 memory=1787608 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5007/stat : 5007 (java) S 4994 4997 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93830727 10916999168 446902 33554432000 4194304 4196468 140723153611360 139883037407696 139883548293019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5008] ppid=4994 vsize=10661132 memory=1787608 CPUtime=2.09 cores=0,2,4,6
/proc/4997/task/5008/stat : 5008 (java) S 4994 4997 1972 0 -1 1077944384 12902 0 0 0 208 1 0 0 20 0 15 0 93830727 10916999168 446902 33554432000 4194304 4196468 140723153611360 139883036354800 139883548285570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5009] ppid=4994 vsize=10661132 memory=1791200 CPUtime=2.65 cores=0,2,4,6
/proc/4997/task/5009/stat : 5009 (java) S 4994 4997 1972 0 -1 1077944384 13750 0 0 0 263 2 0 0 20 0 15 0 93830727 10916999168 446902 33554432000 4194304 4196468 140723153611360 139883035302256 139883548285570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5010] ppid=4994 vsize=10661132 memory=1791200 CPUtime=0.53 cores=0,2,4,6
/proc/4997/task/5010/stat : 5010 (java) S 4994 4997 1972 0 -1 1077944384 3870 0 0 0 52 1 0 0 20 0 15 0 93830727 10916999168 446902 33554432000 4194304 4196468 140723153611360 139883034249200 139883548285570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5011] ppid=4994 vsize=10661132 memory=1791200 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5011/stat : 5011 (java) S 4994 4997 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93830727 10916999168 446902 33554432000 4194304 4196468 140723153611360 139883033196896 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5012] ppid=4994 vsize=10661132 memory=1791200 CPUtime=1.25 cores=0,2,4,6
/proc/4997/task/5012/stat : 5012 (java) S 4994 4997 1972 0 -1 1077944384 2113 0 0 0 69 56 0 0 20 0 15 0 93830727 10916999168 446902 33554432000 4194304 4196468 140723153611360 139883032144944 139883548285570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
Current children cumulated CPU time: 2511.05 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1787608 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2511.3 s]
/proc/loadavg: 1.89 1.95 1.95 3/215 5187
/proc/meminfo: memFree=25195888/32770624 swapFree=67108792/67108860
[pid=4997] ppid=4994 vsize=10661132 memory=1785044 CPUtime=2520.09 cores=0,2,4,6
/proc/4997/stat : 4997 (java) S 4994 4997 1972 0 -1 1077944320 147604 0 0 0 251840 169 0 0 20 0 15 0 93830721 10916999168 446261 33554432000 4194304 4196468 140723153611360 140723153593904 139883548274423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
/proc/4997/statm: 2665283 446261 3165 1 0 2627263 0
[pid=4997/tid=4999] ppid=4994 vsize=10661132 memory=16600 CPUtime=2509.96 cores=0,2,4,6
/proc/4997/task/4999/stat : 4999 (java) R 4994 4997 1972 0 -1 4202560 79375 0 0 0 250923 73 0 0 20 0 15 0 93830721 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883552515344 140723153688514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5000] ppid=4994 vsize=10661132 memory=1785044 CPUtime=0.85 cores=0,2,4,6
/proc/4997/task/5000/stat : 5000 (java) S 4994 4997 1972 0 -1 1077944384 5210 0 0 0 74 11 0 0 20 0 15 0 93830722 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883474348560 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5001] ppid=4994 vsize=10661132 memory=1785044 CPUtime=0.86 cores=0,2,4,6
/proc/4997/task/5001/stat : 5001 (java) S 4994 4997 1972 0 -1 1077944384 6407 0 0 0 74 12 0 0 20 0 15 0 93830722 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883473296016 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5002] ppid=4994 vsize=10661132 memory=15876 CPUtime=0.86 cores=0,2,4,6
/proc/4997/task/5002/stat : 5002 (java) S 4994 4997 1972 0 -1 1077944384 5060 0 0 0 75 11 0 0 20 0 15 0 93830722 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883472242960 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5003] ppid=4994 vsize=10661132 memory=1797868 CPUtime=0.85 cores=0,2,4,6
/proc/4997/task/5003/stat : 5003 (java) S 4994 4997 1972 0 -1 1077944384 7596 0 0 0 74 11 0 0 20 0 15 0 93830722 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883471190416 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5004] ppid=4994 vsize=10661132 memory=1791200 CPUtime=0.1 cores=0,2,4,6
/proc/4997/task/5004/stat : 5004 (java) S 4994 4997 1972 0 -1 1077944384 9952 0 0 0 6 4 0 0 20 0 15 0 93830723 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883040566000 139883548285570 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5005] ppid=4994 vsize=10661132 memory=1794792 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5005/stat : 5005 (java) S 4994 4997 1972 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 93830724 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883039512224 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5006] ppid=4994 vsize=10661132 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5006/stat : 5006 (java) S 4994 4997 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93830724 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883038459120 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5007] ppid=4994 vsize=10661132 memory=1787608 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5007/stat : 5007 (java) S 4994 4997 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93830727 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883037407696 139883548293019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5008] ppid=4994 vsize=10661132 memory=1428 CPUtime=2.09 cores=0,2,4,6
/proc/4997/task/5008/stat : 5008 (java) S 4994 4997 1972 0 -1 1077944384 12904 0 0 0 208 1 0 0 20 0 15 0 93830727 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883036354800 139883548285570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5009] ppid=4994 vsize=10661132 memory=1785044 CPUtime=2.65 cores=0,2,4,6
/proc/4997/task/5009/stat : 5009 (java) S 4994 4997 1972 0 -1 1077944384 13752 0 0 0 263 2 0 0 20 0 15 0 93830727 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883035302256 139883548285570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5010] ppid=4994 vsize=10661132 memory=1785044 CPUtime=0.53 cores=0,2,4,6
/proc/4997/task/5010/stat : 5010 (java) S 4994 4997 1972 0 -1 1077944384 3872 0 0 0 52 1 0 0 20 0 15 0 93830727 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883034249200 139883548285570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5011] ppid=4994 vsize=10661132 memory=5760 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5011/stat : 5011 (java) S 4994 4997 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93830727 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883033196896 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5012] ppid=4994 vsize=10661132 memory=4588 CPUtime=1.25 cores=0,2,4,6
/proc/4997/task/5012/stat : 5012 (java) S 4994 4997 1972 0 -1 1077944384 2115 0 0 0 69 56 0 0 20 0 15 0 93830727 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883032144944 139883548285570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1785044 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2511.32 s]
# the end of solver process 4997 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.42 s, system=1.70805 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2511.3 s]
/proc/loadavg: 1.89 1.95 1.95 3/215 5187
/proc/meminfo: memFree=25195888/32770624 swapFree=67108792/67108860
[pid=4997] ppid=4994 vsize=10661132 memory=1785044 CPUtime=2520.09 cores=0,2,4,6
/proc/4997/stat : 4997 (java) S 4994 4997 1972 0 -1 1077944320 147604 0 0 0 251840 169 0 0 20 0 15 0 93830721 10916999168 446261 33554432000 4194304 4196468 140723153611360 140723153593904 139883548274423 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
/proc/4997/statm: 2665283 446261 3165 1 0 2627263 0
[pid=4997/tid=4999] ppid=4994 vsize=10661132 memory=16600 CPUtime=2509.96 cores=0,2,4,6
/proc/4997/task/4999/stat : 4999 (java) R 4994 4997 1972 0 -1 4202560 79375 0 0 0 250923 73 0 0 20 0 15 0 93830721 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883552515344 140723153688514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5000] ppid=4994 vsize=10661132 memory=1785044 CPUtime=0.85 cores=0,2,4,6
/proc/4997/task/5000/stat : 5000 (java) S 4994 4997 1972 0 -1 1077944384 5210 0 0 0 74 11 0 0 20 0 15 0 93830722 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883474348560 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5001] ppid=4994 vsize=10661132 memory=1785044 CPUtime=0.86 cores=0,2,4,6
/proc/4997/task/5001/stat : 5001 (java) S 4994 4997 1972 0 -1 1077944384 6407 0 0 0 74 12 0 0 20 0 15 0 93830722 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883473296016 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5002] ppid=4994 vsize=10661132 memory=15876 CPUtime=0.86 cores=0,2,4,6
/proc/4997/task/5002/stat : 5002 (java) S 4994 4997 1972 0 -1 1077944384 5060 0 0 0 75 11 0 0 20 0 15 0 93830722 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883472242960 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5003] ppid=4994 vsize=10661132 memory=1797868 CPUtime=0.85 cores=0,2,4,6
/proc/4997/task/5003/stat : 5003 (java) S 4994 4997 1972 0 -1 1077944384 7596 0 0 0 74 11 0 0 20 0 15 0 93830722 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883471190416 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5004] ppid=4994 vsize=10661132 memory=1791200 CPUtime=0.1 cores=0,2,4,6
/proc/4997/task/5004/stat : 5004 (java) S 4994 4997 1972 0 -1 1077944384 9952 0 0 0 6 4 0 0 20 0 15 0 93830723 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883040566000 139883548285570 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5005] ppid=4994 vsize=10661132 memory=1794792 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5005/stat : 5005 (java) S 4994 4997 1972 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 93830724 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883039512224 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5006] ppid=4994 vsize=10661132 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5006/stat : 5006 (java) S 4994 4997 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93830724 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883038459120 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5007] ppid=4994 vsize=10661132 memory=1787608 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5007/stat : 5007 (java) S 4994 4997 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93830727 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883037407696 139883548293019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5008] ppid=4994 vsize=10661132 memory=1428 CPUtime=2.09 cores=0,2,4,6
/proc/4997/task/5008/stat : 5008 (java) S 4994 4997 1972 0 -1 1077944384 12904 0 0 0 208 1 0 0 20 0 15 0 93830727 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883036354800 139883548285570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5009] ppid=4994 vsize=10661132 memory=1785044 CPUtime=2.65 cores=0,2,4,6
/proc/4997/task/5009/stat : 5009 (java) S 4994 4997 1972 0 -1 1077944384 13752 0 0 0 263 2 0 0 20 0 15 0 93830727 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883035302256 139883548285570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5010] ppid=4994 vsize=10661132 memory=1785044 CPUtime=0.53 cores=0,2,4,6
/proc/4997/task/5010/stat : 5010 (java) S 4994 4997 1972 0 -1 1077944384 3872 0 0 0 52 1 0 0 20 0 15 0 93830727 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883034249200 139883548285570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5011] ppid=4994 vsize=10661132 memory=5760 CPUtime=0 cores=0,2,4,6
/proc/4997/task/5011/stat : 5011 (java) S 4994 4997 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93830727 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883033196896 139883548284629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
[pid=4997/tid=5012] ppid=4994 vsize=10661132 memory=4588 CPUtime=1.25 cores=0,2,4,6
/proc/4997/task/5012/stat : 5012 (java) S 4994 4997 1972 0 -1 1077944384 2115 0 0 0 69 56 0 0 20 0 15 0 93830727 10916999168 446261 33554432000 4194304 4196468 140723153611360 139883032144944 139883548285570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19095552 140723153618076 140723153618185 140723153618185 140723153620943 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1785044 KiB

Child status: 143
Real time (s): 2511.32
CPU time (s): 2520.13
CPU user time (s): 2518.42
CPU system time (s): 1.70805
CPU usage (%): 100.351
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 2687472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.42
system time used= 1.70804
maximum resident set size= 2689744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147998
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57603
involuntary context switches= 2700


# summary of solver processes directly reported to runsolver:
#   pid: 4997
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2518.42
#   total CPU system time (s): 1.70805

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9148 second user time and 23.0885 second system time

The end
Name	GraphColoring/ GraphColoring-2-fullins-5_c18.xml
MD5SUM	7175cc64c8263572fa1d1d1459976d33
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	6
Best CPU time to get the best result obtained on this benchmark	354.284
Satisfiable
(Un)Satisfiability was proved
Number of variables	852
Number of constraints	12201
Number of domains	1
Minimum domain size	852
Maximum domain size	852
Distribution of domain sizes	[{"size":852,"count":852}]
Minimum variable degree	9
Maximum variable degree	216
Distribution of variable degrees	[{"degree":9,"count":4},{"degree":10,"count":10},{"degree":11,"count":10},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":28},{"degree":15,"count":20},{"degree":16,"count":40},{"degree":17,"count":26},{"degree":18,"count":52},{"degree":19,"count":24},{"degree":20,"count":52},{"degree":21,"count":10},{"degree":22,"count":20},{"degree":23,"count":24},{"degree":24,"count":48},{"degree":25,"count":18},{"degree":26,"count":36},{"degree":27,"count":20},{"degree":28,"count":40},{"degree":29,"count":16},{"degree":30,"count":32},{"degree":31,"count":32},{"degree":32,"count":64},{"degree":33,"count":4},{"degree":34,"count":8},{"degree":35,"count":4},{"degree":36,"count":8},{"degree":41,"count":4},{"degree":42,"count":8},{"degree":43,"count":8},{"degree":44,"count":16},{"degree":45,"count":8},{"degree":46,"count":16},{"degree":47,"count":16},{"degree":48,"count":32},{"degree":58,"count":4},{"degree":61,"count":4},{"degree":62,"count":8},{"degree":63,"count":8},{"degree":64,"count":16},{"degree":111,"count":4},{"degree":112,"count":8},{"degree":216,"count":4}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":12201}]
Number of extensional constraints	0
Number of intensional constraints	12201
Distribution of constraint types	[{"type":"intension","count":12201}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4298465

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
