0.00/0.01 c small-domain mode
0.00/0.02 c Seed is 1453995214
0.00/0.02 c Constructing HOME/instance-2085718-1247726300.xml with 201 constraints
0.00/0.02 c Solving 0 backtracks
0.00/0.02 s SATISFIABLE
0.00/0.02 c V0=3, V1=0, V2=1, V3=1, V4=0, V5=0, V6=1, V7=1, V8=0, V9=4, V10=1, V11=3, V12=2, V13=2, V14=2, V15=2, V16=2, V17=2, V18=2, V19=2, V20=2, V21=2, V22=2, V23=2, V24=0, V25=0, V26=0, V27=0, V28=0, V29=0, V30=0, V31=0, V32=0, V33=0, V34=0, V35=0, V36=1, V37=1, V38=1, V39=1, V40=1, V41=1, V42=1, V43=1, V44=1, V45=1, V46=1, V47=1, V48=3, V49=1, V50=2, V51=0,
0.00/0.02 v 3 0 1 1 0 0 1 1 0 4 1 3 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 3 1 2 0
0.00/0.02 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-2085718-1247726300/watcher-2085718-1247726300 -o /tmp/evaluation-result-2085718-1247726300/solver-2085718-1247726300 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1453995214 HOME/instance-2085718-1247726300.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.01 1.99 1.99 4/82 15476
/proc/meminfo: memFree=1633496/2055920 swapFree=4192812/4192956
[pid=15476] ppid=15474 vsize=5356 CPUtime=0
/proc/15476/stat : 15476 (pcssolve) S 15474 15476 14707 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 59695371 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15476/statm: 1339 242 201 169 0 50 0
[pid=15477] ppid=15476 vsize=5356 CPUtime=0
/proc/15477/stat : 15477 (pcssolve) R 15476 15476 14707 0 -1 4194368 22 0 0 0 0 0 0 0 18 0 1 0 59695371 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 243665530151 0 0 4096 0 0 0 0 17 1 0 0
/proc/15477/statm: 1339 243 202 169 0 50 0
[pid=15478] ppid=15476 vsize=3676 CPUtime=0
/proc/15478/stat : 15478 (grep) S 15476 15476 14707 0 -1 4194304 154 0 0 0 0 0 0 0 18 0 1 0 59695371 3764224 121 996147200 4194304 4274172 548682069040 18446744073709551615 243665698898 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/15478/statm: 919 121 99 19 0 43 0
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.0241381
CPU time (s): 0.022996
CPU user time (s): 0.009998
CPU system time (s): 0.012998
CPU usage (%): 95.2686
Max. virtual memory (cumulated for all children) (KiB): 0
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.009998
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= 1652
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= 5
runsolver used 0.003999 second user time and 0.005999 second system time
The end