Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | SAT | -59 | 1798.07 | 1798.02 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_4.opb |
MD5SUM | 49512b8058c62182b32b06ac219e7167 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -69 |
Best CPU time to get the best result obtained on this benchmark | 1800.05 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -71 |
Optimality of the best value was proved | NO |
Number of variables | 2000 |
Total number of constraints | 3001 |
Number of constraints which are clauses | 1000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2000 |
Number of terms in the objective function | 1000 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2000 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 150968 |
Sum of products size (including duplicates) | 301936 |
Number of different products | 75484 |
Sum of products size | 150968 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Instance file HOME/instance-3462813-1307183320.opb 0.00/0.00 c File size is 2159325 bytes. 0.29/0.38 c Highest Coefficient sum: 2000 0.29/0.38 c Parsing was ok!! 0.29/0.38 c Total parsing time: 0.388 s 0.39/0.50 c Var: 152968 Constr: 304938 151968/2002/150968 Lit: 1062776 Watch. Lit: 909810 0.39/0.50 c Obj. Vars: 1000 (0.653731 % of total variables) 179.50/179.51 c Pre-processing Time: 179.515 s 179.50/179.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.50/179.51 c 0 152968 304938 1062776 3 909810 500000 0 0 179.51 179.50/179.51 c Switching off lower bounding mode. 179.60/179.67 o -1 180.00/180.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.00/180.03 c 0 152968 304939 1063776 3 909813 500000 1 0 179.70 180.00/180.03 o -2 180.19/180.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.19/180.31 c 1 152968 304942 1066776 3 909822 500000 4 0 180.06 180.19/180.31 o -3 180.59/180.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.59/180.61 c 2 152968 304945 1069925 3 909833 500000 7 0 180.37 180.59/180.61 o -4 180.90/180.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 180.90/180.92 c 5 152968 304950 1075067 3 909850 500000 12 0 180.67 180.90/180.92 o -5 181.19/181.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.19/181.24 c 12 152968 304959 1083276 3 909877 500000 21 0 180.98 181.19/181.24 o -6 181.52/181.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.52/181.53 c 20 152968 304969 1088507 3 909908 500000 31 0 181.29 181.52/181.53 o -7 181.80/181.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.80/181.84 c 25 152968 304976 1091789 3 909935 500000 38 0 181.59 181.80/181.84 o -8 182.10/182.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.10/182.16 c 38 152968 304991 1095203 3 909980 500000 53 0 181.89 182.10/182.16 o -9 182.40/182.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.40/182.46 c 54 152968 305009 1112368 3 910033 500000 71 0 182.21 182.40/182.46 o -10 182.69/182.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 182.69/182.76 c 63 152968 305020 1117638 3 910074 500000 82 0 182.51 182.69/182.76 o -11 183.00/183.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 183.00/183.08 c 65 152968 305024 1120913 3 910103 500000 86 0 182.81 183.00/183.08 o -12 183.30/183.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 183.30/183.36 c 73 152968 305034 1124206 3 910146 500000 96 0 183.13 183.30/183.36 o -13 183.50/183.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 183.50/183.61 c 80 152968 305043 1130681 3 910189 500000 105 0 183.41 183.50/183.61 o -14 183.80/183.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 183.80/183.87 c 84 152968 305049 1137174 3 910228 500000 111 0 183.67 183.80/183.87 o -15 184.10/184.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 184.10/184.14 c 89 152968 305056 1144650 3 910271 500000 118 0 183.93 184.10/184.14 o -16 184.49/184.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 184.49/184.52 c 97 152968 305066 1154127 3 910322 500000 128 0 184.19 184.49/184.52 o -17 184.71/184.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 184.71/184.78 c 120 152968 305091 1167598 3 910405 500000 153 0 184.57 184.71/184.78 o -18 185.10/185.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 185.10/185.12 c 133 152968 305106 1182037 3 910470 500000 168 0 184.83 185.10/185.12 o -19 185.40/185.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 185.40/185.40 c 157 152968 305132 1200415 3 910559 500000 194 0 185.18 185.40/185.40 o -20 185.59/185.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 185.59/185.66 c 164 152968 305141 1204087 3 910616 500000 203 0 185.45 185.59/185.66 o -21 185.91/185.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 185.91/185.95 c 177 152968 305156 1218541 3 910687 500000 218 0 185.71 185.91/185.95 o -22 186.29/186.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 186.29/186.33 c 192 152968 305173 1231061 4 910764 500000 235 1 186.00 186.29/186.33 o -23 186.60/186.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 186.60/186.64 c 221 152968 305204 1246538 4 910871 500000 266 1 186.39 186.60/186.64 o -24 186.91/186.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 186.91/186.92 c 243 152968 305228 1265902 4 910966 500000 290 1 186.69 186.91/186.92 o -25 187.29/187.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 187.29/187.38 c 269 152968 305256 1287209 4 911071 500000 318 1 186.97 187.29/187.38 o -26 187.59/187.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 187.59/187.65 c 321 152968 305310 1313436 4 911230 500000 372 1 187.43 187.59/187.65 o -27 188.01/188.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 188.01/188.06 c 351 152968 305342 1337633 4 911347 500000 404 1 187.70 188.01/188.06 o -28 188.99/189.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 188.99/189.09 c 413 152968 305406 1375485 4 911530 500000 468 2 188.12 188.99/189.09 o -29 204.51/204.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 204.51/204.59 c 490 152968 305485 1379476 4 911745 500000 547 2 189.15 204.51/204.59 c 590 152968 305585 1411658 4 911945 550001 647 2 197.58 204.51/204.59 o -35 204.89/204.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 204.89/204.92 c 739 152968 305735 1521747 4 912280 500000 797 3 204.64 204.89/204.92 o -36 205.30/205.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 205.30/205.37 c 742 152968 305741 1528068 4 912463 500000 803 3 204.97 205.30/205.37 o -37 205.62/205.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 205.62/205.64 c 760 152968 305761 1534749 5 912576 500000 823 3 205.42 205.62/205.64 o -38 205.90/205.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 205.90/205.90 c 782 152968 305785 1548203 5 912699 500000 847 3 205.70 205.90/205.90 o -39 206.20/206.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 206.20/206.28 c 796 152968 305801 1558771 5 912808 500000 863 3 205.96 206.20/206.28 o -40 206.71/206.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 206.71/206.79 c 834 152968 305841 1586676 5 912967 500000 903 4 206.34 206.71/206.79 o -41 207.50/207.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 207.50/207.51 c 850 152968 305859 1590580 5 913084 500000 921 4 206.84 207.50/207.51 o -42 208.30/208.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 208.30/208.39 c 880 152968 305891 1594533 5 913231 500000 953 4 207.57 208.30/208.39 o -43 285.00/285.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 285.00/285.06 c 927 152968 305940 1598486 5 913414 500000 1002 4 208.45 285.00/285.06 c 1027 152968 306040 1625678 5 913614 550001 1102 4 216.67 285.00/285.06 c 1277 152968 306290 1786863 5 914114 605002 1352 5 228.95 285.00/285.06 c 1752 152968 306765 2127968 6 915064 665503 1827 7 249.21 285.00/285.06 c 2566 152968 307580 2912434 9 916694 732054 2642 9 272.44 285.00/285.06 o -44 286.10/286.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 286.10/286.11 c 3001 152968 308016 3335047 10 917610 500000 3078 10 285.12 286.10/286.11 c 3102 152968 308118 3433459 11 917858 550001 3180 10 285.94 286.10/286.11 o -45 287.50/287.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 287.50/287.58 c 3110 152968 308127 3441197 11 917921 500000 3189 10 286.17 287.50/287.58 o -46 288.30/288.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 288.30/288.39 c 3199 152968 308219 3511069 11 918241 500000 3281 11 287.64 288.30/288.39 o -47 288.80/288.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 288.80/288.85 c 3228 152968 308250 3522604 11 918396 500000 3312 11 288.45 288.80/288.85 o -48 289.31/289.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 289.31/289.38 c 3240 152968 308264 3526497 11 918519 500000 3326 11 288.91 289.31/289.38 o -49 290.50/290.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 290.50/290.53 c 3255 152968 308281 3530410 11 918650 500000 3343 11 289.44 290.50/290.53 o -50 371.60/371.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 371.60/371.67 c 3310 152968 308338 3534449 11 918863 500000 3400 11 290.59 371.60/371.67 c 3412 152968 308440 3571609 11 919067 550001 3502 11 298.35 371.60/371.67 c 3662 152968 308690 3648028 11 919567 605002 3752 11 317.76 371.60/371.67 c 4138 152968 309166 3906414 12 920519 665503 4228 12 343.26 371.60/371.67 c 4951 152968 309979 4664182 15 922145 732054 5041 13 369.74 371.60/371.67 o -52 374.20/374.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 374.20/374.20 c 5022 152968 310051 4736148 15 922341 500000 5113 13 371.73 374.20/374.20 c 5123 152968 310154 4835193 15 922709 550001 5216 13 372.57 374.20/374.20 o -53 398.90/398.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 398.90/398.94 c 5245 152968 310277 4952845 15 923008 500000 5339 14 374.27 398.90/398.94 c 5345 152968 310378 5044986 16 923263 550001 5440 14 375.83 398.90/398.94 c 5595 152968 310628 5286013 17 923763 605002 5690 14 379.06 398.90/398.94 c 6070 152968 311103 5747724 18 924713 665503 6165 15 387.99 398.90/398.94 o -54 399.60/399.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 399.60/399.60 c 6644 152968 311678 6296032 20 925917 500000 6740 16 399.01 399.60/399.60 o -55 400.90/400.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 400.90/400.99 c 6666 152968 311702 6299896 20 926074 500000 6764 16 399.66 400.90/400.99 o -56 407.20/407.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 407.20/407.21 c 6726 152968 311764 6303914 20 926309 500000 6826 16 401.06 407.20/407.21 c 6826 152968 311864 6358856 20 926509 550001 6926 16 405.81 407.20/407.21 o -57 407.91/407.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 407.91/407.93 c 6907 152968 311947 6384643 20 926788 500000 7009 16 407.27 407.91/407.93 o -58 409.22/409.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 409.22/409.27 c 6936 152968 311978 6388646 20 926965 500000 7040 17 408.00 409.22/409.27 o -59 1797.94/1797.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.94/1797.97 c 6994 152968 312038 6392751 20 927202 500000 7100 17 409.33 1797.94/1797.97 c 7094 152968 312138 6466291 20 927402 550001 7200 17 410.50 1797.94/1797.97 c 7344 152968 312389 6497190 20 927963 605002 7451 17 413.38 1797.94/1797.97 c 7819 152968 312864 6972190 22 928913 665503 7926 18 414.79 1797.94/1797.97 c 8632 152968 313677 7783196 24 930539 732054 8739 20 417.15 1797.94/1797.97 c 9952 152968 314998 9101203 28 933181 805260 10060 23 420.86 1797.94/1797.97 c 12033 152968 317079 11178215 35 937343 885787 12141 28 426.75 1797.94/1797.97 c 15256 152968 320302 14396230 44 943789 974366 15364 35 435.67 1797.94/1797.97 c 20192 152968 325240 19323259 59 953665 500000 20302 44 449.86 1797.94/1797.97 c 27698 152968 332749 26815304 80 968683 550001 27811 58 471.65 1797.94/1797.97 c 39059 152968 344115 38155368 110 991415 605002 39177 73 534.24 1797.94/1797.97 c 56203 152968 361265 55269456 152 1025715 665503 56327 85 657.56 1797.94/1797.97 c Reducing formula size due to memory constraints 1797.94/1797.97 c Memory Limit: 1000.00 MB Used: 1003.16 MB 1797.94/1797.97 c 82023 152968 321397 15501761 48 942846 382782 16459 83 978.38 1797.94/1797.97 c 120855 152968 360236 54239098 150 1020524 421061 55298 94 1272.25 1797.94/1797.97 c Reducing formula size due to memory constraints 1797.94/1797.97 c Memory Limit: 1000.00 MB Used: 1006.31 MB 1797.94/1797.97 c Resources Exceeded 1797.94/1797.97 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 -x501 -x502 -x503 -x504 -x505 x506 -x507 -x508 x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 x811 x812 x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 x864 -x865 -x866 -x867 -x868 x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 x996 -x997 x998 -x999 -x1000 -x1302 -x1084 -x1275 -x1327 -x1364 -x1538 -x1026 -x1029 -x1386 -x1545 -x1955 -x1715 -x1965 -x1404 -x1415 -x1903 -x1942 -x1402 -x1150 -x1718 -x1605 -x1969 -x1280 -x1574 -x1719 -x1323 -x1883 x1721 -x1821 -x1631 -x1374 -x1905 -x1257 -x1700 -x1620 -x1795 -x1725 x1984 -x1823 -x1462 -x1880 -x1777 -x1176 -x1845 -x1532 -x1943 -x1099 -x1473 -x1344 -x1248 -x1190 x1948 -x1568 -x1822 -x1873 -x1287 -x1496 -x1755 -x1007 -x1317 -x1040 -x1057 -x1087 -x1112 x1122 -x1133 -x1153 -x1187 -x1194 -x1202 -x1203 -x1235 -x1247 -x1252 -x1270 -x1348 -x1355 -x1414 -x1416 -x1448 -x1470 -x1495 -x1513 -x1536 -x1556 x1677 x1697 -x1711 -x1723 -x1796 x1810 -x1998 -x1001 -x1738 -x1732 -x1573 -x1994 -x1432 -x1192 -x1140 -x1508 -x1527 x1962 -x1970 -x1407 -x1091 -x1497 -x1603 -x1974 -x1439 -x1701 -x1447 -x1134 -x1300 -x1988 -x1433 -x1868 -x1161 -x1306 -x1506 -x1657 -x1412 -x1864 -x1325 -x1501 -x1595 -x1249 -x1847 -x1378 -x1440 -x1986 -x1886 -x1967 -x1207 -x1742 -x1703 -x1494 -x1379 -x1627 -x1678 -x1853 -x1897 -x1365 -x1717 -x1021 -x1480 -x1265 -x1035 -x1051 -x1074 -x1076 -x1088 -x1096 -x1109 -x1183 -x1185 -x1199 -x1205 -x1229 -x1290 -x1305 -x1380 -x1388 -x1397 -x1444 -x1488 -x1505 -x1554 -x1712 -x1783 -x1833 -x1002 -x1981 -x1212 -x1945 -x1827 -x1589 -x1385 -x1164 -x1826 -x1463 -x1384 -x1427 -x1105 -x1271 -x1932 -x1483 -x1135 x1910 -x1160 -x1987 -x1321 -x1352 -x1037 -x1724 -x1869 -x1421 -x1849 -x1638 -x1027 -x1578 -x1101 -x1756 -x1155 -x1005 -x1139 x1933 -x1560 -x1577 -x1182 -x1860 -x1519 -x1770 -x1679 -x1303 -x1090 -x1006 -x1479 -x1896 -x1730 -x1347 -x1674 -x1502 -x1020 -x1062 -x1063 -x1100 -x1107 -x1156 -x1172 -x1181 -x1186 -x1230 -x1276 -x1312 -x1313 -x1338 -x1340 -x1453 -x1515 -x1525 -x1586 -x1615 x1751 x1754 -x1789 -x1837 -x1979 -x1993 -x1003 -x1547 -x1663 -x1866 -x1241 -x1319 -x1114 -x1825 -x1486 -x1758 -x1030 -x1794 -x1211 -x1922 x1879 -x1043 -x1343 -x1485 -x1781 -x1539 -x1315 -x1028 -x1268 x1661 x1702 -x1769 x1559 -x1956 -x1596 -x1481 -x1066 -x1141 -x1238 -x1555 -x1032 -x1009 -x1476 -x1696 x1888 -x1871 -x1390 -x1170 -x1959 -x1669 -x1549 -x1579 -x1681 -x1015 -x1039 -x1049 -x1072 -x1075 -x1078 -x1080 -x1089 -x1093 -x1132 -x1146 -x1234 -x1244 -x1245 -x1264 -x1292 -x1360 -x1372 -x1383 -x1430 -x1489 -x1492 -x1503 -x1518 -x1552 -x1582 -x1590 -x1599 -x1624 -x1629 -x1675 -x1779 -x1824 -x1865 -x1907 -x1928 -x1992 x1004 -x1602 -x1239 -x1966 -x1685 -x1073 -x1273 -x1341 -x1668 -x1085 -x1068 -x1059 -x1531 -x1622 -x1442 -x1892 -x1449 x1878 -x1025 x1399 -x1509 -x1693 -x1434 -x1387 -x1811 -x1632 -x1491 -x1042 -x1106 -x1836 -x1324 -x1225 x1593 -x1600 -x1294 -x1010 -x1046 -x1067 -x1095 -x1124 -x1128 -x1136 -x1197 -x1206 -x1210 -x1231 -x1237 -x1240 -x1269 -x1277 -x1282 -x1285 -x1371 -x1392 -x1535 -x1540 -x1563 -x1633 -x1635 -x1687 -x1735 -x1787 -x1804 -x1806 -x1835 -x1850 -x1018 -x1333 x1803 -x1604 -x1477 -x1220 -x1587 x1968 -x1704 -x1809 -x1816 -x1957 -x1351 -x1939 -x1295 -x1747 -x1832 -x1286 -x1637 -x1534 -x1456 -x1081 x1676 -x1650 -x1400 -x1630 -x1092 -x1445 -x1048 -x1606 -x1935 -x1750 -x1544 -x1044 -x1918 -x1790 -x1054 -x1098 -x1115 -x1180 -x1204 -x1236 -x1251 -x1256 -x1331 -x1337 -x1381 -x1389 -x1517 -x1592 -x1689 -x1716 -x1859 -x1936 -x1964 -x1266 -x1459 -x1428 -x1467 -x1749 -x1856 -x1786 -x1610 -x1877 -x1281 -x1924 -x1215 -x1673 -x1193 -x1110 -x1858 x1569 -x1016 -x1116 -x1175 -x1079 -x1561 x1550 -x1511 -x1575 -x1363 -x1851 -x1820 -x1320 -x1523 -x1019 -x1022 -x1052 -x1083 -x1131 -x1151 -x1154 -x1163 -x1166 -x1174 -x1261 -x1350 -x1419 -x1623 -x1639 -x1665 -x1684 -x1759 -x1894 -x1975 -x1989 -x1152 x1542 -x1788 -x1876 x1909 -x1376 -x1036 -x1047 -x1458 -x1872 -x1455 -x1625 -x1991 -x1179 -x1162 -x1121 -x1118 -x1782 -x1125 -x1411 -x1353 -x1584 x1800 -x1960 -x1358 -x1954 -x1178 -x1834 -x1762 -x1640 x1296 -x1322 -x1474 -x1436 -x1130 -x1947 -x1017 -x1065 -x1123 -x1159 -x1222 -x1255 -x1298 -x1375 -x1391 -x1398 -x1472 -x1521 -x1576 x1641 -x1772 -x1855 -x1861 -x2000 -x1008 -x1912 -x1382 -x1734 -x1522 -x1259 -x1533 -x1647 -x1258 -x1177 -x1607 -x1082 -x1891 -x1377 -x1165 -x1952 -x1209 -x1422 -x1863 -x1120 -x1644 x1642 -x1373 -x1362 -x1927 -x1033 -x1147 -x1149 -x1221 -x1250 -x1330 -x1409 -x1450 -x1460 -x1493 -x1557 -x1768 -x1797 -x1982 -x1200 -x1814 x1838 -x1260 -x1999 -x1658 -x1686 -x1289 -x1232 -x1457 -x1429 -x1565 -x1242 -x1126 -x1198 -x1482 -x1843 -x1740 -x1616 -x1451 -x1395 -x1024 -x1077 -x1111 -x1117 -x1145 -x1195 -x1243 -x1263 -x1304 -x1335 -x1528 -x1870 -x1944 x1656 -x1311 x1925 -x1034 -x1023 x1541 -x1148 -x1408 -x1452 -x1167 -x1361 -x1410 -x1920 -x1441 -x1752 -x1013 -x1504 -x1581 -x1562 -x1585 -x1728 -x1431 -x1216 -x1953 -x1196 -x1228 -x1284 -x1368 -x1537 -x1564 -x1645 -x1695 -x1791 -x1931 -x1011 -x1736 -x1309 -x1366 -x1792 -x1060 x1507 -x1745 -x1995 -x1308 -x1443 -x1899 -x1611 -x1881 -x1940 -x1328 -x1609 -x1097 -x1651 -x1469 -x1839 -x1980 -x1424 -x1784 -x1102 -x1103 -x1201 -x1213 -x1567 -x1613 -x1618 -x1682 -x1829 -x1012 -x1426 -x1895 -x1857 -x1138 -x1546 -x1346 -x1938 x1934 -x1551 -x1720 -x1405 -x1299 -x1862 -x1628 -x1763 -x1293 -x1900 -x1086 -x1588 -x1336 -x1053 -x1127 -x1345 -x1356 -x1418 -x1512 -x1553 -x1646 -x1649 -x1688 -x1710 -x1767 -x1889 -x1634 x1543 -x1475 -x1119 -x1267 -x1765 -x1708 -x1262 -x1526 -x1846 -x1973 -x1045 -x1919 -x1626 -x1223 -x1310 -x1031 -x1171 -x1208 -x1233 -x1466 -x1529 -x1692 -x1904 -x1014 -x1680 -x1713 -x1572 -x1614 x1683 -x1776 -x1465 -x1950 -x1168 -x1913 -x1468 -x1597 -x1612 -x1342 -x1406 -x1706 -x1773 -x1808 x1819 -x1867 -x1884 -x1906 -x1401 -x1326 -x1893 -x1805 -x1332 -x1058 -x1654 -x1038 -x1648 x1798 -x1921 -x1643 -x1707 -x1722 -x1104 -x1129 -x1142 -x1188 -x1226 -x1307 -x1478 -x1744 -x1753 -x1817 -x1520 -x1885 -x1996 -x1729 -x1828 -x1566 -x1705 -x1670 -x1069 -x1524 -x1218 -x1739 -x1746 -x1801 -x1978 x1733 -x1184 x1802 -x1061 -x1050 -x1785 -x1875 -x1288 -x1874 x1737 -x1694 -x1902 -x1189 -x1254 -x1359 -x1461 -x1570 -x1662 -x1279 -x1500 -x1425 -x1316 -x1976 -x1594 -x1516 -x1272 -x1055 -x1056 -x1214 -x1253 -x1318 x1369 -x1394 -x1435 -x1748 -x1898 -x1446 -x1464 -x1771 -x1937 -x1844 -x1041 -x1417 -x1741 -x1246 -x1297 x1349 -x1530 -x1760 -x1854 -x1334 x1608 -x1598 -x1601 x1484 -x1961 -x1224 -x1499 x1841 -x1108 -x1842 x1831 -x1621 -x1985 -x1911 -x1761 -x1490 -x1094 -x1227 -x1354 -x1664 -x1413 -x1698 -x1454 -x1726 -x1143 -x1914 -x1314 -x1370 -x1471 -x1571 -x1766 -x1916 -x1217 -x1329 -x1818 -x1169 -x1793 -x1983 -x1764 x1840 -x1929 -x1690 -x1274 -x1423 -x1813 -x1671 -x1812 -x1064 -x1357 x1743 -x1339 -x1393 -x1583 -x1558 -x1617 -x1699 -x1799 -x1775 -x1930 x1941 -x1949 -x1283 -x1191 -x1757 -x1963 -x1071 -x1514 -x1144 -x1971 -x1498 -x1510 -x1714 -x1917 -x1972 -x1660 -x1923 -x1113 -x1219 -x1619 -x1990 -x1403 -x1070 -x1487 -x1780 -x1926 -x1882 -x1951 -x1915 -x1173 -x1731 -x1807 -x1958 -x1591 -x1672 -x1437 -x1691 -x1396 -x1653 -x1901 -x1636 -x1774 -x1137 -x1852 -x1157 -x1848 -x1291 -x1158 -x1977 -x1667 -x1278 -x1301 x1666 -x1778 -x1830 -x1908 -x1438 -x1420 -x1659 -x1997 -x1727 x1946 -x1652 -x1580 x1815 -x1367 -x1548 -x1709 x1890 x1655 -x1887 1797.94/1797.97 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1797.97 c 81 149717 4553 1657286 323011 18813032 18073 83 1798.03 1797.94/1797.97 c Objective: -59 1797.94/1797.97 s SATISFIABLE 1797.94/1797.97 c Total time: 1798.03 s
OK -59
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3462813-1307183320/watcher-3462813-1307183320 -o /tmp/evaluation-result-3462813-1307183320/solver-3462813-1307183320 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462813-1307183320.opb running on 4 cores: 1,3,5,7 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.11 2.06 2.01 2/524 28128 /proc/meminfo: memFree=22846456/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=14964 CPUtime=0.01 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 810 0 0 0 1 0 0 0 25 0 1 0 829929763 15323136 764 33554432000 134512640 137138936 4288254736 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 3741 765 195 642 0 2569 0 [startup+0.0454679 s] /proc/loadavg: 2.11 2.06 2.01 2/524 28128 /proc/meminfo: memFree=22846456/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=18948 CPUtime=0.04 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 1871 0 0 0 4 0 0 0 25 0 1 0 829929763 19402752 1785 33554432000 134512640 137138936 4288254736 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 4737 1785 237 642 0 3565 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 18948 [startup+0.100457 s] /proc/loadavg: 2.11 2.06 2.01 2/524 28128 /proc/meminfo: memFree=22846456/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=25648 CPUtime=0.09 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 3658 0 0 0 9 0 0 0 25 0 1 0 829929763 26263552 3493 33554432000 134512640 137138936 4288254736 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 6412 3494 311 642 0 5240 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25648 [startup+0.300432 s] /proc/loadavg: 2.11 2.06 2.01 2/524 28128 /proc/meminfo: memFree=22846456/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=49000 CPUtime=0.29 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 10070 0 0 0 28 1 0 0 25 0 1 0 829929763 50176000 9602 33554432000 134512640 137138936 4288254736 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 12250 9603 573 642 0 11078 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 49000 [startup+0.700353 s] /proc/loadavg: 2.11 2.06 2.01 2/524 28128 /proc/meminfo: memFree=22846456/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=93368 CPUtime=0.69 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 21303 0 0 0 67 2 0 0 25 0 1 0 829929763 95608832 20307 33554432000 134512640 137138936 4288254736 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 23342 20307 185 642 0 22698 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 93368 [startup+1.50021 s] /proc/loadavg: 2.11 2.06 2.01 3/525 28129 /proc/meminfo: memFree=22763988/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=94028 CPUtime=1.49 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 21525 0 0 0 147 2 0 0 25 0 1 0 829929763 96284672 20529 33554432000 134512640 137138936 4288254736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 23507 20529 185 642 0 22863 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 94028 [startup+3.10091 s] /proc/loadavg: 2.11 2.06 2.01 3/525 28129 /proc/meminfo: memFree=22763404/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=94028 CPUtime=3.09 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 21525 0 0 0 307 2 0 0 25 0 1 0 829929763 96284672 20529 33554432000 134512640 137138936 4288254736 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 23507 20529 185 642 0 22863 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 94028 [startup+6.30034 s] /proc/loadavg: 2.10 2.06 2.01 3/525 28129 /proc/meminfo: memFree=22763320/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=94028 CPUtime=6.29 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 21525 0 0 0 627 2 0 0 25 0 1 0 829929763 96284672 20529 33554432000 134512640 137138936 4288254736 18446744073709551615 134542017 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 23507 20529 185 642 0 22863 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 94028 [startup+12.7002 s] /proc/loadavg: 2.10 2.06 2.01 3/525 28129 /proc/meminfo: memFree=22761876/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=94160 CPUtime=12.69 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 21542 0 0 0 1267 2 0 0 25 0 1 0 829929763 96419840 20546 33554432000 134512640 137138936 4288254736 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 23540 20546 185 642 0 22896 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 94160 [startup+25.5009 s] /proc/loadavg: 2.07 2.06 2.01 3/525 28129 /proc/meminfo: memFree=22762628/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=94160 CPUtime=25.5 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 21549 0 0 0 2547 3 0 0 25 0 1 0 829929763 96419840 20553 33554432000 134512640 137138936 4288254736 18446744073709551615 134566410 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 23540 20553 185 642 0 22896 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 94160 [startup+51.1003 s] /proc/loadavg: 2.05 2.05 2.01 3/525 28130 /proc/meminfo: memFree=22762488/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=94160 CPUtime=51.09 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 21549 0 0 0 5106 3 0 0 25 0 1 0 829929763 96419840 20553 33554432000 134512640 137138936 4288254736 18446744073709551615 134566240 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 23540 20553 185 642 0 22896 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 94160 [startup+102.32 s] /proc/loadavg: 2.02 2.04 2.00 3/525 28131 /proc/meminfo: memFree=22761480/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=94160 CPUtime=102.31 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 21549 0 0 0 10226 5 0 0 25 0 1 0 829929763 96419840 20553 33554432000 134512640 137138936 4288254736 18446744073709551615 136504179 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 23540 20553 185 642 0 22896 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 94160 [startup+162.3 s] /proc/loadavg: 2.15 2.07 2.01 3/525 28133 /proc/meminfo: memFree=22760972/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=94160 CPUtime=162.3 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 21549 0 0 0 16224 6 0 0 25 0 1 0 829929763 96419840 20553 33554432000 134512640 137138936 4288254736 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 23540 20553 185 642 0 22896 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 94160 [startup+222.3 s] /proc/loadavg: 2.05 2.06 2.01 3/525 28135 /proc/meminfo: memFree=22747924/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=104744 CPUtime=222.3 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 352484 0 0 0 22145 85 0 0 25 0 1 0 829929763 107257856 23485 33554432000 134512640 137138936 4288254736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 26186 23485 192 642 0 25542 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 104744 [startup+282.3 s] /proc/loadavg: 2.02 2.05 2.00 3/525 28163 /proc/meminfo: memFree=23678516/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=125544 CPUtime=282.3 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 903369 0 0 0 28061 169 0 0 25 0 1 0 829929763 128557056 28695 33554432000 134512640 137138936 4288254736 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 31386 28695 192 642 0 30742 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 125544 [startup+342.301 s] /proc/loadavg: 2.00 2.03 2.00 3/525 28165 /proc/meminfo: memFree=23609792/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=133724 CPUtime=342.3 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 1263912 0 0 0 33985 245 0 0 25 0 1 0 829929763 136933376 30737 33554432000 134512640 137138936 4288254736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 33431 30737 192 642 0 32787 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 133724 [startup+402.301 s] /proc/loadavg: 2.00 2.03 2.00 3/525 28166 /proc/meminfo: memFree=23535944/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=164472 CPUtime=402.31 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 2053791 0 0 0 39880 351 0 0 25 0 1 0 829929763 168419328 38432 33554432000 134512640 137138936 4288254736 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 41118 38432 192 642 0 40474 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 164472 [startup+462.301 s] /proc/loadavg: 2.00 2.02 2.00 3/525 28168 /proc/meminfo: memFree=23288268/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=385768 CPUtime=462.3 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 7412174 0 0 0 45349 881 0 0 25 0 1 0 829929763 395026432 93751 33554432000 134512640 137138936 4288254736 18446744073709551615 134542823 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 96442 93751 192 642 0 95798 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 385768 [startup+522.301 s] /proc/loadavg: 2.00 2.01 2.00 3/525 28170 /proc/meminfo: memFree=23089332/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=551728 CPUtime=522.31 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 11330211 0 0 0 50941 1290 0 0 25 0 1 0 829929763 564969472 135253 33554432000 134512640 137138936 4288254736 18446744073709551615 134542226 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 137932 135253 192 642 0 137288 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 551728 [startup+582.3 s] /proc/loadavg: 2.16 2.04 2.01 3/525 28171 /proc/meminfo: memFree=22948808/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=658124 CPUtime=582.31 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 13842085 0 0 0 56661 1570 0 0 25 0 1 0 829929763 673918976 161839 33554432000 134512640 137138936 4288254736 18446744073709551615 134542986 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 164531 161839 192 642 0 163887 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 658124 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=22362248/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=1057844 CPUtime=1122.32 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 23286348 0 0 0 109563 2669 0 0 25 0 1 0 829929763 1083232256 261754 33554432000 134512640 137138936 4288254736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 264461 261754 192 642 0 263817 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 1057844 [startup+1182.3 s] /proc/loadavg: 2.08 2.03 2.01 3/525 28187 /proc/meminfo: memFree=22344844/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=1057844 CPUtime=1182.32 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 23286348 0 0 0 115562 2670 0 0 25 0 1 0 829929763 1083232256 261754 33554432000 134512640 137138936 4288254736 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 264461 261754 192 642 0 263817 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 1057844 [startup+1242.3 s] /proc/loadavg: 2.15 2.06 2.01 3/525 28189 /proc/meminfo: memFree=22333368/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=1057844 CPUtime=1242.33 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 23286348 0 0 0 121561 2672 0 0 25 0 1 0 829929763 1083232256 261754 33554432000 134512640 137138936 4288254736 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 264461 261754 192 642 0 263817 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 1057844 [startup+1302.3 s] /proc/loadavg: 2.11 2.06 2.01 3/525 28190 /proc/meminfo: memFree=22323552/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=1057844 CPUtime=1302.35 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 23286348 0 0 0 127561 2674 0 0 25 0 1 0 829929763 1083232256 261754 33554432000 134512640 137138936 4288254736 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 264461 261754 192 642 0 263817 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 1057844 [startup+1362.3 s] /proc/loadavg: 2.04 2.05 2.01 3/525 28192 /proc/meminfo: memFree=22314580/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=1057844 CPUtime=1362.32 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 23286348 0 0 0 133558 2674 0 0 25 0 1 0 829929763 1083232256 261754 33554432000 134512640 137138936 4288254736 18446744073709551615 136505593 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 264461 261754 192 642 0 263817 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1057844 [startup+1422.32 s] /proc/loadavg: 2.01 2.04 2.00 3/525 28194 /proc/meminfo: memFree=22304484/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=1057844 CPUtime=1422.35 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 23286348 0 0 0 139559 2676 0 0 25 0 1 0 829929763 1083232256 261754 33554432000 134512640 137138936 4288254736 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 264461 261754 192 642 0 263817 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 1057844 [startup+1482.3 s] /proc/loadavg: 2.00 2.03 2.00 3/525 28195 /proc/meminfo: memFree=22294024/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=1057844 CPUtime=1482.33 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 23286348 0 0 0 145555 2678 0 0 25 0 1 0 829929763 1083232256 261754 33554432000 134512640 137138936 4288254736 18446744073709551615 134575213 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 264461 261754 192 642 0 263817 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 1057844 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/525 28197 /proc/meminfo: memFree=22278348/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=1062200 CPUtime=1542.34 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 23416904 0 0 0 151540 2694 0 0 25 0 1 0 829929763 1087692800 262843 33554432000 134512640 137138936 4288254736 18446744073709551615 134540704 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 265550 262843 192 642 0 264906 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 1062200 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/525 28198 /proc/meminfo: memFree=22266628/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=1062200 CPUtime=1602.33 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 23416904 0 0 0 157535 2698 0 0 25 0 1 0 829929763 1087692800 262843 33554432000 134512640 137138936 4288254736 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 265550 262843 192 642 0 264906 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1062200 [startup+1662.3 s] /proc/loadavg: 2.12 2.04 2.01 3/525 28200 /proc/meminfo: memFree=22254808/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=1062200 CPUtime=1662.34 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 23416904 0 0 0 163533 2701 0 0 25 0 1 0 829929763 1087692800 262843 33554432000 134512640 137138936 4288254736 18446744073709551615 134575213 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 265550 262843 192 642 0 264906 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 1062200 [startup+1722.3 s] /proc/loadavg: 2.10 2.05 2.01 3/525 28202 /proc/meminfo: memFree=22242236/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=1062200 CPUtime=1722.33 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 23416904 0 0 0 169531 2702 0 0 25 0 1 0 829929763 1087692800 262843 33554432000 134512640 137138936 4288254736 18446744073709551615 134578275 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 265550 262843 192 642 0 264906 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 1062200 [startup+1782.3 s] /proc/loadavg: 2.04 2.03 2.00 3/525 28203 /proc/meminfo: memFree=22228808/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=1062200 CPUtime=1782.34 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 23416904 0 0 0 175529 2705 0 0 25 0 1 0 829929763 1087692800 262843 33554432000 134512640 137138936 4288254736 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 265550 262843 192 642 0 264906 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 1062200 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.19 2.07 2.01 3/525 28203 /proc/meminfo: memFree=22228188/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=1062200 CPUtime=1785.54 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 23416904 0 0 0 175849 2705 0 0 25 0 1 0 829929763 1087692800 262843 33554432000 134512640 137138936 4288254736 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 265550 262843 192 642 0 264906 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (KiB) 1062200 [startup+1791.92 s] /proc/loadavg: 2.18 2.06 2.01 3/525 28203 /proc/meminfo: memFree=22226816/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=1062200 CPUtime=1791.96 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 23416904 0 0 0 176491 2705 0 0 25 0 1 0 829929763 1087692800 262843 33554432000 134512640 137138936 4288254736 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 265550 262843 192 642 0 264906 0 Current children cumulated CPU time (s) 1791.96 Current children cumulated vsize (KiB) 1062200 [startup+1795.1 s] /proc/loadavg: 2.16 2.06 2.01 3/525 28204 /proc/meminfo: memFree=22226196/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=1062200 CPUtime=1795.16 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 23416904 0 0 0 176810 2706 0 0 25 0 1 0 829929763 1087692800 262843 33554432000 134512640 137138936 4288254736 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 265550 262843 192 642 0 264906 0 Current children cumulated CPU time (s) 1795.16 Current children cumulated vsize (KiB) 1062200 [startup+1796.7 s] /proc/loadavg: 2.16 2.06 2.01 3/525 28204 /proc/meminfo: memFree=22225824/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=1062200 CPUtime=1796.74 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 23416904 0 0 0 176968 2706 0 0 25 0 1 0 829929763 1087692800 262843 33554432000 134512640 137138936 4288254736 18446744073709551615 134542725 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 265550 262843 192 642 0 264906 0 Current children cumulated CPU time (s) 1796.74 Current children cumulated vsize (KiB) 1062200 [startup+1797.5 s] /proc/loadavg: 2.16 2.06 2.01 3/525 28204 /proc/meminfo: memFree=22225820/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=1062200 CPUtime=1797.54 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 23416904 0 0 0 177048 2706 0 0 25 0 1 0 829929763 1087692800 262843 33554432000 134512640 137138936 4288254736 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 265550 262843 192 642 0 264906 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (KiB) 1062200 [startup+1797.9 s] /proc/loadavg: 2.16 2.06 2.01 3/525 28204 /proc/meminfo: memFree=22225820/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=1062200 CPUtime=1797.94 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202496 23416904 0 0 0 177088 2706 0 0 25 0 1 0 829929763 1087692800 262843 33554432000 134512640 137138936 4288254736 18446744073709551615 134575744 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/28128/statm: 265550 262843 192 642 0 264906 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (KiB) 1062200 [startup+1798 s] /proc/loadavg: 2.16 2.06 2.01 3/525 28204 /proc/meminfo: memFree=22225820/32951124 swapFree=56930356/67111528 [pid=28128] ppid=28126 vsize=0 CPUtime=1798.04 cores=1,3,5,7 /proc/28128/stat : 28128 (bsolo) R 28126 28128 25956 0 -1 4202500 23416905 0 0 0 177096 2708 0 0 25 0 1 0 829929763 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0 /proc/28128/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.04 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.02 CPU time (s): 1798.07 CPU user time (s): 1770.96 CPU system time (s): 27.1119 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 1062812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1770.96 system time used= 27.1119 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23416905 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= 5 involuntary context switches= 4159 runsolver used 8.77767 second user time and 22.3046 second system time The end
Begin job on node137 at 2011-06-04 12:28:41 IDJOB=3462813 IDBENCH=48229 IDSOLVER=1955 FILE ID=node137/3462813-1307183320 RUNJOBID= node137-1307174661-27289 PBS_JOBID= 13508854 Free space on /tmp= 73724 MiB SOLVER NAME= bsolo 3.2 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_4.opb COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462813-1307183320/watcher-3462813-1307183320 -o /tmp/evaluation-result-3462813-1307183320/solver-3462813-1307183320 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462813-1307183320.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 49512b8058c62182b32b06ac219e7167 RANDOM SEED=755535465 node137.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.68 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.844 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] 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.844 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 22846744 kB Buffers: 282732 kB Cached: 517772 kB SwapCached: 12312 kB Active: 9376924 kB Inactive: 464072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 22846744 kB SwapTotal: 67111528 kB SwapFree: 56930356 kB Dirty: 5844 kB Writeback: 0 kB AnonPages: 9038172 kB Mapped: 22172 kB Slab: 117140 kB PageTables: 76236 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 163576208 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73720 MiB End job on node137 at 2011-06-04 12:58:39