0.00/0.01 c small-domain mode
0.00/0.01 c Seed is 1930548417
0.00/0.01 c Constructing HOME/instance-2056897-1247694187.xml with 215 constraints
0.00/0.01 c Solving 0 backtracks
0.00/0.01 s SATISFIABLE
0.00/0.01 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.01 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.01 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-2056897-1247694187/watcher-2056897-1247694187 -o /tmp/evaluation-result-2056897-1247694187/solver-2056897-1247694187 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1930548417 HOME/instance-2056897-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 12145
/proc/meminfo: memFree=1189128/2055920 swapFree=4192812/4192956
[pid=12145] ppid=12143 vsize=5356 CPUtime=0
/proc/12145/stat : 12145 (pcssolve) R 12143 12145 12047 0 -1 4194304 326 313 0 0 0 0 0 0 19 0 1 0 56483716 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 251279239839 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/12145/statm: 1339 242 201 169 0 50 0
[pid=12148] ppid=12145 vsize=5356 CPUtime=0
/proc/12148/stat : 12148 (pcssolve) R 12145 12145 12047 0 -1 4194368 21 0 0 0 0 0 0 0 22 0 1 0 56483716 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 251279240487 0 0 4096 0 0 0 0 17 1 0 0
/proc/12148/statm: 1339 243 202 169 0 50 0
[pid=12149] ppid=12145 vsize=3676 CPUtime=0
/proc/12149/stat : 12149 (grep) R 12145 12145 12047 0 -1 4194304 141 0 0 0 0 0 0 0 19 0 1 0 56483716 3764224 109 996147200 4194304 4274172 548682068976 18446744073709551615 251279086305 0 0 4096 0 0 0 0 17 0 0 0
/proc/12149/statm: 919 116 95 19 0 43 0
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.019675
CPU time (s): 0.018997
CPU user time (s): 0.005999
CPU system time (s): 0.012998
CPU usage (%): 96.554
Max. virtual memory (cumulated for all children) (KiB): 0
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.005999
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= 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= 20
involuntary context switches= 6
runsolver used 0.000999 second user time and 0.007998 second system time
The end