0.00/0.02 c small-domain mode
0.00/0.21 c Seed is 186455760
0.00/0.21 c Constructing HOME/instance-2074838-1247712461.xml with 2861 constraints
0.00/0.21 c Solving 17 backtracks 1 restarts
0.19/0.29 s SATISFIABLE
0.19/0.29 c V0=18, V1=22, V2=0, V3=12, V4=8, V5=19, V6=2, V7=7, V8=15, V9=14, V10=13, V11=24, V12=19, V13=14, V14=17, V15=4, V16=20, V17=17, V18=13, V19=17, V20=20, V21=1, V22=17, V23=4, V24=0, V25=13, V26=0, V27=11, V28=24, V29=25, V30=4, V31=0, V32=3, V33=0, V34=2, V35=14, V36=17, V37=24, V38=3, V39=14, V40=17, V41=0, V42=18, V43=8, V44=21, V45=24, V46=0, V47=2, V48=4, V49=19, V50=4, V51=0, V52=17, V53=22, V54=24, V55=13, V56=13, V57=4, V58=17, V59=13, V60=4, V61=20, V62=18, V63=4, V64=3,
0.19/0.29 v 18 22 0 12 8 19 2 7 15 14 13 24 19 14 17 4 20 17 13 17 20 1 17 4 0 13 0 11 24 25 4 0 3 0 2 14 17 24 3 14 17 0 18 8 21 24 0 2 4 19 4 0 17 22 24 13 13 4 17 13 4 20 18 4 3
0.19/0.29 d ASSIGNMENTS 17
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2074838-1247712461/watcher-2074838-1247712461 -o /tmp/evaluation-result-2074838-1247712461/solver-2074838-1247712461 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 186455760 HOME/instance-2074838-1247712461.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.07 2.03 2.00 7/83 16131
/proc/meminfo: memFree=1483520/2055920 swapFree=4192812/4192956
[pid=16129] ppid=16127 vsize=5356 CPUtime=0
/proc/16129/stat : 16129 (pcssolve) R 16127 16129 14703 0 -1 4194304 290 0 0 0 0 0 0 0 20 0 1 0 58312523 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 238487661215 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16129/statm: 1339 241 200 169 0 50 0
[pid=16130] ppid=16129 vsize=3544 CPUtime=0
/proc/16130/stat : 16130 (fgrep) R 16129 16129 14703 0 -1 4194304 97 0 0 0 0 0 0 0 21 0 1 0 58312523 3629056 64 996147200 4194304 4274172 548682068976 18446744073709551615 238487513600 0 0 4096 0 0 0 0 17 1 0 0
/proc/16130/statm: 886 64 48 19 0 10 0
[pid=16131] ppid=16129 vsize=5356 CPUtime=0
/proc/16131/stat : 16131 (pcssolve) R 16129 16129 14703 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 58312523 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 238487661215 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16131/statm: 1339 241 200 169 0 50 0
[startup+0.213566 s]
/proc/loadavg: 2.07 2.03 2.00 7/83 16131
/proc/meminfo: memFree=1483520/2055920 swapFree=4192812/4192956
[pid=16129] ppid=16127 vsize=5500 CPUtime=0.19
/proc/16129/stat : 16129 (pcs.small) R 16127 16129 14703 0 -1 4194304 1090 1106 0 0 19 0 0 0 19 0 1 0 58312523 5632000 699 996147200 134512640 135095119 4294956304 18446744073709551615 134918187 0 0 4096 0 0 0 0 17 1 0 0
/proc/16129/statm: 1375 699 400 142 0 329 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5500
Solver just ended. Dumping a history of the last processes samples
[startup+0.213566 s]
/proc/loadavg: 2.07 2.03 2.00 7/83 16131
/proc/meminfo: memFree=1483520/2055920 swapFree=4192812/4192956
[pid=16129] ppid=16127 vsize=5500 CPUtime=0.19
/proc/16129/stat : 16129 (pcs.small) R 16127 16129 14703 0 -1 4194304 1090 1106 0 0 19 0 0 0 19 0 1 0 58312523 5632000 699 996147200 134512640 135095119 4294956304 18446744073709551615 134918187 0 0 4096 0 0 0 0 17 1 0 0
/proc/16129/statm: 1375 699 400 142 0 329 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5500
Child status: 0
Real time (s): 0.295172
CPU time (s): 0.287955
CPU user time (s): 0.280957
CPU system time (s): 0.006998
CPU usage (%): 97.555
Max. virtual memory (cumulated for all children) (KiB): 5500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.280957
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2215
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= 20
involuntary context switches= 20
runsolver used 0.002999 second user time and 0.005999 second system time
The end