0.00/0.01 c has big domains
0.00/0.01 c big-domain mode
0.00/0.02 c Seed is 82229215
0.00/0.02 c Constructing HOME/instance-2079910-1247717182.xml with 3839 constraints
0.00/0.05 c Solving 3 backtracks
0.18/0.21 s SATISFIABLE
0.18/0.21 c V0=18, V1=5, V2=10, V3=4, V4=19, V5=2, V6=15, V7=3, V8=6, V9=6, V10=14, V11=3, V12=12, V13=2, V14=1, V15=13, V16=11, V17=9, V18=20, V19=10, V20=5, V21=16, V22=9, V23=3, V24=16, V25=0, V26=2, V27=7, V28=13, V29=9, V30=3, V31=6, V32=4, V33=5, V34=7, V35=0, V36=8, V37=0, V38=17, V39=0, V40=9, V41=11, V42=14, V43=20, V44=23, V45=25, V46=38, V47=47, V48=57, V49=73, V50=76, V51=76, V52=83, V53=92, V54=98, V55=103, V56=103, V57=103, V58=103, V59=103, V60=0,
0.18/0.21 v 18 5 10 4 19 2 15 3 6 6 14 3 12 2 1 13 11 9 20 10 5 16 9 3 16 0 2 7 13 9 3 6 4 5 7 0 8 0 17 0 9 11 14 20 23 25 38 47 57 73 76 76 83 92 98 103 103 103 103 103 0
0.18/0.21 d ASSIGNMENTS 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2079910-1247717182/watcher-2079910-1247717182 -o /tmp/evaluation-result-2079910-1247717182/solver-2079910-1247717182 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 82229215 HOME/instance-2079910-1247717182.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.04 2.09 2.03 4/75 18449
/proc/meminfo: memFree=1630456/2055920 swapFree=4192812/4192956
[pid=18449] ppid=18447 vsize=18576 CPUtime=0
/proc/18449/stat : 18449 (runsolver) R 18447 18449 16378 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 58780867 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 209560595751 0 0 4096 24578 0 0 0 17 1 0 0
/proc/18449/statm: 4644 284 249 26 0 2626 0
[startup+0.087654 s]
/proc/loadavg: 2.04 2.09 2.03 4/75 18449
/proc/meminfo: memFree=1630456/2055920 swapFree=4192812/4192956
[pid=18449] ppid=18447 vsize=5964 CPUtime=0.06
/proc/18449/stat : 18449 (pcs.big) R 18447 18449 16378 0 -1 4194304 1188 691 0 0 6 0 0 0 24 0 1 0 58780867 6107136 819 996147200 134512640 135215973 4294956320 18446744073709551615 134599856 0 0 4096 0 0 0 0 17 1 0 0
/proc/18449/statm: 1491 819 404 171 0 416 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5964
[startup+0.101655 s]
/proc/loadavg: 2.04 2.09 2.03 4/75 18449
/proc/meminfo: memFree=1630456/2055920 swapFree=4192812/4192956
[pid=18449] ppid=18447 vsize=5964 CPUtime=0.08
/proc/18449/stat : 18449 (pcs.big) R 18447 18449 16378 0 -1 4194304 1197 691 0 0 8 0 0 0 24 0 1 0 58780867 6107136 828 996147200 134512640 135215973 4294956320 18446744073709551615 134590078 0 0 4096 0 0 0 0 17 1 0 0
/proc/18449/statm: 1491 828 404 171 0 416 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5964
Solver just ended. Dumping a history of the last processes samples
[startup+0.201671 s]
/proc/loadavg: 2.04 2.09 2.03 4/75 18449
/proc/meminfo: memFree=1630456/2055920 swapFree=4192812/4192956
[pid=18449] ppid=18447 vsize=5964 CPUtime=0.18
/proc/18449/stat : 18449 (pcs.big) R 18447 18449 16378 0 -1 4194304 1202 691 0 0 18 0 0 0 24 0 1 0 58780867 6107136 833 996147200 134512640 135215973 4294956320 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 1 0 0
/proc/18449/statm: 1491 833 406 171 0 416 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5964
Child status: 0
Real time (s): 0.218427
CPU time (s): 0.211966
CPU user time (s): 0.197969
CPU system time (s): 0.013997
CPU usage (%): 97.0421
Max. virtual memory (cumulated for all children) (KiB): 5964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.197969
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1912
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= 14
runsolver used 0.003999 second user time and 0.004999 second system time
The end