0.00/0.01 c has operations which may create big domains
0.00/0.01 c big-domain mode
0.18/0.22 c Seed is 928355399
0.18/0.22 c Constructing HOME/instance-2065984-1247704164.xml
0.18/0.22 c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V0)
0.18/0.22 c deduced all_different(V15,V16,V17,V18,V19,V20,V21,V22,V23,V24,V25,V26,V14)
0.18/0.22 c with 210 constraints
0.18/0.22 c Solving 174 backtracks 4 restarts
0.28/0.35 s SATISFIABLE
0.28/0.35 c V0=2, V1=12, V2=1, V3=13, V4=0, V5=9, V6=3, V7=11, V8=4, V9=6, V10=10, V11=5, V12=8, V13=7, V14=9, V15=10, V16=11, V17=12, V18=8, V19=5, V20=7, V21=6, V22=1, V23=3, V24=4, V25=2, V26=0,
0.28/0.35 v 2 12 1 13 0 9 3 11 4 6 10 5 8 7 9 10 11 12 8 5 7 6 1 3 4 2 0
0.28/0.35 d ASSIGNMENTS 174
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2065984-1247704164/watcher-2065984-1247704164 -o /tmp/evaluation-result-2065984-1247704164/solver-2065984-1247704164 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 928355399 HOME/instance-2065984-1247704164.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 10299
/proc/meminfo: memFree=1444360/2055920 swapFree=4192812/4192956
[pid=10299] ppid=10297 vsize=5356 CPUtime=0
/proc/10299/stat : 10299 (pcssolve) R 10297 10299 9232 0 -1 4194304 348 644 0 0 0 0 0 0 16 0 1 0 57480820 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 231882680991 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/10299/statm: 1339 243 202 169 0 50 0
[pid=10304] ppid=10299 vsize=5356 CPUtime=0
/proc/10304/stat : 10304 (pcssolve) R 10299 10299 9232 0 -1 4194368 21 0 0 0 0 0 0 0 18 0 1 0 57480821 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 231882681639 0 0 4096 0 0 0 0 17 0 0 0
/proc/10304/statm: -- couldn't open statm file --
[startup+0.0132839 s]
/proc/loadavg: 2.00 2.01 1.94 4/81 10299
/proc/meminfo: memFree=1444360/2055920 swapFree=4192812/4192956
[pid=10299] ppid=10297 vsize=4336 CPUtime=0
/proc/10299/stat : 10299 (pcs.big) R 10297 10299 9232 0 -1 4194304 436 818 0 0 0 0 0 0 17 0 1 0 57480820 4440064 59 996147200 134512640 135215973 4294956304 18446744073709551615 6734628 0 0 4096 0 0 0 0 17 1 0 0
/proc/10299/statm: 1084 59 43 171 0 13 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4336
[startup+0.101297 s]
/proc/loadavg: 2.00 2.01 1.94 4/81 10299
/proc/meminfo: memFree=1444360/2055920 swapFree=4192812/4192956
[pid=10299] ppid=10297 vsize=4672 CPUtime=0.08
/proc/10299/stat : 10299 (pcs.big) R 10297 10299 9232 0 -1 4194304 908 818 0 0 8 0 0 0 17 0 1 0 57480820 4784128 517 996147200 134512640 135215973 4294956304 18446744073709551615 134589784 0 0 4096 0 0 0 0 17 1 0 0
/proc/10299/statm: 1168 517 411 171 0 93 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4672
[startup+0.301323 s]
/proc/loadavg: 2.00 2.01 1.94 4/81 10299
/proc/meminfo: memFree=1444360/2055920 swapFree=4192812/4192956
[pid=10299] ppid=10297 vsize=5124 CPUtime=0.28
/proc/10299/stat : 10299 (pcs.big) R 10297 10299 9232 0 -1 4194304 983 818 0 0 28 0 0 0 19 0 1 0 57480820 5246976 592 996147200 134512640 135215973 4294956304 18446744073709551615 135096516 0 0 4096 0 0 0 0 17 1 0 0
/proc/10299/statm: 1281 592 411 171 0 206 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5124
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.35521
CPU time (s): 0.356945
CPU user time (s): 0.345947
CPU system time (s): 0.010998
CPU usage (%): 100.488
Max. virtual memory (cumulated for all children) (KiB): 5124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.345947
system time used= 0.010998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1818
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= 20
involuntary context switches= 12
runsolver used 0.001999 second user time and 0.007998 second system time
The end