0.00/0.01 c has operations which may create big domains
0.00/0.01 c big-domain mode
0.17/0.21 c Seed is 30828541
0.17/0.21 c Constructing HOME/instance-2087455-1247727680.xml
0.17/0.21 c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V16,V17,V18,V19,V20,V21,V22,V23,V24,V25,V26,V27,V28,V29,V0)
0.17/0.21 c with 1741 constraints
0.17/0.21 c Solving 0 backtracks
0.17/0.21 s SATISFIABLE
0.17/0.21 c V0=26, V1=23, V2=16, V3=11, V4=17, V5=8, V6=2, V7=13, V8=20, V9=10, V10=15, V11=28, V12=19, V13=29, V14=24, V15=7, V16=1, V17=12, V18=27, V19=30, V20=3, V21=14, V22=21, V23=4, V24=22, V25=25, V26=6, V27=9, V28=5, V29=18,
0.17/0.21 v 26 23 16 11 17 8 2 13 20 10 15 28 19 29 24 7 1 12 27 30 3 14 21 4 22 25 6 9 5 18
0.17/0.21 d ASSIGNMENTS 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2087455-1247727680/watcher-2087455-1247727680 -o /tmp/evaluation-result-2087455-1247727680/solver-2087455-1247727680 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 30828541 HOME/instance-2087455-1247727680.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: 1.88 2.02 1.99 4/72 18224
/proc/meminfo: memFree=1275080/2055920 swapFree=4192812/4192956
[pid=18224] ppid=18222 vsize=18576 CPUtime=0
/proc/18224/stat : 18224 (runsolver) R 18222 18224 17427 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59835747 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 259353275687 0 0 4096 24578 0 0 0 17 1 0 0
/proc/18224/statm: 4644 284 249 26 0 2626 0
[startup+0.093512 s]
/proc/loadavg: 1.88 2.02 1.99 4/72 18224
/proc/meminfo: memFree=1275080/2055920 swapFree=4192812/4192956
[pid=18224] ppid=18222 vsize=5852 CPUtime=0.07
/proc/18224/stat : 18224 (pcs.big) R 18222 18224 17427 0 -1 4194304 1229 827 0 0 7 0 0 0 18 0 1 0 59835747 5992448 785 996147200 134512640 135215973 4294956320 18446744073709551615 134590548 0 0 4096 0 0 0 0 17 1 0 0
/proc/18224/statm: 1463 785 407 171 0 388 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5852
[startup+0.102508 s]
/proc/loadavg: 1.88 2.02 1.99 4/72 18224
/proc/meminfo: memFree=1275080/2055920 swapFree=4192812/4192956
[pid=18224] ppid=18222 vsize=5984 CPUtime=0.08
/proc/18224/stat : 18224 (pcs.big) R 18222 18224 17427 0 -1 4194304 1254 827 0 0 8 0 0 0 18 0 1 0 59835747 6127616 810 996147200 134512640 135215973 4294956320 18446744073709551615 134599883 0 0 4096 0 0 0 0 17 1 0 0
/proc/18224/statm: 1496 810 407 171 0 421 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5984
Solver just ended. Dumping a history of the last processes samples
[startup+0.201525 s]
/proc/loadavg: 1.88 2.02 1.99 4/72 18224
/proc/meminfo: memFree=1275080/2055920 swapFree=4192812/4192956
[pid=18224] ppid=18222 vsize=7192 CPUtime=0.17
/proc/18224/stat : 18224 (pcs.big) R 18222 18224 17427 0 -1 4194304 1675 827 0 0 17 0 0 0 18 0 1 0 59835747 7364608 1126 996147200 134512640 135215973 4294956320 18446744073709551615 134592489 0 0 4096 0 0 0 0 17 1 0 0
/proc/18224/statm: 1798 1126 407 171 0 723 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 7192
Child status: 0
Real time (s): 0.210012
CPU time (s): 0.203968
CPU user time (s): 0.189971
CPU system time (s): 0.013997
CPU usage (%): 97.1221
Max. virtual memory (cumulated for all children) (KiB): 7192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.189971
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= 2520
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= 12
runsolver used 0.002999 second user time and 0.005999 second system time
The end