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)	62	250.34	240.024
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-4255047-1501619408/watcher-4255047-1501619408 -o /tmp/evaluation-result-4255047-1501619408/solver-4255047-1501619408 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501617097-24795 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 388786002 HOME/instance-4255047-1501619408.xml 

pid=25954
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.54 1.74 1.82 2/200 25957
/proc/meminfo: memFree=31717040/32770624 swapFree=0/213416
[pid=25957] ppid=25954 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/25957/stat : 25957 (runsolver) D 25954 25957 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 61594290 24240128 106 18446744073709551615 4194304 4338465 140733217330832 140733217328472 140238414365399 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 28643328 140733217333340 140733217333829 140733217333829 140733217337290 0
/proc/25957/statm: 5918 106 53 36 0 2156 0

[startup+0.106465 s]
/proc/loadavg: 1.54 1.74 1.82 2/200 25957
/proc/meminfo: memFree=31717040/32770624 swapFree=0/213416
[pid=25957] ppid=25954 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/25957/stat : 25957 (xcsp3-exec) S 25954 25957 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61594290 9740288 345 18446744073709551615 4194304 5098028 140722787630752 140722787628856 140303846519420 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 17100800 140722787635611 140722787635814 140722787635814 140722787639275 0
/proc/25957/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200209 s]
/proc/loadavg: 1.54 1.74 1.82 2/200 25957
/proc/meminfo: memFree=31717040/32770624 swapFree=0/213416
[pid=25957] ppid=25954 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/25957/stat : 25957 (xcsp3-exec) S 25954 25957 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61594290 9740288 345 18446744073709551615 4194304 5098028 140722787630752 140722787628856 140303846519420 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 17100800 140722787635611 140722787635814 140722787635814 140722787639275 0
/proc/25957/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300623 s]
/proc/loadavg: 1.54 1.74 1.82 2/200 25957
/proc/meminfo: memFree=31717040/32770624 swapFree=0/213416
[pid=25957] ppid=25954 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/25957/stat : 25957 (xcsp3-exec) S 25954 25957 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61594290 9740288 345 18446744073709551615 4194304 5098028 140722787630752 140722787628856 140303846519420 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 17100800 140722787635611 140722787635814 140722787635814 140722787639275 0
/proc/25957/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.701672 s]
/proc/loadavg: 1.54 1.74 1.82 2/200 25957
/proc/meminfo: memFree=31717040/32770624 swapFree=0/213416
[pid=25957] ppid=25954 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/25957/stat : 25957 (xcsp3-exec) S 25954 25957 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61594290 9740288 345 18446744073709551615 4194304 5098028 140722787630752 140722787628856 140303846519420 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 17100800 140722787635611 140722787635814 140722787635814 140722787639275 0
/proc/25957/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.51107 s]
/proc/loadavg: 1.66 1.76 1.83 5/216 25973
/proc/meminfo: memFree=31505676/32770624 swapFree=0/213460
[pid=25957] ppid=25954 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/25957/stat : 25957 (xcsp3-exec) S 25954 25957 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61594290 9740288 345 18446744073709551615 4194304 5098028 140722787630752 140722787628856 140303846519420 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 17100800 140722787635611 140722787635814 140722787635814 140722787639275 0
/proc/25957/statm: 2378 345 289 221 0 87 0
[pid=25959] ppid=25957 vsize=13980732 CPUtime=3.94 cores=1,3,5,7
/proc/25959/stat : 25959 (java) S 25957 25957 18930 0 -1 1077944320 18707 0 0 0 382 12 0 0 20 0 15 0 61594295 14316269568 61777 18446744073709551615 4194304 4196468 140735411425376 140735411407920 140498713100023 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
/proc/25959/statm: 3495183 61777 3200 1 0 3483484 0
[pid=25959/tid=25960] ppid=25957 vsize=13980732 CPUtime=1.34 cores=1,3,5,7
/proc/25959/task/25960/stat : 25960 (java) R 25957 25957 18930 0 -1 4202560 8468 0 0 0 129 5 0 0 20 0 15 0 61594295 14316269568 61777 18446744073709551615 4194304 4196468 140735411425376 140498717333408 140498333711112 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25961] ppid=25957 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/25959/task/25961/stat : 25961 (java) S 25957 25957 18930 0 -1 1077944384 97 0 0 0 3 1 0 0 20 0 15 0 61594296 14316269568 61777 18446744073709551615 4194304 4196468 140735411425376 140498655045904 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25962] ppid=25957 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/25959/task/25962/stat : 25962 (java) S 25957 25957 18930 0 -1 1077944384 84 0 0 0 2 1 0 0 20 0 15 0 61594296 14316269568 61777 18446744073709551615 4194304 4196468 140735411425376 140498653993360 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25963] ppid=25957 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/25959/task/25963/stat : 25963 (java) S 25957 25957 18930 0 -1 1077944384 49 0 0 0 3 1 0 0 20 0 15 0 61594296 14316269568 61777 18446744073709551615 4194304 4196468 140735411425376 140498652940816 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25964] ppid=25957 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/25959/task/25964/stat : 25964 (java) S 25957 25957 18930 0 -1 1077944384 135 0 0 0 3 1 0 0 20 0 15 0 61594296 14316269568 61777 18446744073709551615 4194304 4196468 140735411425376 140498651888272 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25965] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25965/stat : 25965 (java) S 25957 25957 18930 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 61594297 14316269568 61777 18446744073709551615 4194304 4196468 140735411425376 140498258741744 140498713111170 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25966] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25966/stat : 25966 (java) S 25957 25957 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 61594298 14316269568 61777 18446744073709551615 4194304 4196468 140735411425376 140498257687968 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25967] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25967/stat : 25967 (java) S 25957 25957 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61594298 14316269568 61777 18446744073709551615 4194304 4196468 140735411425376 140498256635376 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25968] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25968/stat : 25968 (java) S 25957 25957 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61594300 14316269568 61777 18446744073709551615 4194304 4196468 140735411425376 140498255583952 140498713118619 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25969] ppid=25957 vsize=13980732 CPUtime=0.98 cores=1,3,5,7
/proc/25959/task/25969/stat : 25969 (java) R 25957 25957 18930 0 -1 4202560 3427 0 0 0 98 0 0 0 20 0 15 0 61594300 14316269568 61777 18446744073709551615 4194304 4196468 140735411425376 140498254515056 140498696484816 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25970] ppid=25957 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/25959/task/25970/stat : 25970 (java) R 25957 25957 18930 0 -1 4202560 3161 0 0 0 97 0 0 0 20 0 15 0 61594300 14316269568 61777 18446744073709551615 4194304 4196468 140735411425376 140498253464464 140498693800638 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25971] ppid=25957 vsize=13980732 CPUtime=0.42 cores=1,3,5,7
/proc/25959/task/25971/stat : 25971 (java) S 25957 25957 18930 0 -1 1077944384 1907 0 0 0 42 0 0 0 20 0 15 0 61594301 14316269568 61777 18446744073709551615 4194304 4196468 140735411425376 140498252425456 140498713111170 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25972] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25972/stat : 25972 (java) S 25957 25957 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61594301 14316269568 61777 18446744073709551615 4194304 4196468 140735411425376 140498251373152 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25973] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25973/stat : 25973 (java) S 25957 25957 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61594306 14316269568 61777 18446744073709551615 4194304 4196468 140735411425376 140498250320688 140498713111170 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 13990244

[startup+3.10111 s]
/proc/loadavg: 1.66 1.76 1.83 4/216 25973
/proc/meminfo: memFree=31325344/32770624 swapFree=0/213460
[pid=25957] ppid=25954 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/25957/stat : 25957 (xcsp3-exec) S 25954 25957 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61594290 9740288 345 18446744073709551615 4194304 5098028 140722787630752 140722787628856 140303846519420 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 17100800 140722787635611 140722787635814 140722787635814 140722787639275 0
/proc/25957/statm: 2378 345 289 221 0 87 0
[pid=25959] ppid=25957 vsize=13980732 CPUtime=7.72 cores=1,3,5,7
/proc/25959/stat : 25959 (java) S 25957 25957 18930 0 -1 1077944320 21161 0 0 0 752 20 0 0 20 0 15 0 61594295 14316269568 100435 18446744073709551615 4194304 4196468 140735411425376 140735411407920 140498713100023 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
/proc/25959/statm: 3495183 100435 3230 1 0 3483484 0
[pid=25959/tid=25960] ppid=25957 vsize=13980732 CPUtime=2.87 cores=1,3,5,7
/proc/25959/task/25960/stat : 25960 (java) R 25957 25957 18930 0 -1 4202560 8918 0 0 0 281 6 0 0 20 0 15 0 61594295 14316269568 100435 18446744073709551615 4194304 4196468 140735411425376 140498717339144 140498337185212 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25961] ppid=25957 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/25959/task/25961/stat : 25961 (java) S 25957 25957 18930 0 -1 1077944384 117 0 0 0 6 2 0 0 20 0 15 0 61594296 14316269568 100435 18446744073709551615 4194304 4196468 140735411425376 140498655045904 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25962] ppid=25957 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/25959/task/25962/stat : 25962 (java) S 25957 25957 18930 0 -1 1077944384 104 0 0 0 5 2 0 0 20 0 15 0 61594296 14316269568 100435 18446744073709551615 4194304 4196468 140735411425376 140498653993360 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25963] ppid=25957 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/25959/task/25963/stat : 25963 (java) S 25957 25957 18930 0 -1 1077944384 92 0 0 0 6 2 0 0 20 0 15 0 61594296 14316269568 100435 18446744073709551615 4194304 4196468 140735411425376 140498652940816 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25964] ppid=25957 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/25959/task/25964/stat : 25964 (java) S 25957 25957 18930 0 -1 1077944384 154 0 0 0 6 2 0 0 20 0 15 0 61594296 14316269568 100435 18446744073709551615 4194304 4196468 140735411425376 140498651888272 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25965] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25965/stat : 25965 (java) S 25957 25957 18930 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 61594297 14316269568 100435 18446744073709551615 4194304 4196468 140735411425376 140498258741744 140498713111170 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25966] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25966/stat : 25966 (java) S 25957 25957 18930 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 61594298 14316269568 100435 18446744073709551615 4194304 4196468 140735411425376 140498257688032 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25967] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25967/stat : 25967 (java) S 25957 25957 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61594298 14316269568 100435 18446744073709551615 4194304 4196468 140735411425376 140498256635392 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25968] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25968/stat : 25968 (java) S 25957 25957 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61594300 14316269568 100435 18446744073709551615 4194304 4196468 140735411425376 140498255583952 140498713118619 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25969] ppid=25957 vsize=13980732 CPUtime=1.88 cores=1,3,5,7
/proc/25959/task/25969/stat : 25969 (java) R 25957 25957 18930 0 -1 4202560 3622 0 0 0 188 0 0 0 20 0 15 0 61594300 14316269568 100435 18446744073709551615 4194304 4196468 140735411425376 140498254516976 140498696598864 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25970] ppid=25957 vsize=13980732 CPUtime=1.88 cores=1,3,5,7
/proc/25959/task/25970/stat : 25970 (java) R 25957 25957 18930 0 -1 4202560 4230 0 0 0 187 1 0 0 20 0 15 0 61594300 14316269568 100435 18446744073709551615 4194304 4196468 140735411425376 140498253469328 140498694627112 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25971] ppid=25957 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/25959/task/25971/stat : 25971 (java) S 25957 25957 18930 0 -1 1077944384 2418 0 0 0 68 0 0 0 20 0 15 0 61594301 14316269568 100435 18446744073709551615 4194304 4196468 140735411425376 140498252425456 140498713111170 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25972] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25972/stat : 25972 (java) S 25957 25957 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61594301 14316269568 100435 18446744073709551615 4194304 4196468 140735411425376 140498251373152 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25973] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25973/stat : 25973 (java) S 25957 25957 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 61594306 14316269568 100435 18446744073709551615 4194304 4196468 140735411425376 140498250320688 140498713111170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
Current children cumulated CPU time (s) 7.72
Current children cumulated vsize (KiB) 13990244

[startup+6.30069 s]
/proc/loadavg: 1.93 1.81 1.84 3/216 25973
/proc/meminfo: memFree=31271904/32770624 swapFree=0/213468
[pid=25957] ppid=25954 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/25957/stat : 25957 (xcsp3-exec) S 25954 25957 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61594290 9740288 345 18446744073709551615 4194304 5098028 140722787630752 140722787628856 140303846519420 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 17100800 140722787635611 140722787635814 140722787635814 140722787639275 0
/proc/25957/statm: 2378 345 289 221 0 87 0
[pid=25959] ppid=25957 vsize=13980732 CPUtime=13.72 cores=1,3,5,7
/proc/25959/stat : 25959 (java) S 25957 25957 18930 0 -1 1077944320 31859 0 0 0 1346 26 0 0 20 0 15 0 61594295 14316269568 112650 18446744073709551615 4194304 4196468 140735411425376 140735411407920 140498713100023 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
/proc/25959/statm: 3495183 112650 3233 1 0 3483484 0
[pid=25959/tid=25960] ppid=25957 vsize=13980732 CPUtime=6.03 cores=1,3,5,7
/proc/25959/task/25960/stat : 25960 (java) R 25957 25957 18930 0 -1 4202560 10325 0 0 0 596 7 0 0 20 0 15 0 61594295 14316269568 112650 18446744073709551615 4194304 4196468 140735411425376 140498717336448 140498339006094 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25961] ppid=25957 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/25959/task/25961/stat : 25961 (java) S 25957 25957 18930 0 -1 1077944384 211 0 0 0 10 3 0 0 20 0 15 0 61594296 14316269568 112650 18446744073709551615 4194304 4196468 140735411425376 140498655045904 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25962] ppid=25957 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/25959/task/25962/stat : 25962 (java) S 25957 25957 18930 0 -1 1077944384 229 0 0 0 9 3 0 0 20 0 15 0 61594296 14316269568 112650 18446744073709551615 4194304 4196468 140735411425376 140498653993360 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25963] ppid=25957 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/25959/task/25963/stat : 25963 (java) S 25957 25957 18930 0 -1 1077944384 389 0 0 0 10 3 0 0 20 0 15 0 61594296 14316269568 112650 18446744073709551615 4194304 4196468 140735411425376 140498652940816 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25964] ppid=25957 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/25959/task/25964/stat : 25964 (java) S 25957 25957 18930 0 -1 1077944384 1060 0 0 0 10 3 0 0 20 0 15 0 61594296 14316269568 112650 18446744073709551615 4194304 4196468 140735411425376 140498651888272 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25965] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25965/stat : 25965 (java) S 25957 25957 18930 0 -1 1077944384 360 0 0 0 0 0 0 0 20 0 15 0 61594297 14316269568 112650 18446744073709551615 4194304 4196468 140735411425376 140498258741744 140498713111170 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25966] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25966/stat : 25966 (java) S 25957 25957 18930 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 61594298 14316269568 112650 18446744073709551615 4194304 4196468 140735411425376 140498257688032 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25967] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25967/stat : 25967 (java) S 25957 25957 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61594298 14316269568 112650 18446744073709551615 4194304 4196468 140735411425376 140498256635392 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25968] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25968/stat : 25968 (java) S 25957 25957 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61594300 14316269568 112650 18446744073709551615 4194304 4196468 140735411425376 140498255583952 140498713118619 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25969] ppid=25957 vsize=13980732 CPUtime=3.2 cores=1,3,5,7
/proc/25959/task/25969/stat : 25969 (java) S 25957 25957 18930 0 -1 1077944384 7484 0 0 0 319 1 0 0 20 0 15 0 61594300 14316269568 112650 18446744073709551615 4194304 4196468 140735411425376 140498254530544 140498713111170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25970] ppid=25957 vsize=13980732 CPUtime=3.07 cores=1,3,5,7
/proc/25959/task/25970/stat : 25970 (java) S 25957 25957 18930 0 -1 1077944384 7341 0 0 0 306 1 0 0 20 0 15 0 61594300 14316269568 112650 18446744073709551615 4194304 4196468 140735411425376 140498253478000 140498713111170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25971] ppid=25957 vsize=13980732 CPUtime=0.84 cores=1,3,5,7
/proc/25959/task/25971/stat : 25971 (java) S 25957 25957 18930 0 -1 1077944384 3056 0 0 0 83 1 0 0 20 0 15 0 61594301 14316269568 112650 18446744073709551615 4194304 4196468 140735411425376 140498252425456 140498713111170 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25972] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25972/stat : 25972 (java) S 25957 25957 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61594301 14316269568 112650 18446744073709551615 4194304 4196468 140735411425376 140498251373152 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25973] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25973/stat : 25973 (java) S 25957 25957 18930 0 -1 1077944384 108 0 0 0 0 0 0 0 20 0 15 0 61594306 14316269568 112650 18446744073709551615 4194304 4196468 140735411425376 140498250320688 140498713111170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
Current children cumulated CPU time (s) 13.72
Current children cumulated vsize (KiB) 13990244

[startup+12.7007 s]
/proc/loadavg: 1.93 1.82 1.84 4/216 25973
/proc/meminfo: memFree=31262836/32770624 swapFree=0/213480
[pid=25957] ppid=25954 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/25957/stat : 25957 (xcsp3-exec) S 25954 25957 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61594290 9740288 345 18446744073709551615 4194304 5098028 140722787630752 140722787628856 140303846519420 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 17100800 140722787635611 140722787635814 140722787635814 140722787639275 0
/proc/25957/statm: 2378 345 289 221 0 87 0
[pid=25959] ppid=25957 vsize=13980732 CPUtime=21.05 cores=1,3,5,7
/proc/25959/stat : 25959 (java) S 25957 25957 18930 0 -1 1077944320 32770 0 0 0 2078 27 0 0 20 0 15 0 61594295 14316269568 112790 18446744073709551615 4194304 4196468 140735411425376 140735411407920 140498713100023 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
/proc/25959/statm: 3495183 112790 3237 1 0 3483484 0
[pid=25959/tid=25960] ppid=25957 vsize=13980732 CPUtime=12.42 cores=1,3,5,7
/proc/25959/task/25960/stat : 25960 (java) R 25957 25957 18930 0 -1 4202560 10460 0 0 0 1235 7 0 0 20 0 15 0 61594295 14316269568 112790 18446744073709551615 4194304 4196468 140735411425376 140498717336064 140498337900801 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25961] ppid=25957 vsize=13980732 CPUtime=0.13 cores=1,3,5,7
/proc/25959/task/25961/stat : 25961 (java) S 25957 25957 18930 0 -1 1077944384 211 0 0 0 10 3 0 0 20 0 15 0 61594296 14316269568 112790 18446744073709551615 4194304 4196468 140735411425376 140498655045904 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25962] ppid=25957 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/25959/task/25962/stat : 25962 (java) S 25957 25957 18930 0 -1 1077944384 229 0 0 0 9 3 0 0 20 0 15 0 61594296 14316269568 112790 18446744073709551615 4194304 4196468 140735411425376 140498653993360 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0

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

[pid=25959/tid=25966] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25966/stat : 25966 (java) S 25957 25957 18930 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 61594298 14316269568 367111 18446744073709551615 4194304 4196468 140735411425376 140498257688032 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25967] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25967/stat : 25967 (java) S 25957 25957 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61594298 14316269568 367111 18446744073709551615 4194304 4196468 140735411425376 140498256635392 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25968] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25968/stat : 25968 (java) S 25957 25957 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61594300 14316269568 367111 18446744073709551615 4194304 4196468 140735411425376 140498255583952 140498713118619 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25969] ppid=25957 vsize=13980732 CPUtime=4.15 cores=1,3,5,7
/proc/25959/task/25969/stat : 25969 (java) S 25957 25957 18930 0 -1 1077944384 14466 0 0 0 414 1 0 0 20 0 15 0 61594300 14316269568 367111 18446744073709551615 4194304 4196468 140735411425376 140498254530544 140498713111170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25970] ppid=25957 vsize=13980732 CPUtime=4.14 cores=1,3,5,7
/proc/25959/task/25970/stat : 25970 (java) S 25957 25957 18930 0 -1 1077944384 16496 0 0 0 412 2 0 0 20 0 15 0 61594300 14316269568 367111 18446744073709551615 4194304 4196468 140735411425376 140498253478000 140498713111170 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25971] ppid=25957 vsize=13980732 CPUtime=0.91 cores=1,3,5,7
/proc/25959/task/25971/stat : 25971 (java) S 25957 25957 18930 0 -1 1077944384 5654 0 0 0 90 1 0 0 20 0 15 0 61594301 14316269568 367111 18446744073709551615 4194304 4196468 140735411425376 140498252425456 140498713111170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25972] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25972/stat : 25972 (java) S 25957 25957 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61594301 14316269568 367111 18446744073709551615 4194304 4196468 140735411425376 140498251373152 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25973] ppid=25957 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/25959/task/25973/stat : 25973 (java) S 25957 25957 18930 0 -1 1077944384 258 0 0 0 2 3 0 0 20 0 15 0 61594306 14316269568 367111 18446744073709551615 4194304 4196468 140735411425376 140498250320688 140498713111170 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
Current children cumulated CPU time (s) 112.22
Current children cumulated vsize (KiB) 13990244

[startup+162.301 s]
/proc/loadavg: 1.91 1.86 1.86 3/214 25999
/proc/meminfo: memFree=29437688/32770624 swapFree=0/213568
[pid=25957] ppid=25954 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/25957/stat : 25957 (xcsp3-exec) S 25954 25957 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61594290 9740288 345 18446744073709551615 4194304 5098028 140722787630752 140722787628856 140303846519420 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 17100800 140722787635611 140722787635814 140722787635814 140722787639275 0
/proc/25957/statm: 2378 345 289 221 0 87 0
[pid=25959] ppid=25957 vsize=13980732 CPUtime=172.35 cores=1,3,5,7
/proc/25959/stat : 25959 (java) S 25957 25957 18930 0 -1 1077944320 67113 0 0 0 17165 70 0 0 20 0 15 0 61594295 14316269568 564852 18446744073709551615 4194304 4196468 140735411425376 140735411407920 140498713100023 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
/proc/25959/statm: 3495183 564852 3240 1 0 3483484 0
[pid=25959/tid=25960] ppid=25957 vsize=13980732 CPUtime=161.88 cores=1,3,5,7
/proc/25959/task/25960/stat : 25960 (java) R 25957 25957 18930 0 -1 4202560 20596 0 0 0 16157 31 0 0 20 0 15 0 61594295 14316269568 564852 18446744073709551615 4194304 4196468 140735411425376 140498717339600 140498336196509 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25961] ppid=25957 vsize=13980732 CPUtime=0.26 cores=1,3,5,7
/proc/25959/task/25961/stat : 25961 (java) S 25957 25957 18930 0 -1 1077944384 1321 0 0 0 20 6 0 0 20 0 15 0 61594296 14316269568 564852 18446744073709551615 4194304 4196468 140735411425376 140498655045904 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25962] ppid=25957 vsize=13980732 CPUtime=0.26 cores=1,3,5,7
/proc/25959/task/25962/stat : 25962 (java) S 25957 25957 18930 0 -1 1077944384 545 0 0 0 20 6 0 0 20 0 15 0 61594296 14316269568 564852 18446744073709551615 4194304 4196468 140735411425376 140498653993360 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25963] ppid=25957 vsize=13980732 CPUtime=0.27 cores=1,3,5,7
/proc/25959/task/25963/stat : 25963 (java) S 25957 25957 18930 0 -1 1077944384 1081 0 0 0 20 7 0 0 20 0 15 0 61594296 14316269568 564852 18446744073709551615 4194304 4196468 140735411425376 140498652940816 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25964] ppid=25957 vsize=13980732 CPUtime=0.27 cores=1,3,5,7
/proc/25959/task/25964/stat : 25964 (java) S 25957 25957 18930 0 -1 1077944384 1367 0 0 0 20 7 0 0 20 0 15 0 61594296 14316269568 564852 18446744073709551615 4194304 4196468 140735411425376 140498651888272 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25965] ppid=25957 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/25959/task/25965/stat : 25965 (java) S 25957 25957 18930 0 -1 1077944384 2525 0 0 0 1 0 0 0 20 0 15 0 61594297 14316269568 564852 18446744073709551615 4194304 4196468 140735411425376 140498258741744 140498713111170 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25966] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25966/stat : 25966 (java) S 25957 25957 18930 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 61594298 14316269568 564852 18446744073709551615 4194304 4196468 140735411425376 140498257688032 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25967] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25967/stat : 25967 (java) S 25957 25957 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61594298 14316269568 564852 18446744073709551615 4194304 4196468 140735411425376 140498256635392 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25968] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25968/stat : 25968 (java) S 25957 25957 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61594300 14316269568 564852 18446744073709551615 4194304 4196468 140735411425376 140498255583952 140498713118619 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25969] ppid=25957 vsize=13980732 CPUtime=4.17 cores=1,3,5,7
/proc/25959/task/25969/stat : 25969 (java) S 25957 25957 18930 0 -1 1077944384 14980 0 0 0 416 1 0 0 20 0 15 0 61594300 14316269568 564852 18446744073709551615 4194304 4196468 140735411425376 140498254530544 140498713111170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25970] ppid=25957 vsize=13980732 CPUtime=4.14 cores=1,3,5,7
/proc/25959/task/25970/stat : 25970 (java) S 25957 25957 18930 0 -1 1077944384 16816 0 0 0 412 2 0 0 20 0 15 0 61594300 14316269568 564852 18446744073709551615 4194304 4196468 140735411425376 140498253478000 140498713111170 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25971] ppid=25957 vsize=13980732 CPUtime=0.91 cores=1,3,5,7
/proc/25959/task/25971/stat : 25971 (java) S 25957 25957 18930 0 -1 1077944384 6240 0 0 0 90 1 0 0 20 0 15 0 61594301 14316269568 564852 18446744073709551615 4194304 4196468 140735411425376 140498252425456 140498713111170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25972] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25972/stat : 25972 (java) S 25957 25957 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61594301 14316269568 564852 18446744073709551615 4194304 4196468 140735411425376 140498251373152 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25973] ppid=25957 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/25959/task/25973/stat : 25973 (java) R 25957 25957 18930 0 -1 4202560 346 0 0 0 3 5 0 0 20 0 15 0 61594306 14316269568 564852 18446744073709551615 4194304 4196468 140735411425376 140498250320688 140498713111170 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
Current children cumulated CPU time (s) 172.35
Current children cumulated vsize (KiB) 13990244

[startup+222.307 s]
/proc/loadavg: 1.88 1.87 1.86 3/215 26002
/proc/meminfo: memFree=28227628/32770624 swapFree=0/213600
[pid=25957] ppid=25954 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/25957/stat : 25957 (xcsp3-exec) S 25954 25957 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61594290 9740288 345 18446744073709551615 4194304 5098028 140722787630752 140722787628856 140303846519420 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 17100800 140722787635611 140722787635814 140722787635814 140722787639275 0
/proc/25957/statm: 2378 345 289 221 0 87 0
[pid=25959] ppid=25957 vsize=13980732 CPUtime=232.63 cores=1,3,5,7
/proc/25959/stat : 25959 (java) S 25957 25957 18930 0 -1 1077944320 71031 0 0 0 23171 92 0 0 20 0 15 0 61594295 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140735411407920 140498713100023 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
/proc/25959/statm: 3495183 871525 3240 1 0 3483484 0
[pid=25959/tid=25960] ppid=25957 vsize=13980732 CPUtime=221.87 cores=1,3,5,7
/proc/25959/task/25960/stat : 25960 (java) R 25957 25957 18930 0 -1 4202560 21796 0 0 0 22138 49 0 0 20 0 15 0 61594295 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498717336584 140498339006496 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25961] ppid=25957 vsize=13980732 CPUtime=0.28 cores=1,3,5,7
/proc/25959/task/25961/stat : 25961 (java) S 25957 25957 18930 0 -1 1077944384 1331 0 0 0 21 7 0 0 20 0 15 0 61594296 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498655045904 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25962] ppid=25957 vsize=13980732 CPUtime=0.27 cores=1,3,5,7
/proc/25959/task/25962/stat : 25962 (java) S 25957 25957 18930 0 -1 1077944384 557 0 0 0 21 6 0 0 20 0 15 0 61594296 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498653993360 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25963] ppid=25957 vsize=13980732 CPUtime=0.28 cores=1,3,5,7
/proc/25959/task/25963/stat : 25963 (java) S 25957 25957 18930 0 -1 1077944384 1091 0 0 0 21 7 0 0 20 0 15 0 61594296 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498652940816 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25964] ppid=25957 vsize=13980732 CPUtime=0.27 cores=1,3,5,7
/proc/25959/task/25964/stat : 25964 (java) S 25957 25957 18930 0 -1 1077944384 1377 0 0 0 20 7 0 0 20 0 15 0 61594296 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498651888272 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25965] ppid=25957 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/25959/task/25965/stat : 25965 (java) S 25957 25957 18930 0 -1 1077944384 2529 0 0 0 1 0 0 0 20 0 15 0 61594297 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498258741744 140498713111170 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25966] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25966/stat : 25966 (java) S 25957 25957 18930 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 61594298 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498257688032 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25967] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25967/stat : 25967 (java) S 25957 25957 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61594298 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498256635392 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25968] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25968/stat : 25968 (java) S 25957 25957 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61594300 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498255583952 140498713118619 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25969] ppid=25957 vsize=13980732 CPUtime=4.28 cores=1,3,5,7
/proc/25959/task/25969/stat : 25969 (java) S 25957 25957 18930 0 -1 1077944384 16196 0 0 0 427 1 0 0 20 0 15 0 61594300 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498254530544 140498713111170 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25970] ppid=25957 vsize=13980732 CPUtime=4.24 cores=1,3,5,7
/proc/25959/task/25970/stat : 25970 (java) S 25957 25957 18930 0 -1 1077944384 17866 0 0 0 421 3 0 0 20 0 15 0 61594300 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498253478000 140498713111170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25971] ppid=25957 vsize=13980732 CPUtime=0.92 cores=1,3,5,7
/proc/25959/task/25971/stat : 25971 (java) S 25957 25957 18930 0 -1 1077944384 6643 0 0 0 91 1 0 0 20 0 15 0 61594301 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498252425456 140498713111170 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25972] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25972/stat : 25972 (java) S 25957 25957 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61594301 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498251373152 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25973] ppid=25957 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/25959/task/25973/stat : 25973 (java) S 25957 25957 18930 0 -1 1077944384 349 0 0 0 4 7 0 0 20 0 15 0 61594306 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498250320688 140498713111170 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
Current children cumulated CPU time (s) 232.63
Current children cumulated vsize (KiB) 13990244



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.90 1.87 1.86 5/216 26082
/proc/meminfo: memFree=28182540/32770624 swapFree=0/213640
[pid=25957] ppid=25954 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/25957/stat : 25957 (xcsp3-exec) S 25954 25957 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 61594290 9740288 345 18446744073709551615 4194304 5098028 140722787630752 140722787628856 140303846519420 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 17100800 140722787635611 140722787635814 140722787635814 140722787639275 0
/proc/25957/statm: 2378 345 289 221 0 87 0
[pid=25959] ppid=25957 vsize=13980732 CPUtime=250.34 cores=1,3,5,7
/proc/25959/stat : 25959 (java) S 25957 25957 18930 0 -1 1077944320 71538 0 0 0 24941 93 0 0 20 0 15 0 61594295 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140735411407920 140498713100023 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
/proc/25959/statm: 3495183 871525 3240 1 0 3483484 0
[pid=25959/tid=25960] ppid=25957 vsize=13980732 CPUtime=239.56 cores=1,3,5,7
/proc/25959/task/25960/stat : 25960 (java) R 25957 25957 18930 0 -1 4202560 22283 0 0 0 23907 49 0 0 20 0 15 0 61594295 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498717338856 140498339006490 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25961] ppid=25957 vsize=13980732 CPUtime=0.28 cores=1,3,5,7
/proc/25959/task/25961/stat : 25961 (java) S 25957 25957 18930 0 -1 1077944384 1331 0 0 0 21 7 0 0 20 0 15 0 61594296 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498655045904 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25962] ppid=25957 vsize=13980732 CPUtime=0.27 cores=1,3,5,7
/proc/25959/task/25962/stat : 25962 (java) S 25957 25957 18930 0 -1 1077944384 557 0 0 0 21 6 0 0 20 0 15 0 61594296 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498653993360 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25963] ppid=25957 vsize=13980732 CPUtime=0.28 cores=1,3,5,7
/proc/25959/task/25963/stat : 25963 (java) S 25957 25957 18930 0 -1 1077944384 1091 0 0 0 21 7 0 0 20 0 15 0 61594296 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498652940816 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25964] ppid=25957 vsize=13980732 CPUtime=0.27 cores=1,3,5,7
/proc/25959/task/25964/stat : 25964 (java) S 25957 25957 18930 0 -1 1077944384 1377 0 0 0 20 7 0 0 20 0 15 0 61594296 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498651888272 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25965] ppid=25957 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/25959/task/25965/stat : 25965 (java) S 25957 25957 18930 0 -1 1077944384 2529 0 0 0 1 0 0 0 20 0 15 0 61594297 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498258741744 140498713111170 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25966] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25966/stat : 25966 (java) S 25957 25957 18930 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 61594298 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498257688032 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25967] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25967/stat : 25967 (java) S 25957 25957 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 61594298 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498256635392 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25968] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25968/stat : 25968 (java) S 25957 25957 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61594300 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498255583952 140498713118619 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25969] ppid=25957 vsize=13980732 CPUtime=4.28 cores=1,3,5,7
/proc/25959/task/25969/stat : 25969 (java) S 25957 25957 18930 0 -1 1077944384 16196 0 0 0 427 1 0 0 20 0 15 0 61594300 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498254530544 140498713111170 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25970] ppid=25957 vsize=13980732 CPUtime=4.24 cores=1,3,5,7
/proc/25959/task/25970/stat : 25970 (java) S 25957 25957 18930 0 -1 1077944384 17866 0 0 0 421 3 0 0 20 0 15 0 61594300 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498253478000 140498713111170 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25971] ppid=25957 vsize=13980732 CPUtime=0.92 cores=1,3,5,7
/proc/25959/task/25971/stat : 25971 (java) S 25957 25957 18930 0 -1 1077944384 6663 0 0 0 91 1 0 0 20 0 15 0 61594301 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498252425456 140498713111170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25972] ppid=25957 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/25959/task/25972/stat : 25972 (java) S 25957 25957 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 61594301 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498251373152 140498713110229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
[pid=25959/tid=25973] ppid=25957 vsize=13980732 CPUtime=0.12 cores=1,3,5,7
/proc/25959/task/25973/stat : 25973 (java) S 25957 25957 18930 0 -1 1077944384 349 0 0 0 5 7 0 0 20 0 15 0 61594306 14316269568 871525 18446744073709551615 4194304 4196468 140735411425376 140498250320688 140498713111170 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35983360 140735411429843 140735411430018 140735411430018 140735411433423 0
Current children cumulated CPU time (s) 250.34
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 25959 sig 9
??? kill 25957 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 25957 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=957
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=957
# CPU time returned by wait4() is 0.001914
# while last known CPU time is 250.34
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 240.024
CPU time (s): 250.34
CPU user time (s): 249.41
CPU system time (s): 0.93
CPU usage (%): 104.298
Max. virtual memory (cumulated for all children) (KiB): 13990244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000957
system time used= 0.000957
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
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.2202 second user time and 1.45418 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml
MD5SUM	3c0366ff4baa9e19aea1ffc9dac5e4aa
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	59
Best CPU time to get the best result obtained on this benchmark	251.92101
Satisfiable
(Un)Satisfiability was proved
Number of variables	500
Number of constraints	62624
Number of domains	1
Minimum domain size	500
Maximum domain size	500
Distribution of domain sizes	[{"size":500,"count":500}]
Minimum variable degree	221
Maximum variable degree	287
Distribution of variable degrees	[{"degree":221,"count":2},{"degree":222,"count":1},{"degree":223,"count":2},{"degree":224,"count":1},{"degree":225,"count":1},{"degree":227,"count":1},{"degree":228,"count":2},{"degree":230,"count":1},{"degree":231,"count":4},{"degree":232,"count":4},{"degree":233,"count":3},{"degree":234,"count":4},{"degree":235,"count":8},{"degree":236,"count":17},{"degree":237,"count":4},{"degree":238,"count":11},{"degree":239,"count":6},{"degree":240,"count":11},{"degree":241,"count":9},{"degree":242,"count":14},{"degree":243,"count":14},{"degree":244,"count":12},{"degree":245,"count":13},{"degree":246,"count":17},{"degree":247,"count":14},"...",{"degree":257,"count":16}, {"degree":258,"count":9}, {"degree":259,"count":19}, {"degree":260,"count":19}, {"degree":261,"count":19}, {"degree":262,"count":14}, {"degree":263,"count":12}, {"degree":264,"count":6}, {"degree":265,"count":7}, {"degree":266,"count":8}, {"degree":267,"count":4}, {"degree":268,"count":6}, {"degree":269,"count":5}, {"degree":270,"count":8}, {"degree":271,"count":4}, {"degree":272,"count":2}, {"degree":273,"count":2}, {"degree":274,"count":1}, {"degree":275,"count":1}, {"degree":276,"count":1}, {"degree":277,"count":2}, {"degree":278,"count":1}, {"degree":280,"count":2}, {"degree":281,"count":1}, {"degree":287,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":62624}]
Number of extensional constraints	0
Number of intensional constraints	62624
Distribution of constraint types	[{"type":"intension","count":62624}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4255047

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
