0.00/0.01 c small-domain mode
0.00/0.05 c Seed is 720847064
0.00/0.05 c Constructing HOME/instance-2076379-1247714150.xml with 892 constraints
0.03/0.06 c Solving 43 backtracks 2 restarts
0.68/0.70 s SATISFIABLE
0.68/0.70 c V0=19, V1=14, V2=19, V3=11, V4=8, V5=11, V6=0, V7=2, V8=18, V9=0, V10=13, V11=3, V12=1, V13=0, V14=6, V15=18, V16=14, V17=12, V18=0, V19=20, V20=15, V21=14, V22=13, V23=0, V24=13, V25=8, V26=18, V27=20, V28=13, V29=12, V30=8, V31=13, V32=8, V33=18, V34=8, V35=3, V36=4, V37=2, V38=0, V39=3, V40=4, V41=13, V42=25, V43=0, V44=17, V45=14, V46=6, V47=20, V48=4, V49=11, V50=14, V51=6,
0.68/0.70 v 19 14 19 11 8 11 0 2 18 0 13 3 1 0 6 18 14 12 0 20 15 14 13 0 13 8 18 20 13 12 8 13 8 18 8 3 4 2 0 3 4 13 25 0 17 14 6 20 4 11 14 6
0.68/0.70 d ASSIGNMENTS 43
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2076379-1247714150/watcher-2076379-1247714150 -o /tmp/evaluation-result-2076379-1247714150/solver-2076379-1247714150 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 720847064 HOME/instance-2076379-1247714150.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.52 2.45 2.29 3/83 15398
/proc/meminfo: memFree=581456/2055920 swapFree=4192812/4192956
[pid=15398] ppid=15396 vsize=5356 CPUtime=0
/proc/15398/stat : 15398 (pcssolve) S 15396 15398 14625 0 -1 4194304 305 200 0 0 0 0 0 0 16 0 1 0 58480587 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15398/statm: 1339 242 201 169 0 50 0
[pid=15400] ppid=15398 vsize=5356 CPUtime=0
/proc/15400/stat : 15400 (pcssolve) R 15398 15398 14625 0 -1 4194368 22 0 0 0 0 0 0 0 20 0 1 0 58480588 5484544 244 996147200 4194304 4889804 548682068800 18446744073709551615 234045893927 0 0 4096 0 0 0 0 17 0 0 0
/proc/15400/statm: 1339 244 203 169 0 50 0
[startup+0.052776 s]
/proc/loadavg: 2.52 2.45 2.29 3/83 15398
/proc/meminfo: memFree=581456/2055920 swapFree=4192812/4192956
[pid=15398] ppid=15396 vsize=4880 CPUtime=0.03
/proc/15398/stat : 15398 (pcs.small) R 15396 15398 14625 0 -1 4194304 921 957 0 0 3 0 0 0 19 0 1 0 58480587 4997120 530 996147200 134512640 135095119 4294956304 18446744073709551615 4852852 0 0 4096 0 0 0 0 17 0 0 0
/proc/15398/statm: 1220 530 375 142 0 174 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4880
[startup+0.101669 s]
/proc/loadavg: 2.52 2.45 2.29 3/83 15398
/proc/meminfo: memFree=581456/2055920 swapFree=4192812/4192956
[pid=15398] ppid=15396 vsize=5016 CPUtime=0.08
/proc/15398/stat : 15398 (pcs.small) R 15396 15398 14625 0 -1 4194304 981 957 0 0 8 0 0 0 19 0 1 0 58480587 5136384 590 996147200 134512640 135095119 4294956304 18446744073709551615 134918187 0 0 4096 0 0 0 0 17 0 0 0
/proc/15398/statm: 1254 590 400 142 0 208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5016
[startup+0.301688 s]
/proc/loadavg: 2.52 2.45 2.29 3/83 15398
/proc/meminfo: memFree=581456/2055920 swapFree=4192812/4192956
[pid=15398] ppid=15396 vsize=5016 CPUtime=0.28
/proc/15398/stat : 15398 (pcs.small) R 15396 15398 14625 0 -1 4194304 981 957 0 0 28 0 0 0 20 0 1 0 58480587 5136384 590 996147200 134512640 135095119 4294956304 18446744073709551615 134918211 0 0 4096 0 0 0 0 17 0 0 0
/proc/15398/statm: 1254 590 400 142 0 208 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5016
[startup+0.70173 s]
/proc/loadavg: 2.52 2.45 2.29 3/83 15398
/proc/meminfo: memFree=581456/2055920 swapFree=4192812/4192956
[pid=15398] ppid=15396 vsize=5016 CPUtime=0.68
/proc/15398/stat : 15398 (pcs.small) R 15396 15398 14625 0 -1 4194304 981 957 0 0 68 0 0 0 24 0 1 0 58480587 5136384 590 996147200 134512640 135095119 4294956304 18446744073709551615 134918151 0 0 4096 0 0 0 0 17 0 0 0
/proc/15398/statm: 1254 590 400 142 0 208 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 5016
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.706876
CPU time (s): 0.703892
CPU user time (s): 0.688895
CPU system time (s): 0.014997
CPU usage (%): 99.5779
Max. virtual memory (cumulated for all children) (KiB): 5016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.688895
system time used= 0.014997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1940
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= 23
involuntary context switches= 23
runsolver used 0.001999 second user time and 0.006998 second system time
The end