Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3706.opb |
MD5SUM | 2678162fff018c2bb73a090ae021ae87 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 105000 |
Biggest coefficient in the objective function | 4194304 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 39120920179 |
Number of bits of the sum of numbers in the objective function | 36 |
Biggest number in a constraint | 4194304 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 39120920179 |
Number of bits of the biggest sum of numbers | 36 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.973851 |
Number of variables | 105000 |
Total number of constraints | 5150 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 5150 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 2000 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-05-28 13:47:23 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24996 boxname=wulflinc5 idbench=1468 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 2678162fff018c2bb73a090ae021ae87 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-n3706.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-n3706.opb IDLAUNCH: 24996 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 696792 kB Buffers: 34276 kB Cached: 278752 kB SwapCached: 588 kB Active: 26204 kB Inactive: 288900 kB HighTotal: 131008 kB HighFree: 7756 kB LowTotal: 903652 kB LowFree: 689036 kB SwapTotal: 2097136 kB SwapFree: 2095612 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5132 kB Slab: 16900 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-28 13:54:12 (client local time) WITH STATUS 1 IN 408.417 SECONDS stats: 24996 7 408.417 1 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified Unexpected exception : St9bad_alloc #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.99 0.96 0.91 2/54 20725 Raw data (stat): 20725 (runsolver) R 20724 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 807056344 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 2221 0 0 0 993 6 0 0 25 0 1 0 807056344 8089600 1544 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 1975 1544 300 300 0 1675 0 vsize: 7900 [startup+20.0007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 2760 0 0 0 1992 7 0 0 25 0 1 0 807056344 9576448 2075 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 2338 2075 300 300 0 2038 0 vsize: 9352 [startup+30.0004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 3889 0 0 0 2990 9 0 0 25 0 1 0 807056344 13410304 2492 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3274 2492 300 300 0 2974 0 vsize: 13096 [startup+40.0065 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 4173 0 0 0 3989 11 0 0 25 0 1 0 807056344 14221312 2771 4294967295 134512640 135726644 3221224592 3221221680 134556187 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3472 2771 300 300 0 3172 0 vsize: 13888 [startup+50.0069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 4443 0 0 0 4988 13 0 0 25 0 1 0 807056344 14897152 3036 4294967295 134512640 135726644 3221224592 3221221680 134556195 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3637 3036 300 300 0 3337 0 vsize: 14548 [startup+60.0067 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 4677 0 0 0 5986 14 0 0 25 0 1 0 807056344 15572992 3267 4294967295 134512640 135726644 3221224592 3221221680 134556188 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3802 3267 300 300 0 3502 0 vsize: 15208 [startup+70.0068 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 4892 0 0 0 6986 15 0 0 25 0 1 0 807056344 16113664 3478 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 3934 3478 300 300 0 3634 0 vsize: 15736 [startup+80.0071 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 5089 0 0 0 7985 15 0 0 25 0 1 0 807056344 16654336 3672 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4066 3672 300 300 0 3766 0 vsize: 16264 [startup+90.0069 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 5275 0 0 0 8985 16 0 0 25 0 1 0 807056344 17059840 3855 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4165 3855 300 300 0 3865 0 vsize: 16660 [startup+100.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 5451 0 0 0 9984 17 0 0 25 0 1 0 807056344 17600512 4028 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 4297 4028 300 300 0 3997 0 vsize: 17188 [startup+110.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 7476 0 0 0 10979 22 0 0 25 0 1 0 807056344 25403392 4641 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4641 300 300 0 5902 0 vsize: 24808 [startup+120.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 7532 0 0 0 11978 23 0 0 25 0 1 0 807056344 25403392 4694 4294967295 134512640 135726644 3221224592 3221221680 134556168 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4694 300 300 0 5902 0 vsize: 24808 [startup+130.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 7585 0 0 0 12978 24 0 0 25 0 1 0 807056344 25403392 4745 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4745 300 300 0 5902 0 vsize: 24808 [startup+140.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 7653 0 0 0 13978 24 0 0 25 0 1 0 807056344 25403392 4810 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4810 300 300 0 5902 0 vsize: 24808 [startup+150.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 7713 0 0 0 14978 24 0 0 25 0 1 0 807056344 25403392 4868 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6202 4868 300 300 0 5902 0 vsize: 24808 [startup+160.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 7813 0 0 0 15978 25 0 0 25 0 1 0 807056344 25673728 4966 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6268 4966 300 300 0 5968 0 vsize: 25072 [startup+170.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 7946 0 0 0 16977 25 0 0 25 0 1 0 807056344 26079232 5097 4294967295 134512640 135726644 3221224592 3221221680 134556192 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6367 5097 300 300 0 6067 0 vsize: 25468 [startup+180.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 8075 0 0 0 17976 26 0 0 25 0 1 0 807056344 26349568 5224 4294967295 134512640 135726644 3221224592 3221221680 134556187 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6433 5224 300 300 0 6133 0 vsize: 25732 [startup+190.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 8200 0 0 0 18976 27 0 0 25 0 1 0 807056344 26755072 5347 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6532 5347 300 300 0 6232 0 vsize: 26128 [startup+200.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 8324 0 0 0 19976 27 0 0 25 0 1 0 807056344 27025408 5469 4294967295 134512640 135726644 3221224592 3221221680 134556187 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6598 5469 300 300 0 6298 0 vsize: 26392 [startup+210.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 8444 0 0 0 20975 28 0 0 25 0 1 0 807056344 27295744 5587 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6664 5587 300 300 0 6364 0 vsize: 26656 [startup+220.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 8561 0 0 0 21975 29 0 0 25 0 1 0 807056344 27701248 5702 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6763 5702 300 300 0 6463 0 vsize: 27052 [startup+230.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 8677 0 0 0 22974 29 0 0 25 0 1 0 807056344 27971584 5816 4294967295 134512640 135726644 3221224592 3221221680 134556173 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6829 5816 300 300 0 6529 0 vsize: 27316 [startup+240.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 8790 0 0 0 23974 30 0 0 25 0 1 0 807056344 28241920 5927 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6895 5927 300 300 0 6595 0 vsize: 27580 [startup+250.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 8901 0 0 0 24974 30 0 0 25 0 1 0 807056344 28512256 6036 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 6961 6036 300 300 0 6661 0 vsize: 27844 [startup+260.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 9009 0 0 0 25974 31 0 0 25 0 1 0 807056344 28782592 6143 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7027 6143 300 300 0 6727 0 vsize: 28108 [startup+270.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 9116 0 0 0 26973 31 0 0 25 0 1 0 807056344 29188096 6248 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7126 6248 300 300 0 6826 0 vsize: 28504 [startup+280.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 9222 0 0 0 27973 32 0 0 25 0 1 0 807056344 29458432 6352 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7192 6352 300 300 0 6892 0 vsize: 28768 [startup+290.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 9324 0 0 0 28973 32 0 0 25 0 1 0 807056344 29728768 6453 4294967295 134512640 135726644 3221224592 3221221680 134556171 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 7258 6453 300 300 0 6958 0 vsize: 29032 [startup+300.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 25817 0 0 0 29936 69 0 0 25 0 1 0 807056344 89157632 19838 4294967295 134512640 135726644 3221224592 3189548056 135282351 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 21768 19840 300 300 0 21468 0 vsize: 87068 [startup+310.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 56351 0 0 0 30873 132 0 0 25 0 1 0 807056344 184209408 40164 4294967295 134512640 135726644 3221224592 3180865708 134604462 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 44973 40165 300 300 0 44673 0 vsize: 179892 [startup+320.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 90071 0 0 0 31802 204 0 0 25 0 1 0 807056344 298098688 57839 4294967295 134512640 135726644 3221224592 3179798144 134554711 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 72778 57840 300 300 0 72478 0 vsize: 291112 [startup+330.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 118529 0 0 0 32741 265 0 0 25 0 1 0 807056344 396582912 73787 4294967295 134512640 135726644 3221224592 3180470816 134780348 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 96822 73787 300 300 0 96522 0 vsize: 387288 [startup+340.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 137557 0 0 0 33698 307 0 0 25 0 1 0 807056344 423616512 92596 4294967295 134512640 135726644 3221224592 3180203120 134810251 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 103422 92597 300 300 0 103122 0 vsize: 413688 [startup+350.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 175694 0 0 0 34626 380 0 0 25 0 1 0 807056344 545746944 111147 4294967295 134512640 135726644 3221224592 3180032896 134783289 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 133239 111147 300 300 0 132939 0 vsize: 532956 [startup+360.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 212269 0 0 0 35552 454 0 0 25 0 1 0 807056344 646410240 122930 4294967295 134512640 135726644 3221224592 3180774108 134604415 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 157815 122930 300 300 0 157515 0 vsize: 631260 [startup+370.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 228830 0 0 0 36516 490 0 0 25 0 1 0 807056344 701050880 139291 4294967295 134512640 135726644 3221224592 3180793820 134634289 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 171155 139291 300 300 0 170855 0 vsize: 684620 [startup+380.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 248674 0 0 0 37473 533 0 0 25 0 1 0 807056344 729165824 158918 4294967295 134512640 135726644 3221224592 3193195768 134784091 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 178019 158919 300 300 0 177719 0 vsize: 712076 [startup+390.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 265424 0 0 0 38436 571 0 0 25 0 1 0 807056344 803692544 175464 4294967295 134512640 135726644 3221224592 3179828416 134780450 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 196214 175464 300 300 0 195914 0 vsize: 784856 [startup+400.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 271918 0 0 0 39420 587 0 0 25 0 1 0 807056344 813797376 181884 4294967295 134512640 135726644 3221224592 3203180704 135138297 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 198681 181884 300 300 0 198381 0 vsize: 794724 [startup+408.355 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 20725 Raw data (stat): 20725 (pb2sat) R 20724 7266 7265 0 -1 0 271918 0 0 0 39420 587 0 0 25 0 1 0 807056344 813797376 181884 4294967295 134512640 135726644 3221224592 3203180704 135138297 0 0 7 16384 0 0 0 17 0 0 0 Raw data (statm): 198681 181884 300 300 0 198381 0 vsize: 0 Child status: 1 Real time (s): 408.354 CPU time (s): 408.417 CPU user time (s): 402.177 CPU system time (s): 6.24005 CPU usage (%): 100.015 Max. virtual memory (Kb): 794724 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####