0.00/0.02 c has operations which may create big domains
0.00/0.02 c big-domain mode
0.00/0.02 c Seed is 62676617
0.00/0.02 c Constructing HOME/instance-2066016-1247704206.xml
0.00/0.03 c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V16,V17,V0)
0.00/0.03 c deduced all_different(V19,V20,V21,V22,V23,V24,V25,V26,V27,V28,V29,V30,V31,V32,V33,V34,V18)
0.00/0.03 c with 342 constraints
0.00/0.03 c Solving 19 backtracks 1 restarts
0.04/0.08 s SATISFIABLE
0.04/0.08 c V0=9, V1=3, V2=17, V3=0, V4=16, V5=1, V6=13, V7=8, V8=10, V9=11, V10=7, V11=4, V12=15, V13=2, V14=12, V15=5, V16=14, V17=6, V18=5, V19=13, V20=16, V21=15, V22=14, V23=11, V24=4, V25=1, V26=0, V27=3, V28=2, V29=10, V30=12, V31=9, V32=6, V33=8, V34=7,
0.04/0.08 v 9 3 17 0 16 1 13 8 10 11 7 4 15 2 12 5 14 6 5 13 16 15 14 11 4 1 0 3 2 10 12 9 6 8 7
0.04/0.08 d ASSIGNMENTS 19
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2066016-1247704206/watcher-2066016-1247704206 -o /tmp/evaluation-result-2066016-1247704206/solver-2066016-1247704206 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 62676617 HOME/instance-2066016-1247704206.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.22 2.09 2.05 4/82 15150
/proc/meminfo: memFree=771792/2055920 swapFree=4192812/4192956
[pid=15150] ppid=15148 vsize=18576 CPUtime=0
/proc/15150/stat : 15150 (runsolver) R 15148 15150 14338 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 57484769 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 213116316967 0 0 4096 24578 0 0 0 17 1 0 0
/proc/15150/statm: 4644 284 249 26 0 2626 0
[startup+0.072837 s]
/proc/loadavg: 2.22 2.09 2.05 4/82 15150
/proc/meminfo: memFree=771792/2055920 swapFree=4192812/4192956
[pid=15150] ppid=15148 vsize=4628 CPUtime=0.04
/proc/15150/stat : 15150 (pcs.big) R 15148 15150 14338 0 -1 4194304 898 826 0 0 4 0 0 0 22 0 1 0 57484769 4739072 507 996147200 134512640 135215973 4294956320 18446744073709551615 134632056 0 0 4096 0 0 0 0 17 0 0 0
/proc/15150/statm: 1157 507 411 171 0 82 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4628
Solver just ended. Dumping a history of the last processes samples
[startup+0.072837 s]
/proc/loadavg: 2.22 2.09 2.05 4/82 15150
/proc/meminfo: memFree=771792/2055920 swapFree=4192812/4192956
[pid=15150] ppid=15148 vsize=4628 CPUtime=0.04
/proc/15150/stat : 15150 (pcs.big) R 15148 15150 14338 0 -1 4194304 898 826 0 0 4 0 0 0 22 0 1 0 57484769 4739072 507 996147200 134512640 135215973 4294956320 18446744073709551615 134632056 0 0 4096 0 0 0 0 17 0 0 0
/proc/15150/statm: 1157 507 411 171 0 82 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4628
Child status: 0
Real time (s): 0.0831709
CPU time (s): 0.069988
CPU user time (s): 0.06299
CPU system time (s): 0.006998
CPU usage (%): 84.1496
Max. virtual memory (cumulated for all children) (KiB): 4628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.06299
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1730
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= 22
involuntary context switches= 14
runsolver used 0.000999 second user time and 0.007998 second system time
The end