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

Solver Name	Answer	objective function	CPU time	Wall clock time
MiniCPFever 2018-04-29	SAT (TO)	851	2520.12	2481.92
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 (10706 MiB free)
  memory of node 1: 16384 MiB (10314 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298464-1532761555/watcher-4298464-1532761555 -o /tmp/evaluation-result-4298464-1532761555/solver-4298464-1532761555 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532739282-23278 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298464-1532761555.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=26065, runsolver pid=26062

[startup+0.102841 s]*
/proc/loadavg: 1.70 1.71 1.65 3/215 26080
/proc/meminfo: memFree=21509508/32770624 swapFree=67108860/67108860
[pid=26065] ppid=26062 vsize=10658972 memory=27672 CPUtime=0.13 cores=0,2,4,6
/proc/26065/stat : 26065 (java) S 26062 26065 23247 0 -1 1077944320 5406 0 0 0 12 1 0 0 20 0 15 0 93718695 10914787328 6918 33554432000 4194304 4196468 140726180034224 140726180016768 139810470608631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
/proc/26065/statm: 2664743 6918 2854 1 0 2627263 0
[pid=26065/tid=26067] ppid=26062 vsize=10658972 memory=-8269626465541459581 CPUtime=0.09 cores=0,2,4,6
/proc/26065/task/26067/stat : 26067 (java) R 26062 26065 23247 0 -1 4202560 3226 0 0 0 9 0 0 0 20 0 15 0 93718696 10914787328 6918 33554432000 4194304 4196468 140726180034224 139810474838000 139810470620566 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26068] ppid=26062 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26068/stat : 26068 (java) S 26062 26065 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93718696 10914787328 6918 33554432000 4194304 4196468 140726180034224 139810396683280 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26069] ppid=26062 vsize=10658972 memory=140080450012800 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26069/stat : 26069 (java) S 26062 26065 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93718696 10914787328 6918 33554432000 4194304 4196468 140726180034224 139810395630736 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26070] ppid=26062 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26070/stat : 26070 (java) S 26062 26065 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93718696 10914787328 6918 33554432000 4194304 4196468 140726180034224 139810394577680 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26071] ppid=26062 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26071/stat : 26071 (java) S 26062 26065 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93718696 10914787328 6918 33554432000 4194304 4196468 140726180034224 139810393525136 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26072] ppid=26062 vsize=10658972 memory=140080450012800 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26072/stat : 26072 (java) S 26062 26065 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93718698 10914787328 6918 33554432000 4194304 4196468 140726180034224 139809962002672 139810470619778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26073] ppid=26062 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26073/stat : 26073 (java) S 26062 26065 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93718698 10914787328 6918 33554432000 4194304 4196468 140726180034224 139809960948896 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26074] ppid=26062 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26074/stat : 26074 (java) S 26062 26065 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93718698 10914787328 6918 33554432000 4194304 4196468 140726180034224 139809959895792 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26075] ppid=26062 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26075/stat : 26075 (java) S 26062 26065 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93718701 10914787328 6918 33554432000 4194304 4196468 140726180034224 139809958844368 139810470627227 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26076] ppid=26062 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26076/stat : 26076 (java) S 26062 26065 23247 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 93718701 10914787328 6918 33554432000 4194304 4196468 140726180034224 139809957792496 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26077] ppid=26062 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26077/stat : 26077 (java) S 26062 26065 23247 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 15 0 93718701 10914787328 6918 33554432000 4194304 4196468 140726180034224 139809956739952 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26078] ppid=26062 vsize=10658972 memory=140080450012800 CPUtime=0.02 cores=0,2,4,6
/proc/26065/task/26078/stat : 26078 (java) R 26062 26065 23247 0 -1 4202560 324 0 0 0 2 0 0 0 20 0 15 0 93718701 10914787328 6918 33554432000 4194304 4196468 140726180034224 139809955686896 139810470629978 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26079] ppid=26062 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26079/stat : 26079 (java) S 26062 26065 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93718701 10914787328 6918 33554432000 4194304 4196468 140726180034224 139809954634592 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26080] ppid=26062 vsize=10658972 memory=140080450012800 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26080/stat : 26080 (java) S 26062 26065 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93718701 10914787328 6918 33554432000 4194304 4196468 140726180034224 139809953581616 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27672 KiB

[startup+0.210479 s]*
/proc/loadavg: 1.70 1.71 1.65 5/215 26080
/proc/meminfo: memFree=21498916/32770624 swapFree=67108860/67108860
[pid=26065] ppid=26062 vsize=10658972 memory=40008 CPUtime=0.34 cores=0,2,4,6
/proc/26065/stat : 26065 (java) S 26062 26065 23247 0 -1 1077944320 8106 0 0 0 32 2 0 0 20 0 15 0 93718695 10914787328 10002 33554432000 4194304 4196468 140726180034224 140726180016768 139810470608631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
/proc/26065/statm: 2664743 10002 2949 1 0 2627263 0
[pid=26065/tid=26067] ppid=26062 vsize=10658972 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/26065/task/26067/stat : 26067 (java) R 26062 26065 23247 0 -1 4202560 5100 0 0 0 19 1 0 0 20 0 15 0 93718696 10914787328 10002 33554432000 4194304 4196468 140726180034224 139810474846240 139810470620566 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26068] ppid=26062 vsize=10658972 memory=342 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26068/stat : 26068 (java) S 26062 26065 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93718696 10914787328 10002 33554432000 4194304 4196468 140726180034224 139810396683280 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26069] ppid=26062 vsize=10658972 memory=3546223629584467616 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26069/stat : 26069 (java) S 26062 26065 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93718696 10914787328 10002 33554432000 4194304 4196468 140726180034224 139810395630736 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26070] ppid=26062 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26070/stat : 26070 (java) S 26062 26065 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93718696 10914787328 10002 33554432000 4194304 4196468 140726180034224 139810394577680 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26071] ppid=26062 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26071/stat : 26071 (java) S 26062 26065 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93718696 10914787328 10002 33554432000 4194304 4196468 140726180034224 139810393525136 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26072] ppid=26062 vsize=10658972 memory=140080450012800 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26072/stat : 26072 (java) S 26062 26065 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93718698 10914787328 10002 33554432000 4194304 4196468 140726180034224 139809962002672 139810470619778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26073] ppid=26062 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26073/stat : 26073 (java) S 26062 26065 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93718698 10914787328 10002 33554432000 4194304 4196468 140726180034224 139809960948896 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26074] ppid=26062 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26074/stat : 26074 (java) S 26062 26065 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93718698 10914787328 10002 33554432000 4194304 4196468 140726180034224 139809959895792 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26075] ppid=26062 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26075/stat : 26075 (java) S 26062 26065 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93718701 10914787328 10002 33554432000 4194304 4196468 140726180034224 139809958844368 139810470627227 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26076] ppid=26062 vsize=10658972 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/26065/task/26076/stat : 26076 (java) S 26062 26065 23247 0 -1 1077944384 627 0 0 0 3 0 0 0 20 0 15 0 93718701 10914787328 10002 33554432000 4194304 4196468 140726180034224 139809957792496 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26077] ppid=26062 vsize=10658972 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/26065/task/26077/stat : 26077 (java) S 26062 26065 23247 0 -1 1077944384 189 0 0 0 1 0 0 0 20 0 15 0 93718701 10914787328 10002 33554432000 4194304 4196468 140726180034224 139809956739952 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26078] ppid=26062 vsize=10658972 memory=140080450012800 CPUtime=0.08 cores=0,2,4,6
/proc/26065/task/26078/stat : 26078 (java) R 26062 26065 23247 0 -1 4202560 822 0 0 0 8 0 0 0 20 0 15 0 93718701 10914787328 10002 33554432000 4194304 4196468 140726180034224 139809955683704 139810455774195 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26079] ppid=26062 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26079/stat : 26079 (java) S 26062 26065 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93718701 10914787328 10002 33554432000 4194304 4196468 140726180034224 139809954634592 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26080] ppid=26062 vsize=10658972 memory=140080450012800 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26080/stat : 26080 (java) S 26062 26065 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93718701 10914787328 10002 33554432000 4194304 4196468 140726180034224 139809953581616 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 40008 KiB

[startup+0.317494 s]*
/proc/loadavg: 1.70 1.71 1.65 5/215 26080
/proc/meminfo: memFree=21484372/32770624 swapFree=67108860/67108860
[pid=26065] ppid=26062 vsize=10659048 memory=54776 CPUtime=0.7 cores=0,2,4,6
/proc/26065/stat : 26065 (java) S 26062 26065 23247 0 -1 1077944320 10266 0 0 0 67 3 0 0 20 0 15 0 93718695 10914865152 13694 33554432000 4194304 4196468 140726180034224 140726180016768 139810470608631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
/proc/26065/statm: 2664762 13694 3055 1 0 2627263 0
[pid=26065/tid=26067] ppid=26062 vsize=10659048 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/26065/task/26067/stat : 26067 (java) R 26062 26065 23247 0 -1 4202560 5368 0 0 0 29 1 0 0 20 0 15 0 93718696 10914865152 13694 33554432000 4194304 4196468 140726180034224 139810474845952 139810062910501 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26068] ppid=26062 vsize=10659048 memory=288230600413020183 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26068/stat : 26068 (java) S 26062 26065 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93718696 10914865152 13694 33554432000 4194304 4196468 140726180034224 139810396683280 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26069] ppid=26062 vsize=10659048 memory=4050901665756907168 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26069/stat : 26069 (java) S 26062 26065 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93718696 10914865152 13694 33554432000 4194304 4196468 140726180034224 139810395630736 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26070] ppid=26062 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26070/stat : 26070 (java) S 26062 26065 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93718696 10914865152 13694 33554432000 4194304 4196468 140726180034224 139810394577680 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26071] ppid=26062 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26071/stat : 26071 (java) S 26062 26065 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93718696 10914865152 13694 33554432000 4194304 4196468 140726180034224 139810393525136 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26072] ppid=26062 vsize=10659048 memory=140080450012800 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26072/stat : 26072 (java) S 26062 26065 23247 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93718698 10914865152 13694 33554432000 4194304 4196468 140726180034224 139809962002672 139810470619778 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26073] ppid=26062 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26073/stat : 26073 (java) S 26062 26065 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93718698 10914865152 13694 33554432000 4194304 4196468 140726180034224 139809960948896 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26074] ppid=26062 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26074/stat : 26074 (java) S 26062 26065 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93718698 10914865152 13694 33554432000 4194304 4196468 140726180034224 139809959895792 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26075] ppid=26062 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26075/stat : 26075 (java) S 26062 26065 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93718701 10914865152 13694 33554432000 4194304 4196468 140726180034224 139809958844368 139810470627227 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26076] ppid=26062 vsize=10659048 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/26065/task/26076/stat : 26076 (java) R 26062 26065 23247 0 -1 4202560 1466 0 0 0 13 0 0 0 20 0 15 0 93718701 10914865152 13694 33554432000 4194304 4196468 140726180034224 139809957792624 139810463705467 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26077] ppid=26062 vsize=10659048 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/26065/task/26077/stat : 26077 (java) R 26062 26065 23247 0 -1 4202560 829 0 0 0 10 0 0 0 20 0 15 0 93718701 10914865152 13694 33554432000 4194304 4196468 140726180034224 139809956720968 139810456248775 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26078] ppid=26062 vsize=10659048 memory=140080450012800 CPUtime=0.14 cores=0,2,4,6
/proc/26065/task/26078/stat : 26078 (java) S 26062 26065 23247 0 -1 1077944384 1232 0 0 0 14 0 0 0 20 0 15 0 93718701 10914865152 13694 33554432000 4194304 4196468 140726180034224 139809955686896 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26079] ppid=26062 vsize=10659048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26079/stat : 26079 (java) S 26062 26065 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93718701 10914865152 13694 33554432000 4194304 4196468 140726180034224 139809954634592 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26080] ppid=26062 vsize=10659048 memory=140080450012800 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26080/stat : 26080 (java) S 26062 26065 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93718701 10914865152 13694 33554432000 4194304 4196468 140726180034224 139809953581616 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 54776 KiB

[startup+0.700711 s]
/proc/loadavg: 1.81 1.73 1.66 5/215 26080
/proc/meminfo: memFree=21457316/32770624 swapFree=67108860/67108860
[pid=26065] ppid=26062 vsize=10659048 memory=124552 CPUtime=1.86 cores=0,2,4,6
/proc/26065/stat : 26065 (java) S 26062 26065 23247 0 -1 1077944320 11294 0 0 0 182 4 0 0 20 0 15 0 93718695 10914865152 31138 33554432000 4194304 4196468 140726180034224 140726180016768 139810470608631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
/proc/26065/statm: 2664762 31138 3094 1 0 2627263 0
[pid=26065/tid=26067] ppid=26062 vsize=10659048 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/26065/task/26067/stat : 26067 (java) R 26062 26065 23247 0 -1 4202560 5533 0 0 0 65 2 0 0 20 0 15 0 93718696 10914865152 31138 33554432000 4194304 4196468 140726180034224 139810474845200 139810470620566 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26068] ppid=26062 vsize=10659048 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26068/stat : 26068 (java) S 26062 26065 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93718696 10914865152 31138 33554432000 4194304 4196468 140726180034224 139810396683280 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26069] ppid=26062 vsize=10659048 memory=796 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26069/stat : 26069 (java) S 26062 26065 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93718696 10914865152 31138 33554432000 4194304 4196468 140726180034224 139810395630736 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26070] ppid=26062 vsize=10659048 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26070/stat : 26070 (java) S 26062 26065 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93718696 10914865152 31138 33554432000 4194304 4196468 140726180034224 139810394577680 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26071] ppid=26062 vsize=10659048 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26071/stat : 26071 (java) S 26062 26065 23247 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93718696 10914865152 31138 33554432000 4194304 4196468 140726180034224 139810393525136 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26072] ppid=26062 vsize=10659048 memory=9992 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26072/stat : 26072 (java) S 26062 26065 23247 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93718698 10914865152 31138 33554432000 4194304 4196468 140726180034224 139809962002672 139810470619778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26073] ppid=26062 vsize=10659048 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26073/stat : 26073 (java) S 26062 26065 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93718698 10914865152 31138 33554432000 4194304 4196468 140726180034224 139809960948896 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26074] ppid=26062 vsize=10659048 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26074/stat : 26074 (java) S 26062 26065 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93718698 10914865152 31138 33554432000 4194304 4196468 140726180034224 139809959895792 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26075] ppid=26062 vsize=10659048 memory=4639098309541127013 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26075/stat : 26075 (java) S 26062 26065 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93718701 10914865152 31138 33554432000 4194304 4196468 140726180034224 139809958844368 139810470627227 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26076] ppid=26062 vsize=10659048 memory=7156895382296482920 CPUtime=0.45 cores=0,2,4,6
/proc/26065/task/26076/stat : 26076 (java) R 26062 26065 23247 0 -1 4202560 1606 0 0 0 45 0 0 0 20 0 15 0 93718701 10914865152 31138 33554432000 4194304 4196468 140726180034224 139809957779264 139810451302283 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26077] ppid=26062 vsize=10659048 memory=6154282490091891024 CPUtime=0.43 cores=0,2,4,6
/proc/26065/task/26077/stat : 26077 (java) R 26062 26065 23247 0 -1 4202560 1271 0 0 0 43 0 0 0 20 0 15 0 93718701 10914865152 31138 33554432000 4194304 4196468 140726180034224 139809956740080 139810454147424 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26078] ppid=26062 vsize=10659048 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/26065/task/26078/stat : 26078 (java) R 26062 26065 23247 0 -1 1077944384 1515 0 0 0 27 0 0 0 20 0 15 0 93718701 10914865152 31138 33554432000 4194304 4196468 140726180034224 139809955686896 139810470619778 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26079] ppid=26062 vsize=10659048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26079/stat : 26079 (java) S 26062 26065 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93718701 10914865152 31138 33554432000 4194304 4196468 140726180034224 139809954634592 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26080] ppid=26062 vsize=10659048 memory=33 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26080/stat : 26080 (java) S 26062 26065 23247 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93718701 10914865152 31138 33554432000 4194304 4196468 140726180034224 139809953581616 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
Current children cumulated CPU time: 1.86 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 124552 KiB

[startup+1.50154 s]
/proc/loadavg: 1.81 1.73 1.66 4/215 26080
/proc/meminfo: memFree=21321564/32770624 swapFree=67108860/67108860
[pid=26065] ppid=26062 vsize=10659048 memory=328920 CPUtime=4.32 cores=0,2,4,6
/proc/26065/stat : 26065 (java) S 26062 26065 23247 0 -1 1077944320 16260 0 0 0 407 25 0 0 20 0 15 0 93718695 10914865152 82230 33554432000 4194304 4196468 140726180034224 140726180016768 139810470608631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
/proc/26065/statm: 2664762 82230 3149 1 0 2627263 0
[pid=26065/tid=26067] ppid=26062 vsize=10659048 memory=6791534058613427641 CPUtime=1.39 cores=0,2,4,6
/proc/26065/task/26067/stat : 26067 (java) R 26062 26065 23247 0 -1 4202560 5736 0 0 0 136 3 0 0 20 0 15 0 93718696 10914865152 82230 33554432000 4194304 4196468 140726180034224 139810474846592 139810065863988 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26068] ppid=26062 vsize=10659048 memory=-6951259422114956437 CPUtime=0.08 cores=0,2,4,6
/proc/26065/task/26068/stat : 26068 (java) S 26062 26065 23247 0 -1 1077944384 141 0 0 0 3 5 0 0 20 0 15 0 93718696 10914865152 82230 33554432000 4194304 4196468 140726180034224 139810396683280 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26069] ppid=26062 vsize=10659048 memory=-6509546260019855295 CPUtime=0.07 cores=0,2,4,6
/proc/26065/task/26069/stat : 26069 (java) S 26062 26065 23247 0 -1 1077944384 178 0 0 0 3 4 0 0 20 0 15 0 93718696 10914865152 82230 33554432000 4194304 4196468 140726180034224 139810395630736 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26070] ppid=26062 vsize=10659048 memory=-7390251449858225344 CPUtime=0.07 cores=0,2,4,6
/proc/26065/task/26070/stat : 26070 (java) S 26062 26065 23247 0 -1 1077944384 128 0 0 0 3 4 0 0 20 0 15 0 93718696 10914865152 82230 33554432000 4194304 4196468 140726180034224 139810394577680 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26071] ppid=26062 vsize=10659048 memory=4134692831991786133 CPUtime=0.07 cores=0,2,4,6
/proc/26065/task/26071/stat : 26071 (java) S 26062 26065 23247 0 -1 1077944384 145 0 0 0 3 4 0 0 20 0 15 0 93718696 10914865152 82230 33554432000 4194304 4196468 140726180034224 139810393525136 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26072] ppid=26062 vsize=10659048 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26072/stat : 26072 (java) S 26062 26065 23247 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 93718698 10914865152 82230 33554432000 4194304 4196468 140726180034224 139809962002672 139810470619778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0

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

/proc/26065/task/26067/stat : 26067 (java) R 26062 26065 23247 0 -1 4202560 69183 0 0 0 236921 50 0 0 20 0 15 0 93718696 10914865152 179953 33554432000 4194304 4196468 140726180034224 139810474848272 139810066393635 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26068] ppid=26062 vsize=10659048 memory=280160583267632 CPUtime=10.24 cores=0,2,4,6
/proc/26065/task/26068/stat : 26068 (java) S 26062 26065 23247 0 -1 1077944384 17451 0 0 0 1005 19 0 0 20 0 15 0 93718696 10914865152 179953 33554432000 4194304 4196468 140726180034224 139810396683280 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26069] ppid=26062 vsize=10659048 memory=0 CPUtime=10.23 cores=0,2,4,6
/proc/26065/task/26069/stat : 26069 (java) S 26062 26065 23247 0 -1 1077944384 17652 0 0 0 1003 20 0 0 20 0 15 0 93718696 10914865152 179953 33554432000 4194304 4196468 140726180034224 139810395630736 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26070] ppid=26062 vsize=10659048 memory=744948 CPUtime=10.24 cores=0,2,4,6
/proc/26065/task/26070/stat : 26070 (java) S 26062 26065 23247 0 -1 1077944384 19128 0 0 0 1004 20 0 0 20 0 15 0 93718696 10914865152 179953 33554432000 4194304 4196468 140726180034224 139810394577680 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26071] ppid=26062 vsize=10659048 memory=734688 CPUtime=10.24 cores=0,2,4,6
/proc/26065/task/26071/stat : 26071 (java) S 26062 26065 23247 0 -1 1077944384 15049 0 0 0 1005 19 0 0 20 0 15 0 93718696 10914865152 179953 33554432000 4194304 4196468 140726180034224 139810393525136 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26072] ppid=26062 vsize=10659048 memory=728020 CPUtime=1.26 cores=0,2,4,6
/proc/26065/task/26072/stat : 26072 (java) S 26062 26065 23247 0 -1 1077944384 15146 0 0 0 102 24 0 0 20 0 15 0 93718698 10914865152 179953 33554432000 4194304 4196468 140726180034224 139809962002672 139810470619778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26073] ppid=26062 vsize=10659048 memory=721864 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26073/stat : 26073 (java) S 26062 26065 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93718698 10914865152 179953 33554432000 4194304 4196468 140726180034224 139809960948896 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26074] ppid=26062 vsize=10659048 memory=719812 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26074/stat : 26074 (java) S 26062 26065 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93718698 10914865152 179953 33554432000 4194304 4196468 140726180034224 139809959895792 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26075] ppid=26062 vsize=10659048 memory=720836 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26075/stat : 26075 (java) S 26062 26065 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93718701 10914865152 179953 33554432000 4194304 4196468 140726180034224 139809958844368 139810470627227 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26076] ppid=26062 vsize=10659048 memory=741868 CPUtime=2.19 cores=0,2,4,6
/proc/26065/task/26076/stat : 26076 (java) S 26062 26065 23247 0 -1 1077944384 7133 0 0 0 218 1 0 0 20 0 15 0 93718701 10914865152 179953 33554432000 4194304 4196468 140726180034224 139809957792496 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26077] ppid=26062 vsize=10659048 memory=747512 CPUtime=2.04 cores=0,2,4,6
/proc/26065/task/26077/stat : 26077 (java) S 26062 26065 23247 0 -1 1077944384 6270 0 0 0 203 1 0 0 20 0 15 0 93718701 10914865152 179953 33554432000 4194304 4196468 140726180034224 139809956739952 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26078] ppid=26062 vsize=10659048 memory=6791534058613427641 CPUtime=0.52 cores=0,2,4,6
/proc/26065/task/26078/stat : 26078 (java) S 26062 26065 23247 0 -1 1077944384 4264 0 0 0 51 1 0 0 20 0 15 0 93718701 10914865152 179953 33554432000 4194304 4196468 140726180034224 139809955686896 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26079] ppid=26062 vsize=10659048 memory=7879158948067371862 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26079/stat : 26079 (java) S 26062 26065 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93718701 10914865152 179953 33554432000 4194304 4196468 140726180034224 139809954634592 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26080] ppid=26062 vsize=10659048 memory=730584 CPUtime=1.46 cores=0,2,4,6
/proc/26065/task/26080/stat : 26080 (java) S 26062 26065 23247 0 -1 1077944384 2593 0 0 0 69 77 0 0 20 0 15 0 93718701 10914865152 179953 33554432000 4194304 4196468 140726180034224 139809953581616 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
Current children cumulated CPU time: 2418.23 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 719812 KiB

[startup+2442.3 s]
/proc/loadavg: 1.97 1.76 1.71 3/215 26455
/proc/meminfo: memFree=22873844/32770624 swapFree=67108860/67108860
[pid=26065] ppid=26062 vsize=10659048 memory=663888 CPUtime=2479.59 cores=0,2,4,6
/proc/26065/stat : 26065 (java) S 26062 26065 23247 0 -1 1077944320 176433 0 0 0 247743 216 0 0 20 0 15 0 93718695 10914865152 165972 33554432000 4194304 4196468 140726180034224 140726180016768 139810470608631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
/proc/26065/statm: 2664762 165972 3156 1 0 2627263 0
[pid=26065/tid=26067] ppid=26062 vsize=10659048 memory=673124 CPUtime=2429.13 cores=0,2,4,6
/proc/26065/task/26067/stat : 26067 (java) R 26062 26065 23247 0 -1 4202560 69589 0 0 0 242862 51 0 0 20 0 15 0 93718696 10914865152 165972 33554432000 4194304 4196468 140726180034224 139810474848272 139810066844102 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26068] ppid=26062 vsize=10659048 memory=280160583267632 CPUtime=10.7 cores=0,2,4,6
/proc/26065/task/26068/stat : 26068 (java) S 26062 26065 23247 0 -1 1077944384 17514 0 0 0 1050 20 0 0 20 0 15 0 93718696 10914865152 165972 33554432000 4194304 4196468 140726180034224 139810396683280 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26069] ppid=26062 vsize=10659048 memory=0 CPUtime=10.69 cores=0,2,4,6
/proc/26065/task/26069/stat : 26069 (java) S 26062 26065 23247 0 -1 1077944384 17731 0 0 0 1049 20 0 0 20 0 15 0 93718696 10914865152 165972 33554432000 4194304 4196468 140726180034224 139810395630736 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26070] ppid=26062 vsize=10659048 memory=691592 CPUtime=10.7 cores=0,2,4,6
/proc/26065/task/26070/stat : 26070 (java) S 26062 26065 23247 0 -1 1077944384 19239 0 0 0 1050 20 0 0 20 0 15 0 93718696 10914865152 165972 33554432000 4194304 4196468 140726180034224 139810394577680 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26071] ppid=26062 vsize=10659048 memory=681844 CPUtime=10.7 cores=0,2,4,6
/proc/26065/task/26071/stat : 26071 (java) S 26062 26065 23247 0 -1 1077944384 15404 0 0 0 1050 20 0 0 20 0 15 0 93718696 10914865152 165972 33554432000 4194304 4196468 140726180034224 139810393525136 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26072] ppid=26062 vsize=10659048 memory=677740 CPUtime=1.32 cores=0,2,4,6
/proc/26065/task/26072/stat : 26072 (java) S 26062 26065 23247 0 -1 1077944384 15313 0 0 0 107 25 0 0 20 0 15 0 93718698 10914865152 165972 33554432000 4194304 4196468 140726180034224 139809962002672 139810470619778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26073] ppid=26062 vsize=10659048 memory=280160582947424 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26073/stat : 26073 (java) S 26062 26065 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93718698 10914865152 165972 33554432000 4194304 4196468 140726180034224 139809960948896 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26074] ppid=26062 vsize=10659048 memory=673124 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26074/stat : 26074 (java) S 26062 26065 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93718698 10914865152 165972 33554432000 4194304 4196468 140726180034224 139809959895792 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26075] ppid=26062 vsize=10659048 memory=670560 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26075/stat : 26075 (java) S 26062 26065 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93718701 10914865152 165972 33554432000 4194304 4196468 140726180034224 139809958844368 139810470627227 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26076] ppid=26062 vsize=10659048 memory=666968 CPUtime=2.19 cores=0,2,4,6
/proc/26065/task/26076/stat : 26076 (java) S 26062 26065 23247 0 -1 1077944384 7135 0 0 0 218 1 0 0 20 0 15 0 93718701 10914865152 165972 33554432000 4194304 4196468 140726180034224 139809957792496 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26077] ppid=26062 vsize=10659048 memory=669532 CPUtime=2.04 cores=0,2,4,6
/proc/26065/task/26077/stat : 26077 (java) S 26062 26065 23247 0 -1 1077944384 6272 0 0 0 203 1 0 0 20 0 15 0 93718701 10914865152 165972 33554432000 4194304 4196468 140726180034224 139809956739952 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26078] ppid=26062 vsize=10659048 memory=665428 CPUtime=0.52 cores=0,2,4,6
/proc/26065/task/26078/stat : 26078 (java) S 26062 26065 23247 0 -1 1077944384 4266 0 0 0 51 1 0 0 20 0 15 0 93718701 10914865152 165972 33554432000 4194304 4196468 140726180034224 139809955686896 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26079] ppid=26062 vsize=10659048 memory=663888 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26079/stat : 26079 (java) S 26062 26065 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93718701 10914865152 165972 33554432000 4194304 4196468 140726180034224 139809954634592 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26080] ppid=26062 vsize=10659048 memory=665428 CPUtime=1.5 cores=0,2,4,6
/proc/26065/task/26080/stat : 26080 (java) S 26062 26065 23247 0 -1 1077944384 2610 0 0 0 71 79 0 0 20 0 15 0 93718701 10914865152 165972 33554432000 4194304 4196468 140726180034224 139809953581616 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
Current children cumulated CPU time: 2479.59 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 663888 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2481.9 s]
/proc/loadavg: 1.89 1.76 1.71 3/215 26456
/proc/meminfo: memFree=22910232/32770624 swapFree=67108860/67108860
[pid=26065] ppid=26062 vsize=10659048 memory=627464 CPUtime=2520.09 cores=0,2,4,6
/proc/26065/stat : 26065 (java) S 26062 26065 23247 0 -1 1077944320 177528 0 0 0 251790 219 0 0 20 0 15 0 93718695 10914865152 156866 33554432000 4194304 4196468 140726180034224 140726180016768 139810470608631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
/proc/26065/statm: 2664762 156866 3156 1 0 2627263 0
[pid=26065/tid=26067] ppid=26062 vsize=10659048 memory=666968 CPUtime=2468.37 cores=0,2,4,6
/proc/26065/task/26067/stat : 26067 (java) R 26062 26065 23247 0 -1 4202560 69859 0 0 0 246786 51 0 0 20 0 15 0 93718696 10914865152 156866 33554432000 4194304 4196468 140726180034224 139810474848144 139810066761396 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26068] ppid=26062 vsize=10659048 memory=663888 CPUtime=11 cores=0,2,4,6
/proc/26065/task/26068/stat : 26068 (java) S 26062 26065 23247 0 -1 1077944384 17885 0 0 0 1080 20 0 0 20 0 15 0 93718696 10914865152 156866 33554432000 4194304 4196468 140726180034224 139810396683280 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26069] ppid=26062 vsize=10659048 memory=661836 CPUtime=10.98 cores=0,2,4,6
/proc/26065/task/26069/stat : 26069 (java) S 26062 26065 23247 0 -1 1077944384 17810 0 0 0 1078 20 0 0 20 0 15 0 93718696 10914865152 156866 33554432000 4194304 4196468 140726180034224 139810395630736 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26070] ppid=26062 vsize=10659048 memory=650548 CPUtime=10.99 cores=0,2,4,6
/proc/26065/task/26070/stat : 26070 (java) S 26062 26065 23247 0 -1 1077944384 19373 0 0 0 1079 20 0 0 20 0 15 0 93718696 10914865152 156866 33554432000 4194304 4196468 140726180034224 139810394577680 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26071] ppid=26062 vsize=10659048 memory=647468 CPUtime=11 cores=0,2,4,6
/proc/26065/task/26071/stat : 26071 (java) S 26062 26065 23247 0 -1 1077944384 15468 0 0 0 1080 20 0 0 20 0 15 0 93718696 10914865152 156866 33554432000 4194304 4196468 140726180034224 139810393525136 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26072] ppid=26062 vsize=10659048 memory=638748 CPUtime=1.36 cores=0,2,4,6
/proc/26065/task/26072/stat : 26072 (java) S 26062 26065 23247 0 -1 1077944384 15467 0 0 0 110 26 0 0 20 0 15 0 93718698 10914865152 156866 33554432000 4194304 4196468 140726180034224 139809962002672 139810470619778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26073] ppid=26062 vsize=10659048 memory=635672 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26073/stat : 26073 (java) S 26062 26065 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93718698 10914865152 156866 33554432000 4194304 4196468 140726180034224 139809960948896 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26074] ppid=26062 vsize=10659048 memory=632592 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26074/stat : 26074 (java) S 26062 26065 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93718698 10914865152 156866 33554432000 4194304 4196468 140726180034224 139809959895792 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26075] ppid=26062 vsize=10659048 memory=630028 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26075/stat : 26075 (java) S 26062 26065 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93718701 10914865152 156866 33554432000 4194304 4196468 140726180034224 139809958844368 139810470627227 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26076] ppid=26062 vsize=10659048 memory=630028 CPUtime=2.19 cores=0,2,4,6
/proc/26065/task/26076/stat : 26076 (java) S 26062 26065 23247 0 -1 1077944384 7137 0 0 0 218 1 0 0 20 0 15 0 93718701 10914865152 156866 33554432000 4194304 4196468 140726180034224 139809957792496 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26077] ppid=26062 vsize=10659048 memory=628488 CPUtime=2.04 cores=0,2,4,6
/proc/26065/task/26077/stat : 26077 (java) S 26062 26065 23247 0 -1 1077944384 6274 0 0 0 203 1 0 0 20 0 15 0 93718701 10914865152 156866 33554432000 4194304 4196468 140726180034224 139809956739952 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26078] ppid=26062 vsize=10659048 memory=627464 CPUtime=0.52 cores=0,2,4,6
/proc/26065/task/26078/stat : 26078 (java) S 26062 26065 23247 0 -1 1077944384 4268 0 0 0 51 1 0 0 20 0 15 0 93718701 10914865152 156866 33554432000 4194304 4196468 140726180034224 139809955686896 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26079] ppid=26062 vsize=10659048 memory=164 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26079/stat : 26079 (java) S 26062 26065 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93718701 10914865152 156866 33554432000 4194304 4196468 140726180034224 139809954634592 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26080] ppid=26062 vsize=10659048 memory=4128 CPUtime=1.53 cores=0,2,4,6
/proc/26065/task/26080/stat : 26080 (java) S 26062 26065 23247 0 -1 1077944384 2627 0 0 0 72 81 0 0 20 0 15 0 93718701 10914865152 156866 33554432000 4194304 4196468 140726180034224 139809953581616 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 627464 KiB

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

[startup+2481.92 s]
# the end of solver process 26065 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.93 s, system=2.19705 s

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

[startup+2481.9 s]
/proc/loadavg: 1.89 1.76 1.71 3/215 26456
/proc/meminfo: memFree=22910232/32770624 swapFree=67108860/67108860
[pid=26065] ppid=26062 vsize=10659048 memory=627464 CPUtime=2520.09 cores=0,2,4,6
/proc/26065/stat : 26065 (java) S 26062 26065 23247 0 -1 1077944320 177528 0 0 0 251790 219 0 0 20 0 15 0 93718695 10914865152 156866 33554432000 4194304 4196468 140726180034224 140726180016768 139810470608631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
/proc/26065/statm: 2664762 156866 3156 1 0 2627263 0
[pid=26065/tid=26067] ppid=26062 vsize=10659048 memory=666968 CPUtime=2468.37 cores=0,2,4,6
/proc/26065/task/26067/stat : 26067 (java) R 26062 26065 23247 0 -1 4202560 69859 0 0 0 246786 51 0 0 20 0 15 0 93718696 10914865152 156866 33554432000 4194304 4196468 140726180034224 139810474848144 139810066761396 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26068] ppid=26062 vsize=10659048 memory=663888 CPUtime=11 cores=0,2,4,6
/proc/26065/task/26068/stat : 26068 (java) S 26062 26065 23247 0 -1 1077944384 17885 0 0 0 1080 20 0 0 20 0 15 0 93718696 10914865152 156866 33554432000 4194304 4196468 140726180034224 139810396683280 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26069] ppid=26062 vsize=10659048 memory=661836 CPUtime=10.98 cores=0,2,4,6
/proc/26065/task/26069/stat : 26069 (java) S 26062 26065 23247 0 -1 1077944384 17810 0 0 0 1078 20 0 0 20 0 15 0 93718696 10914865152 156866 33554432000 4194304 4196468 140726180034224 139810395630736 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26070] ppid=26062 vsize=10659048 memory=650548 CPUtime=10.99 cores=0,2,4,6
/proc/26065/task/26070/stat : 26070 (java) S 26062 26065 23247 0 -1 1077944384 19373 0 0 0 1079 20 0 0 20 0 15 0 93718696 10914865152 156866 33554432000 4194304 4196468 140726180034224 139810394577680 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26071] ppid=26062 vsize=10659048 memory=647468 CPUtime=11 cores=0,2,4,6
/proc/26065/task/26071/stat : 26071 (java) S 26062 26065 23247 0 -1 1077944384 15468 0 0 0 1080 20 0 0 20 0 15 0 93718696 10914865152 156866 33554432000 4194304 4196468 140726180034224 139810393525136 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26072] ppid=26062 vsize=10659048 memory=638748 CPUtime=1.36 cores=0,2,4,6
/proc/26065/task/26072/stat : 26072 (java) S 26062 26065 23247 0 -1 1077944384 15467 0 0 0 110 26 0 0 20 0 15 0 93718698 10914865152 156866 33554432000 4194304 4196468 140726180034224 139809962002672 139810470619778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26073] ppid=26062 vsize=10659048 memory=635672 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26073/stat : 26073 (java) S 26062 26065 23247 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93718698 10914865152 156866 33554432000 4194304 4196468 140726180034224 139809960948896 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26074] ppid=26062 vsize=10659048 memory=632592 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26074/stat : 26074 (java) S 26062 26065 23247 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93718698 10914865152 156866 33554432000 4194304 4196468 140726180034224 139809959895792 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26075] ppid=26062 vsize=10659048 memory=630028 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26075/stat : 26075 (java) S 26062 26065 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93718701 10914865152 156866 33554432000 4194304 4196468 140726180034224 139809958844368 139810470627227 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26076] ppid=26062 vsize=10659048 memory=630028 CPUtime=2.19 cores=0,2,4,6
/proc/26065/task/26076/stat : 26076 (java) S 26062 26065 23247 0 -1 1077944384 7137 0 0 0 218 1 0 0 20 0 15 0 93718701 10914865152 156866 33554432000 4194304 4196468 140726180034224 139809957792496 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26077] ppid=26062 vsize=10659048 memory=628488 CPUtime=2.04 cores=0,2,4,6
/proc/26065/task/26077/stat : 26077 (java) S 26062 26065 23247 0 -1 1077944384 6274 0 0 0 203 1 0 0 20 0 15 0 93718701 10914865152 156866 33554432000 4194304 4196468 140726180034224 139809956739952 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26078] ppid=26062 vsize=10659048 memory=627464 CPUtime=0.52 cores=0,2,4,6
/proc/26065/task/26078/stat : 26078 (java) S 26062 26065 23247 0 -1 1077944384 4268 0 0 0 51 1 0 0 20 0 15 0 93718701 10914865152 156866 33554432000 4194304 4196468 140726180034224 139809955686896 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26079] ppid=26062 vsize=10659048 memory=164 CPUtime=0 cores=0,2,4,6
/proc/26065/task/26079/stat : 26079 (java) S 26062 26065 23247 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93718701 10914865152 156866 33554432000 4194304 4196468 140726180034224 139809954634592 139810470618837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
[pid=26065/tid=26080] ppid=26062 vsize=10659048 memory=4128 CPUtime=1.53 cores=0,2,4,6
/proc/26065/task/26080/stat : 26080 (java) S 26062 26065 23247 0 -1 1077944384 2627 0 0 0 72 81 0 0 20 0 15 0 93718701 10914865152 156866 33554432000 4194304 4196468 140726180034224 139809953581616 139810470619778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8781824 140726180037805 140726180037897 140726180037897 140726180040655 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 627464 KiB

Child status: 143
Real time (s): 2481.92
CPU time (s): 2520.12
CPU user time (s): 2517.93
CPU system time (s): 2.19705
CPU usage (%): 101.539
Max. virtual memory (cumulated for all children) (KiB): 10659048
Max. memory (cumulated for all children) (KiB): 2678312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.93
system time used= 2.19705
maximum resident set size= 2678312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177902
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86043
involuntary context switches= 4086


# summary of solver processes directly reported to runsolver:
#   pid: 26065
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2517.93
#   total CPU system time (s): 2.19705

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7668 second user time and 23.6902 second system time

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

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
