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 4.0.5 seq (2017-07-26)	SAT (TO)	26	245.2	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-4254055-1501612853/watcher-4254055-1501612853 -o /tmp/evaluation-result-4254055-1501612853/solver-4254055-1501612853 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501610539-18990 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1960818436 HOME/instance-4254055-1501612853.xml 

pid=20125
running on 4 cores: 0,2,4,6

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.75 1.49 4/198 20128
/proc/meminfo: memFree=31753444/32770624 swapFree=0/206312
[pid=20128] ppid=20125 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/20128/stat : 20128 (runsolver) D 20125 20128 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 60938809 24240128 107 18446744073709551615 4194304 4338465 140722696799456 140722696797096 140684178834135 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 19820544 140722696806491 140722696806981 140722696806981 140722696810442 0
/proc/20128/statm: 5918 107 54 36 0 2156 0

[startup+0.100152 s]
/proc/loadavg: 1.59 1.75 1.49 4/198 20128
/proc/meminfo: memFree=31753444/32770624 swapFree=0/206312
[pid=20128] ppid=20125 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/20128/stat : 20128 (runsolver) D 20125 20128 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 60938809 24240128 107 18446744073709551615 4194304 4338465 140722696799456 140722696797096 140684178834135 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 19820544 140722696806491 140722696806981 140722696806981 140722696810442 0
/proc/20128/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.20032 s]
/proc/loadavg: 1.59 1.75 1.49 4/198 20128
/proc/meminfo: memFree=31753444/32770624 swapFree=0/206312
[pid=20128] ppid=20125 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/20128/stat : 20128 (xcsp3-exec) S 20125 20128 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 60938809 9740288 344 18446744073709551615 4194304 5098028 140736007462096 140736007460200 140537524175484 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 7790592 140736007463322 140736007463526 140736007463526 140736007466987 0
/proc/20128/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.30033 s]
/proc/loadavg: 1.59 1.75 1.49 4/198 20128
/proc/meminfo: memFree=31753444/32770624 swapFree=0/206312
[pid=20128] ppid=20125 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/20128/stat : 20128 (xcsp3-exec) S 20125 20128 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 60938809 9740288 344 18446744073709551615 4194304 5098028 140736007462096 140736007460200 140537524175484 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 7790592 140736007463322 140736007463526 140736007463526 140736007466987 0
/proc/20128/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.70083 s]
/proc/loadavg: 1.59 1.75 1.49 4/198 20128
/proc/meminfo: memFree=31753444/32770624 swapFree=0/206312
[pid=20128] ppid=20125 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/20128/stat : 20128 (xcsp3-exec) S 20125 20128 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 60938809 9740288 344 18446744073709551615 4194304 5098028 140736007462096 140736007460200 140537524175484 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 7790592 140736007463322 140736007463526 140736007463526 140736007466987 0
/proc/20128/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50669 s]
/proc/loadavg: 1.59 1.75 1.49 6/214 20144
/proc/meminfo: memFree=31604148/32770624 swapFree=0/206332
[pid=20128] ppid=20125 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/20128/stat : 20128 (xcsp3-exec) S 20125 20128 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 60938809 9740288 344 18446744073709551615 4194304 5098028 140736007462096 140736007460200 140537524175484 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 7790592 140736007463322 140736007463526 140736007463526 140736007466987 0
/proc/20128/statm: 2378 344 289 221 0 87 0
[pid=20130] ppid=20128 vsize=13980732 CPUtime=3.75 cores=0,2,4,6
/proc/20130/stat : 20130 (java) S 20128 20128 18930 0 -1 1077944320 20028 0 0 0 367 8 0 0 20 0 15 0 60938819 14316269568 50277 18446744073709551615 4194304 4196468 140734248992560 140734248975104 140570471984887 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
/proc/20130/statm: 3495183 50277 3216 1 0 3483484 0
[pid=20130/tid=20131] ppid=20128 vsize=13980732 CPUtime=1.3 cores=0,2,4,6
/proc/20130/task/20131/stat : 20131 (java) R 20128 20128 18930 0 -1 4202560 8754 0 0 0 125 5 0 0 20 0 15 0 60938820 14316269568 50277 18446744073709551615 4194304 4196468 140734248992560 140570476215152 140570452177703 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20132] ppid=20128 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/20130/task/20132/stat : 20132 (java) S 20128 20128 18930 0 -1 1077944384 215 0 0 0 2 0 0 0 20 0 15 0 60938820 14316269568 50277 18446744073709551615 4194304 4196468 140734248992560 140570391399312 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20133] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20133/stat : 20133 (java) S 20128 20128 18930 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 60938820 14316269568 50277 18446744073709551615 4194304 4196468 140734248992560 140570390346512 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20134] ppid=20128 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/20130/task/20134/stat : 20134 (java) S 20128 20128 18930 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 15 0 60938820 14316269568 50277 18446744073709551615 4194304 4196468 140734248992560 140570389294224 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20135] ppid=20128 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/20130/task/20135/stat : 20135 (java) S 20128 20128 18930 0 -1 1077944384 80 0 0 0 2 0 0 0 20 0 15 0 60938820 14316269568 50277 18446744073709551615 4194304 4196468 140734248992560 140570068511760 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20136] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20136/stat : 20136 (java) S 20128 20128 18930 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 15 0 60938822 14316269568 50277 18446744073709551615 4194304 4196468 140734248992560 140569388742768 140570471996034 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20137] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20137/stat : 20137 (java) S 20128 20128 18930 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 60938822 14316269568 50277 18446744073709551615 4194304 4196468 140734248992560 140569387688736 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20138] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20138/stat : 20138 (java) S 20128 20128 18930 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 60938822 14316269568 50277 18446744073709551615 4194304 4196468 140734248992560 140569386636400 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20139] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20139/stat : 20139 (java) S 20128 20128 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938825 14316269568 50277 18446744073709551615 4194304 4196468 140734248992560 140569385584720 140570472003483 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20140] ppid=20128 vsize=13980732 CPUtime=0.96 cores=0,2,4,6
/proc/20130/task/20140/stat : 20140 (java) R 20128 20128 18930 0 -1 4202560 3666 0 0 0 96 0 0 0 20 0 15 0 60938825 14316269568 50277 18446744073709551615 4194304 4196468 140734248992560 140569384515552 140570453529075 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20141] ppid=20128 vsize=13980732 CPUtime=0.91 cores=0,2,4,6
/proc/20130/task/20141/stat : 20141 (java) R 20128 20128 18930 0 -1 4202560 3189 0 0 0 91 0 0 0 20 0 15 0 60938825 14316269568 50277 18446744073709551615 4194304 4196468 140734248992560 140569383463984 140570471996822 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20142] ppid=20128 vsize=13980732 CPUtime=0.45 cores=0,2,4,6
/proc/20130/task/20142/stat : 20142 (java) R 20128 20128 18930 0 -1 1077944384 2532 0 0 0 45 0 0 0 20 0 15 0 60938825 14316269568 50277 18446744073709551615 4194304 4196468 140734248992560 140569382423232 140570471995093 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20143] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20143/stat : 20143 (java) S 20128 20128 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938825 14316269568 50277 18446744073709551615 4194304 4196468 140734248992560 140568910883808 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20144] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20144/stat : 20144 (java) S 20128 20128 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938831 14316269568 50277 18446744073709551615 4194304 4196468 140734248992560 140568909830576 140570471996034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 13990244

[startup+3.10087 s]
/proc/loadavg: 1.59 1.75 1.49 3/214 20144
/proc/meminfo: memFree=31556008/32770624 swapFree=0/206332
[pid=20128] ppid=20125 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/20128/stat : 20128 (xcsp3-exec) S 20125 20128 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 60938809 9740288 344 18446744073709551615 4194304 5098028 140736007462096 140736007460200 140537524175484 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 7790592 140736007463322 140736007463526 140736007463526 140736007466987 0
/proc/20128/statm: 2378 344 289 221 0 87 0
[pid=20130] ppid=20128 vsize=13980732 CPUtime=7.08 cores=0,2,4,6
/proc/20130/stat : 20130 (java) S 20128 20128 18930 0 -1 1077944320 23346 0 0 0 699 9 0 0 20 0 15 0 60938819 14316269568 51952 18446744073709551615 4194304 4196468 140734248992560 140734248975104 140570471984887 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
/proc/20130/statm: 3495183 51952 3226 1 0 3483484 0
[pid=20130/tid=20131] ppid=20128 vsize=13980732 CPUtime=2.89 cores=0,2,4,6
/proc/20130/task/20131/stat : 20131 (java) R 20128 20128 18930 0 -1 4202560 9191 0 0 0 284 5 0 0 20 0 15 0 60938820 14316269568 51952 18446744073709551615 4194304 4196468 140734248992560 140570476222272 140570075665016 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20132] ppid=20128 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/20130/task/20132/stat : 20132 (java) S 20128 20128 18930 0 -1 1077944384 215 0 0 0 2 0 0 0 20 0 15 0 60938820 14316269568 51952 18446744073709551615 4194304 4196468 140734248992560 140570391399312 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20133] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20133/stat : 20133 (java) S 20128 20128 18930 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 60938820 14316269568 51952 18446744073709551615 4194304 4196468 140734248992560 140570390346512 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20134] ppid=20128 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/20130/task/20134/stat : 20134 (java) S 20128 20128 18930 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 15 0 60938820 14316269568 51952 18446744073709551615 4194304 4196468 140734248992560 140570389294224 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20135] ppid=20128 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/20130/task/20135/stat : 20135 (java) S 20128 20128 18930 0 -1 1077944384 80 0 0 0 2 0 0 0 20 0 15 0 60938820 14316269568 51952 18446744073709551615 4194304 4196468 140734248992560 140570068511760 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20136] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20136/stat : 20136 (java) S 20128 20128 18930 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 60938822 14316269568 51952 18446744073709551615 4194304 4196468 140734248992560 140569388742768 140570471996034 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20137] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20137/stat : 20137 (java) S 20128 20128 18930 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 60938822 14316269568 51952 18446744073709551615 4194304 4196468 140734248992560 140569387688736 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20138] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20138/stat : 20138 (java) S 20128 20128 18930 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 60938822 14316269568 51952 18446744073709551615 4194304 4196468 140734248992560 140569386636400 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20139] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20139/stat : 20139 (java) S 20128 20128 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938825 14316269568 51952 18446744073709551615 4194304 4196468 140734248992560 140569385584720 140570472003483 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20140] ppid=20128 vsize=13980732 CPUtime=1.74 cores=0,2,4,6
/proc/20130/task/20140/stat : 20140 (java) S 20128 20128 18930 0 -1 1077944384 4894 0 0 0 174 0 0 0 20 0 15 0 60938825 14316269568 51952 18446744073709551615 4194304 4196468 140734248992560 140569384532592 140570471996034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20141] ppid=20128 vsize=13980732 CPUtime=1.72 cores=0,2,4,6
/proc/20130/task/20141/stat : 20141 (java) R 20128 20128 18930 0 -1 4202560 4272 0 0 0 172 0 0 0 20 0 15 0 60938825 14316269568 51952 18446744073709551615 4194304 4196468 140734248992560 140569383466016 140570453506161 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20142] ppid=20128 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/20130/task/20142/stat : 20142 (java) S 20128 20128 18930 0 -1 1077944384 3055 0 0 0 59 1 0 0 20 0 15 0 60938825 14316269568 51952 18446744073709551615 4194304 4196468 140734248992560 140569382427504 140570471996034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20143] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20143/stat : 20143 (java) S 20128 20128 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938825 14316269568 51952 18446744073709551615 4194304 4196468 140734248992560 140568910883808 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20144] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20144/stat : 20144 (java) S 20128 20128 18930 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 60938831 14316269568 51952 18446744073709551615 4194304 4196468 140734248992560 140568909830576 140570471996034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
Current children cumulated CPU time (s) 7.08
Current children cumulated vsize (KiB) 13990244

[startup+6.30076 s]
/proc/loadavg: 1.70 1.77 1.50 3/214 20144
/proc/meminfo: memFree=31542600/32770624 swapFree=0/206344
[pid=20128] ppid=20125 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/20128/stat : 20128 (xcsp3-exec) S 20125 20128 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 60938809 9740288 344 18446744073709551615 4194304 5098028 140736007462096 140736007460200 140537524175484 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 7790592 140736007463322 140736007463526 140736007463526 140736007466987 0
/proc/20128/statm: 2378 344 289 221 0 87 0
[pid=20130] ppid=20128 vsize=13980732 CPUtime=10.66 cores=0,2,4,6
/proc/20130/stat : 20130 (java) S 20128 20128 18930 0 -1 1077944320 24358 0 0 0 1055 11 0 0 20 0 15 0 60938819 14316269568 54632 18446744073709551615 4194304 4196468 140734248992560 140734248975104 140570471984887 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
/proc/20130/statm: 3495183 54632 3232 1 0 3483484 0
[pid=20130/tid=20131] ppid=20128 vsize=13980732 CPUtime=6.08 cores=0,2,4,6
/proc/20130/task/20131/stat : 20131 (java) R 20128 20128 18930 0 -1 4202560 9239 0 0 0 603 5 0 0 20 0 15 0 60938820 14316269568 54632 18446744073709551615 4194304 4196468 140734248992560 140570476221824 140570075492327 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20132] ppid=20128 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/20130/task/20132/stat : 20132 (java) S 20128 20128 18930 0 -1 1077944384 266 0 0 0 3 0 0 0 20 0 15 0 60938820 14316269568 54632 18446744073709551615 4194304 4196468 140734248992560 140570391399312 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20133] ppid=20128 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/20130/task/20133/stat : 20133 (java) S 20128 20128 18930 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 15 0 60938820 14316269568 54632 18446744073709551615 4194304 4196468 140734248992560 140570390346512 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20134] ppid=20128 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/20130/task/20134/stat : 20134 (java) S 20128 20128 18930 0 -1 1077944384 130 0 0 0 3 0 0 0 20 0 15 0 60938820 14316269568 54632 18446744073709551615 4194304 4196468 140734248992560 140570389294224 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20135] ppid=20128 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/20130/task/20135/stat : 20135 (java) S 20128 20128 18930 0 -1 1077944384 623 0 0 0 3 0 0 0 20 0 15 0 60938820 14316269568 54632 18446744073709551615 4194304 4196468 140734248992560 140570068511760 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20136] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20136/stat : 20136 (java) S 20128 20128 18930 0 -1 1077944384 264 0 0 0 0 0 0 0 20 0 15 0 60938822 14316269568 54632 18446744073709551615 4194304 4196468 140734248992560 140569388742768 140570471996034 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20137] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20137/stat : 20137 (java) S 20128 20128 18930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 60938822 14316269568 54632 18446744073709551615 4194304 4196468 140734248992560 140569387688800 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20138] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20138/stat : 20138 (java) S 20128 20128 18930 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 60938822 14316269568 54632 18446744073709551615 4194304 4196468 140734248992560 140569386636416 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20139] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20139/stat : 20139 (java) S 20128 20128 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938825 14316269568 54632 18446744073709551615 4194304 4196468 140734248992560 140569385584720 140570472003483 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20140] ppid=20128 vsize=13980732 CPUtime=1.86 cores=0,2,4,6
/proc/20130/task/20140/stat : 20140 (java) S 20128 20128 18930 0 -1 1077944384 4940 0 0 0 185 1 0 0 20 0 15 0 60938825 14316269568 54632 18446744073709551615 4194304 4196468 140734248992560 140569384532592 140570471996034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20141] ppid=20128 vsize=13980732 CPUtime=1.93 cores=0,2,4,6
/proc/20130/task/20141/stat : 20141 (java) S 20128 20128 18930 0 -1 1077944384 4361 0 0 0 193 0 0 0 20 0 15 0 60938825 14316269568 54632 18446744073709551615 4194304 4196468 140734248992560 140569383479792 140570471996034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20142] ppid=20128 vsize=13980732 CPUtime=0.61 cores=0,2,4,6
/proc/20130/task/20142/stat : 20142 (java) S 20128 20128 18930 0 -1 1077944384 3083 0 0 0 60 1 0 0 20 0 15 0 60938825 14316269568 54632 18446744073709551615 4194304 4196468 140734248992560 140569382427504 140570471996034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20143] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20143/stat : 20143 (java) S 20128 20128 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938825 14316269568 54632 18446744073709551615 4194304 4196468 140734248992560 140568910883808 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20144] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20144/stat : 20144 (java) S 20128 20128 18930 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 60938831 14316269568 54632 18446744073709551615 4194304 4196468 140734248992560 140568909830576 140570471996034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
Current children cumulated CPU time (s) 10.66
Current children cumulated vsize (KiB) 13990244

[startup+12.7007 s]
/proc/loadavg: 1.72 1.77 1.50 3/214 20144
/proc/meminfo: memFree=31485796/32770624 swapFree=0/206344
[pid=20128] ppid=20125 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/20128/stat : 20128 (xcsp3-exec) S 20125 20128 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 60938809 9740288 344 18446744073709551615 4194304 5098028 140736007462096 140736007460200 140537524175484 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 7790592 140736007463322 140736007463526 140736007463526 140736007466987 0
/proc/20128/statm: 2378 344 289 221 0 87 0
[pid=20130] ppid=20128 vsize=13980732 CPUtime=17.22 cores=0,2,4,6
/proc/20130/stat : 20130 (java) S 20128 20128 18930 0 -1 1077944320 27066 0 0 0 1710 12 0 0 20 0 15 0 60938819 14316269568 68529 18446744073709551615 4194304 4196468 140734248992560 140734248975104 140570471984887 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
/proc/20130/statm: 3495183 68529 3234 1 0 3483484 0
[pid=20130/tid=20131] ppid=20128 vsize=13980732 CPUtime=12.47 cores=0,2,4,6
/proc/20130/task/20131/stat : 20131 (java) R 20128 20128 18930 0 -1 4202560 9832 0 0 0 1242 5 0 0 20 0 15 0 60938820 14316269568 68529 18446744073709551615 4194304 4196468 140734248992560 140570476223240 140570464805758 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20132] ppid=20128 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/20130/task/20132/stat : 20132 (java) S 20128 20128 18930 0 -1 1077944384 266 0 0 0 3 0 0 0 20 0 15 0 60938820 14316269568 68529 18446744073709551615 4194304 4196468 140734248992560 140570391399312 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20133] ppid=20128 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/20130/task/20133/stat : 20133 (java) S 20128 20128 18930 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 15 0 60938820 14316269568 68529 18446744073709551615 4194304 4196468 140734248992560 140570390346512 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0

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

[pid=20130/tid=20137] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20137/stat : 20137 (java) S 20128 20128 18930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 60938822 14316269568 91120 18446744073709551615 4194304 4196468 140734248992560 140569387688800 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20138] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20138/stat : 20138 (java) S 20128 20128 18930 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 60938822 14316269568 91120 18446744073709551615 4194304 4196468 140734248992560 140569386636416 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20139] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20139/stat : 20139 (java) S 20128 20128 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938825 14316269568 91120 18446744073709551615 4194304 4196468 140734248992560 140569385584720 140570472003483 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20140] ppid=20128 vsize=13980732 CPUtime=2.02 cores=0,2,4,6
/proc/20130/task/20140/stat : 20140 (java) S 20128 20128 18930 0 -1 1077944384 7498 0 0 0 201 1 0 0 20 0 15 0 60938825 14316269568 91120 18446744073709551615 4194304 4196468 140734248992560 140569384532592 140570471996034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20141] ppid=20128 vsize=13980732 CPUtime=2.04 cores=0,2,4,6
/proc/20130/task/20141/stat : 20141 (java) S 20128 20128 18930 0 -1 1077944384 6825 0 0 0 204 0 0 0 20 0 15 0 60938825 14316269568 91120 18446744073709551615 4194304 4196468 140734248992560 140569383479792 140570471996034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20142] ppid=20128 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/20130/task/20142/stat : 20142 (java) S 20128 20128 18930 0 -1 1077944384 5262 0 0 0 63 1 0 0 20 0 15 0 60938825 14316269568 91120 18446744073709551615 4194304 4196468 140734248992560 140569382427504 140570471996034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20143] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20143/stat : 20143 (java) S 20128 20128 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938825 14316269568 91120 18446744073709551615 4194304 4196468 140734248992560 140568910883808 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20144] ppid=20128 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/20130/task/20144/stat : 20144 (java) S 20128 20128 18930 0 -1 1077944384 197 0 0 0 1 2 0 0 20 0 15 0 60938831 14316269568 91120 18446744073709551615 4194304 4196468 140734248992560 140568909830576 140570471996034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
Current children cumulated CPU time (s) 107.21
Current children cumulated vsize (KiB) 13990244

[startup+162.301 s]
/proc/loadavg: 1.67 1.71 1.52 3/216 20151
/proc/meminfo: memFree=31379260/32770624 swapFree=0/206440
[pid=20128] ppid=20125 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/20128/stat : 20128 (xcsp3-exec) S 20125 20128 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 60938809 9740288 344 18446744073709551615 4194304 5098028 140736007462096 140736007460200 140537524175484 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 7790592 140736007463322 140736007463526 140736007463526 140736007466987 0
/proc/20128/statm: 2378 344 289 221 0 87 0
[pid=20130] ppid=20128 vsize=13980732 CPUtime=167.26 cores=0,2,4,6
/proc/20130/stat : 20130 (java) S 20128 20128 18930 0 -1 1077944320 41754 0 0 0 16696 30 0 0 20 0 15 0 60938819 14316269568 92746 18446744073709551615 4194304 4196468 140734248992560 140734248975104 140570471984887 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
/proc/20130/statm: 3495183 92746 3235 1 0 3483484 0
[pid=20130/tid=20131] ppid=20128 vsize=13980732 CPUtime=161.95 cores=0,2,4,6
/proc/20130/task/20131/stat : 20131 (java) R 20128 20128 18930 0 -1 4202560 12778 0 0 0 16188 7 0 0 20 0 15 0 60938820 14316269568 92746 18446744073709551615 4194304 4196468 140734248992560 140570476224368 140570075665408 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20132] ppid=20128 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/20130/task/20132/stat : 20132 (java) S 20128 20128 18930 0 -1 1077944384 653 0 0 0 8 4 0 0 20 0 15 0 60938820 14316269568 92746 18446744073709551615 4194304 4196468 140734248992560 140570391399312 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20133] ppid=20128 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/20130/task/20133/stat : 20133 (java) S 20128 20128 18930 0 -1 1077944384 1227 0 0 0 6 4 0 0 20 0 15 0 60938820 14316269568 92746 18446744073709551615 4194304 4196468 140734248992560 140570390346512 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20134] ppid=20128 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/20130/task/20134/stat : 20134 (java) S 20128 20128 18930 0 -1 1077944384 958 0 0 0 8 4 0 0 20 0 15 0 60938820 14316269568 92746 18446744073709551615 4194304 4196468 140734248992560 140570389294224 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20135] ppid=20128 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/20130/task/20135/stat : 20135 (java) S 20128 20128 18930 0 -1 1077944384 2673 0 0 0 8 4 0 0 20 0 15 0 60938820 14316269568 92746 18446744073709551615 4194304 4196468 140734248992560 140570068511760 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20136] ppid=20128 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/20130/task/20136/stat : 20136 (java) S 20128 20128 18930 0 -1 1077944384 1483 0 0 0 2 0 0 0 20 0 15 0 60938822 14316269568 92746 18446744073709551615 4194304 4196468 140734248992560 140569388742768 140570471996034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20137] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20137/stat : 20137 (java) S 20128 20128 18930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 60938822 14316269568 92746 18446744073709551615 4194304 4196468 140734248992560 140569387688800 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20138] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20138/stat : 20138 (java) S 20128 20128 18930 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 60938822 14316269568 92746 18446744073709551615 4194304 4196468 140734248992560 140569386636416 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20139] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20139/stat : 20139 (java) S 20128 20128 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938825 14316269568 92746 18446744073709551615 4194304 4196468 140734248992560 140569385584720 140570472003483 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20140] ppid=20128 vsize=13980732 CPUtime=2.02 cores=0,2,4,6
/proc/20130/task/20140/stat : 20140 (java) S 20128 20128 18930 0 -1 1077944384 8075 0 0 0 201 1 0 0 20 0 15 0 60938825 14316269568 92746 18446744073709551615 4194304 4196468 140734248992560 140569384532592 140570471996034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20141] ppid=20128 vsize=13980732 CPUtime=2.04 cores=0,2,4,6
/proc/20130/task/20141/stat : 20141 (java) S 20128 20128 18930 0 -1 1077944384 6827 0 0 0 204 0 0 0 20 0 15 0 60938825 14316269568 92746 18446744073709551615 4194304 4196468 140734248992560 140569383479792 140570471996034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20142] ppid=20128 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/20130/task/20142/stat : 20142 (java) S 20128 20128 18930 0 -1 1077944384 5514 0 0 0 63 1 0 0 20 0 15 0 60938825 14316269568 92746 18446744073709551615 4194304 4196468 140734248992560 140569382427504 140570471996034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20143] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20143/stat : 20143 (java) S 20128 20128 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938825 14316269568 92746 18446744073709551615 4194304 4196468 140734248992560 140568910883808 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20144] ppid=20128 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/20130/task/20144/stat : 20144 (java) S 20128 20128 18930 0 -1 1077944384 215 0 0 0 2 3 0 0 20 0 15 0 60938831 14316269568 92746 18446744073709551615 4194304 4196468 140734248992560 140568909830576 140570471996034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
Current children cumulated CPU time (s) 167.26
Current children cumulated vsize (KiB) 13990244

[startup+222.307 s]
/proc/loadavg: 1.54 1.66 1.51 3/216 20159
/proc/meminfo: memFree=31318184/32770624 swapFree=0/206484
[pid=20128] ppid=20125 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/20128/stat : 20128 (xcsp3-exec) S 20125 20128 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 60938809 9740288 344 18446744073709551615 4194304 5098028 140736007462096 140736007460200 140537524175484 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 7790592 140736007463322 140736007463526 140736007463526 140736007466987 0
/proc/20128/statm: 2378 344 289 221 0 87 0
[pid=20130] ppid=20128 vsize=13980732 CPUtime=227.48 cores=0,2,4,6
/proc/20130/stat : 20130 (java) S 20128 20128 18930 0 -1 1077944320 46102 0 0 0 22715 33 0 0 20 0 15 0 60938819 14316269568 92239 18446744073709551615 4194304 4196468 140734248992560 140734248975104 140570471984887 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
/proc/20130/statm: 3495183 92239 3235 1 0 3483484 0
[pid=20130/tid=20131] ppid=20128 vsize=13980732 CPUtime=221.92 cores=0,2,4,6
/proc/20130/task/20131/stat : 20131 (java) R 20128 20128 18930 0 -1 4202560 13085 0 0 0 22185 7 0 0 20 0 15 0 60938820 14316269568 92239 18446744073709551615 4194304 4196468 140734248992560 140570476224592 140570075631243 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20132] ppid=20128 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/20130/task/20132/stat : 20132 (java) S 20128 20128 18930 0 -1 1077944384 697 0 0 0 9 4 0 0 20 0 15 0 60938820 14316269568 92239 18446744073709551615 4194304 4196468 140734248992560 140570391399312 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20133] ppid=20128 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/20130/task/20133/stat : 20133 (java) S 20128 20128 18930 0 -1 1077944384 1500 0 0 0 7 5 0 0 20 0 15 0 60938820 14316269568 92239 18446744073709551615 4194304 4196468 140734248992560 140570390346512 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20134] ppid=20128 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/20130/task/20134/stat : 20134 (java) S 20128 20128 18930 0 -1 1077944384 994 0 0 0 9 4 0 0 20 0 15 0 60938820 14316269568 92239 18446744073709551615 4194304 4196468 140734248992560 140570389294224 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20135] ppid=20128 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/20130/task/20135/stat : 20135 (java) S 20128 20128 18930 0 -1 1077944384 2695 0 0 0 8 5 0 0 20 0 15 0 60938820 14316269568 92239 18446744073709551615 4194304 4196468 140734248992560 140570068511760 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20136] ppid=20128 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/20130/task/20136/stat : 20136 (java) S 20128 20128 18930 0 -1 1077944384 1511 0 0 0 3 0 0 0 20 0 15 0 60938822 14316269568 92239 18446744073709551615 4194304 4196468 140734248992560 140569388742768 140570471996034 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20137] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20137/stat : 20137 (java) S 20128 20128 18930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 60938822 14316269568 92239 18446744073709551615 4194304 4196468 140734248992560 140569387688800 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20138] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20138/stat : 20138 (java) S 20128 20128 18930 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 60938822 14316269568 92239 18446744073709551615 4194304 4196468 140734248992560 140569386636416 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20139] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20139/stat : 20139 (java) S 20128 20128 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938825 14316269568 92239 18446744073709551615 4194304 4196468 140734248992560 140569385584720 140570472003483 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20140] ppid=20128 vsize=13980732 CPUtime=2.09 cores=0,2,4,6
/proc/20130/task/20140/stat : 20140 (java) S 20128 20128 18930 0 -1 1077944384 9351 0 0 0 208 1 0 0 20 0 15 0 60938825 14316269568 92239 18446744073709551615 4194304 4196468 140734248992560 140569384532592 140570471996034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20141] ppid=20128 vsize=13980732 CPUtime=2.12 cores=0,2,4,6
/proc/20130/task/20141/stat : 20141 (java) S 20128 20128 18930 0 -1 1077944384 8279 0 0 0 212 0 0 0 20 0 15 0 60938825 14316269568 92239 18446744073709551615 4194304 4196468 140734248992560 140569383479792 140570471996034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20142] ppid=20128 vsize=13980732 CPUtime=0.65 cores=0,2,4,6
/proc/20130/task/20142/stat : 20142 (java) S 20128 20128 18930 0 -1 1077944384 6418 0 0 0 64 1 0 0 20 0 15 0 60938825 14316269568 92239 18446744073709551615 4194304 4196468 140734248992560 140569382427504 140570471996034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20143] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20143/stat : 20143 (java) S 20128 20128 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938825 14316269568 92239 18446744073709551615 4194304 4196468 140734248992560 140568910883808 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20144] ppid=20128 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/20130/task/20144/stat : 20144 (java) S 20128 20128 18930 0 -1 1077944384 221 0 0 0 3 3 0 0 20 0 15 0 60938831 14316269568 92239 18446744073709551615 4194304 4196468 140734248992560 140568909830576 140570471996034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
Current children cumulated CPU time (s) 227.48
Current children cumulated vsize (KiB) 13990244



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.59 1.67 1.51 3/216 20238
/proc/meminfo: memFree=31457664/32770624 swapFree=0/206516
[pid=20128] ppid=20125 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/20128/stat : 20128 (xcsp3-exec) S 20125 20128 18930 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 60938809 9740288 344 18446744073709551615 4194304 5098028 140736007462096 140736007460200 140537524175484 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 10 0 0 7196144 7232144 7790592 140736007463322 140736007463526 140736007463526 140736007466987 0
/proc/20128/statm: 2378 344 289 221 0 87 0
[pid=20130] ppid=20128 vsize=13980732 CPUtime=245.2 cores=0,2,4,6
/proc/20130/stat : 20130 (java) S 20128 20128 18930 0 -1 1077944320 46385 0 0 0 24486 34 0 0 20 0 15 0 60938819 14316269568 92111 18446744073709551615 4194304 4196468 140734248992560 140734248975104 140570471984887 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
/proc/20130/statm: 3495183 92111 3235 1 0 3483484 0
[pid=20130/tid=20131] ppid=20128 vsize=13980732 CPUtime=239.61 cores=0,2,4,6
/proc/20130/task/20131/stat : 20131 (java) R 20128 20128 18930 0 -1 4202560 13121 0 0 0 23954 7 0 0 20 0 15 0 60938820 14316269568 92111 18446744073709551615 4194304 4196468 140734248992560 140570476224368 140570075492322 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20132] ppid=20128 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/20130/task/20132/stat : 20132 (java) S 20128 20128 18930 0 -1 1077944384 698 0 0 0 9 4 0 0 20 0 15 0 60938820 14316269568 92111 18446744073709551615 4194304 4196468 140734248992560 140570391399312 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20133] ppid=20128 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/20130/task/20133/stat : 20133 (java) S 20128 20128 18930 0 -1 1077944384 1502 0 0 0 7 5 0 0 20 0 15 0 60938820 14316269568 92111 18446744073709551615 4194304 4196468 140734248992560 140570390346512 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20134] ppid=20128 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/20130/task/20134/stat : 20134 (java) S 20128 20128 18930 0 -1 1077944384 997 0 0 0 9 4 0 0 20 0 15 0 60938820 14316269568 92111 18446744073709551615 4194304 4196468 140734248992560 140570389294224 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20135] ppid=20128 vsize=13980732 CPUtime=0.14 cores=0,2,4,6
/proc/20130/task/20135/stat : 20135 (java) S 20128 20128 18930 0 -1 1077944384 2698 0 0 0 9 5 0 0 20 0 15 0 60938820 14316269568 92111 18446744073709551615 4194304 4196468 140734248992560 140570068511760 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20136] ppid=20128 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/20130/task/20136/stat : 20136 (java) S 20128 20128 18930 0 -1 1077944384 1514 0 0 0 3 1 0 0 20 0 15 0 60938822 14316269568 92111 18446744073709551615 4194304 4196468 140734248992560 140569388742768 140570471996034 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20137] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20137/stat : 20137 (java) S 20128 20128 18930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 60938822 14316269568 92111 18446744073709551615 4194304 4196468 140734248992560 140569387688800 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20138] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20138/stat : 20138 (java) S 20128 20128 18930 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 60938822 14316269568 92111 18446744073709551615 4194304 4196468 140734248992560 140569386636416 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20139] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20139/stat : 20139 (java) S 20128 20128 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938825 14316269568 92111 18446744073709551615 4194304 4196468 140734248992560 140569385584720 140570472003483 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20140] ppid=20128 vsize=13980732 CPUtime=2.09 cores=0,2,4,6
/proc/20130/task/20140/stat : 20140 (java) S 20128 20128 18930 0 -1 1077944384 9351 0 0 0 208 1 0 0 20 0 15 0 60938825 14316269568 92111 18446744073709551615 4194304 4196468 140734248992560 140569384532592 140570471996034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20141] ppid=20128 vsize=13980732 CPUtime=2.12 cores=0,2,4,6
/proc/20130/task/20141/stat : 20141 (java) S 20128 20128 18930 0 -1 1077944384 8279 0 0 0 212 0 0 0 20 0 15 0 60938825 14316269568 92111 18446744073709551615 4194304 4196468 140734248992560 140569383479792 140570471996034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20142] ppid=20128 vsize=13980732 CPUtime=0.66 cores=0,2,4,6
/proc/20130/task/20142/stat : 20142 (java) S 20128 20128 18930 0 -1 1077944384 6653 0 0 0 65 1 0 0 20 0 15 0 60938825 14316269568 92111 18446744073709551615 4194304 4196468 140734248992560 140569382427504 140570471996034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20143] ppid=20128 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/20130/task/20143/stat : 20143 (java) S 20128 20128 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60938825 14316269568 92111 18446744073709551615 4194304 4196468 140734248992560 140568910883808 140570471995093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
[pid=20130/tid=20144] ppid=20128 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/20130/task/20144/stat : 20144 (java) S 20128 20128 18930 0 -1 1077944384 221 0 0 0 3 4 0 0 20 0 15 0 60938831 14316269568 92111 18446744073709551615 4194304 4196468 140734248992560 140568909830576 140570471996034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16007168 140734249001427 140734249001602 140734249001602 140734249005007 0
Current children cumulated CPU time (s) 245.2
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 20130 sig 9
??? kill 20128 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 20128 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=923
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=923
# CPU time returned by wait4() is 0.001846
# while last known CPU time is 245.2
#
# 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): 245.2
CPU user time (s): 244.86
CPU system time (s): 0.34
CPU usage (%): 102.162
Max. virtual memory (cumulated for all children) (KiB): 13990244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000923
system time used= 0.000923
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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 0.985828 second user time and 1.528 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 4254055

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
