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 1383313519
0.00/0.02 c Constructing HOME/instance-2087456-1247727680.xml
0.00/0.05 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.00/0.05 c with 1741 constraints
0.00/0.05 c Solving 1 backtracks
0.18/0.21 s SATISFIABLE
0.18/0.21 c V0=19, V1=12, V2=15, V3=6, V4=30, V5=20, V6=4, V7=28, V8=14, V9=3, V10=1, V11=7, V12=26, V13=17, V14=22, V15=27, V16=8, V17=24, V18=2, V19=29, V20=25, V21=11, V22=5, V23=23, V24=9, V25=18, V26=21, V27=13, V28=16, V29=10,
0.18/0.21 v 19 12 15 6 30 20 4 28 14 3 1 7 26 17 22 27 8 24 2 29 25 11 5 23 9 18 21 13 16 10
0.18/0.21 d ASSIGNMENTS 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2087456-1247727680/watcher-2087456-1247727680 -o /tmp/evaluation-result-2087456-1247727680/solver-2087456-1247727680 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1383313519 HOME/instance-2087456-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: 2.09 2.10 2.03 4/81 9448
/proc/meminfo: memFree=1307080/2055920 swapFree=4192812/4192956
[pid=9448] ppid=9446 vsize=18576 CPUtime=0
/proc/9448/stat : 9448 (runsolver) R 9446 9448 8865 0 -1 4194368 15 0 0 0 0 0 0 0 22 0 1 0 59834579 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 273952599335 0 0 4096 24578 0 0 0 17 1 0 0
/proc/9448/statm: 4644 284 249 26 0 2626 0
[startup+0.0933461 s]
/proc/loadavg: 2.09 2.10 2.03 4/81 9448
/proc/meminfo: memFree=1307080/2055920 swapFree=4192812/4192956
[pid=9448] ppid=9446 vsize=5852 CPUtime=0.07
/proc/9448/stat : 9448 (pcs.big) R 9446 9448 8865 0 -1 4194304 1223 827 0 0 7 0 0 0 25 0 1 0 59834579 5992448 779 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/9448/statm: 1463 779 407 171 0 388 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5852
[startup+0.101342 s]
/proc/loadavg: 2.09 2.10 2.03 4/81 9448
/proc/meminfo: memFree=1307080/2055920 swapFree=4192812/4192956
[pid=9448] ppid=9446 vsize=5852 CPUtime=0.08
/proc/9448/stat : 9448 (pcs.big) R 9446 9448 8865 0 -1 4194304 1234 827 0 0 8 0 0 0 25 0 1 0 59834579 5992448 790 996147200 134512640 135215973 4294956304 18446744073709551615 134641038 0 0 4096 0 0 0 0 17 1 0 0
/proc/9448/statm: 1463 790 407 171 0 388 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5852
Solver just ended. Dumping a history of the last processes samples
[startup+0.201357 s]
/proc/loadavg: 2.09 2.10 2.03 4/81 9448
/proc/meminfo: memFree=1307080/2055920 swapFree=4192812/4192956
[pid=9448] ppid=9446 vsize=7060 CPUtime=0.18
/proc/9448/stat : 9448 (pcs.big) R 9446 9448 8865 0 -1 4194304 1630 827 0 0 18 0 0 0 25 0 1 0 59834579 7229440 1081 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 1 0 0
/proc/9448/statm: 1765 1081 407 171 0 690 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 7060
Child status: 0
Real time (s): 0.218495
CPU time (s): 0.210967
CPU user time (s): 0.197969
CPU system time (s): 0.012998
CPU usage (%): 96.5546
Max. virtual memory (cumulated for all children) (KiB): 7060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.197969
system time used= 0.012998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2497
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= 23
runsolver used 0.004999 second user time and 0.004999 second system time
The end