0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.17/0.21 c Seed is 211022325
0.17/0.21 c Constructing HOME/instance-2079953-1247717209.xml with 3839 constraints
0.17/0.21 c Solving 45 backtracks 2 restarts
4.84/4.94 s SATISFIABLE
4.84/4.94 c V0=6, V1=5, V2=12, V3=7, V4=10, V5=4, V6=7, V7=1, V8=15, V9=16, V10=11, V11=15, V12=20, V13=7, V14=13, V15=5, V16=19, V17=3, V18=17, V19=2, V20=16, V21=3, V22=2, V23=2, V24=3, V25=1, V26=9, V27=4, V28=5, V29=18, V30=18, V31=7, V32=14, V33=10, V34=4, V35=1, V36=8, V37=4, V38=1, V39=10, V40=12, V41=16, V42=17, V43=33, V44=48, V45=55, V46=60, V47=63, V48=65, V49=68, V50=70, V51=71, V52=75, V53=93, V54=100, V55=110, V56=111, V57=115, V58=125, V59=125, V60=0,
4.84/4.94 v 6 5 12 7 10 4 7 1 15 16 11 15 20 7 13 5 19 3 17 2 16 3 2 2 3 1 9 4 5 18 18 7 14 10 4 1 8 4 1 10 12 16 17 33 48 55 60 63 65 68 70 71 75 93 100 110 111 115 125 125 0
4.84/4.94 d ASSIGNMENTS 45
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2079953-1247717209/watcher-2079953-1247717209 -o /tmp/evaluation-result-2079953-1247717209/solver-2079953-1247717209 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 211022325 HOME/instance-2079953-1247717209.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.08 2.02 2.04 4/72 13722
/proc/meminfo: memFree=1445192/2055920 swapFree=4192812/4192956
[pid=13722] ppid=13720 vsize=5356 CPUtime=0
/proc/13722/stat : 13722 (pcssolve) R 13720 13722 10627 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 58787927 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 252429527711 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13722/statm: 1339 241 200 169 0 50 0
[pid=13723] ppid=13722 vsize=0 CPUtime=0
/proc/13723/stat : 13723 (pcssolve) R 13722 13722 10627 0 -1 4194368 22 0 0 0 0 0 0 0 22 0 1 0 58787928 0 0 996147200 0 0 0 18446744073709551615 252429528359 0 0 4096 0 0 0 0 17 1 0 0
/proc/13723/statm: 0 0 0 0 0 0 0
[pid=13724] ppid=13722 vsize=5356 CPUtime=0
/proc/13724/stat : 13724 (pcssolve) R 13722 13722 10627 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 58787928 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 252429527711 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13724/statm: 1339 241 200 169 0 50 0
[startup+0.0519511 s]
/proc/loadavg: 2.08 2.02 2.04 4/72 13722
/proc/meminfo: memFree=1445192/2055920 swapFree=4192812/4192956
[pid=13722] ppid=13720 vsize=5068 CPUtime=0.03
/proc/13722/stat : 13722 (pcs.big) R 13720 13722 10627 0 -1 4194304 900 739 0 0 3 0 0 0 18 0 1 0 58787927 5189632 531 996147200 134512640 135215973 4294956304 18446744073709551615 10126655 0 0 4096 0 0 0 0 17 1 0 0
/proc/13722/statm: 1267 531 390 171 0 192 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5068
[startup+0.101961 s]
/proc/loadavg: 2.08 2.02 2.04 4/72 13722
/proc/meminfo: memFree=1445192/2055920 swapFree=4192812/4192956
[pid=13722] ppid=13720 vsize=6160 CPUtime=0.08
/proc/13722/stat : 13722 (pcs.big) R 13720 13722 10627 0 -1 4194304 1202 739 0 0 8 0 0 0 18 0 1 0 58787927 6307840 833 996147200 134512640 135215973 4294956304 18446744073709551615 134590083 0 0 4096 0 0 0 0 17 1 0 0
/proc/13722/statm: 1540 833 404 171 0 465 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6160
[startup+0.301974 s]
/proc/loadavg: 2.08 2.02 2.04 4/72 13722
/proc/meminfo: memFree=1445192/2055920 swapFree=4192812/4192956
[pid=13722] ppid=13720 vsize=6160 CPUtime=0.27
/proc/13722/stat : 13722 (pcs.big) R 13720 13722 10627 0 -1 4194304 1236 739 0 0 27 0 0 0 19 0 1 0 58787927 6307840 867 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/13722/statm: 1540 867 406 171 0 465 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 6160
[startup+0.702014 s]
/proc/loadavg: 2.08 2.02 2.04 4/72 13722
/proc/meminfo: memFree=1445192/2055920 swapFree=4192812/4192956
[pid=13722] ppid=13720 vsize=6160 CPUtime=0.67
/proc/13722/stat : 13722 (pcs.big) R 13720 13722 10627 0 -1 4194304 1239 739 0 0 67 0 0 0 23 0 1 0 58787927 6307840 870 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/13722/statm: 1540 870 406 171 0 465 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6160
[startup+1.50109 s]
/proc/loadavg: 2.15 2.03 2.04 3/73 13727
/proc/meminfo: memFree=1443200/2055920 swapFree=4192812/4192956
[pid=13722] ppid=13720 vsize=6160 CPUtime=1.46
/proc/13722/stat : 13722 (pcs.big) R 13720 13722 10627 0 -1 4194304 1239 739 0 0 146 0 0 0 25 0 1 0 58787927 6307840 870 996147200 134512640 135215973 4294956304 18446744073709551615 134590106 0 0 4096 0 0 0 0 17 1 0 0
/proc/13722/statm: 1540 870 406 171 0 465 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 6160
[startup+3.10126 s]
/proc/loadavg: 2.15 2.03 2.04 3/73 13727
/proc/meminfo: memFree=1442944/2055920 swapFree=4192812/4192956
[pid=13722] ppid=13720 vsize=6160 CPUtime=3.05
/proc/13722/stat : 13722 (pcs.big) R 13720 13722 10627 0 -1 4194304 1243 739 0 0 305 0 0 0 25 0 1 0 58787927 6307840 874 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/13722/statm: 1540 874 406 171 0 465 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 6160
Solver just ended. Dumping a history of the last processes samples
[startup+3.90133 s]
/proc/loadavg: 2.15 2.03 2.04 3/73 13727
/proc/meminfo: memFree=1442880/2055920 swapFree=4192812/4192956
[pid=13722] ppid=13720 vsize=6160 CPUtime=3.85
/proc/13722/stat : 13722 (pcs.big) R 13720 13722 10627 0 -1 4194304 1249 739 0 0 385 0 0 0 25 0 1 0 58787927 6307840 880 996147200 134512640 135215973 4294956304 18446744073709551615 135020273 0 0 4096 0 0 0 0 17 1 0 0
/proc/13722/statm: 1540 880 406 171 0 465 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 6160
[startup+4.70241 s]
/proc/loadavg: 2.15 2.03 2.04 3/73 13727
/proc/meminfo: memFree=1442688/2055920 swapFree=4192812/4192956
[pid=13722] ppid=13720 vsize=6296 CPUtime=4.64
/proc/13722/stat : 13722 (pcs.big) R 13720 13722 10627 0 -1 4194304 1260 739 0 0 464 0 0 0 25 0 1 0 58787927 6447104 891 996147200 134512640 135215973 4294956304 18446744073709551615 134590188 0 0 4096 0 0 0 0 17 1 0 0
/proc/13722/statm: 1574 891 406 171 0 499 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 6296
[startup+4.90243 s]
/proc/loadavg: 2.15 2.03 2.04 3/73 13727
/proc/meminfo: memFree=1442688/2055920 swapFree=4192812/4192956
[pid=13722] ppid=13720 vsize=6296 CPUtime=4.84
/proc/13722/stat : 13722 (pcs.big) R 13720 13722 10627 0 -1 4194304 1263 739 0 0 484 0 0 0 25 0 1 0 58787927 6447104 894 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/13722/statm: 1574 894 406 171 0 499 0
Current children cumulated CPU time (s) 4.84
Current children cumulated vsize (KiB) 6296
Child status: 0
Real time (s): 4.94945
CPU time (s): 4.90325
CPU user time (s): 4.89126
CPU system time (s): 0.011998
CPU usage (%): 99.0666
Max. virtual memory (cumulated for all children) (KiB): 6296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.89126
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= 2008
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= 19
involuntary context switches= 121
runsolver used 0.007998 second user time and 0.018997 second system time
The end