0.00/0.01 c has operations which may create big domains
0.00/0.01 c big-domain mode
0.00/0.02 c Seed is 398493433
0.00/0.02 c Constructing HOME/instance-2066017-1247704207.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 143 backtracks 4 restarts
0.38/0.48 s SATISFIABLE
0.38/0.48 c V0=4, V1=14, V2=3, V3=15, V4=2, V5=16, V6=1, V7=17, V8=0, V9=9, V10=8, V11=10, V12=7, V13=11, V14=6, V15=12, V16=5, V17=13, V18=9, V19=10, V20=11, V21=12, V22=13, V23=14, V24=15, V25=16, V26=8, V27=0, V28=1, V29=2, V30=3, V31=4, V32=5, V33=6, V34=7,
0.38/0.48 v 4 14 3 15 2 16 1 17 0 9 8 10 7 11 6 12 5 13 9 10 11 12 13 14 15 16 8 0 1 2 3 4 5 6 7
0.38/0.48 d ASSIGNMENTS 143
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2066017-1247704207/watcher-2066017-1247704207 -o /tmp/evaluation-result-2066017-1247704207/solver-2066017-1247704207 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 398493433 HOME/instance-2066017-1247704207.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 15182
/proc/meminfo: memFree=771792/2055920 swapFree=4192812/4192956
[pid=15182] ppid=15180 vsize=18576 CPUtime=0
/proc/15182/stat : 15182 (runsolver) R 15180 15182 14338 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 57484848 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 213113665258 0 0 4096 24578 0 0 0 17 1 0 0
/proc/15182/statm: 4644 284 249 26 0 2626 0
[startup+0.066395 s]
/proc/loadavg: 2.22 2.09 2.05 4/82 15182
/proc/meminfo: memFree=771792/2055920 swapFree=4192812/4192956
[pid=15182] ppid=15180 vsize=4628 CPUtime=0.04
/proc/15182/stat : 15182 (pcs.big) R 15180 15182 14338 0 -1 4194304 900 826 0 0 4 0 0 0 25 0 1 0 57484848 4739072 509 996147200 134512640 135215973 4294956304 18446744073709551615 134593029 0 0 4096 0 0 0 0 17 1 0 0
/proc/15182/statm: 1157 509 411 171 0 82 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4628
[startup+0.101401 s]
/proc/loadavg: 2.22 2.09 2.05 4/82 15182
/proc/meminfo: memFree=771792/2055920 swapFree=4192812/4192956
[pid=15182] ppid=15180 vsize=4760 CPUtime=0.08
/proc/15182/stat : 15182 (pcs.big) R 15180 15182 14338 0 -1 4194304 912 826 0 0 8 0 0 0 25 0 1 0 57484848 4874240 521 996147200 134512640 135215973 4294956304 18446744073709551615 134585626 0 0 4096 0 0 0 0 17 1 0 0
/proc/15182/statm: 1190 521 411 171 0 115 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4760
[startup+0.301438 s]
/proc/loadavg: 2.22 2.09 2.05 4/82 15182
/proc/meminfo: memFree=771792/2055920 swapFree=4192812/4192956
[pid=15182] ppid=15180 vsize=5020 CPUtime=0.28
/proc/15182/stat : 15182 (pcs.big) R 15180 15182 14338 0 -1 4194304 989 826 0 0 28 0 0 0 25 0 1 0 57484848 5140480 598 996147200 134512640 135215973 4294956304 18446744073709551615 135095390 0 0 4096 0 0 0 0 17 1 0 0
/proc/15182/statm: 1255 598 411 171 0 180 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5020
Solver just ended. Dumping a history of the last processes samples
[startup+0.401458 s]
/proc/loadavg: 2.22 2.09 2.05 4/82 15182
/proc/meminfo: memFree=771792/2055920 swapFree=4192812/4192956
[pid=15182] ppid=15180 vsize=5148 CPUtime=0.38
/proc/15182/stat : 15182 (pcs.big) R 15180 15182 14338 0 -1 4194304 1025 826 0 0 38 0 0 0 25 0 1 0 57484848 5271552 634 996147200 134512640 135215973 4294956304 18446744073709551615 3599831 0 0 4096 0 0 0 0 17 1 0 0
/proc/15182/statm: 1287 634 411 171 0 212 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 5148
Child status: 0
Real time (s): 0.48452
CPU time (s): 0.478926
CPU user time (s): 0.464929
CPU system time (s): 0.013997
CPU usage (%): 98.8454
Max. virtual memory (cumulated for all children) (KiB): 5148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.464929
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1865
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= 21
involuntary context switches= 31
runsolver used 0.001999 second user time and 0.006998 second system time
The end