0.00/0.01 c small-domain mode
0.00/0.01 c Seed is 1930548417
0.00/0.01 c Constructing HOME/instance-2056898-1247694187.xml with 215 constraints
0.00/0.02 c Solving 0 backtracks
0.00/0.02 s SATISFIABLE
0.00/0.02 c V0=0, V1=1, V2=0, V3=0, V4=0, V5=1, V6=0, V7=0, V8=2, V9=0, V10=0, V11=0, V12=0, V13=1, V14=1, V15=0, V16=1, V17=1, V18=0, V19=0, V20=0, V21=0, V22=0, V23=0, V24=0, V25=0, V26=1, V27=1, V28=0, V29=1, V30=1, V31=1, V32=0, V33=1, V34=0, V35=0, V36=0, V37=0, V38=0, V39=0, V40=1, V41=1, V42=0, V43=1, V44=1, V45=1, V46=1, V47=0, V48=0, V49=0, V50=0, V51=0, V52=0, V53=1, V54=1, V55=0, V56=1, V57=1, V58=1, V59=0, V60=1, V61=0, V62=0, V63=0, V64=0, V65=1, V66=1, V67=0, V68=1, V69=1, V70=1,
0.00/0.02 v 0 1 0 0 0 1 0 0 2 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 1 1 0 0 0 0 0 0 1 1 0 1 1 1 0 1 0 0 0 0 1 1 0 1 1 1
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-2056898-1247694187/watcher-2056898-1247694187 -o /tmp/evaluation-result-2056898-1247694187/solver-2056898-1247694187 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1930548417 HOME/instance-2056898-1247694187.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: 0.00 0.00 0.00 3/68 11035
/proc/meminfo: memFree=1085248/2055920 swapFree=4192812/4192956
[pid=11035] ppid=11033 vsize=5356 CPUtime=0
/proc/11035/stat : 11035 (pcssolve) S 11033 11035 10964 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 56483933 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11035/statm: 1339 242 201 169 0 50 0
[pid=11036] ppid=11035 vsize=5356 CPUtime=0
/proc/11036/stat : 11036 (pcssolve) R 11035 11035 10964 0 -1 4194368 22 0 0 0 0 0 0 0 19 0 1 0 56483934 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 249069890855 0 0 4096 0 0 0 0 17 1 0 0
/proc/11036/statm: 1339 243 202 169 0 50 0
[pid=11037] ppid=11035 vsize=3676 CPUtime=0
/proc/11037/stat : 11037 (grep) S 11035 11035 10964 0 -1 4194304 154 0 0 0 0 0 0 0 18 0 1 0 56483934 3764224 121 996147200 4194304 4274172 548682069040 18446744073709551615 249070059602 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/11037/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.0209439
CPU time (s): 0.018996
CPU user time (s): 0.009998
CPU system time (s): 0.008998
CPU usage (%): 90.6995
Max. virtual memory (cumulated for all children) (KiB): 0
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.009998
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= 1641
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= 5
runsolver used 0.002999 second user time and 0.005999 second system time
The end