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 1809508128
0.00/0.02 c Constructing HOME/instance-2065994-1247704178.xml
0.00/0.03 c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V0)
0.00/0.03 c deduced all_different(V16,V17,V18,V19,V20,V21,V22,V23,V24,V25,V26,V27,V28,V15)
0.00/0.03 c with 240 constraints
0.00/0.03 c Solving 28 backtracks 1 restarts
0.04/0.09 s SATISFIABLE
0.04/0.09 c V0=7, V1=5, V2=10, V3=3, V4=11, V5=1, V6=14, V7=0, V8=12, V9=6, V10=9, V11=8, V12=4, V13=13, V14=2, V15=1, V16=4, V17=6, V18=7, V19=9, V20=12, V21=13, V22=11, V23=5, V24=2, V25=0, V26=3, V27=8, V28=10,
0.04/0.09 v 7 5 10 3 11 1 14 0 12 6 9 8 4 13 2 1 4 6 7 9 12 13 11 5 2 0 3 8 10
0.04/0.09 d ASSIGNMENTS 28
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2065994-1247704178/watcher-2065994-1247704178 -o /tmp/evaluation-result-2065994-1247704178/solver-2065994-1247704178 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1809508128 HOME/instance-2065994-1247704178.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.02 2.03 2.00 4/81 16417
/proc/meminfo: memFree=1102352/2055920 swapFree=4192812/4192956
[pid=16417] ppid=16415 vsize=18576 CPUtime=0
/proc/16417/stat : 16417 (runsolver) R 16415 16417 15492 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 57481718 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 221954764071 0 0 4096 24578 0 0 0 17 1 0 0
/proc/16417/statm: 4644 284 249 26 0 2626 0
[startup+0.0687431 s]
/proc/loadavg: 2.02 2.03 2.00 4/81 16417
/proc/meminfo: memFree=1102352/2055920 swapFree=4192812/4192956
[pid=16417] ppid=16415 vsize=4640 CPUtime=0.04
/proc/16417/stat : 16417 (pcs.big) R 16415 16417 15492 0 -1 4194304 887 821 0 0 4 0 0 0 22 0 1 0 57481718 4751360 496 996147200 134512640 135215973 4294956304 18446744073709551615 134532896 0 0 4096 0 0 0 0 17 0 0 0
/proc/16417/statm: 1160 496 411 171 0 85 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4640
Solver just ended. Dumping a history of the last processes samples
[startup+0.0687431 s]
/proc/loadavg: 2.02 2.03 2.00 4/81 16417
/proc/meminfo: memFree=1102352/2055920 swapFree=4192812/4192956
[pid=16417] ppid=16415 vsize=4640 CPUtime=0.04
/proc/16417/stat : 16417 (pcs.big) R 16415 16417 15492 0 -1 4194304 887 821 0 0 4 0 0 0 22 0 1 0 57481718 4751360 496 996147200 134512640 135215973 4294956304 18446744073709551615 134532896 0 0 4096 0 0 0 0 17 0 0 0
/proc/16417/statm: 1160 496 411 171 0 85 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4640
Child status: 0
Real time (s): 0.0954039
CPU time (s): 0.081986
CPU user time (s): 0.073988
CPU system time (s): 0.007998
CPU usage (%): 85.9357
Max. virtual memory (cumulated for all children) (KiB): 4640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.073988
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= 1720
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.001999 second user time and 0.005999 second system time
The end