Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
clasp 2.0.6-R5325 (opt) | SAT (TO) | 3731 | 1800.02 | 1800.31 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-p2756.opb |
MD5SUM | 54b9b4de78a7992fd69d0caeed32daef |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3124 |
Best CPU time to get the best result obtained on this benchmark | 1.66275 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3695 |
Optimality of the best value was proved | NO |
Number of variables | 2756 |
Total number of constraints | 749 |
Number of constraints which are clauses | 132 |
Number of constraints which are cardinality constraints (but not clauses) | 220 |
Number of constraints which are nor clauses,nor cardinality constraints | 397 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 546 |
Number of terms in the objective function | 2166 |
Biggest coefficient in the objective function | 11000 |
Number of bits for the biggest coefficient in the objective function | 14 |
Sum of the numbers in the objective function | 321831 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 11000 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 321831 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Calling clasp with: --sat-p=-1,50,160,-1,1 --heuristic=Vsids --restarts=256 --dinit=1000,10000 --del=3.0,1.1,10.0 --recursive-str --update-lbd --dglue=2 --otfs=2 --dgrowS=100,1.5 --reverse-arcs=2 --dsched=+,10000,2000 --dfrac=0.5 --opt-heu=2 --restart-on-model 0.00/0.00 c clasp version 2.0.6 0.00/0.00 c Reading from ...145653/instance-3708953-1338145653.opb 0.00/0.00 c Solving... 0.00/0.00 o 20244 0.00/0.03 o 20243 0.00/0.13 o 20242 0.00/0.13 o 6076 0.00/0.13 o 5091 0.00/0.13 o 5090 0.00/0.13 o 4420 0.00/0.13 o 4419 0.00/0.14 o 4395 0.00/0.14 o 4388 0.00/0.14 o 4378 0.00/0.14 o 4376 0.00/0.14 o 4375 0.00/0.14 o 4368 0.00/0.14 o 4367 0.00/0.14 o 4363 0.00/0.14 o 4362 0.00/0.14 o 4347 0.00/0.14 o 4270 0.00/0.15 o 4269 0.00/0.15 o 4268 0.00/0.16 o 4267 0.00/0.16 o 4264 0.00/0.16 o 4261 0.00/0.16 o 4194 0.00/0.16 o 4192 0.00/0.16 o 4185 0.00/0.16 o 4172 0.00/0.17 o 4171 0.00/0.43 o 4170 0.00/0.76 o 4169 1.39/1.46 o 4168 2.19/2.22 o 4166 2.39/2.46 o 4165 3.69/3.70 o 4164 3.79/3.89 o 4162 4.09/4.17 o 4161 4.29/4.31 o 4160 4.59/4.67 o 4159 5.59/5.65 o 4158 8.98/9.09 o 4157 9.38/9.47 o 4156 9.58/9.65 o 4155 10.38/10.47 o 4154 10.99/11.01 o 4153 11.18/11.20 o 4152 11.18/11.28 o 4151 11.38/11.42 o 4150 11.88/11.99 o 4148 12.09/12.17 o 4147 12.58/12.67 o 4146 12.98/13.09 o 4145 13.38/13.49 o 4144 19.98/20.09 o 4143 20.18/20.28 o 4142 20.38/20.44 o 4140 20.48/20.55 o 4139 20.89/20.92 o 4138 21.68/21.79 o 4137 24.48/24.58 o 4135 27.39/27.41 o 4134 28.58/28.62 o 4132 28.68/28.73 o 4130 28.88/28.94 o 4129 29.08/29.12 o 4127 30.18/30.26 o 4126 30.48/30.58 o 4125 33.98/34.04 o 4124 43.48/43.59 o 4123 43.48/43.59 o 4122 43.78/43.82 o 4121 44.08/44.15 o 4120 45.28/45.39 o 4119 45.87/45.98 o 4118 46.37/46.47 o 4116 46.77/46.85 o 4115 46.87/46.99 o 4114 47.97/48.01 o 4113 48.98/49.07 o 4112 49.58/49.66 o 4111 49.68/49.79 o 4110 49.98/50.04 o 4109 50.88/50.90 o 4108 50.98/51.05 o 4107 53.68/53.70 o 4106 53.78/53.83 o 4105 55.18/55.23 o 4104 55.38/55.43 o 4103 55.68/55.73 o 4102 61.08/61.17 o 4101 62.08/62.12 o 4100 63.38/63.41 o 4099 63.88/63.90 o 4098 63.88/63.93 o 4097 64.78/64.82 o 4096 64.78/64.88 o 4095 64.98/65.00 o 4093 65.08/65.16 o 4092 65.48/65.55 o 4091 68.38/68.41 o 4090 68.38/68.41 o 4089 68.58/68.65 o 4088 69.28/69.39 o 4087 69.68/69.77 o 4086 69.88/69.96 o 4085 70.98/71.06 o 4084 71.58/71.69 o 4083 72.38/72.49 o 4082 72.58/72.67 o 4081 73.08/73.14 o 4080 76.58/76.63 o 4079 96.37/96.41 o 4078 97.07/97.18 o 4076 97.78/97.81 o 4075 97.88/97.93 o 4074 98.77/98.83 o 4073 99.07/99.17 o 4072 99.37/99.47 o 4071 99.47/99.53 o 4070 100.17/100.21 o 4069 100.87/100.90 o 4068 101.67/101.80 o 4067 102.87/102.93 o 4066 103.38/103.42 o 4065 104.67/104.73 o 4064 104.77/104.81 o 4062 105.37/105.48 o 4061 110.87/110.95 o 4060 111.47/111.56 o 4059 112.07/112.15 o 4057 112.37/112.40 o 4056 113.47/113.54 o 4055 115.27/115.39 o 4053 116.47/116.56 o 4052 118.97/119.02 o 4051 119.67/119.72 o 4050 120.17/120.26 o 4049 120.47/120.53 o 4048 122.97/123.00 o 4047 123.97/124.04 o 4046 124.17/124.26 o 4045 124.67/124.72 o 4044 126.37/126.46 o 4043 135.37/135.45 o 4042 135.47/135.54 o 4041 136.07/136.17 o 4040 136.57/136.64 o 4039 136.77/136.83 o 4038 136.87/136.97 o 4037 138.47/138.54 o 4036 138.67/138.80 o 4035 139.07/139.12 o 4034 139.67/139.71 o 4033 139.97/140.05 o 4032 141.87/141.99 o 4031 143.56/143.61 o 4030 144.07/144.16 o 4029 144.26/144.33 o 4028 144.46/144.59 o 4027 144.86/144.94 o 4026 145.96/146.04 o 4025 146.56/146.67 o 4024 147.76/147.84 o 4023 150.46/150.56 o 4022 153.66/153.71 o 4021 155.76/155.81 o 4020 156.26/156.34 o 4019 157.46/157.54 o 4018 158.76/158.82 o 4017 163.46/163.51 o 4016 164.16/164.20 o 4015 164.26/164.36 o 4014 166.26/166.31 o 4013 167.76/167.88 o 4012 167.96/168.08 o 4011 210.95/211.02 o 4010 210.95/211.10 o 4009 212.35/212.49 o 4008 213.65/213.73 o 4007 214.05/214.18 o 4006 214.35/214.42 o 4005 215.15/215.29 o 4004 217.05/217.19 o 4003 217.55/217.60 o 4002 218.05/218.19 o 4001 218.45/218.56 o 4000 219.75/219.81 o 3999 220.45/220.59 o 3998 220.55/220.69 o 3997 221.75/221.85 o 3996 225.65/225.74 o 3995 229.85/229.98 o 3994 230.64/230.75 o 3993 233.05/233.17 o 3992 236.45/236.56 o 3991 237.34/237.45 o 3990 239.34/239.40 o 3989 239.65/239.76 o 3988 240.34/240.47 o 3987 241.95/242.09 o 3986 252.34/252.49 o 3985 254.44/254.51 o 3984 255.64/255.74 o 3983 258.64/258.75 o 3982 259.74/259.82 o 3981 259.84/259.96 o 3980 260.24/260.39 o 3979 260.74/260.89 o 3978 262.64/262.72 o 3977 262.74/262.89 o 3976 263.24/263.32 o 3975 267.34/267.46 o 3974 272.04/272.19 o 3973 274.95/275.09 o 3972 275.14/275.20 o 3971 275.74/275.82 o 3970 282.84/282.95 o 3969 283.75/283.85 o 3968 289.64/289.75 o 3967 309.53/309.67 o 3966 309.63/309.76 o 3965 315.73/315.87 o 3964 316.93/317.09 o 3963 317.13/317.29 o 3962 319.03/319.19 o 3961 327.73/327.86 o 3960 329.73/329.87 o 3959 333.73/333.86 o 3958 335.83/335.92 o 3957 337.13/337.25 o 3956 339.03/339.16 o 3955 339.43/339.50 o 3954 339.43/339.55 o 3953 362.72/362.81 o 3952 362.83/362.99 o 3951 363.22/363.37 o 3950 371.22/371.35 o 3949 372.62/372.70 o 3948 373.22/373.35 o 3947 376.02/376.13 o 3946 376.12/376.22 o 3945 376.52/376.66 o 3944 379.92/380.02 o 3943 380.52/380.68 o 3940 381.72/381.86 o 3939 381.82/381.93 o 3938 382.52/382.69 o 3937 383.02/383.19 o 3936 383.32/383.44 o 3935 385.22/385.31 o 3934 392.42/392.52 o 3933 455.80/455.92 o 3932 459.10/459.22 o 3931 465.60/465.79 o 3930 466.80/466.94 o 3929 467.60/467.79 o 3928 467.70/467.85 o 3927 467.80/467.94 o 3926 467.90/468.03 o 3925 468.70/468.86 o 3924 471.20/471.33 o 3923 477.01/477.17 o 3922 477.11/477.24 o 3921 477.51/477.67 o 3920 478.51/478.65 o 3919 479.91/480.09 o 3918 480.61/480.70 o 3916 480.81/480.93 o 3915 481.31/481.49 o 3913 481.41/481.53 o 3912 481.51/481.60 o 3911 481.71/481.87 o 3910 481.91/482.09 o 3909 482.51/482.65 o 3908 483.01/483.11 o 3907 485.81/485.98 o 3906 488.00/488.13 o 3905 489.20/489.33 o 3904 497.40/497.53 o 3903 505.40/505.59 o 3902 505.70/505.87 o 3901 509.90/510.03 o 3899 520.60/520.77 o 3898 520.80/520.99 o 3897 523.80/523.94 o 3896 524.60/524.74 o 3895 524.70/524.89 o 3894 524.80/524.95 o 3893 524.80/524.99 o 3892 528.50/528.60 o 3891 528.60/528.70 o 3890 533.19/533.31 o 3889 563.99/564.15 o 3888 564.09/564.29 o 3887 564.19/564.35 o 3886 564.19/564.38 o 3884 564.29/564.42 o 3883 564.29/564.49 o 3882 568.29/568.43 o 3881 569.99/570.18 o 3880 570.39/570.53 o 3879 573.69/573.84 o 3878 574.39/574.52 o 3877 574.59/574.72 o 3876 574.69/574.87 o 3875 577.79/577.97 o 3874 577.89/578.06 o 3873 577.99/578.18 o 3872 582.79/582.98 o 3871 588.58/588.75 o 3870 589.78/589.98 o 3869 592.98/593.15 o 3867 593.18/593.35 o 3866 593.48/593.62 o 3864 595.99/596.15 o 3863 596.28/596.44 o 3862 620.08/620.23 o 3861 628.88/629.04 o 3860 628.98/629.19 o 3859 629.08/629.29 o 3858 629.18/629.39 o 3857 630.78/630.91 o 3856 639.17/639.36 o 3854 670.97/671.15 o 3853 712.46/712.63 o 3850 715.87/716.06 o 3849 716.06/716.22 o 3848 718.76/718.96 o 3846 719.46/719.66 o 3845 736.36/736.59 o 3844 736.76/736.94 o 3843 745.16/745.32 o 3842 754.15/754.35 o 3841 760.55/760.73 o 3840 771.75/771.90 o 3839 793.45/793.67 o 3838 793.55/793.71 o 3837 793.55/793.75 o 3836 798.95/799.18 o 3835 819.74/819.98 o 3834 819.84/820.02 o 3833 830.04/830.20 o 3832 830.14/830.35 o 3831 1041.41/1041.63 o 3830 1042.31/1042.59 o 3829 1042.41/1042.68 o 3828 1042.61/1042.85 o 3827 1059.20/1059.42 o 3826 1060.50/1060.71 o 3825 1060.60/1060.89 o 3824 1079.00/1079.20 o 3823 1083.90/1084.10 o 3822 1084.20/1084.46 o 3821 1112.80/1113.05 o 3819 1119.30/1119.57 o 3817 1124.60/1124.80 o 3816 1128.99/1129.25 o 3814 1140.69/1140.99 o 3813 1140.89/1141.11 o 3812 1147.69/1147.98 o 3811 1148.99/1149.21 o 3810 1150.89/1151.15 o 3809 1151.89/1152.11 o 3807 1188.90/1189.19 o 3806 1195.50/1195.75 o 3805 1196.29/1196.54 o 3804 1196.69/1196.95 o 3803 1255.08/1255.36 o 3802 1255.18/1255.40 o 3801 1255.18/1255.46 o 3800 1255.18/1255.49 o 3799 1255.28/1255.54 o 3798 1255.38/1255.61 o 3797 1255.58/1255.80 o 3796 1255.58/1255.86 o 3795 1256.38/1256.63 o 3794 1270.38/1270.60 o 3793 1291.68/1291.95 o 3792 1291.78/1292.00 o 3791 1294.28/1294.60 o 3790 1296.88/1297.17 o 3789 1301.28/1301.58 o 3788 1301.48/1301.76 o 3787 1304.18/1304.49 o 3786 1343.67/1343.95 o 3783 1344.47/1344.74 o 3782 1344.67/1344.95 o 3780 1344.87/1345.14 o 3779 1349.17/1349.46 o 3778 1355.77/1356.00 o 3777 1372.86/1373.19 o 3776 1408.16/1408.48 o 3775 1408.26/1408.53 o 3774 1408.36/1408.64 o 3773 1408.46/1408.71 o 3772 1410.56/1410.83 o 3771 1412.06/1412.37 o 3770 1422.36/1422.67 o 3768 1423.06/1423.30 o 3765 1552.63/1552.93 o 3764 1563.03/1563.32 o 3763 1564.63/1564.93 o 3762 1572.23/1572.54 o 3761 1573.93/1574.22 o 3760 1617.03/1617.37 o 3759 1626.42/1626.72 o 3758 1628.73/1629.04 o 3757 1630.82/1631.19 o 3756 1631.22/1631.52 o 3755 1633.23/1633.55 o 3754 1633.32/1633.60 o 3753 1633.52/1633.89 o 3752 1633.62/1633.97 o 3751 1633.72/1634.08 o 3750 1655.62/1655.92 o 3748 1656.72/1657.05 o 3747 1658.92/1659.20 o 3746 1683.42/1683.79 o 3745 1685.61/1685.94 o 3744 1686.61/1686.92 o 3743 1690.91/1691.20 o 3741 1692.31/1692.63 o 3740 1741.81/1742.18 o 3739 1767.31/1767.65 o 3738 1767.50/1767.86 o 3737 1767.90/1768.28 o 3735 1779.80/1780.16 o 3734 1784.90/1785.22 o 3732 1791.90/1792.29 o 3731 1800.00/1800.30 1800.00/1800.30 *** INTERRUPTED! *** 1800.00/1800.30 c Answer: 429 1800.00/1800.30 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 1800.00/1800.30 v -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 1800.00/1800.30 v -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 1800.00/1800.30 v -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 1800.00/1800.30 v -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 1800.00/1800.30 v -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 1800.00/1800.30 v -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 x101 -x102 -x103 -x104 -x105 1800.00/1800.30 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 1800.00/1800.30 v -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1800.00/1800.30 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 1800.00/1800.30 v -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 1800.00/1800.30 v -x154 -x155 -x156 -x157 -x158 x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 1800.00/1800.30 v -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 1800.00/1800.30 v -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 1800.00/1800.30 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 1800.00/1800.30 v -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 x214 -x215 1800.00/1800.30 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 1800.00/1800.30 v -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 1800.00/1800.30 v x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.00/1800.30 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 1800.00/1800.30 v -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 1800.00/1800.30 v -x276 -x277 -x278 x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 1800.00/1800.30 v -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 1800.00/1800.30 v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 1800.00/1800.30 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 1800.00/1800.30 v -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 1800.00/1800.30 v -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 1800.00/1800.30 v -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1800.00/1800.30 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 1800.00/1800.30 v -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 1800.00/1800.30 v -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 1800.00/1800.30 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 1800.00/1800.30 v x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 1800.00/1800.30 v -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 1800.00/1800.30 v -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 1800.00/1800.30 v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 1800.00/1800.30 v -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 1800.00/1800.30 v x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.00/1800.30 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 1800.00/1800.30 v -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 1800.00/1800.30 v -x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 1800.00/1800.30 v -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 x529 -x530 1800.00/1800.30 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 1800.00/1800.30 v -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 1800.00/1800.30 v -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.00/1800.30 v -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 1800.00/1800.30 v -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 1800.00/1800.30 v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 1800.00/1800.30 v x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 1800.00/1800.30 v -x615 -x616 -x617 -x618 -x619 -x620 x621 -x622 x623 -x624 -x625 -x626 -x627 1800.00/1800.30 v -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 1800.00/1800.30 v -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 1800.00/1800.30 v -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 1800.00/1800.30 v -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 1800.00/1800.30 v -x676 -x677 x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 1800.00/1800.30 v -x688 x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 1800.00/1800.30 v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 1800.00/1800.30 v -x713 -x714 -x715 -x716 -x717 x718 -x719 x720 -x721 -x722 -x723 x724 -x725 1800.00/1800.30 v -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 1800.00/1800.30 v -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 1800.00/1800.30 v -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 1800.00/1800.30 v -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 1800.00/1800.30 v -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 1800.00/1800.30 v -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.00/1800.30 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 1800.00/1800.30 v -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 1800.00/1800.30 v -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 x831 -x832 -x833 -x834 1800.00/1800.30 v -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 x845 -x846 1800.00/1800.30 v -x847 x848 -x849 -x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 1800.00/1800.30 v -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 1800.00/1800.30 v -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 1800.00/1800.30 v -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 -x892 x893 -x894 -x895 -x896 1800.00/1800.30 v -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 1800.00/1800.30 v x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 1800.00/1800.30 v -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 1800.00/1800.30 v -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 -x943 -x944 1800.00/1800.30 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 1800.00/1800.30 v -x957 -x958 x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 1800.00/1800.30 v -x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 -x980 1800.00/1800.30 v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 1800.00/1800.30 v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 x1004 1800.00/1800.30 v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 1800.00/1800.30 v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 1800.00/1800.30 v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 1800.00/1800.30 v x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 1800.00/1800.30 v -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 1800.00/1800.30 v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 1800.00/1800.30 v -x1071 -x1072 x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 1800.00/1800.30 v -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 -x1091 -x1092 1800.00/1800.30 v -x1093 -x1094 -x1095 x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 1800.00/1800.30 v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 x1114 1800.00/1800.30 v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 1800.00/1800.30 v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 1800.00/1800.30 v -x1137 -x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 1800.00/1800.30 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.00/1800.30 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 1800.00/1800.30 v x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 1800.00/1800.30 v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 1800.00/1800.30 v -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 1800.00/1800.30 v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 1800.00/1800.30 v -x1214 x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 1800.00/1800.30 v -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 1800.00/1800.30 v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 1800.00/1800.30 v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 1800.00/1800.30 v -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 1800.00/1800.30 v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 1800.00/1800.30 v x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 1800.00/1800.30 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 1800.00/1800.30 v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 1800.00/1800.30 v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 x1319 -x1320 -x1321 -x1322 -x1323 1800.00/1800.30 v -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 x1333 x1334 1800.00/1800.30 v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 1800.00/1800.30 v -x1346 x1347 -x1348 -x1349 x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 1800.00/1800.30 v -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 1800.00/1800.30 v -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 x1378 1800.00/1800.30 v x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 1800.00/1800.30 v -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 1800.00/1800.30 v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 1800.00/1800.30 v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 1800.00/1800.30 v -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 1800.00/1800.30 v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 1800.00/1800.30 v -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 1800.00/1800.30 v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 1800.00/1800.30 v x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 1800.00/1800.30 v -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 1800.00/1800.30 v -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 1800.00/1800.30 v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 1800.00/1800.30 v -x1511 -x1512 -x1513 x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 1800.00/1800.30 v -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 1800.00/1800.30 v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 1800.00/1800.30 v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 1800.00/1800.30 v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 1800.00/1800.30 v -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 -x1574 -x1575 -x1576 1800.00/1800.30 v -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 1800.00/1800.30 v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 1800.00/1800.30 v -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 1800.00/1800.30 v -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 1800.00/1800.30 v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 1800.00/1800.30 v -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 1800.00/1800.30 v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 1800.00/1800.30 v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 1800.00/1800.30 v -x1665 x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 1800.00/1800.30 v -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 1800.00/1800.30 v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 x1696 -x1697 1800.00/1800.30 v -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 1800.00/1800.30 v -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 -x1718 -x1719 1800.00/1800.30 v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 1800.00/1800.30 v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 1800.00/1800.30 v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 1800.00/1800.30 v -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 x1762 -x1763 1800.00/1800.30 v -x1764 -x1765 -x1766 x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 1800.00/1800.30 v -x1775 x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 1800.00/1800.30 v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 1800.00/1800.30 v -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 1800.00/1800.30 v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 1800.00/1800.30 v -x1819 -x1820 -x1821 x1822 -x1823 -x1824 x1825 -x1826 -x1827 -x1828 x1829 1800.00/1800.30 v -x1830 x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 x1838 -x1839 x1840 1800.00/1800.30 v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 1800.00/1800.30 v -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 -x1859 -x1860 x1861 -x1862 1800.00/1800.30 v -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 x1873 1800.00/1800.30 v -x1874 -x1875 -x1876 -x1877 -x1878 x1879 -x1880 -x1881 -x1882 -x1883 -x1884 1800.00/1800.30 v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 1800.00/1800.30 v -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 1800.00/1800.30 v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 1800.00/1800.30 v -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 x1926 -x1927 -x1928 1800.00/1800.30 v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 1800.00/1800.30 v -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 x1949 -x1950 1800.00/1800.30 v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 x1961 1800.00/1800.30 v -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 1800.00/1800.30 v -x1973 -x1974 -x1975 -x1976 x1977 -x1978 -x1979 x1980 -x1981 -x1982 -x1983 1800.00/1800.30 v x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 x1994 1800.00/1800.30 v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 1800.00/1800.30 v -x2006 x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 1800.00/1800.30 v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 1800.00/1800.30 v -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 1800.00/1800.30 v -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 1800.00/1800.30 v -x2050 x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 1800.00/1800.30 v -x2061 -x2062 -x2063 -x2064 x2065 -x2066 -x2067 x2068 -x2069 -x2070 -x2071 1800.00/1800.30 v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 x2079 -x2080 -x2081 -x2082 1800.00/1800.30 v -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 x2092 x2093 1800.00/1800.30 v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 1800.00/1800.30 v -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 1800.00/1800.30 v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 1800.00/1800.30 v -x2127 -x2128 -x2129 -x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 1800.00/1800.30 v -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 1800.00/1800.30 v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 1800.00/1800.30 v -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 x2168 -x2169 -x2170 1800.00/1800.30 v -x2171 -x2172 -x2173 -x2174 -x2175 x2176 -x2177 -x2178 -x2179 -x2180 -x2181 1800.00/1800.30 v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 1800.00/1800.30 v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 1800.00/1800.30 v -x2204 -x2205 x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 1800.00/1800.30 v -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 x2224 -x2225 1800.00/1800.30 v -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 1800.00/1800.30 v -x2237 x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 1800.00/1800.30 v -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 x2256 -x2257 -x2258 1800.00/1800.30 v -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 1800.00/1800.30 v -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 1800.00/1800.30 v -x2281 -x2282 -x2283 -x2284 x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 1800.00/1800.30 v -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 1800.00/1800.30 v x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 1800.00/1800.30 v -x2314 -x2315 -x2316 x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 1800.00/1800.30 v -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 1800.00/1800.30 v -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 1800.00/1800.30 v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 1800.00/1800.30 v x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 x2368 1800.00/1800.30 v -x2369 -x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 1800.00/1800.30 v -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 1800.00/1800.30 v -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 x2400 -x2401 1800.00/1800.30 v -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 1800.00/1800.30 v x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 1800.00/1800.30 v -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 1800.00/1800.30 v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 1800.00/1800.30 v -x2446 x2447 -x2448 -x2449 -x2450 x2451 -x2452 x2453 -x2454 -x2455 -x2456 1800.00/1800.30 v -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 1800.00/1800.30 v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 1800.00/1800.30 v -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 1800.00/1800.30 v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 x2499 -x2500 1800.00/1800.30 v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 1800.00/1800.30 v -x2512 -x2513 x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 1800.00/1800.30 v -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 1800.00/1800.30 v -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 1800.00/1800.30 v -x2545 -x2546 x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 1800.00/1800.30 v x2556 -x2557 -x2558 x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 1800.00/1800.30 v -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 1800.00/1800.30 v -x2578 -x2579 -x2580 -x2581 -x2582 x2583 -x2584 -x2585 x2586 -x2587 -x2588 1800.00/1800.30 v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 1800.00/1800.30 v -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 1800.00/1800.30 v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 1800.00/1800.30 v -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 1800.00/1800.30 v -x2633 -x2634 -x2635 x2636 -x2637 -x2638 -x2639 -x2640 x2641 -x2642 -x2643 1800.00/1800.30 v -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 1800.00/1800.30 v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 1800.00/1800.30 v -x2666 x2667 -x2668 -x2669 x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 1800.00/1800.30 v -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 1800.00/1800.30 v -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 x2696 -x2697 -x2698 1800.00/1800.30 v -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 1800.00/1800.30 v -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 1800.00/1800.30 v x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 1800.00/1800.30 v -x2732 -x2733 -x2734 -x2735 x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 1800.00/1800.30 v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 x2751 -x2752 -x2753 1800.00/1800.30 v -x2754 x2755 -x2756 1800.00/1800.30 s SATISFIABLE 1800.00/1800.30 1800.00/1800.30 c INTERRUPTED : 1 1800.00/1800.30 c Models : 1+ 1800.00/1800.30 c Enumerated : 429 1800.00/1800.30 c Optimum : unknown 1800.00/1800.30 c Optimization : 3731 1800.00/1800.30 c Time : 1800.304s (Solving: 1800.30s 1st Model: 0.00s Unsat: 0.00s) 1800.00/1800.30 c CPU Time : 1800.000s
OK 3731
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3708953-1338145653/watcher-3708953-1338145653 -o /tmp/evaluation-result-3708953-1338145653/solver-3708953-1338145653 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3708953-1338145653.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.05 2.01 1.99 2/175 14790 /proc/meminfo: memFree=31308372/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [startup+0.0731269 s] /proc/loadavg: 2.05 2.01 1.99 2/175 14790 /proc/meminfo: memFree=31308372/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.100248 s] /proc/loadavg: 2.05 2.01 1.99 2/175 14790 /proc/meminfo: memFree=31308372/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.300188 s] /proc/loadavg: 2.05 2.01 1.99 2/175 14790 /proc/meminfo: memFree=31308372/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+0.700178 s] /proc/loadavg: 2.05 2.01 1.99 2/175 14790 /proc/meminfo: memFree=31308372/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9152 [startup+1.50025 s] /proc/loadavg: 2.05 2.01 1.99 3/177 14792 /proc/meminfo: memFree=31303396/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=7044 CPUtime=1.49 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 1546 0 0 0 149 0 0 0 20 0 1 0 280693756 7213056 1463 33554432000 4194304 6212839 140735016464448 140735016462856 4745688 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/14791/statm: 1761 1463 238 493 0 1266 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16196 [startup+3.10025 s] /proc/loadavg: 2.05 2.01 1.99 3/177 14792 /proc/meminfo: memFree=31302528/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=7712 CPUtime=3.09 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 1700 0 0 0 309 0 0 0 20 0 1 0 280693756 7897088 1617 33554432000 4194304 6212839 140735016464448 140735016462456 4744528 0 0 4096 18946 0 0 0 17 0 0 0 0 0 0 /proc/14791/statm: 1928 1617 238 493 0 1433 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16864 [startup+6.30031 s] /proc/loadavg: 2.05 2.01 1.99 3/177 14832 /proc/meminfo: memFree=31352276/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=8816 CPUtime=6.29 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 1984 0 0 0 629 0 0 0 20 0 1 0 280693756 9027584 1899 33554432000 4194304 6212839 140735016464448 140735016462856 4414726 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/14791/statm: 2204 1899 238 493 0 1709 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17968 [startup+12.7003 s] /proc/loadavg: 2.04 2.01 1.99 3/177 14832 /proc/meminfo: memFree=31345228/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=10004 CPUtime=12.68 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 2268 0 0 0 1268 0 0 0 20 0 1 0 280693756 10244096 2183 33554432000 4194304 6212839 140735016464448 140735016462856 4676384 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/14791/statm: 2501 2183 238 493 0 2006 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19156 [startup+25.5003 s] /proc/loadavg: 2.03 2.01 1.99 3/177 14832 /proc/meminfo: memFree=31335824/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=12388 CPUtime=25.48 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 2935 0 0 0 2548 0 0 0 20 0 1 0 280693756 12685312 2805 33554432000 4194304 6212839 140735016464448 140735016462856 4674397 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/14791/statm: 3097 2805 238 493 0 2602 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21540 [startup+51.1003 s] /proc/loadavg: 2.02 2.01 1.99 3/177 14832 /proc/meminfo: memFree=31329244/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=15420 CPUtime=51.08 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 3768 0 0 0 5107 1 0 0 20 0 1 0 280693756 15790080 3563 33554432000 4194304 6212839 140735016464448 140735016462856 4705052 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/14791/statm: 3855 3563 238 493 0 3360 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 24572 [startup+102.306 s] /proc/loadavg: 2.01 2.00 1.99 3/177 14832 /proc/meminfo: memFree=31317944/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=20592 CPUtime=102.28 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 5169 0 0 0 10227 1 0 0 20 0 1 0 280693756 21086208 4833 33554432000 4194304 6212839 140735016464448 140735016462744 4686038 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/14791/statm: 5148 4833 238 493 0 4653 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 29744 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.99 3/178 14835 /proc/meminfo: memFree=31295104/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=36052 CPUtime=162.26 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 8800 0 0 0 16225 1 0 0 20 0 1 0 280693756 36917248 8600 33554432000 4194304 6212839 140735016464448 140735016462856 4333799 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/14791/statm: 9013 8600 238 493 0 8518 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 45204 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.99 3/177 14835 /proc/meminfo: memFree=31290264/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=36312 CPUtime=222.25 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 9082 0 0 0 22224 1 0 0 20 0 1 0 280693756 37183488 8745 33554432000 4194304 6212839 140735016464448 140735016462856 4298171 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/14791/statm: 9078 8745 238 493 0 8583 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 45464 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.99 3/177 14835 /proc/meminfo: memFree=31282200/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=41148 CPUtime=282.24 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 10324 0 0 0 28222 2 0 0 20 0 1 0 280693756 42135552 9975 33554432000 4194304 6212839 140735016464448 140735016462856 4739558 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/14791/statm: 10287 9975 238 493 0 9792 0 Current children cumulated CPU time (s) 282.24 Current children cumulated vsize (KiB) 50300 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.99 3/177 14836 /proc/meminfo: memFree=31274132/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=46932 CPUtime=342.22 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 12145 0 0 0 34220 2 0 0 20 0 1 0 280693756 48058368 11426 33554432000 4194304 6212839 140735016464448 140735016462856 4739558 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/14791/statm: 11733 11426 238 493 0 11238 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 56084 [startup+402.3 s] /proc/loadavg: 2.06 2.02 2.00 3/177 14836 /proc/meminfo: memFree=31269044/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 ################ # More data... # ################ /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=64200 CPUtime=1122.1 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 18074 0 0 0 112207 3 0 0 20 0 1 0 280693756 65740800 15654 33554432000 4194304 6212839 140735016464448 140735016462856 4414693 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/14791/statm: 16050 15654 238 493 0 15555 0 Current children cumulated CPU time (s) 1122.1 Current children cumulated vsize (KiB) 73352 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14841 /proc/meminfo: memFree=31230188/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=64820 CPUtime=1182.1 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 18207 0 0 0 118206 4 0 0 20 0 1 0 280693756 66375680 15864 33554432000 4194304 6212839 140735016464448 140735016462600 4737387 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/14791/statm: 16205 15864 238 493 0 15710 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 73972 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14842 /proc/meminfo: memFree=31228140/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=65636 CPUtime=1242.09 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 18347 0 0 0 124205 4 0 0 20 0 1 0 280693756 67211264 16004 33554432000 4194304 6212839 140735016464448 140735016462600 4744822 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/14791/statm: 16409 16004 238 493 0 15914 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 74788 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14842 /proc/meminfo: memFree=31227272/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=66112 CPUtime=1302.08 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 18435 0 0 0 130204 4 0 0 20 0 1 0 280693756 67698688 16092 33554432000 4194304 6212839 140735016464448 140735016462856 4739348 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/14791/statm: 16528 16092 238 493 0 16033 0 Current children cumulated CPU time (s) 1302.08 Current children cumulated vsize (KiB) 75264 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 14845 /proc/meminfo: memFree=31217964/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=75160 CPUtime=1362.07 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 20586 0 0 0 136203 4 0 0 20 0 1 0 280693756 76963840 18243 33554432000 4194304 6212839 140735016464448 140735016462856 4414726 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/14791/statm: 18790 18243 238 493 0 18295 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 84312 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14845 /proc/meminfo: memFree=31215172/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=75160 CPUtime=1422.06 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 20589 0 0 0 142202 4 0 0 20 0 1 0 280693756 76963840 18446 33554432000 4194304 6212839 140735016464448 140735016462856 4414684 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/14791/statm: 18790 18446 238 493 0 18295 0 Current children cumulated CPU time (s) 1422.06 Current children cumulated vsize (KiB) 84312 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14845 /proc/meminfo: memFree=31213680/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=75684 CPUtime=1482.05 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 20696 0 0 0 148201 4 0 0 20 0 1 0 280693756 77500416 18553 33554432000 4194304 6212839 140735016464448 140735016462600 4743696 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/14791/statm: 18921 18553 238 493 0 18426 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 84836 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14846 /proc/meminfo: memFree=31212944/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=76300 CPUtime=1542.04 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 20825 0 0 0 154200 4 0 0 20 0 1 0 280693756 78131200 18682 33554432000 4194304 6212839 140735016464448 140735016462600 4743287 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/14791/statm: 19075 18682 238 493 0 18580 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 85452 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/176 14846 /proc/meminfo: memFree=31212208/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=77424 CPUtime=1602.03 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 21037 0 0 0 160199 4 0 0 20 0 1 0 280693756 79282176 18894 33554432000 4194304 6212839 140735016464448 140735016462600 4743867 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/14791/statm: 19356 18894 238 493 0 18861 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 86576 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14847 /proc/meminfo: memFree=31210276/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=77760 CPUtime=1662.02 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 21107 0 0 0 166198 4 0 0 20 0 1 0 280693756 79626240 19058 33554432000 4194304 6212839 140735016464448 140735016462856 4333825 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/14791/statm: 19440 19058 238 493 0 18945 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 86912 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14847 /proc/meminfo: memFree=31209344/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=78436 CPUtime=1722.01 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 21253 0 0 0 172197 4 0 0 20 0 1 0 280693756 80318464 19204 33554432000 4194304 6212839 140735016464448 140735016462600 4421959 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/14791/statm: 19609 19204 238 493 0 19114 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 87588 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14847 /proc/meminfo: memFree=31206924/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=79264 CPUtime=1782 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 21411 0 0 0 178196 4 0 0 20 0 1 0 280693756 81166336 19456 33554432000 4194304 6212839 140735016464448 140735016462856 4414777 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/14791/statm: 19816 19456 238 493 0 19321 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 88416 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14847 /proc/meminfo: memFree=31207296/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=79264 CPUtime=1800 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 21422 0 0 0 179996 4 0 0 20 0 1 0 280693756 81166336 19467 33554432000 4194304 6212839 140735016464448 140735016462856 4744495 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/14791/statm: 19816 19467 238 493 0 19321 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 88416 Sending SIGTERM to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1800.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 14847 /proc/meminfo: memFree=31207296/32873844 swapFree=6088/6088 [pid=14790] ppid=14788 vsize=9152 CPUtime=0 cores=0,2,4,6 /proc/14790/stat : 14790 (clasp-opt.sh) S 14788 14790 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280693755 9371648 275 33554432000 4194304 5064252 140733722301472 140733722300384 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0 /proc/14790/statm: 2288 275 232 213 0 73 0 [pid=14791] ppid=14790 vsize=79264 CPUtime=1800 cores=0,2,4,6 /proc/14791/stat : 14791 (clasp-R5325) R 14790 14790 12301 0 -1 4202496 21422 0 0 0 179996 4 0 0 20 0 1 0 280693756 81166336 19467 33554432000 4194304 6212839 140735016464448 140735016462856 4744495 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0 /proc/14791/statm: 19816 19467 238 493 0 19321 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 88416 Child status: 10 Real time (s): 1800.31 CPU time (s): 1800.02 CPU user time (s): 1799.97 CPU system time (s): 0.045993 CPU usage (%): 99.9837 Max. virtual memory (cumulated for all children) (KiB): 88416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.97 system time used= 0.045993 maximum resident set size= 77900 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21794 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= 34 involuntary context switches= 2569 runsolver used 7.12892 second user time and 9.8315 second system time The end
Begin job on node110 at 2012-05-27 21:07:33 IDJOB=3708953 IDBENCH=1871 IDSOLVER=2288 FILE ID=node110/3708953-1338145653 RUNJOBID= node110-1338140248-14391 PBS_JOBID= 14624477 Free space on /tmp= 71680 MiB SOLVER NAME= clasp 2.0.6-R5325 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb COMMAND LINE= HOME/clasp-opt.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708953-1338145653/watcher-3708953-1338145653 -o /tmp/evaluation-result-3708953-1338145653/solver-3708953-1338145653 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3708953-1338145653.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef RANDOM SEED=609281649 node110.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.78 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.893 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 31309016 kB Buffers: 285160 kB Cached: 392344 kB SwapCached: 148 kB Active: 558796 kB Inactive: 192524 kB Active(anon): 63680 kB Inactive(anon): 12496 kB Active(file): 495116 kB Inactive(file): 180028 kB Unevictable: 6088 kB Mlocked: 6088 kB SwapTotal: 67108856 kB SwapFree: 67108004 kB Dirty: 2348 kB Writeback: 0 kB AnonPages: 151092 kB Mapped: 15244 kB Shmem: 196 kB Slab: 674332 kB SReclaimable: 116808 kB SUnreclaim: 557524 kB KernelStack: 1472 kB PageTables: 4332 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 175200 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 131072 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71680 MiB End job on node110 at 2012-05-27 21:37:34