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)	40	251.10001	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-4255053-1501619380/watcher-4255053-1501619380 -o /tmp/evaluation-result-4255053-1501619380/solver-4255053-1501619380 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501617024-9378 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2063114512 HOME/instance-4255053-1501619380.xml 

pid=13587
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.75 1.82 1.79 3/199 13590
/proc/meminfo: memFree=31714220/32770624 swapFree=0/168124
[pid=13590] ppid=13587 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/13590/stat : 13590 (runsolver) D 13587 13590 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 3848588 24240128 106 18446744073709551615 4194304 4338465 140736329451248 140736329448888 139924167668439 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 13938688 140736329457758 140736329458247 140736329458247 140736329461706 0
/proc/13590/statm: 5918 106 53 36 0 2156 0

[startup+0.10014 s]
/proc/loadavg: 1.75 1.82 1.79 3/199 13590
/proc/meminfo: memFree=31714220/32770624 swapFree=0/168124
[pid=13590] ppid=13587 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13590/stat : 13590 (xcsp3-exec) S 13587 13590 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3848588 9740288 345 18446744073709551615 4194304 5098028 140737194000752 140737193998856 139930465911420 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 32931840 140737194008988 140737194009192 140737194009192 140737194012651 0
/proc/13590/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200309 s]
/proc/loadavg: 1.75 1.82 1.79 3/199 13590
/proc/meminfo: memFree=31714220/32770624 swapFree=0/168124
[pid=13590] ppid=13587 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13590/stat : 13590 (xcsp3-exec) S 13587 13590 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3848588 9740288 345 18446744073709551615 4194304 5098028 140737194000752 140737193998856 139930465911420 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 32931840 140737194008988 140737194009192 140737194009192 140737194012651 0
/proc/13590/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300287 s]
/proc/loadavg: 1.75 1.82 1.79 3/199 13590
/proc/meminfo: memFree=31714220/32770624 swapFree=0/168124
[pid=13590] ppid=13587 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13590/stat : 13590 (xcsp3-exec) S 13587 13590 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3848588 9740288 345 18446744073709551615 4194304 5098028 140737194000752 140737193998856 139930465911420 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 32931840 140737194008988 140737194009192 140737194009192 140737194012651 0
/proc/13590/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.704422 s]
/proc/loadavg: 1.75 1.82 1.79 3/199 13590
/proc/meminfo: memFree=31714220/32770624 swapFree=0/168124
[pid=13590] ppid=13587 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13590/stat : 13590 (xcsp3-exec) S 13587 13590 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3848588 9740288 345 18446744073709551615 4194304 5098028 140737194000752 140737193998856 139930465911420 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 32931840 140737194008988 140737194009192 140737194009192 140737194012651 0
/proc/13590/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.51032 s]
/proc/loadavg: 1.75 1.82 1.79 5/215 13606
/proc/meminfo: memFree=31523228/32770624 swapFree=0/168080
[pid=13590] ppid=13587 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13590/stat : 13590 (xcsp3-exec) S 13587 13590 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3848588 9740288 345 18446744073709551615 4194304 5098028 140737194000752 140737193998856 139930465911420 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 32931840 140737194008988 140737194009192 140737194009192 140737194012651 0
/proc/13590/statm: 2378 345 289 221 0 87 0
[pid=13592] ppid=13590 vsize=13980732 CPUtime=3.71 cores=1,3,5,7
/proc/13592/stat : 13592 (java) S 13590 13590 3187 0 -1 1077944320 16237 0 0 0 359 12 0 0 20 0 15 0 3848596 14316269568 58282 18446744073709551615 4194304 4196468 140722698222928 140722698205472 140640190959351 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
/proc/13592/statm: 3495183 58282 3204 1 0 3483484 0
[pid=13592/tid=13593] ppid=13590 vsize=13980732 CPUtime=1.31 cores=1,3,5,7
/proc/13592/task/13593/stat : 13593 (java) R 13590 13590 3187 0 -1 4202560 8474 0 0 0 126 5 0 0 20 0 15 0 3848596 14316269568 58282 18446744073709551615 4194304 4196468 140722698222928 140640195192720 140640190971286 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13594] ppid=13590 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/13592/task/13594/stat : 13594 (java) S 13590 13590 3187 0 -1 1077944384 55 0 0 0 3 1 0 0 20 0 15 0 3848597 14316269568 58282 18446744073709551615 4194304 4196468 140722698222928 140640125394064 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13595] ppid=13590 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13592/task/13595/stat : 13595 (java) S 13590 13590 3187 0 -1 1077944384 84 0 0 0 2 1 0 0 20 0 15 0 3848597 14316269568 58282 18446744073709551615 4194304 4196468 140722698222928 140640124341264 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13596] ppid=13590 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13592/task/13596/stat : 13596 (java) S 13590 13590 3187 0 -1 1077944384 87 0 0 0 2 1 0 0 20 0 15 0 3848597 14316269568 58282 18446744073709551615 4194304 4196468 140722698222928 140640123288464 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13597] ppid=13590 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/13592/task/13597/stat : 13597 (java) S 13590 13590 3187 0 -1 1077944384 117 0 0 0 3 1 0 0 20 0 15 0 3848597 14316269568 58282 18446744073709551615 4194304 4196468 140722698222928 140640122235664 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13598] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13598/stat : 13598 (java) S 13590 13590 3187 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 3848598 14316269568 58282 18446744073709551615 4194304 4196468 140722698222928 140639107516784 140640190970498 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13599] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13599/stat : 13599 (java) S 13590 13590 3187 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 3848599 14316269568 58282 18446744073709551615 4194304 4196468 140722698222928 140639106462816 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13600] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13600/stat : 13600 (java) S 13590 13590 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3848599 14316269568 58282 18446744073709551615 4194304 4196468 140722698222928 140639105409920 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13601] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13601/stat : 13601 (java) S 13590 13590 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3848601 14316269568 58282 18446744073709551615 4194304 4196468 140722698222928 140639104358224 140640190977947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13602] ppid=13590 vsize=13980732 CPUtime=0.87 cores=1,3,5,7
/proc/13592/task/13602/stat : 13602 (java) R 13590 13590 3187 0 -1 4202560 2252 0 0 0 87 0 0 0 20 0 15 0 3848601 14316269568 58282 18446744073709551615 4194304 4196468 140722698222928 140639103306608 140640170223332 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13603] ppid=13590 vsize=13980732 CPUtime=0.86 cores=1,3,5,7
/proc/13592/task/13603/stat : 13603 (java) R 13590 13590 3187 0 -1 4202560 1680 0 0 0 86 0 0 0 20 0 15 0 3848601 14316269568 58282 18446744073709551615 4194304 4196468 140722698222928 140639102246912 140640170172435 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13604] ppid=13590 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/13592/task/13604/stat : 13604 (java) S 13590 13590 3187 0 -1 1077944384 2107 0 0 0 46 0 0 0 20 0 15 0 3848601 14316269568 58282 18446744073709551615 4194304 4196468 140722698222928 140639101201008 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13605] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13605/stat : 13605 (java) S 13590 13590 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3848601 14316269568 58282 18446744073709551615 4194304 4196468 140722698222928 140639100148448 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13606] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13606/stat : 13606 (java) S 13590 13590 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3848607 14316269568 58282 18446744073709551615 4194304 4196468 140722698222928 140639099095728 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 13990244

[startup+3.1007 s]
/proc/loadavg: 1.77 1.82 1.79 5/215 13606
/proc/meminfo: memFree=31422296/32770624 swapFree=0/168080
[pid=13590] ppid=13587 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13590/stat : 13590 (xcsp3-exec) S 13587 13590 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3848588 9740288 345 18446744073709551615 4194304 5098028 140737194000752 140737193998856 139930465911420 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 32931840 140737194008988 140737194009192 140737194009192 140737194012651 0
/proc/13590/statm: 2378 345 289 221 0 87 0
[pid=13592] ppid=13590 vsize=13980732 CPUtime=7.59 cores=1,3,5,7
/proc/13592/stat : 13592 (java) S 13590 13590 3187 0 -1 1077944320 19578 0 0 0 743 16 0 0 20 0 15 0 3848596 14316269568 87508 18446744073709551615 4194304 4196468 140722698222928 140722698205472 140640190959351 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
/proc/13592/statm: 3495183 87508 3228 1 0 3483484 0
[pid=13592/tid=13593] ppid=13590 vsize=13980732 CPUtime=2.9 cores=1,3,5,7
/proc/13592/task/13593/stat : 13593 (java) R 13590 13590 3187 0 -1 4202560 8948 0 0 0 283 7 0 0 20 0 15 0 3848596 14316269568 87508 18446744073709551615 4194304 4196468 140722698222928 140640195197816 140639794963549 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13594] ppid=13590 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/13592/task/13594/stat : 13594 (java) S 13590 13590 3187 0 -1 1077944384 55 0 0 0 3 1 0 0 20 0 15 0 3848597 14316269568 87508 18446744073709551615 4194304 4196468 140722698222928 140640125394064 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13595] ppid=13590 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13592/task/13595/stat : 13595 (java) S 13590 13590 3187 0 -1 1077944384 84 0 0 0 2 1 0 0 20 0 15 0 3848597 14316269568 87508 18446744073709551615 4194304 4196468 140722698222928 140640124341264 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13596] ppid=13590 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13592/task/13596/stat : 13596 (java) S 13590 13590 3187 0 -1 1077944384 87 0 0 0 2 1 0 0 20 0 15 0 3848597 14316269568 87508 18446744073709551615 4194304 4196468 140722698222928 140640123288464 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13597] ppid=13590 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/13592/task/13597/stat : 13597 (java) S 13590 13590 3187 0 -1 1077944384 117 0 0 0 3 1 0 0 20 0 15 0 3848597 14316269568 87508 18446744073709551615 4194304 4196468 140722698222928 140640122235664 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13598] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13598/stat : 13598 (java) S 13590 13590 3187 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 3848598 14316269568 87508 18446744073709551615 4194304 4196468 140722698222928 140639107516784 140640190970498 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13599] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13599/stat : 13599 (java) S 13590 13590 3187 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 3848599 14316269568 87508 18446744073709551615 4194304 4196468 140722698222928 140639106462816 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13600] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13600/stat : 13600 (java) S 13590 13590 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3848599 14316269568 87508 18446744073709551615 4194304 4196468 140722698222928 140639105409920 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13601] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13601/stat : 13601 (java) S 13590 13590 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3848601 14316269568 87508 18446744073709551615 4194304 4196468 140722698222928 140639104358224 140640190977947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13602] ppid=13590 vsize=13980732 CPUtime=1.9 cores=1,3,5,7
/proc/13592/task/13602/stat : 13602 (java) S 13590 13590 3187 0 -1 1077944384 3094 0 0 0 189 1 0 0 20 0 15 0 3848601 14316269568 87508 18446744073709551615 4194304 4196468 140722698222928 140639103306608 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13603] ppid=13590 vsize=13980732 CPUtime=1.94 cores=1,3,5,7
/proc/13592/task/13603/stat : 13603 (java) S 13590 13590 3187 0 -1 1077944384 3405 0 0 0 193 1 0 0 20 0 15 0 3848601 14316269568 87508 18446744073709551615 4194304 4196468 140722698222928 140639102253808 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13604] ppid=13590 vsize=13980732 CPUtime=0.65 cores=1,3,5,7
/proc/13592/task/13604/stat : 13604 (java) S 13590 13590 3187 0 -1 1077944384 2407 0 0 0 64 1 0 0 20 0 15 0 3848601 14316269568 87508 18446744073709551615 4194304 4196468 140722698222928 140639101201008 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13605] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13605/stat : 13605 (java) S 13590 13590 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3848601 14316269568 87508 18446744073709551615 4194304 4196468 140722698222928 140639100148448 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13606] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13606/stat : 13606 (java) S 13590 13590 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3848607 14316269568 87508 18446744073709551615 4194304 4196468 140722698222928 140639099095728 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
Current children cumulated CPU time (s) 7.59
Current children cumulated vsize (KiB) 13990244

[startup+6.30072 s]
/proc/loadavg: 1.77 1.82 1.79 4/215 13606
/proc/meminfo: memFree=31319836/32770624 swapFree=0/168092
[pid=13590] ppid=13587 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13590/stat : 13590 (xcsp3-exec) S 13587 13590 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3848588 9740288 345 18446744073709551615 4194304 5098028 140737194000752 140737193998856 139930465911420 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 32931840 140737194008988 140737194009192 140737194009192 140737194012651 0
/proc/13590/statm: 2378 345 289 221 0 87 0
[pid=13592] ppid=13590 vsize=13980732 CPUtime=12.64 cores=1,3,5,7
/proc/13592/stat : 13592 (java) S 13590 13590 3187 0 -1 1077944320 29633 0 0 0 1238 26 0 0 20 0 15 0 3848596 14316269568 107457 18446744073709551615 4194304 4196468 140722698222928 140722698205472 140640190959351 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
/proc/13592/statm: 3495183 107457 3229 1 0 3483484 0
[pid=13592/tid=13593] ppid=13590 vsize=13980732 CPUtime=6.02 cores=1,3,5,7
/proc/13592/task/13593/stat : 13593 (java) R 13590 13590 3187 0 -1 4202560 9802 0 0 0 595 7 0 0 20 0 15 0 3848596 14316269568 107457 18446744073709551615 4194304 4196468 140722698222928 140640195195736 140639803057237 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13594] ppid=13590 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/13592/task/13594/stat : 13594 (java) S 13590 13590 3187 0 -1 1077944384 312 0 0 0 8 3 0 0 20 0 15 0 3848597 14316269568 107457 18446744073709551615 4194304 4196468 140722698222928 140640125394064 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13595] ppid=13590 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/13592/task/13595/stat : 13595 (java) S 13590 13590 3187 0 -1 1077944384 922 0 0 0 7 3 0 0 20 0 15 0 3848597 14316269568 107457 18446744073709551615 4194304 4196468 140722698222928 140640124341264 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13596] ppid=13590 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/13592/task/13596/stat : 13596 (java) S 13590 13590 3187 0 -1 1077944384 271 0 0 0 7 3 0 0 20 0 15 0 3848597 14316269568 107457 18446744073709551615 4194304 4196468 140722698222928 140640123288464 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13597] ppid=13590 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/13592/task/13597/stat : 13597 (java) S 13590 13590 3187 0 -1 1077944384 250 0 0 0 8 3 0 0 20 0 15 0 3848597 14316269568 107457 18446744073709551615 4194304 4196468 140722698222928 140640122235664 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13598] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13598/stat : 13598 (java) S 13590 13590 3187 0 -1 1077944384 394 0 0 0 0 0 0 0 20 0 15 0 3848598 14316269568 107457 18446744073709551615 4194304 4196468 140722698222928 140639107516784 140640190970498 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13599] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13599/stat : 13599 (java) S 13590 13590 3187 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 3848599 14316269568 107457 18446744073709551615 4194304 4196468 140722698222928 140639106462816 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13600] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13600/stat : 13600 (java) S 13590 13590 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3848599 14316269568 107457 18446744073709551615 4194304 4196468 140722698222928 140639105409920 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13601] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13601/stat : 13601 (java) S 13590 13590 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3848601 14316269568 107457 18446744073709551615 4194304 4196468 140722698222928 140639104358224 140640190977947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13602] ppid=13590 vsize=13980732 CPUtime=2.59 cores=1,3,5,7
/proc/13592/task/13602/stat : 13602 (java) S 13590 13590 3187 0 -1 1077944384 5952 0 0 0 258 1 0 0 20 0 15 0 3848601 14316269568 107457 18446744073709551615 4194304 4196468 140722698222928 140639103306608 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13603] ppid=13590 vsize=13980732 CPUtime=2.79 cores=1,3,5,7
/proc/13592/task/13603/stat : 13603 (java) R 13590 13590 3187 0 -1 4202560 6886 0 0 0 278 1 0 0 20 0 15 0 3848601 14316269568 107457 18446744073709551615 4194304 4196468 140722698222928 140639102237344 140640170652443 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13604] ppid=13590 vsize=13980732 CPUtime=0.73 cores=1,3,5,7
/proc/13592/task/13604/stat : 13604 (java) S 13590 13590 3187 0 -1 1077944384 3441 0 0 0 72 1 0 0 20 0 15 0 3848601 14316269568 107457 18446744073709551615 4194304 4196468 140722698222928 140639101201008 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13605] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13605/stat : 13605 (java) S 13590 13590 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3848601 14316269568 107457 18446744073709551615 4194304 4196468 140722698222928 140639100148448 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13606] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13606/stat : 13606 (java) S 13590 13590 3187 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 15 0 3848607 14316269568 107457 18446744073709551615 4194304 4196468 140722698222928 140639099095728 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 13990244

[startup+12.7007 s]
/proc/loadavg: 1.95 1.86 1.80 3/215 13606
/proc/meminfo: memFree=31295908/32770624 swapFree=0/168100
[pid=13590] ppid=13587 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13590/stat : 13590 (xcsp3-exec) S 13587 13590 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3848588 9740288 345 18446744073709551615 4194304 5098028 140737194000752 140737193998856 139930465911420 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 32931840 140737194008988 140737194009192 140737194009192 140737194012651 0
/proc/13590/statm: 2378 345 289 221 0 87 0
[pid=13592] ppid=13590 vsize=13980732 CPUtime=21.71 cores=1,3,5,7
/proc/13592/stat : 13592 (java) S 13590 13590 3187 0 -1 1077944320 34429 0 0 0 2144 27 0 0 20 0 15 0 3848596 14316269568 108724 18446744073709551615 4194304 4196468 140722698222928 140722698205472 140640190959351 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
/proc/13592/statm: 3495183 108724 3240 1 0 3483484 0
[pid=13592/tid=13593] ppid=13590 vsize=13980732 CPUtime=12.42 cores=1,3,5,7
/proc/13592/task/13593/stat : 13593 (java) R 13590 13590 3187 0 -1 4202560 10399 0 0 0 1235 7 0 0 20 0 15 0 3848596 14316269568 108724 18446744073709551615 4194304 4196468 140722698222928 140640195195872 140639804823401 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13594] ppid=13590 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/13592/task/13594/stat : 13594 (java) S 13590 13590 3187 0 -1 1077944384 312 0 0 0 8 3 0 0 20 0 15 0 3848597 14316269568 108724 18446744073709551615 4194304 4196468 140722698222928 140640125394064 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13595] ppid=13590 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/13592/task/13595/stat : 13595 (java) S 13590 13590 3187 0 -1 1077944384 922 0 0 0 7 3 0 0 20 0 15 0 3848597 14316269568 108724 18446744073709551615 4194304 4196468 140722698222928 140640124341264 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0

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

[pid=13592/tid=13599] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13599/stat : 13599 (java) S 13590 13590 3187 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 3848599 14316269568 307699 18446744073709551615 4194304 4196468 140722698222928 140639106462816 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13600] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13600/stat : 13600 (java) S 13590 13590 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3848599 14316269568 307699 18446744073709551615 4194304 4196468 140722698222928 140639105409920 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13601] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13601/stat : 13601 (java) S 13590 13590 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3848601 14316269568 307699 18446744073709551615 4194304 4196468 140722698222928 140639104358224 140640190977947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13602] ppid=13590 vsize=13980732 CPUtime=4.36 cores=1,3,5,7
/proc/13592/task/13602/stat : 13602 (java) S 13590 13590 3187 0 -1 1077944384 12985 0 0 0 434 2 0 0 20 0 15 0 3848601 14316269568 307699 18446744073709551615 4194304 4196468 140722698222928 140639103306608 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13603] ppid=13590 vsize=13980732 CPUtime=5.12 cores=1,3,5,7
/proc/13592/task/13603/stat : 13603 (java) S 13590 13590 3187 0 -1 1077944384 15581 0 0 0 510 2 0 0 20 0 15 0 3848601 14316269568 307699 18446744073709551615 4194304 4196468 140722698222928 140639102253808 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13604] ppid=13590 vsize=13980732 CPUtime=0.85 cores=1,3,5,7
/proc/13592/task/13604/stat : 13604 (java) S 13590 13590 3187 0 -1 1077944384 6271 0 0 0 84 1 0 0 20 0 15 0 3848601 14316269568 307699 18446744073709551615 4194304 4196468 140722698222928 140639101201008 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13605] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13605/stat : 13605 (java) S 13590 13590 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3848601 14316269568 307699 18446744073709551615 4194304 4196468 140722698222928 140639100148448 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13606] ppid=13590 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13592/task/13606/stat : 13606 (java) S 13590 13590 3187 0 -1 1077944384 268 0 0 0 1 2 0 0 20 0 15 0 3848607 14316269568 307699 18446744073709551615 4194304 4196468 140722698222928 140639099095728 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
Current children cumulated CPU time (s) 113.2
Current children cumulated vsize (KiB) 13990244

[startup+162.301 s]
/proc/loadavg: 1.76 1.87 1.82 3/215 13692
/proc/meminfo: memFree=29732216/32770624 swapFree=0/168244
[pid=13590] ppid=13587 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13590/stat : 13590 (xcsp3-exec) S 13587 13590 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3848588 9740288 345 18446744073709551615 4194304 5098028 140737194000752 140737193998856 139930465911420 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 32931840 140737194008988 140737194009192 140737194009192 140737194012651 0
/proc/13590/statm: 2378 345 289 221 0 87 0
[pid=13592] ppid=13590 vsize=13980732 CPUtime=173.24 cores=1,3,5,7
/proc/13592/stat : 13592 (java) S 13590 13590 3187 0 -1 1077944320 64266 0 0 0 17257 67 0 0 20 0 15 0 3848596 14316269568 545267 18446744073709551615 4194304 4196468 140722698222928 140722698205472 140640190959351 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
/proc/13592/statm: 3495183 545267 3243 1 0 3483484 0
[pid=13592/tid=13593] ppid=13590 vsize=13980732 CPUtime=161.92 cores=1,3,5,7
/proc/13592/task/13593/stat : 13593 (java) R 13590 13590 3187 0 -1 4202560 19798 0 0 0 16161 31 0 0 20 0 15 0 3848596 14316269568 545267 18446744073709551615 4194304 4196468 140722698222928 140640195196760 140639803593264 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13594] ppid=13590 vsize=13980732 CPUtime=0.2 cores=1,3,5,7
/proc/13592/task/13594/stat : 13594 (java) S 13590 13590 3187 0 -1 1077944384 1863 0 0 0 14 6 0 0 20 0 15 0 3848597 14316269568 545267 18446744073709551615 4194304 4196468 140722698222928 140640125394064 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13595] ppid=13590 vsize=13980732 CPUtime=0.2 cores=1,3,5,7
/proc/13592/task/13595/stat : 13595 (java) S 13590 13590 3187 0 -1 1077944384 1180 0 0 0 14 6 0 0 20 0 15 0 3848597 14316269568 545267 18446744073709551615 4194304 4196468 140722698222928 140640124341264 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13596] ppid=13590 vsize=13980732 CPUtime=0.2 cores=1,3,5,7
/proc/13592/task/13596/stat : 13596 (java) S 13590 13590 3187 0 -1 1077944384 1001 0 0 0 14 6 0 0 20 0 15 0 3848597 14316269568 545267 18446744073709551615 4194304 4196468 140722698222928 140640123288464 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13597] ppid=13590 vsize=13980732 CPUtime=0.21 cores=1,3,5,7
/proc/13592/task/13597/stat : 13597 (java) S 13590 13590 3187 0 -1 1077944384 1678 0 0 0 15 6 0 0 20 0 15 0 3848597 14316269568 545267 18446744073709551615 4194304 4196468 140722698222928 140640122235664 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13598] ppid=13590 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/13592/task/13598/stat : 13598 (java) S 13590 13590 3187 0 -1 1077944384 1832 0 0 0 1 0 0 0 20 0 15 0 3848598 14316269568 545267 18446744073709551615 4194304 4196468 140722698222928 140639107516784 140640190970498 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13599] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13599/stat : 13599 (java) S 13590 13590 3187 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 3848599 14316269568 545267 18446744073709551615 4194304 4196468 140722698222928 140639106462816 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13600] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13600/stat : 13600 (java) S 13590 13590 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3848599 14316269568 545267 18446744073709551615 4194304 4196468 140722698222928 140639105409920 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13601] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13601/stat : 13601 (java) S 13590 13590 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3848601 14316269568 545267 18446744073709551615 4194304 4196468 140722698222928 140639104358224 140640190977947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13602] ppid=13590 vsize=13980732 CPUtime=4.36 cores=1,3,5,7
/proc/13592/task/13602/stat : 13602 (java) S 13590 13590 3187 0 -1 1077944384 13017 0 0 0 434 2 0 0 20 0 15 0 3848601 14316269568 545267 18446744073709551615 4194304 4196468 140722698222928 140639103306608 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13603] ppid=13590 vsize=13980732 CPUtime=5.12 cores=1,3,5,7
/proc/13592/task/13603/stat : 13603 (java) S 13590 13590 3187 0 -1 1077944384 16013 0 0 0 510 2 0 0 20 0 15 0 3848601 14316269568 545267 18446744073709551615 4194304 4196468 140722698222928 140639102253808 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13604] ppid=13590 vsize=13980732 CPUtime=0.85 cores=1,3,5,7
/proc/13592/task/13604/stat : 13604 (java) S 13590 13590 3187 0 -1 1077944384 6287 0 0 0 84 1 0 0 20 0 15 0 3848601 14316269568 545267 18446744073709551615 4194304 4196468 140722698222928 140639101201008 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13605] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13605/stat : 13605 (java) S 13590 13590 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3848601 14316269568 545267 18446744073709551615 4194304 4196468 140722698222928 140639100148448 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13606] ppid=13590 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/13592/task/13606/stat : 13606 (java) S 13590 13590 3187 0 -1 1077944384 300 0 0 0 2 4 0 0 20 0 15 0 3848607 14316269568 545267 18446744073709551615 4194304 4196468 140722698222928 140639099095728 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
Current children cumulated CPU time (s) 173.24
Current children cumulated vsize (KiB) 13990244

[startup+222.307 s]
/proc/loadavg: 1.72 1.84 1.81 3/215 13694
/proc/meminfo: memFree=29565028/32770624 swapFree=0/168276
[pid=13590] ppid=13587 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13590/stat : 13590 (xcsp3-exec) S 13587 13590 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3848588 9740288 345 18446744073709551615 4194304 5098028 140737194000752 140737193998856 139930465911420 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 32931840 140737194008988 140737194009192 140737194009192 140737194012651 0
/proc/13590/statm: 2378 345 289 221 0 87 0
[pid=13592] ppid=13590 vsize=13980732 CPUtime=233.33 cores=1,3,5,7
/proc/13592/stat : 13592 (java) S 13590 13590 3187 0 -1 1077944320 68062 0 0 0 23261 72 0 0 20 0 15 0 3848596 14316269568 557536 18446744073709551615 4194304 4196468 140722698222928 140722698205472 140640190959351 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
/proc/13592/statm: 3495183 557536 3243 1 0 3483484 0
[pid=13592/tid=13593] ppid=13590 vsize=13980732 CPUtime=221.9 cores=1,3,5,7
/proc/13592/task/13593/stat : 13593 (java) R 13590 13590 3187 0 -1 4202560 22300 0 0 0 22158 32 0 0 20 0 15 0 3848596 14316269568 557536 18446744073709551615 4194304 4196468 140722698222928 140640195195616 140639802997828 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13594] ppid=13590 vsize=13980732 CPUtime=0.23 cores=1,3,5,7
/proc/13592/task/13594/stat : 13594 (java) S 13590 13590 3187 0 -1 1077944384 1933 0 0 0 16 7 0 0 20 0 15 0 3848597 14316269568 557536 18446744073709551615 4194304 4196468 140722698222928 140640125394064 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13595] ppid=13590 vsize=13980732 CPUtime=0.21 cores=1,3,5,7
/proc/13592/task/13595/stat : 13595 (java) S 13590 13590 3187 0 -1 1077944384 1230 0 0 0 15 6 0 0 20 0 15 0 3848597 14316269568 557536 18446744073709551615 4194304 4196468 140722698222928 140640124341264 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13596] ppid=13590 vsize=13980732 CPUtime=0.22 cores=1,3,5,7
/proc/13592/task/13596/stat : 13596 (java) S 13590 13590 3187 0 -1 1077944384 1032 0 0 0 15 7 0 0 20 0 15 0 3848597 14316269568 557536 18446744073709551615 4194304 4196468 140722698222928 140640123288464 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13597] ppid=13590 vsize=13980732 CPUtime=0.23 cores=1,3,5,7
/proc/13592/task/13597/stat : 13597 (java) S 13590 13590 3187 0 -1 1077944384 2155 0 0 0 16 7 0 0 20 0 15 0 3848597 14316269568 557536 18446744073709551615 4194304 4196468 140722698222928 140640122235664 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13598] ppid=13590 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/13592/task/13598/stat : 13598 (java) S 13590 13590 3187 0 -1 1077944384 2046 0 0 0 2 0 0 0 20 0 15 0 3848598 14316269568 557536 18446744073709551615 4194304 4196468 140722698222928 140639107516784 140640190970498 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13599] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13599/stat : 13599 (java) S 13590 13590 3187 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 3848599 14316269568 557536 18446744073709551615 4194304 4196468 140722698222928 140639106462816 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13600] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13600/stat : 13600 (java) S 13590 13590 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3848599 14316269568 557536 18446744073709551615 4194304 4196468 140722698222928 140639105409920 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13601] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13601/stat : 13601 (java) S 13590 13590 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3848601 14316269568 557536 18446744073709551615 4194304 4196468 140722698222928 140639104358224 140640190977947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13602] ppid=13590 vsize=13980732 CPUtime=4.36 cores=1,3,5,7
/proc/13592/task/13602/stat : 13602 (java) S 13590 13590 3187 0 -1 1077944384 13403 0 0 0 434 2 0 0 20 0 15 0 3848601 14316269568 557536 18446744073709551615 4194304 4196468 140722698222928 140639103306608 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13603] ppid=13590 vsize=13980732 CPUtime=5.13 cores=1,3,5,7
/proc/13592/task/13603/stat : 13603 (java) S 13590 13590 3187 0 -1 1077944384 16079 0 0 0 511 2 0 0 20 0 15 0 3848601 14316269568 557536 18446744073709551615 4194304 4196468 140722698222928 140639102253808 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13604] ppid=13590 vsize=13980732 CPUtime=0.86 cores=1,3,5,7
/proc/13592/task/13604/stat : 13604 (java) S 13590 13590 3187 0 -1 1077944384 6287 0 0 0 84 2 0 0 20 0 15 0 3848601 14316269568 557536 18446744073709551615 4194304 4196468 140722698222928 140639101201008 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13605] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13605/stat : 13605 (java) S 13590 13590 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3848601 14316269568 557536 18446744073709551615 4194304 4196468 140722698222928 140639100148448 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13606] ppid=13590 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/13592/task/13606/stat : 13606 (java) S 13590 13590 3187 0 -1 1077944384 300 0 0 0 3 5 0 0 20 0 15 0 3848607 14316269568 557536 18446744073709551615 4194304 4196468 140722698222928 140639099095728 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
Current children cumulated CPU time (s) 233.33
Current children cumulated vsize (KiB) 13990244



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.79 1.85 1.81 3/215 13695
/proc/meminfo: memFree=29517876/32770624 swapFree=0/168284
[pid=13590] ppid=13587 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13590/stat : 13590 (xcsp3-exec) S 13587 13590 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3848588 9740288 345 18446744073709551615 4194304 5098028 140737194000752 140737193998856 139930465911420 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 32931840 140737194008988 140737194009192 140737194009192 140737194012651 0
/proc/13590/statm: 2378 345 289 221 0 87 0
[pid=13592] ppid=13590 vsize=13980732 CPUtime=251.1 cores=1,3,5,7
/proc/13592/stat : 13592 (java) S 13590 13590 3187 0 -1 1077944320 70084 0 0 0 25035 75 0 0 20 0 15 0 3848596 14316269568 562138 18446744073709551615 4194304 4196468 140722698222928 140722698205472 140640190959351 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
/proc/13592/statm: 3495183 562138 3243 1 0 3483484 0
[pid=13592/tid=13593] ppid=13590 vsize=13980732 CPUtime=239.58 cores=1,3,5,7
/proc/13592/task/13593/stat : 13593 (java) R 13590 13590 3187 0 -1 4202560 22986 0 0 0 23926 32 0 0 20 0 15 0 3848596 14316269568 562138 18446744073709551615 4194304 4196468 140722698222928 140640195198312 140639804907166 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13594] ppid=13590 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/13592/task/13594/stat : 13594 (java) S 13590 13590 3187 0 -1 1077944384 2209 0 0 0 17 7 0 0 20 0 15 0 3848597 14316269568 562138 18446744073709551615 4194304 4196468 140722698222928 140640125394064 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13595] ppid=13590 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/13592/task/13595/stat : 13595 (java) S 13590 13590 3187 0 -1 1077944384 1271 0 0 0 17 7 0 0 20 0 15 0 3848597 14316269568 562138 18446744073709551615 4194304 4196468 140722698222928 140640124341264 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13596] ppid=13590 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/13592/task/13596/stat : 13596 (java) S 13590 13590 3187 0 -1 1077944384 1068 0 0 0 17 7 0 0 20 0 15 0 3848597 14316269568 562138 18446744073709551615 4194304 4196468 140722698222928 140640123288464 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13597] ppid=13590 vsize=13980732 CPUtime=0.24 cores=1,3,5,7
/proc/13592/task/13597/stat : 13597 (java) S 13590 13590 3187 0 -1 1077944384 2195 0 0 0 17 7 0 0 20 0 15 0 3848597 14316269568 562138 18446744073709551615 4194304 4196468 140722698222928 140640122235664 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13598] ppid=13590 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/13592/task/13598/stat : 13598 (java) S 13590 13590 3187 0 -1 1077944384 2077 0 0 0 2 0 0 0 20 0 15 0 3848598 14316269568 562138 18446744073709551615 4194304 4196468 140722698222928 140639107516784 140640190970498 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13599] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13599/stat : 13599 (java) S 13590 13590 3187 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 3848599 14316269568 562138 18446744073709551615 4194304 4196468 140722698222928 140639106462816 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13600] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13600/stat : 13600 (java) S 13590 13590 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3848599 14316269568 562138 18446744073709551615 4194304 4196468 140722698222928 140639105409920 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13601] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13601/stat : 13601 (java) S 13590 13590 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3848601 14316269568 562138 18446744073709551615 4194304 4196468 140722698222928 140639104358224 140640190977947 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13602] ppid=13590 vsize=13980732 CPUtime=4.36 cores=1,3,5,7
/proc/13592/task/13602/stat : 13602 (java) S 13590 13590 3187 0 -1 1077944384 13406 0 0 0 434 2 0 0 20 0 15 0 3848601 14316269568 562138 18446744073709551615 4194304 4196468 140722698222928 140639103306608 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13603] ppid=13590 vsize=13980732 CPUtime=5.13 cores=1,3,5,7
/proc/13592/task/13603/stat : 13603 (java) S 13590 13590 3187 0 -1 1077944384 16082 0 0 0 511 2 0 0 20 0 15 0 3848601 14316269568 562138 18446744073709551615 4194304 4196468 140722698222928 140639102253808 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13604] ppid=13590 vsize=13980732 CPUtime=0.87 cores=1,3,5,7
/proc/13592/task/13604/stat : 13604 (java) S 13590 13590 3187 0 -1 1077944384 7162 0 0 0 85 2 0 0 20 0 15 0 3848601 14316269568 562138 18446744073709551615 4194304 4196468 140722698222928 140639101201008 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13605] ppid=13590 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13592/task/13605/stat : 13605 (java) S 13590 13590 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3848601 14316269568 562138 18446744073709551615 4194304 4196468 140722698222928 140639100148448 140640190969557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
[pid=13592/tid=13606] ppid=13590 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/13592/task/13606/stat : 13606 (java) S 13590 13590 3187 0 -1 1077944384 331 0 0 0 3 6 0 0 20 0 15 0 3848607 14316269568 562138 18446744073709551615 4194304 4196468 140722698222928 140639099095728 140640190970498 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19271680 140722698228181 140722698228356 140722698228356 140722698231759 0
Current children cumulated CPU time (s) 251.1
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 13592 sig 9
??? kill 13590 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 13590 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=974
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=974
# CPU time returned by wait4() is 0.001948
# while last known CPU time is 251.1
#
# 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): 251.1
CPU user time (s): 250.35
CPU system time (s): 0.75
CPU usage (%): 104.621
Max. virtual memory (cumulated for all children) (KiB): 13990244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000974
system time used= 0.000974
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.05774 second user time and 1.51422 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml
MD5SUM	a8532fde929f2c832645b1246a7d35a6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	40
Best CPU time to get the best result obtained on this benchmark	245.19501
Satisfiable
(Un)Satisfiability was proved
Number of variables	947
Number of constraints	43571
Number of domains	1
Minimum domain size	947
Maximum domain size	947
Distribution of domain sizes	[{"size":947,"count":947}]
Minimum variable degree	10
Maximum variable degree	231
Distribution of variable degrees	[{"degree":10,"count":2},{"degree":13,"count":3},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":3},{"degree":20,"count":1},{"degree":24,"count":4},{"degree":26,"count":1},{"degree":29,"count":3},{"degree":31,"count":7},{"degree":32,"count":5},{"degree":33,"count":5},{"degree":34,"count":9},{"degree":35,"count":30},{"degree":36,"count":21},{"degree":37,"count":9},{"degree":38,"count":23},{"degree":39,"count":11},{"degree":40,"count":88},{"degree":41,"count":1},{"degree":42,"count":1},{"degree":43,"count":4},{"degree":44,"count":10},{"degree":45,"count":2},{"degree":46,"count":8},"...",{"degree":184,"count":2}, {"degree":185,"count":5}, {"degree":186,"count":2}, {"degree":187,"count":1}, {"degree":188,"count":1}, {"degree":189,"count":1}, {"degree":190,"count":1}, {"degree":191,"count":2}, {"degree":192,"count":2}, {"degree":193,"count":1}, {"degree":194,"count":2}, {"degree":195,"count":2}, {"degree":196,"count":1}, {"degree":199,"count":2}, {"degree":200,"count":1}, {"degree":202,"count":1}, {"degree":205,"count":1}, {"degree":207,"count":1}, {"degree":210,"count":1}, {"degree":211,"count":1}, {"degree":213,"count":1}, {"degree":218,"count":1}, {"degree":219,"count":1}, {"degree":224,"count":2}, {"degree":231,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":43571}]
Number of extensional constraints	0
Number of intensional constraints	43571
Distribution of constraint types	[{"type":"intension","count":43571}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4255053

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
