0.00/0.04 c small-domain mode
0.00/0.04 c Seed is 379728029
0.00/0.04 c Constructing HOME/instance-2078953-1247716581.xml with 2861 constraints
0.46/0.50 c Solving 48 backtracks 2 restarts
2.45/2.51 s SATISFIABLE
2.45/2.51 c V0=0, V1=3, V2=0, V3=21, V4=4, V5=17, V6=17, V7=4, V8=6, V9=14, V10=17, V11=4, V12=18, V13=4, V14=20, V15=11, V16=8, V17=17, V18=12, V19=4, V20=12, V21=20, V22=17, V23=4, V24=0, V25=1, V26=18, V27=14, V28=17, V29=1, V30=0, V31=24, V32=14, V33=3, V34=17, V35=4, V36=15, V37=4, V38=19, V39=4, V40=17, V41=4, V42=25, V43=8, V44=23, V45=0, V46=0, V47=15, V48=8, V49=5, V50=8, V51=11, V52=18, V53=15, V54=8, V55=4, V56=17, V57=5, V58=11, V59=20, V60=0, V61=8, V62=3, V63=4, V64=4,
2.45/2.51 v 0 3 0 21 4 17 17 4 6 14 17 4 18 4 20 11 8 17 12 4 12 20 17 4 0 1 18 14 17 1 0 24 14 3 17 4 15 4 19 4 17 4 25 8 23 0 0 15 8 5 8 11 18 15 8 4 17 5 11 20 0 8 3 4 4
2.45/2.51 d ASSIGNMENTS 48
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2078953-1247716581/watcher-2078953-1247716581 -o /tmp/evaluation-result-2078953-1247716581/solver-2078953-1247716581 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 379728029 HOME/instance-2078953-1247716581.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.05 2.00 2.04 4/72 13843
/proc/meminfo: memFree=1513680/2055920 swapFree=4192812/4192956
[pid=13843] ppid=13841 vsize=18576 CPUtime=0
/proc/13843/stat : 13843 (runsolver) R 13841 13843 12731 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 58722063 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 259415141671 0 0 4096 24578 0 0 0 17 1 0 0
/proc/13843/statm: 4644 284 249 26 0 2626 0
[startup+0.0270369 s]
/proc/loadavg: 2.05 2.00 2.04 4/72 13843
/proc/meminfo: memFree=1513680/2055920 swapFree=4192812/4192956
[pid=13843] ppid=13841 vsize=5356 CPUtime=0
/proc/13843/stat : 13843 (pcssolve) S 13841 13843 12731 0 -1 4194304 339 1181 0 0 0 0 0 0 22 0 1 0 58722063 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13843/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101044 s]
/proc/loadavg: 2.05 2.00 2.04 4/72 13843
/proc/meminfo: memFree=1513680/2055920 swapFree=4192812/4192956
[pid=13843] ppid=13841 vsize=5776 CPUtime=0.07
/proc/13843/stat : 13843 (pcs.small) R 13841 13843 12731 0 -1 4194304 1024 3413 0 0 5 0 1 1 22 0 1 0 58722063 5914624 633 996147200 134512640 135095119 4294956304 18446744073709551615 134739361 0 0 4096 0 0 0 0 17 1 0 0
/proc/13843/statm: 1444 633 375 142 0 398 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5776
[startup+0.301086 s]
/proc/loadavg: 2.05 2.00 2.04 4/72 13843
/proc/meminfo: memFree=1513680/2055920 swapFree=4192812/4192956
[pid=13843] ppid=13841 vsize=8560 CPUtime=0.27
/proc/13843/stat : 13843 (pcs.small) R 13841 13843 12731 0 -1 4194304 1838 3413 0 0 25 0 1 1 23 0 1 0 58722063 8765440 1447 996147200 134512640 135095119 4294956304 18446744073709551615 134943925 0 0 4096 0 0 0 0 17 1 0 0
/proc/13843/statm: 2140 1447 375 142 0 1094 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 8560
[startup+0.701159 s]
/proc/loadavg: 2.05 2.00 2.04 4/72 13843
/proc/meminfo: memFree=1513680/2055920 swapFree=4192812/4192956
[pid=13843] ppid=13841 vsize=9560 CPUtime=0.67
/proc/13843/stat : 13843 (pcs.small) R 13841 13843 12731 0 -1 4194304 2759 3413 0 0 64 1 1 1 25 0 1 0 58722063 9789440 1732 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 1 0 0
/proc/13843/statm: 2390 1732 400 142 0 1344 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 9560
[startup+1.50131 s]
/proc/loadavg: 2.05 2.00 2.04 3/73 13849
/proc/meminfo: memFree=1508104/2055920 swapFree=4192812/4192956
[pid=13843] ppid=13841 vsize=9560 CPUtime=1.46
/proc/13843/stat : 13843 (pcs.small) R 13841 13843 12731 0 -1 4194304 2759 3413 0 0 143 1 1 1 25 0 1 0 58722063 9789440 1732 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/13843/statm: 2390 1732 400 142 0 1344 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9560
Solver just ended. Dumping a history of the last processes samples
[startup+2.30147 s]
/proc/loadavg: 2.05 2.00 2.04 3/73 13849
/proc/meminfo: memFree=1508104/2055920 swapFree=4192812/4192956
[pid=13843] ppid=13841 vsize=9560 CPUtime=2.26
/proc/13843/stat : 13843 (pcs.small) R 13841 13843 12731 0 -1 4194304 2759 3413 0 0 223 1 1 1 25 0 1 0 58722063 9789440 1732 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/13843/statm: 2390 1732 400 142 0 1344 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 9560
[startup+2.5015 s]
/proc/loadavg: 2.05 2.00 2.04 3/73 13849
/proc/meminfo: memFree=1508104/2055920 swapFree=4192812/4192956
[pid=13843] ppid=13841 vsize=9560 CPUtime=2.45
/proc/13843/stat : 13843 (pcs.small) R 13841 13843 12731 0 -1 4194304 2759 3413 0 0 242 1 1 1 25 0 1 0 58722063 9789440 1732 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 1 0 0
/proc/13843/statm: 2390 1732 400 142 0 1344 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 9560
Child status: 0
Real time (s): 2.51739
CPU time (s): 2.49062
CPU user time (s): 2.45763
CPU system time (s): 0.032994
CPU usage (%): 98.9366
Max. virtual memory (cumulated for all children) (KiB): 11044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.45763
system time used= 0.032994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6174
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= 71
runsolver used 0.005999 second user time and 0.011998 second system time
The end