Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
pcs 0.3.2 | SAT | 42.6085 | 43.0043 |
Diagnostic | Value |
---|---|
ASSIGNMENTS | 14321 |
Name | csp/golombRulerArity3/ normalized-ruler-55-10-a3.xml |
MD5SUM | c84380d557561ba82f603f5f7b91934d |
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 | 4.19036 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 55 |
Number of constraints | 1080 |
Maximum constraint arity | 3 |
Maximum domain size | 56 |
Number of constraints which are defined in extension | 0 |
Number of constraints which are defined in intension | 1080 |
Global constraints used (with number of constraints) |
0.00/0.02 c has big domains 0.00/0.02 c big-domain mode 0.03/0.06 c Seed is 131308603 0.03/0.06 c Constructing HOME/instance-2070570-1247709007.xml 0.07/0.12 c deduced all_different(V11,V12,V13,V14,V15,V16,V17,V18,V19,V20,V21,V22,V23,V24,V25,V26,V27,V28,V29,V30,V31,V32,V33,V34,V35,V36,V37,V38,V39,V40,V41,V42,V43,V44,V45,V46,V47,V48,V49,V50,V51,V52,V53,V54,V10) 0.07/0.12 c with 1081 constraints 0.07/0.12 c Solving 14321 backtracks 15 restarts 42.50/42.99 s SATISFIABLE 42.50/42.99 c V0=0, V1=2, V2=14, V3=21, V4=29, V5=32, V6=45, V7=49, V8=54, V9=55, V10=2, V11=14, V12=21, V13=29, V14=32, V15=45, V16=49, V17=54, V18=55, V19=12, V20=19, V21=27, V22=30, V23=43, V24=47, V25=52, V26=53, V27=7, V28=15, V29=18, V30=31, V31=35, V32=40, V33=41, V34=8, V35=11, V36=24, V37=28, V38=33, V39=34, V40=3, V41=16, V42=20, V43=25, V44=26, V45=13, V46=17, V47=22, V48=23, V49=4, V50=9, V51=10, V52=5, V53=6, V54=1, 42.50/42.99 v 0 2 14 21 29 32 45 49 54 55 2 14 21 29 32 45 49 54 55 12 19 27 30 43 47 52 53 7 15 18 31 35 40 41 8 11 24 28 33 34 3 16 20 25 26 13 17 22 23 4 9 10 5 6 1 42.50/42.99 d ASSIGNMENTS 14321
OK
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2070570-1247709007/watcher-2070570-1247709007 -o /tmp/evaluation-result-2070570-1247709007/solver-2070570-1247709007 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 131308603 HOME/instance-2070570-1247709007.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.30 2.16 2.15 4/83 14091 /proc/meminfo: memFree=769560/2055920 swapFree=4192812/4192956 [pid=14091] ppid=14089 vsize=18576 CPUtime=0 /proc/14091/stat : 14091 (runsolver) R 14089 14091 12052 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 57966081 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 265674091815 0 0 4096 24578 0 0 0 17 0 0 0 /proc/14091/statm: 4644 284 249 26 0 2626 0 [startup+0.0615441 s] /proc/loadavg: 2.30 2.16 2.15 4/83 14091 /proc/meminfo: memFree=769560/2055920 swapFree=4192812/4192956 [pid=14091] ppid=14089 vsize=4620 CPUtime=0.03 /proc/14091/stat : 14091 (pcs.big) R 14089 14091 12052 0 -1 4194304 847 654 0 0 3 0 0 0 18 0 1 0 57966081 4730880 478 996147200 134512640 135215973 4294956304 18446744073709551615 12202560 0 0 4096 0 0 0 0 17 1 0 0 /proc/14091/statm: 1155 478 383 171 0 80 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4620 [startup+0.102548 s] /proc/loadavg: 2.30 2.16 2.15 4/83 14091 /proc/meminfo: memFree=769560/2055920 swapFree=4192812/4192956 [pid=14091] ppid=14089 vsize=5008 CPUtime=0.07 /proc/14091/stat : 14091 (pcs.big) R 14089 14091 12052 0 -1 4194304 935 654 0 0 7 0 0 0 18 0 1 0 57966081 5128192 566 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 1 0 0 /proc/14091/statm: 1252 566 412 171 0 177 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5008 [startup+0.301588 s] /proc/loadavg: 2.30 2.16 2.15 4/83 14091 /proc/meminfo: memFree=769560/2055920 swapFree=4192812/4192956 [pid=14091] ppid=14089 vsize=5140 CPUtime=0.26 /proc/14091/stat : 14091 (pcs.big) R 14089 14091 12052 0 -1 4194304 982 654 0 0 26 0 0 0 19 0 1 0 57966081 5263360 613 996147200 134512640 135215973 4294956304 18446744073709551615 134584968 0 0 4096 0 0 0 0 17 1 0 0 /proc/14091/statm: 1285 613 412 171 0 210 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 5140 [startup+0.701666 s] /proc/loadavg: 2.30 2.16 2.15 4/83 14091 /proc/meminfo: memFree=769560/2055920 swapFree=4192812/4192956 [pid=14091] ppid=14089 vsize=5452 CPUtime=0.66 /proc/14091/stat : 14091 (pcs.big) R 14089 14091 12052 0 -1 4194304 1070 654 0 0 66 0 0 0 23 0 1 0 57966081 5582848 701 996147200 134512640 135215973 4294956304 18446744073709551615 134589765 0 0 4096 0 0 0 0 17 1 0 0 /proc/14091/statm: 1363 701 412 171 0 288 0 Current children cumulated CPU time (s) 0.66 Current children cumulated vsize (KiB) 5452 [startup+1.50182 s] /proc/loadavg: 2.27 2.15 2.15 3/84 14096 /proc/meminfo: memFree=767952/2055920 swapFree=4192812/4192956 [pid=14091] ppid=14089 vsize=6200 CPUtime=1.45 /proc/14091/stat : 14091 (pcs.big) R 14089 14091 12052 0 -1 4194304 1259 654 0 0 145 0 0 0 25 0 1 0 57966081 6348800 890 996147200 134512640 135215973 4294956304 18446744073709551615 134600095 0 0 4096 0 0 0 0 17 1 0 0 /proc/14091/statm: 1550 890 412 171 0 475 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 6200 [startup+3.10113 s] /proc/loadavg: 2.27 2.15 2.15 3/84 14096 /proc/meminfo: memFree=766416/2055920 swapFree=4192812/4192956 [pid=14091] ppid=14089 vsize=8100 CPUtime=3.05 /proc/14091/stat : 14091 (pcs.big) R 14089 14091 12052 0 -1 4194304 1730 654 0 0 304 1 0 0 25 0 1 0 57966081 8294400 1328 996147200 134512640 135215973 4294956304 18446744073709551615 134533141 0 0 4096 0 0 0 0 17 1 0 0 /proc/14091/statm: 2025 1328 412 171 0 950 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 8100 [startup+6.30175 s] /proc/loadavg: 2.27 2.15 2.15 4/84 14096 /proc/meminfo: memFree=762896/2055920 swapFree=4192812/4192956 [pid=14091] ppid=14089 vsize=11516 CPUtime=6.22 /proc/14091/stat : 14091 (pcs.big) R 14089 14091 12052 0 -1 4194304 2675 654 0 0 621 1 0 0 25 0 1 0 57966081 11792384 2208 996147200 134512640 135215973 4294956304 18446744073709551615 134742303 0 0 4096 0 0 0 0 17 1 0 0 /proc/14091/statm: 2879 2208 412 171 0 1804 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 11516 [startup+12.702 s] /proc/loadavg: 2.30 2.16 2.15 5/84 14096 /proc/meminfo: memFree=756504/2055920 swapFree=4192812/4192956 [pid=14091] ppid=14089 vsize=17832 CPUtime=12.56 /proc/14091/stat : 14091 (pcs.big) R 14089 14091 12052 0 -1 4194304 4365 654 0 0 1254 2 0 0 25 0 1 0 57966081 18259968 3736 996147200 134512640 135215973 4294956304 18446744073709551615 4158960177 0 0 4096 0 0 0 0 17 1 0 0 /proc/14091/statm: 4458 3736 412 171 0 3383 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 17832 [startup+25.5025 s] /proc/loadavg: 2.26 2.16 2.15 3/84 14096 /proc/meminfo: memFree=743448/2055920 swapFree=4192812/4192956 [pid=14091] ppid=14089 vsize=30712 CPUtime=25.24 /proc/14091/stat : 14091 (pcs.big) R 14089 14091 12052 0 -1 4194304 7836 654 0 0 2521 3 0 0 25 0 1 0 57966081 31449088 6885 996147200 134512640 135215973 4294956304 18446744073709551615 12234325 0 0 4096 0 0 0 0 17 1 0 0 /proc/14091/statm: 7678 6885 412 171 0 6603 0 Current children cumulated CPU time (s) 25.24 Current children cumulated vsize (KiB) 30712 Solver just ended. Dumping a history of the last processes samples [startup+31.9067 s] /proc/loadavg: 2.30 2.17 2.15 4/84 14096 /proc/meminfo: memFree=735896/2055920 swapFree=4192812/4192956 [pid=14091] ppid=14089 vsize=39748 CPUtime=31.6 /proc/14091/stat : 14091 (pcs.big) R 14089 14091 12052 0 -1 4194304 10187 654 0 0 3155 5 0 0 25 0 1 0 57966081 40701952 8723 996147200 134512640 135215973 4294956304 18446744073709551615 134590083 0 0 4096 0 0 0 0 17 1 0 0 /proc/14091/statm: 9937 8723 412 171 0 8862 0 Current children cumulated CPU time (s) 31.6 Current children cumulated vsize (KiB) 39748 [startup+38.302 s] /proc/loadavg: 2.27 2.17 2.15 3/84 14096 /proc/meminfo: memFree=730072/2055920 swapFree=4192812/4192956 [pid=14091] ppid=14089 vsize=46108 CPUtime=37.93 /proc/14091/stat : 14091 (pcs.big) R 14089 14091 12052 0 -1 4194304 11918 654 0 0 3787 6 0 0 25 0 1 0 57966081 47214592 10454 996147200 134512640 135215973 4294956304 18446744073709551615 134902762 0 0 4096 0 0 0 0 17 1 0 0 /proc/14091/statm: 11527 10454 412 171 0 10452 0 Current children cumulated CPU time (s) 37.93 Current children cumulated vsize (KiB) 46108 [startup+41.5016 s] /proc/loadavg: 2.27 2.17 2.15 3/84 14096 /proc/meminfo: memFree=725976/2055920 swapFree=4192812/4192956 [pid=14091] ppid=14089 vsize=49664 CPUtime=41.11 /proc/14091/stat : 14091 (pcs.big) R 14089 14091 12052 0 -1 4194304 12881 654 0 0 4104 7 0 0 25 0 1 0 57966081 50855936 11417 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0 /proc/14091/statm: 12416 11417 412 171 0 11341 0 Current children cumulated CPU time (s) 41.11 Current children cumulated vsize (KiB) 49664 [startup+42.3018 s] /proc/loadavg: 2.25 2.16 2.15 3/84 14096 /proc/meminfo: memFree=724696/2055920 swapFree=4192812/4192956 [pid=14091] ppid=14089 vsize=50412 CPUtime=41.9 /proc/14091/stat : 14091 (pcs.big) R 14089 14091 12052 0 -1 4194304 13084 654 0 0 4183 7 0 0 25 0 1 0 57966081 51621888 11620 996147200 134512640 135215973 4294956304 18446744073709551615 134605808 0 0 4096 0 0 0 0 17 1 0 0 /proc/14091/statm: 12603 11620 412 171 0 11528 0 Current children cumulated CPU time (s) 41.9 Current children cumulated vsize (KiB) 50412 [startup+42.7018 s] /proc/loadavg: 2.25 2.16 2.15 3/84 14096 /proc/meminfo: memFree=724696/2055920 swapFree=4192812/4192956 [pid=14091] ppid=14089 vsize=50916 CPUtime=42.3 /proc/14091/stat : 14091 (pcs.big) R 14089 14091 12052 0 -1 4194304 13205 654 0 0 4223 7 0 0 25 0 1 0 57966081 52137984 11741 996147200 134512640 135215973 4294956304 18446744073709551615 134591100 0 0 4096 0 0 0 0 17 1 0 0 /proc/14091/statm: 12729 11741 412 171 0 11654 0 Current children cumulated CPU time (s) 42.3 Current children cumulated vsize (KiB) 50916 [startup+42.9069 s] /proc/loadavg: 2.25 2.16 2.15 3/84 14096 /proc/meminfo: memFree=723544/2055920 swapFree=4192812/4192956 [pid=14091] ppid=14089 vsize=51164 CPUtime=42.5 /proc/14091/stat : 14091 (pcs.big) R 14089 14091 12052 0 -1 4194304 13263 654 0 0 4243 7 0 0 25 0 1 0 57966081 52391936 11799 996147200 134512640 135215973 4294956304 18446744073709551615 134589769 0 0 4096 0 0 0 0 17 1 0 0 /proc/14091/statm: 12791 11799 412 171 0 11716 0 Current children cumulated CPU time (s) 42.5 Current children cumulated vsize (KiB) 51164 [startup+43.0025 s] /proc/loadavg: 2.25 2.16 2.15 3/84 14096 /proc/meminfo: memFree=723544/2055920 swapFree=4192812/4192956 [pid=14091] ppid=14089 vsize=0 CPUtime=42.59 /proc/14091/stat : 14091 (pcs.big) R 14089 14091 12052 0 -1 4194308 13266 654 0 0 4251 8 0 0 25 0 1 0 57966081 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0 /proc/14091/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 42.59 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 43.0043 CPU time (s): 42.6085 CPU user time (s): 42.5195 CPU system time (s): 0.088986 CPU usage (%): 99.0797 Max. virtual memory (cumulated for all children) (KiB): 51164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 42.5195 system time used= 0.088986 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13920 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= 20 involuntary context switches= 1735 runsolver used 0.041993 second user time and 0.132979 second system time The end
Begin job on node76 at 2009-07-16 03:50:07 IDJOB=2070570 IDBENCH=55370 IDSOLVER=733 FILE ID=node76/2070570-1247709007 PBS_JOBID= 9521164 Free space on /tmp= 66396 MiB SOLVER NAME= pcs 0.2 BENCH NAME= CPAI08/csp/golombRulerArity3/normalized-ruler-55-10-a3.xml COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2070570-1247709007/watcher-2070570-1247709007 -o /tmp/evaluation-result-2070570-1247709007/solver-2070570-1247709007 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 131308603 HOME/instance-2070570-1247709007.xml TIME LIMIT= 1800 seconds MEMORY LIMIT= 900 MiB MAX NB THREAD= 0 MD5SUM BENCH= c84380d557561ba82f603f5f7b91934d RANDOM SEED=131308603 node76.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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 770040 kB Buffers: 70148 kB Cached: 373348 kB SwapCached: 0 kB Active: 806664 kB Inactive: 406744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 770040 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 1908 kB Writeback: 0 kB Mapped: 790396 kB Slab: 56088 kB Committed_AS: 1266424 kB PageTables: 3384 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= 66392 MiB End job on node76 at 2009-07-16 03:50:51