Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: bsolo 3.0.17 | SAT (TO) | -161 | 1800.07 | 1800.41 |
Name | /OPT-SMALLINT-LIN/featureSubscription/ normalized-50-250-false-45-90-4-8000opt.opb |
MD5SUM | 27275f75c57d1f68b1f0c26684ed17bf |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -162 |
Best CPU time to get the best result obtained on this benchmark | 42.0556 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2025 |
Total number of constraints | 62275 |
Number of constraints which are clauses | 62275 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 135 |
Biggest coefficient in the objective function | 4 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 341 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 4 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 341 |
Number of bits of the biggest sum of numbers | 9 |
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 bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 15500 MB 0.00/0.00 c Instance file HOME/instance-3738084-1338732653.opb 0.00/0.00 c File size is 2077119 bytes. 0.09/0.16 c Highest Coefficient sum: 341 0.09/0.16 c Parsing was ok!! 0.09/0.16 c Total parsing time: 0.164 s 0.09/0.17 c Var: 2025 Constr: 62275 62275/0/0 Lit: 185655 Watch. Lit: 124550 0.09/0.17 c Obj. Vars: 135 (6.66667 % of total variables) 0.29/0.36 c Pre-processing Time: 0.361 s 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 0 2013 62239 185583 2 124478 20746 0 0 0.36 0.29/0.36 c Switching off LPR mode. 0.29/0.37 o -36 0.374 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 0 2013 62240 185706 2 124494 20992 1 0 0.38 0.29/0.38 o -37 0.377 0.29/0.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.39 c 2 2013 62243 186048 2 124516 20992 4 5 0.38 0.29/0.39 o -101 0.388 0.29/0.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.40 c 41 2013 62283 186328 2 124628 20992 44 105 0.39 0.29/0.40 o -120 0.395 0.39/0.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.40 c 46 2013 62289 186472 2 124677 20992 50 116 0.40 0.39/0.40 o -124 0.4 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 49 2013 62293 186605 2 124731 20992 54 122 0.40 0.39/0.41 o -126 0.411 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 64 2013 62309 186944 3 124809 20992 70 155 0.41 0.39/0.45 c 164 2013 62409 189488 3 125007 23092 170 374 0.44 0.39/0.45 o -131 0.449 0.39/0.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.48 c 172 2013 62418 189640 3 125072 20992 179 382 0.45 0.39/0.48 o -133 0.481 0.49/0.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.50 c 244 2013 62491 191040 3 125266 20992 252 506 0.48 0.49/0.50 o -140 0.501 0.69/0.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.74 c 286 2013 62534 191599 3 125400 20992 295 569 0.50 0.69/0.74 c 386 2013 62634 194723 3 125597 23092 395 713 0.54 0.69/0.74 c 636 2013 62884 208450 3 126107 25402 645 1039 0.61 0.69/0.74 c 1111 2013 63359 232066 3 127049 27943 1120 1517 0.73 0.69/0.74 o -148 0.741 1.19/1.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.22 c 1115 2013 63364 232207 3 127101 20992 1125 1500 0.74 1.19/1.22 c 1216 2013 63465 238644 3 127318 23092 1226 1583 0.77 1.19/1.22 c 1467 2013 63716 253494 3 127820 25402 1477 1782 0.82 1.19/1.22 c 1943 2013 64192 280523 4 128770 27943 1953 1980 0.98 1.19/1.22 c 2758 2013 65007 329920 5 130379 30738 2768 2357 1.17 1.19/1.22 o -150 1.218 1.19/1.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.29 c 2872 2013 65122 336128 5 130685 20992 2883 2356 1.22 1.19/1.29 c 2972 2013 65222 341516 5 130871 23092 2983 2343 1.27 1.19/1.29 o -151 1.29 1.39/1.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.42 c 3027 2013 65278 344618 5 131045 20992 3039 2344 1.29 1.39/1.42 c 3127 2013 65378 350680 5 131241 23092 3139 2347 1.33 1.39/1.42 c 3378 2013 65629 366590 5 131742 25402 3390 2397 1.41 1.39/1.42 o -152 1.421 3.99/4.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.05 c 3380 2013 65632 366777 5 131827 20992 3393 2375 1.42 3.99/4.05 c 3480 2013 65732 372366 5 132006 23092 3493 2398 1.45 3.99/4.05 c 3731 2013 65983 388149 5 132520 25402 3744 2459 1.52 3.99/4.05 c 4207 2013 66459 416780 6 133483 27943 4220 2568 1.64 3.99/4.05 c 5021 2013 67273 466856 6 135086 30738 5034 2687 1.87 3.99/4.05 c 6342 2013 68594 553013 8 137733 33812 6355 2784 2.28 3.99/4.05 c 8424 2013 70676 689973 9 141894 37194 8437 2889 2.92 3.99/4.05 c 11647 2013 73899 898354 12 148349 40914 11660 3063 3.80 3.99/4.05 o -153 4.055 5.19/5.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.19/5.20 c 12289 2013 74542 941645 12 149672 20992 12303 3029 4.06 5.19/5.20 c 12389 2013 74642 947964 12 149883 23092 12403 3026 4.09 5.19/5.20 c 12639 2013 74892 963979 12 150388 25402 12653 3012 4.20 5.19/5.20 c 13114 2013 75367 993488 13 151351 27943 13128 2996 4.38 5.19/5.20 c 13927 2013 76180 1047983 13 152954 30738 13941 3004 4.64 5.19/5.20 c 15247 2013 77500 1129014 14 155615 33812 15261 3001 5.08 5.19/5.20 o -154 5.201 5.59/5.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.59/5.61 c 15496 2013 77750 1144843 14 156140 20992 15511 2978 5.20 5.59/5.61 c 15596 2013 77850 1151267 14 156344 23092 15611 2971 5.25 5.59/5.61 c 15846 2013 78100 1166279 14 156862 25402 15861 2957 5.36 5.59/5.61 c 16321 2013 78575 1196431 15 157803 27943 16336 2944 5.54 5.59/5.61 o -155 5.614 5.69/5.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.69/5.78 c 16474 2013 78729 1206326 15 158171 20992 16490 2933 5.62 5.69/5.78 c 16576 2013 78831 1212925 15 158373 23092 16592 2926 5.66 5.69/5.78 o -156 5.782 6.98/7.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.98/7.09 c 16818 2013 79074 1228149 15 158924 20992 16835 2908 5.78 6.98/7.09 c 16919 2013 79175 1234287 15 159111 23092 16936 2898 5.84 6.98/7.09 c 17169 2013 79425 1250464 15 159642 25402 17186 2892 5.93 6.98/7.09 c 17644 2013 79900 1279292 16 160584 27943 17661 2891 6.10 6.98/7.09 c 18457 2013 80713 1332822 16 162190 30738 18474 2855 6.46 6.98/7.09 c 19779 2013 82035 1419539 17 164828 33812 19796 2799 7.07 6.98/7.09 o -158 7.086 9.29/9.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.29/9.32 c 19784 2013 82041 1419861 17 164932 20992 19802 2791 7.09 9.29/9.32 c 19885 2013 82142 1425718 17 165142 23092 19903 2785 7.14 9.29/9.32 c 20135 2013 82392 1440707 17 165629 25402 20153 2786 7.23 9.29/9.32 c 20610 2013 82867 1470788 17 166589 27943 20628 2751 7.49 9.29/9.32 c 21423 2013 83680 1520943 18 168197 30738 21441 2739 7.82 9.29/9.32 c 22743 2013 85000 1600648 18 170873 33812 22761 2696 8.44 9.29/9.32 o -159 9.315 9.99/10.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.99/10.03 c 24455 2013 86713 1710329 19 174308 20992 24474 2625 9.32 9.99/10.03 c 24555 2013 72838 801459 11 145739 23092 10599 2590 9.48 9.99/10.03 c 24805 2013 73088 816942 11 146237 25402 10849 2597 9.55 9.99/10.03 c 25280 2013 73563 844056 11 147188 27943 11324 2604 9.71 9.99/10.03 o -160 10.03 113.33/113.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 113.33/113.41 c 26056 2013 74340 890808 11 148809 20992 12101 2597 10.03 113.33/113.41 c 26157 2013 74441 896982 12 149000 23092 12202 2598 10.07 113.33/113.41 c 26408 2013 74692 911909 12 149508 25402 12453 2603 10.14 113.33/113.41 c 26884 2013 75168 940976 12 150461 27943 12929 2606 10.32 113.33/113.41 c 27697 2013 75981 992276 13 152084 30738 13742 2611 10.61 113.33/113.41 c 29018 2013 77302 1073355 13 154731 33812 15063 2645 10.97 113.33/113.41 c 31099 2013 79383 1203657 15 158891 37194 17144 2665 11.67 113.33/113.41 c 34323 2013 82607 1400048 16 165335 40914 20368 2716 12.64 113.33/113.41 c 39261 2013 87545 1699474 19 175211 45006 25306 2703 14.52 113.33/113.41 c 46768 2013 95052 2159892 22 190229 49507 32813 2601 17.98 113.33/113.41 c 58129 2013 106413 2882253 27 212952 54458 44174 2356 24.66 113.33/113.41 c 75274 2013 81663 1334676 16 163387 59904 19424 2131 35.32 113.33/113.41 c 101093 2013 107482 3005331 27 215028 65895 45243 2037 49.62 113.33/113.41 c 139925 2013 93031 2011399 21 186126 72485 30792 1936 72.24 113.33/113.41 c 198278 2013 91570 2045143 22 183200 79734 29331 1779 111.45 113.33/113.41 o -161 113.351 1800.06/1800.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.06/1800.40 c 202004 2013 95297 2277261 23 190719 20992 33058 1782 113.35 1800.06/1800.40 c 202105 2013 72845 825777 11 145752 23092 10606 1779 113.59 1800.06/1800.40 c 202355 2013 73095 838731 11 146255 25402 10856 1780 113.66 1800.06/1800.40 c 202830 2013 73570 865328 11 147204 27943 11331 1782 113.81 1800.06/1800.40 c 203643 2013 74383 915124 12 148828 30738 12144 1785 114.03 1800.06/1800.40 c 204964 2013 75704 991462 13 151473 33812 13465 1792 114.36 1800.06/1800.40 c 207045 2013 77785 1117096 14 155633 37194 15546 1801 114.93 1800.06/1800.40 c 210268 2013 81008 1307128 16 162080 40914 18769 1816 115.78 1800.06/1800.40 c 215205 2013 85945 1608929 18 171950 45006 23706 1832 117.46 1800.06/1800.40 c 222711 2013 93451 2070656 22 186966 49507 31212 1852 120.24 1800.06/1800.40 c 234074 2013 104814 2789593 26 209689 54458 42575 1857 126.03 1800.06/1800.40 c 251218 2013 79881 1216274 15 159826 59904 17642 1875 133.92 1800.06/1800.40 c 277037 2013 105700 2850999 26 211466 65895 43461 1917 144.49 1800.06/1800.40 c 315870 2013 91285 1913654 20 182631 72485 29046 1921 164.37 1800.06/1800.40 c 374222 2013 90129 1891671 20 180323 79734 27890 1874 199.63 1800.06/1800.40 c 461856 2013 110885 3200928 28 221832 87708 48646 1820 253.66 1800.06/1800.40 c 593408 2012 93077 2040861 21 186214 96479 30838 1767 335.70 1800.06/1800.40 c 790841 2012 124295 3823786 30 248653 106127 62056 1633 484.05 1800.06/1800.40 c 1087094 2011 141897 4966934 35 283854 116740 79658 1512 718.63 1800.06/1800.40 c 1531577 2009 172654 6436303 37 345366 128415 110415 1358 1127.16 1800.06/1800.40 c 2198406 2005 150205 4900682 32 300464 141257 87966 1257 1748.56 1800.06/1800.40 c Caught signal: 15 1800.06/1800.40 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 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 x1048 -x1049 -x1050 x1051 -x1052 x1053 -x1054 x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 -x1062 x1063 x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 x1077 x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 x1108 -x1109 -x1110 x1111 x1112 -x1113 x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 -x1266 -x1267 -x1268 x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 x1304 -x1305 -x1306 -x1307 x1308 -x1309 -x1310 -x1311 x1312 -x1313 x1314 -x1315 -x1316 x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341 x1342 -x1343 -x1344 x1345 x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 x1359 -x1360 -x1361 -x1362 x1363 -x1364 x1365 -x1366 x1367 -x1368 -x1369 -x1370 -x1371 -x1372 x1373 x1374 -x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 x1408 -x1409 x1410 -x1411 x1412 -x1413 x1414 -x1415 -x1416 -x1417 x1418 x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 x1520 x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 x1544 -x1545 -x1546 -x1547 x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 x1647 -x1648 -x1649 -x1650 x1651 -x1652 x1653 -x1654 x1655 -x1656 x1657 -x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 x1681 -x1682 -x1683 -x1684 x1685 -x1686 x1687 -x1688 -x1689 x1690 -x1691 -x1692 -x1693 -x1694 x1695 -x1696 x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 -x1706 -x1707 -x1708 -x1709 -x1710 x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 x1719 -x1720 -x1721 -x1722 x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 x1773 -x1774 -x1775 -x1776 -x1777 -x1778 x1779 -x1780 -x1781 -x1782 x1783 -x1784 -x1785 -x1786 -x1787 x1788 x1789 -x1790 x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 x1855 x1856 -x1857 -x1858 -x1859 x1860 -x1861 -x1862 -x1863 -x1864 x1865 x1866 -x1867 x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 x1896 -x1897 -x1898 x1899 x1900 -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 x1932 -x1933 -x1934 x1935 -x1936 x1937 -x1938 -x1939 -x1940 -x1941 x1942 x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 -x1952 -x1953 -x1954 -x1955 -x1956 x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 x1981 -x1982 -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 x2009 -x2010 x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 1800.06/1800.40 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.06/1800.40 c 95 2247540 270666 2630196 199339 7570713 137100 1248 1800.07 1800.06/1800.40 c Objective: -161 1800.06/1800.40 s SATISFIABLE 1800.06/1800.40 c Total time: 1800.07 s
OK -161
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-3738084-1338732653/watcher-3738084-1338732653 -o /tmp/evaluation-result-3738084-1338732653/solver-3738084-1338732653 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3738084-1338732653.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.01 2.00 2.00 2/177 24500 /proc/meminfo: memFree=28648604/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=6720 CPUtime=0 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 474 0 0 0 0 0 0 0 20 0 1 0 339393781 6881280 410 33554432000 134512640 135840783 4289552992 4289551728 7742759 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/24500/statm: 1680 411 327 325 0 108 0 [startup+0.013709 s] /proc/loadavg: 2.01 2.00 2.00 2/177 24500 /proc/meminfo: memFree=28648604/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=7136 CPUtime=0 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 581 0 0 0 0 0 0 0 20 0 1 0 339393781 7307264 517 33554432000 134512640 135840783 4289552992 4289551984 134525311 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/24500/statm: 1784 517 347 325 0 212 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 7136 [startup+0.100216 s] /proc/loadavg: 2.01 2.00 2.00 2/177 24500 /proc/meminfo: memFree=28648604/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=10828 CPUtime=0.09 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 1786 0 0 0 9 0 0 0 20 0 1 0 339393781 11087872 1722 33554432000 134512640 135840783 4289552992 4289550896 7602287 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/24500/statm: 2707 1723 617 325 0 1135 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10828 [startup+0.300245 s] /proc/loadavg: 2.01 2.00 2.00 2/177 24500 /proc/meminfo: memFree=28648604/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=17768 CPUtime=0.29 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 4272 0 0 0 27 2 0 0 20 0 1 0 339393781 18194432 3700 33554432000 134512640 135840783 4289552992 4289527596 13902896 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/24500/statm: 4442 3700 344 325 0 3378 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17768 [startup+0.700245 s] /proc/loadavg: 2.01 2.00 2.00 2/177 24500 /proc/meminfo: memFree=28648604/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=17644 CPUtime=0.69 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 4970 0 0 0 67 2 0 0 20 0 1 0 339393781 18067456 3686 33554432000 134512640 135840783 4289552992 4289552352 134550804 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/24500/statm: 4411 3686 349 325 0 3347 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17644 [startup+1.50024 s] /proc/loadavg: 2.01 2.00 2.00 3/178 24501 /proc/meminfo: memFree=28635204/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=17788 CPUtime=1.49 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 4985 0 0 0 147 2 0 0 20 0 1 0 339393781 18214912 3701 33554432000 134512640 135840783 4289552992 4289552352 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/24500/statm: 4447 3701 349 325 0 3383 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17788 [startup+3.10024 s] /proc/loadavg: 2.01 2.00 2.00 3/178 24501 /proc/meminfo: memFree=28632716/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=22728 CPUtime=3.09 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 6240 0 0 0 306 3 0 0 20 0 1 0 339393781 23273472 4956 33554432000 134512640 135840783 4289552992 4289552020 7729404 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/24500/statm: 5682 4956 349 325 0 4618 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22728 [startup+6.30024 s] /proc/loadavg: 2.01 2.00 2.00 3/178 24501 /proc/meminfo: memFree=28622548/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=31192 CPUtime=6.29 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 8342 0 0 0 626 3 0 0 20 0 1 0 339393781 31940608 7058 33554432000 134512640 135840783 4289552992 4289552352 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/24500/statm: 7798 7058 349 325 0 6734 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31192 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24501 /proc/meminfo: memFree=28614768/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=37144 CPUtime=12.69 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 9841 0 0 0 1265 4 0 0 20 0 1 0 339393781 38035456 8557 33554432000 134512640 135840783 4289552992 4289552352 134551030 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/24500/statm: 9286 8557 349 325 0 8222 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37144 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24501 /proc/meminfo: memFree=28597780/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=55204 CPUtime=25.49 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 14358 0 0 0 2543 6 0 0 20 0 1 0 339393781 56528896 13074 33554432000 134512640 135840783 4289552992 4289552352 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 13801 13074 349 325 0 12737 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 55204 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24501 /proc/meminfo: memFree=28588900/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=63528 CPUtime=51.08 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 16501 0 0 0 5102 6 0 0 20 0 1 0 339393781 65052672 15161 33554432000 134512640 135840783 4289552992 4289552304 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 15882 15161 349 325 0 14818 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 63528 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24501 /proc/meminfo: memFree=28566456/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=79828 CPUtime=102.24 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 20652 0 0 0 10217 7 0 0 20 0 1 0 339393781 81743872 19216 33554432000 134512640 135840783 4289552992 4289552256 12501545 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 19957 19216 349 325 0 18893 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 79828 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24501 /proc/meminfo: memFree=28564776/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=81032 CPUtime=162.22 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 21040 0 0 0 16215 7 0 0 20 0 1 0 339393781 82976768 19533 33554432000 134512640 135840783 4289552992 4289552296 12105933 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 20258 19533 349 325 0 19194 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 81032 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24501 /proc/meminfo: memFree=28564832/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=81172 CPUtime=222.22 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 21050 0 0 0 22214 8 0 0 20 0 1 0 339393781 83120128 19540 33554432000 134512640 135840783 4289552992 4289552352 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 20293 19540 349 325 0 19229 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 81172 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24502 /proc/meminfo: memFree=28551316/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=93640 CPUtime=282.2 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 24334 0 0 0 28211 9 0 0 20 0 1 0 339393781 95887360 22660 33554432000 134512640 135840783 4289552992 4289552416 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 23410 22660 349 325 0 22346 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 93640 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24502 /proc/meminfo: memFree=28551304/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=93996 CPUtime=342.19 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 24426 0 0 0 34210 9 0 0 20 0 1 0 339393781 96251904 22746 33554432000 134512640 135840783 4289552992 4289552304 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 23499 22746 349 325 0 22435 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 93996 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24502 /proc/meminfo: memFree=28544360/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=100500 CPUtime=402.19 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 26150 0 0 0 40208 11 0 0 20 0 1 0 339393781 102912000 24375 33554432000 134512640 135840783 4289552992 4289552352 134550791 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 25125 24375 349 325 0 24061 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 100500 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24502 /proc/meminfo: memFree=28539764/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=100888 CPUtime=462.17 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 26248 0 0 0 46206 11 0 0 20 0 1 0 339393781 103309312 24469 33554432000 134512640 135840783 4289552992 4289552352 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 25222 24469 349 325 0 24158 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 100888 [startup+522.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24502 /proc/meminfo: memFree=28526496/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=108184 CPUtime=522.16 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 28202 0 0 0 52204 12 0 0 20 0 1 0 339393781 110780416 26319 33554432000 134512640 135840783 4289552992 4289552416 134546118 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 27046 26319 349 325 0 25982 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 108184 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24506 /proc/meminfo: memFree=28525920/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=108184 CPUtime=582.15 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 28202 0 0 0 58203 12 0 0 20 0 1 0 339393781 110780416 26319 33554432000 134512640 135840783 4289552992 4289552352 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 27046 26319 349 325 0 25982 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 108184 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.03 2.01 2.00 3/177 24506 /proc/meminfo: memFree=28517116/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=117564 CPUtime=822.11 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 30665 0 0 0 82198 13 0 0 20 0 1 0 339393781 120385536 28663 33554432000 134512640 135840783 4289552992 4289552352 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 29391 28663 349 325 0 28327 0 Current children cumulated CPU time (s) 822.11 Current children cumulated vsize (KiB) 117564 [startup+882.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 24507 /proc/meminfo: memFree=28517112/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=118124 CPUtime=882.1 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 30781 0 0 0 88197 13 0 0 20 0 1 0 339393781 120958976 28777 33554432000 134512640 135840783 4289552992 4289552128 7740140 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 29531 28777 349 325 0 28467 0 Current children cumulated CPU time (s) 882.1 Current children cumulated vsize (KiB) 118124 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24507 /proc/meminfo: memFree=28517108/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=118124 CPUtime=942.09 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 30783 0 0 0 94196 13 0 0 20 0 1 0 339393781 120958976 28777 33554432000 134512640 135840783 4289552992 4289552512 134551952 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 29531 28777 349 325 0 28467 0 Current children cumulated CPU time (s) 942.09 Current children cumulated vsize (KiB) 118124 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24507 /proc/meminfo: memFree=28517232/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=118124 CPUtime=1002.08 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 30783 0 0 0 100195 13 0 0 20 0 1 0 339393781 120958976 28777 33554432000 134512640 135840783 4289552992 4289552228 7748168 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 29531 28777 349 325 0 28467 0 Current children cumulated CPU time (s) 1002.08 Current children cumulated vsize (KiB) 118124 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24507 /proc/meminfo: memFree=28516736/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=118124 CPUtime=1062.07 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 30783 0 0 0 106194 13 0 0 20 0 1 0 339393781 120958976 28777 33554432000 134512640 135840783 4289552992 4289551412 7737425 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 29531 28777 349 325 0 28467 0 Current children cumulated CPU time (s) 1062.07 Current children cumulated vsize (KiB) 118124 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24546 /proc/meminfo: memFree=28568676/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=118124 CPUtime=1122.06 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 30783 0 0 0 112193 13 0 0 20 0 1 0 339393781 120958976 28777 33554432000 134512640 135840783 4289552992 4289552352 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 29531 28777 349 325 0 28467 0 Current children cumulated CPU time (s) 1122.06 Current children cumulated vsize (KiB) 118124 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24550 /proc/meminfo: memFree=28555860/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=122920 CPUtime=1182.05 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 32113 0 0 0 118192 13 0 0 20 0 1 0 339393781 125870080 29979 33554432000 134512640 135840783 4289552992 4289552224 7367423 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 30730 29979 349 325 0 29666 0 Current children cumulated CPU time (s) 1182.05 Current children cumulated vsize (KiB) 122920 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24550 /proc/meminfo: memFree=28548832/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=122920 CPUtime=1242.04 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 32113 0 0 0 124191 13 0 0 20 0 1 0 339393781 125870080 29979 33554432000 134512640 135840783 4289552992 4289552292 7748171 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 30730 29979 349 325 0 29666 0 Current children cumulated CPU time (s) 1242.04 Current children cumulated vsize (KiB) 122920 [startup+1302.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 24550 /proc/meminfo: memFree=28543064/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=124908 CPUtime=1302.04 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 32609 0 0 0 130190 14 0 0 20 0 1 0 339393781 127905792 30474 33554432000 134512640 135840783 4289552992 4289552352 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 31227 30474 349 325 0 30163 0 Current children cumulated CPU time (s) 1302.04 Current children cumulated vsize (KiB) 124908 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 24550 /proc/meminfo: memFree=28536480/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=124908 CPUtime=1362.02 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 32609 0 0 0 136188 14 0 0 20 0 1 0 339393781 127905792 30474 33554432000 134512640 135840783 4289552992 4289552352 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 31227 30474 349 325 0 30163 0 Current children cumulated CPU time (s) 1362.02 Current children cumulated vsize (KiB) 124908 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24550 /proc/meminfo: memFree=28536480/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=124908 CPUtime=1422.02 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 32609 0 0 0 142188 14 0 0 20 0 1 0 339393781 127905792 30474 33554432000 134512640 135840783 4289552992 4289552352 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 31227 30474 349 325 0 30163 0 Current children cumulated CPU time (s) 1422.02 Current children cumulated vsize (KiB) 124908 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24551 /proc/meminfo: memFree=28536412/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=124908 CPUtime=1482.01 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 32609 0 0 0 148187 14 0 0 20 0 1 0 339393781 127905792 30474 33554432000 134512640 135840783 4289552992 4289552352 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 31227 30474 349 325 0 30163 0 Current children cumulated CPU time (s) 1482.01 Current children cumulated vsize (KiB) 124908 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24551 /proc/meminfo: memFree=28536784/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=124908 CPUtime=1542 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 32609 0 0 0 154186 14 0 0 20 0 1 0 339393781 127905792 30474 33554432000 134512640 135840783 4289552992 4289552344 12105900 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 31227 30474 349 325 0 30163 0 Current children cumulated CPU time (s) 1542 Current children cumulated vsize (KiB) 124908 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24551 /proc/meminfo: memFree=28536660/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=124908 CPUtime=1601.99 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 32609 0 0 0 160185 14 0 0 20 0 1 0 339393781 127905792 30474 33554432000 134512640 135840783 4289552992 4289552228 7737487 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 31227 30474 349 325 0 30163 0 Current children cumulated CPU time (s) 1601.99 Current children cumulated vsize (KiB) 124908 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24551 /proc/meminfo: memFree=28536784/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=124908 CPUtime=1661.98 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 32609 0 0 0 166184 14 0 0 20 0 1 0 339393781 127905792 30474 33554432000 134512640 135840783 4289552992 4289552352 134550907 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 31227 30474 349 325 0 30163 0 Current children cumulated CPU time (s) 1661.98 Current children cumulated vsize (KiB) 124908 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 24589 /proc/meminfo: memFree=28533980/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=124908 CPUtime=1721.97 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 32609 0 0 0 172183 14 0 0 20 0 1 0 339393781 127905792 30474 33554432000 134512640 135840783 4289552992 4289552352 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 31227 30474 349 325 0 30163 0 Current children cumulated CPU time (s) 1721.97 Current children cumulated vsize (KiB) 124908 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24593 /proc/meminfo: memFree=28382968/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=124908 CPUtime=1781.96 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 32609 0 0 0 178182 14 0 0 20 0 1 0 339393781 127905792 30474 33554432000 134512640 135840783 4289552992 4289552352 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 31227 30474 349 325 0 30163 0 Current children cumulated CPU time (s) 1781.96 Current children cumulated vsize (KiB) 124908 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 2.00 2.00 2.00 3/178 24593 /proc/meminfo: memFree=28350200/32873844 swapFree=6872/6872 [pid=24500] ppid=24498 vsize=124940 CPUtime=1800.06 cores=0,2,4,6 /proc/24500/stat : 24500 (bsolo3.0.17) R 24498 24500 23291 0 -1 4202496 32617 0 0 0 179992 14 0 0 20 0 1 0 339393781 127938560 30482 33554432000 134512640 135840783 4289552992 4289552352 134551776 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 /proc/24500/statm: 31235 30482 349 325 0 30171 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 124940 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.41 CPU time (s): 1800.07 CPU user time (s): 1799.93 CPU system time (s): 0.142978 CPU usage (%): 99.9813 Max. virtual memory (cumulated for all children) (KiB): 124940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.93 system time used= 0.142978 maximum resident set size= 121932 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32621 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= 64 involuntary context switches= 2132 runsolver used 3.2715 second user time and 9.28459 second system time The end
Begin job on node106 at 2012-06-03 16:10:53 IDJOB=3738084 IDBENCH=71822 IDSOLVER=2318 FILE ID=node106/3738084-1338732653 RUNJOBID= node106-1338714620-23307 PBS_JOBID= 14636759 Free space on /tmp= 70852 MiB SOLVER NAME= PB07: bsolo 3.0.17 BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-8000opt.opb COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3738084-1338732653/watcher-3738084-1338732653 -o /tmp/evaluation-result-3738084-1338732653/solver-3738084-1338732653 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3738084-1338732653.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 27275f75c57d1f68b1f0c26684ed17bf RANDOM SEED=1811952315 node106.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 : 2667.065 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 : 5334.13 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 : 2667.065 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 : 2667.065 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.91 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 : 2667.065 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.92 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 : 2667.065 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.91 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 : 2667.065 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.91 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 : 2667.065 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 : 2667.065 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: 28648496 kB Buffers: 310736 kB Cached: 2959920 kB SwapCached: 2004 kB Active: 1121712 kB Inactive: 2250440 kB Active(anon): 98984 kB Inactive(anon): 4984 kB Active(file): 1022728 kB Inactive(file): 2245456 kB Unevictable: 6872 kB Mlocked: 6872 kB SwapTotal: 67108856 kB SwapFree: 67100580 kB Dirty: 8620 kB Writeback: 0 kB AnonPages: 106452 kB Mapped: 10576 kB Shmem: 0 kB Slab: 713400 kB SReclaimable: 155156 kB SUnreclaim: 558244 kB KernelStack: 1480 kB PageTables: 3752 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 221764 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 83968 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= 70844 MiB End job on node106 at 2012-06-03 16:40:55