0.00/0.01 c small-domain mode
0.00/0.01 c Seed is 1200520846
0.00/0.01 c Constructing HOME/instance-2074278-1247712324.xml with 14224 constraints
0.05/0.09 c Solving 682 backtracks 7 restarts
0.68/0.75 s SATISFIABLE
0.68/0.75 c V0=1, V1=0, V2=0, V3=1, V4=2, V5=1, V6=2, V7=0, V8=1, V9=1, V10=2, V11=0, V12=1, V13=2, V14=0, V15=1, V16=2, V17=0, V18=2, V19=1, V20=2, V21=0, V22=0, V23=1, V24=0, V25=1, V26=0, V27=0, V28=2, V29=1, V30=1, V31=2, V32=1, V33=2, V34=2, V35=0, V36=0, V37=0, V38=2, V39=0, V40=1, V41=2, V42=1, V43=2, V44=2, V45=2, V46=1, V47=0, V48=2, V49=2, V50=0, V51=1, V52=1, V53=0, V54=1, V55=2, V56=0, V57=1, V58=1, V59=1, V60=0, V61=2, V62=2, V63=2,
0.68/0.75 v 1 0 0 1 2 1 2 0 1 1 2 0 1 2 0 1 2 0 2 1 2 0 0 1 0 1 0 0 2 1 1 2 1 2 2 0 0 0 2 0 1 2 1 2 2 2 1 0 2 2 0 1 1 0 1 2 0 1 1 1 0 2 2 2
0.68/0.75 d ASSIGNMENTS 682
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2074278-1247712324/watcher-2074278-1247712324 -o /tmp/evaluation-result-2074278-1247712324/solver-2074278-1247712324 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1200520846 HOME/instance-2074278-1247712324.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.10 2.05 2.06 4/72 13828
/proc/meminfo: memFree=1540496/2055920 swapFree=4192812/4192956
[pid=13828] ppid=13826 vsize=5356 CPUtime=0
/proc/13828/stat : 13828 (pcssolve) R 13826 13828 13570 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 58296877 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 231882680991 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13828/statm: 1339 241 200 169 0 50 0
[pid=13829] ppid=13828 vsize=5356 CPUtime=0
/proc/13829/stat : 13829 (pcssolve) R 13828 13828 13570 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 58296877 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 231882680991 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13829/statm: 1339 241 200 169 0 50 0
[startup+0.075202 s]
/proc/loadavg: 2.10 2.05 2.06 4/72 13828
/proc/meminfo: memFree=1540496/2055920 swapFree=4192812/4192956
[pid=13828] ppid=13826 vsize=6244 CPUtime=0.05
/proc/13828/stat : 13828 (pcs.small) R 13826 13828 13570 0 -1 4194304 1306 822 0 0 5 0 0 0 24 0 1 0 58296877 6393856 817 996147200 134512640 135095119 4294956304 18446744073709551615 134822891 0 0 4096 0 0 0 0 17 0 0 0
/proc/13828/statm: 1561 817 374 142 0 515 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6244
[startup+0.101205 s]
/proc/loadavg: 2.10 2.05 2.06 4/72 13828
/proc/meminfo: memFree=1540496/2055920 swapFree=4192812/4192956
[pid=13828] ppid=13826 vsize=7036 CPUtime=0.08
/proc/13828/stat : 13828 (pcs.small) R 13826 13828 13570 0 -1 4194304 1561 822 0 0 8 0 0 0 24 0 1 0 58296877 7204864 1072 996147200 134512640 135095119 4294956304 18446744073709551615 134524952 0 0 4096 0 0 0 0 17 0 0 0
/proc/13828/statm: 1759 1072 386 142 0 713 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7036
[startup+0.301232 s]
/proc/loadavg: 2.10 2.05 2.06 4/72 13828
/proc/meminfo: memFree=1540496/2055920 swapFree=4192812/4192956
[pid=13828] ppid=13826 vsize=7416 CPUtime=0.28
/proc/13828/stat : 13828 (pcs.small) R 13826 13828 13570 0 -1 4194304 1677 822 0 0 28 0 0 0 25 0 1 0 58296877 7593984 1187 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/13828/statm: 1854 1187 387 142 0 808 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7416
[startup+0.701278 s]
/proc/loadavg: 2.10 2.05 2.06 4/72 13828
/proc/meminfo: memFree=1540496/2055920 swapFree=4192812/4192956
[pid=13828] ppid=13826 vsize=7416 CPUtime=0.68
/proc/13828/stat : 13828 (pcs.small) R 13826 13828 13570 0 -1 4194304 1682 822 0 0 68 0 0 0 25 0 1 0 58296877 7593984 1192 996147200 134512640 135095119 4294956304 18446744073709551615 134882992 0 0 4096 0 0 0 0 17 0 0 0
/proc/13828/statm: 1854 1192 387 142 0 808 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7416
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.754327
CPU time (s): 0.749885
CPU user time (s): 0.736887
CPU system time (s): 0.012998
CPU usage (%): 99.4111
Max. virtual memory (cumulated for all children) (KiB): 7416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.736887
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= 2508
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= 18
involuntary context switches= 22
runsolver used 0.001999 second user time and 0.004999 second system time
The end