0.00/0.01 c small-domain mode
0.00/0.02 c Seed is 2016039856
0.00/0.02 c Constructing HOME/instance-2076324-1247714132.xml with 2861 constraints
0.00/0.07 c Solving 12 backtracks
0.07/0.12 s SATISFIABLE
0.07/0.12 c V0=0, V1=1, V2=11, V3=4, V4=1, V5=11, V6=0, V7=1, V8=1, V9=4, V10=0, V11=12, V12=15, V13=0, V14=11, V15=14, V16=1, V17=0, V18=12, V19=12, V20=0, V21=2, V22=4, V23=20, V24=15, V25=7, V26=14, V27=17, V28=1, V29=8, V30=0, V31=4, V32=21, V33=0, V34=2, V35=0, V36=17, V37=17, V38=0, V39=6, V40=4, V41=4, V42=13, V43=0, V44=6, V45=4, V46=15, V47=17, V48=14, V49=17, V50=4, V51=13, V52=4, V53=0, V54=8, V55=3, V56=0, V57=3, V58=4, V59=0, V60=3, V61=13, V62=2, V63=0, V64=0,
0.07/0.12 v 0 1 11 4 1 11 0 1 1 4 0 12 15 0 11 14 1 0 12 12 0 2 4 20 15 7 14 17 1 8 0 4 21 0 2 0 17 17 0 6 4 4 13 0 6 4 15 17 14 17 4 13 4 0 8 3 0 3 4 0 3 13 2 0 0
0.07/0.12 d ASSIGNMENTS 12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2076324-1247714132/watcher-2076324-1247714132 -o /tmp/evaluation-result-2076324-1247714132/solver-2076324-1247714132 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2016039856 HOME/instance-2076324-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.22 2.18 2.07 4/81 9216
/proc/meminfo: memFree=911280/2055920 swapFree=4192812/4192956
[pid=9216] ppid=9214 vsize=18576 CPUtime=0
/proc/9216/stat : 9216 (runsolver) R 9214 9216 6538 0 -1 4194368 15 0 0 0 0 0 0 0 22 0 1 0 58480893 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 206381313319 0 0 4096 24578 0 0 0 17 1 0 0
/proc/9216/statm: 4644 284 249 26 0 2626 0
[startup+0.0158351 s]
/proc/loadavg: 2.22 2.18 2.07 4/81 9216
/proc/meminfo: memFree=911280/2055920 swapFree=4192812/4192956
[pid=9216] ppid=9214 vsize=5356 CPUtime=0
/proc/9216/stat : 9216 (pcssolve) S 9214 9216 6538 0 -1 4194304 339 564 0 0 0 0 0 0 25 0 1 0 58480893 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9216/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101847 s]
/proc/loadavg: 2.22 2.18 2.07 4/81 9216
/proc/meminfo: memFree=911280/2055920 swapFree=4192812/4192956
[pid=9216] ppid=9214 vsize=5316 CPUtime=0.07
/proc/9216/stat : 9216 (pcs.small) R 9214 9216 6538 0 -1 4194304 1065 957 0 0 7 0 0 0 25 0 1 0 58480893 5443584 674 996147200 134512640 135095119 4294956304 18446744073709551615 134918126 0 0 4096 0 0 0 0 17 1 0 0
/proc/9216/statm: 1329 674 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
Child status: 0
Real time (s): 0.129493
CPU time (s): 0.122981
CPU user time (s): 0.109983
CPU system time (s): 0.012998
CPU usage (%): 94.9712
Max. virtual memory (cumulated for all children) (KiB): 5356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.109983
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= 2036
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= 16
runsolver used 0.001999 second user time and 0.006998 second system time
The end