Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs 0.3.2 | SAT | 1.45678 | 1.47467 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 5262 |
Name | csp/QWH-20/ normalized-qwh-20-166-7_ext.xml |
MD5SUM | bae1b7ecfcce2b6a64814f4296ee5aeb |
Bench Category | 2-ARY-EXT (binary constraints in extension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.45678 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 400 |
Number of constraints | 5092 |
Maximum constraint arity | 2 |
Maximum domain size | 20 |
Number of constraints which are defined in extension | 5092 |
Number of constraints which are defined in intension | 0 |
Global constraints used (with number of constraints) |
0.00/0.01 c small-domain mode 0.00/0.04 c Seed is 1796551293 0.00/0.04 c Constructing HOME/instance-2058470-1247694257.xml with 28196 constraints 0.07/0.14 c Solving 5262 backtracks 12 restarts 1.37/1.46 s SATISFIABLE 1.37/1.46 c V0=0, V1=4, V2=17, V3=6, V4=1, V5=15, V6=16, V7=9, V8=14, V9=10, V10=5, V11=7, V12=3, V13=11, V14=8, V15=18, V16=2, V17=12, V18=19, V19=13, V20=18, V21=16, V22=7, V23=2, V24=0, V25=10, V26=5, V27=11, V28=13, V29=8, V30=1, V31=14, V32=9, V33=12, V34=6, V35=19, V36=17, V37=4, V38=3, V39=15, V40=3, V41=7, V42=6, V43=15, V44=13, V45=5, V46=14, V47=19, V48=8, V49=18, V50=11, V51=1, V52=12, V53=4, V54=17, V55=16, V56=10, V57=0, V58=2, V59=9, V60=16, V61=14, V62=5, V63=4, V64=18, V65=11, V66=7, V67=12, V68=1, V69=13, V70=17, V71=0, V72=19, V73=10, V74=9, V75=2, V76=8, V77=6, V78=15, V79=3, V80=4, V81=19, V82=1, V83=7, V84=12, V85=2, V86=8, V87=18, V88=10, V89=6, V90=13, V91=3, V92=0, V93=15, V94=11, V95=5, V96=9, V97=17, V98=16, V99=14, V100=2, V101=11, V102=4, V103=16, V104=5, V105=7, V106=19, V107=1, V108=15, V109=14, V110=3, V111=18, V112=6, V113=17, V114=0, V115=8, V116=12, V117=9, V118=13, V119=10, V120=9, V121=6, V122=12, V123=17, V124=19, V125=4, V126=13, V127=16, V128=11, V129=3, V130=10, V131=8, V132=5, V133=0, V134=7, V135=14, V136=18, V137=15, V138=1, V139=2, V140=7, V141=2, V142=14, V143=1, V144=16, V145=12, V146=11, V147=8, V148=5, V149=0, V150=6, V151=9, V152=10, V153=19, V154=4, V155=15, V156=13, V157=3, V158=17, V159=18, V160=11, V161=3, V162=0, V163=5, V164=7, V165=8, V166=15, V167=14, V168=17, V169=12, V170=4, V171=10, V172=1, V173=2, V174=13, V175=9, V176=16, V177=19, V178=18, V179=6, V180=5, V181=17, V182=11, V183=12, V184=6, V185=14, V186=2, V187=3, V188=19, V189=1, V190=15, V191=13, V192=16, V193=9, V194=10, V195=4, V196=7, V197=18, V198=8, V199=0, V200=19, V201=18, V202=13, V203=14, V204=9, V205=0, V206=3, V207=4, V208=12, V209=16, V210=2, V211=17, V212=11, V213=7, V214=15, V215=1, V216=5, V217=10, V218=6, V219=8, V220=8, V221=13, V222=18, V223=11, V224=2, V225=19, V226=9, V227=0, V228=3, V229=4, V230=12, V231=15, V232=7, V233=6, V234=16, V235=17, V236=14, V237=5, V238=10, V239=1, V240=10, V241=5, V242=16, V243=18, V244=15, V245=17, V246=12, V247=7, V248=0, V249=19, V250=9, V251=2, V252=13, V253=1, V254=3, V255=6, V256=4, V257=8, V258=14, V259=11, V260=1, V261=9, V262=15, V263=8, V264=3, V265=16, V266=4, V267=13, V268=6, V269=7, V270=0, V271=19, V272=17, V273=18, V274=2, V275=10, V276=11, V277=14, V278=12, V279=5, V280=12, V281=8, V282=10, V283=19, V284=11, V285=13, V286=0, V287=6, V288=7, V289=2, V290=18, V291=16, V292=4, V293=14, V294=5, V295=3, V296=15, V297=1, V298=9, V299=17, V300=17, V301=0, V302=19, V303=10, V304=8, V305=9, V306=6, V307=5, V308=2, V309=15, V310=14, V311=11, V312=18, V313=3, V314=12, V315=13, V316=1, V317=16, V318=4, V319=7, V320=14, V321=1, V322=3, V323=13, V324=17, V325=6, V326=10, V327=15, V328=16, V329=9, V330=7, V331=5, V332=2, V333=8, V334=18, V335=12, V336=19, V337=11, V338=0, V339=4, V340=13, V341=15, V342=2, V343=9, V344=14, V345=18, V346=17, V347=10, V348=4, V349=11, V350=19, V351=6, V352=8, V353=16, V354=1, V355=0, V356=3, V357=7, V358=5, V359=12, V360=15, V361=12, V362=9, V363=0, V364=10, V365=3, V366=1, V367=17, V368=18, V369=5, V370=8, V371=4, V372=14, V373=13, V374=19, V375=11, V376=6, V377=2, V378=7, V379=16, V380=6, V381=10, V382=8, V383=3, V384=4, V385=1, V386=18, V387=2, V388=9, V389=17, V390=16, V391=12, V392=15, V393=5, V394=14, V395=7, V396=0, V397=13, V398=11, V399=19, 1.37/1.46 v 0 4 17 6 1 15 16 9 14 10 5 7 3 11 8 18 2 12 19 13 18 16 7 2 0 10 5 11 13 8 1 14 9 12 6 19 17 4 3 15 3 7 6 15 13 5 14 19 8 18 11 1 12 4 17 16 10 0 2 9 16 14 5 4 18 11 7 12 1 13 17 0 19 10 9 2 8 6 15 3 4 19 1 7 12 2 8 18 10 6 13 3 0 15 11 5 9 17 16 14 2 11 4 16 5 7 19 1 15 14 3 18 6 17 0 8 12 9 13 10 9 6 12 17 19 4 13 16 11 3 10 8 5 0 7 14 18 15 1 2 7 2 14 1 16 12 11 8 5 0 6 9 10 19 4 15 13 3 17 18 11 3 0 5 7 8 15 14 17 12 4 10 1 2 13 9 16 19 18 6 5 17 11 12 6 14 2 3 19 1 15 13 16 9 10 4 7 18 8 0 19 18 13 14 9 0 3 4 12 16 2 17 11 7 15 1 5 10 6 8 8 13 18 11 2 19 9 0 3 4 12 15 7 6 16 17 14 5 10 1 10 5 16 18 15 17 12 7 0 19 9 2 13 1 3 6 4 8 14 11 1 9 15 8 3 16 4 13 6 7 0 19 17 18 2 10 11 14 12 5 12 8 10 19 11 13 0 6 7 2 18 16 4 14 5 3 15 1 9 17 17 0 19 10 8 9 6 5 2 15 14 11 18 3 12 13 1 16 4 7 14 1 3 13 17 6 10 15 16 9 7 5 2 8 18 12 19 11 0 4 13 15 2 9 14 18 17 10 4 11 19 6 8 16 1 0 3 7 5 12 15 12 9 0 10 3 1 17 18 5 8 4 14 13 19 11 6 2 7 16 6 10 8 3 4 1 18 2 9 17 16 12 15 5 14 7 0 13 11 19 1.37/1.47 d ASSIGNMENTS 5262
OK
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2058470-1247694257/watcher-2058470-1247694257 -o /tmp/evaluation-result-2058470-1247694257/solver-2058470-1247694257 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1796551293 HOME/instance-2058470-1247694257.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: 0.87 0.22 0.07 4/72 10497 /proc/meminfo: memFree=1192040/2055920 swapFree=4192812/4192956 [pid=10497] ppid=10495 vsize=5256 CPUtime=0 /proc/10497/stat : 10497 (pcssolve) R 10495 10497 10283 0 -1 4194304 63 0 0 0 0 0 0 0 20 0 1 0 56489831 5382144 48 996147200 4194304 4889804 548682068800 18446744073709551615 255536987657 0 0 4096 0 0 0 0 17 1 0 0 /proc/10497/statm: 1314 48 37 169 0 13 0 [startup+0.0897641 s] /proc/loadavg: 0.87 0.22 0.07 4/72 10497 /proc/meminfo: memFree=1192040/2055920 swapFree=4192812/4192956 [pid=10497] ppid=10495 vsize=7556 CPUtime=0.06 /proc/10497/stat : 10497 (pcs.small) R 10495 10497 10283 0 -1 4194304 1453 824 0 0 6 0 0 0 18 0 1 0 56489831 7737344 964 996147200 134512640 135095119 4294956304 18446744073709551615 134608641 0 0 4096 0 0 0 0 17 1 0 0 /proc/10497/statm: 1889 964 367 142 0 843 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 7556 [startup+0.101757 s] /proc/loadavg: 0.87 0.22 0.07 4/72 10497 /proc/meminfo: memFree=1192040/2055920 swapFree=4192812/4192956 [pid=10497] ppid=10495 vsize=7436 CPUtime=0.07 /proc/10497/stat : 10497 (pcs.small) R 10495 10497 10283 0 -1 4194304 1658 824 0 0 7 0 0 0 18 0 1 0 56489831 7614464 1040 996147200 134512640 135095119 4294956304 18446744073709551615 3997278 0 0 4096 0 0 0 0 17 1 0 0 /proc/10497/statm: 1859 1040 367 142 0 813 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 7436 [startup+0.301779 s] /proc/loadavg: 0.87 0.22 0.07 4/72 10497 /proc/meminfo: memFree=1192040/2055920 swapFree=4192812/4192956 [pid=10497] ppid=10495 vsize=8368 CPUtime=0.27 /proc/10497/stat : 10497 (pcs.small) R 10495 10497 10283 0 -1 4194304 2007 824 0 0 27 0 0 0 19 0 1 0 56489831 8568832 1389 996147200 134512640 135095119 4294956304 18446744073709551615 134642693 0 0 4096 0 0 0 0 17 1 0 0 /proc/10497/statm: 2092 1389 378 142 0 1046 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 8368 [startup+0.701817 s] /proc/loadavg: 0.87 0.22 0.07 4/72 10497 /proc/meminfo: memFree=1192040/2055920 swapFree=4192812/4192956 [pid=10497] ppid=10495 vsize=8644 CPUtime=0.67 /proc/10497/stat : 10497 (pcs.small) R 10495 10497 10283 0 -1 4194304 2070 824 0 0 67 0 0 0 23 0 1 0 56489831 8851456 1452 996147200 134512640 135095119 4294956304 18446744073709551615 134642952 0 0 4096 0 0 0 0 17 1 0 0 /proc/10497/statm: 2161 1452 378 142 0 1115 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 8644 Solver just ended. Dumping a history of the last processes samples [startup+1.10686 s] /proc/loadavg: 0.87 0.22 0.07 4/73 10503 /proc/meminfo: memFree=1186848/2055920 swapFree=4192812/4192956 [pid=10497] ppid=10495 vsize=8900 CPUtime=1.06 /proc/10497/stat : 10497 (pcs.small) R 10495 10497 10283 0 -1 4194304 2181 824 0 0 106 0 0 0 25 0 1 0 56489831 9113600 1530 996147200 134512640 135095119 4294956304 18446744073709551615 134616992 0 0 4096 0 0 0 0 17 1 0 0 /proc/10497/statm: 2225 1530 378 142 0 1179 0 Current children cumulated CPU time (s) 1.06 Current children cumulated vsize (KiB) 8900 [startup+1.30187 s] /proc/loadavg: 0.87 0.22 0.07 4/73 10503 /proc/meminfo: memFree=1186848/2055920 swapFree=4192812/4192956 [pid=10497] ppid=10495 vsize=10840 CPUtime=1.27 /proc/10497/stat : 10497 (pcs.small) R 10495 10497 10283 0 -1 4194304 2692 824 0 0 126 1 0 0 25 0 1 0 56489831 11100160 1751 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0 /proc/10497/statm: 2710 1751 378 142 0 1664 0 Current children cumulated CPU time (s) 1.27 Current children cumulated vsize (KiB) 10840 [startup+1.40188 s] /proc/loadavg: 0.87 0.22 0.07 4/73 10503 /proc/meminfo: memFree=1186848/2055920 swapFree=4192812/4192956 [pid=10497] ppid=10495 vsize=10840 CPUtime=1.37 /proc/10497/stat : 10497 (pcs.small) R 10495 10497 10283 0 -1 4194304 2701 824 0 0 136 1 0 0 25 0 1 0 56489831 11100160 1760 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0 /proc/10497/statm: 2710 1760 378 142 0 1664 0 Current children cumulated CPU time (s) 1.37 Current children cumulated vsize (KiB) 10840 Child status: 0 Real time (s): 1.47467 CPU time (s): 1.45678 CPU user time (s): 1.43478 CPU system time (s): 0.021996 CPU usage (%): 98.7869 Max. virtual memory (cumulated for all children) (KiB): 10840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.43478 system time used= 0.021996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3534 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= 22 involuntary context switches= 44 runsolver used 0.003999 second user time and 0.010998 second system time The end
Begin job on node48 at 2009-07-15 23:44:17 IDJOB=2058470 IDBENCH=53494 IDSOLVER=733 FILE ID=node48/2058470-1247694257 PBS_JOBID= 9521217 Free space on /tmp= 66372 MiB SOLVER NAME= pcs 0.2 BENCH NAME= CPAI08/csp/QWH-20/normalized-qwh-20-166-7_ext.xml COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2058470-1247694257/watcher-2058470-1247694257 -o /tmp/evaluation-result-2058470-1247694257/solver-2058470-1247694257 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1796551293 HOME/instance-2058470-1247694257.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= bae1b7ecfcce2b6a64814f4296ee5aeb RANDOM SEED=1796551293 node48.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.237 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.237 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1192520 kB Buffers: 77420 kB Cached: 668472 kB SwapCached: 0 kB Active: 200860 kB Inactive: 579728 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1192520 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4260 kB Writeback: 0 kB Mapped: 46192 kB Slab: 68260 kB Committed_AS: 584592 kB PageTables: 1744 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66368 MiB End job on node48 at 2009-07-15 23:44:18