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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 5a (2017-07-26)	SAT (TO)	26	250.03999	240.00999
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255049-1501619404/watcher-4255049-1501619404 -o /tmp/evaluation-result-4255049-1501619404/solver-4255049-1501619404 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501617027-7473 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 976916131 HOME/instance-4255049-1501619404.xml 

pid=11667
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.59 1.66 1.71 2/195 11670
/proc/meminfo: memFree=30973764/32770624 swapFree=0/970612
[pid=11670] ppid=11667 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/11670/stat : 11670 (runsolver) D 11667 11670 5678 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10565091 24240128 106 18446744073709551615 4194304 4338465 140734754940976 140734754938616 140691648479959 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 25354240 140734754947166 140734754947654 140734754947654 140734754951114 0
/proc/11670/statm: 5918 106 53 36 0 2156 0

[startup+0.101692 s]
/proc/loadavg: 1.59 1.66 1.71 2/195 11670
/proc/meminfo: memFree=30973764/32770624 swapFree=0/970612
[pid=11670] ppid=11667 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11670/stat : 11670 (xcsp3-exec) S 11667 11670 5678 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10565091 9740288 345 18446744073709551615 4194304 5098028 140726003947872 140726003945976 139665039786620 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22294528 140726003954076 140726003954279 140726003954279 140726003957739 0
/proc/11670/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200212 s]
/proc/loadavg: 1.59 1.66 1.71 2/195 11670
/proc/meminfo: memFree=30973764/32770624 swapFree=0/970612
[pid=11670] ppid=11667 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11670/stat : 11670 (xcsp3-exec) S 11667 11670 5678 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10565091 9740288 345 18446744073709551615 4194304 5098028 140726003947872 140726003945976 139665039786620 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22294528 140726003954076 140726003954279 140726003954279 140726003957739 0
/proc/11670/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300213 s]
/proc/loadavg: 1.59 1.66 1.71 2/195 11670
/proc/meminfo: memFree=30973764/32770624 swapFree=0/970612
[pid=11670] ppid=11667 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11670/stat : 11670 (xcsp3-exec) S 11667 11670 5678 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10565091 9740288 345 18446744073709551615 4194304 5098028 140726003947872 140726003945976 139665039786620 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22294528 140726003954076 140726003954279 140726003954279 140726003957739 0
/proc/11670/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.701124 s]
/proc/loadavg: 1.59 1.66 1.71 2/195 11670
/proc/meminfo: memFree=30973764/32770624 swapFree=0/970612
[pid=11670] ppid=11667 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11670/stat : 11670 (xcsp3-exec) S 11667 11670 5678 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10565091 9740288 345 18446744073709551615 4194304 5098028 140726003947872 140726003945976 139665039786620 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22294528 140726003954076 140726003954279 140726003954279 140726003957739 0
/proc/11670/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50194 s]
/proc/loadavg: 1.55 1.65 1.71 4/211 11686
/proc/meminfo: memFree=30819508/32770624 swapFree=0/970612
[pid=11670] ppid=11667 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11670/stat : 11670 (xcsp3-exec) S 11667 11670 5678 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10565091 9740288 345 18446744073709551615 4194304 5098028 140726003947872 140726003945976 139665039786620 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22294528 140726003954076 140726003954279 140726003954279 140726003957739 0
/proc/11670/statm: 2378 345 289 221 0 87 0
[pid=11672] ppid=11670 vsize=13980732 CPUtime=3.73 cores=1,3,5,7
/proc/11672/stat : 11672 (java) S 11670 11670 5678 0 -1 1077944320 20240 0 0 0 364 9 0 0 20 0 15 0 10565099 14316269568 49345 18446744073709551615 4194304 4196468 140724813424384 140724813406928 139652612984567 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
/proc/11672/statm: 3495183 49345 3214 1 0 3483484 0
[pid=11672/tid=11673] ppid=11670 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/11672/task/11673/stat : 11673 (java) R 11670 11670 5678 0 -1 4202560 9170 0 0 0 130 4 0 0 20 0 15 0 10565099 14316269568 49345 18446744073709551615 4194304 4196468 140724813424384 139652617214624 139652220985760 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11674] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11674/stat : 11674 (java) S 11670 11670 5678 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 10565100 14316269568 49345 18446744073709551615 4194304 4196468 140724813424384 139652547419280 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11675] ppid=11670 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/11672/task/11675/stat : 11675 (java) S 11670 11670 5678 0 -1 1077944384 89 0 0 0 1 0 0 0 20 0 15 0 10565100 14316269568 49345 18446744073709551615 4194304 4196468 140724813424384 139652546366480 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11676] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11676/stat : 11676 (java) S 11670 11670 5678 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 10565100 14316269568 49345 18446744073709551615 4194304 4196468 140724813424384 139652545313680 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11677] ppid=11670 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/11672/task/11677/stat : 11677 (java) S 11670 11670 5678 0 -1 1077944384 238 0 0 0 1 0 0 0 20 0 15 0 10565100 14316269568 49345 18446744073709551615 4194304 4196468 140724813424384 139652544260880 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11678] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11678/stat : 11678 (java) S 11670 11670 5678 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 15 0 10565101 14316269568 49345 18446744073709551615 4194304 4196468 140724813424384 139651528501616 139652612995714 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11679] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11679/stat : 11679 (java) S 11670 11670 5678 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10565101 14316269568 49345 18446744073709551615 4194304 4196468 140724813424384 139651527447584 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11680] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11680/stat : 11680 (java) S 11670 11670 5678 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 10565102 14316269568 49345 18446744073709551615 4194304 4196468 140724813424384 139651526394736 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11681] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11681/stat : 11681 (java) S 11670 11670 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10565104 14316269568 49345 18446744073709551615 4194304 4196468 140724813424384 139651525343056 139652613003163 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11682] ppid=11670 vsize=13980732 CPUtime=0.89 cores=1,3,5,7
/proc/11672/task/11682/stat : 11682 (java) R 11670 11670 5678 0 -1 4202560 3307 0 0 0 89 0 0 0 20 0 15 0 10565104 14316269568 49345 18446744073709551615 4194304 4196468 140724813424384 139651524271584 139652606081427 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11683] ppid=11670 vsize=13980732 CPUtime=0.92 cores=1,3,5,7
/proc/11672/task/11683/stat : 11683 (java) R 11670 11670 5678 0 -1 4202560 3076 0 0 0 92 0 0 0 20 0 15 0 10565104 14316269568 49345 18446744073709551615 4194304 4196468 140724813424384 139651523224512 139652597376961 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11684] ppid=11670 vsize=13980732 CPUtime=0.48 cores=1,3,5,7
/proc/11672/task/11684/stat : 11684 (java) R 11670 11670 5678 0 -1 1077944384 2799 0 0 0 47 1 0 0 20 0 15 0 10565104 14316269568 49345 18446744073709551615 4194304 4196468 140724813424384 139651522185840 139652612995714 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11685] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11685/stat : 11685 (java) S 11670 11670 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10565104 14316269568 49345 18446744073709551615 4194304 4196468 140724813424384 139651521133280 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11686] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11686/stat : 11686 (java) S 11670 11670 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10565109 14316269568 49345 18446744073709551615 4194304 4196468 140724813424384 139651520080560 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 13990244

[startup+3.10072 s]
/proc/loadavg: 1.55 1.65 1.71 3/211 11686
/proc/meminfo: memFree=30767488/32770624 swapFree=0/970592
[pid=11670] ppid=11667 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11670/stat : 11670 (xcsp3-exec) S 11667 11670 5678 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10565091 9740288 345 18446744073709551615 4194304 5098028 140726003947872 140726003945976 139665039786620 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22294528 140726003954076 140726003954279 140726003954279 140726003957739 0
/proc/11670/statm: 2378 345 289 221 0 87 0
[pid=11672] ppid=11670 vsize=13980732 CPUtime=8.22 cores=1,3,5,7
/proc/11672/stat : 11672 (java) S 11670 11670 5678 0 -1 1077944320 29709 0 0 0 811 11 0 0 20 0 15 0 10565099 14316269568 59144 18446744073709551615 4194304 4196468 140724813424384 140724813406928 139652612984567 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
/proc/11672/statm: 3495183 59144 3226 1 0 3483484 0
[pid=11672/tid=11673] ppid=11670 vsize=13980732 CPUtime=2.92 cores=1,3,5,7
/proc/11672/task/11673/stat : 11673 (java) R 11670 11670 5678 0 -1 4202560 9703 0 0 0 287 5 0 0 20 0 15 0 10565099 14316269568 59144 18446744073709551615 4194304 4196468 140724813424384 139652617221664 139652227718525 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11674] ppid=11670 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/11672/task/11674/stat : 11674 (java) S 11670 11670 5678 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 15 0 10565100 14316269568 59144 18446744073709551615 4194304 4196468 140724813424384 139652547419280 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11675] ppid=11670 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/11672/task/11675/stat : 11675 (java) S 11670 11670 5678 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 15 0 10565100 14316269568 59144 18446744073709551615 4194304 4196468 140724813424384 139652546366480 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11676] ppid=11670 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/11672/task/11676/stat : 11676 (java) S 11670 11670 5678 0 -1 1077944384 702 0 0 0 2 0 0 0 20 0 15 0 10565100 14316269568 59144 18446744073709551615 4194304 4196468 140724813424384 139652545313680 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11677] ppid=11670 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/11672/task/11677/stat : 11677 (java) S 11670 11670 5678 0 -1 1077944384 280 0 0 0 2 0 0 0 20 0 15 0 10565100 14316269568 59144 18446744073709551615 4194304 4196468 140724813424384 139652544260880 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11678] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11678/stat : 11678 (java) S 11670 11670 5678 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 10565101 14316269568 59144 18446744073709551615 4194304 4196468 140724813424384 139651528501616 139652612995714 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11679] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11679/stat : 11679 (java) S 11670 11670 5678 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10565101 14316269568 59144 18446744073709551615 4194304 4196468 140724813424384 139651527447648 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11680] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11680/stat : 11680 (java) S 11670 11670 5678 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10565102 14316269568 59144 18446744073709551615 4194304 4196468 140724813424384 139651526394752 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11681] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11681/stat : 11681 (java) S 11670 11670 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10565104 14316269568 59144 18446744073709551615 4194304 4196468 140724813424384 139651525343056 139652613003163 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11682] ppid=11670 vsize=13980732 CPUtime=2.2 cores=1,3,5,7
/proc/11672/task/11682/stat : 11682 (java) S 11670 11670 5678 0 -1 1077944384 7024 0 0 0 219 1 0 0 20 0 15 0 10565104 14316269568 59144 18446744073709551615 4194304 4196468 140724813424384 139651524291440 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11683] ppid=11670 vsize=13980732 CPUtime=2.27 cores=1,3,5,7
/proc/11672/task/11683/stat : 11683 (java) S 11670 11670 5678 0 -1 1077944384 6042 0 0 0 226 1 0 0 20 0 15 0 10565104 14316269568 59144 18446744073709551615 4194304 4196468 140724813424384 139651523238640 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11684] ppid=11670 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/11672/task/11684/stat : 11684 (java) S 11670 11670 5678 0 -1 1077944384 4086 0 0 0 67 1 0 0 20 0 15 0 10565104 14316269568 59144 18446744073709551615 4194304 4196468 140724813424384 139651522185840 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11685] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11685/stat : 11685 (java) S 11670 11670 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10565104 14316269568 59144 18446744073709551615 4194304 4196468 140724813424384 139651521133280 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11686] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11686/stat : 11686 (java) S 11670 11670 5678 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 10565109 14316269568 59144 18446744073709551615 4194304 4196468 140724813424384 139651520080560 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
Current children cumulated CPU time (s) 8.22
Current children cumulated vsize (KiB) 13990244

[startup+6.30065 s]
/proc/loadavg: 1.66 1.67 1.71 3/211 11686
/proc/meminfo: memFree=30671872/32770624 swapFree=0/970604
[pid=11670] ppid=11667 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11670/stat : 11670 (xcsp3-exec) S 11667 11670 5678 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10565091 9740288 345 18446744073709551615 4194304 5098028 140726003947872 140726003945976 139665039786620 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22294528 140726003954076 140726003954279 140726003954279 140726003957739 0
/proc/11670/statm: 2378 345 289 221 0 87 0
[pid=11672] ppid=11670 vsize=13980732 CPUtime=13.6 cores=1,3,5,7
/proc/11672/stat : 11672 (java) S 11670 11670 5678 0 -1 1077944320 31199 0 0 0 1348 12 0 0 20 0 15 0 10565099 14316269568 82017 18446744073709551615 4194304 4196468 140724813424384 140724813406928 139652612984567 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
/proc/11672/statm: 3495183 82017 3234 1 0 3483484 0
[pid=11672/tid=11673] ppid=11670 vsize=13980732 CPUtime=6.12 cores=1,3,5,7
/proc/11672/task/11673/stat : 11673 (java) R 11670 11670 5678 0 -1 4202560 10006 0 0 0 606 6 0 0 20 0 15 0 10565099 14316269568 82017 18446744073709551615 4194304 4196468 140724813424384 139652617221360 139652228732738 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11674] ppid=11670 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/11672/task/11674/stat : 11674 (java) S 11670 11670 5678 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 15 0 10565100 14316269568 82017 18446744073709551615 4194304 4196468 140724813424384 139652547419280 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11675] ppid=11670 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/11672/task/11675/stat : 11675 (java) S 11670 11670 5678 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 15 0 10565100 14316269568 82017 18446744073709551615 4194304 4196468 140724813424384 139652546366480 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11676] ppid=11670 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/11672/task/11676/stat : 11676 (java) S 11670 11670 5678 0 -1 1077944384 702 0 0 0 2 0 0 0 20 0 15 0 10565100 14316269568 82017 18446744073709551615 4194304 4196468 140724813424384 139652545313680 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11677] ppid=11670 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/11672/task/11677/stat : 11677 (java) S 11670 11670 5678 0 -1 1077944384 280 0 0 0 2 0 0 0 20 0 15 0 10565100 14316269568 82017 18446744073709551615 4194304 4196468 140724813424384 139652544260880 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11678] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11678/stat : 11678 (java) S 11670 11670 5678 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 10565101 14316269568 82017 18446744073709551615 4194304 4196468 140724813424384 139651528501616 139652612995714 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11679] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11679/stat : 11679 (java) S 11670 11670 5678 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10565101 14316269568 82017 18446744073709551615 4194304 4196468 140724813424384 139651527447648 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11680] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11680/stat : 11680 (java) S 11670 11670 5678 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 10565102 14316269568 82017 18446744073709551615 4194304 4196468 140724813424384 139651526394752 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11681] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11681/stat : 11681 (java) S 11670 11670 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10565104 14316269568 82017 18446744073709551615 4194304 4196468 140724813424384 139651525343056 139652613003163 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11682] ppid=11670 vsize=13980732 CPUtime=3.21 cores=1,3,5,7
/proc/11672/task/11682/stat : 11682 (java) S 11670 11670 5678 0 -1 1077944384 7223 0 0 0 320 1 0 0 20 0 15 0 10565104 14316269568 82017 18446744073709551615 4194304 4196468 140724813424384 139651524291440 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11683] ppid=11670 vsize=13980732 CPUtime=3.33 cores=1,3,5,7
/proc/11672/task/11683/stat : 11683 (java) S 11670 11670 5678 0 -1 1077944384 6637 0 0 0 332 1 0 0 20 0 15 0 10565104 14316269568 82017 18446744073709551615 4194304 4196468 140724813424384 139651523238640 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11684] ppid=11670 vsize=13980732 CPUtime=0.79 cores=1,3,5,7
/proc/11672/task/11684/stat : 11684 (java) S 11670 11670 5678 0 -1 1077944384 4475 0 0 0 78 1 0 0 20 0 15 0 10565104 14316269568 82017 18446744073709551615 4194304 4196468 140724813424384 139651522185840 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11685] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11685/stat : 11685 (java) S 11670 11670 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10565104 14316269568 82017 18446744073709551615 4194304 4196468 140724813424384 139651521133280 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11686] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11686/stat : 11686 (java) S 11670 11670 5678 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 10565109 14316269568 82017 18446744073709551615 4194304 4196468 140724813424384 139651520080560 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
Current children cumulated CPU time (s) 13.6
Current children cumulated vsize (KiB) 13990244

[startup+12.7007 s]
/proc/loadavg: 1.69 1.67 1.71 3/211 11686
/proc/meminfo: memFree=30611548/32770624 swapFree=0/970612
[pid=11670] ppid=11667 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11670/stat : 11670 (xcsp3-exec) S 11667 11670 5678 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10565091 9740288 345 18446744073709551615 4194304 5098028 140726003947872 140726003945976 139665039786620 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22294528 140726003954076 140726003954279 140726003954279 140726003957739 0
/proc/11670/statm: 2378 345 289 221 0 87 0
[pid=11672] ppid=11670 vsize=13980732 CPUtime=21.21 cores=1,3,5,7
/proc/11672/stat : 11672 (java) S 11670 11670 5678 0 -1 1077944320 39455 0 0 0 2106 15 0 0 20 0 15 0 10565099 14316269568 93293 18446744073709551615 4194304 4196468 140724813424384 140724813406928 139652612984567 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
/proc/11672/statm: 3495183 93293 3248 1 0 3483484 0
[pid=11672/tid=11673] ppid=11670 vsize=13980732 CPUtime=12.49 cores=1,3,5,7
/proc/11672/task/11673/stat : 11673 (java) R 11670 11670 5678 0 -1 4202560 10974 0 0 0 1243 6 0 0 20 0 15 0 10565099 14316269568 93293 18446744073709551615 4194304 4196468 140724813424384 139652617220896 139652228291033 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11674] ppid=11670 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/11672/task/11674/stat : 11674 (java) S 11670 11670 5678 0 -1 1077944384 186 0 0 0 3 0 0 0 20 0 15 0 10565100 14316269568 93293 18446744073709551615 4194304 4196468 140724813424384 139652547419280 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11675] ppid=11670 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/11672/task/11675/stat : 11675 (java) S 11670 11670 5678 0 -1 1077944384 262 0 0 0 3 1 0 0 20 0 15 0 10565100 14316269568 93293 18446744073709551615 4194304 4196468 140724813424384 139652546366480 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0

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

[pid=11672/tid=11679] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11679/stat : 11679 (java) S 11670 11670 5678 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10565101 14316269568 102989 18446744073709551615 4194304 4196468 140724813424384 139651527447648 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11680] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11680/stat : 11680 (java) S 11670 11670 5678 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 10565102 14316269568 102989 18446744073709551615 4194304 4196468 140724813424384 139651526394752 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11681] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11681/stat : 11681 (java) S 11670 11670 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10565104 14316269568 102989 18446744073709551615 4194304 4196468 140724813424384 139651525343056 139652613003163 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11682] ppid=11670 vsize=13980732 CPUtime=4.12 cores=1,3,5,7
/proc/11672/task/11682/stat : 11682 (java) S 11670 11670 5678 0 -1 1077944384 14244 0 0 0 411 1 0 0 20 0 15 0 10565104 14316269568 102989 18446744073709551615 4194304 4196468 140724813424384 139651524291440 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11683] ppid=11670 vsize=13980732 CPUtime=4.04 cores=1,3,5,7
/proc/11672/task/11683/stat : 11683 (java) S 11670 11670 5678 0 -1 1077944384 10455 0 0 0 403 1 0 0 20 0 15 0 10565104 14316269568 102989 18446744073709551615 4194304 4196468 140724813424384 139651523238640 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11684] ppid=11670 vsize=13980732 CPUtime=0.85 cores=1,3,5,7
/proc/11672/task/11684/stat : 11684 (java) S 11670 11670 5678 0 -1 1077944384 7156 0 0 0 83 2 0 0 20 0 15 0 10565104 14316269568 102989 18446744073709551615 4194304 4196468 140724813424384 139651522185840 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11685] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11685/stat : 11685 (java) S 11670 11670 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10565104 14316269568 102989 18446744073709551615 4194304 4196468 140724813424384 139651521133280 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11686] ppid=11670 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/11672/task/11686/stat : 11686 (java) S 11670 11670 5678 0 -1 1077944384 478 0 0 0 1 2 0 0 20 0 15 0 10565109 14316269568 102989 18446744073709551615 4194304 4196468 140724813424384 139651520080560 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
Current children cumulated CPU time (s) 111.75
Current children cumulated vsize (KiB) 13990244

[startup+162.301 s]
/proc/loadavg: 1.60 1.63 1.69 3/211 11691
/proc/meminfo: memFree=30600636/32770624 swapFree=0/970696
[pid=11670] ppid=11667 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11670/stat : 11670 (xcsp3-exec) S 11667 11670 5678 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10565091 9740288 345 18446744073709551615 4194304 5098028 140726003947872 140726003945976 139665039786620 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22294528 140726003954076 140726003954279 140726003954279 140726003957739 0
/proc/11670/statm: 2378 345 289 221 0 87 0
[pid=11672] ppid=11670 vsize=13980732 CPUtime=172 cores=1,3,5,7
/proc/11672/stat : 11672 (java) S 11670 11670 5678 0 -1 1077944320 59914 0 0 0 17163 37 0 0 20 0 15 0 10565099 14316269568 102895 18446744073709551615 4194304 4196468 140724813424384 140724813406928 139652612984567 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
/proc/11672/statm: 3495183 102895 3248 1 0 3483484 0
[pid=11672/tid=11673] ppid=11670 vsize=13980732 CPUtime=161.88 cores=1,3,5,7
/proc/11672/task/11673/stat : 11673 (java) R 11670 11670 5678 0 -1 4202560 15035 0 0 0 16181 7 0 0 20 0 15 0 10565099 14316269568 102895 18446744073709551615 4194304 4196468 140724813424384 139652617223496 139652228574937 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11674] ppid=11670 vsize=13980732 CPUtime=0.23 cores=1,3,5,7
/proc/11672/task/11674/stat : 11674 (java) S 11670 11670 5678 0 -1 1077944384 1689 0 0 0 19 4 0 0 20 0 15 0 10565100 14316269568 102895 18446744073709551615 4194304 4196468 140724813424384 139652547419280 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11675] ppid=11670 vsize=13980732 CPUtime=0.22 cores=1,3,5,7
/proc/11672/task/11675/stat : 11675 (java) S 11670 11670 5678 0 -1 1077944384 1737 0 0 0 17 5 0 0 20 0 15 0 10565100 14316269568 102895 18446744073709551615 4194304 4196468 140724813424384 139652546366480 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11676] ppid=11670 vsize=13980732 CPUtime=0.23 cores=1,3,5,7
/proc/11672/task/11676/stat : 11676 (java) S 11670 11670 5678 0 -1 1077944384 2474 0 0 0 18 5 0 0 20 0 15 0 10565100 14316269568 102895 18446744073709551615 4194304 4196468 140724813424384 139652545313680 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11677] ppid=11670 vsize=13980732 CPUtime=0.22 cores=1,3,5,7
/proc/11672/task/11677/stat : 11677 (java) S 11670 11670 5678 0 -1 1077944384 1032 0 0 0 18 4 0 0 20 0 15 0 10565100 14316269568 102895 18446744073709551615 4194304 4196468 140724813424384 139652544260880 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11678] ppid=11670 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/11672/task/11678/stat : 11678 (java) S 11670 11670 5678 0 -1 1077944384 1461 0 0 0 3 0 0 0 20 0 15 0 10565101 14316269568 102895 18446744073709551615 4194304 4196468 140724813424384 139651528501616 139652612995714 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11679] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11679/stat : 11679 (java) S 11670 11670 5678 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10565101 14316269568 102895 18446744073709551615 4194304 4196468 140724813424384 139651527447648 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11680] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11680/stat : 11680 (java) S 11670 11670 5678 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 10565102 14316269568 102895 18446744073709551615 4194304 4196468 140724813424384 139651526394752 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11681] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11681/stat : 11681 (java) S 11670 11670 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10565104 14316269568 102895 18446744073709551615 4194304 4196468 140724813424384 139651525343056 139652613003163 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11682] ppid=11670 vsize=13980732 CPUtime=4.12 cores=1,3,5,7
/proc/11672/task/11682/stat : 11682 (java) S 11670 11670 5678 0 -1 1077944384 14424 0 0 0 411 1 0 0 20 0 15 0 10565104 14316269568 102895 18446744073709551615 4194304 4196468 140724813424384 139651524291440 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11683] ppid=11670 vsize=13980732 CPUtime=4.06 cores=1,3,5,7
/proc/11672/task/11683/stat : 11683 (java) S 11670 11670 5678 0 -1 1077944384 11386 0 0 0 405 1 0 0 20 0 15 0 10565104 14316269568 102895 18446744073709551615 4194304 4196468 140724813424384 139651523238640 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11684] ppid=11670 vsize=13980732 CPUtime=0.86 cores=1,3,5,7
/proc/11672/task/11684/stat : 11684 (java) S 11670 11670 5678 0 -1 1077944384 8778 0 0 0 84 2 0 0 20 0 15 0 10565104 14316269568 102895 18446744073709551615 4194304 4196468 140724813424384 139651522185840 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11685] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11685/stat : 11685 (java) S 11670 11670 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10565104 14316269568 102895 18446744073709551615 4194304 4196468 140724813424384 139651521133280 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11686] ppid=11670 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/11672/task/11686/stat : 11686 (java) S 11670 11670 5678 0 -1 1077944384 506 0 0 0 2 3 0 0 20 0 15 0 10565109 14316269568 102895 18446744073709551615 4194304 4196468 140724813424384 139651520080560 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
Current children cumulated CPU time (s) 172
Current children cumulated vsize (KiB) 13990244

[startup+222.306 s]
/proc/loadavg: 1.90 1.70 1.71 4/211 11847
/proc/meminfo: memFree=30624484/32770624 swapFree=0/970784
[pid=11670] ppid=11667 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11670/stat : 11670 (xcsp3-exec) S 11667 11670 5678 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10565091 9740288 345 18446744073709551615 4194304 5098028 140726003947872 140726003945976 139665039786620 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22294528 140726003954076 140726003954279 140726003954279 140726003957739 0
/proc/11670/statm: 2378 345 289 221 0 87 0
[pid=11672] ppid=11670 vsize=13980732 CPUtime=232.24 cores=1,3,5,7
/proc/11672/stat : 11672 (java) S 11670 11670 5678 0 -1 1077944320 61833 0 0 0 23184 40 0 0 20 0 15 0 10565099 14316269568 85796 18446744073709551615 4194304 4196468 140724813424384 140724813406928 139652612984567 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
/proc/11672/statm: 3495183 85796 3248 1 0 3483484 0
[pid=11672/tid=11673] ppid=11670 vsize=13980732 CPUtime=221.81 cores=1,3,5,7
/proc/11672/task/11673/stat : 11673 (java) R 11670 11670 5678 0 -1 4202560 15603 0 0 0 22173 8 0 0 20 0 15 0 10565099 14316269568 85796 18446744073709551615 4194304 4196468 140724813424384 139652617223984 139652229698309 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11674] ppid=11670 vsize=13980732 CPUtime=0.29 cores=1,3,5,7
/proc/11672/task/11674/stat : 11674 (java) S 11670 11670 5678 0 -1 1077944384 1730 0 0 0 25 4 0 0 20 0 15 0 10565100 14316269568 85796 18446744073709551615 4194304 4196468 140724813424384 139652547419280 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11675] ppid=11670 vsize=13980732 CPUtime=0.29 cores=1,3,5,7
/proc/11672/task/11675/stat : 11675 (java) S 11670 11670 5678 0 -1 1077944384 1791 0 0 0 24 5 0 0 20 0 15 0 10565100 14316269568 85796 18446744073709551615 4194304 4196468 140724813424384 139652546366480 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11676] ppid=11670 vsize=13980732 CPUtime=0.31 cores=1,3,5,7
/proc/11672/task/11676/stat : 11676 (java) S 11670 11670 5678 0 -1 1077944384 2925 0 0 0 25 6 0 0 20 0 15 0 10565100 14316269568 85796 18446744073709551615 4194304 4196468 140724813424384 139652545313680 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11677] ppid=11670 vsize=13980732 CPUtime=0.29 cores=1,3,5,7
/proc/11672/task/11677/stat : 11677 (java) S 11670 11670 5678 0 -1 1077944384 1298 0 0 0 25 4 0 0 20 0 15 0 10565100 14316269568 85796 18446744073709551615 4194304 4196468 140724813424384 139652544260880 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11678] ppid=11670 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/11672/task/11678/stat : 11678 (java) S 11670 11670 5678 0 -1 1077944384 1720 0 0 0 3 0 0 0 20 0 15 0 10565101 14316269568 85796 18446744073709551615 4194304 4196468 140724813424384 139651528501616 139652612995714 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11679] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11679/stat : 11679 (java) S 11670 11670 5678 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10565101 14316269568 85796 18446744073709551615 4194304 4196468 140724813424384 139651527447648 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11680] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11680/stat : 11680 (java) S 11670 11670 5678 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 10565102 14316269568 85796 18446744073709551615 4194304 4196468 140724813424384 139651526394752 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11681] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11681/stat : 11681 (java) S 11670 11670 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10565104 14316269568 85796 18446744073709551615 4194304 4196468 140724813424384 139651525343056 139652613003163 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11682] ppid=11670 vsize=13980732 CPUtime=4.12 cores=1,3,5,7
/proc/11672/task/11682/stat : 11682 (java) S 11670 11670 5678 0 -1 1077944384 14675 0 0 0 411 1 0 0 20 0 15 0 10565104 14316269568 85796 18446744073709551615 4194304 4196468 140724813424384 139651524291440 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11683] ppid=11670 vsize=13980732 CPUtime=4.06 cores=1,3,5,7
/proc/11672/task/11683/stat : 11683 (java) S 11670 11670 5678 0 -1 1077944384 11389 0 0 0 405 1 0 0 20 0 15 0 10565104 14316269568 85796 18446744073709551615 4194304 4196468 140724813424384 139651523238640 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11684] ppid=11670 vsize=13980732 CPUtime=0.86 cores=1,3,5,7
/proc/11672/task/11684/stat : 11684 (java) S 11670 11670 5678 0 -1 1077944384 8781 0 0 0 84 2 0 0 20 0 15 0 10565104 14316269568 85796 18446744073709551615 4194304 4196468 140724813424384 139651522185840 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11685] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11685/stat : 11685 (java) S 11670 11670 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10565104 14316269568 85796 18446744073709551615 4194304 4196468 140724813424384 139651521133280 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11686] ppid=11670 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/11672/task/11686/stat : 11686 (java) S 11670 11670 5678 0 -1 1077944384 529 0 0 0 3 5 0 0 20 0 15 0 10565109 14316269568 85796 18446744073709551615 4194304 4196468 140724813424384 139651520080560 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
Current children cumulated CPU time (s) 232.24
Current children cumulated vsize (KiB) 13990244



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 2.06 1.75 1.72 3/212 11854
/proc/meminfo: memFree=30211016/32770624 swapFree=0/970808
[pid=11670] ppid=11667 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/11670/stat : 11670 (xcsp3-exec) S 11667 11670 5678 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10565091 9740288 345 18446744073709551615 4194304 5098028 140726003947872 140726003945976 139665039786620 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 7 0 0 7196144 7232144 22294528 140726003954076 140726003954279 140726003954279 140726003957739 0
/proc/11670/statm: 2378 345 289 221 0 87 0
[pid=11672] ppid=11670 vsize=13980732 CPUtime=250.04 cores=1,3,5,7
/proc/11672/stat : 11672 (java) S 11670 11670 5678 0 -1 1077944320 63228 0 0 0 24963 41 0 0 20 0 15 0 10565099 14316269568 80419 18446744073709551615 4194304 4196468 140724813424384 140724813406928 139652612984567 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
/proc/11672/statm: 3495183 80419 3248 1 0 3483484 0
[pid=11672/tid=11673] ppid=11670 vsize=13980732 CPUtime=239.47 cores=1,3,5,7
/proc/11672/task/11673/stat : 11673 (java) R 11670 11670 5678 0 -1 4202560 15660 0 0 0 23939 8 0 0 20 0 15 0 10565099 14316269568 80419 18446744073709551615 4194304 4196468 140724813424384 139652617224096 139652230954235 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11674] ppid=11670 vsize=13980732 CPUtime=0.33 cores=1,3,5,7
/proc/11672/task/11674/stat : 11674 (java) S 11670 11670 5678 0 -1 1077944384 1743 0 0 0 28 5 0 0 20 0 15 0 10565100 14316269568 80419 18446744073709551615 4194304 4196468 140724813424384 139652547419280 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11675] ppid=11670 vsize=13980732 CPUtime=0.32 cores=1,3,5,7
/proc/11672/task/11675/stat : 11675 (java) S 11670 11670 5678 0 -1 1077944384 1804 0 0 0 27 5 0 0 20 0 15 0 10565100 14316269568 80419 18446744073709551615 4194304 4196468 140724813424384 139652546366480 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11676] ppid=11670 vsize=13980732 CPUtime=0.34 cores=1,3,5,7
/proc/11672/task/11676/stat : 11676 (java) S 11670 11670 5678 0 -1 1077944384 2932 0 0 0 28 6 0 0 20 0 15 0 10565100 14316269568 80419 18446744073709551615 4194304 4196468 140724813424384 139652545313680 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11677] ppid=11670 vsize=13980732 CPUtime=0.33 cores=1,3,5,7
/proc/11672/task/11677/stat : 11677 (java) S 11670 11670 5678 0 -1 1077944384 1371 0 0 0 28 5 0 0 20 0 15 0 10565100 14316269568 80419 18446744073709551615 4194304 4196468 140724813424384 139652544260880 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11678] ppid=11670 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/11672/task/11678/stat : 11678 (java) S 11670 11670 5678 0 -1 1077944384 1724 0 0 0 3 1 0 0 20 0 15 0 10565101 14316269568 80419 18446744073709551615 4194304 4196468 140724813424384 139651528501616 139652612995714 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11679] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11679/stat : 11679 (java) S 11670 11670 5678 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 10565101 14316269568 80419 18446744073709551615 4194304 4196468 140724813424384 139651527447648 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11680] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11680/stat : 11680 (java) S 11670 11670 5678 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 10565102 14316269568 80419 18446744073709551615 4194304 4196468 140724813424384 139651526394752 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11681] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11681/stat : 11681 (java) S 11670 11670 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10565104 14316269568 80419 18446744073709551615 4194304 4196468 140724813424384 139651525343056 139652613003163 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11682] ppid=11670 vsize=13980732 CPUtime=4.12 cores=1,3,5,7
/proc/11672/task/11682/stat : 11682 (java) S 11670 11670 5678 0 -1 1077944384 14675 0 0 0 411 1 0 0 20 0 15 0 10565104 14316269568 80419 18446744073709551615 4194304 4196468 140724813424384 139651524291440 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11683] ppid=11670 vsize=13980732 CPUtime=4.07 cores=1,3,5,7
/proc/11672/task/11683/stat : 11683 (java) S 11670 11670 5678 0 -1 1077944384 12033 0 0 0 406 1 0 0 20 0 15 0 10565104 14316269568 80419 18446744073709551615 4194304 4196468 140724813424384 139651523238640 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11684] ppid=11670 vsize=13980732 CPUtime=0.86 cores=1,3,5,7
/proc/11672/task/11684/stat : 11684 (java) S 11670 11670 5678 0 -1 1077944384 9356 0 0 0 84 2 0 0 20 0 15 0 10565104 14316269568 80419 18446744073709551615 4194304 4196468 140724813424384 139651522185840 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11685] ppid=11670 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/11672/task/11685/stat : 11685 (java) S 11670 11670 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10565104 14316269568 80419 18446744073709551615 4194304 4196468 140724813424384 139651521133280 139652612994773 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
[pid=11672/tid=11686] ppid=11670 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/11672/task/11686/stat : 11686 (java) S 11670 11670 5678 0 -1 1077944384 538 0 0 0 3 5 0 0 20 0 15 0 10565109 14316269568 80419 18446744073709551615 4194304 4196468 140724813424384 139651520080560 139652612995714 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140724813431252 140724813431427 140724813431427 140724813434831 0
Current children cumulated CPU time (s) 250.04
Current children cumulated vsize (KiB) 13990244

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11672 sig 9
??? kill 11670 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11670 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1691
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=127
# CPU time returned by wait4() is 0.001818
# while last known CPU time is 250.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 240.01
CPU time (s): 250.04
CPU user time (s): 249.63
CPU system time (s): 0.41
CPU usage (%): 104.179
Max. virtual memory (cumulated for all children) (KiB): 13991908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001691
system time used= 0.000127
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.11843 second user time and 1.4603 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml
MD5SUM	1f90dacd0a92fbbf60104d292dc9abb3
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	26
Best CPU time to get the best result obtained on this benchmark	240.039
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	17425
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	12
Maximum variable degree	158
Distribution of variable degrees	[{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":18,"count":1},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":1},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":24,"count":3},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":27,"count":1},{"degree":28,"count":1},{"degree":29,"count":3},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":33,"count":2},{"degree":34,"count":2},{"degree":35,"count":4},{"degree":36,"count":1},{"degree":37,"count":2},{"degree":38,"count":2},{"degree":39,"count":3},{"degree":40,"count":3},"...",{"degree":120,"count":4}, {"degree":121,"count":2}, {"degree":122,"count":3}, {"degree":123,"count":1}, {"degree":124,"count":1}, {"degree":125,"count":1}, {"degree":126,"count":1}, {"degree":127,"count":1}, {"degree":128,"count":3}, {"degree":129,"count":1}, {"degree":130,"count":1}, {"degree":131,"count":2}, {"degree":132,"count":1}, {"degree":133,"count":2}, {"degree":134,"count":2}, {"degree":136,"count":1}, {"degree":138,"count":1}, {"degree":139,"count":1}, {"degree":140,"count":1}, {"degree":142,"count":2}, {"degree":143,"count":2}, {"degree":146,"count":1}, {"degree":149,"count":1}, {"degree":152,"count":2}, {"degree":158,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":17425}]
Number of extensional constraints	0
Number of intensional constraints	17425
Distribution of constraint types	[{"type":"intension","count":17425}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4255049

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
