Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs 0.3.2 | SAT | 8.62369 | 8.71635 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 109 |
Name | csp/ukHerald/ normalized-crossword-m1-uk-19-02.xml |
MD5SUM | 58701967042ffa298c4219b2e2e6ec10 |
Bench Category | N-ARY-INT (n-ary constraints in intension) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.04384 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 296 |
Number of constraints | 1757 |
Maximum constraint arity | 28 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 118 |
Number of constraints which are defined in intension | 1639 |
Global constraints used (with number of constraints) |
0.00/0.04 c small-domain mode 0.00/0.04 c Seed is 78583607 0.00/0.04 c Constructing HOME/instance-2068722-1247707107.xml with 27331 constraints 0.86/0.90 c Solving 109 backtracks 3 restarts 8.59/8.71 s SATISFIABLE 8.59/8.71 c V0=18, V1=2, V2=20, V3=3, V4=8, V5=7, V6=14, V7=10, V8=20, V9=12, V10=14, V11=12, V12=0, V13=6, V14=7, V15=0, V16=4, V17=18, V18=8, V19=17, V20=18, V21=4, V22=17, V23=14, V24=18, V25=0, V26=4, V27=5, V28=0, V29=19, V30=22, V31=0, V32=18, V33=2, V34=4, V35=13, V36=4, V37=18, V38=7, V39=8, V40=5, V41=19, V42=4, V43=17, V44=18, V45=0, V46=11, V47=11, V48=24, V49=11, V50=7, V51=0, V52=18, V53=10, V54=15, V55=0, V56=18, V57=4, V58=14, V59=2, V60=0, V61=24, V62=12, V63=0, V64=13, V65=18, V66=24, V67=14, V68=20, V69=17, V70=19, V71=18, V72=5, V73=14, V74=20, V75=18, V76=18, V77=0, V78=18, V79=17, V80=14, V81=0, V82=3, V83=1, V84=4, V85=3, V86=15, V87=0, V88=17, V89=3, V90=8, V91=6, V92=12, V93=0, V94=13, V95=0, V96=12, V97=13, V98=8, V99=0, V100=3, V101=20, V102=4, V103=11, V104=11, V105=14, V106=18, V107=14, V108=13, V109=4, V110=15, V111=4, V112=6, V113=19, V114=17, V115=0, V116=12, V117=22, V118=0, V119=24, V120=18, V121=18, V122=7, V123=20, V124=19, V125=4, V126=19, V127=17, V128=4, V129=10, V130=24, V131=0, V132=15, V133=15, V134=18, V135=10, V136=4, V137=4, V138=13, V139=4, V140=17, V141=11, V142=0, V143=15, V144=15, V145=8, V146=18, V147=7, V148=0, V149=19, V150=19, V151=0, V152=8, V153=13, V154=19, V155=19, V156=14, V157=5, V158=14, V159=17, V160=4, V161=21, V162=8, V163=4, V164=22, V165=24, V166=19, V167=0, V168=1, V169=18, V170=0, V171=11, V172=14, V173=13, V174=4, V175=18, V176=20, V177=15, V178=4, V179=17, V180=11, V181=14, V182=14, V183=8, V184=0, V185=13, V186=11, V187=4, V188=14, V189=0, V190=22, V191=13, V192=8, V193=4, V194=18, V195=19, V196=20, V197=11, V198=13, V199=0, V200=4, V201=2, V202=14, V203=3, V204=0, V205=12, V206=0, V207=2, V208=4, V209=17, V210=12, V211=14, V212=11, V213=0, V214=18, V215=18, V216=4, V217=2, V218=20, V219=11, V220=15, V221=17, V222=8, V223=19, V224=14, V225=15, V226=4, V227=13, V228=4, V229=17, V230=19, V231=18, V232=0, V233=17, V234=8, V235=18, V236=12, V237=18, V238=2, V239=17, V240=0, V241=19, V242=10, V243=0, V244=13, V245=0, V246=4, V247=8, V248=10, V249=14, V250=13, V251=4, V252=15, V253=8, V254=15, V255=7, V256=4, V257=13, V258=14, V259=12, V260=4, V261=13, V262=14, V263=13, V264=0, V265=17, V266=4, V267=17, V268=4, V269=17, V270=4, V271=3, V272=4, V273=4, V274=12, V275=18, V276=0, V277=17, V278=4, V279=13, V280=0, V281=10, V282=4, V283=18, V284=0, V285=17, V286=17, V287=4, V288=19, V289=17, V290=24, V291=0, V292=18, V293=22, V294=0, V295=13, 8.59/8.71 v 18 2 20 3 8 7 14 10 20 12 14 12 0 6 7 0 4 18 8 17 18 4 17 14 18 0 4 5 0 19 22 0 18 2 4 13 4 18 7 8 5 19 4 17 18 0 11 11 24 11 7 0 18 10 15 0 18 4 14 2 0 24 12 0 13 18 24 14 20 17 19 18 5 14 20 18 18 0 18 17 14 0 3 1 4 3 15 0 17 3 8 6 12 0 13 0 12 13 8 0 3 20 4 11 11 14 18 14 13 4 15 4 6 19 17 0 12 22 0 24 18 18 7 20 19 4 19 17 4 10 24 0 15 15 18 10 4 4 13 4 17 11 0 15 15 8 18 7 0 19 19 0 8 13 19 19 14 5 14 17 4 21 8 4 22 24 19 0 1 18 0 11 14 13 4 18 20 15 4 17 11 14 14 8 0 13 11 4 14 0 22 13 8 4 18 19 20 11 13 0 4 2 14 3 0 12 0 2 4 17 12 14 11 0 18 18 4 2 20 11 15 17 8 19 14 15 4 13 4 17 19 18 0 17 8 18 12 18 2 17 0 19 10 0 13 0 4 8 10 14 13 4 15 8 15 7 4 13 14 12 4 13 14 13 0 17 4 17 4 17 4 3 4 4 12 18 0 17 4 13 0 10 4 18 0 17 17 4 19 17 24 0 18 22 0 13 8.59/8.71 d ASSIGNMENTS 109
OK
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2068722-1247707107/watcher-2068722-1247707107 -o /tmp/evaluation-result-2068722-1247707107/solver-2068722-1247707107 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 78583607 HOME/instance-2068722-1247707107.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/82 10502 /proc/meminfo: memFree=583120/2055920 swapFree=4192812/4192956 [pid=10502] ppid=10500 vsize=5356 CPUtime=0 /proc/10502/stat : 10502 (pcssolve) R 10500 10502 9065 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 57773763 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 271894243999 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/10502/statm: 1339 241 200 169 0 50 0 [pid=10503] ppid=10502 vsize=5356 CPUtime=0 /proc/10503/stat : 10503 (pcssolve) R 10502 10502 9065 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 57773763 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 271894243999 0 65538 4100 65536 0 0 0 17 1 0 0 /proc/10503/statm: 1339 241 200 169 0 50 0 [startup+0.058127 s] /proc/loadavg: 2.00 2.01 2.00 4/82 10502 /proc/meminfo: memFree=583120/2055920 swapFree=4192812/4192956 [pid=10502] ppid=10500 vsize=4640 CPUtime=0.03 /proc/10502/stat : 10502 (pcs.small) R 10500 10502 9065 0 -1 4194304 834 2327 0 0 1 0 1 1 18 0 1 0 57773763 4751360 443 996147200 134512640 135095119 4294956304 18446744073709551615 5975809 0 0 4096 0 0 0 0 17 1 0 0 /proc/10502/statm: 1160 443 361 142 0 114 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4640 [startup+0.101131 s] /proc/loadavg: 2.00 2.01 2.00 4/82 10502 /proc/meminfo: memFree=583120/2055920 swapFree=4192812/4192956 [pid=10502] ppid=10500 vsize=5392 CPUtime=0.07 /proc/10502/stat : 10502 (pcs.small) R 10500 10502 9065 0 -1 4194304 993 2327 0 0 5 0 1 1 18 0 1 0 57773763 5521408 569 996147200 134512640 135095119 4294956304 18446744073709551615 134741523 0 0 4096 0 0 0 0 17 1 0 0 /proc/10502/statm: 1348 569 375 142 0 302 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5392 [startup+0.301154 s] /proc/loadavg: 2.00 2.01 2.00 4/82 10502 /proc/meminfo: memFree=583120/2055920 swapFree=4192812/4192956 [pid=10502] ppid=10500 vsize=7380 CPUtime=0.27 /proc/10502/stat : 10502 (pcs.small) R 10500 10502 9065 0 -1 4194304 1554 2327 0 0 25 0 1 1 19 0 1 0 57773763 7557120 967 996147200 134512640 135095119 4294956304 18446744073709551615 134939965 0 0 4096 0 0 0 0 17 1 0 0 /proc/10502/statm: 1845 967 375 142 0 799 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 7380 [startup+0.701194 s] /proc/loadavg: 2.00 2.01 2.00 4/82 10502 /proc/meminfo: memFree=583120/2055920 swapFree=4192812/4192956 [pid=10502] ppid=10500 vsize=11652 CPUtime=0.66 /proc/10502/stat : 10502 (pcs.small) R 10500 10502 9065 0 -1 4194304 2425 2327 0 0 64 0 1 1 23 0 1 0 57773763 11931648 1679 996147200 134512640 135095119 4294956304 18446744073709551615 134944067 0 0 4096 0 0 0 0 17 1 0 0 /proc/10502/statm: 2913 1679 375 142 0 1867 0 Current children cumulated CPU time (s) 0.66 Current children cumulated vsize (KiB) 11652 [startup+1.50127 s] /proc/loadavg: 2.00 2.01 2.00 3/83 10508 /proc/meminfo: memFree=572808/2055920 swapFree=4192812/4192956 [pid=10502] ppid=10500 vsize=15096 CPUtime=1.45 /proc/10502/stat : 10502 (pcs.small) R 10500 10502 9065 0 -1 4194304 4053 2327 0 0 142 1 1 1 25 0 1 0 57773763 15458304 3002 996147200 134512640 135095119 4294956304 18446744073709551615 134927023 0 0 4096 0 0 0 0 17 1 0 0 /proc/10502/statm: 3774 3002 400 142 0 2728 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 15096 [startup+3.10143 s] /proc/loadavg: 2.00 2.01 2.00 3/83 10508 /proc/meminfo: memFree=572424/2055920 swapFree=4192812/4192956 [pid=10502] ppid=10500 vsize=15096 CPUtime=3.04 /proc/10502/stat : 10502 (pcs.small) R 10500 10502 9065 0 -1 4194304 4053 2327 0 0 301 1 1 1 25 0 1 0 57773763 15458304 3002 996147200 134512640 135095119 4294956304 18446744073709551615 134927073 0 0 4096 0 0 0 0 17 1 0 0 /proc/10502/statm: 3774 3002 400 142 0 2728 0 Current children cumulated CPU time (s) 3.04 Current children cumulated vsize (KiB) 15096 [startup+6.30174 s] /proc/loadavg: 2.00 2.01 2.00 3/83 10508 /proc/meminfo: memFree=572296/2055920 swapFree=4192812/4192956 [pid=10502] ppid=10500 vsize=15256 CPUtime=6.21 /proc/10502/stat : 10502 (pcs.small) R 10500 10502 9065 0 -1 4194304 4117 2327 0 0 617 2 1 1 25 0 1 0 57773763 15622144 3025 996147200 134512640 135095119 4294956304 18446744073709551615 134918151 0 0 4096 0 0 0 0 17 1 0 0 /proc/10502/statm: 3814 3025 400 142 0 2768 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 15256 Solver just ended. Dumping a history of the last processes samples [startup+7.9029 s] /proc/loadavg: 2.00 2.01 2.00 3/83 10508 /proc/meminfo: memFree=572296/2055920 swapFree=4192812/4192956 [pid=10502] ppid=10500 vsize=15256 CPUtime=7.8 /proc/10502/stat : 10502 (pcs.small) R 10500 10502 9065 0 -1 4194304 4125 2327 0 0 776 2 1 1 25 0 1 0 57773763 15622144 3033 996147200 134512640 135095119 4294956304 18446744073709551615 134927001 0 0 4096 0 0 0 0 17 1 0 0 /proc/10502/statm: 3814 3033 400 142 0 2768 0 Current children cumulated CPU time (s) 7.8 Current children cumulated vsize (KiB) 15256 [startup+8.30194 s] /proc/loadavg: 2.00 2.01 2.00 3/83 10508 /proc/meminfo: memFree=572296/2055920 swapFree=4192812/4192956 [pid=10502] ppid=10500 vsize=15256 CPUtime=8.2 /proc/10502/stat : 10502 (pcs.small) R 10500 10502 9065 0 -1 4194304 4125 2327 0 0 816 2 1 1 25 0 1 0 57773763 15622144 3033 996147200 134512640 135095119 4294956304 18446744073709551615 134927023 0 0 4096 0 0 0 0 17 1 0 0 /proc/10502/statm: 3814 3033 400 142 0 2768 0 Current children cumulated CPU time (s) 8.2 Current children cumulated vsize (KiB) 15256 [startup+8.70198 s] /proc/loadavg: 2.00 2.01 2.00 3/83 10508 /proc/meminfo: memFree=572872/2055920 swapFree=4192812/4192956 [pid=10502] ppid=10500 vsize=14548 CPUtime=8.59 /proc/10502/stat : 10502 (pcs.small) R 10500 10502 9065 0 -1 4194304 4249 2327 0 0 855 2 1 1 25 0 1 0 57773763 14897152 2861 996147200 134512640 135095119 4294956304 18446744073709551615 5963891 0 0 4096 0 0 0 0 17 1 0 0 /proc/10502/statm: 3637 2861 400 142 0 2591 0 Current children cumulated CPU time (s) 8.59 Current children cumulated vsize (KiB) 14548 Child status: 0 Real time (s): 8.71635 CPU time (s): 8.62369 CPU user time (s): 8.5777 CPU system time (s): 0.045993 CPU usage (%): 98.9369 Max. virtual memory (cumulated for all children) (KiB): 16052 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.5777 system time used= 0.045993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6578 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= 23 involuntary context switches= 208 runsolver used 0.016997 second user time and 0.034994 second system time The end
Begin job on node60 at 2009-07-16 03:18:27 IDJOB=2068722 IDBENCH=54915 IDSOLVER=733 FILE ID=node60/2068722-1247707107 PBS_JOBID= 9521192 Free space on /tmp= 66428 MiB SOLVER NAME= pcs 0.2 BENCH NAME= CPAI08/csp/ukHerald/normalized-crossword-m1-uk-19-02.xml COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2068722-1247707107/watcher-2068722-1247707107 -o /tmp/evaluation-result-2068722-1247707107/solver-2068722-1247707107 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 78583607 HOME/instance-2068722-1247707107.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= 58701967042ffa298c4219b2e2e6ec10 RANDOM SEED=78583607 node60.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.232 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.232 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: 583600 kB Buffers: 86240 kB Cached: 529976 kB SwapCached: 0 kB Active: 944360 kB Inactive: 439876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 583600 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4524 kB Writeback: 0 kB Mapped: 788428 kB Slab: 71676 kB Committed_AS: 1321388 kB PageTables: 3392 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= 66424 MiB End job on node60 at 2009-07-16 03:18:36