Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | SAT | 26 | 1798.04 | 1798.65 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_5.opb |
MD5SUM | 130be24ef6faf784c5a8bf386cbf11b2 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 22 |
Best CPU time to get the best result obtained on this benchmark | 1800.97 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21 |
Optimality of the best value was proved | NO |
Number of variables | 5499 |
Total number of constraints | 19319 |
Number of constraints which are clauses | 19312 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 613 |
Number of terms in the objective function | 613 |
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 | 613 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 643 |
Number of bits of the biggest sum of numbers | 10 |
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.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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2657295-1276641995.opb 0.00/0.00 c File size is 560274 bytes. 0.09/0.10 c Highest Coefficient sum: 643 0.09/0.10 c Parsing was ok!! 0.09/0.10 c Total parsing time: 0.099 s 0.09/0.10 c Var: 5499 Constr: 19319 19318/1/0 Lit: 49111 Watch. Lit: 39215 0.09/0.10 c Obj. Vars: 613 (11.1475 % of total variables) 0.29/0.34 c Pre-processing Time: 0.338 s 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 0 5488 19296 49070 2 39174 7431 0 0 0.34 0.29/0.34 c Switching off lower bounding mode. 0.29/0.35 o 30 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 24 5488 19321 52456 2 39807 8431 25 67 0.36 0.49/0.54 c 124 5488 19421 64246 3 40007 9275 125 231 0.54 0.49/0.54 o 28 0.49/0.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.56 c 125 5488 19423 64864 3 40596 8431 127 227 0.55 0.49/0.56 o 27 20.48/20.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.48/20.56 c 129 5488 19428 65615 3 41192 8431 132 228 0.56 20.48/20.56 c 232 5488 19531 70938 3 41398 9275 235 370 0.63 20.48/20.56 c 482 5488 19781 93947 4 41898 10203 485 662 0.73 20.48/20.56 c 958 5488 20257 121582 6 42850 11224 961 1049 0.91 20.48/20.56 c 1771 5488 21070 224962 10 44476 12347 1774 1417 1.25 20.48/20.56 c 3092 5488 22391 542980 24 47118 13582 3095 1552 1.99 20.48/20.56 c 5175 5488 24474 687774 28 51284 14941 5178 1526 3.39 20.48/20.56 c 8398 5488 27697 1363825 49 57730 16436 8401 1342 6.25 20.48/20.56 c 13335 5488 32634 3038873 93 67604 18080 13338 1028 12.97 20.48/20.56 c 20842 5488 28337 2209431 77 57842 19889 9041 1016 20.50 20.48/20.56 o 26 1797.99/1798.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.99/1798.61 c 20896 5488 28392 2212936 77 58539 8431 9096 1016 20.56 1797.99/1798.61 c 20996 5488 23613 732315 31 48395 9275 4317 1016 20.66 1797.99/1798.61 c 21246 5488 23863 828803 34 48895 10203 4567 1019 20.83 1797.99/1798.61 c 21721 5488 24338 861681 35 49845 11224 5042 1031 21.06 1797.99/1798.61 c 22535 5488 25152 1041486 41 51473 12347 5856 1034 21.78 1797.99/1798.61 c 23855 5488 26472 1221100 46 54113 13582 7176 1010 23.60 1797.99/1798.61 c 25937 5488 28554 2084654 73 58277 14941 9258 1017 25.50 1797.99/1798.61 c 29160 5488 31777 2754527 86 64723 16436 12481 1012 28.80 1797.99/1798.61 c 34100 5488 27515 1498100 54 56199 18080 8219 1034 32.95 1797.99/1798.61 c 41606 5488 35021 4466027 127 71211 19889 15725 965 43.10 1797.99/1798.61 c 52968 5488 31760 3083847 97 64689 21878 12464 835 63.40 1797.99/1798.61 c 70113 5488 33296 6119174 183 67761 24066 14000 629 111.39 1797.99/1798.61 c 95933 5488 41786 6825309 163 84741 26473 22490 602 159.25 1797.99/1798.61 c 134766 5488 41004 3662268 89 83177 29121 21708 596 225.84 1797.99/1798.61 c 193119 5488 31737 2155654 67 64643 32034 12441 550 351.03 1797.99/1798.61 c 280751 5488 43899 8432040 192 88967 35238 24603 451 621.55 1797.99/1798.61 c 412304 5488 34592 9285677 268 70353 38762 15296 309 1333.07 1797.99/1798.61 c Resources Exceeded 1797.99/1798.61 v x1 x177 x350 x700 x857 -x926 -x953 -x980 -x1007 -x1034 x1061 -x1088 -x10 -x1115 -x13 -x1127 -x16 -x1139 -x19 -x1151 -x22 -x1163 x25 -x1175 -x28 -x1187 -x31 -x1199 -x34 -x1211 -x37 -x1223 -x40 -x1235 -x43 -x1247 -x46 -x1259 -x49 -x1271 -x52 -x1283 -x55 -x1295 -x58 -x1307 -x61 -x1319 -x64 x1331 -x67 -x1343 -x70 -x1355 -x1367 -x1369 -x1374 -x1376 -x1381 -x1383 -x1388 -x1390 -x1395 -x1397 -x1402 -x1404 -x1409 -x1411 -x1416 -x1418 -x1423 -x1425 -x1430 -x1432 -x1437 -x1439 x1444 -x1446 -x1451 -x1453 -x1458 -x1460 -x1465 -x1467 -x1472 -x1474 -x1479 -x1481 -x1486 -x1488 -x1493 -x1495 -x1500 -x1502 -x1507 -x1509 -x1514 -x1516 -x1521 -x1523 -x1528 -x1530 -x1535 -x1537 -x1542 -x1544 -x1549 -x1551 -x1556 -x1558 -x1563 x1565 -x1570 -x1572 -x1577 -x1579 -x1584 -x1586 -x1591 -x1593 -x1598 -x1600 -x1605 -x1607 -x1612 x1639 -x1666 -x1693 -x1720 -x1747 -x1774 -x186 x1801 -x189 -x1813 -x192 -x1825 -x195 -x1837 -x198 -x1849 -x201 -x1861 -x204 -x1873 -x207 -x1885 -x1897 -x212 -x1909 -x215 -x1921 -x1933 -x220 -x1945 x223 -x1957 -x226 -x1969 -x229 -x1981 -x232 -x1993 -x2005 -x237 -x2017 -x240 -x2029 -x243 -x2041 -x2053 -x2055 -x2060 -x2062 -x2067 -x2069 -x2074 -x2076 -x2081 -x2083 -x2088 -x2090 -x2095 -x2097 -x2102 -x2104 -x2109 -x2111 -x2116 -x2118 -x2123 -x2125 -x2130 -x2132 -x2137 -x2139 -x2144 -x2146 -x2151 -x2153 -x2158 -x2160 -x2165 -x2167 -x2172 -x2174 -x2179 -x2181 -x2186 -x2188 -x2193 -x2195 -x2200 -x2202 -x2207 -x2209 -x2214 -x2216 -x2221 -x2223 -x2228 -x2230 -x2235 -x2237 -x2242 -x2244 -x2249 -x2251 -x2256 -x2258 -x2263 -x2265 -x2270 -x2272 x2277 -x2279 -x2284 -x2286 -x2291 -x2293 -x2298 x2356 -x2414 -x2472 -x2530 -x2588 -x2646 -x2704 -x2762 -x362 -x2789 -x365 -x2816 -x368 -x2843 -x2870 -x373 -x2897 -x2924 -x378 -x2951 -x2978 -x3005 x3032 -x387 -x3059 -x390 -x3086 -x3113 -x395 -x3140 -x3167 -x400 -x3194 -x3221 -x3248 -x3275 -x409 -x3302 -x412 -x3329 -x3356 -x3383 -x419 -x3410 -x422 -x3437 -x3464 x427 -x3491 -x3518 -x3520 -x3532 -x3534 -x3546 -x3548 -x3560 -x3572 -x3574 -x3586 -x3588 -x3600 -x3602 -x3614 -x3616 -x3628 -x3630 -x3642 -x3644 -x3656 -x3658 -x3670 -x3672 -x3684 -x3686 -x3698 -x3700 -x3712 -x3714 -x3726 -x3728 -x3740 -x3742 -x3754 -x3756 -x3768 -x3770 -x3782 -x3784 -x3796 -x3798 -x3810 -x3812 -x3824 -x3826 -x3838 -x3840 -x3852 -x3854 -x3866 -x3868 -x3880 -x3882 -x3894 -x3896 -x3908 -x3910 -x3922 -x3924 -x3936 x3938 -x3950 -x3952 -x3964 -x3966 -x3978 -x3980 -x3992 -x3994 -x4006 -x4008 -x4020 -x4022 -x4034 -x4046 -x4048 -x4060 -x4062 -x4074 -x4076 -x4088 -x4090 -x4102 -x4104 -x4116 -x4118 -x4130 -x4132 x4144 -x4146 -x4158 -x4160 -x4172 -x4174 -x4186 -x4188 -x4200 -x4202 -x4214 -x4216 -x4228 -x4230 -x4242 -x4244 -x4256 -x4258 -x4270 -x4272 -x4284 -x4286 -x4298 -x4303 -x4308 -x4313 -x4318 -x4323 -x4328 -x4333 -x4338 -x4343 -x4348 -x4353 -x4358 -x4363 -x4368 -x4373 -x4378 -x4383 -x4388 -x4393 -x4398 -x4403 -x4408 -x4413 -x4418 -x4423 -x4428 -x4433 -x4438 -x4443 -x4448 -x4453 -x4458 -x4463 -x4468 -x4473 -x4478 -x4483 -x4488 -x4493 -x4498 -x4503 -x4508 -x4513 -x4518 -x4523 -x4528 -x4533 x4538 -x4543 -x4548 -x4553 -x4558 -x4563 -x4568 -x4573 -x4578 -x4583 -x4588 -x4593 -x4598 -x4603 -x4608 -x4613 -x4618 -x4623 -x4628 -x4633 -x4638 -x4643 -x4648 -x4675 -x4702 x4729 -x4756 -x4783 -x4810 -x709 -x4837 -x4849 -x714 x4861 -x4873 -x719 -x4885 -x722 -x4897 -x4909 -x4921 -x4933 -x4945 -x4957 -x735 -x4969 -x4981 -x4993 -x5005 -x744 -x5017 -x747 -x5029 -x5041 -x5053 -x754 -x5065 -x5077 -x5089 -x5091 -x5096 -x5098 -x5103 -x5105 -x5110 -x5112 -x5117 -x5119 -x5124 -x5126 -x5131 -x5133 -x5138 -x5140 -x5145 -x5147 -x5152 -x5154 -x5156 -x5161 x5163 -x5168 -x5170 -x5175 -x5177 -x5182 -x5184 -x5189 -x5191 -x5196 -x5198 -x5203 -x5208 -x5213 -x5215 -x5220 -x5222 -x5227 -x5229 -x5234 -x5239 -x5241 -x5246 -x5251 -x5253 -x5258 -x5260 -x5265 -x5267 -x5272 -x5274 -x5279 -x5281 -x5286 -x5291 -x5293 -x5298 -x5300 -x5305 -x5307 -x5312 -x5314 x5319 -x5331 -x5343 -x5355 -x5367 -x5379 x5391 -x5396 -x5401 -x5406 -x5411 -x875 -x5416 -x5421 -x880 -x5426 -x5431 -x885 -x5436 -x888 -x5441 -x891 -x5446 -x5451 -x5456 -x5461 -x5466 -x5468 x5470 -x5472 -x5474 -x5476 -x5478 -x5480 -x5482 -x5484 -x5486 -x5488 -x5490 -x5492 -x5494 -x5496 -x5498 -x9 -x11 -x12 -x14 -x15 -x17 -x18 -x20 -x21 -x23 -x24 -x26 -x27 -x29 -x30 -x32 -x33 -x35 -x36 -x38 -x39 -x41 -x42 -x44 -x45 -x47 -x48 -x50 -x51 -x53 -x54 -x56 -x57 -x59 -x60 -x62 -x63 x65 -x66 -x68 -x69 -x71 -x73 -x72 -x74 -x76 -x75 -x77 -x79 -x78 -x80 -x82 -x81 -x83 -x85 -x84 -x86 -x88 -x87 -x89 -x91 -x90 -x92 -x94 -x93 -x95 -x97 -x96 -x98 -x100 -x99 -x101 -x103 -x102 -x104 x106 -x105 -x107 -x109 -x108 -x110 -x112 -x111 -x113 -x115 -x114 -x116 -x118 -x117 -x119 -x121 -x120 -x122 -x124 -x123 -x125 -x127 -x126 -x128 -x130 -x129 -x131 -x133 -x132 -x134 -x136 -x135 -x137 -x139 -x138 -x140 -x142 -x141 -x143 -x145 -x144 -x146 -x148 -x147 -x149 -x151 -x150 -x152 -x154 -x153 -x155 -x157 -x156 x158 -x160 -x159 -x161 -x163 -x162 -x164 -x166 -x165 -x167 -x169 -x168 -x170 -x172 -x171 -x173 -x175 -x174 -x176 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x185 x187 -x188 -x190 -x191 -x193 -x194 -x196 -x197 -x199 -x200 -x202 -x203 -x205 -x206 -x208 -x209 -x210 -x211 -x213 -x214 -x216 -x217 -x218 -x219 -x221 -x222 -x224 -x225 -x227 -x228 -x230 -x231 -x233 -x234 -x235 -x236 -x238 -x239 -x241 -x242 -x244 -x246 -x245 -x247 -x249 -x248 -x250 -x252 -x251 -x253 -x255 -x254 -x256 -x258 -x257 -x259 -x261 -x260 -x262 -x264 -x263 -x265 -x267 -x266 -x268 -x270 -x269 -x271 -x273 -x272 -x274 -x276 -x275 -x277 -x279 -x278 -x280 -x282 -x281 -x283 -x285 -x284 -x286 -x288 -x287 -x289 -x291 -x290 -x292 -x294 -x293 -x295 -x297 -x296 -x298 -x300 -x299 -x301 -x303 -x302 -x304 -x306 -x305 -x307 -x309 -x308 -x310 -x312 -x311 -x313 -x315 -x314 -x316 -x318 -x317 -x319 -x321 -x320 -x322 -x324 -x323 -x325 -x327 -x326 -x328 -x330 -x329 -x331 -x333 -x332 -x334 -x336 -x335 -x337 -x339 -x338 -x340 x342 -x341 -x343 -x345 -x344 -x346 -x348 -x347 -x349 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x359 -x360 -x361 -x363 -x364 -x366 -x367 -x369 -x370 -x371 -x372 -x374 -x375 -x376 -x377 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x388 -x389 -x391 -x392 -x393 -x394 -x396 -x397 -x398 -x399 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x410 -x411 -x413 -x414 -x415 -x416 -x417 -x418 -x420 -x421 -x423 -x424 -x425 -x426 -x428 -x430 -x429 -x431 -x433 -x432 -x434 -x436 -x435 -x437 -x438 -x439 -x441 -x440 -x442 -x444 -x443 -x445 -x447 -x446 -x448 -x450 -x449 -x451 -x453 -x452 -x454 -x456 -x455 -x457 -x459 -x458 -x460 -x462 -x461 -x463 -x465 -x464 -x466 -x468 -x467 -x469 -x471 -x470 -x472 -x474 -x473 -x475 -x477 -x476 -x478 -x480 -x479 -x481 -x483 -x482 -x484 -x486 -x485 -x487 -x489 -x488 -x490 -x492 -x491 -x493 -x495 -x494 -x496 -x498 -x497 -x499 -x501 -x500 -x502 -x504 -x503 -x505 -x507 -x506 -x508 -x510 -x509 -x511 -x513 -x512 -x514 -x516 -x515 -x517 -x519 -x518 x520 -x522 -x521 -x523 -x525 -x524 -x526 -x528 -x527 -x529 -x531 -x530 -x532 -x534 -x533 -x535 -x537 -x536 -x538 -x539 -x540 -x542 -x541 -x543 -x545 -x544 -x546 -x548 -x547 -x549 -x551 -x550 -x552 -x554 -x553 -x555 -x557 -x556 -x558 -x560 -x559 -x561 x563 -x562 -x564 -x566 -x565 -x567 -x569 -x568 -x570 -x572 -x571 -x573 -x575 -x574 -x576 -x578 -x577 -x579 -x581 -x580 -x582 -x584 -x583 -x585 -x587 -x586 -x588 -x590 -x589 -x591 -x593 -x592 -x594 -x596 -x595 -x597 -x599 -x598 -x600 -x602 -x601 -x603 -x605 -x604 -x606 -x608 -x607 -x609 -x611 -x610 -x612 -x614 -x613 -x615 -x617 -x616 -x618 -x620 -x619 -x621 -x623 -x622 -x624 -x626 -x625 -x627 -x629 -x628 -x630 -x632 -x631 -x633 -x635 -x634 -x636 -x638 -x637 -x639 -x641 -x640 -x642 -x644 -x643 -x645 -x647 -x646 -x648 -x650 -x649 -x651 -x653 -x652 -x654 -x656 -x655 -x657 -x659 -x658 -x660 -x662 -x661 -x663 -x665 -x664 -x666 x668 -x667 -x669 -x671 -x670 -x672 -x674 -x673 -x675 -x677 -x676 -x678 -x680 -x679 -x681 -x683 -x682 -x684 -x686 -x685 -x687 -x689 -x688 -x690 -x692 -x691 -x693 -x695 -x694 -x696 -x698 -x697 -x699 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x708 -x710 -x711 -x712 -x713 x715 -x716 -x717 -x718 -x720 -x721 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x745 -x746 -x748 -x749 -x750 -x751 -x752 -x753 -x755 -x756 -x757 -x759 -x758 -x760 -x762 -x761 -x763 -x765 -x764 -x766 -x768 -x767 -x769 -x771 -x770 -x772 -x774 -x773 -x775 -x777 -x776 -x778 -x780 -x779 -x781 -x783 -x782 -x784 -x786 -x785 -x788 -x787 -x789 -x791 -x790 x792 -x794 -x793 -x795 -x797 -x796 -x798 -x800 -x799 -x801 -x803 -x802 -x804 -x806 -x805 -x807 -x808 -x809 -x810 -x811 -x813 -x812 -x814 -x816 -x815 -x817 -x819 -x818 -x820 -x821 -x822 -x824 -x823 -x825 -x826 -x827 -x829 -x828 -x830 -x832 -x831 -x833 -x835 -x834 -x836 -x838 -x837 -x839 -x841 -x840 -x842 -x843 -x844 -x846 -x845 -x847 -x849 -x848 -x850 -x852 -x851 -x853 -x855 -x854 -x856 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x864 x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x876 -x877 -x878 -x879 -x881 -x882 -x883 -x884 -x886 -x887 -x889 -x890 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x900 -x899 -x902 -x901 x903 -x905 -x904 -x906 -x908 -x907 -x909 -x911 -x910 -x912 -x914 -x913 -x916 -x915 -x917 -x919 -x918 -x920 -x921 -x922 -x924 -x923 -x925 x858 -x859 -x860 -x861 -x862 -x863 -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 -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 -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 -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 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 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 -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 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1368 -x1370 -x1371 -x1372 -x1373 -x1375 -x1377 -x1378 -x1379 -x1380 -x1382 -x1384 -x1385 -x1386 -x1387 -x1389 -x1391 -x1392 -x1393 -x1394 x1396 -x1398 -x1399 -x1400 -x1401 -x1403 -x1405 -x1406 -x1407 -x1408 -x1410 -x1412 -x1413 -x1414 -x1415 -x1417 -x1419 -x1420 -x1421 -x1422 x1424 -x1426 -x1427 -x1428 -x1429 -x1431 -x1433 -x1434 -x1435 -x1436 -x1438 -x1440 -x1441 -x1442 -x1443 x1445 -x1447 -x1448 -x1449 -x1450 -x1452 -x1454 -x1455 -x1456 -x1457 x1459 -x1461 -x1462 -x1463 -x1464 x1466 -x1468 -x1469 -x1470 -x1471 -x1473 -x1475 -x1476 -x1477 -x1478 -x1480 x1482 -x1483 -x1484 -x1485 -x1487 x1489 -x1490 -x1491 -x1492 -x1494 -x1496 -x1497 -x1498 -x1499 -x1501 -x1503 -x1504 -x1505 -x1506 -x1508 -x1510 -x1511 -x1512 -x1513 -x1515 -x1517 -x1518 -x1519 -x1520 -x1522 x1524 -x1525 -x1526 -x1527 -x1529 -x1531 -x1532 -x1533 -x1534 -x1536 -x1538 -x1539 -x1540 -x1541 -x1543 -x1545 -x1546 -x1547 -x1548 -x1550 -x1552 -x1553 -x1554 -x1555 -x1557 -x1559 -x1560 -x1561 -x1562 -x1564 x1566 -x1567 -x1568 -x1569 -x1571 -x1573 -x1574 -x1575 -x1576 -x1578 -x1580 -x1581 -x1582 -x1583 -x1585 -x1587 -x1588 -x1589 -x1590 -x1592 -x1594 -x1595 -x1596 -x1597 -x1599 -x1601 -x1602 -x1603 -x1604 -x1606 -x1608 -x1609 -x1610 -x1611 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 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 -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 -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 -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 -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 -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 x1802 -x1803 -x1804 x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2054 x2056 -x2057 -x2058 -x2059 -x2061 -x2063 -x2064 -x2065 -x2066 -x2068 x2070 -x2071 x2072 -x2073 -x2075 x2077 -x2078 -x2079 -x2080 -x2082 -x2084 -x2085 -x2086 -x2087 -x2089 -x2091 -x2092 -x2093 -x2094 -x2096 -x2098 -x2099 -x2100 -x2101 x2103 x2105 -x2106 -x2107 -x2108 -x2110 -x2112 -x2113 -x2114 -x2115 -x2117 -x2119 -x2120 -x2121 -x2122 -x2124 -x2126 -x2127 -x2128 -x2129 x2131 -x2133 -x2134 -x2135 -x2136 -x2138 -x2140 -x2141 -x2142 -x2143 -x2145 -x2147 -x2148 -x2149 -x2150 -x2152 -x2154 -x2155 -x2156 -x2157 -x2159 -x2161 -x2162 -x2163 -x2164 -x2166 -x2168 -x2169 -x2170 -x2171 x2173 x2175 -x2176 -x2177 -x2178 -x2180 -x2182 -x2183 -x2184 -x2185 -x2187 -x2189 -x2190 -x2191 -x2192 -x2194 -x2196 -x2197 -x2198 -x2199 x2201 -x2203 -x2204 -x2205 -x2206 -x2208 -x2210 -x2211 -x2212 -x2213 -x2215 -x2217 -x2218 -x2219 -x2220 -x2222 -x2224 -x2225 -x2226 -x2227 -x2229 -x2231 -x2232 -x2233 -x2234 x2236 -x2238 -x2239 -x2240 -x2241 x2243 -x2245 -x2246 -x2247 -x2248 x2250 -x2252 -x2253 -x2254 -x2255 -x2257 -x2259 -x2260 -x2261 -x2262 x2264 -x2266 -x2267 -x2268 -x2269 -x2271 -x2273 -x2274 -x2275 -x2276 x2278 -x2280 -x2281 -x2282 -x2283 x2285 -x2287 -x2288 -x2289 -x2290 -x2292 -x2294 -x2295 -x2296 -x2297 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3519 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3533 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3547 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3573 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3587 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3601 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3615 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3629 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3643 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3657 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3671 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3685 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3699 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3713 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3727 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3741 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3755 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3769 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3783 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 x3797 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3811 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3825 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3839 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3853 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3867 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3881 x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3895 x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3909 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3923 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3937 x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3951 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3965 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3979 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3993 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 x4007 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4021 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4047 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4061 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4075 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4089 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4103 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4117 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4131 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 x4145 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4159 x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4173 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4187 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4201 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4215 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 x4229 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4243 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4257 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 x4271 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 x4285 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4299 -x4300 -x4301 -x4302 -x4304 -x4305 -x4306 -x4307 -x4309 -x4310 -x4311 -x4312 -x4314 -x4315 -x4316 -x4317 -x4319 -x4320 -x4321 -x4322 -x4324 -x4325 -x4326 -x4327 -x4329 -x4330 -x4331 -x4332 -x4334 -x4335 -x4336 -x4337 -x4339 -x4340 -x4341 -x4342 -x4344 -x4345 -x4346 -x4347 -x4349 -x4350 -x4351 -x4352 x4354 -x4355 -x4356 -x4357 -x4359 -x4360 -x4361 -x4362 x4364 -x4365 -x4366 -x4367 -x4369 -x4370 -x4371 -x4372 -x4374 -x4375 -x4376 -x4377 -x4379 -x4380 -x4381 -x4382 -x4384 -x4385 -x4386 -x4387 -x4389 -x4390 -x4391 -x4392 x4394 -x4395 -x4396 -x4397 -x4399 -x4400 -x4401 -x4402 -x4404 -x4405 -x4406 -x4407 -x4409 -x4410 -x4411 -x4412 -x4414 -x4415 -x4416 -x4417 -x4419 -x4420 -x4421 -x4422 -x4424 -x4425 -x4426 -x4427 -x4429 -x4430 -x4431 -x4432 -x4434 -x4435 -x4436 -x4437 -x4439 -x4440 -x4441 -x4442 -x4444 -x4445 -x4446 -x4447 -x4449 -x4450 -x4451 -x4452 -x4454 -x4455 -x4456 -x4457 -x4459 -x4460 -x4461 -x4462 -x4464 -x4465 -x4466 -x4467 -x4469 -x4470 -x4471 -x4472 -x4474 -x4475 -x4476 -x4477 -x4479 -x4480 -x4481 -x4482 -x4484 -x4485 -x4486 -x4487 -x4489 -x4490 -x4491 -x4492 -x4494 -x4495 -x4496 -x4497 -x4499 -x4500 -x4501 -x4502 -x4504 -x4505 -x4506 -x4507 -x4509 -x4510 -x4511 -x4512 -x4514 -x4515 -x4516 -x4517 -x4519 -x4520 -x4521 -x4522 -x4524 -x4525 -x4526 -x4527 -x4529 -x4530 -x4531 -x4532 -x4534 -x4535 -x4536 -x4537 x4539 -x4540 -x4541 -x4542 -x4544 -x4545 -x4546 -x4547 -x4549 -x4550 -x4551 -x4552 x4554 -x4555 -x4556 -x4557 -x4559 -x4560 -x4561 -x4562 -x4564 -x4565 -x4566 -x4567 -x4569 -x4570 -x4571 -x4572 -x4574 -x4575 -x4576 -x4577 -x4579 -x4580 -x4581 -x4582 -x4584 -x4585 -x4586 -x4587 -x4589 -x4590 -x4591 -x4592 -x4594 -x4595 -x4596 -x4597 -x4599 -x4600 -x4601 -x4602 -x4604 -x4605 -x4606 -x4607 -x4609 -x4610 -x4611 -x4612 -x4614 -x4615 -x4616 -x4617 -x4619 -x4620 -x4621 -x4622 -x4624 -x4625 -x4626 -x4627 -x4629 -x4630 -x4631 -x4632 -x4634 -x4635 -x4636 -x4637 -x4639 -x4640 -x4641 -x4642 -x4644 -x4645 -x4646 -x4647 x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5090 -x5092 -x5093 -x5094 -x5095 -x5097 -x5099 -x5100 -x5101 -x5102 -x5104 -x5106 -x5107 -x5108 -x5109 -x5111 -x5113 -x5114 -x5115 -x5116 -x5118 -x5120 -x5121 -x5122 -x5123 -x5125 x5127 -x5128 -x5129 -x5130 -x5132 -x5134 -x5135 -x5136 -x5137 -x5139 -x5141 -x5142 -x5143 -x5144 -x5146 x5148 -x5149 -x5150 -x5151 -x5153 -x5155 -x5157 -x5158 -x5159 -x5160 -x5162 x5164 -x5165 -x5166 -x5167 x5169 -x5171 -x5172 -x5173 -x5174 -x5176 -x5178 -x5179 -x5180 -x5181 -x5183 -x5185 -x5186 -x5187 -x5188 -x5190 -x5192 -x5193 -x5194 -x5195 -x5197 -x5199 -x5200 -x5201 -x5202 -x5204 -x5205 -x5206 -x5207 -x5209 -x5210 -x5211 -x5212 -x5214 -x5216 -x5217 -x5218 -x5219 -x5221 -x5223 -x5224 -x5225 -x5226 -x5228 -x5230 -x5231 -x5232 -x5233 -x5235 -x5236 -x5237 -x5238 -x5240 -x5242 -x5243 -x5244 -x5245 -x5247 -x5248 -x5249 -x5250 -x5252 -x5254 -x5255 -x5256 -x5257 -x5259 -x5261 -x5262 -x5263 -x5264 -x5266 x5268 -x5269 -x5270 -x5271 x5273 -x5275 -x5276 -x5277 -x5278 -x5280 -x5282 -x5283 -x5284 -x5285 -x5287 -x5288 -x5289 -x5290 x5292 -x5294 -x5295 -x5296 -x5297 -x5299 -x5301 -x5302 -x5303 -x5304 -x5306 -x5308 -x5309 -x5310 -x5311 x5313 -x5315 -x5316 -x5317 -x5318 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 x5392 -x5393 -x5394 -x5395 -x5397 -x5398 -x5399 -x5400 x5402 -x5403 -x5404 -x5405 -x5407 -x5408 -x5409 -x5410 -x5412 -x5413 -x5414 -x5415 -x5417 -x5418 -x5419 -x5420 x5422 -x5423 -x5424 -x5425 -x5427 -x5428 -x5429 -x5430 -x5432 -x5433 -x5434 -x5435 x5437 -x5438 x5439 -x5440 -x5442 -x5443 -x5444 -x5445 -x5447 -x5448 -x5449 -x5450 -x5452 -x5453 -x5454 -x5455 -x5457 -x5458 -x5459 -x5460 -x5462 -x5463 -x5464 -x5465 -x5467 -x5469 x5471 x5473 -x5475 x5477 -x5479 -x5481 x5483 x5485 -x5487 -x5489 x5491 x5493 -x5495 x5497 -x5499 1797.99/1798.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.61 c 30 544188 243232 1464385 40517 6339517 21221 302 1798.01 1797.99/1798.61 c Objective: 26 1797.99/1798.61 s SATISFIABLE 1797.99/1798.61 c Total time: 1798.01 s
OK 26
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657295-1276641995/watcher-2657295-1276641995 -o /tmp/evaluation-result-2657295-1276641995/solver-2657295-1276641995 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657295-1276641995.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 4444 /proc/meminfo: memFree=1857960/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=11480 CPUtime=0 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 39800978 11755520 275 1992294400 134512640 137138936 4292511984 18446744073709551615 134523143 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 2870 275 177 642 0 2089 0 [startup+0.0998419 s] /proc/loadavg: 0.92 0.98 0.99 3/106 4444 /proc/meminfo: memFree=1857960/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=13536 CPUtime=0.09 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 1001 0 0 0 9 0 0 0 20 0 1 0 39800978 13860864 919 1992294400 134512640 137138936 4292511984 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 3384 919 301 642 0 2603 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13536 [startup+0.101842 s] /proc/loadavg: 0.92 0.98 0.99 3/106 4444 /proc/meminfo: memFree=1857960/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=13160 CPUtime=0.09 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 1055 0 0 0 9 0 0 0 20 0 1 0 39800978 13475840 836 1992294400 134512640 137138936 4292511984 18446744073709551615 134549109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 3327 846 180 642 0 2683 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13160 [startup+0.301867 s] /proc/loadavg: 0.92 0.98 0.99 3/106 4444 /proc/meminfo: memFree=1857960/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=15332 CPUtime=0.29 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 1591 0 0 0 28 1 0 0 20 0 1 0 39800978 15699968 1372 1992294400 134512640 137138936 4292511984 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 3833 1372 186 642 0 3189 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15332 [startup+0.70192 s] /proc/loadavg: 0.92 0.98 0.99 3/106 4444 /proc/meminfo: memFree=1857960/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=15148 CPUtime=0.69 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 1757 0 0 0 66 3 0 0 21 0 1 0 39800978 15511552 1356 1992294400 134512640 137138936 4292511984 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 3787 1356 192 642 0 3143 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15148 [startup+1.50102 s] /proc/loadavg: 0.93 0.98 0.99 2/107 4445 /proc/meminfo: memFree=1852496/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=18760 CPUtime=1.49 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 2662 0 0 0 145 4 0 0 23 0 1 0 39800978 19210240 2261 1992294400 134512640 137138936 4292511984 18446744073709551615 134544752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 4690 2261 192 642 0 4046 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18760 [startup+3.10023 s] /proc/loadavg: 0.93 0.98 0.99 2/107 4445 /proc/meminfo: memFree=1846792/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=22784 CPUtime=3.09 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 3670 0 0 0 303 6 0 0 25 0 1 0 39800978 23330816 3269 1992294400 134512640 137138936 4292511984 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 5696 3269 192 642 0 5052 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22784 [startup+6.30065 s] /proc/loadavg: 0.93 0.98 0.99 2/107 4445 /proc/meminfo: memFree=1837616/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=32344 CPUtime=6.28 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 6049 0 0 0 620 8 0 0 25 0 1 0 39800978 33120256 5648 1992294400 134512640 137138936 4292511984 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 8086 5648 192 642 0 7442 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 32344 [startup+12.7005 s] /proc/loadavg: 0.94 0.98 0.99 2/107 4445 /proc/meminfo: memFree=1816792/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=53380 CPUtime=12.68 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 11317 0 0 0 1253 15 0 0 25 0 1 0 39800978 54661120 10916 1992294400 134512640 137138936 4292511984 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 13345 10916 192 642 0 12701 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 53380 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/107 4447 /proc/meminfo: memFree=1794224/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=73836 CPUtime=25.49 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 16433 0 0 0 2525 24 0 0 25 0 1 0 39800978 75608064 16032 1992294400 134512640 137138936 4292511984 18446744073709551615 136500302 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 18459 16032 192 642 0 17815 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 73836 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/107 4447 /proc/meminfo: memFree=1778600/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=90092 CPUtime=51.07 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 20488 0 0 0 5071 36 0 0 25 0 1 0 39800978 92254208 20087 1992294400 134512640 137138936 4292511984 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 22523 20087 192 642 0 21879 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 90092 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 4449 /proc/meminfo: memFree=1742020/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=125788 CPUtime=102.26 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 29423 0 0 0 10176 50 0 0 25 0 1 0 39800978 128806912 29022 1992294400 134512640 137138936 4292511984 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 31447 29022 192 642 0 30803 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 125788 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 4449 /proc/meminfo: memFree=1718832/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=148776 CPUtime=162.24 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 35173 0 0 0 16153 71 0 0 25 0 1 0 39800978 152346624 34772 1992294400 134512640 137138936 4292511984 18446744073709551615 134618004 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 37194 34772 192 642 0 36550 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 148776 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 4451 /proc/meminfo: memFree=1718832/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=148660 CPUtime=222.21 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 35176 0 0 0 22135 86 0 0 25 0 1 0 39800978 152227840 34746 1992294400 134512640 137138936 4292511984 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 37165 34746 192 642 0 36521 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 148660 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 4453 /proc/meminfo: memFree=1718708/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=148672 CPUtime=282.2 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 35179 0 0 0 28118 102 0 0 25 0 1 0 39800978 152240128 34749 1992294400 134512640 137138936 4292511984 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 37168 34749 192 642 0 36524 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 148672 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 4455 /proc/meminfo: memFree=1718708/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=148672 CPUtime=342.18 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 35179 0 0 0 34102 116 0 0 25 0 1 0 39800978 152240128 34749 1992294400 134512640 137138936 4292511984 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 37168 34749 192 642 0 36524 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 148672 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 4457 /proc/meminfo: memFree=1718584/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=148668 CPUtime=402.16 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 35181 0 0 0 40087 129 0 0 25 0 1 0 39800978 152236032 34748 1992294400 134512640 137138936 4292511984 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 37167 34748 192 642 0 36523 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 148668 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 4457 /proc/meminfo: memFree=1716476/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=151180 CPUtime=462.14 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 35809 0 0 0 46075 139 0 0 25 0 1 0 39800978 154808320 35376 1992294400 134512640 137138936 4292511984 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 37795 35376 192 642 0 37151 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 151180 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 4459 /proc/meminfo: memFree=1706556/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=160644 CPUtime=522.12 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 38201 0 0 0 52066 146 0 0 25 0 1 0 39800978 164499456 37732 1992294400 134512640 137138936 4292511984 18446744073709551615 136504091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 40161 37732 192 642 0 39517 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 160644 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 4461 /proc/meminfo: memFree=1693536/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=173716 CPUtime=582.11 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 41497 0 0 0 58053 158 0 0 25 0 1 0 39800978 177885184 40991 1992294400 134512640 137138936 4292511984 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 43429 40991 192 642 0 42785 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 173716 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 4463 /proc/meminfo: memFree=1691056/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=176272 CPUtime=642.09 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 42138 0 0 0 64038 171 0 0 25 0 1 0 39800978 180502528 41632 1992294400 134512640 137138936 4292511984 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 44068 41632 192 642 0 43424 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 176272 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1575240/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=290712 CPUtime=1121.92 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 70829 0 0 0 111956 236 0 0 25 0 1 0 39800978 297689088 70259 1992294400 134512640 137138936 4292511984 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 72678 70259 192 642 0 72034 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 290712 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 4486 /proc/meminfo: memFree=1575240/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=290712 CPUtime=1181.9 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 70829 0 0 0 117950 240 0 0 25 0 1 0 39800978 297689088 70259 1992294400 134512640 137138936 4292511984 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 72678 70259 192 642 0 72034 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 290712 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 4488 /proc/meminfo: memFree=1575240/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=290712 CPUtime=1241.88 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 70829 0 0 0 123942 246 0 0 25 0 1 0 39800978 297689088 70259 1992294400 134512640 137138936 4292511984 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 72678 70259 192 642 0 72034 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 290712 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 4490 /proc/meminfo: memFree=1562716/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=303804 CPUtime=1301.87 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 74088 0 0 0 129934 253 0 0 25 0 1 0 39800978 311095296 73518 1992294400 134512640 137138936 4292511984 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 75951 73518 192 642 0 75307 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 303804 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 4490 /proc/meminfo: memFree=1554532/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=311904 CPUtime=1361.83 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 76127 0 0 0 135918 265 0 0 25 0 1 0 39800978 319389696 75557 1992294400 134512640 137138936 4292511984 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 77976 75557 192 642 0 77332 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 311904 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 4492 /proc/meminfo: memFree=1554532/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=311916 CPUtime=1421.82 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 76130 0 0 0 141907 275 0 0 25 0 1 0 39800978 319401984 75560 1992294400 134512640 137138936 4292511984 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 77979 75560 192 642 0 77335 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 311916 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 4494 /proc/meminfo: memFree=1554408/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=311916 CPUtime=1481.79 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 76130 0 0 0 147896 283 0 0 25 0 1 0 39800978 319401984 75560 1992294400 134512640 137138936 4292511984 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 77979 75560 192 642 0 77335 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 311916 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 4496 /proc/meminfo: memFree=1554408/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=311916 CPUtime=1541.77 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 76130 0 0 0 153888 289 0 0 25 0 1 0 39800978 319401984 75560 1992294400 134512640 137138936 4292511984 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 77979 75560 192 642 0 77335 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 311916 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 4498 /proc/meminfo: memFree=1554408/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=311916 CPUtime=1601.75 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 76130 0 0 0 159876 299 0 0 25 0 1 0 39800978 319401984 75560 1992294400 134512640 137138936 4292511984 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 77979 75560 192 642 0 77335 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 311916 [startup+1662.3 s] /proc/loadavg: 1.06 1.00 1.00 2/107 4501 /proc/meminfo: memFree=1553912/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=311916 CPUtime=1661.73 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 76130 0 0 0 165867 306 0 0 25 0 1 0 39800978 319401984 75560 1992294400 134512640 137138936 4292511984 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 77979 75560 192 642 0 77335 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 311916 [startup+1722.3 s] /proc/loadavg: 1.02 1.00 1.00 2/107 4503 /proc/meminfo: memFree=1553912/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=311916 CPUtime=1721.71 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 76130 0 0 0 171855 316 0 0 25 0 1 0 39800978 319401984 75560 1992294400 134512640 137138936 4292511984 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 77979 75560 192 642 0 77335 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 311916 [startup+1782.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 4505 /proc/meminfo: memFree=1553912/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=311916 CPUtime=1781.69 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 76130 0 0 0 177847 322 0 0 25 0 1 0 39800978 319401984 75560 1992294400 134512640 137138936 4292511984 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 77979 75560 192 642 0 77335 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 311916 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4505 /proc/meminfo: memFree=1553912/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=311916 CPUtime=1791.3 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 76130 0 0 0 178807 323 0 0 25 0 1 0 39800978 319401984 75560 1992294400 134512640 137138936 4292511984 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 77979 75560 192 642 0 77335 0 Current children cumulated CPU time (s) 1791.3 Current children cumulated vsize (KiB) 311916 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4505 /proc/meminfo: memFree=1553912/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=311916 CPUtime=1794.49 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 76130 0 0 0 179126 323 0 0 25 0 1 0 39800978 319401984 75560 1992294400 134512640 137138936 4292511984 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 77979 75560 192 642 0 77335 0 Current children cumulated CPU time (s) 1794.49 Current children cumulated vsize (KiB) 311916 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4505 /proc/meminfo: memFree=1553912/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=311916 CPUtime=1796.08 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 76130 0 0 0 179285 323 0 0 25 0 1 0 39800978 319401984 75560 1992294400 134512640 137138936 4292511984 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 77979 75560 192 642 0 77335 0 Current children cumulated CPU time (s) 1796.08 Current children cumulated vsize (KiB) 311916 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4505 /proc/meminfo: memFree=1553912/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=311916 CPUtime=1796.89 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 76130 0 0 0 179365 324 0 0 25 0 1 0 39800978 319401984 75560 1992294400 134512640 137138936 4292511984 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 77979 75560 192 642 0 77335 0 Current children cumulated CPU time (s) 1796.89 Current children cumulated vsize (KiB) 311916 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4505 /proc/meminfo: memFree=1553912/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=311916 CPUtime=1797.69 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 76130 0 0 0 179445 324 0 0 25 0 1 0 39800978 319401984 75560 1992294400 134512640 137138936 4292511984 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 77979 75560 192 642 0 77335 0 Current children cumulated CPU time (s) 1797.69 Current children cumulated vsize (KiB) 311916 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4505 /proc/meminfo: memFree=1553912/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=311916 CPUtime=1797.9 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 76130 0 0 0 179466 324 0 0 25 0 1 0 39800978 319401984 75560 1992294400 134512640 137138936 4292511984 18446744073709551615 134542369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 77979 75560 192 642 0 77335 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 311916 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4505 /proc/meminfo: memFree=1553912/2059040 swapFree=4139776/4192956 [pid=4444] ppid=4442 vsize=311916 CPUtime=1797.99 /proc/4444/stat : 4444 (bsolo_pb10) R 4442 4444 4419 0 -1 4202496 76130 0 0 0 179475 324 0 0 25 0 1 0 39800978 319401984 75560 1992294400 134512640 137138936 4292511984 18446744073709551615 136504617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/4444/statm: 77979 75560 192 642 0 77335 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 311916 Child status: 0 Real time (s): 1798.65 CPU time (s): 1798.04 CPU user time (s): 1794.77 CPU system time (s): 3.2755 CPU usage (%): 99.9663 Max. virtual memory (cumulated for all children) (KiB): 311916 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.77 system time used= 3.2755 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 76131 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= 1 involuntary context switches= 6977 runsolver used 3.11453 second user time and 8.34473 second system time The end
Begin job on node013 at 2010-06-16 00:46:35 IDJOB=2657295 IDBENCH=25021 IDSOLVER=1163 FILE ID=node013/2657295-1276641995 PBS_JOBID= 11172410 Free space on /tmp= 62548 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657295-1276641995/watcher-2657295-1276641995 -o /tmp/evaluation-result-2657295-1276641995/solver-2657295-1276641995 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657295-1276641995.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2 RANDOM SEED=121566125 node013.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.253 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.253 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1858612 kB Buffers: 20892 kB Cached: 99164 kB SwapCached: 6748 kB Active: 89400 kB Inactive: 44492 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1858612 kB SwapTotal: 4192956 kB SwapFree: 4139776 kB Dirty: 4756 kB Writeback: 0 kB AnonPages: 12100 kB Mapped: 12964 kB Slab: 44716 kB PageTables: 4012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182596 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62544 MiB End job on node013 at 2010-06-16 01:16:33