0.00/0.01 c small-domain mode
0.00/0.02 c Seed is 312454968
0.00/0.02 c Constructing HOME/instance-2076301-1247714130.xml with 1706 constraints
0.01/0.05 c Solving 31 backtracks 1 restarts
0.08/0.11 s SATISFIABLE
0.08/0.11 c V0=0, V1=11, V2=14, V3=4, V4=12, V5=17, V6=18, V7=1, V8=18, V9=19, V10=9, V11=0, V12=8, V13=11, V14=2, V15=8, V16=19, V17=4, V18=25, V19=14, V20=14, V21=2, V22=17, V23=4, V24=19, V25=4, V26=21, V27=8, V28=18, V29=19, V30=0, V31=8, V32=17, V33=10, V34=19, V35=20, V36=19, V37=20, V38=19, V39=14, V40=24, V41=4, V42=17, V43=14, V44=18, V45=14, V46=13, V47=4, V48=17, V49=8, V50=19, V51=4,
0.08/0.11 v 0 11 14 4 12 17 18 1 18 19 9 0 8 11 2 8 19 4 25 14 14 2 17 4 19 4 21 8 18 19 0 8 17 10 19 20 19 20 19 14 24 4 17 14 18 14 13 4 17 8 19 4
0.08/0.11 d ASSIGNMENTS 31
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2076301-1247714130/watcher-2076301-1247714130 -o /tmp/evaluation-result-2076301-1247714130/solver-2076301-1247714130 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 312454968 HOME/instance-2076301-1247714130.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.11 2.05 2.01 4/72 18106
/proc/meminfo: memFree=1593328/2055920 swapFree=4192812/4192956
[pid=18106] ppid=18104 vsize=5356 CPUtime=0
/proc/18106/stat : 18106 (pcssolve) R 18104 18106 17061 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 58476447 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 273653754527 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18106/statm: 1339 241 200 169 0 50 0
[pid=18107] ppid=18106 vsize=5356 CPUtime=0
/proc/18107/stat : 18107 (pcssolve) R 18106 18106 17061 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 58476447 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 273653754527 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18107/statm: 1339 241 200 169 0 50 0
[startup+0.0408401 s]
/proc/loadavg: 2.11 2.05 2.01 4/72 18106
/proc/meminfo: memFree=1593328/2055920 swapFree=4192812/4192956
[pid=18106] ppid=18104 vsize=4640 CPUtime=0.01
/proc/18106/stat : 18106 (pcs.small) R 18104 18106 17061 0 -1 4194304 871 873 0 0 1 0 0 0 24 0 1 0 58476447 4751360 480 996147200 134512640 135095119 4294956304 18446744073709551615 134945060 0 0 4096 0 0 0 0 17 1 0 0
/proc/18106/statm: 1160 480 375 142 0 114 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4640
[startup+0.102687 s]
/proc/loadavg: 2.11 2.05 2.01 4/72 18106
/proc/meminfo: memFree=1593328/2055920 swapFree=4192812/4192956
[pid=18106] ppid=18104 vsize=4976 CPUtime=0.08
/proc/18106/stat : 18106 (pcs.small) R 18104 18106 17061 0 -1 4194304 990 873 0 0 8 0 0 0 24 0 1 0 58476447 5095424 599 996147200 134512640 135095119 4294956304 18446744073709551615 134918151 0 0 4096 0 0 0 0 17 1 0 0
/proc/18106/statm: 1244 599 400 142 0 198 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4976
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.112807
CPU time (s): 0.106982
CPU user time (s): 0.092985
CPU system time (s): 0.013997
CPU usage (%): 94.8364
Max. virtual memory (cumulated for all children) (KiB): 4976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.092985
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1866
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= 14
runsolver used 0.002999 second user time and 0.006998 second system time
The end