Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs-restart 0.3.2 | SAT | 29.6715 | 29.8013 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 925 |
Name | csp/wordsHerald/ normalized-crossword-m1-words-21-03.xml |
MD5SUM | d2602ffdba29ded4bf4e1d3ecdfa8424 |
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.683895 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 362 |
Number of constraints | 2140 |
Maximum constraint arity | 22 |
Maximum domain size | 26 |
Number of constraints which are defined in extension | 144 |
Number of constraints which are defined in intension | 1996 |
Global constraints used (with number of constraints) |
0.00/0.03 c small-domain mode 0.00/0.03 c Seed is 1584816373 0.00/0.03 c Constructing HOME/instance-2077545-1247715076.xml with 34998 constraints 0.37/0.46 c Solving 925 backtracks 8 restarts 29.55/29.80 s SATISFIABLE 29.55/29.80 c V0=0, V1=2, V2=17, V3=4, V4=0, V5=17, V6=2, V7=4, V8=11, V9=14, V10=15, V11=4, V12=0, V13=1, V14=0, V15=1, V16=0, V17=2, V18=7, V19=4, V20=22, V21=8, V22=3, V23=4, V24=0, V25=11, V26=8, V27=13, V28=4, V29=17, V30=1, V31=0, V32=2, V33=14, V34=13, V35=19, V36=8, V37=12, V38=4, V39=17, V40=20, V41=6, V42=18, V43=12, V44=0, V45=2, V46=17, V47=14, V48=0, V49=17, V50=0, V51=1, V52=24, V53=4, V54=11, V55=8, V56=3, V57=4, V58=11, V59=8, V60=0, V61=17, V62=4, V63=18, V64=19, V65=0, V66=19, V67=4, V68=3, V69=3, V70=4, V71=13, V72=18, V73=4, V74=19, V75=14, V76=13, V77=4, V78=18, V79=7, V80=8, V81=17, V82=4, V83=4, V84=1, V85=1, V86=8, V87=2, V88=4, V89=18, V90=13, V91=14, V92=17, V93=4, V94=15, V95=8, V96=2, V97=10, V98=12, V99=0, V100=4, V101=0, V102=1, V103=18, V104=14, V105=17, V106=1, V107=18, V108=21, V109=4, V110=19, V111=11, V112=0, V113=13, V114=0, V115=11, V116=0, V117=8, V118=17, V119=18, V120=13, V121=20, V122=2, V123=11, V124=4, V125=0, V126=17, V127=0, V128=2, V129=19, V130=8, V131=13, V132=6, V133=17, V134=20, V135=1, V136=4, V137=13, V138=18, V139=13, V140=4, V141=4, V142=3, V143=11, V144=4, V145=3, V146=19, V147=4, V148=13, V149=3, V150=3, V151=20, V152=17, V153=4, V154=18, V155=18, V156=8, V157=13, V158=13, V159=18, V160=0, V161=21, V162=8, V163=21, V164=17, V165=4, V166=14, V167=15, V168=4, V169=13, V170=4, V171=3, V172=4, V173=0, V174=19, V175=18, V176=13, V177=14, V178=17, V179=4, V180=18, V181=3, V182=17, V183=0, V184=8, V185=13, V186=18, V187=5, V188=0, V189=6, V190=12, V191=0, V192=2, V193=10, V194=4, V195=17, V196=4, V197=11, V198=0, V199=11, V200=12, V201=0, V202=17, V203=8, V204=2, V205=14, V206=6, V207=14, V208=0, V209=19, V210=4, V211=4, V212=1, V213=17, V214=0, V215=13, V216=12, V217=14, V218=1, V219=4, V220=2, V221=7, V222=14, V223=22, V224=4, V225=11, V226=3, V227=4, V228=3, V229=1, V230=14, V231=17, V232=13, V233=4, V234=14, V235=18, V236=11, V237=0, V238=13, V239=19, V240=4, V241=3, V242=4, V243=13, V244=3, V245=4, V246=3, V247=15, V248=0, V249=18, V250=0, V251=3, V252=4, V253=13, V254=0, V255=4, V256=11, V257=14, V258=8, V259=18, V260=4, V261=3, V262=14, V263=4, V264=1, V265=0, V266=18, V267=4, V268=8, V269=3, V270=14, V271=11, V272=18, V273=19, V274=22, V275=14, V276=18, V277=0, V278=13, V279=1, V280=0, V281=13, V282=4, V283=18, V284=24, V285=13, V286=6, V287=4, V288=0, V289=13, V290=13, V291=0, V292=11, V293=1, V294=0, V295=17, V296=13, V297=0, V298=1, V299=0, V300=18, V301=3, V302=4, V303=19, V304=4, V305=17, V306=0, V307=3, V308=0, V309=0, V310=17, V311=20, V312=1, V313=0, V314=2, V315=0, V316=1, V317=0, V318=11, V319=0, V320=13, V321=19, V322=4, V323=18, V324=11, V325=0, V326=12, V327=15, V328=4, V329=17, V330=11, V331=4, V332=4, V333=11, V334=4, V335=13, V336=0, V337=6, V338=8, V339=11, V340=11, V341=0, V342=11, V343=6, V344=0, V345=4, V346=3, V347=6, V348=4, V349=18, V350=0, V351=11, V352=11, V353=0, V354=24, V355=0, V356=1, V357=4, V358=3, V359=24, V360=4, V361=17, 29.55/29.80 v 0 2 17 4 0 17 2 4 11 14 15 4 0 1 0 1 0 2 7 4 22 8 3 4 0 11 8 13 4 17 1 0 2 14 13 19 8 12 4 17 20 6 18 12 0 2 17 14 0 17 0 1 24 4 11 8 3 4 11 8 0 17 4 18 19 0 19 4 3 3 4 13 18 4 19 14 13 4 18 7 8 17 4 4 1 1 8 2 4 18 13 14 17 4 15 8 2 10 12 0 4 0 1 18 14 17 1 18 21 4 19 11 0 13 0 11 0 8 17 18 13 20 2 11 4 0 17 0 2 19 8 13 6 17 20 1 4 13 18 13 4 4 3 11 4 3 19 4 13 3 3 20 17 4 18 18 8 13 13 18 0 21 8 21 17 4 14 15 4 13 4 3 4 0 19 18 13 14 17 4 18 3 17 0 8 13 18 5 0 6 12 0 2 10 4 17 4 11 0 11 12 0 17 8 2 14 6 14 0 19 4 4 1 17 0 13 12 14 1 4 2 7 14 22 4 11 3 4 3 1 14 17 13 4 14 18 11 0 13 19 4 3 4 13 3 4 3 15 0 18 0 3 4 13 0 4 11 14 8 18 4 3 14 4 1 0 18 4 8 3 14 11 18 19 22 14 18 0 13 1 0 13 4 18 24 13 6 4 0 13 13 0 11 1 0 17 13 0 1 0 18 3 4 19 4 17 0 3 0 0 17 20 1 0 2 0 1 0 11 0 13 19 4 18 11 0 12 15 4 17 11 4 4 11 4 13 0 6 8 11 11 0 11 6 0 4 3 6 4 18 0 11 11 0 24 0 1 4 3 24 4 17 29.55/29.80 d ASSIGNMENTS 925
OK
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2077545-1247715076/watcher-2077545-1247715076 -o /tmp/evaluation-result-2077545-1247715076/solver-2077545-1247715076 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1584816373 HOME/instance-2077545-1247715076.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.65 2.32 2.11 4/82 13096 /proc/meminfo: memFree=813256/2055920 swapFree=4192812/4192956 [pid=13096] ppid=13094 vsize=872 CPUtime=0 /proc/13096/stat : 13096 (pcssolve) R 13094 13096 11357 0 -1 4194304 21 0 0 0 0 0 0 0 18 0 1 0 58573694 892928 7 996147200 4194304 4889804 548682068800 18446744073709551615 264904905096 0 0 4096 0 0 0 0 17 1 0 0 /proc/13096/statm: 219 18 12 169 0 7 0 [startup+0.021684 s] /proc/loadavg: 2.65 2.32 2.11 4/82 13096 /proc/meminfo: memFree=813256/2055920 swapFree=4192812/4192956 [pid=13096] ppid=13094 vsize=5356 CPUtime=0 /proc/13096/stat : 13096 (pcssolve) R 13094 13096 11357 0 -1 4194304 339 433 0 0 0 0 0 0 21 0 1 0 58573694 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 264907580228 0 65536 4100 65538 0 0 0 17 0 0 0 /proc/13096/statm: 1339 242 201 169 0 50 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5356 [startup+0.101732 s] /proc/loadavg: 2.65 2.32 2.11 4/82 13096 /proc/meminfo: memFree=813256/2055920 swapFree=4192812/4192956 [pid=13096] ppid=13094 vsize=5544 CPUtime=0.06 /proc/13096/stat : 13096 (pcs.small) R 13094 13096 11357 0 -1 4194304 1032 1169 0 0 6 0 0 0 21 0 1 0 58573694 5677056 641 996147200 134512640 135095119 4294956304 18446744073709551615 134739383 0 0 4096 0 0 0 0 17 0 0 0 /proc/13096/statm: 1386 641 375 142 0 340 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5544 [startup+0.301767 s] /proc/loadavg: 2.65 2.32 2.11 4/82 13096 /proc/meminfo: memFree=813256/2055920 swapFree=4192812/4192956 [pid=13096] ppid=13094 vsize=8792 CPUtime=0.27 /proc/13096/stat : 13096 (pcs.small) R 13094 13096 11357 0 -1 4194304 1823 1169 0 0 26 1 0 0 23 0 1 0 58573694 9003008 1334 996147200 134512640 135095119 4294956304 18446744073709551615 134773014 0 0 4096 0 0 0 0 17 0 0 0 /proc/13096/statm: 2198 1334 388 142 0 1152 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 8792 [startup+0.70182 s] /proc/loadavg: 2.65 2.32 2.11 4/82 13096 /proc/meminfo: memFree=813256/2055920 swapFree=4192812/4192956 [pid=13096] ppid=13094 vsize=14844 CPUtime=0.67 /proc/13096/stat : 13096 (pcs.small) R 13094 13096 11357 0 -1 4194304 3761 1169 0 0 65 2 0 0 25 0 1 0 58573694 15200256 2742 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 0 0 0 /proc/13096/statm: 3711 2742 400 142 0 2665 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 14844 [startup+1.50194 s] /proc/loadavg: 2.65 2.32 2.11 3/83 13102 /proc/meminfo: memFree=803832/2055920 swapFree=4192812/4192956 [pid=13096] ppid=13094 vsize=14844 CPUtime=1.46 /proc/13096/stat : 13096 (pcs.small) R 13094 13096 11357 0 -1 4194304 3762 1169 0 0 144 2 0 0 25 0 1 0 58573694 15200256 2743 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 0 0 0 /proc/13096/statm: 3711 2743 400 142 0 2665 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 14844 [startup+3.10217 s] /proc/loadavg: 2.65 2.32 2.11 3/83 13102 /proc/meminfo: memFree=803704/2055920 swapFree=4192812/4192956 [pid=13096] ppid=13094 vsize=14844 CPUtime=3.06 /proc/13096/stat : 13096 (pcs.small) R 13094 13096 11357 0 -1 4194304 3766 1169 0 0 304 2 0 0 25 0 1 0 58573694 15200256 2747 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0 /proc/13096/statm: 3711 2747 400 142 0 2665 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 14844 [startup+6.30164 s] /proc/loadavg: 2.60 2.32 2.11 3/83 13102 /proc/meminfo: memFree=803448/2055920 swapFree=4192812/4192956 [pid=13096] ppid=13094 vsize=15168 CPUtime=6.25 /proc/13096/stat : 13096 (pcs.small) R 13094 13096 11357 0 -1 4194304 3837 1169 0 0 623 2 0 0 25 0 1 0 58573694 15532032 2818 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0 /proc/13096/statm: 3792 2818 400 142 0 2746 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 15168 [startup+12.7016 s] /proc/loadavg: 2.55 2.31 2.11 3/83 13102 /proc/meminfo: memFree=803336/2055920 swapFree=4192812/4192956 [pid=13096] ppid=13094 vsize=15168 CPUtime=12.62 /proc/13096/stat : 13096 (pcs.small) R 13094 13096 11357 0 -1 4194304 3862 1169 0 0 1260 2 0 0 25 0 1 0 58573694 15532032 2843 996147200 134512640 135095119 4294956304 18446744073709551615 134581505 0 0 4096 0 0 0 0 17 0 0 0 /proc/13096/statm: 3792 2843 400 142 0 2746 0 Current children cumulated CPU time (s) 12.62 Current children cumulated vsize (KiB) 15168 [startup+25.5014 s] /proc/loadavg: 2.43 2.30 2.11 3/83 13102 /proc/meminfo: memFree=803208/2055920 swapFree=4192812/4192956 [pid=13096] ppid=13094 vsize=15488 CPUtime=25.37 /proc/13096/stat : 13096 (pcs.small) R 13094 13096 11357 0 -1 4194304 3952 1169 0 0 2535 2 0 0 25 0 1 0 58573694 15859712 2852 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0 /proc/13096/statm: 3872 2852 400 142 0 2826 0 Current children cumulated CPU time (s) 25.37 Current children cumulated vsize (KiB) 15488 Solver just ended. Dumping a history of the last processes samples [startup+27.1017 s] /proc/loadavg: 2.43 2.30 2.11 3/83 13102 /proc/meminfo: memFree=803208/2055920 swapFree=4192812/4192956 [pid=13096] ppid=13094 vsize=15488 CPUtime=26.96 /proc/13096/stat : 13096 (pcs.small) R 13094 13096 11357 0 -1 4194304 3975 1169 0 0 2694 2 0 0 25 0 1 0 58573694 15859712 2875 996147200 134512640 135095119 4294956304 18446744073709551615 134918187 0 0 4096 0 0 0 0 17 0 0 0 /proc/13096/statm: 3872 2875 400 142 0 2826 0 Current children cumulated CPU time (s) 26.96 Current children cumulated vsize (KiB) 15488 [startup+28.7029 s] /proc/loadavg: 2.40 2.29 2.11 3/83 13102 /proc/meminfo: memFree=803208/2055920 swapFree=4192812/4192956 [pid=13096] ppid=13094 vsize=15488 CPUtime=28.56 /proc/13096/stat : 13096 (pcs.small) R 13094 13096 11357 0 -1 4194304 3983 1169 0 0 2854 2 0 0 25 0 1 0 58573694 15859712 2883 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0 /proc/13096/statm: 3872 2883 400 142 0 2826 0 Current children cumulated CPU time (s) 28.56 Current children cumulated vsize (KiB) 15488 [startup+29.502 s] /proc/loadavg: 2.40 2.29 2.11 3/83 13102 /proc/meminfo: memFree=803208/2055920 swapFree=4192812/4192956 [pid=13096] ppid=13094 vsize=15488 CPUtime=29.35 /proc/13096/stat : 13096 (pcs.small) R 13094 13096 11357 0 -1 4194304 3983 1169 0 0 2933 2 0 0 25 0 1 0 58573694 15859712 2883 996147200 134512640 135095119 4294956304 18446744073709551615 134926976 0 0 4096 0 0 0 0 17 0 0 0 /proc/13096/statm: 3872 2883 400 142 0 2826 0 Current children cumulated CPU time (s) 29.35 Current children cumulated vsize (KiB) 15488 [startup+29.706 s] /proc/loadavg: 2.40 2.29 2.11 3/83 13102 /proc/meminfo: memFree=803208/2055920 swapFree=4192812/4192956 [pid=13096] ppid=13094 vsize=15488 CPUtime=29.55 /proc/13096/stat : 13096 (pcs.small) R 13094 13096 11357 0 -1 4194304 3984 1169 0 0 2953 2 0 0 25 0 1 0 58573694 15859712 2884 996147200 134512640 135095119 4294956304 18446744073709551615 134918163 0 0 4096 0 0 0 0 17 0 0 0 /proc/13096/statm: 3872 2884 400 142 0 2826 0 Current children cumulated CPU time (s) 29.55 Current children cumulated vsize (KiB) 15488 [startup+29.8011 s] /proc/loadavg: 2.40 2.29 2.11 3/83 13102 /proc/meminfo: memFree=803208/2055920 swapFree=4192812/4192956 [pid=13096] ppid=13094 vsize=0 CPUtime=29.65 /proc/13096/stat : 13096 (pcs.small) R 13094 13096 11357 0 -1 4194308 4020 1169 0 0 2963 2 0 0 25 0 1 0 58573694 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0 /proc/13096/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 29.65 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 29.8013 CPU time (s): 29.6715 CPU user time (s): 29.6365 CPU system time (s): 0.034994 CPU usage (%): 99.5644 Max. virtual memory (cumulated for all children) (KiB): 15488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 29.6365 system time used= 0.034994 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5189 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= 1003 runsolver used 0.023996 second user time and 0.092985 second system time The end
Begin job on node30 at 2009-07-16 05:31:16 IDJOB=2077545 IDBENCH=56612 IDSOLVER=734 FILE ID=node30/2077545-1247715076 PBS_JOBID= 9521321 Free space on /tmp= 66280 MiB SOLVER NAME= pcs-restart 0.2.restart BENCH NAME= CPAI08/csp/wordsHerald/normalized-crossword-m1-words-21-03.xml COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2077545-1247715076/watcher-2077545-1247715076 -o /tmp/evaluation-result-2077545-1247715076/solver-2077545-1247715076 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1584816373 HOME/instance-2077545-1247715076.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= d2602ffdba29ded4bf4e1d3ecdfa8424 RANDOM SEED=1584816373 node30.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.277 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.277 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: 813744 kB Buffers: 75148 kB Cached: 369980 kB SwapCached: 0 kB Active: 757180 kB Inactive: 399912 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 813744 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2792 kB Writeback: 0 kB Mapped: 732424 kB Slab: 68780 kB Committed_AS: 1249432 kB PageTables: 3248 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= 66280 MiB End job on node30 at 2009-07-16 05:31:46