0.00/0.01 c small-domain mode
0.00/0.02 c Seed is 1936192083
0.00/0.02 c Constructing HOME/instance-2073772-1247712239.xml with 1706 constraints
0.02/0.09 c Solving 33 backtracks 1 restarts
0.07/0.15 s SATISFIABLE
0.07/0.15 c V0=3, V1=4, V2=12, V3=14, V4=18, V5=10, V6=0, V7=20, V8=18, V9=4, V10=3, V11=20, V12=13, V13=8, V14=14, V15=19, V16=19, V17=14, V18=18, V19=20, V20=13, V21=20, V22=7, V23=20, V24=17, V25=20, V26=19, V27=7, V28=4, V29=17, V30=0, V31=25, V32=14, V33=18, V34=13, V35=4, V36=20, V37=10, V38=0, V39=18, V40=18, V41=0, V42=18, V43=19, V44=8, V45=17, V46=4, V47=4, V48=15, V49=18, V50=18, V51=19,
0.07/0.15 v 3 4 12 14 18 10 0 20 18 4 3 20 13 8 14 19 19 14 18 20 13 20 7 20 17 20 19 7 4 17 0 25 14 18 13 4 20 10 0 18 18 0 18 19 8 17 4 4 15 18 18 19
0.07/0.15 d ASSIGNMENTS 33
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2073772-1247712239/watcher-2073772-1247712239 -o /tmp/evaluation-result-2073772-1247712239/solver-2073772-1247712239 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1936192083 HOME/instance-2073772-1247712239.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.00 2.01 2.00 4/81 11510
/proc/meminfo: memFree=1453296/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=5356 CPUtime=0
/proc/11510/stat : 11510 (pcssolve) R 11508 11510 10722 0 -1 4194304 290 0 0 0 0 0 0 0 19 0 1 0 58286912 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 271894243999 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/11510/statm: 1339 241 200 169 0 50 0
[pid=11511] ppid=11510 vsize=5356 CPUtime=0
/proc/11511/stat : 11511 (pcssolve) R 11510 11510 10722 0 -1 4194368 22 0 0 0 0 0 0 0 20 0 1 0 58286913 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 271894244647 0 0 4096 0 0 0 0 17 1 0 0
/proc/11511/statm: 1339 243 202 169 0 50 0
[pid=11512] ppid=11510 vsize=5356 CPUtime=0
/proc/11512/stat : 11512 (pcssolve) R 11510 11510 10722 0 -1 4194368 0 0 0 0 0 0 0 0 19 0 1 0 58286913 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 271894243999 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/11512/statm: 1339 241 200 169 0 50 0
[startup+0.0484211 s]
/proc/loadavg: 2.00 2.01 2.00 4/81 11510
/proc/meminfo: memFree=1453296/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=4808 CPUtime=0.02
/proc/11510/stat : 11510 (pcs.small) R 11508 11510 10722 0 -1 4194304 896 1097 0 0 2 0 0 0 23 0 1 0 58286912 4923392 505 996147200 134512640 135095119 4294956304 18446744073709551615 134769923 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 1202 505 375 142 0 156 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4808
[startup+0.101424 s]
/proc/loadavg: 2.00 2.01 2.00 4/81 11510
/proc/meminfo: memFree=1453296/2055920 swapFree=4192812/4192956
[pid=11510] ppid=11508 vsize=5280 CPUtime=0.07
/proc/11510/stat : 11510 (pcs.small) R 11508 11510 10722 0 -1 4194304 1048 1097 0 0 7 0 0 0 23 0 1 0 58286912 5406720 656 996147200 134512640 135095119 4294956304 18446744073709551615 5742334 0 0 4096 0 0 0 0 17 0 0 0
/proc/11510/statm: 1320 656 400 142 0 274 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5280
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 0.153053
CPU time (s): 0.147977
CPU user time (s): 0.12998
CPU system time (s): 0.017997
CPU usage (%): 96.6834
Max. virtual memory (cumulated for all children) (KiB): 5280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.12998
system time used= 0.017997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2155
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= 16
involuntary context switches= 12
runsolver used 0.004999 second user time and 0.004999 second system time
The end