0.00/0.02 c small-domain mode
0.00/0.03 c Seed is 1769370396
0.00/0.03 c Constructing HOME/instance-2079052-1247716616.xml with 892 constraints
0.17/0.25 c Solving 29 backtracks 1 restarts
0.67/0.78 s SATISFIABLE
0.67/0.78 c V0=8, V1=18, V2=5, V3=14, V4=17, V5=12, V6=4, V7=19, V8=15, V9=17, V10=4, V11=18, V12=20, V13=17, V14=0, V15=17, V16=0, V17=13, V18=25, V19=9, V20=0, V21=25, V22=25, V23=8, V24=11, V25=4, V26=3, V27=14, V28=20, V29=4, V30=20, V31=17, V32=11, V33=15, V34=20, V35=19, V36=19, V37=18, V38=0, V39=20, V40=11, V41=0, V42=8, V43=4, V44=18, V45=19, V46=0, V47=17, V48=18, V49=25, V50=14, V51=20,
0.67/0.78 v 8 18 5 14 17 12 4 19 15 17 4 18 20 17 0 17 0 13 25 9 0 25 25 8 11 4 3 14 20 4 20 17 11 15 20 19 19 18 0 20 11 0 8 4 18 19 0 17 18 25 14 20
0.67/0.78 d ASSIGNMENTS 29
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2079052-1247716616/watcher-2079052-1247716616 -o /tmp/evaluation-result-2079052-1247716616/solver-2079052-1247716616 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1769370396 HOME/instance-2079052-1247716616.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.00 2.00 2.00 4/72 13386
/proc/meminfo: memFree=1486704/2055920 swapFree=4192812/4192956
[pid=13386] ppid=13384 vsize=18576 CPUtime=0
/proc/13386/stat : 13386 (runsolver) R 13384 13386 12276 0 -1 4194368 15 0 0 0 0 0 0 0 22 0 1 0 58727754 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 264907582759 0 0 4096 24578 0 0 0 17 1 0 0
/proc/13386/statm: 4644 284 249 26 0 2626 0
[startup+0.025858 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 13386
/proc/meminfo: memFree=1486704/2055920 swapFree=4192812/4192956
[pid=13386] ppid=13384 vsize=5356 CPUtime=0
/proc/13386/stat : 13386 (pcssolve) S 13384 13386 12276 0 -1 4194304 367 1440 0 0 0 0 0 0 24 0 1 0 58727754 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13386/statm: 1339 243 202 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102865 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 13386
/proc/meminfo: memFree=1486704/2055920 swapFree=4192812/4192956
[pid=13386] ppid=13384 vsize=5592 CPUtime=0.08
/proc/13386/stat : 13386 (pcs.small) R 13384 13386 12276 0 -1 4194304 1029 2009 0 0 7 0 0 1 24 0 1 0 58727754 5726208 638 996147200 134512640 135095119 4294956304 18446744073709551615 134739562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13386/statm: 1398 638 375 142 0 352 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5592
[startup+0.302894 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 13386
/proc/meminfo: memFree=1486704/2055920 swapFree=4192812/4192956
[pid=13386] ppid=13384 vsize=6800 CPUtime=0.27
/proc/13386/stat : 13386 (pcs.small) R 13384 13386 12276 0 -1 4194304 1565 2009 0 0 26 0 0 1 25 0 1 0 58727754 6963200 1020 996147200 134512640 135095119 4294956304 18446744073709551615 134918159 0 0 4096 0 0 0 0 17 1 0 0
/proc/13386/statm: 1700 1020 400 142 0 654 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 6800
[startup+0.70295 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 13386
/proc/meminfo: memFree=1486704/2055920 swapFree=4192812/4192956
[pid=13386] ppid=13384 vsize=6800 CPUtime=0.67
/proc/13386/stat : 13386 (pcs.small) R 13384 13386 12276 0 -1 4194304 1565 2009 0 0 66 0 0 1 25 0 1 0 58727754 6963200 1020 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/13386/statm: 1700 1020 400 142 0 654 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6800
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.781033
CPU time (s): 0.770882
CPU user time (s): 0.749886
CPU system time (s): 0.020996
CPU usage (%): 98.7003
Max. virtual memory (cumulated for all children) (KiB): 7056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.749886
system time used= 0.020996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3576
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= 29
runsolver used 0.005999 second user time and 0.003999 second system time
The end