0.00/0.01 c small-domain mode
0.00/0.02 c Seed is 2139096802
0.00/0.02 c Constructing HOME/instance-2076323-1247714132.xml with 2861 constraints
0.03/0.07 c Solving 22 backtracks 1 restarts
0.17/0.26 s SATISFIABLE
0.17/0.26 c V0=18, V1=12, V2=14, V3=6, V4=8, V5=15, V6=18, V7=14, V8=19, V9=0, V10=15, V11=4, V12=17, V13=0, V14=19, V15=0, V16=4, V17=24, V18=4, V19=17, V20=14, V21=19, V22=15, V23=14, V24=11, V25=24, V26=12, V27=14, V28=17, V29=15, V30=7, V31=4, V32=0, V33=17, V34=0, V35=11, V36=1, V37=0, V38=19, V39=17, V40=14, V41=18, V42=18, V43=11, V44=8, V45=4, V46=22, V47=14, V48=15, V49=19, V50=4, V51=13, V52=19, V53=0, V54=11, V55=12, V56=0, V57=14, V58=20, V59=25, V60=14, V61=3, V62=24, V63=4, V64=17,
0.17/0.26 v 18 12 14 6 8 15 18 14 19 0 15 4 17 0 19 0 4 24 4 17 14 19 15 14 11 24 12 14 17 15 7 4 0 17 0 11 1 0 19 17 14 18 18 11 8 4 22 14 15 19 4 13 19 0 11 12 0 14 20 25 14 3 24 4 17
0.17/0.26 d ASSIGNMENTS 22
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2076323-1247714132/watcher-2076323-1247714132 -o /tmp/evaluation-result-2076323-1247714132/solver-2076323-1247714132 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2139096802 HOME/instance-2076323-1247714132.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.24 2.11 2.05 4/82 11582
/proc/meminfo: memFree=787536/2055920 swapFree=4192812/4192956
[pid=11582] ppid=11580 vsize=18576 CPUtime=0
/proc/11582/stat : 11582 (runsolver) R 11580 11582 10284 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 58476517 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 248761609511 0 0 4096 24578 0 0 0 17 1 0 0
/proc/11582/statm: 4644 284 249 26 0 2626 0
[startup+0.0599799 s]
/proc/loadavg: 2.24 2.11 2.05 4/82 11582
/proc/meminfo: memFree=787536/2055920 swapFree=4192812/4192956
[pid=11582] ppid=11580 vsize=4896 CPUtime=0.03
/proc/11582/stat : 11582 (pcs.small) R 11580 11582 10284 0 -1 4194304 936 957 0 0 3 0 0 0 24 0 1 0 58476517 5013504 545 996147200 134512640 135095119 4294956304 18446744073709551615 134568937 0 0 4096 0 0 0 0 17 1 0 0
/proc/11582/statm: 1224 545 388 142 0 178 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4896
[startup+0.10194 s]
/proc/loadavg: 2.24 2.11 2.05 4/82 11582
/proc/meminfo: memFree=787536/2055920 swapFree=4192812/4192956
[pid=11582] ppid=11580 vsize=5316 CPUtime=0.07
/proc/11582/stat : 11582 (pcs.small) R 11580 11582 10284 0 -1 4194304 1064 957 0 0 7 0 0 0 24 0 1 0 58476517 5443584 673 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/11582/statm: 1329 673 400 142 0 283 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5316
Solver just ended. Dumping a history of the last processes samples
[startup+0.201949 s]
/proc/loadavg: 2.24 2.11 2.05 4/82 11582
/proc/meminfo: memFree=787536/2055920 swapFree=4192812/4192956
[pid=11582] ppid=11580 vsize=5316 CPUtime=0.17
/proc/11582/stat : 11582 (pcs.small) R 11580 11582 10284 0 -1 4194304 1064 957 0 0 17 0 0 0 25 0 1 0 58476517 5443584 673 996147200 134512640 135095119 4294956304 18446744073709551615 134918139 0 0 4096 0 0 0 0 17 1 0 0
/proc/11582/statm: 1329 673 400 142 0 283 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5316
Child status: 0
Real time (s): 0.260809
CPU time (s): 0.252961
CPU user time (s): 0.239963
CPU system time (s): 0.012998
CPU usage (%): 96.9909
Max. virtual memory (cumulated for all children) (KiB): 5316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.239963
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= 2035
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= 20
runsolver used 0.003999 second user time and 0.005999 second system time
The end