0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.00/0.02 c Seed is 2050098029
0.00/0.02 c Constructing HOME/instance-2079833-1247717105.xml with 3839 constraints
0.00/0.07 c Solving 8 backtracks
0.88/0.99 s SATISFIABLE
0.88/0.99 c V0=7, V1=15, V2=12, V3=2, V4=20, V5=18, V6=1, V7=1, V8=8, V9=1, V10=11, V11=8, V12=4, V13=4, V14=19, V15=1, V16=3, V17=1, V18=14, V19=3, V20=18, V21=13, V22=2, V23=1, V24=16, V25=5, V26=13, V27=2, V28=17, V29=17, V30=6, V31=5, V32=10, V33=14, V34=15, V35=26, V36=9, V37=2, V38=5, V39=5, V40=17, V41=35, V42=36, V43=37, V44=45, V45=49, V46=50, V47=51, V48=54, V49=67, V50=68, V51=73, V52=75, V53=92, V54=97, V55=111, V56=137, V57=139, V58=144, V59=144, V60=0,
0.88/0.99 v 7 15 12 2 20 18 1 1 8 1 11 8 4 4 19 1 3 1 14 3 18 13 2 1 16 5 13 2 17 17 6 5 10 14 15 26 9 2 5 5 17 35 36 37 45 49 50 51 54 67 68 73 75 92 97 111 137 139 144 144 0
0.88/0.99 d ASSIGNMENTS 8
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2079833-1247717105/watcher-2079833-1247717105 -o /tmp/evaluation-result-2079833-1247717105/solver-2079833-1247717105 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2050098029 HOME/instance-2079833-1247717105.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.10 2.15 4/72 11729
/proc/meminfo: memFree=923472/2055920 swapFree=4192812/4192956
[pid=11729] ppid=11727 vsize=5356 CPUtime=0
/proc/11729/stat : 11729 (pcssolve) R 11727 11729 11247 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 58774552 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 266890439327 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/11729/statm: 1339 241 200 169 0 50 0
[pid=11730] ppid=11729 vsize=3676 CPUtime=0
/proc/11730/stat : 11730 (fgrep) R 11729 11729 11247 0 -1 4194304 137 0 0 0 0 0 0 0 22 0 1 0 58774552 3764224 104 996147200 4194304 4274172 548682068976 18446744073709551615 266890285793 0 0 4096 0 0 0 0 17 1 0 0
/proc/11730/statm: 919 104 84 19 0 43 0
[pid=11731] ppid=11729 vsize=5356 CPUtime=0
/proc/11731/stat : 11731 (pcssolve) R 11729 11729 11247 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 58774553 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 266890439327 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/11731/statm: 1339 241 200 169 0 50 0
[startup+0.0878499 s]
/proc/loadavg: 2.00 2.10 2.15 4/72 11729
/proc/meminfo: memFree=923472/2055920 swapFree=4192812/4192956
[pid=11729] ppid=11727 vsize=6004 CPUtime=0.06
/proc/11729/stat : 11729 (pcs.big) R 11727 11729 11247 0 -1 4194304 1202 751 0 0 6 0 0 0 23 0 1 0 58774552 6148096 831 996147200 134512640 135215973 4294956304 18446744073709551615 135020335 0 0 4096 0 0 0 0 17 1 0 0
/proc/11729/statm: 1501 831 404 171 0 426 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6004
[startup+0.102626 s]
/proc/loadavg: 2.00 2.10 2.15 4/72 11729
/proc/meminfo: memFree=923472/2055920 swapFree=4192812/4192956
[pid=11729] ppid=11727 vsize=6004 CPUtime=0.08
/proc/11729/stat : 11729 (pcs.big) R 11727 11729 11247 0 -1 4194304 1208 751 0 0 8 0 0 0 23 0 1 0 58774552 6148096 837 996147200 134512640 135215973 4294956304 18446744073709551615 135013099 0 0 4096 0 0 0 0 17 1 0 0
/proc/11729/statm: 1501 837 404 171 0 426 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6004
[startup+0.301638 s]
/proc/loadavg: 2.00 2.10 2.15 4/72 11729
/proc/meminfo: memFree=923472/2055920 swapFree=4192812/4192956
[pid=11729] ppid=11727 vsize=6284 CPUtime=0.28
/proc/11729/stat : 11729 (pcs.big) R 11727 11729 11247 0 -1 4194304 1256 751 0 0 28 0 0 0 25 0 1 0 58774552 6434816 885 996147200 134512640 135215973 4294956304 18446744073709551615 135020335 0 0 4096 0 0 0 0 17 1 0 0
/proc/11729/statm: 1571 885 406 171 0 496 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6284
[startup+0.701682 s]
/proc/loadavg: 2.00 2.10 2.15 4/72 11729
/proc/meminfo: memFree=923472/2055920 swapFree=4192812/4192956
[pid=11729] ppid=11727 vsize=6284 CPUtime=0.68
/proc/11729/stat : 11729 (pcs.big) R 11727 11729 11247 0 -1 4194304 1256 751 0 0 68 0 0 0 25 0 1 0 58774552 6434816 885 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/11729/statm: 1571 885 406 171 0 496 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6284
Solver just ended. Dumping a history of the last processes samples
[startup+0.901705 s]
/proc/loadavg: 2.00 2.10 2.15 4/72 11729
/proc/meminfo: memFree=923472/2055920 swapFree=4192812/4192956
[pid=11729] ppid=11727 vsize=6284 CPUtime=0.88
/proc/11729/stat : 11729 (pcs.big) R 11727 11729 11247 0 -1 4194304 1258 751 0 0 88 0 0 0 25 0 1 0 58774552 6434816 887 996147200 134512640 135215973 4294956304 18446744073709551615 134590143 0 0 4096 0 0 0 0 17 1 0 0
/proc/11729/statm: 1571 887 406 171 0 496 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 6284
Child status: 0
Real time (s): 1.00063
CPU time (s): 0.991848
CPU user time (s): 0.98385
CPU system time (s): 0.007998
CPU usage (%): 99.1226
Max. virtual memory (cumulated for all children) (KiB): 6284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.98385
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2013
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= 19
involuntary context switches= 34
runsolver used 0.004999 second user time and 0.009998 second system time
The end