Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 25 | 1798.03 | 1798.52 |
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: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656370-1276641970.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.098 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.36 o 30 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 24 5488 19345 55234 2 39855 8432 49 66 0.36 0.59/0.63 c 124 5488 19457 68096 3 40079 9276 161 200 0.62 0.59/0.63 o 28 0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.65 c 125 5488 19460 68724 3 40670 8432 164 197 0.63 0.59/0.65 o 27 1319.44/1319.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1319.44/1319.83 c 129 5488 19465 69475 3 41266 8432 169 197 0.65 1319.44/1319.83 c 229 5488 19588 77478 3 42094 9276 292 293 0.78 1319.44/1319.83 c 479 5488 19873 92020 4 43245 10204 577 460 1.04 1319.44/1319.83 c 954 5488 20390 151386 7 44279 11225 1094 588 1.62 1319.44/1319.83 c 1767 5488 21277 326147 15 46053 12348 1981 630 2.80 1319.44/1319.83 c 3087 5488 22784 617875 27 49067 13583 3488 636 4.85 1319.44/1319.83 c 5168 5488 25164 895933 35 53827 14942 5868 648 7.97 1319.44/1319.83 c 8391 5488 28803 1456621 50 61105 16437 9507 529 15.85 1319.44/1319.83 c 13328 5488 34551 2557192 74 73762 18081 15255 481 27.68 1319.44/1319.83 c 20834 5488 29916 2464301 82 61576 19890 10620 431 48.31 1319.44/1319.83 c 32195 5488 29242 4991044 170 62543 21880 9946 340 94.60 1319.44/1319.83 c 49340 5488 33684 3860524 114 70859 24069 14388 313 157.56 1319.44/1319.83 c 75162 5488 31332 8890225 283 76971 26476 12036 213 352.20 1319.44/1319.83 c 113994 5488 42480 4380295 103 100346 29124 23184 212 536.54 1319.44/1319.83 c 172350 5488 46994 10998520 234 102105 32037 27698 187 918.34 1319.44/1319.83 o 26 1720.83/1721.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1720.83/1721.36 c 221166 5488 33726 11734875 347 77679 8431 14430 167 1319.48 1720.83/1721.36 c 221266 5488 23632 3872596 163 50817 9275 4336 167 1319.91 1720.83/1721.36 c 221517 5488 23887 3885074 162 51327 10203 4591 167 1320.45 1720.83/1721.36 c 221992 5488 24442 3940853 161 52437 11224 5146 167 1321.42 1720.83/1721.36 c 222805 5488 25274 4056033 160 54101 12347 5978 168 1324.11 1720.83/1721.36 c 224126 5488 26694 4267734 159 58113 13582 7398 168 1327.80 1720.83/1721.36 c 226207 5488 29065 4649974 159 62855 14941 9769 169 1334.42 1720.83/1721.36 c 229430 5488 32779 5476550 167 71453 16436 13483 170 1342.33 1720.83/1721.36 c 234366 5488 27517 5013952 182 58530 18080 8221 170 1373.85 1720.83/1721.36 c 241873 5488 35839 6449630 179 79258 19889 16543 173 1394.00 1720.83/1721.36 c 253235 5488 33981 2482171 73 72626 21878 14685 177 1426.67 1720.83/1721.36 c 270380 5488 37954 9555750 251 85500 24066 18658 178 1514.98 1720.83/1721.36 c 296199 5488 32659 3428974 104 67620 26473 13363 183 1610.58 1720.83/1721.36 c 335031 5488 35993 727275 20 73738 29121 16697 195 1712.00 1720.83/1721.36 o 25 1797.92/1798.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.48 c 338787 5488 40251 1558636 38 82842 8432 20955 196 1720.91 1797.92/1798.48 c 338888 5488 23636 848866 35 48442 9276 4340 196 1722.46 1797.92/1798.48 c 339141 5488 23919 907946 37 49008 10204 4623 196 1723.06 1797.92/1798.48 c 339617 5488 24448 950260 38 50066 11225 5152 197 1723.72 1797.92/1798.48 c 340430 5488 25423 1064939 41 52016 12348 6127 197 1724.75 1797.92/1798.48 c 341750 5488 27203 1770154 65 55576 13583 7907 197 1728.08 1797.92/1798.48 c 343831 5488 29617 2080136 70 60990 14942 10321 198 1732.19 1797.92/1798.48 c 347054 5488 33535 3352436 99 71123 16437 14239 199 1741.53 1797.92/1798.48 c 351991 5488 27524 2560016 93 57932 18081 8228 200 1755.32 1797.92/1798.48 c 359497 5488 35751 5643797 157 84810 19890 16455 201 1784.43 1797.92/1798.48 c Resources Exceeded 1797.92/1798.48 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.92/1798.48 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.48 c 42 363914 188467 2696983 40627 6281199 21331 202 1798.00 1797.92/1798.48 c Objective: 25 1797.92/1798.48 s SATISFIABLE 1797.92/1798.48 c Total time: 1798 s
OK 25
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656370-1276641970/watcher-2656370-1276641970 -o /tmp/evaluation-result-2656370-1276641970/solver-2656370-1276641970 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656370-1276641970.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: 1.00 1.00 1.00 3/106 11597 /proc/meminfo: memFree=1713676/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=11480 CPUtime=0 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 351 0 0 0 0 0 0 0 18 0 1 0 5489885 11755520 269 1992294400 134512640 137138936 4293807792 18446744073709551615 134531237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 2870 269 175 642 0 2089 0 [startup+0.092039 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11597 /proc/meminfo: memFree=1713676/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=13400 CPUtime=0.09 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 952 0 0 0 9 0 0 0 20 0 1 0 5489885 13721600 870 1992294400 134512640 137138936 4293807792 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 3350 872 292 642 0 2569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13400 [startup+0.101041 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11597 /proc/meminfo: memFree=1713676/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=12988 CPUtime=0.09 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 1021 0 0 0 9 0 0 0 20 0 1 0 5489885 13299712 802 1992294400 134512640 137138936 4293807792 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 3247 802 180 642 0 2603 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12988 [startup+0.301061 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11597 /proc/meminfo: memFree=1713676/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=15332 CPUtime=0.29 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 1591 0 0 0 28 1 0 0 20 0 1 0 5489885 15699968 1372 1992294400 134512640 137138936 4293807792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 3833 1372 186 642 0 3189 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15332 [startup+0.701105 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11597 /proc/meminfo: memFree=1713676/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=15148 CPUtime=0.69 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 1757 0 0 0 66 3 0 0 21 0 1 0 5489885 15511552 1356 1992294400 134512640 137138936 4293807792 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 3787 1356 192 642 0 3143 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15148 [startup+1.50119 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11598 /proc/meminfo: memFree=1708956/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=15880 CPUtime=1.49 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 1947 0 0 0 146 3 0 0 23 0 1 0 5489885 16261120 1546 1992294400 134512640 137138936 4293807792 18446744073709551615 134552497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 3970 1546 192 642 0 3326 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15880 [startup+3.10137 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11598 /proc/meminfo: memFree=1707220/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=18812 CPUtime=3.09 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 2666 0 0 0 305 4 0 0 25 0 1 0 5489885 19263488 2265 1992294400 134512640 137138936 4293807792 18446744073709551615 134575635 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 4703 2265 192 642 0 4059 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18812 [startup+6.30071 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11598 /proc/meminfo: memFree=1700648/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=24068 CPUtime=6.29 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 3995 0 0 0 624 5 0 0 25 0 1 0 5489885 24645632 3594 1992294400 134512640 137138936 4293807792 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 6017 3594 192 642 0 5373 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24068 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11598 /proc/meminfo: memFree=1693952/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=30368 CPUtime=12.69 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 5563 0 0 0 1258 11 0 0 25 0 1 0 5489885 31096832 5162 1992294400 134512640 137138936 4293807792 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 7592 5162 192 642 0 6948 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30368 [startup+25.5008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11598 /proc/meminfo: memFree=1678948/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=45220 CPUtime=25.48 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 9276 0 0 0 2531 17 0 0 25 0 1 0 5489885 46305280 8875 1992294400 134512640 137138936 4293807792 18446744073709551615 134607601 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 11305 8875 192 642 0 10661 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45220 [startup+51.1006 s] /proc/loadavg: 1.06 1.02 1.00 2/107 11598 /proc/meminfo: memFree=1653528/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=70012 CPUtime=51.07 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 15473 0 0 0 5083 24 0 0 25 0 1 0 5489885 71692288 15072 1992294400 134512640 137138936 4293807792 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 17503 15072 192 642 0 16859 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 70012 [startup+102.308 s] /proc/loadavg: 1.08 1.03 1.00 2/107 11600 /proc/meminfo: memFree=1598720/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=124664 CPUtime=102.28 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 29311 0 0 0 10189 39 0 0 25 0 1 0 5489885 127655936 28743 1992294400 134512640 137138936 4293807792 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 31166 28743 192 642 0 30522 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 124664 [startup+162.301 s] /proc/loadavg: 1.09 1.04 1.00 2/107 11602 /proc/meminfo: memFree=1584460/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=138780 CPUtime=162.25 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 32836 0 0 0 16174 51 0 0 25 0 1 0 5489885 142110720 32268 1992294400 134512640 137138936 4293807792 18446744073709551615 134607604 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 34695 32268 192 642 0 34051 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 138780 [startup+222.301 s] /proc/loadavg: 1.08 1.04 1.00 2/107 11604 /proc/meminfo: memFree=1549864/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=173596 CPUtime=222.23 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 41906 0 0 0 22163 60 0 0 25 0 1 0 5489885 177762304 40978 1992294400 134512640 137138936 4293807792 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 43399 40978 192 642 0 42755 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 173596 [startup+282.301 s] /proc/loadavg: 1.08 1.05 1.00 2/107 11604 /proc/meminfo: memFree=1537340/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=186472 CPUtime=282.22 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 45176 0 0 0 28155 67 0 0 25 0 1 0 5489885 190947328 44195 1992294400 134512640 137138936 4293807792 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 46618 44195 192 642 0 45974 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 186472 [startup+342.301 s] /proc/loadavg: 1.07 1.05 1.00 2/107 11606 /proc/meminfo: memFree=1475092/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=248140 CPUtime=342.2 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 61084 0 0 0 34141 79 0 0 25 0 1 0 5489885 254095360 59614 1992294400 134512640 137138936 4293807792 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 62035 59614 192 642 0 61391 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 248140 [startup+402.301 s] /proc/loadavg: 1.07 1.05 1.00 2/107 11608 /proc/meminfo: memFree=1465916/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=256980 CPUtime=402.18 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 63359 0 0 0 40126 92 0 0 25 0 1 0 5489885 263147520 61824 1992294400 134512640 137138936 4293807792 18446744073709551615 136504617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 64245 61824 192 642 0 63601 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 256980 [startup+462.301 s] /proc/loadavg: 1.06 1.06 1.00 2/107 11610 /proc/meminfo: memFree=1465916/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=256964 CPUtime=462.17 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 63360 0 0 0 46112 105 0 0 25 0 1 0 5489885 263131136 61821 1992294400 134512640 137138936 4293807792 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 64241 61821 192 642 0 63597 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 256964 [startup+522.301 s] /proc/loadavg: 1.06 1.06 1.00 2/107 11612 /proc/meminfo: memFree=1465792/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=256860 CPUtime=522.16 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 63360 0 0 0 52100 116 0 0 25 0 1 0 5489885 263024640 61795 1992294400 134512640 137138936 4293807792 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 64215 61795 192 642 0 63571 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 256860 [startup+582.301 s] /proc/loadavg: 1.13 1.07 1.01 2/107 11612 /proc/meminfo: memFree=1465668/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=256548 CPUtime=582.14 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 63363 0 0 0 58090 124 0 0 25 0 1 0 5489885 262705152 61717 1992294400 134512640 137138936 4293807792 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 64137 61717 192 642 0 63493 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 256548 [startup+642.301 s] /proc/loadavg: 1.22 1.10 1.02 2/107 11614 /proc/meminfo: memFree=1465668/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=256548 CPUtime=642.13 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 63363 0 0 0 64085 128 0 0 25 0 1 0 5489885 262705152 61717 1992294400 134512640 137138936 4293807792 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 64137 61717 192 642 0 63493 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 256548 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1464924/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=256560 CPUtime=1062.01 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 63366 0 0 0 106040 161 0 0 25 0 1 0 5489885 262717440 61720 1992294400 134512640 137138936 4293807792 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 64140 61720 192 642 0 63496 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 256560 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 11637 /proc/meminfo: memFree=1451780/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=270272 CPUtime=1121.98 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 66836 0 0 0 112032 166 0 0 25 0 1 0 5489885 276758528 65139 1992294400 134512640 137138936 4293807792 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 67568 65139 192 642 0 66924 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 270272 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 11637 /proc/meminfo: memFree=1451780/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=270272 CPUtime=1181.97 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 66836 0 0 0 118027 170 0 0 25 0 1 0 5489885 276758528 65139 1992294400 134512640 137138936 4293807792 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 67568 65139 192 642 0 66924 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 270272 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11639 /proc/meminfo: memFree=1451780/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=270272 CPUtime=1241.96 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 66836 0 0 0 124022 174 0 0 25 0 1 0 5489885 276758528 65139 1992294400 134512640 137138936 4293807792 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 67568 65139 192 642 0 66924 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 270272 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11641 /proc/meminfo: memFree=1408256/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=313952 CPUtime=1301.95 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 77830 0 0 0 130012 183 0 0 25 0 1 0 5489885 321486848 76065 1992294400 134512640 137138936 4293807792 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 78488 76065 192 642 0 77844 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 313952 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11643 /proc/meminfo: memFree=1398584/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=323500 CPUtime=1361.93 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 80222 0 0 0 136000 193 0 0 25 0 1 0 5489885 331264000 78432 1992294400 134512640 137138936 4293807792 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 80875 78432 192 642 0 80231 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 323500 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11645 /proc/meminfo: memFree=1398584/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=323500 CPUtime=1421.91 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 80222 0 0 0 141990 201 0 0 25 0 1 0 5489885 331264000 78432 1992294400 134512640 137138936 4293807792 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 80875 78432 192 642 0 80231 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 323500 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11645 /proc/meminfo: memFree=1398584/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=323500 CPUtime=1481.89 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 80222 0 0 0 147981 208 0 0 25 0 1 0 5489885 331264000 78432 1992294400 134512640 137138936 4293807792 18446744073709551615 134618004 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 80875 78432 192 642 0 80231 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 323500 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11647 /proc/meminfo: memFree=1398460/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=323500 CPUtime=1541.87 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 80222 0 0 0 153972 215 0 0 25 0 1 0 5489885 331264000 78432 1992294400 134512640 137138936 4293807792 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 80875 78432 192 642 0 80231 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 323500 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11649 /proc/meminfo: memFree=1398460/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=323500 CPUtime=1601.87 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 80222 0 0 0 159964 223 0 0 25 0 1 0 5489885 331264000 78432 1992294400 134512640 137138936 4293807792 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 80875 78432 192 642 0 80231 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 323500 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11651 /proc/meminfo: memFree=1398336/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=323500 CPUtime=1661.85 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 80222 0 0 0 165895 290 0 0 25 0 1 0 5489885 331264000 78432 1992294400 134512640 137138936 4293807792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 80875 78432 192 642 0 80231 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 323500 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11653 /proc/meminfo: memFree=1399700/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=321588 CPUtime=1721.83 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 80222 0 0 0 171839 344 0 0 25 0 1 0 5489885 329306112 77977 1992294400 134512640 137138936 4293807792 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 80397 77977 192 642 0 79753 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 321588 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11653 /proc/meminfo: memFree=1399452/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=321588 CPUtime=1781.81 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 80222 0 0 0 177826 355 0 0 25 0 1 0 5489885 329306112 77977 1992294400 134512640 137138936 4293807792 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 80397 77977 192 642 0 79753 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 321588 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 11655 /proc/meminfo: memFree=1399576/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=321588 CPUtime=1791.42 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 80222 0 0 0 178785 357 0 0 25 0 1 0 5489885 329306112 77977 1992294400 134512640 137138936 4293807792 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 80397 77977 192 642 0 79753 0 Current children cumulated CPU time (s) 1791.42 Current children cumulated vsize (KiB) 321588 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11655 /proc/meminfo: memFree=1399576/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=321588 CPUtime=1794.62 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 80222 0 0 0 179104 358 0 0 25 0 1 0 5489885 329306112 77977 1992294400 134512640 137138936 4293807792 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 80397 77977 192 642 0 79753 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (KiB) 321588 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11655 /proc/meminfo: memFree=1399576/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=321588 CPUtime=1796.21 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 80222 0 0 0 179263 358 0 0 25 0 1 0 5489885 329306112 77977 1992294400 134512640 137138936 4293807792 18446744073709551615 134551018 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 80397 77977 192 642 0 79753 0 Current children cumulated CPU time (s) 1796.21 Current children cumulated vsize (KiB) 321588 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11655 /proc/meminfo: memFree=1399576/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=321588 CPUtime=1797.01 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 80222 0 0 0 179343 358 0 0 25 0 1 0 5489885 329306112 77977 1992294400 134512640 137138936 4293807792 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 80397 77977 192 642 0 79753 0 Current children cumulated CPU time (s) 1797.01 Current children cumulated vsize (KiB) 321588 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11655 /proc/meminfo: memFree=1399576/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=321588 CPUtime=1797.81 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202496 80222 0 0 0 179423 358 0 0 25 0 1 0 5489885 329306112 77977 1992294400 134512640 137138936 4293807792 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11597/statm: 80397 77977 192 642 0 79753 0 Current children cumulated CPU time (s) 1797.81 Current children cumulated vsize (KiB) 321588 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11655 /proc/meminfo: memFree=1399576/2059040 swapFree=4192956/4192956 [pid=11597] ppid=11595 vsize=0 CPUtime=1798.02 /proc/11597/stat : 11597 (bsolo_pb10) R 11595 11597 10926 0 -1 4202500 80223 0 0 0 179441 361 0 0 25 0 1 0 5489885 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0 /proc/11597/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.02 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.52 CPU time (s): 1798.03 CPU user time (s): 1794.42 CPU system time (s): 3.61645 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 323500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.42 system time used= 3.61645 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 80223 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= 2470 runsolver used 2.97355 second user time and 8.48771 second system time The end
Begin job on node037 at 2010-06-16 00:46:11 IDJOB=2656370 IDBENCH=25021 IDSOLVER=1162 FILE ID=node037/2656370-1276641970 PBS_JOBID= 11172372 Free space on /tmp= 62584 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656370-1276641970/watcher-2656370-1276641970 -o /tmp/evaluation-result-2656370-1276641970/solver-2656370-1276641970 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656370-1276641970.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2 RANDOM SEED=1996123930 node037.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.248 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.49 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.248 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.55 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1714204 kB Buffers: 59324 kB Cached: 149308 kB SwapCached: 0 kB Active: 126324 kB Inactive: 141964 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1714204 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4512 kB Writeback: 0 kB AnonPages: 59720 kB Mapped: 15452 kB Slab: 54836 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182064 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= 62580 MiB End job on node037 at 2010-06-16 01:16:09