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 1255413441
0.00/0.02 c Constructing HOME/instance-2065983-1247704163.xml
0.00/0.03 c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V0)
0.00/0.03 c deduced all_different(V15,V16,V17,V18,V19,V20,V21,V22,V23,V24,V25,V26,V14)
0.00/0.03 c with 210 constraints
0.00/0.03 c Solving 16 backtracks 1 restarts
0.00/0.07 s SATISFIABLE
0.00/0.07 c V0=6, V1=7, V2=5, V3=8, V4=4, V5=9, V6=3, V7=10, V8=2, V9=11, V10=1, V11=12, V12=0, V13=13, V14=0, V15=1, V16=2, V17=3, V18=4, V19=5, V20=6, V21=7, V22=8, V23=9, V24=10, V25=11, V26=12,
0.00/0.07 v 6 7 5 8 4 9 3 10 2 11 1 12 0 13 0 1 2 3 4 5 6 7 8 9 10 11 12
0.00/0.07 d ASSIGNMENTS 16
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2065983-1247704163/watcher-2065983-1247704163 -o /tmp/evaluation-result-2065983-1247704163/solver-2065983-1247704163 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1255413441 HOME/instance-2065983-1247704163.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.01 1.94 4/81 10267
/proc/meminfo: memFree=1444376/2055920 swapFree=4192812/4192956
[pid=10267] ppid=10265 vsize=18576 CPUtime=0
/proc/10267/stat : 10267 (runsolver) R 10265 10267 9232 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 57480743 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 231882681639 0 0 4096 24578 0 0 0 17 1 0 0
/proc/10267/statm: 4644 284 249 26 0 2626 0
[startup+0.0336561 s]
/proc/loadavg: 2.00 2.01 1.94 4/81 10267
/proc/meminfo: memFree=1444376/2055920 swapFree=4192812/4192956
[pid=10267] ppid=10265 vsize=4496 CPUtime=0
/proc/10267/stat : 10267 (pcs.big) R 10265 10267 9232 0 -1 4194304 863 818 0 0 0 0 0 0 25 0 1 0 57480743 4603904 472 996147200 134512640 135215973 4294956304 18446744073709551615 7167998 0 0 4096 0 0 0 0 17 0 0 0
/proc/10267/statm: 1124 472 411 171 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4496
Solver just ended. Dumping a history of the last processes samples
[startup+0.0336561 s]
/proc/loadavg: 2.00 2.01 1.94 4/81 10267
/proc/meminfo: memFree=1444376/2055920 swapFree=4192812/4192956
[pid=10267] ppid=10265 vsize=4496 CPUtime=0
/proc/10267/stat : 10267 (pcs.big) R 10265 10267 9232 0 -1 4194304 863 818 0 0 0 0 0 0 25 0 1 0 57480743 4603904 472 996147200 134512640 135215973 4294956304 18446744073709551615 7167998 0 0 4096 0 0 0 0 17 0 0 0
/proc/10267/statm: 1124 472 411 171 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4496
Child status: 0
Real time (s): 0.0722869
CPU time (s): 0.05999
CPU user time (s): 0.050992
CPU system time (s): 0.008998
CPU usage (%): 82.9888
Max. virtual memory (cumulated for all children) (KiB): 4496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.050992
system time used= 0.008998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1702
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.003999 second user time and 0.004999 second system time
The end