Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs-restart 0.3.2 | SAT | 2.87656 | 2.90589 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 39 |
Name | csp/ogdHerald/ normalized-crossword-m1-ogd-15-03.xml |
MD5SUM | 6023d8b01905dd6c34bb294891b52766 |
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 | 0.622904 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 189 |
Number of constraints | 1001 |
Maximum constraint arity | 16 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 78 |
Number of constraints which are defined in intension | 923 |
Global constraints used (with number of constraints) |
0.00/0.03 c small-domain mode 0.00/0.04 c Seed is 629055516 0.00/0.04 c Constructing HOME/instance-2076786-1247714272.xml with 14013 constraints 0.47/0.58 c Solving 39 backtracks 1 restarts 2.86/2.90 s SATISFIABLE 2.86/2.90 c V0=1, V1=2, V2=1, V3=6, V4=18, V5=0, V6=11, V7=4, V8=15, V9=21, V10=8, V11=17, V12=0, V13=14, V14=4, V15=8, V16=11, V17=15, V18=11, V19=8, V20=0, V21=8, V22=4, V23=23, V24=8, V25=19, V26=14, V27=2, V28=17, V29=0, V30=7, V31=4, V32=17, V33=19, V34=25, V35=11, V36=4, V37=18, V38=19, V39=12, V40=0, V41=17, V42=8, V43=19, V44=8, V45=12, V46=4, V47=25, V48=24, V49=3, V50=4, V51=2, V52=14, V53=18, V54=14, V55=13, V56=18, V57=21, V58=4, V59=20, V60=19, V61=7, V62=8, V63=3, V64=4, V65=20, V66=23, V67=18, V68=4, V69=17, V70=4, V71=18, V72=8, V73=4, V74=13, V75=8, V76=11, V77=4, V78=20, V79=18, V80=1, V81=14, V82=13, V83=8, V84=18, V85=15, V86=12, V87=20, V88=4, V89=0, V90=20, V91=23, V92=5, V93=11, V94=20, V95=19, V96=0, V97=4, V98=15, V99=14, V100=8, V101=17, V102=8, V103=18, V104=0, V105=17, V106=20, V107=12, V108=18, V109=0, V110=19, V111=14, V112=20, V113=17, V114=0, V115=18, V116=19, V117=8, V118=2, V119=14, V120=19, V121=18, V122=0, V123=2, V124=4, V125=13, V126=18, V127=0, V128=18, V129=2, V130=8, V131=0, V132=14, V133=23, V134=4, V135=17, V136=1, V137=0, V138=25, V139=14, V140=20, V141=18, V142=6, V143=11, V144=0, V145=18, V146=13, V147=14, V148=18, V149=19, V150=17, V151=8, V152=4, V153=11, V154=18, V155=10, V156=8, V157=4, V158=18, V159=20, V160=18, V161=4, V162=25, V163=14, V164=17, V165=1, V166=4, V167=0, V168=8, V169=6, V170=20, V171=18, V172=0, V173=4, V174=17, V175=0, V176=20, V177=18, V178=20, V179=18, V180=19, V181=17, V182=0, V183=12, V184=4, V185=19, V186=18, V187=0, V188=17, 2.86/2.90 v 1 2 1 6 18 0 11 4 15 21 8 17 0 14 4 8 11 15 11 8 0 8 4 23 8 19 14 2 17 0 7 4 17 19 25 11 4 18 19 12 0 17 8 19 8 12 4 25 24 3 4 2 14 18 14 13 18 21 4 20 19 7 8 3 4 20 23 18 4 17 4 18 8 4 13 8 11 4 20 18 1 14 13 8 18 15 12 20 4 0 20 23 5 11 20 19 0 4 15 14 8 17 8 18 0 17 20 12 18 0 19 14 20 17 0 18 19 8 2 14 19 18 0 2 4 13 18 0 18 2 8 0 14 23 4 17 1 0 25 14 20 18 6 11 0 18 13 14 18 19 17 8 4 11 18 10 8 4 18 20 18 4 25 14 17 1 4 0 8 6 20 18 0 4 17 0 20 18 20 18 19 17 0 12 4 19 18 0 17 2.86/2.90 d ASSIGNMENTS 39
OK
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2076786-1247714272/watcher-2076786-1247714272 -o /tmp/evaluation-result-2076786-1247714272/solver-2076786-1247714272 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 629055516 HOME/instance-2076786-1247714272.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.16 2.05 2.01 4/82 12101 /proc/meminfo: memFree=810312/2055920 swapFree=4192812/4192956 [pid=12101] ppid=12099 vsize=5256 CPUtime=0 /proc/12101/stat : 12101 (pcssolve) R 12099 12101 10722 0 -1 4194304 63 0 0 0 0 0 0 0 20 0 1 0 58490263 5382144 48 996147200 4194304 4889804 548682068800 18446744073709551615 271891611108 0 0 4096 0 0 0 0 17 1 0 0 /proc/12101/statm: 1314 48 37 169 0 13 0 [startup+0.108011 s] /proc/loadavg: 2.16 2.05 2.01 4/82 12101 /proc/meminfo: memFree=810312/2055920 swapFree=4192812/4192956 [pid=12101] ppid=12099 vsize=5744 CPUtime=0.08 /proc/12101/stat : 12101 (pcs.small) R 12099 12101 10722 0 -1 4194304 982 2327 0 0 6 0 1 1 18 0 1 0 58490263 5881856 591 996147200 134512640 135095119 4294956304 18446744073709551615 134803153 0 0 4096 0 0 0 0 17 1 0 0 /proc/12101/statm: 1436 591 375 142 0 390 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5744 [startup+0.20202 s] /proc/loadavg: 2.16 2.05 2.01 4/82 12101 /proc/meminfo: memFree=810312/2055920 swapFree=4192812/4192956 [pid=12101] ppid=12099 vsize=7064 CPUtime=0.17 /proc/12101/stat : 12101 (pcs.small) R 12099 12101 10722 0 -1 4194304 1403 2327 0 0 15 0 1 1 18 0 1 0 58490263 7233536 1012 996147200 134512640 135095119 4294956304 18446744073709551615 134741468 0 0 4096 0 0 0 0 17 1 0 0 /proc/12101/statm: 1766 1012 375 142 0 720 0 Current children cumulated CPU time (s) 0.17 Current children cumulated vsize (KiB) 7064 [startup+0.301029 s] /proc/loadavg: 2.16 2.05 2.01 4/82 12101 /proc/meminfo: memFree=810312/2055920 swapFree=4192812/4192956 [pid=12101] ppid=12099 vsize=8304 CPUtime=0.28 /proc/12101/stat : 12101 (pcs.small) R 12099 12101 10722 0 -1 4194304 1898 2327 0 0 25 1 1 1 19 0 1 0 58490263 8503296 1336 996147200 134512640 135095119 4294956304 18446744073709551615 134934173 0 0 4096 0 0 0 0 17 1 0 0 /proc/12101/statm: 2076 1336 375 142 0 1030 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 8304 [startup+0.701073 s] /proc/loadavg: 2.16 2.05 2.01 4/82 12101 /proc/meminfo: memFree=810312/2055920 swapFree=4192812/4192956 [pid=12101] ppid=12099 vsize=10416 CPUtime=0.68 /proc/12101/stat : 12101 (pcs.small) R 12099 12101 10722 0 -1 4194304 2817 2327 0 0 64 2 1 1 23 0 1 0 58490263 10665984 1893 996147200 134512640 135095119 4294956304 18446744073709551615 134918194 0 0 4096 0 0 0 0 17 1 0 0 /proc/12101/statm: 2604 1893 400 142 0 1558 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 10416 [startup+1.50115 s] /proc/loadavg: 2.16 2.05 2.01 4/83 12107 /proc/meminfo: memFree=804088/2055920 swapFree=4192812/4192956 [pid=12101] ppid=12099 vsize=10580 CPUtime=1.47 /proc/12101/stat : 12101 (pcs.small) R 12099 12101 10722 0 -1 4194304 2860 2327 0 0 143 2 1 1 25 0 1 0 58490263 10833920 1936 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0 /proc/12101/statm: 2645 1936 400 142 0 1599 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 10580 Solver just ended. Dumping a history of the last processes samples [startup+1.60116 s] /proc/loadavg: 2.16 2.05 2.01 4/83 12107 /proc/meminfo: memFree=804088/2055920 swapFree=4192812/4192956 [pid=12101] ppid=12099 vsize=10580 CPUtime=1.57 /proc/12101/stat : 12101 (pcs.small) R 12099 12101 10722 0 -1 4194304 2860 2327 0 0 153 2 1 1 25 0 1 0 58490263 10833920 1936 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0 /proc/12101/statm: 2645 1936 400 142 0 1599 0 Current children cumulated CPU time (s) 1.57 Current children cumulated vsize (KiB) 10580 [startup+2.40123 s] /proc/loadavg: 2.15 2.05 2.01 4/83 12107 /proc/meminfo: memFree=803832/2055920 swapFree=4192812/4192956 [pid=12101] ppid=12099 vsize=10580 CPUtime=2.36 /proc/12101/stat : 12101 (pcs.small) R 12099 12101 10722 0 -1 4194304 2869 2327 0 0 232 2 1 1 25 0 1 0 58490263 10833920 1945 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0 /proc/12101/statm: 2645 1945 400 142 0 1599 0 Current children cumulated CPU time (s) 2.36 Current children cumulated vsize (KiB) 10580 [startup+2.80128 s] /proc/loadavg: 2.15 2.05 2.01 4/83 12107 /proc/meminfo: memFree=803832/2055920 swapFree=4192812/4192956 [pid=12101] ppid=12099 vsize=10580 CPUtime=2.76 /proc/12101/stat : 12101 (pcs.small) R 12099 12101 10722 0 -1 4194304 2869 2327 0 0 272 2 1 1 25 0 1 0 58490263 10833920 1945 996147200 134512640 135095119 4294956304 18446744073709551615 134918187 0 0 4096 0 0 0 0 17 1 0 0 /proc/12101/statm: 2645 1945 400 142 0 1599 0 Current children cumulated CPU time (s) 2.76 Current children cumulated vsize (KiB) 10580 [startup+2.90229 s] /proc/loadavg: 2.15 2.05 2.01 4/83 12107 /proc/meminfo: memFree=803832/2055920 swapFree=4192812/4192956 [pid=12101] ppid=12099 vsize=10224 CPUtime=2.86 /proc/12101/stat : 12101 (pcs.small) R 12099 12101 10722 0 -1 4194304 2919 2327 0 0 282 2 1 1 25 0 1 0 58490263 10469376 1844 996147200 134512640 135095119 4294956304 18446744073709551615 5965680 0 0 4096 0 0 0 0 17 1 0 0 /proc/12101/statm: 2556 1844 400 142 0 1510 0 Current children cumulated CPU time (s) 2.86 Current children cumulated vsize (KiB) 10224 Child status: 0 Real time (s): 2.90589 CPU time (s): 2.87656 CPU user time (s): 2.83457 CPU system time (s): 0.041993 CPU usage (%): 98.9907 Max. virtual memory (cumulated for all children) (KiB): 10580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.83457 system time used= 0.041993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5248 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= 127 runsolver used 0.007998 second user time and 0.012998 second system time The end
Begin job on node60 at 2009-07-16 05:17:52 IDJOB=2076786 IDBENCH=56498 IDSOLVER=734 FILE ID=node60/2076786-1247714272 PBS_JOBID= 9521351 Free space on /tmp= 66424 MiB SOLVER NAME= pcs-restart 0.2.restart BENCH NAME= CPAI08/csp/ogdHerald/normalized-crossword-m1-ogd-15-03.xml COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2076786-1247714272/watcher-2076786-1247714272 -o /tmp/evaluation-result-2076786-1247714272/solver-2076786-1247714272 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 629055516 HOME/instance-2076786-1247714272.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6023d8b01905dd6c34bb294891b52766 RANDOM SEED=629055516 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: 810792 kB Buffers: 74124 kB Cached: 373724 kB SwapCached: 0 kB Active: 789120 kB Inactive: 371012 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 810792 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3260 kB Writeback: 0 kB Mapped: 732708 kB Slab: 68636 kB Committed_AS: 1266688 kB PageTables: 3388 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= 66420 MiB End job on node60 at 2009-07-16 05:17:55