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

Solver Name	Answer	objective function	CPU time	Wall clock time
GG's minicp 2018-04-29	SAT (TO)	9	2520.06	2497.33
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 (13450 MiB free)
  memory of node 1: 16384 MiB (13777 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298456-1532761638/watcher-4298456-1532761638 -o /tmp/evaluation-result-4298456-1532761638/solver-4298456-1532761638 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532739149-21838 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298456-1532761638.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
Current StackSize limit: 8192 KiB

solver pid=24570, runsolver pid=24567

[startup+0.100058 s]*
/proc/loadavg: 1.45 1.50 1.56 6/214 24585
/proc/meminfo: memFree=27865764/32770624 swapFree=67108436/67108860
[pid=24570] ppid=24567 vsize=10661056 memory=27436 CPUtime=0.12 cores=0,2,4,6
/proc/24570/stat : 24570 (java) S 24567 24570 21807 0 -1 1077944320 5273 0 0 0 11 1 0 0 20 0 15 0 93726988 10916921344 6859 33554432000 4194304 4196468 140735488003248 140735487985792 140357503778551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
/proc/24570/statm: 2665264 6859 2838 1 0 2627263 0
[pid=24570/tid=24572] ppid=24567 vsize=10661056 memory=-8253362762721551999 CPUtime=0.09 cores=0,2,4,6
/proc/24570/task/24572/stat : 24572 (java) R 24567 24570 21807 0 -1 4202560 3136 0 0 0 8 1 0 0 20 0 15 0 93726988 10916921344 6859 33554432000 4194304 4196468 140735488003248 140357508000496 140357503799898 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24573] ppid=24567 vsize=10661056 memory=3472468114146342096 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24573/stat : 24573 (java) S 24567 24570 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93726989 10916921344 6859 33554432000 4194304 4196468 140735488003248 140357456399248 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24574] ppid=24567 vsize=10661056 memory=139985251190400 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24574/stat : 24574 (java) S 24567 24570 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93726989 10916921344 6859 33554432000 4194304 4196468 140735488003248 140357455346448 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24575] ppid=24567 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24575/stat : 24575 (java) S 24567 24570 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93726989 10916921344 6859 33554432000 4194304 4196468 140735488003248 140357454294160 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24576] ppid=24567 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24576/stat : 24576 (java) S 24567 24570 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93726989 10916921344 6859 33554432000 4194304 4196468 140735488003248 140357453241360 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24577] ppid=24567 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24577/stat : 24577 (java) S 24567 24570 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93726990 10916921344 6859 33554432000 4194304 4196468 140735488003248 140357063497840 140357503789698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24578] ppid=24567 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24578/stat : 24578 (java) S 24567 24570 21807 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93726991 10916921344 6859 33554432000 4194304 4196468 140735488003248 140357062443808 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24579] ppid=24567 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24579/stat : 24579 (java) S 24567 24570 21807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93726991 10916921344 6859 33554432000 4194304 4196468 140735488003248 140357061391472 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24580] ppid=24567 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24580/stat : 24580 (java) S 24567 24570 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93726993 10916921344 6859 33554432000 4194304 4196468 140735488003248 140357060339792 140357503797147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24581] ppid=24567 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24581/stat : 24581 (java) S 24567 24570 21807 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 15 0 93726993 10916921344 6859 33554432000 4194304 4196468 140735488003248 140357059287664 140357503789698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24582] ppid=24567 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24582/stat : 24582 (java) S 24567 24570 21807 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93726993 10916921344 6859 33554432000 4194304 4196468 140735488003248 140357058234864 140357503789698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24583] ppid=24567 vsize=10661056 memory=139985251190400 CPUtime=0.01 cores=0,2,4,6
/proc/24570/task/24583/stat : 24583 (java) R 24567 24570 21807 0 -1 4202560 328 0 0 0 1 0 0 0 20 0 15 0 93726993 10916921344 6859 33554432000 4194304 4196468 140735488003248 140357057182576 140357503799898 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24584] ppid=24567 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24584/stat : 24584 (java) S 24567 24570 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93726994 10916921344 6859 33554432000 4194304 4196468 140735488003248 140357056130016 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24585] ppid=24567 vsize=10661056 memory=139985251190400 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24585/stat : 24585 (java) S 24567 24570 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93726994 10916921344 6859 33554432000 4194304 4196468 140735488003248 140357055076784 140357503789698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27436 KiB

[startup+0.210603 s]*
/proc/loadavg: 1.45 1.50 1.56 7/214 24585
/proc/meminfo: memFree=27843400/32770624 swapFree=67108436/67108860
[pid=24570] ppid=24567 vsize=10661056 memory=40164 CPUtime=0.34 cores=0,2,4,6
/proc/24570/stat : 24570 (java) S 24567 24570 21807 0 -1 1077944320 8191 0 0 0 32 2 0 0 20 0 15 0 93726988 10916921344 10041 33554432000 4194304 4196468 140735488003248 140735487985792 140357503778551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
/proc/24570/statm: 2665264 10041 2996 1 0 2627263 0
[pid=24570/tid=24572] ppid=24567 vsize=10661056 memory=-7254947767442433146 CPUtime=0.19 cores=0,2,4,6
/proc/24570/task/24572/stat : 24572 (java) R 24567 24570 21807 0 -1 4202560 5095 0 0 0 18 1 0 0 20 0 15 0 93726988 10916921344 10041 33554432000 4194304 4196468 140735488003248 140357508016592 140357132381668 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24573] ppid=24567 vsize=10661056 memory=5793855236261083577 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24573/stat : 24573 (java) S 24567 24570 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93726989 10916921344 10041 33554432000 4194304 4196468 140735488003248 140357456399248 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24574] ppid=24567 vsize=10661056 memory=139985251190400 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24574/stat : 24574 (java) S 24567 24570 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93726989 10916921344 10041 33554432000 4194304 4196468 140735488003248 140357455346448 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24575] ppid=24567 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24575/stat : 24575 (java) S 24567 24570 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93726989 10916921344 10041 33554432000 4194304 4196468 140735488003248 140357454294160 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24576] ppid=24567 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24576/stat : 24576 (java) S 24567 24570 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93726989 10916921344 10041 33554432000 4194304 4196468 140735488003248 140357453241360 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24577] ppid=24567 vsize=10661056 memory=139985251190400 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24577/stat : 24577 (java) S 24567 24570 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93726990 10916921344 10041 33554432000 4194304 4196468 140735488003248 140357063497840 140357503789698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24578] ppid=24567 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24578/stat : 24578 (java) S 24567 24570 21807 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93726991 10916921344 10041 33554432000 4194304 4196468 140735488003248 140357062443808 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24579] ppid=24567 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24579/stat : 24579 (java) S 24567 24570 21807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93726991 10916921344 10041 33554432000 4194304 4196468 140735488003248 140357061391472 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24580] ppid=24567 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24580/stat : 24580 (java) S 24567 24570 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93726993 10916921344 10041 33554432000 4194304 4196468 140735488003248 140357060339792 140357503797147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24581] ppid=24567 vsize=10661056 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24570/task/24581/stat : 24581 (java) R 24567 24570 21807 0 -1 4202560 746 0 0 0 3 0 0 0 20 0 15 0 93726993 10916921344 10041 33554432000 4194304 4196468 140735488003248 140357059286064 140357488175616 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24582] ppid=24567 vsize=10661056 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/24570/task/24582/stat : 24582 (java) R 24567 24570 21807 0 -1 1077944384 127 0 0 0 1 0 0 0 20 0 15 0 93726993 10916921344 10041 33554432000 4194304 4196468 140735488003248 140357058234960 140357503788757 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24583] ppid=24567 vsize=10661056 memory=139985251190400 CPUtime=0.08 cores=0,2,4,6
/proc/24570/task/24583/stat : 24583 (java) R 24567 24570 21807 0 -1 4202560 856 0 0 0 8 0 0 0 20 0 15 0 93726993 10916921344 10041 33554432000 4194304 4196468 140735488003248 140357057178944 140357482913952 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24584] ppid=24567 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24584/stat : 24584 (java) S 24567 24570 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93726994 10916921344 10041 33554432000 4194304 4196468 140735488003248 140357056130016 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24585] ppid=24567 vsize=10661056 memory=139985251190400 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24585/stat : 24585 (java) S 24567 24570 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93726994 10916921344 10041 33554432000 4194304 4196468 140735488003248 140357055076784 140357503789698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40164 KiB

[startup+0.310806 s]*
/proc/loadavg: 1.45 1.50 1.56 7/214 24585
/proc/meminfo: memFree=27796864/32770624 swapFree=67108436/67108860
[pid=24570] ppid=24567 vsize=10661132 memory=55092 CPUtime=0.68 cores=0,2,4,6
/proc/24570/stat : 24570 (java) S 24567 24570 21807 0 -1 1077944320 10325 0 0 0 65 3 0 0 20 0 15 0 93726988 10916999168 13773 33554432000 4194304 4196468 140735488003248 140735487985792 140357503778551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
/proc/24570/statm: 2665283 13773 3064 1 0 2627263 0
[pid=24570/tid=24572] ppid=24567 vsize=10661132 memory=-7254947767442433146 CPUtime=0.3 cores=0,2,4,6
/proc/24570/task/24572/stat : 24572 (java) R 24567 24570 21807 0 -1 4202560 5368 0 0 0 28 2 0 0 20 0 15 0 93726988 10916999168 13773 33554432000 4194304 4196468 140735488003248 140357508018672 140357132229404 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24573] ppid=24567 vsize=10661132 memory=5793855236261083577 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24573/stat : 24573 (java) S 24567 24570 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93726989 10916999168 13773 33554432000 4194304 4196468 140735488003248 140357456399248 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24574] ppid=24567 vsize=10661132 memory=279970382185088 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24574/stat : 24574 (java) S 24567 24570 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93726989 10916999168 13773 33554432000 4194304 4196468 140735488003248 140357455346448 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24575] ppid=24567 vsize=10661132 memory=279970262017024 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24575/stat : 24575 (java) S 24567 24570 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93726989 10916999168 13773 33554432000 4194304 4196468 140735488003248 140357454294160 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24576] ppid=24567 vsize=10661132 memory=139985130994703 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24576/stat : 24576 (java) S 24567 24570 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93726989 10916999168 13773 33554432000 4194304 4196468 140735488003248 140357453241360 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24577] ppid=24567 vsize=10661132 memory=279970382194304 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24577/stat : 24577 (java) S 24567 24570 21807 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93726990 10916999168 13773 33554432000 4194304 4196468 140735488003248 140357063497840 140357503789698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24578] ppid=24567 vsize=10661132 memory=139985130999311 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24578/stat : 24578 (java) S 24567 24570 21807 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93726991 10916999168 13773 33554432000 4194304 4196468 140735488003248 140357062443808 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24579] ppid=24567 vsize=10661132 memory=139985131026054 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24579/stat : 24579 (java) S 24567 24570 21807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93726991 10916999168 13773 33554432000 4194304 4196468 140735488003248 140357061391472 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24580] ppid=24567 vsize=10661132 memory=139985131028409 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24580/stat : 24580 (java) S 24567 24570 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93726993 10916999168 13773 33554432000 4194304 4196468 140735488003248 140357060339792 140357503797147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24581] ppid=24567 vsize=10661132 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/24570/task/24581/stat : 24581 (java) R 24567 24570 21807 0 -1 4202560 1360 0 0 0 12 0 0 0 20 0 15 0 93726993 10916999168 13773 33554432000 4194304 4196468 140735488003248 140357059286848 140357483024799 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24582] ppid=24567 vsize=10661132 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/24570/task/24582/stat : 24582 (java) R 24567 24570 21807 0 -1 4202560 1005 0 0 0 9 0 0 0 20 0 15 0 93726993 10916999168 13773 33554432000 4194304 4196468 140735488003248 140357058220744 140357485323040 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24583] ppid=24567 vsize=10661132 memory=139985251190400 CPUtime=0.13 cores=0,2,4,6
/proc/24570/task/24583/stat : 24583 (java) R 24567 24570 21807 0 -1 4202560 1220 0 0 0 13 0 0 0 20 0 15 0 93726993 10916999168 13773 33554432000 4194304 4196468 140735488003248 140357057182576 140357503790486 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24584] ppid=24567 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24584/stat : 24584 (java) S 24567 24570 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93726994 10916999168 13773 33554432000 4194304 4196468 140735488003248 140357056130016 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24585] ppid=24567 vsize=10661132 memory=139985251217836 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24585/stat : 24585 (java) S 24567 24570 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93726994 10916999168 13773 33554432000 4194304 4196468 140735488003248 140357055076784 140357503789698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 55092 KiB

[startup+0.700664 s]
/proc/loadavg: 1.45 1.50 1.56 9/214 24585
/proc/meminfo: memFree=27681932/32770624 swapFree=67108436/67108860
[pid=24570] ppid=24567 vsize=10661132 memory=130680 CPUtime=1.87 cores=0,2,4,6
/proc/24570/stat : 24570 (java) S 24567 24570 21807 0 -1 1077944320 11411 0 0 0 182 5 0 0 20 0 15 0 93726988 10916999168 32670 33554432000 4194304 4196468 140735488003248 140735487985792 140357503778551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
/proc/24570/statm: 2665283 32670 3108 1 0 2627263 0
[pid=24570/tid=24572] ppid=24567 vsize=10661132 memory=54 CPUtime=0.68 cores=0,2,4,6
/proc/24570/task/24572/stat : 24572 (java) D 24567 24570 21807 0 -1 1077944384 5691 0 0 0 65 3 0 0 20 0 15 0 93726988 10916999168 32670 33554432000 4194304 4196468 140735488003248 140357507995840 140357496457773 0 4 0 16800975 18446744072101514788 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24573] ppid=24567 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24573/stat : 24573 (java) S 24567 24570 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93726989 10916999168 32670 33554432000 4194304 4196468 140735488003248 140357456399248 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24574] ppid=24567 vsize=10661132 memory=31 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24574/stat : 24574 (java) S 24567 24570 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93726989 10916999168 32670 33554432000 4194304 4196468 140735488003248 140357455346448 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24575] ppid=24567 vsize=10661132 memory=8242257093008111413 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24575/stat : 24575 (java) S 24567 24570 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93726989 10916999168 32670 33554432000 4194304 4196468 140735488003248 140357454294160 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24576] ppid=24567 vsize=10661132 memory=7306035299386277991 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24576/stat : 24576 (java) S 24567 24570 21807 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93726989 10916999168 32670 33554432000 4194304 4196468 140735488003248 140357453241360 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24577] ppid=24567 vsize=10661132 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24577/stat : 24577 (java) S 24567 24570 21807 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93726990 10916999168 32670 33554432000 4194304 4196468 140735488003248 140357063497840 140357503789698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24578] ppid=24567 vsize=10661132 memory=1852 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24578/stat : 24578 (java) S 24567 24570 21807 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93726991 10916999168 32670 33554432000 4194304 4196468 140735488003248 140357062443808 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24579] ppid=24567 vsize=10661132 memory=872 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24579/stat : 24579 (java) S 24567 24570 21807 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93726991 10916999168 32670 33554432000 4194304 4196468 140735488003248 140357061391472 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24580] ppid=24567 vsize=10661132 memory=8068 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24580/stat : 24580 (java) S 24567 24570 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93726993 10916999168 32670 33554432000 4194304 4196468 140735488003248 140357060339792 140357503797147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24581] ppid=24567 vsize=10661132 memory=11648 CPUtime=0.45 cores=0,2,4,6
/proc/24570/task/24581/stat : 24581 (java) S 24567 24570 21807 0 -1 1077944384 1714 0 0 0 45 0 0 0 20 0 15 0 93726993 10916999168 32670 33554432000 4194304 4196468 140735488003248 140357059287664 140357503789698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24582] ppid=24567 vsize=10661132 memory=796 CPUtime=0.42 cores=0,2,4,6
/proc/24570/task/24582/stat : 24582 (java) R 24567 24570 21807 0 -1 4202560 1107 0 0 0 42 0 0 0 20 0 15 0 93726993 10916999168 32670 33554432000 4194304 4196468 140735488003248 140357058234960 140357487302677 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24583] ppid=24567 vsize=10661132 memory=1388 CPUtime=0.28 cores=0,2,4,6
/proc/24570/task/24583/stat : 24583 (java) S 24567 24570 21807 0 -1 1077944384 1527 0 0 0 28 0 0 0 20 0 15 0 93726993 10916999168 32670 33554432000 4194304 4196468 140735488003248 140357057182576 140357503789698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24584] ppid=24567 vsize=10661132 memory=1136 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24584/stat : 24584 (java) S 24567 24570 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93726994 10916999168 32670 33554432000 4194304 4196468 140735488003248 140357056130016 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24585] ppid=24567 vsize=10661132 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24585/stat : 24585 (java) S 24567 24570 21807 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93726994 10916999168 32670 33554432000 4194304 4196468 140735488003248 140357055076784 140357503789698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
Current children cumulated CPU time: 1.87 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 130680 KiB

[startup+1.50074 s]
/proc/loadavg: 1.45 1.50 1.56 5/214 24585
/proc/meminfo: memFree=27524772/32770624 swapFree=67108436/67108860
[pid=24570] ppid=24567 vsize=10661132 memory=359768 CPUtime=4.26 cores=0,2,4,6
/proc/24570/stat : 24570 (java) S 24567 24570 21807 0 -1 1077944320 15332 0 0 0 400 26 0 0 20 0 15 0 93726988 10916999168 89942 33554432000 4194304 4196468 140735488003248 140735487985792 140357503778551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
/proc/24570/statm: 2665283 89942 3165 1 0 2627263 0
[pid=24570/tid=24572] ppid=24567 vsize=10661132 memory=4140 CPUtime=1.38 cores=0,2,4,6
/proc/24570/task/24572/stat : 24572 (java) R 24567 24570 21807 0 -1 4202560 5867 0 0 0 134 4 0 0 20 0 15 0 93726988 10916999168 89942 33554432000 4194304 4196468 140735488003248 140357508002800 140357137384163 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24573] ppid=24567 vsize=10661132 memory=27100 CPUtime=0.07 cores=0,2,4,6
/proc/24570/task/24573/stat : 24573 (java) S 24567 24570 21807 0 -1 1077944384 143 0 0 0 3 4 0 0 20 0 15 0 93726989 10916999168 89942 33554432000 4194304 4196468 140735488003248 140357456399248 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24574] ppid=24567 vsize=10661132 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24570/task/24574/stat : 24574 (java) S 24567 24570 21807 0 -1 1077944384 132 0 0 0 3 5 0 0 20 0 15 0 93726989 10916999168 89942 33554432000 4194304 4196468 140735488003248 140357455346448 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24575] ppid=24567 vsize=10661132 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/24570/task/24575/stat : 24575 (java) S 24567 24570 21807 0 -1 1077944384 173 0 0 0 3 4 0 0 20 0 15 0 93726989 10916999168 89942 33554432000 4194304 4196468 140735488003248 140357454294160 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24576] ppid=24567 vsize=10661132 memory=54 CPUtime=0.07 cores=0,2,4,6
/proc/24570/task/24576/stat : 24576 (java) S 24567 24570 21807 0 -1 1077944384 131 0 0 0 3 4 0 0 20 0 15 0 93726989 10916999168 89942 33554432000 4194304 4196468 140735488003248 140357453241360 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24577] ppid=24567 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24577/stat : 24577 (java) S 24567 24570 21807 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 93726990 10916999168 89942 33554432000 4194304 4196468 140735488003248 140357063497840 140357503789698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0

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

/proc/24570/task/24572/stat : 24572 (java) R 24567 24570 21807 0 -1 4202560 46570 0 0 0 237254 32 0 0 20 0 15 0 93726988 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357508017792 140357137519615 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24573] ppid=24567 vsize=10661132 memory=1510688 CPUtime=6.1 cores=0,2,4,6
/proc/24570/task/24573/stat : 24573 (java) S 24567 24570 21807 0 -1 1077944384 18289 0 0 0 586 24 0 0 20 0 15 0 93726989 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357456399248 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24574] ppid=24567 vsize=10661132 memory=1510688 CPUtime=6.1 cores=0,2,4,6
/proc/24570/task/24574/stat : 24574 (java) S 24567 24570 21807 0 -1 1077944384 15750 0 0 0 587 23 0 0 20 0 15 0 93726989 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357455346448 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24575] ppid=24567 vsize=10661132 memory=1510688 CPUtime=6.1 cores=0,2,4,6
/proc/24570/task/24575/stat : 24575 (java) S 24567 24570 21807 0 -1 1077944384 18300 0 0 0 587 23 0 0 20 0 15 0 93726989 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357454294160 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24576] ppid=24567 vsize=10661132 memory=1510688 CPUtime=6.09 cores=0,2,4,6
/proc/24570/task/24576/stat : 24576 (java) S 24567 24570 21807 0 -1 1077944384 16697 0 0 0 586 23 0 0 20 0 15 0 93726989 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357453241360 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24577] ppid=24567 vsize=10661132 memory=279970262010088 CPUtime=1.99 cores=0,2,4,6
/proc/24570/task/24577/stat : 24577 (java) S 24567 24570 21807 0 -1 1077944384 18089 0 0 0 182 17 0 0 20 0 15 0 93726990 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357063497840 140357503789698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24578] ppid=24567 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24578/stat : 24578 (java) S 24567 24570 21807 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 93726991 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357062443872 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24579] ppid=24567 vsize=10661132 memory=2200 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24579/stat : 24579 (java) S 24567 24570 21807 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 93726991 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357061391472 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24580] ppid=24567 vsize=10661132 memory=1510688 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24580/stat : 24580 (java) S 24567 24570 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93726993 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357060339792 140357503797147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24581] ppid=24567 vsize=10661132 memory=1404 CPUtime=1.81 cores=0,2,4,6
/proc/24570/task/24581/stat : 24581 (java) S 24567 24570 21807 0 -1 1077944384 6946 0 0 0 180 1 0 0 20 0 15 0 93726993 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357059287664 140357503789698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24582] ppid=24567 vsize=10661132 memory=2592 CPUtime=1.6 cores=0,2,4,6
/proc/24570/task/24582/stat : 24582 (java) S 24567 24570 21807 0 -1 1077944384 5292 0 0 0 159 1 0 0 20 0 15 0 93726993 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357058234864 140357503789698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24583] ppid=24567 vsize=10661132 memory=2656 CPUtime=0.5 cores=0,2,4,6
/proc/24570/task/24583/stat : 24583 (java) S 24567 24570 21807 0 -1 1077944384 3242 0 0 0 49 1 0 0 20 0 15 0 93726993 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357057182576 140357503789698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24584] ppid=24567 vsize=10661132 memory=1510688 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24584/stat : 24584 (java) S 24567 24570 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93726994 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357056130016 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24585] ppid=24567 vsize=10661132 memory=4140 CPUtime=0.75 cores=0,2,4,6
/proc/24570/task/24585/stat : 24585 (java) S 24567 24570 21807 0 -1 1077944384 1862 0 0 0 35 40 0 0 20 0 15 0 93726994 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357055076784 140357503789698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
Current children cumulated CPU time: 2403.99 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1510688 KiB

[startup+2442.3 s]
/proc/loadavg: 1.67 1.49 1.46 3/215 24724
/proc/meminfo: memFree=25774056/32770624 swapFree=67108436/67108860
[pid=24570] ppid=24567 vsize=10661132 memory=1510688 CPUtime=2464.55 cores=0,2,4,6
/proc/24570/stat : 24570 (java) S 24567 24570 21807 0 -1 1077944320 155075 0 0 0 246288 167 0 0 20 0 15 0 93726988 10916999168 377672 33554432000 4194304 4196468 140735488003248 140735487985792 140357503778551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
/proc/24570/statm: 2665283 377672 3182 1 0 2627263 0
[pid=24570/tid=24572] ppid=24567 vsize=10661132 memory=16148 CPUtime=2432.55 cores=0,2,4,6
/proc/24570/task/24572/stat : 24572 (java) R 24567 24570 21807 0 -1 4202560 47094 0 0 0 243223 32 0 0 20 0 15 0 93726988 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357508018064 140357137432598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24573] ppid=24567 vsize=10661132 memory=1510688 CPUtime=6.29 cores=0,2,4,6
/proc/24570/task/24573/stat : 24573 (java) S 24567 24570 21807 0 -1 1077944384 18937 0 0 0 605 24 0 0 20 0 15 0 93726989 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357456399248 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24574] ppid=24567 vsize=10661132 memory=1510688 CPUtime=6.3 cores=0,2,4,6
/proc/24570/task/24574/stat : 24574 (java) S 24567 24570 21807 0 -1 1077944384 16423 0 0 0 606 24 0 0 20 0 15 0 93726989 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357455346448 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24575] ppid=24567 vsize=10661132 memory=1510688 CPUtime=6.29 cores=0,2,4,6
/proc/24570/task/24575/stat : 24575 (java) S 24567 24570 21807 0 -1 1077944384 18538 0 0 0 605 24 0 0 20 0 15 0 93726989 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357454294160 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24576] ppid=24567 vsize=10661132 memory=1510688 CPUtime=6.29 cores=0,2,4,6
/proc/24570/task/24576/stat : 24576 (java) S 24567 24570 21807 0 -1 1077944384 16861 0 0 0 605 24 0 0 20 0 15 0 93726989 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357453241360 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24577] ppid=24567 vsize=10661132 memory=1510688 CPUtime=2.06 cores=0,2,4,6
/proc/24570/task/24577/stat : 24577 (java) S 24567 24570 21807 0 -1 1077944384 18433 0 0 0 188 18 0 0 20 0 15 0 93726990 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357063497840 140357503789698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24578] ppid=24567 vsize=10661132 memory=1510688 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24578/stat : 24578 (java) S 24567 24570 21807 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 93726991 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357062443872 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24579] ppid=24567 vsize=10661132 memory=1510688 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24579/stat : 24579 (java) S 24567 24570 21807 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 93726991 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357061391472 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24580] ppid=24567 vsize=10661132 memory=1510688 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24580/stat : 24580 (java) S 24567 24570 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93726993 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357060339792 140357503797147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24581] ppid=24567 vsize=10661132 memory=1510688 CPUtime=1.81 cores=0,2,4,6
/proc/24570/task/24581/stat : 24581 (java) S 24567 24570 21807 0 -1 1077944384 6950 0 0 0 180 1 0 0 20 0 15 0 93726993 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357059287664 140357503789698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24582] ppid=24567 vsize=10661132 memory=1510688 CPUtime=1.6 cores=0,2,4,6
/proc/24570/task/24582/stat : 24582 (java) S 24567 24570 21807 0 -1 1077944384 5296 0 0 0 159 1 0 0 20 0 15 0 93726993 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357058234864 140357503789698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24583] ppid=24567 vsize=10661132 memory=1510688 CPUtime=0.5 cores=0,2,4,6
/proc/24570/task/24583/stat : 24583 (java) S 24567 24570 21807 0 -1 1077944384 3246 0 0 0 49 1 0 0 20 0 15 0 93726993 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357057182576 140357503789698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24584] ppid=24567 vsize=10661132 memory=1510688 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24584/stat : 24584 (java) S 24567 24570 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93726994 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357056130016 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24585] ppid=24567 vsize=10661132 memory=1784 CPUtime=0.77 cores=0,2,4,6
/proc/24570/task/24585/stat : 24585 (java) S 24567 24570 21807 0 -1 1077944384 1892 0 0 0 36 41 0 0 20 0 15 0 93726994 10916999168 377672 33554432000 4194304 4196468 140735488003248 140357055076784 140357503789698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
Current children cumulated CPU time: 2464.55 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1510688 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2497.3 s]
/proc/loadavg: 1.42 1.44 1.44 3/215 25031
/proc/meminfo: memFree=26228548/32770624 swapFree=67108436/67108860
[pid=24570] ppid=24567 vsize=10661132 memory=1512736 CPUtime=2520.02 cores=0,2,4,6
/proc/24570/stat : 24570 (java) S 24567 24570 21807 0 -1 1077944320 157626 0 0 0 251832 170 0 0 20 0 15 0 93726988 10916999168 378184 33554432000 4194304 4196468 140735488003248 140735487985792 140357503778551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
/proc/24570/statm: 2665283 378184 3182 1 0 2627263 0
[pid=24570/tid=24572] ppid=24567 vsize=10661132 memory=1512736 CPUtime=2487.26 cores=0,2,4,6
/proc/24570/task/24572/stat : 24572 (java) R 24567 24570 21807 0 -1 4202560 47580 0 0 0 248693 33 0 0 20 0 15 0 93726988 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357508017952 140357138107038 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24573] ppid=24567 vsize=10661132 memory=1512736 CPUtime=6.46 cores=0,2,4,6
/proc/24570/task/24573/stat : 24573 (java) S 24567 24570 21807 0 -1 1077944384 19555 0 0 0 621 25 0 0 20 0 15 0 93726989 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357456399248 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24574] ppid=24567 vsize=10661132 memory=1512736 CPUtime=6.47 cores=0,2,4,6
/proc/24570/task/24574/stat : 24574 (java) S 24567 24570 21807 0 -1 1077944384 16639 0 0 0 623 24 0 0 20 0 15 0 93726989 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357455346448 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24575] ppid=24567 vsize=10661132 memory=1512736 CPUtime=6.47 cores=0,2,4,6
/proc/24570/task/24575/stat : 24575 (java) S 24567 24570 21807 0 -1 1077944384 18840 0 0 0 623 24 0 0 20 0 15 0 93726989 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357454294160 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24576] ppid=24567 vsize=10661132 memory=1512736 CPUtime=6.46 cores=0,2,4,6
/proc/24570/task/24576/stat : 24576 (java) S 24567 24570 21807 0 -1 1077944384 17410 0 0 0 622 24 0 0 20 0 15 0 93726989 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357453241360 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24577] ppid=24567 vsize=10661132 memory=1512736 CPUtime=2.12 cores=0,2,4,6
/proc/24570/task/24577/stat : 24577 (java) S 24567 24570 21807 0 -1 1077944384 18777 0 0 0 194 18 0 0 20 0 15 0 93726990 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357063497840 140357503789698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24578] ppid=24567 vsize=10661132 memory=1388 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24578/stat : 24578 (java) S 24567 24570 21807 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 93726991 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357062443872 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24579] ppid=24567 vsize=10661132 memory=1512736 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24579/stat : 24579 (java) S 24567 24570 21807 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 93726991 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357061391472 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24580] ppid=24567 vsize=10661132 memory=1512736 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24580/stat : 24580 (java) S 24567 24570 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93726993 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357060339792 140357503797147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24581] ppid=24567 vsize=10661132 memory=1512736 CPUtime=1.81 cores=0,2,4,6
/proc/24570/task/24581/stat : 24581 (java) S 24567 24570 21807 0 -1 1077944384 6952 0 0 0 180 1 0 0 20 0 15 0 93726993 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357059287664 140357503789698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24582] ppid=24567 vsize=10661132 memory=0 CPUtime=1.6 cores=0,2,4,6
/proc/24570/task/24582/stat : 24582 (java) S 24567 24570 21807 0 -1 1077944384 5298 0 0 0 159 1 0 0 20 0 15 0 93726993 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357058234864 140357503789698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24583] ppid=24567 vsize=10661132 memory=1512736 CPUtime=0.5 cores=0,2,4,6
/proc/24570/task/24583/stat : 24583 (java) S 24567 24570 21807 0 -1 1077944384 3248 0 0 0 49 1 0 0 20 0 15 0 93726993 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357057182576 140357503789698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24584] ppid=24567 vsize=10661132 memory=1512736 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24584/stat : 24584 (java) S 24567 24570 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93726994 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357056130016 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24585] ppid=24567 vsize=10661132 memory=11648 CPUtime=0.78 cores=0,2,4,6
/proc/24570/task/24585/stat : 24585 (java) S 24567 24570 21807 0 -1 1077944384 1922 0 0 0 36 42 0 0 20 0 15 0 93726994 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357055076784 140357503789698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1512736 KiB

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

[startup+2497.33 s]
# the end of solver process 24570 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.35 s, system=1.70942 s

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

[startup+2497.3 s]
/proc/loadavg: 1.42 1.44 1.44 3/215 25031
/proc/meminfo: memFree=26228548/32770624 swapFree=67108436/67108860
[pid=24570] ppid=24567 vsize=10661132 memory=1512736 CPUtime=2520.02 cores=0,2,4,6
/proc/24570/stat : 24570 (java) S 24567 24570 21807 0 -1 1077944320 157626 0 0 0 251832 170 0 0 20 0 15 0 93726988 10916999168 378184 33554432000 4194304 4196468 140735488003248 140735487985792 140357503778551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
/proc/24570/statm: 2665283 378184 3182 1 0 2627263 0
[pid=24570/tid=24572] ppid=24567 vsize=10661132 memory=1512736 CPUtime=2487.26 cores=0,2,4,6
/proc/24570/task/24572/stat : 24572 (java) R 24567 24570 21807 0 -1 4202560 47580 0 0 0 248693 33 0 0 20 0 15 0 93726988 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357508017952 140357138107038 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24573] ppid=24567 vsize=10661132 memory=1512736 CPUtime=6.46 cores=0,2,4,6
/proc/24570/task/24573/stat : 24573 (java) S 24567 24570 21807 0 -1 1077944384 19555 0 0 0 621 25 0 0 20 0 15 0 93726989 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357456399248 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24574] ppid=24567 vsize=10661132 memory=1512736 CPUtime=6.47 cores=0,2,4,6
/proc/24570/task/24574/stat : 24574 (java) S 24567 24570 21807 0 -1 1077944384 16639 0 0 0 623 24 0 0 20 0 15 0 93726989 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357455346448 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24575] ppid=24567 vsize=10661132 memory=1512736 CPUtime=6.47 cores=0,2,4,6
/proc/24570/task/24575/stat : 24575 (java) S 24567 24570 21807 0 -1 1077944384 18840 0 0 0 623 24 0 0 20 0 15 0 93726989 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357454294160 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24576] ppid=24567 vsize=10661132 memory=1512736 CPUtime=6.46 cores=0,2,4,6
/proc/24570/task/24576/stat : 24576 (java) S 24567 24570 21807 0 -1 1077944384 17410 0 0 0 622 24 0 0 20 0 15 0 93726989 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357453241360 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24577] ppid=24567 vsize=10661132 memory=1512736 CPUtime=2.12 cores=0,2,4,6
/proc/24570/task/24577/stat : 24577 (java) S 24567 24570 21807 0 -1 1077944384 18777 0 0 0 194 18 0 0 20 0 15 0 93726990 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357063497840 140357503789698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24578] ppid=24567 vsize=10661132 memory=1388 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24578/stat : 24578 (java) S 24567 24570 21807 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 93726991 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357062443872 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24579] ppid=24567 vsize=10661132 memory=1512736 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24579/stat : 24579 (java) S 24567 24570 21807 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 93726991 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357061391472 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24580] ppid=24567 vsize=10661132 memory=1512736 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24580/stat : 24580 (java) S 24567 24570 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93726993 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357060339792 140357503797147 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24581] ppid=24567 vsize=10661132 memory=1512736 CPUtime=1.81 cores=0,2,4,6
/proc/24570/task/24581/stat : 24581 (java) S 24567 24570 21807 0 -1 1077944384 6952 0 0 0 180 1 0 0 20 0 15 0 93726993 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357059287664 140357503789698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24582] ppid=24567 vsize=10661132 memory=0 CPUtime=1.6 cores=0,2,4,6
/proc/24570/task/24582/stat : 24582 (java) S 24567 24570 21807 0 -1 1077944384 5298 0 0 0 159 1 0 0 20 0 15 0 93726993 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357058234864 140357503789698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24583] ppid=24567 vsize=10661132 memory=1512736 CPUtime=0.5 cores=0,2,4,6
/proc/24570/task/24583/stat : 24583 (java) S 24567 24570 21807 0 -1 1077944384 3248 0 0 0 49 1 0 0 20 0 15 0 93726993 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357057182576 140357503789698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24584] ppid=24567 vsize=10661132 memory=1512736 CPUtime=0 cores=0,2,4,6
/proc/24570/task/24584/stat : 24584 (java) S 24567 24570 21807 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93726994 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357056130016 140357503788757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
[pid=24570/tid=24585] ppid=24567 vsize=10661132 memory=11648 CPUtime=0.78 cores=0,2,4,6
/proc/24570/task/24585/stat : 24585 (java) S 24567 24570 21807 0 -1 1077944384 1922 0 0 0 36 42 0 0 20 0 15 0 93726994 10916999168 378184 33554432000 4194304 4196468 140735488003248 140357055076784 140357503789698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20201472 140735488005237 140735488005385 140735488005385 140735488008143 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1512736 KiB

Child status: 143
Real time (s): 2497.33
CPU time (s): 2520.06
CPU user time (s): 2518.35
CPU system time (s): 1.70942
CPU usage (%): 100.91
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 2103964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.35
system time used= 1.70942
maximum resident set size= 2108712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 158000
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 112701
involuntary context switches= 4748


# summary of solver processes directly reported to runsolver:
#   pid: 24570
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2518.35
#   total CPU system time (s): 1.70942

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4695 second user time and 22.8019 second system time

The end
Name	GraphColoring/ GraphColoring-5-fullins-4_c18.xml
MD5SUM	9a110b3288dcdd83da8fcc132ac433c6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	8
Best CPU time to get the best result obtained on this benchmark	206.048
Satisfiable
(Un)Satisfiability was proved
Number of variables	1085
Number of constraints	11395
Number of domains	1
Minimum domain size	1085
Maximum domain size	1085
Distribution of domain sizes	[{"size":1085,"count":1085}]
Minimum variable degree	7
Maximum variable degree	161
Distribution of variable degrees	[{"degree":7,"count":4},{"degree":8,"count":22},{"degree":9,"count":16},{"degree":10,"count":80},{"degree":11,"count":22},{"degree":12,"count":110},{"degree":13,"count":19},{"degree":14,"count":60},{"degree":15,"count":60},{"degree":16,"count":300},{"degree":19,"count":7},{"degree":20,"count":35},{"degree":21,"count":7},{"degree":22,"count":35},{"degree":30,"count":7},{"degree":33,"count":7},{"degree":34,"count":35},{"degree":35,"count":35},{"degree":36,"count":175},{"degree":55,"count":7},{"degree":56,"count":35},{"degree":161,"count":7}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":11395}]
Number of extensional constraints	0
Number of intensional constraints	11395
Distribution of constraint types	[{"type":"intension","count":11395}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4298456

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
