0.00/0.02 c small-domain mode
0.00/0.02 c Seed is 1354352196
0.00/0.02 c Constructing HOME/instance-2076378-1247714149.xml with 892 constraints
0.04/0.07 c Solving 33 backtracks 1 restarts
0.27/0.38 s SATISFIABLE
0.27/0.38 c V0=12, V1=14, V2=4, V3=3, V4=0, V5=17, V6=15, V7=0, V8=2, V9=14, V10=22, V11=1, V12=8, V13=17, V14=3, V15=1, V16=11, V17=20, V18=17, V19=2, V20=17, V21=20, V22=25, V23=19, V24=0, V25=6, V26=0, V27=11, V28=8, V29=11, V30=20, V31=11, V32=11, V33=22, V34=8, V35=18, V36=15, V37=18, V38=0, V39=20, V40=18, V41=0, V42=6, V43=4, V44=18, V45=19, V46=4, V47=17, V48=13, V49=25, V50=0, V51=15,
0.27/0.38 v 12 14 4 3 0 17 15 0 2 14 22 1 8 17 3 1 11 20 17 2 17 20 25 19 0 6 0 11 8 11 20 11 11 22 8 18 15 18 0 20 18 0 6 4 18 19 4 17 13 25 0 15
0.27/0.38 d ASSIGNMENTS 33
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2076378-1247714149/watcher-2076378-1247714149 -o /tmp/evaluation-result-2076378-1247714149/solver-2076378-1247714149 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1354352196 HOME/instance-2076378-1247714149.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.52 2.45 2.29 4/83 15366
/proc/meminfo: memFree=581520/2055920 swapFree=4192812/4192956
[pid=15366] ppid=15364 vsize=18576 CPUtime=0
/proc/15366/stat : 15366 (runsolver) R 15364 15366 14625 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 58480503 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 234045893927 0 0 4096 24578 0 0 0 17 0 0 0
/proc/15366/statm: 4644 284 249 26 0 2626 0
[startup+0.068759 s]
/proc/loadavg: 2.52 2.45 2.29 4/83 15366
/proc/meminfo: memFree=581520/2055920 swapFree=4192812/4192956
[pid=15366] ppid=15364 vsize=4880 CPUtime=0.04
/proc/15366/stat : 15366 (pcs.small) R 15364 15366 14625 0 -1 4194304 934 957 0 0 4 0 0 0 20 0 1 0 58480503 4997120 543 996147200 134512640 135095119 4294956304 18446744073709551615 4159729538 0 0 4096 0 0 0 0 17 1 0 0
/proc/15366/statm: 1220 543 388 142 0 174 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4880
[startup+0.101762 s]
/proc/loadavg: 2.52 2.45 2.29 4/83 15366
/proc/meminfo: memFree=581520/2055920 swapFree=4192812/4192956
[pid=15366] ppid=15364 vsize=5016 CPUtime=0.07
/proc/15366/stat : 15366 (pcs.small) R 15364 15366 14625 0 -1 4194304 981 957 0 0 7 0 0 0 20 0 1 0 58480503 5136384 590 996147200 134512640 135095119 4294956304 18446744073709551615 134927029 0 0 4096 0 0 0 0 17 1 0 0
/proc/15366/statm: 1254 590 400 142 0 208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5016
[startup+0.301782 s]
/proc/loadavg: 2.52 2.45 2.29 4/83 15366
/proc/meminfo: memFree=581520/2055920 swapFree=4192812/4192956
[pid=15366] ppid=15364 vsize=5016 CPUtime=0.27
/proc/15366/stat : 15366 (pcs.small) R 15364 15366 14625 0 -1 4194304 981 957 0 0 27 0 0 0 22 0 1 0 58480503 5136384 590 996147200 134512640 135095119 4294956304 18446744073709551615 134918211 0 0 4096 0 0 0 0 17 1 0 0
/proc/15366/statm: 1254 590 400 142 0 208 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5016
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.386785
CPU time (s): 0.374942
CPU user time (s): 0.365944
CPU system time (s): 0.008998
CPU usage (%): 96.9381
Max. virtual memory (cumulated for all children) (KiB): 5016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.365944
system time used= 0.008998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1940
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= 23
involuntary context switches= 30
runsolver used 0.006998 second user time and 0.002999 second system time
The end