0.00/0.01 c small-domain mode
0.00/0.14 c Seed is 1337301647
0.00/0.14 c Constructing HOME/instance-2079007-1247716590.xml with 1706 constraints
0.00/0.14 c Solving 46 backtracks 2 restarts
0.00/0.14 s SATISFIABLE
0.00/0.14 c V0=3, V1=17, V2=0, V3=15, V4=18, V5=12, V6=18, V7=2, V8=20, V9=1, V10=0, V11=4, V12=0, V13=19, V14=0, V15=18, V16=18, V17=24, V18=17, V19=20, V20=4, V21=18, V22=2, V23=0, V24=11, V25=15, V26=20, V27=17, V28=6, V29=4, V30=0, V31=18, V32=0, V33=17, V34=10, V35=14, V36=17, V37=0, V38=0, V39=8, V40=4, V41=19, V42=17, V43=0, V44=23, V45=19, V46=19, V47=2, V48=0, V49=11, V50=24, V51=0,
0.00/0.14 v 3 17 0 15 18 12 18 2 20 1 0 4 0 19 0 18 18 24 17 20 4 18 2 0 11 15 20 17 6 4 0 18 0 17 10 14 17 0 0 8 4 19 17 0 23 19 19 2 0 11 24 0
0.00/0.14 d ASSIGNMENTS 46
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2079007-1247716590/watcher-2079007-1247716590 -o /tmp/evaluation-result-2079007-1247716590/solver-2079007-1247716590 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1337301647 HOME/instance-2079007-1247716590.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.99 2.00 2.00 4/82 13386
/proc/meminfo: memFree=1372736/2055920 swapFree=4192812/4192956
[pid=13386] ppid=13384 vsize=5356 CPUtime=0
/proc/13386/stat : 13386 (pcssolve) R 13384 13386 10970 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 58725524 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 221236488863 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13386/statm: 1339 241 200 169 0 50 0
[pid=13387] ppid=13386 vsize=3676 CPUtime=0
/proc/13387/stat : 13387 (fgrep) R 13386 13386 10970 0 -1 4194304 137 0 0 0 0 0 0 0 22 0 1 0 58725524 3764224 104 996147200 4194304 4274172 548682068976 18446744073709551615 221236335329 0 0 4096 0 0 0 0 17 1 0 0
/proc/13387/statm: 919 104 84 19 0 43 0
[pid=13388] ppid=13386 vsize=5356 CPUtime=0
/proc/13388/stat : 13388 (pcssolve) R 13386 13386 10970 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 58725524 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 221236488863 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13388/statm: 1339 241 200 169 0 50 0
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.144007
CPU time (s): 0.137978
CPU user time (s): 0.12598
CPU system time (s): 0.011998
CPU usage (%): 95.8135
Max. virtual memory (cumulated for all children) (KiB): 0
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.12598
system time used= 0.011998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1987
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.007998 second system time
The end