2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16 parallel	SAT (TO)	12	1996.14	252.106
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 (14715 MiB free)
  memory of node 1: 16384 MiB (15239 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400101-1568709878/watcher-4400101-1568709878 -o /tmp/evaluation-result-4400101-1568709878/solver-4400101-1568709878 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568696839-26115 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 2074971289 HOME/instance-4400101-1568709878.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=32029, runsolver pid=32026

[startup+0.100122 s]*
/proc/loadavg: 6.93 7.83 8.05 2/212 32050
/proc/meminfo: memFree=30658024/32770624 swapFree=66926788/67108860
[pid=32029] ppid=32026 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/32029/stat : 32029 (xcsp3-exec) S 32026 32029 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447243602 115843072 362 33554432000 4194304 5098028 140728485433392 140728485431496 140428397884028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38182912 140728485442427 140728485442670 140728485442670 140728485445578 0
/proc/32029/statm: 28282 362 304 221 0 87 0
[pid=32031] ppid=32029 vsize=28227396 memory=29096 CPUtime=0.11 cores=0-7
/proc/32031/stat : 32031 (java) S 32029 32029 26088 0 -1 1077944320 5758 0 0 0 10 1 0 0 20 0 20 0 447243602 28904853504 7274 33554432000 4194304 4196468 140728029005872 140728028988416 139882126880503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
/proc/32031/statm: 7056849 7274 3124 1 0 7019032 0
[pid=32031/tid=32032] ppid=32029 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/32031/task/32032/stat : 32032 (java) R 32029 32029 26088 0 -1 4202560 3699 0 0 0 8 1 0 0 20 0 20 0 447243603 28904853504 7274 33554432000 4194304 4196468 140728029005872 139882131115680 139882126892438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32033] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32033/stat : 32033 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 7274 33554432000 4194304 4196468 140728029005872 139882079500560 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32034] ppid=32029 vsize=28227396 memory=140067981211264 CPUtime=0 cores=0-7
/proc/32031/task/32034/stat : 32034 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 7274 33554432000 4194304 4196468 140728029005872 139882078448016 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32035] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32035/stat : 32035 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 7274 33554432000 4194304 4196468 140728029005872 139882077395472 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32036] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32036/stat : 32036 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 7274 33554432000 4194304 4196468 140728029005872 139882076342928 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32037] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32037/stat : 32037 (java) S 32029 32029 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 7274 33554432000 4194304 4196468 140728029005872 139882075290384 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32038] ppid=32029 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32031/task/32038/stat : 32038 (java) S 32029 32029 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 7274 33554432000 4194304 4196468 140728029005872 139882074237840 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32039] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32039/stat : 32039 (java) S 32029 32029 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 7274 33554432000 4194304 4196468 140728029005872 139882073185296 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32040] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32040/stat : 32040 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 7274 33554432000 4194304 4196468 140728029005872 139882072132752 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32041] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32041/stat : 32041 (java) S 32029 32029 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447243605 28904853504 7274 33554432000 4194304 4196468 140728029005872 139880254519280 139882126891650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32042] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32042/stat : 32042 (java) S 32029 32029 26088 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 447243605 28904853504 7274 33554432000 4194304 4196468 140728029005872 139880253465504 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32043] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32043/stat : 32043 (java) S 32029 32029 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447243606 28904853504 7274 33554432000 4194304 4196468 140728029005872 139880252412912 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32044] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32044/stat : 32044 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243608 28904853504 7274 33554432000 4194304 4196468 140728029005872 139880251361488 139882126899099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32045] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32045/stat : 32045 (java) S 32029 32029 26088 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 447243608 28904853504 7274 33554432000 4194304 4196468 140728029005872 139880250309104 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32046] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32046/stat : 32046 (java) S 32029 32029 26088 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 447243608 28904853504 7274 33554432000 4194304 4196468 140728029005872 139880249256560 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32047] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32047/stat : 32047 (java) S 32029 32029 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447243608 28904853504 7274 33554432000 4194304 4196468 140728029005872 139880248204016 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32048] ppid=32029 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/32031/task/32048/stat : 32048 (java) S 32029 32029 26088 0 -1 1077944384 311 0 0 0 1 0 0 0 20 0 20 0 447243608 28904853504 7274 33554432000 4194304 4196468 140728029005872 139880247151472 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32049] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32049/stat : 32049 (java) S 32029 32029 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447243609 28904853504 7274 33554432000 4194304 4196468 140728029005872 139880246098144 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32050] ppid=32029 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32031/task/32050/stat : 32050 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243609 28904853504 7274 33554432000 4194304 4196468 140728029005872 139880245045680 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30544 KiB

[startup+0.210372 s]*
/proc/loadavg: 6.93 7.83 8.05 2/212 32050
/proc/meminfo: memFree=30644400/32770624 swapFree=66926788/67108860
[pid=32029] ppid=32026 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/32029/stat : 32029 (xcsp3-exec) S 32026 32029 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447243602 115843072 362 33554432000 4194304 5098028 140728485433392 140728485431496 140428397884028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38182912 140728485442427 140728485442670 140728485442670 140728485445578 0
/proc/32029/statm: 28282 362 304 221 0 87 0
[pid=32031] ppid=32029 vsize=28227396 memory=40884 CPUtime=0.34 cores=0-7
/proc/32031/stat : 32031 (java) S 32029 32029 26088 0 -1 1077944320 9513 0 0 0 30 4 0 0 20 0 20 0 447243602 28904853504 10221 33554432000 4194304 4196468 140728029005872 140728028988416 139882126880503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
/proc/32031/statm: 7056849 10221 3301 1 0 7019032 0
[pid=32031/tid=32032] ppid=32029 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/32031/task/32032/stat : 32032 (java) R 32029 32029 26088 0 -1 4202560 6633 0 0 0 17 3 0 0 20 0 20 0 447243603 28904853504 10221 33554432000 4194304 4196468 140728029005872 139882131110224 139882126902429 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32033] ppid=32029 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/32031/task/32033/stat : 32033 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 10221 33554432000 4194304 4196468 140728029005872 139882079500560 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32034] ppid=32029 vsize=28227396 memory=140067981237609 CPUtime=0 cores=0-7
/proc/32031/task/32034/stat : 32034 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 10221 33554432000 4194304 4196468 140728029005872 139882078448016 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32035] ppid=32029 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32031/task/32035/stat : 32035 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 10221 33554432000 4194304 4196468 140728029005872 139882077395472 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32036] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32036/stat : 32036 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 10221 33554432000 4194304 4196468 140728029005872 139882076342928 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32037] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32037/stat : 32037 (java) S 32029 32029 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 10221 33554432000 4194304 4196468 140728029005872 139882075290384 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32038] ppid=32029 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32031/task/32038/stat : 32038 (java) S 32029 32029 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 10221 33554432000 4194304 4196468 140728029005872 139882074237840 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32039] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32039/stat : 32039 (java) S 32029 32029 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 10221 33554432000 4194304 4196468 140728029005872 139882073185296 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32040] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32040/stat : 32040 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28904853504 10221 33554432000 4194304 4196468 140728029005872 139882072132752 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32041] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32041/stat : 32041 (java) S 32029 32029 26088 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 447243605 28904853504 10221 33554432000 4194304 4196468 140728029005872 139880254519280 139882126891650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32042] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32042/stat : 32042 (java) S 32029 32029 26088 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 447243605 28904853504 10221 33554432000 4194304 4196468 140728029005872 139880253465504 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32043] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32043/stat : 32043 (java) S 32029 32029 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447243606 28904853504 10221 33554432000 4194304 4196468 140728029005872 139880252412912 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32044] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32044/stat : 32044 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243608 28904853504 10221 33554432000 4194304 4196468 140728029005872 139880251361488 139882126899099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32045] ppid=32029 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/32031/task/32045/stat : 32045 (java) S 32029 32029 26088 0 -1 1077944384 586 0 0 0 2 0 0 0 20 0 20 0 447243608 28904853504 10221 33554432000 4194304 4196468 140728029005872 139880250309104 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32046] ppid=32029 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/32031/task/32046/stat : 32046 (java) S 32029 32029 26088 0 -1 1077944384 154 0 0 0 1 0 0 0 20 0 20 0 447243608 28904853504 10221 33554432000 4194304 4196468 140728029005872 139880249256560 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32047] ppid=32029 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/32031/task/32047/stat : 32047 (java) S 32029 32029 26088 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 20 0 447243608 28904853504 10221 33554432000 4194304 4196468 140728029005872 139880248204016 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32048] ppid=32029 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/32031/task/32048/stat : 32048 (java) S 32029 32029 26088 0 -1 1077944384 721 0 0 0 7 0 0 0 20 0 20 0 447243608 28904853504 10221 33554432000 4194304 4196468 140728029005872 139880247151472 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32049] ppid=32029 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32049/stat : 32049 (java) S 32029 32029 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447243609 28904853504 10221 33554432000 4194304 4196468 140728029005872 139880246098144 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32050] ppid=32029 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32031/task/32050/stat : 32050 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243609 28904853504 10221 33554432000 4194304 4196468 140728029005872 139880245045680 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42332 KiB

[startup+0.309676 s]*
/proc/loadavg: 6.93 7.83 8.05 5/212 32050
/proc/meminfo: memFree=30636388/32770624 swapFree=66926788/67108860
[pid=32029] ppid=32026 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/32029/stat : 32029 (xcsp3-exec) S 32026 32029 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447243602 115843072 362 33554432000 4194304 5098028 140728485433392 140728485431496 140428397884028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38182912 140728485442427 140728485442670 140728485442670 140728485445578 0
/proc/32029/statm: 28282 362 304 221 0 87 0
[pid=32031] ppid=32029 vsize=28231652 memory=50000 CPUtime=0.52 cores=0-7
/proc/32031/stat : 32031 (java) S 32029 32029 26088 0 -1 1077944320 10877 0 0 0 48 4 0 0 20 0 20 0 447243602 28909211648 12500 33554432000 4194304 4196468 140728029005872 140728028988416 139882126880503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
/proc/32031/statm: 7057913 12500 3357 1 0 7019032 0
[pid=32031/tid=32032] ppid=32029 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32031/task/32032/stat : 32032 (java) R 32029 32029 26088 0 -1 4202560 7750 0 0 0 26 3 0 0 20 0 20 0 447243603 28909211648 12500 33554432000 4194304 4196468 140728029005872 139882131111616 139882110960990 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32033] ppid=32029 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32033/stat : 32033 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28909211648 12500 33554432000 4194304 4196468 140728029005872 139882079500560 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32034] ppid=32029 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32034/stat : 32034 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28909211648 12500 33554432000 4194304 4196468 140728029005872 139882078448016 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32035] ppid=32029 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32035/stat : 32035 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28909211648 12500 33554432000 4194304 4196468 140728029005872 139882077395472 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32036] ppid=32029 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32036/stat : 32036 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28909211648 12500 33554432000 4194304 4196468 140728029005872 139882076342928 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32037] ppid=32029 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/32031/task/32037/stat : 32037 (java) S 32029 32029 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447243604 28909211648 12500 33554432000 4194304 4196468 140728029005872 139882075290384 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32038] ppid=32029 vsize=28231652 memory=140067876205487 CPUtime=0 cores=0-7
/proc/32031/task/32038/stat : 32038 (java) S 32029 32029 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447243604 28909211648 12500 33554432000 4194304 4196468 140728029005872 139882074237840 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32039] ppid=32029 vsize=28231652 memory=140067876207792 CPUtime=0 cores=0-7
/proc/32031/task/32039/stat : 32039 (java) S 32029 32029 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447243604 28909211648 12500 33554432000 4194304 4196468 140728029005872 139882073185296 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32040] ppid=32029 vsize=28231652 memory=140067876210096 CPUtime=0 cores=0-7
/proc/32031/task/32040/stat : 32040 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28909211648 12500 33554432000 4194304 4196468 140728029005872 139882072132752 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32041] ppid=32029 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32041/stat : 32041 (java) S 32029 32029 26088 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 447243605 28909211648 12500 33554432000 4194304 4196468 140728029005872 139880254519280 139882126891650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32042] ppid=32029 vsize=28231652 memory=280135752427152 CPUtime=0 cores=0-7
/proc/32031/task/32042/stat : 32042 (java) S 32029 32029 26088 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 447243605 28909211648 12500 33554432000 4194304 4196468 140728029005872 139880253465504 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32043] ppid=32029 vsize=28231652 memory=280135752434064 CPUtime=0 cores=0-7
/proc/32031/task/32043/stat : 32043 (java) S 32029 32029 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447243606 28909211648 12500 33554432000 4194304 4196468 140728029005872 139880252412912 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32044] ppid=32029 vsize=28231652 memory=280135752375344 CPUtime=0 cores=0-7
/proc/32031/task/32044/stat : 32044 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243608 28909211648 12500 33554432000 4194304 4196468 140728029005872 139880251361488 139882126899099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32045] ppid=32029 vsize=28231652 memory=280135752447888 CPUtime=0.02 cores=0-7
/proc/32031/task/32045/stat : 32045 (java) S 32029 32029 26088 0 -1 1077944384 602 0 0 0 2 0 0 0 20 0 20 0 447243608 28909211648 12500 33554432000 4194304 4196468 140728029005872 139880250309104 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32046] ppid=32029 vsize=28231652 memory=280135752454800 CPUtime=0.02 cores=0-7
/proc/32031/task/32046/stat : 32046 (java) R 32029 32029 26088 0 -1 4202560 252 0 0 0 2 0 0 0 20 0 20 0 447243608 28909211648 12500 33554432000 4194304 4196468 140728029005872 139880249246944 139882110084142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32047] ppid=32029 vsize=28231652 memory=280135752452496 CPUtime=0.02 cores=0-7
/proc/32031/task/32047/stat : 32047 (java) S 32029 32029 26088 0 -1 1077944384 143 0 0 0 2 0 0 0 20 0 20 0 447243608 28909211648 12500 33554432000 4194304 4196468 140728029005872 139880248204016 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32048] ppid=32029 vsize=28231652 memory=280135752468656 CPUtime=0.12 cores=0-7
/proc/32031/task/32048/stat : 32048 (java) S 32029 32029 26088 0 -1 1077944384 818 0 0 0 12 0 0 0 20 0 20 0 447243608 28909211648 12500 33554432000 4194304 4196468 140728029005872 139880247151472 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32049] ppid=32029 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32049/stat : 32049 (java) S 32029 32029 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447243609 28909211648 12500 33554432000 4194304 4196468 140728029005872 139880246098144 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32050] ppid=32029 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/32031/task/32050/stat : 32050 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243609 28909211648 12500 33554432000 4194304 4196468 140728029005872 139880245045680 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51448 KiB

[startup+0.701042 s]
/proc/loadavg: 6.93 7.83 8.05 4/212 32050
/proc/meminfo: memFree=30616556/32770624 swapFree=66926788/67108860
[pid=32029] ppid=32026 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/32029/stat : 32029 (xcsp3-exec) S 32026 32029 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447243602 115843072 362 33554432000 4194304 5098028 140728485433392 140728485431496 140428397884028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38182912 140728485442427 140728485442670 140728485442670 140728485445578 0
/proc/32029/statm: 28282 362 304 221 0 87 0
[pid=32031] ppid=32029 vsize=28233776 memory=95104 CPUtime=1.77 cores=0-7
/proc/32031/stat : 32031 (java) S 32029 32029 26088 0 -1 1077944320 15947 0 0 0 171 6 0 0 20 0 20 0 447243602 28911386624 23776 33554432000 4194304 4196468 140728029005872 140728028988416 139882126880503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
/proc/32031/statm: 7058444 23776 3453 1 0 7019544 0
[pid=32031/tid=32032] ppid=32029 vsize=28233776 memory=280135752826544 CPUtime=0.67 cores=0-7
/proc/32031/task/32032/stat : 32032 (java) R 32029 32029 26088 0 -1 4202560 9185 0 0 0 63 4 0 0 20 0 20 0 447243603 28911386624 23776 33554432000 4194304 4196468 140728029005872 139882131116176 139882108529582 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32033] ppid=32029 vsize=28233776 memory=140067876414320 CPUtime=0 cores=0-7
/proc/32031/task/32033/stat : 32033 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28911386624 23776 33554432000 4194304 4196468 140728029005872 139882079500560 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32034] ppid=32029 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32034/stat : 32034 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28911386624 23776 33554432000 4194304 4196468 140728029005872 139882078448016 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32035] ppid=32029 vsize=28233776 memory=1556 CPUtime=0 cores=0-7
/proc/32031/task/32035/stat : 32035 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447243604 28911386624 23776 33554432000 4194304 4196468 140728029005872 139882077395472 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0

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

[pid=32031/tid=32082] ppid=32029 vsize=28768336 memory=1552 CPUtime=158.45 cores=0-7
/proc/32031/task/32082/stat : 32082 (java) R 32029 32029 26088 0 -1 4202560 2215 0 0 0 15845 0 0 0 20 0 28 0 447243813 29458776064 179010 33554432000 4194304 4196468 140728029005872 139879922762280 139881741230535 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
Current children cumulated CPU time: 1283.95 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 717488 KiB

[startup+222.302 s]
/proc/loadavg: 8.74 8.22 8.15 9/218 32096
/proc/meminfo: memFree=29911072/32770624 swapFree=66926788/67108860
[pid=32029] ppid=32026 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/32029/stat : 32029 (xcsp3-exec) S 32026 32029 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447243602 115843072 362 33554432000 4194304 5098028 140728485433392 140728485431496 140428397884028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38182912 140728485442427 140728485442670 140728485442670 140728485445578 0
/proc/32029/statm: 28282 362 304 221 0 87 0
[pid=32031] ppid=32029 vsize=28768336 memory=778408 CPUtime=1759.56 cores=0-7
/proc/32031/stat : 32031 (java) S 32029 32029 26088 0 -1 1077944320 121961 0 0 0 175826 130 0 0 20 0 28 0 447243602 29458776064 194602 33554432000 4194304 4196468 140728029005872 140728028988416 139882126880503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
/proc/32031/statm: 7192084 194602 3529 1 0 7153184 0
[pid=32031/tid=32032] ppid=32029 vsize=28768336 memory=778408 CPUtime=1.44 cores=0-7
/proc/32031/task/32032/stat : 32032 (java) S 32029 32029 26088 0 -1 1077944384 9869 0 0 0 138 6 0 0 20 0 28 0 447243603 29458776064 194602 33554432000 4194304 4196468 140728029005872 139882131121280 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32033] ppid=32029 vsize=28768336 memory=778408 CPUtime=0.43 cores=0-7
/proc/32031/task/32033/stat : 32033 (java) S 32029 32029 26088 0 -1 1077944384 2650 0 0 0 35 8 0 0 20 0 28 0 447243604 29458776064 194602 33554432000 4194304 4196468 140728029005872 139882079500560 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32034] ppid=32029 vsize=28768336 memory=1448 CPUtime=0.43 cores=0-7
/proc/32031/task/32034/stat : 32034 (java) S 32029 32029 26088 0 -1 1077944384 4017 0 0 0 36 7 0 0 20 0 28 0 447243604 29458776064 194602 33554432000 4194304 4196468 140728029005872 139882078448016 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32035] ppid=32029 vsize=28768336 memory=1448 CPUtime=0.44 cores=0-7
/proc/32031/task/32035/stat : 32035 (java) S 32029 32029 26088 0 -1 1077944384 2817 0 0 0 35 9 0 0 20 0 28 0 447243604 29458776064 194602 33554432000 4194304 4196468 140728029005872 139882077395472 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32036] ppid=32029 vsize=28768336 memory=275547921906330 CPUtime=0.45 cores=0-7
/proc/32031/task/32036/stat : 32036 (java) S 32029 32029 26088 0 -1 1077944384 2663 0 0 0 36 9 0 0 20 0 28 0 447243604 29458776064 194602 33554432000 4194304 4196468 140728029005872 139882076342928 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32037] ppid=32029 vsize=28768336 memory=1808 CPUtime=0.46 cores=0-7
/proc/32031/task/32037/stat : 32037 (java) S 32029 32029 26088 0 -1 1077944384 2458 0 0 0 37 9 0 0 20 0 28 0 447243604 29458776064 194602 33554432000 4194304 4196468 140728029005872 139882075290384 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32038] ppid=32029 vsize=28768336 memory=924 CPUtime=0.43 cores=0-7
/proc/32031/task/32038/stat : 32038 (java) S 32029 32029 26088 0 -1 1077944384 5266 0 0 0 36 7 0 0 20 0 28 0 447243604 29458776064 194602 33554432000 4194304 4196468 140728029005872 139882074237840 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32039] ppid=32029 vsize=28768336 memory=984 CPUtime=0.44 cores=0-7
/proc/32031/task/32039/stat : 32039 (java) S 32029 32029 26088 0 -1 1077944384 2111 0 0 0 35 9 0 0 20 0 28 0 447243604 29458776064 194602 33554432000 4194304 4196468 140728029005872 139882073185296 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32040] ppid=32029 vsize=28768336 memory=14012 CPUtime=0.43 cores=0-7
/proc/32031/task/32040/stat : 32040 (java) S 32029 32029 26088 0 -1 1077944384 2834 0 0 0 35 8 0 0 20 0 28 0 447243604 29458776064 194602 33554432000 4194304 4196468 140728029005872 139882072132752 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32041] ppid=32029 vsize=28768336 memory=1448 CPUtime=0.26 cores=0-7
/proc/32031/task/32041/stat : 32041 (java) S 32029 32029 26088 0 -1 1077944384 8740 0 0 0 20 6 0 0 20 0 28 0 447243605 29458776064 194602 33554432000 4194304 4196468 140728029005872 139880254519280 139882126891650 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32042] ppid=32029 vsize=28768336 memory=763760 CPUtime=0 cores=0-7
/proc/32031/task/32042/stat : 32042 (java) S 32029 32029 26088 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 447243605 29458776064 194602 33554432000 4194304 4196468 140728029005872 139880253465568 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32043] ppid=32029 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/32031/task/32043/stat : 32043 (java) S 32029 32029 26088 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 447243606 29458776064 194602 33554432000 4194304 4196468 140728029005872 139880252412928 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32044] ppid=32029 vsize=28768336 memory=726280 CPUtime=0 cores=0-7
/proc/32031/task/32044/stat : 32044 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447243608 29458776064 194602 33554432000 4194304 4196468 140728029005872 139880251361488 139882126899099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32045] ppid=32029 vsize=28768336 memory=3580 CPUtime=2.51 cores=0-7
/proc/32031/task/32045/stat : 32045 (java) S 32029 32029 26088 0 -1 1077944384 14209 0 0 0 249 2 0 0 20 0 28 0 447243608 29458776064 194602 33554432000 4194304 4196468 140728029005872 139880250309104 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32046] ppid=32029 vsize=28768336 memory=31732 CPUtime=2.33 cores=0-7
/proc/32031/task/32046/stat : 32046 (java) S 32029 32029 26088 0 -1 1077944384 12217 0 0 0 231 2 0 0 20 0 28 0 447243608 29458776064 194602 33554432000 4194304 4196468 140728029005872 139880249256560 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32047] ppid=32029 vsize=28768336 memory=11228 CPUtime=2.59 cores=0-7
/proc/32031/task/32047/stat : 32047 (java) S 32029 32029 26088 0 -1 1077944384 14193 0 0 0 256 3 0 0 20 0 28 0 447243608 29458776064 194602 33554432000 4194304 4196468 140728029005872 139880248204016 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32048] ppid=32029 vsize=28768336 memory=2120 CPUtime=0.8 cores=0-7
/proc/32031/task/32048/stat : 32048 (java) S 32029 32029 26088 0 -1 1077944384 10132 0 0 0 78 2 0 0 20 0 28 0 447243608 29458776064 194602 33554432000 4194304 4196468 140728029005872 139880247151472 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32049] ppid=32029 vsize=28768336 memory=763760 CPUtime=0 cores=0-7
/proc/32031/task/32049/stat : 32049 (java) S 32029 32029 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447243609 29458776064 194602 33554432000 4194304 4196468 140728029005872 139880246098144 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32050] ppid=32029 vsize=28768336 memory=1448 CPUtime=0.04 cores=0-7
/proc/32031/task/32050/stat : 32050 (java) S 32029 32029 26088 0 -1 1077944384 1074 0 0 0 0 4 0 0 20 0 28 0 447243609 29458776064 194602 33554432000 4194304 4196468 140728029005872 139880245045680 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32075] ppid=32029 vsize=28768336 memory=-3622645143214314312 CPUtime=217.38 cores=0-7
/proc/32031/task/32075/stat : 32075 (java) R 32029 32029 26088 0 -1 4202560 2147 0 0 0 21737 1 0 0 20 0 28 0 447243812 29458776064 194602 33554432000 4194304 4196468 140728029005872 139879928024568 139881741681863 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32076] ppid=32029 vsize=28768336 memory=1552 CPUtime=218.36 cores=0-7
/proc/32031/task/32076/stat : 32076 (java) R 32029 32029 26088 0 -1 4202560 2208 0 0 0 21835 1 0 0 20 0 28 0 447243812 29458776064 194602 33554432000 4194304 4196468 140728029005872 139879925923872 139881741234585 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32077] ppid=32029 vsize=28768336 memory=3580 CPUtime=217.89 cores=0-7
/proc/32031/task/32077/stat : 32077 (java) R 32029 32029 26088 0 -1 4202560 2222 0 0 0 21787 2 0 0 20 0 28 0 447243812 29458776064 194602 33554432000 4194304 4196468 140728029005872 139879924871216 139881741234630 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32078] ppid=32029 vsize=28768336 memory=1448 CPUtime=217.79 cores=0-7
/proc/32031/task/32078/stat : 32078 (java) R 32029 32029 26088 0 -1 4202560 5528 0 0 0 21767 12 0 0 20 0 28 0 447243812 29458776064 194602 33554432000 4194304 4196468 140728029005872 139879921709688 139881741670368 0 4 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32079] ppid=32029 vsize=28768336 memory=1448 CPUtime=217.12 cores=0-7
/proc/32031/task/32079/stat : 32079 (java) R 32029 32029 26088 0 -1 4202560 3225 0 0 0 21707 5 0 0 20 0 28 0 447243812 29458776064 194602 33554432000 4194304 4196468 140728029005872 139879926976816 139881740070303 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32080] ppid=32029 vsize=28768336 memory=778408 CPUtime=218.22 cores=0-7
/proc/32031/task/32080/stat : 32080 (java) R 32029 32029 26088 0 -1 4202560 3548 0 0 0 21819 3 0 0 20 0 28 0 447243812 29458776064 194602 33554432000 4194304 4196468 140728029005872 139879923818944 139881740222634 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32081] ppid=32029 vsize=28768336 memory=6791534058613427641 CPUtime=218.01 cores=0-7
/proc/32031/task/32081/stat : 32081 (java) R 32029 32029 26088 0 -1 4202560 3472 0 0 0 21793 8 0 0 20 0 28 0 447243812 29458776064 194602 33554432000 4194304 4196468 140728029005872 139879920655824 139881741234553 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32082] ppid=32029 vsize=28768336 memory=1984 CPUtime=217.9 cores=0-7
/proc/32031/task/32082/stat : 32082 (java) R 32029 32029 26088 0 -1 4202560 2344 0 0 0 21789 1 0 0 20 0 28 0 447243813 29458776064 194602 33554432000 4194304 4196468 140728029005872 139879922765992 139881741234615 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
Current children cumulated CPU time: 1759.56 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 779856 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.63 8.25 8.16 9/218 32099
/proc/meminfo: memFree=29879004/32770624 swapFree=66926788/67108860
[pid=32029] ppid=32026 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/32029/stat : 32029 (xcsp3-exec) S 32026 32029 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447243602 115843072 362 33554432000 4194304 5098028 140728485433392 140728485431496 140428397884028 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 38182912 140728485442427 140728485442670 140728485442670 140728485445578 0
/proc/32029/statm: 28282 362 304 221 0 87 0
[pid=32031] ppid=32029 vsize=28768336 memory=811972 CPUtime=1995.45 cores=0-7
/proc/32031/stat : 32031 (java) S 32029 32029 26088 0 -1 1077944320 123392 0 0 0 199409 136 0 0 20 0 28 0 447243602 29458776064 202993 33554432000 4194304 4196468 140728029005872 140728028988416 139882126880503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
/proc/32031/statm: 7192084 202993 3529 1 0 7153184 0
[pid=32031/tid=32032] ppid=32029 vsize=28768336 memory=6791534058613427641 CPUtime=1.44 cores=0-7
/proc/32031/task/32032/stat : 32032 (java) S 32029 32029 26088 0 -1 1077944384 9869 0 0 0 138 6 0 0 20 0 28 0 447243603 29458776064 202993 33554432000 4194304 4196468 140728029005872 139882131121280 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32033] ppid=32029 vsize=28768336 memory=11228 CPUtime=0.53 cores=0-7
/proc/32031/task/32033/stat : 32033 (java) S 32029 32029 26088 0 -1 1077944384 2698 0 0 0 44 9 0 0 20 0 28 0 447243604 29458776064 202993 33554432000 4194304 4196468 140728029005872 139882079500560 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32034] ppid=32029 vsize=28768336 memory=2120 CPUtime=0.54 cores=0-7
/proc/32031/task/32034/stat : 32034 (java) S 32029 32029 26088 0 -1 1077944384 4076 0 0 0 46 8 0 0 20 0 28 0 447243604 29458776064 202993 33554432000 4194304 4196468 140728029005872 139882078448016 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32035] ppid=32029 vsize=28768336 memory=12020 CPUtime=0.55 cores=0-7
/proc/32031/task/32035/stat : 32035 (java) S 32029 32029 26088 0 -1 1077944384 2889 0 0 0 45 10 0 0 20 0 28 0 447243604 29458776064 202993 33554432000 4194304 4196468 140728029005872 139882077395472 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32036] ppid=32029 vsize=28768336 memory=496 CPUtime=0.56 cores=0-7
/proc/32031/task/32036/stat : 32036 (java) S 32029 32029 26088 0 -1 1077944384 2707 0 0 0 46 10 0 0 20 0 28 0 447243604 29458776064 202993 33554432000 4194304 4196468 140728029005872 139882076342928 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32037] ppid=32029 vsize=28768336 memory=1560 CPUtime=0.56 cores=0-7
/proc/32031/task/32037/stat : 32037 (java) S 32029 32029 26088 0 -1 1077944384 2535 0 0 0 46 10 0 0 20 0 28 0 447243604 29458776064 202993 33554432000 4194304 4196468 140728029005872 139882075290384 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32038] ppid=32029 vsize=28768336 memory=928 CPUtime=0.54 cores=0-7
/proc/32031/task/32038/stat : 32038 (java) S 32029 32029 26088 0 -1 1077944384 5312 0 0 0 46 8 0 0 20 0 28 0 447243604 29458776064 202993 33554432000 4194304 4196468 140728029005872 139882074237840 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32039] ppid=32029 vsize=28768336 memory=6791534058613427641 CPUtime=0.55 cores=0-7
/proc/32031/task/32039/stat : 32039 (java) S 32029 32029 26088 0 -1 1077944384 2204 0 0 0 46 9 0 0 20 0 28 0 447243604 29458776064 202993 33554432000 4194304 4196468 140728029005872 139882073185296 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32040] ppid=32029 vsize=28768336 memory=809760 CPUtime=0.54 cores=0-7
/proc/32031/task/32040/stat : 32040 (java) S 32029 32029 26088 0 -1 1077944384 2989 0 0 0 45 9 0 0 20 0 28 0 447243604 29458776064 202993 33554432000 4194304 4196468 140728029005872 139882072132752 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32041] ppid=32029 vsize=28768336 memory=1164 CPUtime=0.34 cores=0-7
/proc/32031/task/32041/stat : 32041 (java) S 32029 32029 26088 0 -1 1077944384 8960 0 0 0 27 7 0 0 20 0 28 0 447243605 29458776064 202993 33554432000 4194304 4196468 140728029005872 139880254519280 139882126891650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32042] ppid=32029 vsize=28768336 memory=1412 CPUtime=0 cores=0-7
/proc/32031/task/32042/stat : 32042 (java) S 32029 32029 26088 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 447243605 29458776064 202993 33554432000 4194304 4196468 140728029005872 139880253465568 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32043] ppid=32029 vsize=28768336 memory=3600 CPUtime=0 cores=0-7
/proc/32031/task/32043/stat : 32043 (java) S 32029 32029 26088 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 447243606 29458776064 202993 33554432000 4194304 4196468 140728029005872 139880252412928 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32044] ppid=32029 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/32031/task/32044/stat : 32044 (java) S 32029 32029 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447243608 29458776064 202993 33554432000 4194304 4196468 140728029005872 139880251361488 139882126899099 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32045] ppid=32029 vsize=28768336 memory=799520 CPUtime=2.51 cores=0-7
/proc/32031/task/32045/stat : 32045 (java) S 32029 32029 26088 0 -1 1077944384 14209 0 0 0 249 2 0 0 20 0 28 0 447243608 29458776064 202993 33554432000 4194304 4196468 140728029005872 139880250309104 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32046] ppid=32029 vsize=28768336 memory=6791534058613427641 CPUtime=2.33 cores=0-7
/proc/32031/task/32046/stat : 32046 (java) S 32029 32029 26088 0 -1 1077944384 12217 0 0 0 231 2 0 0 20 0 28 0 447243608 29458776064 202993 33554432000 4194304 4196468 140728029005872 139880249256560 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32047] ppid=32029 vsize=28768336 memory=1760 CPUtime=2.59 cores=0-7
/proc/32031/task/32047/stat : 32047 (java) S 32029 32029 26088 0 -1 1077944384 14194 0 0 0 256 3 0 0 20 0 28 0 447243608 29458776064 202993 33554432000 4194304 4196468 140728029005872 139880248204016 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32048] ppid=32029 vsize=28768336 memory=111632 CPUtime=0.8 cores=0-7
/proc/32031/task/32048/stat : 32048 (java) S 32029 32029 26088 0 -1 1077944384 10132 0 0 0 78 2 0 0 20 0 28 0 447243608 29458776064 202993 33554432000 4194304 4196468 140728029005872 139880247151472 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32049] ppid=32029 vsize=28768336 memory=804 CPUtime=0 cores=0-7
/proc/32031/task/32049/stat : 32049 (java) S 32029 32029 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447243609 29458776064 202993 33554432000 4194304 4196468 140728029005872 139880246098144 139882126890709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32050] ppid=32029 vsize=28768336 memory=1808 CPUtime=0.05 cores=0-7
/proc/32031/task/32050/stat : 32050 (java) S 32029 32029 26088 0 -1 1077944384 1089 0 0 0 0 5 0 0 20 0 28 0 447243609 29458776064 202993 33554432000 4194304 4196468 140728029005872 139880245045680 139882126891650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32075] ppid=32029 vsize=28768336 memory=924 CPUtime=246.75 cores=0-7
/proc/32031/task/32075/stat : 32075 (java) R 32029 32029 26088 0 -1 4202560 2193 0 0 0 24674 1 0 0 20 0 28 0 447243812 29458776064 202993 33554432000 4194304 4196468 140728029005872 139879928027648 139881741230700 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32076] ppid=32029 vsize=28768336 memory=1448 CPUtime=247.82 cores=0-7
/proc/32031/task/32076/stat : 32076 (java) R 32029 32029 26088 0 -1 4202560 2312 0 0 0 24781 1 0 0 20 0 28 0 447243812 29458776064 202993 33554432000 4194304 4196468 140728029005872 139879925923792 139881740775294 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32077] ppid=32029 vsize=28768336 memory=811972 CPUtime=247.29 cores=0-7
/proc/32031/task/32077/stat : 32077 (java) R 32029 32029 26088 0 -1 4202560 2255 0 0 0 24727 2 0 0 20 0 28 0 447243812 29458776064 202993 33554432000 4194304 4196468 140728029005872 139879924871224 139881741234550 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32078] ppid=32029 vsize=28768336 memory=1556 CPUtime=247.15 cores=0-7
/proc/32031/task/32078/stat : 32078 (java) R 32029 32029 26088 0 -1 4202560 5622 0 0 0 24703 12 0 0 20 0 28 0 447243812 29458776064 202993 33554432000 4194304 4196468 140728029005872 139879921713200 139881742331752 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32079] ppid=32029 vsize=28768336 memory=2832 CPUtime=246.38 cores=0-7
/proc/32031/task/32079/stat : 32079 (java) R 32029 32029 26088 0 -1 4202560 3344 0 0 0 24633 5 0 0 20 0 28 0 447243812 29458776064 202993 33554432000 4194304 4196468 140728029005872 139879926972736 139881740070369 0 4 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32080] ppid=32029 vsize=28768336 memory=984 CPUtime=247.65 cores=0-7
/proc/32031/task/32080/stat : 32080 (java) R 32029 32029 26088 0 -1 4202560 3625 0 0 0 24762 3 0 0 20 0 28 0 447243812 29458776064 202993 33554432000 4194304 4196468 140728029005872 139879923815032 139881740070104 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32081] ppid=32029 vsize=28768336 memory=56 CPUtime=247.22 cores=0-7
/proc/32031/task/32081/stat : 32081 (java) R 32029 32029 26088 0 -1 4202560 3548 0 0 0 24714 8 0 0 20 0 28 0 447243812 29458776064 202993 33554432000 4194304 4196468 140728029005872 139879920658704 139881740070303 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
[pid=32031/tid=32082] ppid=32029 vsize=28768336 memory=11228 CPUtime=247.38 cores=0-7
/proc/32031/task/32082/stat : 32082 (java) R 32029 32029 26088 0 -1 4202560 2396 0 0 0 24737 1 0 0 20 0 28 0 447243813 29458776064 202993 33554432000 4194304 4196468 140728029005872 139879922762144 139881741234524 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 17014784 140728029012976 140728029013147 140728029013147 140728029016015 0
Current children cumulated CPU time: 1995.45 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 813420 KiB

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

[startup+252.039 s]
# the end of solver process 32029 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.00117 s, system=0.00117 s

[startup+252.106 s]
# the end of solver process 32031 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1994.77 s, system=1.37856 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 252.106
CPU time (s): 1996.14
CPU user time (s): 1994.77
CPU system time (s): 1.37856
CPU usage (%): 791.788
Max. virtual memory (cumulated for all children) (KiB): 28885544
Max. memory (cumulated for all children) (KiB): 813420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1994.77
system time used= 1.37856
maximum resident set size= 813112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124779
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32865
involuntary context switches= 21647


# summary of solver processes directly reported to runsolver:
#   pid: 32029,32031
#   total CPU time (s): 1996.14
#   total CPU user time (s): 1994.77
#   total CPU system time (s): 1.37856

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.27173 second user time and 2.71484 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-homer.xml
MD5SUM	4034cc1c4ef788f4220b0fc076e8c883
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	12
Best CPU time to get the best result obtained on this benchmark	26.8114
Satisfiable
(Un)Satisfiability was proved
Number of variables	561
Number of constraints	1628
Number of domains	1
Minimum domain size	561
Maximum domain size	561
Distribution of domain sizes	[{"size":561,"count":561}]
Minimum variable degree	1
Maximum variable degree	100
Distribution of variable degrees	[{"degree":1,"count":5},{"degree":2,"count":208},{"degree":3,"count":104},{"degree":4,"count":48},{"degree":5,"count":28},{"degree":6,"count":18},{"degree":7,"count":15},{"degree":8,"count":19},{"degree":9,"count":15},{"degree":10,"count":12},{"degree":11,"count":8},{"degree":12,"count":5},{"degree":13,"count":11},{"degree":14,"count":7},{"degree":15,"count":11},{"degree":16,"count":3},{"degree":17,"count":3},{"degree":18,"count":4},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":3},{"degree":22,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":36,"count":1},{"degree":37,"count":1},{"degree":38,"count":1},{"degree":39,"count":1},{"degree":40,"count":2},{"degree":41,"count":1},{"degree":43,"count":2},{"degree":46,"count":1},{"degree":51,"count":1},{"degree":53,"count":1},{"degree":55,"count":1},{"degree":56,"count":1},{"degree":57,"count":1},{"degree":62,"count":1},{"degree":66,"count":1},{"degree":78,"count":1},{"degree":100,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":1628}]
Number of extensional constraints	0
Number of intensional constraints	1628
Distribution of constraint types	[{"type":"intension","count":1628}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4400101

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
