Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | SAT | 25 | 1798.02 | 1797.96 |
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 | 1797.1 |
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 Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Instance file HOME/instance-3462923-1307180897.opb 0.00/0.00 c File size is 560274 bytes. 0.00/0.03 c Highest Coefficient sum: 643 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.037 s 0.00/0.04 c Var: 5499 Constr: 19319 19318/1/0 Lit: 49111 Watch. Lit: 39215 0.00/0.04 c Obj. Vars: 613 (11.1475 % of total variables) 0.09/0.14 c Pre-processing Time: 0.145 s 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 0 5488 19296 49070 2 39174 7431 0 0 0.14 0.09/0.14 c Switching off lower bounding mode. 0.09/0.15 o 30 0.19/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.26 c 24 5488 19345 55234 2 39855 8432 49 154 0.15 0.19/0.26 c 124 5488 19457 68096 3 40079 9276 161 473 0.26 0.19/0.26 o 28 0.19/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.27 c 125 5488 19460 68724 3 40670 8432 164 468 0.27 0.19/0.27 o 27 608.61/608.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 608.61/608.69 c 129 5488 19465 69475 3 41266 8432 169 470 0.27 608.61/608.69 c 229 5488 19588 77478 3 42094 9276 292 689 0.33 608.61/608.69 c 479 5488 19873 92020 4 43245 10204 577 1055 0.45 608.61/608.69 c 954 5488 20390 151386 7 44279 11225 1094 1282 0.74 608.61/608.69 c 1767 5488 21277 326147 15 46053 12348 1981 1317 1.34 608.61/608.69 c 3087 5488 22784 617875 27 49067 13583 3488 1297 2.38 608.61/608.69 c 5168 5488 25164 895933 35 53827 14942 5868 1348 3.83 608.61/608.69 c 8391 5488 28803 1456621 50 61105 16437 9507 1168 7.18 608.61/608.69 c 13328 5488 34551 2557192 74 73762 18081 15255 1056 12.61 608.61/608.69 c 20834 5488 29916 2464301 82 61576 19890 10620 967 21.54 608.61/608.69 c 32195 5488 29242 4991044 170 62543 21880 9946 742 43.35 608.61/608.69 c 49340 5488 33684 3860524 114 70859 24069 14388 696 70.84 608.61/608.69 c 75162 5488 31332 8890225 283 76971 26476 12036 446 168.23 608.61/608.69 c 113994 5488 42480 4380295 103 100346 29124 23184 469 243.02 608.61/608.69 c 172350 5488 46994 10998520 234 102105 32037 27698 417 412.92 608.61/608.69 o 26 780.41/780.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 780.41/780.46 c 221166 5488 33726 11734875 347 77679 8431 14430 363 608.72 780.41/780.46 c 221266 5488 23632 3872596 163 50817 9275 4336 363 608.89 780.41/780.46 c 221517 5488 23887 3885074 162 51327 10203 4591 363 609.12 780.41/780.46 c 221992 5488 24442 3940853 161 52437 11224 5146 364 609.51 780.41/780.46 c 222805 5488 25274 4056033 160 54101 12347 5978 364 610.59 780.41/780.46 c 224126 5488 26694 4267734 159 58113 13582 7398 366 612.14 780.41/780.46 c 226207 5488 29065 4649974 159 62855 14941 9769 367 614.80 780.41/780.46 c 229430 5488 32779 5476550 167 71453 16436 13483 371 618.24 780.41/780.46 c 234366 5488 27517 5013952 182 58530 18080 8221 370 632.90 780.41/780.46 c 241873 5488 35839 6449630 179 79258 19889 16543 377 641.28 780.41/780.46 c 253235 5488 33981 2482171 73 72626 21878 14685 386 654.79 780.41/780.46 c 270380 5488 37954 9555750 251 85500 24066 18658 388 696.49 780.41/780.46 c 296199 5488 32659 3428974 104 67620 26473 13363 401 736.84 780.41/780.46 c 335031 5488 35993 727275 20 73738 29121 16697 431 776.78 780.41/780.46 o 25 1797.95/1797.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1797.94 c 338787 5488 40251 1558636 38 82842 8432 20955 434 780.49 1797.95/1797.94 c 338888 5488 23636 848866 35 48442 9276 4340 433 781.18 1797.95/1797.94 c 339141 5488 23919 907946 37 49008 10204 4623 433 781.44 1797.95/1797.94 c 339617 5488 24448 950260 38 50066 11225 5152 434 781.73 1797.95/1797.94 c 340430 5488 25423 1064939 41 52016 12348 6127 435 782.18 1797.95/1797.94 c 341750 5488 27203 1770154 65 55576 13583 7907 436 783.71 1797.95/1797.94 c 343831 5488 29617 2080136 70 60990 14942 10321 437 785.46 1797.95/1797.94 c 347054 5488 33535 3352436 99 71123 16437 14239 439 789.61 1797.95/1797.94 c 351991 5488 27524 2560016 93 57932 18081 8228 442 795.67 1797.95/1797.94 c 359497 5488 35751 5643797 157 84810 19890 16455 444 808.20 1797.95/1797.94 c 370858 5488 34286 3265249 95 75541 21880 14990 450 822.99 1797.95/1797.94 c 388004 5488 39040 6665531 170 86805 24069 19744 451 860.05 1797.95/1797.94 c 413823 5488 36039 3872543 107 76716 26476 16743 456 906.11 1797.95/1797.94 c 452655 5488 32545 4327730 132 73590 29124 13249 438 1032.52 1797.95/1797.94 c 511007 5488 34578 9059424 261 83828 32037 15282 420 1215.69 1797.95/1797.94 c 598639 5488 34852 5181769 148 75459 35241 15556 392 1524.15 1797.95/1797.94 c Resources Exceeded 1797.95/1797.94 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.95/1797.94 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1797.94 c 48 697439 356172 4461363 47450 12719634 28154 387 1798.00 1797.95/1797.94 c Objective: 25 1797.95/1797.94 s SATISFIABLE 1797.95/1797.94 c Total time: 1798 s
OK 25
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462923-1307180897/watcher-3462923-1307180897 -o /tmp/evaluation-result-3462923-1307180897/solver-3462923-1307180897 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462923-1307180897.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 2/469 15254 /proc/meminfo: memFree=24072464/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=11616 CPUtime=0 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 366 0 0 0 0 0 0 0 25 0 1 0 908320176 11894784 320 33554432000 134512640 137138936 4292747760 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 2904 321 186 642 0 2123 0 [startup+0.0601951 s] /proc/loadavg: 2.00 2.00 2.00 2/469 15254 /proc/meminfo: memFree=24072464/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=14388 CPUtime=0.05 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 1337 0 0 0 5 0 0 0 25 0 1 0 908320176 14733312 1154 33554432000 134512640 137138936 4292747760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 3597 1154 184 642 0 2953 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 14388 [startup+0.101199 s] /proc/loadavg: 2.00 2.00 2.00 2/469 15254 /proc/meminfo: memFree=24072464/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=14388 CPUtime=0.09 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 1338 0 0 0 9 0 0 0 25 0 1 0 908320176 14733312 1155 33554432000 134512640 137138936 4292747760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 3597 1155 184 642 0 2953 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14388 [startup+0.301153 s] /proc/loadavg: 2.00 2.00 2.00 2/469 15254 /proc/meminfo: memFree=24072464/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=15148 CPUtime=0.29 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 1720 0 0 0 28 1 0 0 25 0 1 0 908320176 15511552 1355 33554432000 134512640 137138936 4292747760 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 3787 1355 192 642 0 3143 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15148 [startup+0.70108 s] /proc/loadavg: 2.00 2.00 2.00 2/469 15254 /proc/meminfo: memFree=24072464/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=15928 CPUtime=0.69 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 1919 0 0 0 68 1 0 0 25 0 1 0 908320176 16310272 1554 33554432000 134512640 137138936 4292747760 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 3982 1554 192 642 0 3338 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15928 [startup+1.5009 s] /proc/loadavg: 2.00 2.00 2.00 3/470 15255 /proc/meminfo: memFree=24065512/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=18812 CPUtime=1.49 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 2636 0 0 0 148 1 0 0 25 0 1 0 908320176 19263488 2271 33554432000 134512640 137138936 4292747760 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 4703 2271 192 642 0 4059 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18812 [startup+3.10063 s] /proc/loadavg: 2.00 2.00 2.00 3/470 15255 /proc/meminfo: memFree=24060060/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=24180 CPUtime=3.09 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 3987 0 0 0 308 1 0 0 25 0 1 0 908320176 24760320 3622 33554432000 134512640 137138936 4292747760 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 6045 3622 192 642 0 5401 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24180 [startup+6.30103 s] /proc/loadavg: 2.00 2.00 2.00 3/470 15255 /proc/meminfo: memFree=24051752/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=31644 CPUtime=6.29 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 5847 0 0 0 625 4 0 0 25 0 1 0 908320176 32403456 5482 33554432000 134512640 137138936 4292747760 18446744073709551615 136511078 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 7911 5482 192 642 0 7267 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 31644 [startup+12.7008 s] /proc/loadavg: 2.00 2.00 2.00 3/470 15255 /proc/meminfo: memFree=24033856/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=48568 CPUtime=12.69 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 10076 0 0 0 1263 6 0 0 25 0 1 0 908320176 49733632 9711 33554432000 134512640 137138936 4292747760 18446744073709551615 134607604 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 12142 9711 192 642 0 11498 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48568 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 2.00 3/470 15256 /proc/meminfo: memFree=24010268/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=69972 CPUtime=25.49 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 15426 0 0 0 2541 8 0 0 25 0 1 0 908320176 71651328 15061 33554432000 134512640 137138936 4292747760 18446744073709551615 134599672 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 17493 15061 192 642 0 16849 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 69972 [startup+51.1007 s] /proc/loadavg: 2.00 2.00 2.00 3/470 15257 /proc/meminfo: memFree=23955140/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=124668 CPUtime=51.09 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 29240 0 0 0 5097 12 0 0 25 0 1 0 908320176 127660032 28743 33554432000 134512640 137138936 4292747760 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 31167 28743 192 642 0 30523 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 124668 [startup+102.318 s] /proc/loadavg: 2.00 2.00 2.00 3/470 15258 /proc/meminfo: memFree=23903752/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=175304 CPUtime=102.31 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 42249 0 0 0 10213 18 0 0 25 0 1 0 908320176 179511296 41389 33554432000 134512640 137138936 4292747760 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 43826 41389 192 642 0 43182 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 175304 [startup+162.301 s] /proc/loadavg: 2.10 2.03 2.01 3/470 15259 /proc/meminfo: memFree=23832872/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=246476 CPUtime=162.3 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 60553 0 0 0 16205 25 0 0 25 0 1 0 908320176 252391424 59192 33554432000 134512640 137138936 4292747760 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 61619 59192 192 642 0 60975 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 246476 [startup+222.301 s] /proc/loadavg: 2.08 2.04 2.01 3/470 15261 /proc/meminfo: memFree=23823992/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=256868 CPUtime=222.3 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 63262 0 0 0 22198 32 0 0 25 0 1 0 908320176 263032832 61796 33554432000 134512640 137138936 4292747760 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 64217 61796 192 642 0 63573 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 256868 [startup+282.301 s] /proc/loadavg: 2.03 2.03 2.00 3/470 15263 /proc/meminfo: memFree=23824408/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=256880 CPUtime=282.3 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 63265 0 0 0 28193 37 0 0 25 0 1 0 908320176 263045120 61799 33554432000 134512640 137138936 4292747760 18446744073709551615 134607594 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 64220 61799 192 642 0 63576 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 256880 [startup+342.3 s] /proc/loadavg: 2.08 2.05 2.01 3/470 15264 /proc/meminfo: memFree=23816920/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=256552 CPUtime=342.3 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 63265 0 0 0 34191 39 0 0 25 0 1 0 908320176 262709248 61717 33554432000 134512640 137138936 4292747760 18446744073709551615 136502581 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 64138 61717 192 642 0 63494 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 256552 [startup+402.3 s] /proc/loadavg: 2.06 2.05 2.01 3/470 15266 /proc/meminfo: memFree=23814776/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=256552 CPUtime=402.31 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 63265 0 0 0 40189 42 0 0 25 0 1 0 908320176 262709248 61717 33554432000 134512640 137138936 4292747760 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 64138 61717 192 642 0 63494 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 256552 [startup+462.301 s] /proc/loadavg: 2.02 2.04 2.00 3/470 15267 /proc/meminfo: memFree=23812756/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=256564 CPUtime=462.31 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 63268 0 0 0 46185 46 0 0 25 0 1 0 908320176 262721536 61720 33554432000 134512640 137138936 4292747760 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 64141 61720 192 642 0 63497 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 256564 [startup+522.301 s] /proc/loadavg: 2.01 2.03 2.00 3/470 15269 /proc/meminfo: memFree=23804768/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=270292 CPUtime=522.31 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 66738 0 0 0 52182 49 0 0 25 0 1 0 908320176 276779008 65138 33554432000 134512640 137138936 4292747760 18446744073709551615 136511087 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 67573 65138 192 642 0 66929 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 270292 [startup+582.301 s] /proc/loadavg: 2.00 2.02 2.00 3/470 15271 /proc/meminfo: memFree=23802488/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=274244 CPUtime=582.31 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 67745 0 0 0 58180 51 0 0 25 0 1 0 908320176 280825856 66137 33554432000 134512640 137138936 4292747760 18446744073709551615 134542713 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 68561 66137 192 642 0 67917 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 274244 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=23750504/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=322892 CPUtime=1062.33 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 80153 0 0 0 106099 134 0 0 25 0 1 0 908320176 330641408 78302 33554432000 134512640 137138936 4292747760 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 80723 78302 192 642 0 80079 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 322892 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.00 3/470 15294 /proc/meminfo: memFree=23750468/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=322892 CPUtime=1122.33 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 80153 0 0 0 112098 135 0 0 25 0 1 0 908320176 330641408 78302 33554432000 134512640 137138936 4292747760 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 80723 78302 192 642 0 80079 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 322892 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.00 3/470 15296 /proc/meminfo: memFree=23750048/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=322892 CPUtime=1182.33 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 80153 0 0 0 118096 137 0 0 25 0 1 0 908320176 330641408 78302 33554432000 134512640 137138936 4292747760 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 80723 78302 192 642 0 80079 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 322892 [startup+1242.3 s] /proc/loadavg: 2.04 2.03 2.00 3/470 15297 /proc/meminfo: memFree=23749276/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=322892 CPUtime=1242.33 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 80153 0 0 0 124091 142 0 0 25 0 1 0 908320176 330641408 78302 33554432000 134512640 137138936 4292747760 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 80723 78302 192 642 0 80079 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 322892 [startup+1302.3 s] /proc/loadavg: 2.05 2.03 2.00 3/470 15299 /proc/meminfo: memFree=23750220/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=322892 CPUtime=1302.34 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 80153 0 0 0 130088 146 0 0 25 0 1 0 908320176 330641408 78302 33554432000 134512640 137138936 4292747760 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 80723 78302 192 642 0 80079 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 322892 [startup+1362.3 s] /proc/loadavg: 2.02 2.02 2.00 3/470 15300 /proc/meminfo: memFree=23750180/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=322892 CPUtime=1362.34 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 80153 0 0 0 136085 149 0 0 25 0 1 0 908320176 330641408 78302 33554432000 134512640 137138936 4292747760 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 80723 78302 192 642 0 80079 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 322892 [startup+1422.32 s] /proc/loadavg: 2.07 2.03 2.00 3/470 15302 /proc/meminfo: memFree=23749752/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=322892 CPUtime=1422.36 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 80153 0 0 0 142082 154 0 0 25 0 1 0 908320176 330641408 78302 33554432000 134512640 137138936 4292747760 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 80723 78302 192 642 0 80079 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 322892 [startup+1482.3 s] /proc/loadavg: 2.02 2.03 2.00 3/470 15304 /proc/meminfo: memFree=23749844/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=322892 CPUtime=1482.34 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 80153 0 0 0 148075 159 0 0 25 0 1 0 908320176 330641408 78302 33554432000 134512640 137138936 4292747760 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 80723 78302 192 642 0 80079 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 322892 [startup+1542.3 s] /proc/loadavg: 2.01 2.02 2.00 3/470 15332 /proc/meminfo: memFree=23745688/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=322892 CPUtime=1542.35 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 80153 0 0 0 154070 165 0 0 25 0 1 0 908320176 330641408 78302 33554432000 134512640 137138936 4292747760 18446744073709551615 134607604 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 80723 78302 192 642 0 80079 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 322892 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/470 15334 /proc/meminfo: memFree=23723684/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=322904 CPUtime=1602.34 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 80156 0 0 0 160062 172 0 0 25 0 1 0 908320176 330653696 78305 33554432000 134512640 137138936 4292747760 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 80726 78305 192 642 0 80082 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 322904 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 4/470 15335 /proc/meminfo: memFree=23704644/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=322904 CPUtime=1662.35 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 80156 0 0 0 166056 179 0 0 25 0 1 0 908320176 330653696 78305 33554432000 134512640 137138936 4292747760 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 80726 78305 192 642 0 80082 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 322904 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 4/470 15337 /proc/meminfo: memFree=23700764/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=322904 CPUtime=1722.35 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 80156 0 0 0 172048 187 0 0 25 0 1 0 908320176 330653696 78305 33554432000 134512640 137138936 4292747760 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 80726 78305 192 642 0 80082 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 322904 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 4/470 15339 /proc/meminfo: memFree=23700336/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=322904 CPUtime=1782.35 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 80156 0 0 0 178042 193 0 0 25 0 1 0 908320176 330653696 78305 33554432000 134512640 137138936 4292747760 18446744073709551615 134599777 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 80726 78305 192 642 0 80082 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 322904 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 2.00 2.00 2.00 3/470 15339 /proc/meminfo: memFree=23700460/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=322904 CPUtime=1785.55 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 80156 0 0 0 178361 194 0 0 25 0 1 0 908320176 330653696 78305 33554432000 134512640 137138936 4292747760 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 80726 78305 192 642 0 80082 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (KiB) 322904 [startup+1791.92 s] /proc/loadavg: 2.00 2.00 2.00 3/470 15339 /proc/meminfo: memFree=23700456/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=322904 CPUtime=1791.97 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 80156 0 0 0 179002 195 0 0 25 0 1 0 908320176 330653696 78305 33554432000 134512640 137138936 4292747760 18446744073709551615 136296964 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 80726 78305 192 642 0 80082 0 Current children cumulated CPU time (s) 1791.97 Current children cumulated vsize (KiB) 322904 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/470 15339 /proc/meminfo: memFree=23700332/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=322904 CPUtime=1795.16 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 80156 0 0 0 179321 195 0 0 25 0 1 0 908320176 330653696 78305 33554432000 134512640 137138936 4292747760 18446744073709551615 136504129 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 80726 78305 192 642 0 80082 0 Current children cumulated CPU time (s) 1795.16 Current children cumulated vsize (KiB) 322904 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/470 15339 /proc/meminfo: memFree=23700332/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=322904 CPUtime=1796.75 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 80156 0 0 0 179480 195 0 0 25 0 1 0 908320176 330653696 78305 33554432000 134512640 137138936 4292747760 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 80726 78305 192 642 0 80082 0 Current children cumulated CPU time (s) 1796.75 Current children cumulated vsize (KiB) 322904 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 2.00 3/470 15339 /proc/meminfo: memFree=23700332/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=322904 CPUtime=1797.55 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 80156 0 0 0 179560 195 0 0 25 0 1 0 908320176 330653696 78305 33554432000 134512640 137138936 4292747760 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 80726 78305 192 642 0 80082 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (KiB) 322904 [startup+1797.9 s] /proc/loadavg: 2.00 2.00 2.00 3/470 15339 /proc/meminfo: memFree=23700332/32951124 swapFree=56297244/67111528 [pid=15254] ppid=15252 vsize=322904 CPUtime=1797.95 cores=0,2,4,6 /proc/15254/stat : 15254 (bsolo) R 15252 15254 13385 0 -1 4202496 80156 0 0 0 179600 195 0 0 25 0 1 0 908320176 330653696 78305 33554432000 134512640 137138936 4292747760 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/15254/statm: 80726 78305 192 642 0 80082 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 322904 Child status: 0 Real time (s): 1797.96 CPU time (s): 1798.02 CPU user time (s): 1796.05 CPU system time (s): 1.9717 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 323404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.05 system time used= 1.9717 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 80157 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= 4 involuntary context switches= 2611 runsolver used 8.94264 second user time and 18.6802 second system time The end
Begin job on node111 at 2011-06-04 11:48:17 IDJOB=3462923 IDBENCH=25021 IDSOLVER=1955 FILE ID=node111/3462923-1307180897 RUNJOBID= node111-1307175501-14858 PBS_JOBID= 13508842 Free space on /tmp= 73864 MiB SOLVER NAME= bsolo 3.2 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_5.opb COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462923-1307180897/watcher-3462923-1307180897 -o /tmp/evaluation-result-3462923-1307180897/solver-3462923-1307180897 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462923-1307180897.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 130be24ef6faf784c5a8bf386cbf11b2 RANDOM SEED=870456639 node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5428.12 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.86 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 24072628 kB Buffers: 323380 kB Cached: 850084 kB SwapCached: 11784 kB Active: 7821000 kB Inactive: 779692 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24072628 kB SwapTotal: 67111528 kB SwapFree: 56297244 kB Dirty: 4316 kB Writeback: 0 kB AnonPages: 7423772 kB Mapped: 28576 kB Slab: 143508 kB PageTables: 66640 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 149124312 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73860 MiB End job on node111 at 2011-06-04 12:18:15