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

Solver Name	Answer	objective function	CPU time	Wall clock time
Solver of Xavier Schul & Yvhan Smal 2018-04-28	SAT (TO)	35	2520.11	2505.73
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 (13281 MiB free)
  memory of node 1: 16384 MiB (12913 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298473-1532759446/watcher-4298473-1532759446 -o /tmp/evaluation-result-4298473-1532759446/solver-4298473-1532759446 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532739463-2139 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298473-1532759446.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=4659, runsolver pid=4656

[startup+0.100123 s]*
/proc/loadavg: 1.49 1.53 1.59 3/219 4674
/proc/meminfo: memFree=26808904/32770624 swapFree=67108744/67108860
[pid=4659] ppid=4656 vsize=10661052 memory=27676 CPUtime=0.12 cores=0,2,4,6
/proc/4659/stat : 4659 (java) S 4656 4659 2108 0 -1 1077944320 5271 0 0 0 11 1 0 0 20 0 15 0 93507815 10916917248 6919 33554432000 4194304 4196468 140735748773104 140735748755648 140248143351543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
/proc/4659/statm: 2665263 6919 2842 1 0 2627263 0
[pid=4659/tid=4661] ppid=4656 vsize=10661052 memory=-8536111791705257152 CPUtime=0.09 cores=0,2,4,6
/proc/4659/task/4661/stat : 4661 (java) R 4656 4659 2108 0 -1 4202560 3133 0 0 0 8 1 0 0 20 0 15 0 93507816 10916917248 6919 33554432000 4194304 4196468 140735748773104 140248147572704 140248143363478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4662] ppid=4656 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4662/stat : 4662 (java) S 4656 4659 2108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93507816 10916917248 6919 33554432000 4194304 4196468 140735748773104 140248069425936 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4663] ppid=4656 vsize=10661052 memory=139883980195456 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4663/stat : 4663 (java) S 4656 4659 2108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93507817 10916917248 6919 33554432000 4194304 4196468 140735748773104 140248068373392 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4664] ppid=4656 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4664/stat : 4664 (java) S 4656 4659 2108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93507817 10916917248 6919 33554432000 4194304 4196468 140735748773104 140248067320848 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4665] ppid=4656 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4665/stat : 4665 (java) S 4656 4659 2108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93507817 10916917248 6919 33554432000 4194304 4196468 140735748773104 140248066268304 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4666] ppid=4656 vsize=10661052 memory=139883980195456 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4666/stat : 4666 (java) S 4656 4659 2108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93507818 10916917248 6919 33554432000 4194304 4196468 140735748773104 140247379683312 140248143362690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4667] ppid=4656 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4667/stat : 4667 (java) S 4656 4659 2108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93507818 10916917248 6919 33554432000 4194304 4196468 140735748773104 140247378629536 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4668] ppid=4656 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4668/stat : 4668 (java) S 4656 4659 2108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93507819 10916917248 6919 33554432000 4194304 4196468 140735748773104 140247377576944 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4669] ppid=4656 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4669/stat : 4669 (java) S 4656 4659 2108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93507821 10916917248 6919 33554432000 4194304 4196468 140735748773104 140247376525520 140248143370139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4670] ppid=4656 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4670/stat : 4670 (java) R 4656 4659 2108 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 93507821 10916917248 6919 33554432000 4194304 4196468 140735748773104 140247375473136 140248143362690 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4671] ppid=4656 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4671/stat : 4671 (java) S 4656 4659 2108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93507821 10916917248 6919 33554432000 4194304 4196468 140735748773104 140247374420592 140248143362690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4672] ppid=4656 vsize=10661052 memory=139883980195456 CPUtime=0.01 cores=0,2,4,6
/proc/4659/task/4672/stat : 4672 (java) R 4656 4659 2108 0 -1 4202560 342 0 0 0 1 0 0 0 20 0 15 0 93507821 10916917248 6919 33554432000 4194304 4196468 140735748773104 140247373368048 140248127432030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4673] ppid=4656 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4673/stat : 4673 (java) S 4656 4659 2108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93507821 10916917248 6919 33554432000 4194304 4196468 140735748773104 140247372315744 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4674] ppid=4656 vsize=10661052 memory=139883980195456 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4674/stat : 4674 (java) S 4656 4659 2108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93507821 10916917248 6919 33554432000 4194304 4196468 140735748773104 140247371262256 140248143362690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 27676 KiB

[startup+0.210703 s]*
/proc/loadavg: 1.49 1.53 1.59 5/219 4674
/proc/meminfo: memFree=26796724/32770624 swapFree=67108744/67108860
[pid=4659] ppid=4656 vsize=10661052 memory=40388 CPUtime=0.34 cores=0,2,4,6
/proc/4659/stat : 4659 (java) S 4656 4659 2108 0 -1 1077944320 8117 0 0 0 32 2 0 0 20 0 15 0 93507815 10916917248 10097 33554432000 4194304 4196468 140735748773104 140735748755648 140248143351543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
/proc/4659/statm: 2665263 10097 3006 1 0 2627263 0
[pid=4659/tid=4661] ppid=4656 vsize=10661052 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/4659/task/4661/stat : 4661 (java) R 4656 4659 2108 0 -1 4202560 5103 0 0 0 18 1 0 0 20 0 15 0 93507816 10916917248 10097 33554432000 4194304 4196468 140735748773104 140248147587840 140247744791832 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4662] ppid=4656 vsize=10661052 memory=364 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4662/stat : 4662 (java) S 4656 4659 2108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93507816 10916917248 10097 33554432000 4194304 4196468 140735748773104 140248069425936 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4663] ppid=4656 vsize=10661052 memory=139883980200372 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4663/stat : 4663 (java) S 4656 4659 2108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93507817 10916917248 10097 33554432000 4194304 4196468 140735748773104 140248068373392 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4664] ppid=4656 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4664/stat : 4664 (java) S 4656 4659 2108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93507817 10916917248 10097 33554432000 4194304 4196468 140735748773104 140248067320848 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4665] ppid=4656 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4665/stat : 4665 (java) S 4656 4659 2108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93507817 10916917248 10097 33554432000 4194304 4196468 140735748773104 140248066268304 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4666] ppid=4656 vsize=10661052 memory=139883980195456 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4666/stat : 4666 (java) S 4656 4659 2108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93507818 10916917248 10097 33554432000 4194304 4196468 140735748773104 140247379683312 140248143362690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4667] ppid=4656 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4667/stat : 4667 (java) S 4656 4659 2108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93507818 10916917248 10097 33554432000 4194304 4196468 140735748773104 140247378629536 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4668] ppid=4656 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4668/stat : 4668 (java) S 4656 4659 2108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93507819 10916917248 10097 33554432000 4194304 4196468 140735748773104 140247377576944 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4669] ppid=4656 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4669/stat : 4669 (java) S 4656 4659 2108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93507821 10916917248 10097 33554432000 4194304 4196468 140735748773104 140247376525520 140248143370139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4670] ppid=4656 vsize=10661052 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4659/task/4670/stat : 4670 (java) R 4656 4659 2108 0 -1 1077944384 600 0 0 0 1 0 0 0 20 0 15 0 93507821 10916917248 10097 33554432000 4194304 4196468 140735748773104 140247375473136 140248143362690 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4671] ppid=4656 vsize=10661052 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/4659/task/4671/stat : 4671 (java) R 4656 4659 2108 0 -1 4202560 150 0 0 0 3 0 0 0 20 0 15 0 93507821 10916917248 10097 33554432000 4194304 4196468 140735748773104 140247374420592 140248129381633 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4672] ppid=4656 vsize=10661052 memory=139883980195456 CPUtime=0.08 cores=0,2,4,6
/proc/4659/task/4672/stat : 4672 (java) R 4656 4659 2108 0 -1 4202560 899 0 0 0 8 0 0 0 20 0 15 0 93507821 10916917248 10097 33554432000 4194304 4196468 140735748773104 140247373363776 140248122658988 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4673] ppid=4656 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4673/stat : 4673 (java) S 4656 4659 2108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93507821 10916917248 10097 33554432000 4194304 4196468 140735748773104 140247372315744 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4674] ppid=4656 vsize=10661052 memory=139883980195456 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4674/stat : 4674 (java) S 4656 4659 2108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93507821 10916917248 10097 33554432000 4194304 4196468 140735748773104 140247371262256 140248143362690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 40388 KiB

[startup+0.311577 s]*
/proc/loadavg: 1.49 1.53 1.59 5/219 4674
/proc/meminfo: memFree=26781104/32770624 swapFree=67108744/67108860
[pid=4659] ppid=4656 vsize=10661052 memory=56340 CPUtime=0.68 cores=0,2,4,6
/proc/4659/stat : 4659 (java) S 4656 4659 2108 0 -1 1077944320 10077 0 0 0 65 3 0 0 20 0 15 0 93507815 10916917248 14085 33554432000 4194304 4196468 140735748773104 140735748755648 140248143351543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
/proc/4659/statm: 2665263 14085 3051 1 0 2627263 0
[pid=4659/tid=4661] ppid=4656 vsize=10661052 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/4659/task/4661/stat : 4661 (java) R 4656 4659 2108 0 -1 4202560 5213 0 0 0 28 1 0 0 20 0 15 0 93507816 10916917248 14085 33554432000 4194304 4196468 140735748773104 140248147589200 140248136029557 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4662] ppid=4656 vsize=10661052 memory=4294980952 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4662/stat : 4662 (java) S 4656 4659 2108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93507816 10916917248 14085 33554432000 4194304 4196468 140735748773104 140248069425936 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4663] ppid=4656 vsize=10661052 memory=139883980753759 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4663/stat : 4663 (java) S 4656 4659 2108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93507817 10916917248 14085 33554432000 4194304 4196468 140735748773104 140248068373392 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4664] ppid=4656 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4664/stat : 4664 (java) S 4656 4659 2108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93507817 10916917248 14085 33554432000 4194304 4196468 140735748773104 140248067320848 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4665] ppid=4656 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4665/stat : 4665 (java) S 4656 4659 2108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93507817 10916917248 14085 33554432000 4194304 4196468 140735748773104 140248066268304 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4666] ppid=4656 vsize=10661052 memory=139883980195456 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4666/stat : 4666 (java) S 4656 4659 2108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93507818 10916917248 14085 33554432000 4194304 4196468 140735748773104 140247379683312 140248143362690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4667] ppid=4656 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4667/stat : 4667 (java) S 4656 4659 2108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93507818 10916917248 14085 33554432000 4194304 4196468 140735748773104 140247378629536 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4668] ppid=4656 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4668/stat : 4668 (java) S 4656 4659 2108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93507819 10916917248 14085 33554432000 4194304 4196468 140735748773104 140247377576944 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4669] ppid=4656 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4669/stat : 4669 (java) S 4656 4659 2108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93507821 10916917248 14085 33554432000 4194304 4196468 140735748773104 140247376525520 140248143370139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4670] ppid=4656 vsize=10661052 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/4659/task/4670/stat : 4670 (java) R 4656 4659 2108 0 -1 4202560 1177 0 0 0 11 0 0 0 20 0 15 0 93507821 10916917248 14085 33554432000 4194304 4196468 140735748773104 140247375454704 140248124895719 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4671] ppid=4656 vsize=10661052 memory=-1 CPUtime=0.12 cores=0,2,4,6
/proc/4659/task/4671/stat : 4671 (java) R 4656 4659 2108 0 -1 4202560 1071 0 0 0 12 0 0 0 20 0 15 0 93507821 10916917248 14085 33554432000 4194304 4196468 140735748773104 140247374406472 140248122814036 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4672] ppid=4656 vsize=10661052 memory=139883980195456 CPUtime=0.12 cores=0,2,4,6
/proc/4659/task/4672/stat : 4672 (java) R 4656 4659 2108 0 -1 1077944384 1266 0 0 0 12 0 0 0 20 0 15 0 93507821 10916917248 14085 33554432000 4194304 4196468 140735748773104 140247373368048 140248143362690 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4673] ppid=4656 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4673/stat : 4673 (java) S 4656 4659 2108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93507821 10916917248 14085 33554432000 4194304 4196468 140735748773104 140247372315744 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4674] ppid=4656 vsize=10661052 memory=139883980195456 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4674/stat : 4674 (java) S 4656 4659 2108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93507821 10916917248 14085 33554432000 4194304 4196468 140735748773104 140247371262256 140248143362690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 56340 KiB

[startup+0.709621 s]
/proc/loadavg: 1.49 1.53 1.59 5/219 4674
/proc/meminfo: memFree=26759836/32770624 swapFree=67108744/67108860
[pid=4659] ppid=4656 vsize=10661128 memory=152500 CPUtime=1.87 cores=0,2,4,6
/proc/4659/stat : 4659 (java) S 4656 4659 2108 0 -1 1077944320 11140 0 0 0 182 5 0 0 20 0 15 0 93507815 10916995072 38125 33554432000 4194304 4196468 140735748773104 140735748755648 140248143351543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
/proc/4659/statm: 2665282 38125 3103 1 0 2627263 0
[pid=4659/tid=4661] ppid=4656 vsize=10661128 memory=1236 CPUtime=0.68 cores=0,2,4,6
/proc/4659/task/4661/stat : 4661 (java) R 4656 4659 2108 0 -1 4202560 5495 0 0 0 65 3 0 0 20 0 15 0 93507816 10916995072 38125 33554432000 4194304 4196468 140735748773104 140248147585400 140247747882803 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4662] ppid=4656 vsize=10661128 memory=15676 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4662/stat : 4662 (java) S 4656 4659 2108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93507816 10916995072 38125 33554432000 4194304 4196468 140735748773104 140248069425936 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4663] ppid=4656 vsize=10661128 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4663/stat : 4663 (java) S 4656 4659 2108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93507817 10916995072 38125 33554432000 4194304 4196468 140735748773104 140248068373392 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4664] ppid=4656 vsize=10661128 memory=644 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4664/stat : 4664 (java) S 4656 4659 2108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93507817 10916995072 38125 33554432000 4194304 4196468 140735748773104 140248067320848 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4665] ppid=4656 vsize=10661128 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4665/stat : 4665 (java) S 4656 4659 2108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93507817 10916995072 38125 33554432000 4194304 4196468 140735748773104 140248066268304 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4666] ppid=4656 vsize=10661128 memory=956 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4666/stat : 4666 (java) S 4656 4659 2108 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 93507818 10916995072 38125 33554432000 4194304 4196468 140735748773104 140247379683312 140248143362690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4667] ppid=4656 vsize=10661128 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4667/stat : 4667 (java) S 4656 4659 2108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93507818 10916995072 38125 33554432000 4194304 4196468 140735748773104 140247378629536 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4668] ppid=4656 vsize=10661128 memory=928 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4668/stat : 4668 (java) S 4656 4659 2108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93507819 10916995072 38125 33554432000 4194304 4196468 140735748773104 140247377576944 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4669] ppid=4656 vsize=10661128 memory=6153431502485415525 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4669/stat : 4669 (java) S 4656 4659 2108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93507821 10916995072 38125 33554432000 4194304 4196468 140735748773104 140247376525520 140248143370139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4670] ppid=4656 vsize=10661128 memory=6081108994580048232 CPUtime=0.46 cores=0,2,4,6
/proc/4659/task/4670/stat : 4670 (java) R 4656 4659 2108 0 -1 4202560 1609 0 0 0 46 0 0 0 20 0 15 0 93507821 10916995072 38125 33554432000 4194304 4196468 140735748773104 140247375459920 140248143363478 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4671] ppid=4656 vsize=10661128 memory=6154282490091891024 CPUtime=0.45 cores=0,2,4,6
/proc/4659/task/4671/stat : 4671 (java) R 4656 4659 2108 0 -1 4202560 1165 0 0 0 45 0 0 0 20 0 15 0 93507821 10916995072 38125 33554432000 4194304 4196468 140735748773104 140247374411920 140248143372890 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4672] ppid=4656 vsize=10661128 memory=7440052414025066321 CPUtime=0.24 cores=0,2,4,6
/proc/4659/task/4672/stat : 4672 (java) S 4656 4659 2108 0 -1 1077944384 1499 0 0 0 24 0 0 0 20 0 15 0 93507821 10916995072 38125 33554432000 4194304 4196468 140735748773104 140247373368048 140248143362690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4673] ppid=4656 vsize=10661128 memory=7522818319144412011 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4673/stat : 4673 (java) S 4656 4659 2108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93507821 10916995072 38125 33554432000 4194304 4196468 140735748773104 140247372315744 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4674] ppid=4656 vsize=10661128 memory=10588 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4674/stat : 4674 (java) S 4656 4659 2108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93507821 10916995072 38125 33554432000 4194304 4196468 140735748773104 140247371262256 140248143362690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
Current children cumulated CPU time: 1.87 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 152500 KiB

[startup+1.50125 s]
/proc/loadavg: 1.49 1.53 1.59 5/219 4674
/proc/meminfo: memFree=26644176/32770624 swapFree=67108744/67108860
[pid=4659] ppid=4656 vsize=10661128 memory=333336 CPUtime=4.29 cores=0,2,4,6
/proc/4659/stat : 4659 (java) S 4656 4659 2108 0 -1 1077944320 14717 0 0 0 411 18 0 0 20 0 15 0 93507815 10916995072 83334 33554432000 4194304 4196468 140735748773104 140735748755648 140248143351543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
/proc/4659/statm: 2665282 83334 3157 1 0 2627263 0
[pid=4659/tid=4661] ppid=4656 vsize=10661128 memory=265100 CPUtime=1.41 cores=0,2,4,6
/proc/4659/task/4661/stat : 4661 (java) R 4656 4659 2108 0 -1 4202560 5697 0 0 0 137 4 0 0 20 0 15 0 93507816 10916995072 83334 33554432000 4194304 4196468 140735748773104 140248147587832 140247748970132 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4662] ppid=4656 vsize=10661128 memory=8112282956445269571 CPUtime=0.05 cores=0,2,4,6
/proc/4659/task/4662/stat : 4662 (java) S 4656 4659 2108 0 -1 1077944384 208 0 0 0 2 3 0 0 20 0 15 0 93507816 10916995072 83334 33554432000 4194304 4196468 140735748773104 140248069425936 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4663] ppid=4656 vsize=10661128 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4659/task/4663/stat : 4663 (java) S 4656 4659 2108 0 -1 1077944384 126 0 0 0 2 2 0 0 20 0 15 0 93507817 10916995072 83846 33554432000 4194304 4196468 140735748773104 140248068373392 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4664] ppid=4656 vsize=10661128 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4659/task/4664/stat : 4664 (java) S 4656 4659 2108 0 -1 1077944384 123 0 0 0 2 2 0 0 20 0 15 0 93507817 10916995072 83846 33554432000 4194304 4196468 140735748773104 140248067320848 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4665] ppid=4656 vsize=10661128 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/4659/task/4665/stat : 4665 (java) S 4656 4659 2108 0 -1 1077944384 172 0 0 0 3 2 0 0 20 0 15 0 93507817 10916995072 83846 33554432000 4194304 4196468 140735748773104 140248066268304 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4666] ppid=4656 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4666/stat : 4666 (java) S 4656 4659 2108 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 93507818 10916995072 83846 33554432000 4194304 4196468 140735748773104 140247379683312 140248143362690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0

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

/proc/4659/task/4661/stat : 4661 (java) R 4656 4659 2108 0 -1 4202560 52920 0 0 0 243832 20 0 0 20 0 15 0 93507816 10916995072 276555 33554432000 4194304 4196468 140735748773104 140248147590912 140247751634070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4662] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2.66 cores=0,2,4,6
/proc/4659/task/4662/stat : 4662 (java) S 4656 4659 2108 0 -1 1077944384 12905 0 0 0 250 16 0 0 20 0 15 0 93507816 10916995072 276555 33554432000 4194304 4196468 140735748773104 140248069425936 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4663] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2.69 cores=0,2,4,6
/proc/4659/task/4663/stat : 4663 (java) S 4656 4659 2108 0 -1 1077944384 13746 0 0 0 254 15 0 0 20 0 15 0 93507817 10916995072 276555 33554432000 4194304 4196468 140735748773104 140248068373392 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4664] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2.6 cores=0,2,4,6
/proc/4659/task/4664/stat : 4664 (java) S 4656 4659 2108 0 -1 1077944384 12913 0 0 0 247 13 0 0 20 0 15 0 93507817 10916995072 276555 33554432000 4194304 4196468 140735748773104 140248067320848 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4665] ppid=4656 vsize=10661128 memory=279767728444800 CPUtime=2.65 cores=0,2,4,6
/proc/4659/task/4665/stat : 4665 (java) S 4656 4659 2108 0 -1 1077944384 11209 0 0 0 251 14 0 0 20 0 15 0 93507817 10916995072 276555 33554432000 4194304 4196468 140735748773104 140248066268304 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4666] ppid=4656 vsize=10661128 memory=1106220 CPUtime=0.6 cores=0,2,4,6
/proc/4659/task/4666/stat : 4666 (java) S 4656 4659 2108 0 -1 1077944384 13129 0 0 0 54 6 0 0 20 0 15 0 93507818 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247379683312 140248143362690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4667] ppid=4656 vsize=10661128 memory=1106220 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4667/stat : 4667 (java) S 4656 4659 2108 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 93507818 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247378629600 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4668] ppid=4656 vsize=10661128 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4668/stat : 4668 (java) S 4656 4659 2108 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 93507819 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247377576944 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4669] ppid=4656 vsize=10661128 memory=1106220 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4669/stat : 4669 (java) S 4656 4659 2108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93507821 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247376525520 140248143370139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4670] ppid=4656 vsize=10661128 memory=4096 CPUtime=2.59 cores=0,2,4,6
/proc/4659/task/4670/stat : 4670 (java) S 4656 4659 2108 0 -1 1077944384 7714 0 0 0 258 1 0 0 20 0 15 0 93507821 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247375473136 140248143362690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4671] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2.72 cores=0,2,4,6
/proc/4659/task/4671/stat : 4671 (java) S 4656 4659 2108 0 -1 1077944384 5323 0 0 0 271 1 0 0 20 0 15 0 93507821 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247374420592 140248143362690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4672] ppid=4656 vsize=10661128 memory=1106220 CPUtime=0.54 cores=0,2,4,6
/proc/4659/task/4672/stat : 4672 (java) S 4656 4659 2108 0 -1 1077944384 2930 0 0 0 53 1 0 0 20 0 15 0 93507821 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247373368048 140248143362690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4673] ppid=4656 vsize=10661128 memory=1106220 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4673/stat : 4673 (java) S 4656 4659 2108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93507821 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247372315744 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4674] ppid=4656 vsize=10661128 memory=1106220 CPUtime=0.68 cores=0,2,4,6
/proc/4659/task/4674/stat : 4674 (java) S 4656 4659 2108 0 -1 1077944384 1903 0 0 0 29 39 0 0 20 0 15 0 93507821 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247371262256 140248143362690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
Current children cumulated CPU time: 2456.34 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 1106220 KiB

[startup+2502.3 s]
/proc/loadavg: 1.58 1.57 1.66 3/219 4850
/proc/meminfo: memFree=26741244/32770624 swapFree=67108744/67108860
[pid=4659] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2516.65 cores=0,2,4,6
/proc/4659/stat : 4659 (java) S 4656 4659 2108 0 -1 1077944320 137697 0 0 0 251552 113 0 0 20 0 15 0 93507815 10916995072 276555 33554432000 4194304 4196468 140735748773104 140735748755648 140248143351543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
/proc/4659/statm: 2665282 276555 3180 1 0 2627263 0
[pid=4659/tid=4661] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2498.37 cores=0,2,4,6
/proc/4659/task/4661/stat : 4661 (java) R 4656 4659 2108 0 -1 4202560 53405 0 0 0 249817 20 0 0 20 0 15 0 93507816 10916995072 276555 33554432000 4194304 4196468 140735748773104 140248147590864 140247751452383 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4662] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2.76 cores=0,2,4,6
/proc/4659/task/4662/stat : 4662 (java) S 4656 4659 2108 0 -1 1077944384 12999 0 0 0 260 16 0 0 20 0 15 0 93507816 10916995072 276555 33554432000 4194304 4196468 140735748773104 140248069425936 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4663] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2.79 cores=0,2,4,6
/proc/4659/task/4663/stat : 4663 (java) S 4656 4659 2108 0 -1 1077944384 14222 0 0 0 264 15 0 0 20 0 15 0 93507817 10916995072 276555 33554432000 4194304 4196468 140735748773104 140248068373392 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4664] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2.7 cores=0,2,4,6
/proc/4659/task/4664/stat : 4664 (java) S 4656 4659 2108 0 -1 1077944384 13075 0 0 0 257 13 0 0 20 0 15 0 93507817 10916995072 276555 33554432000 4194304 4196468 140735748773104 140248067320848 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4665] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2.75 cores=0,2,4,6
/proc/4659/task/4665/stat : 4665 (java) S 4656 4659 2108 0 -1 1077944384 11412 0 0 0 261 14 0 0 20 0 15 0 93507817 10916995072 276555 33554432000 4194304 4196468 140735748773104 140248066268304 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4666] ppid=4656 vsize=10661128 memory=1106220 CPUtime=0.63 cores=0,2,4,6
/proc/4659/task/4666/stat : 4666 (java) S 4656 4659 2108 0 -1 1077944384 13306 0 0 0 56 7 0 0 20 0 15 0 93507818 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247379683312 140248143362690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4667] ppid=4656 vsize=10661128 memory=1106220 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4667/stat : 4667 (java) S 4656 4659 2108 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 93507818 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247378629600 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4668] ppid=4656 vsize=10661128 memory=1106220 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4668/stat : 4668 (java) S 4656 4659 2108 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 93507819 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247377576944 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4669] ppid=4656 vsize=10661128 memory=1106220 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4669/stat : 4669 (java) S 4656 4659 2108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93507821 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247376525520 140248143370139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4670] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2.59 cores=0,2,4,6
/proc/4659/task/4670/stat : 4670 (java) S 4656 4659 2108 0 -1 1077944384 7716 0 0 0 258 1 0 0 20 0 15 0 93507821 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247375473136 140248143362690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4671] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2.72 cores=0,2,4,6
/proc/4659/task/4671/stat : 4671 (java) S 4656 4659 2108 0 -1 1077944384 5325 0 0 0 271 1 0 0 20 0 15 0 93507821 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247374420592 140248143362690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4672] ppid=4656 vsize=10661128 memory=1424 CPUtime=0.54 cores=0,2,4,6
/proc/4659/task/4672/stat : 4672 (java) S 4656 4659 2108 0 -1 1077944384 2933 0 0 0 53 1 0 0 20 0 15 0 93507821 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247373368048 140248143362690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4673] ppid=4656 vsize=10661128 memory=11116 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4673/stat : 4673 (java) S 4656 4659 2108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93507821 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247372315744 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4674] ppid=4656 vsize=10661128 memory=1106220 CPUtime=0.69 cores=0,2,4,6
/proc/4659/task/4674/stat : 4674 (java) S 4656 4659 2108 0 -1 1077944384 1920 0 0 0 29 40 0 0 20 0 15 0 93507821 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247371262256 140248143362690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
Current children cumulated CPU time: 2516.65 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 1106220 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2505.7 s]
/proc/loadavg: 1.62 1.58 1.66 3/219 4850
/proc/meminfo: memFree=26741244/32770624 swapFree=67108744/67108860
[pid=4659] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2520.08 cores=0,2,4,6
/proc/4659/stat : 4659 (java) S 4656 4659 2108 0 -1 1077944320 137700 0 0 0 251895 113 0 0 20 0 15 0 93507815 10916995072 276555 33554432000 4194304 4196468 140735748773104 140735748755648 140248143351543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
/proc/4659/statm: 2665282 276555 3180 1 0 2627263 0
[pid=4659/tid=4661] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2501.76 cores=0,2,4,6
/proc/4659/task/4661/stat : 4661 (java) R 4656 4659 2108 0 -1 4202560 53408 0 0 0 250156 20 0 0 20 0 15 0 93507816 10916995072 276555 33554432000 4194304 4196468 140735748773104 140248147590976 140247751135228 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4662] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2.77 cores=0,2,4,6
/proc/4659/task/4662/stat : 4662 (java) S 4656 4659 2108 0 -1 1077944384 12999 0 0 0 261 16 0 0 20 0 15 0 93507816 10916995072 276555 33554432000 4194304 4196468 140735748773104 140248069425936 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4663] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2.8 cores=0,2,4,6
/proc/4659/task/4663/stat : 4663 (java) S 4656 4659 2108 0 -1 1077944384 14222 0 0 0 265 15 0 0 20 0 15 0 93507817 10916995072 276555 33554432000 4194304 4196468 140735748773104 140248068373392 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4664] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2.71 cores=0,2,4,6
/proc/4659/task/4664/stat : 4664 (java) S 4656 4659 2108 0 -1 1077944384 13075 0 0 0 258 13 0 0 20 0 15 0 93507817 10916995072 276555 33554432000 4194304 4196468 140735748773104 140248067320848 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4665] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2.76 cores=0,2,4,6
/proc/4659/task/4665/stat : 4665 (java) S 4656 4659 2108 0 -1 1077944384 11412 0 0 0 262 14 0 0 20 0 15 0 93507817 10916995072 276555 33554432000 4194304 4196468 140735748773104 140248066268304 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4666] ppid=4656 vsize=10661128 memory=1106220 CPUtime=0.63 cores=0,2,4,6
/proc/4659/task/4666/stat : 4666 (java) S 4656 4659 2108 0 -1 1077944384 13306 0 0 0 56 7 0 0 20 0 15 0 93507818 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247379683312 140248143362690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4667] ppid=4656 vsize=10661128 memory=1106220 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4667/stat : 4667 (java) S 4656 4659 2108 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 93507818 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247378629600 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4668] ppid=4656 vsize=10661128 memory=1106220 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4668/stat : 4668 (java) S 4656 4659 2108 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 93507819 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247377576944 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4669] ppid=4656 vsize=10661128 memory=18280 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4669/stat : 4669 (java) S 4656 4659 2108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93507821 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247376525520 140248143370139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4670] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2.59 cores=0,2,4,6
/proc/4659/task/4670/stat : 4670 (java) S 4656 4659 2108 0 -1 1077944384 7716 0 0 0 258 1 0 0 20 0 15 0 93507821 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247375473136 140248143362690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4671] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2.72 cores=0,2,4,6
/proc/4659/task/4671/stat : 4671 (java) S 4656 4659 2108 0 -1 1077944384 5325 0 0 0 271 1 0 0 20 0 15 0 93507821 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247374420592 140248143362690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4672] ppid=4656 vsize=10661128 memory=1424 CPUtime=0.54 cores=0,2,4,6
/proc/4659/task/4672/stat : 4672 (java) S 4656 4659 2108 0 -1 1077944384 2933 0 0 0 53 1 0 0 20 0 15 0 93507821 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247373368048 140248143362690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4673] ppid=4656 vsize=10661128 memory=11116 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4673/stat : 4673 (java) S 4656 4659 2108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93507821 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247372315744 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4674] ppid=4656 vsize=10661128 memory=1106220 CPUtime=0.69 cores=0,2,4,6
/proc/4659/task/4674/stat : 4674 (java) S 4656 4659 2108 0 -1 1077944384 1920 0 0 0 29 40 0 0 20 0 15 0 93507821 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247371262256 140248143362690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 1106220 KiB

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

[startup+2505.73 s]
# the end of solver process 4659 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.97 s, system=1.13928 s

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

[startup+2505.7 s]
/proc/loadavg: 1.62 1.58 1.66 3/219 4850
/proc/meminfo: memFree=26741244/32770624 swapFree=67108744/67108860
[pid=4659] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2520.08 cores=0,2,4,6
/proc/4659/stat : 4659 (java) S 4656 4659 2108 0 -1 1077944320 137700 0 0 0 251895 113 0 0 20 0 15 0 93507815 10916995072 276555 33554432000 4194304 4196468 140735748773104 140735748755648 140248143351543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
/proc/4659/statm: 2665282 276555 3180 1 0 2627263 0
[pid=4659/tid=4661] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2501.76 cores=0,2,4,6
/proc/4659/task/4661/stat : 4661 (java) R 4656 4659 2108 0 -1 4202560 53408 0 0 0 250156 20 0 0 20 0 15 0 93507816 10916995072 276555 33554432000 4194304 4196468 140735748773104 140248147590976 140247751135228 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4662] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2.77 cores=0,2,4,6
/proc/4659/task/4662/stat : 4662 (java) S 4656 4659 2108 0 -1 1077944384 12999 0 0 0 261 16 0 0 20 0 15 0 93507816 10916995072 276555 33554432000 4194304 4196468 140735748773104 140248069425936 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4663] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2.8 cores=0,2,4,6
/proc/4659/task/4663/stat : 4663 (java) S 4656 4659 2108 0 -1 1077944384 14222 0 0 0 265 15 0 0 20 0 15 0 93507817 10916995072 276555 33554432000 4194304 4196468 140735748773104 140248068373392 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4664] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2.71 cores=0,2,4,6
/proc/4659/task/4664/stat : 4664 (java) S 4656 4659 2108 0 -1 1077944384 13075 0 0 0 258 13 0 0 20 0 15 0 93507817 10916995072 276555 33554432000 4194304 4196468 140735748773104 140248067320848 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4665] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2.76 cores=0,2,4,6
/proc/4659/task/4665/stat : 4665 (java) S 4656 4659 2108 0 -1 1077944384 11412 0 0 0 262 14 0 0 20 0 15 0 93507817 10916995072 276555 33554432000 4194304 4196468 140735748773104 140248066268304 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4666] ppid=4656 vsize=10661128 memory=1106220 CPUtime=0.63 cores=0,2,4,6
/proc/4659/task/4666/stat : 4666 (java) S 4656 4659 2108 0 -1 1077944384 13306 0 0 0 56 7 0 0 20 0 15 0 93507818 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247379683312 140248143362690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4667] ppid=4656 vsize=10661128 memory=1106220 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4667/stat : 4667 (java) S 4656 4659 2108 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 93507818 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247378629600 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4668] ppid=4656 vsize=10661128 memory=1106220 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4668/stat : 4668 (java) S 4656 4659 2108 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 93507819 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247377576944 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4669] ppid=4656 vsize=10661128 memory=18280 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4669/stat : 4669 (java) S 4656 4659 2108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93507821 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247376525520 140248143370139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4670] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2.59 cores=0,2,4,6
/proc/4659/task/4670/stat : 4670 (java) S 4656 4659 2108 0 -1 1077944384 7716 0 0 0 258 1 0 0 20 0 15 0 93507821 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247375473136 140248143362690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4671] ppid=4656 vsize=10661128 memory=1106220 CPUtime=2.72 cores=0,2,4,6
/proc/4659/task/4671/stat : 4671 (java) S 4656 4659 2108 0 -1 1077944384 5325 0 0 0 271 1 0 0 20 0 15 0 93507821 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247374420592 140248143362690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4672] ppid=4656 vsize=10661128 memory=1424 CPUtime=0.54 cores=0,2,4,6
/proc/4659/task/4672/stat : 4672 (java) S 4656 4659 2108 0 -1 1077944384 2933 0 0 0 53 1 0 0 20 0 15 0 93507821 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247373368048 140248143362690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4673] ppid=4656 vsize=10661128 memory=11116 CPUtime=0 cores=0,2,4,6
/proc/4659/task/4673/stat : 4673 (java) S 4656 4659 2108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93507821 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247372315744 140248143361749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
[pid=4659/tid=4674] ppid=4656 vsize=10661128 memory=1106220 CPUtime=0.69 cores=0,2,4,6
/proc/4659/task/4674/stat : 4674 (java) S 4656 4659 2108 0 -1 1077944384 1920 0 0 0 29 40 0 0 20 0 15 0 93507821 10916995072 276555 33554432000 4194304 4196468 140735748773104 140247371262256 140248143362690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19251200 140735748781229 140735748781321 140735748781321 140735748784079 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 1106220 KiB

Child status: 143
Real time (s): 2505.73
CPU time (s): 2520.11
CPU user time (s): 2518.97
CPU system time (s): 1.13928
CPU usage (%): 100.574
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 1649340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.97
system time used= 1.13928
maximum resident set size= 1651388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138056
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68607
involuntary context switches= 5272


# summary of solver processes directly reported to runsolver:
#   pid: 4659
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2518.97
#   total CPU system time (s): 1.13928

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9065 second user time and 19.8691 second system time

The end
Name	GraphColoring/ GraphColoring-qg-order30_c18.xml
MD5SUM	2f5cbdca11052f8d5a6d32bd8b795ba4
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	29
Best CPU time to get the best result obtained on this benchmark	2520.01
Satisfiable
(Un)Satisfiability was proved
Number of variables	900
Number of constraints	26100
Number of domains	1
Minimum domain size	900
Maximum domain size	900
Distribution of domain sizes	[{"size":900,"count":900}]
Minimum variable degree	59
Maximum variable degree	59
Distribution of variable degrees	[{"degree":59,"count":900}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":26100}]
Number of extensional constraints	0
Number of intensional constraints	26100
Distribution of constraint types	[{"type":"intension","count":26100}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4298473

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
