0.00/0.02 c small-domain mode
0.00/0.07 c Seed is 486000329
0.00/0.07 c Constructing HOME/instance-2074893-1247712494.xml with 892 constraints
0.06/0.11 c Solving 25 backtracks 1 restarts
0.26/0.38 s SATISFIABLE
0.26/0.38 c V0=17, V1=20, V2=6, V3=17, V4=4, V5=17, V6=20, V7=13, V8=6, V9=0, V10=11, V11=8, V12=11, V13=4, V14=14, V15=15, V16=14, V17=13, V18=24, V19=5, V20=20, V21=25, V22=25, V23=17, V24=20, V25=19, V26=12, V27=14, V28=14, V29=14, V30=3, V31=4, V32=18, V33=2, V34=0, V35=13, V36=4, V37=0, V38=17, V39=0, V40=2, V41=7, V42=13, V43=4, V44=18, V45=11, V46=14, V47=0, V48=13, V49=25, V50=14, V51=14,
0.26/0.38 v 17 20 6 17 4 17 20 13 6 0 11 8 11 4 14 15 14 13 24 5 20 25 25 17 20 19 12 14 14 14 3 4 18 2 0 13 4 0 17 0 2 7 13 4 18 11 14 0 13 25 14 14
0.26/0.38 d ASSIGNMENTS 25
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2074893-1247712494/watcher-2074893-1247712494 -o /tmp/evaluation-result-2074893-1247712494/solver-2074893-1247712494 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 486000329 HOME/instance-2074893-1247712494.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.28 2.10 4/82 10069
/proc/meminfo: memFree=766992/2055920 swapFree=4192812/4192956
[pid=10069] ppid=10067 vsize=18576 CPUtime=0
/proc/10069/stat : 10069 (runsolver) R 10067 10069 8839 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 58315950 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 272467815719 0 0 4096 24578 0 0 0 17 1 0 0
/proc/10069/statm: 4644 284 249 26 0 2626 0
[startup+0.105298 s]
/proc/loadavg: 2.52 2.28 2.10 4/82 10069
/proc/meminfo: memFree=766992/2055920 swapFree=4192812/4192956
[pid=10069] ppid=10067 vsize=5356 CPUtime=0.06
/proc/10069/stat : 10069 (pcs.small) R 10067 10069 8839 0 -1 4194304 990 974 0 0 6 0 0 0 18 0 1 0 58315950 5484544 599 996147200 134512640 135095119 4294956304 18446744073709551615 134909544 0 0 4096 0 0 0 0 17 1 0 0
/proc/10069/statm: 1339 599 375 142 0 293 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5356
[startup+0.201308 s]
/proc/loadavg: 2.52 2.28 2.10 4/82 10069
/proc/meminfo: memFree=766992/2055920 swapFree=4192812/4192956
[pid=10069] ppid=10067 vsize=5188 CPUtime=0.16
/proc/10069/stat : 10069 (pcs.small) R 10067 10069 8839 0 -1 4194304 1017 974 0 0 16 0 0 0 18 0 1 0 58315950 5312512 625 996147200 134512640 135095119 4294956304 18446744073709551615 134918082 0 0 4096 0 0 0 0 17 1 0 0
/proc/10069/statm: 1297 625 400 142 0 251 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 5188
[startup+0.301322 s]
/proc/loadavg: 2.52 2.28 2.10 4/82 10069
/proc/meminfo: memFree=766992/2055920 swapFree=4192812/4192956
[pid=10069] ppid=10067 vsize=5188 CPUtime=0.26
/proc/10069/stat : 10069 (pcs.small) R 10067 10069 8839 0 -1 4194304 1017 974 0 0 26 0 0 0 19 0 1 0 58315950 5312512 625 996147200 134512640 135095119 4294956304 18446744073709551615 134918227 0 0 4096 0 0 0 0 17 1 0 0
/proc/10069/statm: 1297 625 400 142 0 251 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 5188
Solver just ended. Dumping a history of the last processes samples
[startup+0.301322 s]
/proc/loadavg: 2.52 2.28 2.10 4/82 10069
/proc/meminfo: memFree=766992/2055920 swapFree=4192812/4192956
[pid=10069] ppid=10067 vsize=5188 CPUtime=0.26
/proc/10069/stat : 10069 (pcs.small) R 10067 10069 8839 0 -1 4194304 1017 974 0 0 26 0 0 0 19 0 1 0 58315950 5312512 625 996147200 134512640 135095119 4294956304 18446744073709551615 134918227 0 0 4096 0 0 0 0 17 1 0 0
/proc/10069/statm: 1297 625 400 142 0 251 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 5188
Child status: 0
Real time (s): 0.388217
CPU time (s): 0.362944
CPU user time (s): 0.350946
CPU system time (s): 0.011998
CPU usage (%): 93.49
Max. virtual memory (cumulated for all children) (KiB): 5356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.350946
system time used= 0.011998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1993
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= 21
runsolver used 0.001999 second user time and 0.006998 second system time
The end