0.00/0.01 c small-domain mode
0.17/0.22 c Seed is 1445327110
0.17/0.22 c Constructing HOME/instance-2079008-1247716591.xml with 1706 constraints
0.17/0.22 c Solving 17 backtracks 1 restarts
0.17/0.29 s SATISFIABLE
0.17/0.29 c V0=18, V1=15, V2=17, V3=11, V4=25, V5=8, V6=15, V7=3, V8=7, V9=4, V10=0, V11=0, V12=23, V13=4, V14=5, V15=8, V16=25, V17=25, V18=17, V19=4, V20=18, V21=25, V22=4, V23=1, V24=17, V25=0, V26=19, V27=8, V28=1, V29=8, V30=0, V31=14, V32=23, V33=14, V34=20, V35=21, V36=0, V37=11, V38=15, V39=4, V40=20, V41=25, V42=14, V43=13, V44=4, V45=4, V46=25, V47=4, V48=4, V49=18, V50=0, V51=20,
0.17/0.29 v 18 15 17 11 25 8 15 3 7 4 0 0 23 4 5 8 25 25 17 4 18 25 4 1 17 0 19 8 1 8 0 14 23 14 20 21 0 11 15 4 20 25 14 13 4 4 25 4 4 18 0 20
0.17/0.29 d ASSIGNMENTS 17
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2079008-1247716591/watcher-2079008-1247716591 -o /tmp/evaluation-result-2079008-1247716591/solver-2079008-1247716591 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1445327110 HOME/instance-2079008-1247716591.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 13418
/proc/meminfo: memFree=1344640/2055920 swapFree=4192812/4192956
[pid=13418] ppid=13416 vsize=18576 CPUtime=0
/proc/13418/stat : 13418 (runsolver) R 13416 13418 10970 0 -1 4194368 15 0 0 0 0 0 0 0 23 0 1 0 58725579 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 221236489511 0 0 4096 24578 0 0 0 17 1 0 0
/proc/13418/statm: 4644 284 249 26 0 2626 0
[startup+0.116281 s]
/proc/loadavg: 1.99 2.00 2.00 4/82 13418
/proc/meminfo: memFree=1344640/2055920 swapFree=4192812/4192956
[pid=13418] ppid=13416 vsize=5180 CPUtime=0.09
/proc/13418/stat : 13418 (pcs.small) R 13416 13418 10970 0 -1 4194304 1017 966 0 0 9 0 0 0 18 0 1 0 58725579 5304320 626 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/13418/statm: 1295 626 400 142 0 249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5180
[startup+0.20229 s]
/proc/loadavg: 1.99 2.00 2.00 4/82 13418
/proc/meminfo: memFree=1344640/2055920 swapFree=4192812/4192956
[pid=13418] ppid=13416 vsize=5180 CPUtime=0.17
/proc/13418/stat : 13418 (pcs.small) R 13416 13418 10970 0 -1 4194304 1018 966 0 0 17 0 0 0 18 0 1 0 58725579 5304320 627 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/13418/statm: 1295 627 400 142 0 249 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5180
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.295933
CPU time (s): 0.285956
CPU user time (s): 0.272958
CPU system time (s): 0.012998
CPU usage (%): 96.6286
Max. virtual memory (cumulated for all children) (KiB): 5180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.272958
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= 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= 21
involuntary context switches= 21
runsolver used 0.002999 second user time and 0.004999 second system time
The end