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

Solver Name	Answer	objective function	CPU time	Wall clock time
GG's minicp 2018-04-29	SAT (TO)	8	2520.05	2470.32
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10380 MiB free)
  memory of node 1: 16384 MiB (15500 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298442-1532761174/watcher-4298442-1532761174 -o /tmp/evaluation-result-4298442-1532761174/solver-4298442-1532761174 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532741226-26122 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298442-1532761174.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=28299, runsolver pid=28296


[startup+0.100125 s]*
/proc/loadavg: 1.39 1.37 1.39 4/215 28314
/proc/meminfo: memFree=26486760/32770624 swapFree=67028160/67108860
[pid=28299] ppid=28296 vsize=10661056 memory=27560 CPUtime=0.12 cores=0,2,4,6
/proc/28299/stat : 28299 (java) S 28296 28299 26091 0 -1 1077944320 5286 0 0 0 10 2 0 0 20 0 15 0 93680600 10916921344 6890 33554432000 4194304 4196468 140730260464176 140730260446720 140321145286391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
/proc/28299/statm: 2665264 6890 2844 1 0 2627263 0
[pid=28299/tid=28301] ppid=28296 vsize=10661056 memory=-8269626465541590910 CPUtime=0.09 cores=0,2,4,6
/proc/28299/task/28301/stat : 28301 (java) R 28296 28299 26091 0 -1 4202560 3164 0 0 0 8 1 0 0 20 0 15 0 93680600 10916921344 6890 33554432000 4194304 4196468 140730260464176 140321149516176 140321145296597 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28302] ppid=28296 vsize=10661056 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28302/stat : 28302 (java) S 28296 28299 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93680601 10916921344 6890 33554432000 4194304 4196468 140730260464176 140321081977616 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28303] ppid=28296 vsize=10661056 memory=140008987887232 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28303/stat : 28303 (java) S 28296 28299 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93680601 10916921344 6890 33554432000 4194304 4196468 140730260464176 140321080925072 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28304] ppid=28296 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28304/stat : 28304 (java) S 28296 28299 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93680601 10916921344 6890 33554432000 4194304 4196468 140730260464176 140321079872528 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28305] ppid=28296 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28305/stat : 28305 (java) S 28296 28299 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93680601 10916921344 6890 33554432000 4194304 4196468 140730260464176 140320748465296 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28306] ppid=28296 vsize=10661056 memory=140008987887232 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28306/stat : 28306 (java) S 28296 28299 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93680602 10916921344 6890 33554432000 4194304 4196468 140730260464176 140320637196272 140321145297538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28307] ppid=28296 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28307/stat : 28307 (java) S 28296 28299 26091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93680603 10916921344 6890 33554432000 4194304 4196468 140730260464176 140320636142496 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28308] ppid=28296 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28308/stat : 28308 (java) S 28296 28299 26091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93680603 10916921344 6890 33554432000 4194304 4196468 140730260464176 140320635089904 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28309] ppid=28296 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28309/stat : 28309 (java) S 28296 28299 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93680605 10916921344 6890 33554432000 4194304 4196468 140730260464176 140320634038480 140321145304987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28310] ppid=28296 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28310/stat : 28310 (java) S 28296 28299 26091 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 15 0 93680605 10916921344 6890 33554432000 4194304 4196468 140730260464176 140320632986096 140321145297538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28311] ppid=28296 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28311/stat : 28311 (java) S 28296 28299 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93680605 10916921344 6890 33554432000 4194304 4196468 140730260464176 140320631933552 140321145297538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28312] ppid=28296 vsize=10661056 memory=140008987887232 CPUtime=0.01 cores=0,2,4,6
/proc/28299/task/28312/stat : 28312 (java) R 28296 28299 26091 0 -1 4202560 323 0 0 0 1 0 0 0 20 0 15 0 93680605 10916921344 6890 33554432000 4194304 4196468 140730260464176 140320630881008 140321145298326 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28313] ppid=28296 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28313/stat : 28313 (java) S 28296 28299 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93680606 10916921344 6890 33554432000 4194304 4196468 140730260464176 140320629828704 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28314] ppid=28296 vsize=10661056 memory=140008987887232 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28314/stat : 28314 (java) S 28296 28299 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93680606 10916921344 6890 33554432000 4194304 4196468 140730260464176 140320628775216 140321145297538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27560 KiB

[startup+0.210425 s]*
/proc/loadavg: 1.39 1.37 1.39 4/215 28314
/proc/meminfo: memFree=26474536/32770624 swapFree=67028160/67108860
[pid=28299] ppid=28296 vsize=10661056 memory=40020 CPUtime=0.34 cores=0,2,4,6
/proc/28299/stat : 28299 (java) S 28296 28299 26091 0 -1 1077944320 8163 0 0 0 31 3 0 0 20 0 15 0 93680600 10916921344 10005 33554432000 4194304 4196468 140730260464176 140730260446720 140321145286391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
/proc/28299/statm: 2665264 10005 2989 1 0 2627263 0
[pid=28299/tid=28301] ppid=28296 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/28299/task/28301/stat : 28301 (java) R 28296 28299 26091 0 -1 4202560 5129 0 0 0 18 2 0 0 20 0 15 0 93680600 10916921344 10063 33554432000 4194304 4196468 140730260464176 140321149518088 140321138003354 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28302] ppid=28296 vsize=10661056 memory=342 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28302/stat : 28302 (java) S 28296 28299 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93680601 10916921344 10063 33554432000 4194304 4196468 140730260464176 140321081977616 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28303] ppid=28296 vsize=10661056 memory=140008987913606 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28303/stat : 28303 (java) S 28296 28299 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93680601 10916921344 10063 33554432000 4194304 4196468 140730260464176 140321080925072 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28304] ppid=28296 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28304/stat : 28304 (java) S 28296 28299 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93680601 10916921344 10063 33554432000 4194304 4196468 140730260464176 140321079872528 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28305] ppid=28296 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28305/stat : 28305 (java) S 28296 28299 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93680601 10916921344 10063 33554432000 4194304 4196468 140730260464176 140320748465296 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28306] ppid=28296 vsize=10661056 memory=140008987887232 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28306/stat : 28306 (java) S 28296 28299 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93680602 10916921344 10063 33554432000 4194304 4196468 140730260464176 140320637196272 140321145297538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28307] ppid=28296 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28307/stat : 28307 (java) S 28296 28299 26091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93680603 10916921344 10063 33554432000 4194304 4196468 140730260464176 140320636142496 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28308] ppid=28296 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28308/stat : 28308 (java) S 28296 28299 26091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93680603 10916921344 10063 33554432000 4194304 4196468 140730260464176 140320635089904 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28309] ppid=28296 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28309/stat : 28309 (java) S 28296 28299 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93680605 10916921344 10063 33554432000 4194304 4196468 140730260464176 140320634038480 140321145304987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28310] ppid=28296 vsize=10661056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28299/task/28310/stat : 28310 (java) S 28296 28299 26091 0 -1 1077944384 624 0 0 0 2 0 0 0 20 0 15 0 93680605 10916921344 10063 33554432000 4194304 4196468 140730260464176 140320632986096 140321145297538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28311] ppid=28296 vsize=10661056 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28299/task/28311/stat : 28311 (java) S 28296 28299 26091 0 -1 1077944384 190 0 0 0 2 0 0 0 20 0 15 0 93680605 10916921344 10063 33554432000 4194304 4196468 140730260464176 140320631933552 140321145297538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28312] ppid=28296 vsize=10661056 memory=140008987887232 CPUtime=0.08 cores=0,2,4,6
/proc/28299/task/28312/stat : 28312 (java) R 28296 28299 26091 0 -1 4202560 850 0 0 0 8 0 0 0 20 0 15 0 93680605 10916921344 10063 33554432000 4194304 4196468 140730260464176 140320630877376 140321124236205 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28313] ppid=28296 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28313/stat : 28313 (java) S 28296 28299 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93680606 10916921344 10063 33554432000 4194304 4196468 140730260464176 140320629828704 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28314] ppid=28296 vsize=10661056 memory=140008987887232 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28314/stat : 28314 (java) S 28296 28299 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93680606 10916921344 10063 33554432000 4194304 4196468 140730260464176 140320628775216 140321145297538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40020 KiB

[startup+0.316222 s]*
/proc/loadavg: 1.39 1.37 1.39 6/215 28314
/proc/meminfo: memFree=26462380/32770624 swapFree=67028160/67108860
[pid=28299] ppid=28296 vsize=10661132 memory=52660 CPUtime=0.71 cores=0,2,4,6
/proc/28299/stat : 28299 (java) S 28296 28299 26091 0 -1 1077944320 10238 0 0 0 68 3 0 0 20 0 15 0 93680600 10916999168 13165 33554432000 4194304 4196468 140730260464176 140730260446720 140321145286391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
/proc/28299/statm: 2665283 13165 3068 1 0 2627263 0
[pid=28299/tid=28301] ppid=28296 vsize=10661132 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/28299/task/28301/stat : 28301 (java) R 28296 28299 26091 0 -1 4202560 5437 0 0 0 28 2 0 0 20 0 15 0 93680600 10916999168 13165 33554432000 4194304 4196468 140730260464176 140321149520784 140320759218711 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28302] ppid=28296 vsize=10661132 memory=4294976237 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28302/stat : 28302 (java) S 28296 28299 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93680601 10916999168 13165 33554432000 4194304 4196468 140730260464176 140321081977616 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28303] ppid=28296 vsize=10661132 memory=140008987913580 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28303/stat : 28303 (java) S 28296 28299 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93680601 10916999168 13165 33554432000 4194304 4196468 140730260464176 140321080925072 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28304] ppid=28296 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28304/stat : 28304 (java) S 28296 28299 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93680601 10916999168 13165 33554432000 4194304 4196468 140730260464176 140321079872528 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28305] ppid=28296 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28305/stat : 28305 (java) S 28296 28299 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93680601 10916999168 13165 33554432000 4194304 4196468 140730260464176 140320748465296 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28306] ppid=28296 vsize=10661132 memory=140008987887232 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28306/stat : 28306 (java) S 28296 28299 26091 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 93680602 10916999168 13165 33554432000 4194304 4196468 140730260464176 140320637196272 140321145297538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28307] ppid=28296 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28307/stat : 28307 (java) S 28296 28299 26091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93680603 10916999168 13165 33554432000 4194304 4196468 140730260464176 140320636142496 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28308] ppid=28296 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28308/stat : 28308 (java) S 28296 28299 26091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93680603 10916999168 13165 33554432000 4194304 4196468 140730260464176 140320635089904 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28309] ppid=28296 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28309/stat : 28309 (java) S 28296 28299 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93680605 10916999168 13165 33554432000 4194304 4196468 140730260464176 140320634038480 140321145304987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28310] ppid=28296 vsize=10661132 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/28299/task/28310/stat : 28310 (java) R 28296 28299 26091 0 -1 4202560 1097 0 0 0 11 0 0 0 20 0 15 0 93680605 10916999168 13165 33554432000 4194304 4196468 140730260464176 140320632972640 140321128673010 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28311] ppid=28296 vsize=10661132 memory=-1 CPUtime=0.12 cores=0,2,4,6
/proc/28299/task/28311/stat : 28311 (java) R 28296 28299 26091 0 -1 4202560 958 0 0 0 12 0 0 0 20 0 15 0 93680605 10916999168 13165 33554432000 4194304 4196468 140730260464176 140320631921184 140321128654639 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28312] ppid=28296 vsize=10661132 memory=140008987887232 CPUtime=0.15 cores=0,2,4,6
/proc/28299/task/28312/stat : 28312 (java) R 28296 28299 26091 0 -1 4202560 1371 0 0 0 15 0 0 0 20 0 15 0 93680605 10916999168 13165 33554432000 4194304 4196468 140730260464176 140320630881008 140321145298326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28313] ppid=28296 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28313/stat : 28313 (java) S 28296 28299 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93680606 10916999168 13165 33554432000 4194304 4196468 140730260464176 140320629828704 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28314] ppid=28296 vsize=10661132 memory=140008987887232 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28314/stat : 28314 (java) S 28296 28299 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93680606 10916999168 13165 33554432000 4194304 4196468 140730260464176 140320628775216 140321145297538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
Current children cumulated CPU time: 0.71 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 52660 KiB

[startup+0.700664 s]
/proc/loadavg: 1.39 1.37 1.39 5/215 28314
/proc/meminfo: memFree=26432780/32770624 swapFree=67028160/67108860
[pid=28299] ppid=28296 vsize=10661132 memory=117164 CPUtime=1.91 cores=0,2,4,6
/proc/28299/stat : 28299 (java) S 28296 28299 26091 0 -1 1077944320 11523 0 0 0 186 5 0 0 20 0 15 0 93680600 10916999168 29291 33554432000 4194304 4196468 140730260464176 140730260446720 140321145286391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
/proc/28299/statm: 2665283 29291 3104 1 0 2627263 0
[pid=28299/tid=28301] ppid=28296 vsize=10661132 memory=261582231732721 CPUtime=0.68 cores=0,2,4,6
/proc/28299/task/28301/stat : 28301 (java) R 28296 28299 26091 0 -1 4202560 5658 0 0 0 65 3 0 0 20 0 15 0 93680600 10916999168 29291 33554432000 4194304 4196468 140730260464176 140321149521552 140320759233136 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28302] ppid=28296 vsize=10661132 memory=288230376152200162 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28302/stat : 28302 (java) S 28296 28299 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93680601 10916999168 29291 33554432000 4194304 4196468 140730260464176 140321081977616 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28303] ppid=28296 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28303/stat : 28303 (java) S 28296 28299 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93680601 10916999168 29291 33554432000 4194304 4196468 140730260464176 140321080925072 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28304] ppid=28296 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28304/stat : 28304 (java) S 28296 28299 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93680601 10916999168 29291 33554432000 4194304 4196468 140730260464176 140321079872528 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28305] ppid=28296 vsize=10661132 memory=7809523229951467572 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28305/stat : 28305 (java) S 28296 28299 26091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93680601 10916999168 29291 33554432000 4194304 4196468 140730260464176 140320748465296 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28306] ppid=28296 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28306/stat : 28306 (java) S 28296 28299 26091 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 93680602 10916999168 29291 33554432000 4194304 4196468 140730260464176 140320637196272 140321145297538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28307] ppid=28296 vsize=10661132 memory=-3472574513799858009 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28307/stat : 28307 (java) S 28296 28299 26091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93680603 10916999168 29291 33554432000 4194304 4196468 140730260464176 140320636142496 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28308] ppid=28296 vsize=10661132 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28308/stat : 28308 (java) S 28296 28299 26091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93680603 10916999168 29291 33554432000 4194304 4196468 140730260464176 140320635089904 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28309] ppid=28296 vsize=10661132 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28309/stat : 28309 (java) S 28296 28299 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93680605 10916999168 29291 33554432000 4194304 4196468 140730260464176 140320634038480 140321145304987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28310] ppid=28296 vsize=10661132 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/28299/task/28310/stat : 28310 (java) S 28296 28299 26091 0 -1 1077944384 1565 0 0 0 42 0 0 0 20 0 15 0 93680605 10916999168 29291 33554432000 4194304 4196468 140730260464176 140320632979120 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28311] ppid=28296 vsize=10661132 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/28299/task/28311/stat : 28311 (java) R 28296 28299 26091 0 -1 4202560 1102 0 0 0 42 0 0 0 20 0 15 0 93680605 10916999168 29291 33554432000 4194304 4196468 140730260464176 140320631922288 140321145307738 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28312] ppid=28296 vsize=10661132 memory=0 CPUtime=0.35 cores=0,2,4,6
/proc/28299/task/28312/stat : 28312 (java) R 28296 28299 26091 0 -1 4202560 1823 0 0 0 35 0 0 0 20 0 15 0 93680605 10916999168 29291 33554432000 4194304 4196468 140730260464176 140320630877944 140321123417870 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28313] ppid=28296 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28313/stat : 28313 (java) S 28296 28299 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93680606 10916999168 29291 33554432000 4194304 4196468 140730260464176 140320629828704 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28314] ppid=28296 vsize=10661132 memory=3604 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28314/stat : 28314 (java) S 28296 28299 26091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93680606 10916999168 29291 33554432000 4194304 4196468 140730260464176 140320628775216 140321145297538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
Current children cumulated CPU time: 1.91 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 117164 KiB

[startup+1.50075 s]
/proc/loadavg: 1.39 1.37 1.39 5/215 28314
/proc/meminfo: memFree=26287628/32770624 swapFree=67028160/67108860
[pid=28299] ppid=28296 vsize=10661132 memory=228308 CPUtime=4 cores=0,2,4,6
/proc/28299/stat : 28299 (java) S 28296 28299 26091 0 -1 1077944320 12422 0 0 0 390 10 0 0 20 0 15 0 93680600 10916999168 57077 33554432000 4194304 4196468 140730260464176 140730260446720 140321145286391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
/proc/28299/statm: 2665283 57077 3145 1 0 2627263 0
[pid=28299/tid=28301] ppid=28296 vsize=10661132 memory=9169 CPUtime=1.45 cores=0,2,4,6
/proc/28299/task/28301/stat : 28301 (java) R 28296 28299 26091 0 -1 4202560 5781 0 0 0 141 4 0 0 20 0 15 0 93680600 10916999168 57077 33554432000 4194304 4196468 140730260464176 140321149525376 140320763287834 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28302] ppid=28296 vsize=10661132 memory=6791534058613427641 CPUtime=0.02 cores=0,2,4,6
/proc/28299/task/28302/stat : 28302 (java) S 28296 28299 26091 0 -1 1077944384 56 0 0 0 1 1 0 0 20 0 15 0 93680601 10916999168 57077 33554432000 4194304 4196468 140730260464176 140321081977616 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28303] ppid=28296 vsize=10661132 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28299/task/28303/stat : 28303 (java) S 28296 28299 26091 0 -1 1077944384 40 0 0 0 1 1 0 0 20 0 15 0 93680601 10916999168 57077 33554432000 4194304 4196468 140730260464176 140321080925072 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28304] ppid=28296 vsize=10661132 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28299/task/28304/stat : 28304 (java) S 28296 28299 26091 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 15 0 93680601 10916999168 57077 33554432000 4194304 4196468 140730260464176 140321079872528 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28305] ppid=28296 vsize=10661132 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28299/task/28305/stat : 28305 (java) S 28296 28299 26091 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 15 0 93680601 10916999168 57077 33554432000 4194304 4196468 140730260464176 140320748465296 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28306] ppid=28296 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28306/stat : 28306 (java) S 28296 28299 26091 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 93680602 10916999168 57077 33554432000 4194304 4196468 140730260464176 140320637196272 140321145297538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0

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

/proc/28299/task/28301/stat : 28301 (java) R 28296 28299 26091 0 -1 4202560 52246 0 0 0 236016 31 0 0 20 0 15 0 93680600 10916999168 86068 33554432000 4194304 4196468 140730260464176 140321149525696 140320764317077 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28302] ppid=28296 vsize=10661132 memory=1508 CPUtime=15.41 cores=0,2,4,6
/proc/28299/task/28302/stat : 28302 (java) S 28296 28299 26091 0 -1 1077944384 11158 0 0 0 1506 35 0 0 20 0 15 0 93680601 10916999168 86068 33554432000 4194304 4196468 140730260464176 140321081977616 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28303] ppid=28296 vsize=10661132 memory=344272 CPUtime=15.41 cores=0,2,4,6
/proc/28299/task/28303/stat : 28303 (java) S 28296 28299 26091 0 -1 1077944384 11612 0 0 0 1507 34 0 0 20 0 15 0 93680601 10916999168 86068 33554432000 4194304 4196468 140730260464176 140321080925072 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28304] ppid=28296 vsize=10661132 memory=341908 CPUtime=15.43 cores=0,2,4,6
/proc/28299/task/28304/stat : 28304 (java) S 28296 28299 26091 0 -1 1077944384 9066 0 0 0 1511 32 0 0 20 0 15 0 93680601 10916999168 86068 33554432000 4194304 4196468 140730260464176 140321079872528 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28305] ppid=28296 vsize=10661132 memory=342612 CPUtime=15.43 cores=0,2,4,6
/proc/28299/task/28305/stat : 28305 (java) S 28296 28299 26091 0 -1 1077944384 11107 0 0 0 1513 30 0 0 20 0 15 0 93680601 10916999168 86068 33554432000 4194304 4196468 140730260464176 140320748465296 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28306] ppid=28296 vsize=10661132 memory=343840 CPUtime=3.45 cores=0,2,4,6
/proc/28299/task/28306/stat : 28306 (java) S 28296 28299 26091 0 -1 1077944384 9432 0 0 0 312 33 0 0 20 0 15 0 93680602 10916999168 86068 33554432000 4194304 4196468 140730260464176 140320637196272 140321145297538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28307] ppid=28296 vsize=10661132 memory=344272 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28307/stat : 28307 (java) S 28296 28299 26091 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 93680603 10916999168 86068 33554432000 4194304 4196468 140730260464176 140320636142560 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28308] ppid=28296 vsize=10661132 memory=344868 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28308/stat : 28308 (java) S 28296 28299 26091 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 93680603 10916999168 86068 33554432000 4194304 4196468 140730260464176 140320635089904 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28309] ppid=28296 vsize=10661132 memory=1664 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28309/stat : 28309 (java) S 28296 28299 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93680605 10916999168 86068 33554432000 4194304 4196468 140730260464176 140320634038480 140321145304987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28310] ppid=28296 vsize=10661132 memory=1828 CPUtime=1.29 cores=0,2,4,6
/proc/28299/task/28310/stat : 28310 (java) S 28296 28299 26091 0 -1 1077944384 5023 0 0 0 128 1 0 0 20 0 15 0 93680605 10916999168 86068 33554432000 4194304 4196468 140730260464176 140320632986096 140321145297538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28311] ppid=28296 vsize=10661132 memory=344272 CPUtime=1.28 cores=0,2,4,6
/proc/28299/task/28311/stat : 28311 (java) S 28296 28299 26091 0 -1 1077944384 3459 0 0 0 127 1 0 0 20 0 15 0 93680605 10916999168 86068 33554432000 4194304 4196468 140730260464176 140320631933552 140321145297538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28312] ppid=28296 vsize=10661132 memory=15316 CPUtime=0.48 cores=0,2,4,6
/proc/28299/task/28312/stat : 28312 (java) S 28296 28299 26091 0 -1 1077944384 3102 0 0 0 47 1 0 0 20 0 15 0 93680605 10916999168 86068 33554432000 4194304 4196468 140730260464176 140320630881008 140321145297538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28313] ppid=28296 vsize=10661132 memory=960 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28313/stat : 28313 (java) S 28296 28299 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93680606 10916999168 86068 33554432000 4194304 4196468 140730260464176 140320629828704 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28314] ppid=28296 vsize=10661132 memory=1220 CPUtime=1.33 cores=0,2,4,6
/proc/28299/task/28314/stat : 28314 (java) S 28296 28299 26091 0 -1 1077944384 1131 0 0 0 71 62 0 0 20 0 15 0 93680606 10916999168 86068 33554432000 4194304 4196468 140730260464176 140320628775216 140321145297538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
Current children cumulated CPU time: 2430.07 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 344272 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 1.75 1.67 3/217 28648
/proc/meminfo: memFree=26089340/32770624 swapFree=67028164/67108860
[pid=28299] ppid=28296 vsize=10661132 memory=341328 CPUtime=2491.44 cores=0,2,4,6
/proc/28299/stat : 28299 (java) S 28296 28299 26091 0 -1 1077944320 120725 0 0 0 248903 241 0 0 20 0 15 0 93680600 10916999168 85332 33554432000 4194304 4196468 140730260464176 140730260446720 140321145286391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
/proc/28299/statm: 2665283 85332 3173 1 0 2627263 0
[pid=28299/tid=28301] ppid=28296 vsize=10661132 memory=339280 CPUtime=2419.83 cores=0,2,4,6
/proc/28299/task/28301/stat : 28301 (java) R 28296 28299 26091 0 -1 4202560 52565 0 0 0 241951 32 0 0 20 0 15 0 93680600 10916999168 85332 33554432000 4194304 4196468 140730260464176 140321149525696 140320764665632 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28302] ppid=28296 vsize=10661132 memory=338512 CPUtime=15.88 cores=0,2,4,6
/proc/28299/task/28302/stat : 28302 (java) S 28296 28299 26091 0 -1 1077944384 11485 0 0 0 1553 35 0 0 20 0 15 0 93680601 10916999168 85332 33554432000 4194304 4196468 140730260464176 140321081977616 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28303] ppid=28296 vsize=10661132 memory=344272 CPUtime=15.88 cores=0,2,4,6
/proc/28299/task/28303/stat : 28303 (java) S 28296 28299 26091 0 -1 1077944384 11751 0 0 0 1553 35 0 0 20 0 15 0 93680601 10916999168 85332 33554432000 4194304 4196468 140730260464176 140321080925072 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28304] ppid=28296 vsize=10661132 memory=338512 CPUtime=15.9 cores=0,2,4,6
/proc/28299/task/28304/stat : 28304 (java) S 28296 28299 26091 0 -1 1077944384 9275 0 0 0 1558 32 0 0 20 0 15 0 93680601 10916999168 85332 33554432000 4194304 4196468 140730260464176 140321079872528 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28305] ppid=28296 vsize=10661132 memory=338512 CPUtime=15.91 cores=0,2,4,6
/proc/28299/task/28305/stat : 28305 (java) S 28296 28299 26091 0 -1 1077944384 11296 0 0 0 1560 31 0 0 20 0 15 0 93680601 10916999168 85332 33554432000 4194304 4196468 140730260464176 140320748465296 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28306] ppid=28296 vsize=10661132 memory=341328 CPUtime=3.54 cores=0,2,4,6
/proc/28299/task/28306/stat : 28306 (java) S 28296 28299 26091 0 -1 1077944384 10203 0 0 0 321 33 0 0 20 0 15 0 93680602 10916999168 85332 33554432000 4194304 4196468 140730260464176 140320637196272 140321145297538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28307] ppid=28296 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28307/stat : 28307 (java) S 28296 28299 26091 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 93680603 10916999168 85332 33554432000 4194304 4196468 140730260464176 140320636142560 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28308] ppid=28296 vsize=10661132 memory=338512 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28308/stat : 28308 (java) S 28296 28299 26091 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 93680603 10916999168 85332 33554432000 4194304 4196468 140730260464176 140320635089904 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28309] ppid=28296 vsize=10661132 memory=15316 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28309/stat : 28309 (java) S 28296 28299 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93680605 10916999168 85332 33554432000 4194304 4196468 140730260464176 140320634038480 140321145304987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28310] ppid=28296 vsize=10661132 memory=338512 CPUtime=1.29 cores=0,2,4,6
/proc/28299/task/28310/stat : 28310 (java) S 28296 28299 26091 0 -1 1077944384 5025 0 0 0 128 1 0 0 20 0 15 0 93680605 10916999168 85332 33554432000 4194304 4196468 140730260464176 140320632986096 140321145297538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28311] ppid=28296 vsize=10661132 memory=338512 CPUtime=1.28 cores=0,2,4,6
/proc/28299/task/28311/stat : 28311 (java) S 28296 28299 26091 0 -1 1077944384 3461 0 0 0 127 1 0 0 20 0 15 0 93680605 10916999168 85332 33554432000 4194304 4196468 140730260464176 140320631933552 140321145297538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28312] ppid=28296 vsize=10661132 memory=6791534058613427641 CPUtime=0.48 cores=0,2,4,6
/proc/28299/task/28312/stat : 28312 (java) S 28296 28299 26091 0 -1 1077944384 3104 0 0 0 47 1 0 0 20 0 15 0 93680605 10916999168 85332 33554432000 4194304 4196468 140730260464176 140320630881008 140321145297538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28313] ppid=28296 vsize=10661132 memory=3008 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28313/stat : 28313 (java) S 28296 28299 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93680606 10916999168 85332 33554432000 4194304 4196468 140730260464176 140320629828704 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28314] ppid=28296 vsize=10661132 memory=339280 CPUtime=1.36 cores=0,2,4,6
/proc/28299/task/28314/stat : 28314 (java) S 28296 28299 26091 0 -1 1077944384 1152 0 0 0 72 64 0 0 20 0 15 0 93680606 10916999168 85332 33554432000 4194304 4196468 140730260464176 140320628775216 140321145297538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
Current children cumulated CPU time: 2491.44 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 341328 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2470.3 s]
/proc/loadavg: 1.79 1.72 1.66 3/217 28648
/proc/meminfo: memFree=26092744/32770624 swapFree=67028164/67108860
[pid=28299] ppid=28296 vsize=10661132 memory=339936 CPUtime=2520.02 cores=0,2,4,6
/proc/28299/stat : 28299 (java) S 28296 28299 26091 0 -1 1077944320 122431 0 0 0 251759 243 0 0 20 0 15 0 93680600 10916999168 84984 33554432000 4194304 4196468 140730260464176 140730260446720 140321145286391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
/proc/28299/statm: 2665283 84984 3173 1 0 2627263 0
[pid=28299/tid=28301] ppid=28296 vsize=10661132 memory=0 CPUtime=2447.54 cores=0,2,4,6
/proc/28299/task/28301/stat : 28301 (java) R 28296 28299 26091 0 -1 4202560 53384 0 0 0 244722 32 0 0 20 0 15 0 93680600 10916999168 84984 33554432000 4194304 4196468 140730260464176 140321149525568 140320764856652 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28302] ppid=28296 vsize=10661132 memory=339372 CPUtime=16.08 cores=0,2,4,6
/proc/28299/task/28302/stat : 28302 (java) S 28296 28299 26091 0 -1 1077944384 11680 0 0 0 1573 35 0 0 20 0 15 0 93680601 10916999168 84984 33554432000 4194304 4196468 140730260464176 140321081977616 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28303] ppid=28296 vsize=10661132 memory=339936 CPUtime=16.07 cores=0,2,4,6
/proc/28299/task/28303/stat : 28303 (java) S 28296 28299 26091 0 -1 1077944384 11891 0 0 0 1572 35 0 0 20 0 15 0 93680601 10916999168 84984 33554432000 4194304 4196468 140730260464176 140321080925072 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28304] ppid=28296 vsize=10661132 memory=339936 CPUtime=16.1 cores=0,2,4,6
/proc/28299/task/28304/stat : 28304 (java) S 28296 28299 26091 0 -1 1077944384 9475 0 0 0 1578 32 0 0 20 0 15 0 93680601 10916999168 84984 33554432000 4194304 4196468 140730260464176 140321079872528 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28305] ppid=28296 vsize=10661132 memory=339936 CPUtime=16.11 cores=0,2,4,6
/proc/28299/task/28305/stat : 28305 (java) S 28296 28299 26091 0 -1 1077944384 11641 0 0 0 1580 31 0 0 20 0 15 0 93680601 10916999168 84984 33554432000 4194304 4196468 140730260464176 140320748465296 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28306] ppid=28296 vsize=10661132 memory=339936 CPUtime=3.59 cores=0,2,4,6
/proc/28299/task/28306/stat : 28306 (java) S 28296 28299 26091 0 -1 1077944384 10208 0 0 0 325 34 0 0 20 0 15 0 93680602 10916999168 84984 33554432000 4194304 4196468 140730260464176 140320637196272 140321145297538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28307] ppid=28296 vsize=10661132 memory=339936 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28307/stat : 28307 (java) S 28296 28299 26091 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 93680603 10916999168 84984 33554432000 4194304 4196468 140730260464176 140320636142560 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28308] ppid=28296 vsize=10661132 memory=339936 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28308/stat : 28308 (java) S 28296 28299 26091 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 93680603 10916999168 84984 33554432000 4194304 4196468 140730260464176 140320635089904 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28309] ppid=28296 vsize=10661132 memory=800 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28309/stat : 28309 (java) S 28296 28299 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93680605 10916999168 84984 33554432000 4194304 4196468 140730260464176 140320634038480 140321145304987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28310] ppid=28296 vsize=10661132 memory=339372 CPUtime=1.29 cores=0,2,4,6
/proc/28299/task/28310/stat : 28310 (java) S 28296 28299 26091 0 -1 1077944384 5025 0 0 0 128 1 0 0 20 0 15 0 93680605 10916999168 84984 33554432000 4194304 4196468 140730260464176 140320632986096 140321145297538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28311] ppid=28296 vsize=10661132 memory=339372 CPUtime=1.28 cores=0,2,4,6
/proc/28299/task/28311/stat : 28311 (java) S 28296 28299 26091 0 -1 1077944384 3461 0 0 0 127 1 0 0 20 0 15 0 93680605 10916999168 84984 33554432000 4194304 4196468 140730260464176 140320631933552 140321145297538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28312] ppid=28296 vsize=10661132 memory=339112 CPUtime=0.48 cores=0,2,4,6
/proc/28299/task/28312/stat : 28312 (java) S 28296 28299 26091 0 -1 1077944384 3104 0 0 0 47 1 0 0 20 0 15 0 93680605 10916999168 84984 33554432000 4194304 4196468 140730260464176 140320630881008 140321145297538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28313] ppid=28296 vsize=10661132 memory=339112 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28313/stat : 28313 (java) S 28296 28299 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93680606 10916999168 84984 33554432000 4194304 4196468 140730260464176 140320629828704 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28314] ppid=28296 vsize=10661132 memory=3544 CPUtime=1.39 cores=0,2,4,6
/proc/28299/task/28314/stat : 28314 (java) S 28296 28299 26091 0 -1 1077944384 1154 0 0 0 74 65 0 0 20 0 15 0 93680606 10916999168 84984 33554432000 4194304 4196468 140730260464176 140320628775216 140321145297538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 339936 KiB

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

[startup+2470.32 s]
# the end of solver process 28299 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.62 s, system=2.43507 s

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

[startup+2470.3 s]
/proc/loadavg: 1.79 1.72 1.66 3/217 28648
/proc/meminfo: memFree=26092744/32770624 swapFree=67028164/67108860
[pid=28299] ppid=28296 vsize=10661132 memory=339936 CPUtime=2520.02 cores=0,2,4,6
/proc/28299/stat : 28299 (java) S 28296 28299 26091 0 -1 1077944320 122431 0 0 0 251759 243 0 0 20 0 15 0 93680600 10916999168 84984 33554432000 4194304 4196468 140730260464176 140730260446720 140321145286391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
/proc/28299/statm: 2665283 84984 3173 1 0 2627263 0
[pid=28299/tid=28301] ppid=28296 vsize=10661132 memory=0 CPUtime=2447.54 cores=0,2,4,6
/proc/28299/task/28301/stat : 28301 (java) R 28296 28299 26091 0 -1 4202560 53384 0 0 0 244722 32 0 0 20 0 15 0 93680600 10916999168 84984 33554432000 4194304 4196468 140730260464176 140321149525568 140320764856652 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28302] ppid=28296 vsize=10661132 memory=339372 CPUtime=16.08 cores=0,2,4,6
/proc/28299/task/28302/stat : 28302 (java) S 28296 28299 26091 0 -1 1077944384 11680 0 0 0 1573 35 0 0 20 0 15 0 93680601 10916999168 84984 33554432000 4194304 4196468 140730260464176 140321081977616 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28303] ppid=28296 vsize=10661132 memory=339936 CPUtime=16.07 cores=0,2,4,6
/proc/28299/task/28303/stat : 28303 (java) S 28296 28299 26091 0 -1 1077944384 11891 0 0 0 1572 35 0 0 20 0 15 0 93680601 10916999168 84984 33554432000 4194304 4196468 140730260464176 140321080925072 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28304] ppid=28296 vsize=10661132 memory=339936 CPUtime=16.1 cores=0,2,4,6
/proc/28299/task/28304/stat : 28304 (java) S 28296 28299 26091 0 -1 1077944384 9475 0 0 0 1578 32 0 0 20 0 15 0 93680601 10916999168 84984 33554432000 4194304 4196468 140730260464176 140321079872528 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28305] ppid=28296 vsize=10661132 memory=339936 CPUtime=16.11 cores=0,2,4,6
/proc/28299/task/28305/stat : 28305 (java) S 28296 28299 26091 0 -1 1077944384 11641 0 0 0 1580 31 0 0 20 0 15 0 93680601 10916999168 84984 33554432000 4194304 4196468 140730260464176 140320748465296 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28306] ppid=28296 vsize=10661132 memory=339936 CPUtime=3.59 cores=0,2,4,6
/proc/28299/task/28306/stat : 28306 (java) S 28296 28299 26091 0 -1 1077944384 10208 0 0 0 325 34 0 0 20 0 15 0 93680602 10916999168 84984 33554432000 4194304 4196468 140730260464176 140320637196272 140321145297538 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28307] ppid=28296 vsize=10661132 memory=339936 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28307/stat : 28307 (java) S 28296 28299 26091 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 93680603 10916999168 84984 33554432000 4194304 4196468 140730260464176 140320636142560 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28308] ppid=28296 vsize=10661132 memory=339936 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28308/stat : 28308 (java) S 28296 28299 26091 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 93680603 10916999168 84984 33554432000 4194304 4196468 140730260464176 140320635089904 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28309] ppid=28296 vsize=10661132 memory=800 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28309/stat : 28309 (java) S 28296 28299 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93680605 10916999168 84984 33554432000 4194304 4196468 140730260464176 140320634038480 140321145304987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28310] ppid=28296 vsize=10661132 memory=339372 CPUtime=1.29 cores=0,2,4,6
/proc/28299/task/28310/stat : 28310 (java) S 28296 28299 26091 0 -1 1077944384 5025 0 0 0 128 1 0 0 20 0 15 0 93680605 10916999168 84984 33554432000 4194304 4196468 140730260464176 140320632986096 140321145297538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28311] ppid=28296 vsize=10661132 memory=339372 CPUtime=1.28 cores=0,2,4,6
/proc/28299/task/28311/stat : 28311 (java) S 28296 28299 26091 0 -1 1077944384 3461 0 0 0 127 1 0 0 20 0 15 0 93680605 10916999168 84984 33554432000 4194304 4196468 140730260464176 140320631933552 140321145297538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28312] ppid=28296 vsize=10661132 memory=339112 CPUtime=0.48 cores=0,2,4,6
/proc/28299/task/28312/stat : 28312 (java) S 28296 28299 26091 0 -1 1077944384 3104 0 0 0 47 1 0 0 20 0 15 0 93680605 10916999168 84984 33554432000 4194304 4196468 140730260464176 140320630881008 140321145297538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28313] ppid=28296 vsize=10661132 memory=339112 CPUtime=0 cores=0,2,4,6
/proc/28299/task/28313/stat : 28313 (java) S 28296 28299 26091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93680606 10916999168 84984 33554432000 4194304 4196468 140730260464176 140320629828704 140321145296597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
[pid=28299/tid=28314] ppid=28296 vsize=10661132 memory=3544 CPUtime=1.39 cores=0,2,4,6
/proc/28299/task/28314/stat : 28314 (java) S 28296 28299 26091 0 -1 1077944384 1154 0 0 0 74 65 0 0 20 0 15 0 93680606 10916999168 84984 33554432000 4194304 4196468 140730260464176 140320628775216 140321145297538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10911744 140730260468853 140730260469001 140730260469001 140730260471759 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 339936 KiB

Child status: 143
Real time (s): 2470.32
CPU time (s): 2520.05
CPU user time (s): 2517.62
CPU system time (s): 2.43507
CPU usage (%): 102.013
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 1203396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.62
system time used= 2.43507
maximum resident set size= 1205460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122865
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 148670
involuntary context switches= 8341


# summary of solver processes directly reported to runsolver:
#   pid: 28299
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2517.62
#   total CPU system time (s): 2.43507

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.5118 second user time and 21.0295 second system time

The end
Name	GraphColoring/ GraphColoring-4-fullins-4_c18.xml
MD5SUM	954cbc6df2411a2de12d490b8b2019f6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	7
Best CPU time to get the best result obtained on this benchmark	15.1303
Satisfiable
(Un)Satisfiability was proved
Number of variables	690
Number of constraints	6650
Number of domains	1
Minimum domain size	690
Maximum domain size	690
Distribution of domain sizes	[{"size":690,"count":690}]
Minimum variable degree	7
Maximum variable degree	120
Distribution of variable degrees	[{"degree":7,"count":4},{"degree":8,"count":18},{"degree":9,"count":14},{"degree":10,"count":56},{"degree":11,"count":18},{"degree":12,"count":78},{"degree":13,"count":10},{"degree":14,"count":40},{"degree":15,"count":40},{"degree":16,"count":160},{"degree":17,"count":6},{"degree":18,"count":24},{"degree":19,"count":6},{"degree":20,"count":24},{"degree":26,"count":6},{"degree":29,"count":6},{"degree":30,"count":24},{"degree":31,"count":24},{"degree":32,"count":96},{"degree":47,"count":6},{"degree":48,"count":24},{"degree":120,"count":6}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":6650}]
Number of extensional constraints	0
Number of intensional constraints	6650
Distribution of constraint types	[{"type":"intension","count":6650}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4298442

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
