Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 4426511 | 1800.15 | 1800.72 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb |
MD5SUM | 3aa00837dd74901ce1879f04fea91920 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1751040 |
Best CPU time to get the best result obtained on this benchmark | 1800.38 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1751040 |
Optimality of the best value was proved | NO |
Number of variables | 3100 |
Total number of constraints | 120 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 120 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 300 |
Number of terms in the objective function | 3100 |
Biggest coefficient in the objective function | 4831838208 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 550843571711 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 4831838208 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 550843571711 |
Number of bits of the biggest sum of numbers | 40 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433139-1177955386/instance-433139-1177955386.opb 0.00/0.00 c File size is 155881 bytes. 0.00/0.01 c Coefficients are big enough for not using lower bounding. 0.00/0.02 c Highest Coefficient sum: 5.50844e+11 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.025 s 0.00/0.03 c Var: 3100 Constr: 140 0/0/140 Lit: 15100 Watch. Lit: 9140 0.00/0.03 c Obj. Vars: 3100 (100 % of total variables) 0.00/0.06 c Pre-processing Time: 0.057 s 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 0 1418 140 15100 107 9167 30200 0 0 0.06 0.09/0.14 c 100 1418 240 25248 105 9404 33221 100 1428 0.07 0.09/0.14 c 254 1418 394 42298 107 10445 36544 254 2081 0.12 0.09/0.14 o 5075418 0.139 135.74/135.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 135.74/135.88 c 298 1418 439 50920 115 11896 33036 299 2128 0.14 135.74/135.88 c 398 1418 539 74479 138 12322 36340 399 1990 0.20 135.74/135.88 c 648 1418 789 181699 230 12644 39975 649 1751 0.37 135.74/135.88 c 1125 1418 1266 344241 271 13407 43973 1126 1820 0.62 135.74/135.88 c 1940 1418 2081 573550 275 14746 48371 1941 2039 0.95 135.74/135.88 c 3262 1418 3403 950767 279 17968 53209 3263 1915 1.70 135.74/135.88 c 5344 1418 5485 1282731 233 21579 58530 5345 2204 2.42 135.74/135.88 c 8568 1418 8709 2673243 306 28536 64384 8569 1244 6.88 135.74/135.88 c 13504 1418 13645 4097513 300 38072 70823 13505 1304 10.35 135.74/135.88 c 21010 1418 21151 7676245 362 53321 77906 21011 664 31.63 135.74/135.88 c 32371 1418 32512 12150044 373 76231 85697 32372 603 53.66 135.74/135.88 c 49515 1418 49656 16234889 326 110088 94267 49516 509 97.13 135.74/135.88 o 4952067 135.832 143.94/144.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 143.94/144.03 c 66067 1418 66209 20010748 302 144532 33036 66069 486 135.83 143.94/144.03 c 66167 1418 12566 2831436 225 36143 36340 12426 480 137.63 143.94/144.03 c 66418 1418 12817 2915076 227 36696 39975 12677 481 137.85 143.94/144.03 c 66893 1418 13292 3078757 231 37727 43973 13152 484 138.13 143.94/144.03 c 67709 1418 14108 3500773 248 39100 48371 13968 486 139.29 143.94/144.03 c 69029 1418 15428 3821854 247 41501 53209 15288 493 139.99 143.94/144.03 c 71111 1418 17510 4663884 266 46081 58530 17370 496 143.36 143.94/144.03 o 4941262 143.987 155.14/155.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 155.14/155.21 c 71889 1418 18289 4856411 265 48810 33036 18149 499 143.99 155.14/155.21 c 71991 1418 18391 4868811 264 48484 36340 18251 499 144.06 155.14/155.21 c 72242 1418 18642 4946268 265 49580 39975 18502 500 144.30 155.14/155.21 c 72717 1418 19117 5062302 264 50114 43973 18977 502 144.71 155.14/155.21 c 73530 1418 19930 5299285 265 52138 48371 19790 505 145.42 155.14/155.21 c 74850 1418 21250 5712188 268 54802 53209 21110 510 146.67 155.14/155.21 c 76935 1418 23335 6609294 283 58959 58530 23195 516 148.97 155.14/155.21 c 80159 1418 26559 7962289 299 65426 64384 26419 519 154.41 155.14/155.21 o 4426511 155.163 1800.04/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.04/1800.60 c 81414 1418 27815 8274763 297 68643 33036 27675 524 155.16 1800.04/1800.60 c 81514 1418 27915 8323859 298 68777 36340 27775 524 155.41 1800.04/1800.60 c 81764 1418 28165 8381338 297 69017 39975 28025 525 155.56 1800.04/1800.60 c 82240 1418 28641 8508034 297 70114 43973 28501 526 156.07 1800.04/1800.60 c 83054 1418 29455 8782792 298 71510 48371 29315 528 157.09 1800.04/1800.60 c 84378 1418 30779 9423106 306 74015 53209 30639 530 159.04 1800.04/1800.60 c 86459 1418 32860 10356692 315 78061 58530 32720 533 162.07 1800.04/1800.60 c 89682 1418 36083 11500456 318 84321 64384 35943 539 166.16 1800.04/1800.60 c 94618 1418 41019 13244306 322 93719 70823 40879 551 171.56 1800.04/1800.60 c 102124 1418 48525 16230097 334 109046 77906 48385 560 182.13 1800.04/1800.60 c 113486 1418 59887 21519807 359 131867 85697 59747 539 210.29 1800.04/1800.60 c 130632 1418 77033 26394822 342 165687 94267 76893 531 245.93 1800.04/1800.61 c 156452 1418 18258 4492846 246 47608 103694 18118 476 328.35 1800.04/1800.61 c 195285 1418 57091 20701793 362 125310 114064 56951 387 503.75 1800.04/1800.61 c 253638 1418 115444 47868400 414 241986 125471 115304 219 1153.38 1800.04/1800.61 c Caught signal: 15 1800.04/1800.61 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.04/1800.61 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 1800.04/1800.61 v -x55 -x56 -x57 -x58 -x59 -x60 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 1800.04/1800.61 v -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x691 -x692 -x693 -x694 -x695 -x696 -x697 1800.04/1800.61 v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 1800.04/1800.61 v -x719 -x720 -x1021 -x1022 -x1023 -x1024 -x1025 x1026 x1027 x1028 x1029 x1030 -x1031 x1032 x1033 -x1034 -x1035 -x1036 -x1037 1800.04/1800.61 v -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1351 -x1352 -x1353 -x1354 1800.04/1800.61 v -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 1800.04/1800.61 v -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 1800.04/1800.61 v -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 1800.04/1800.61 v -x1706 -x1707 -x1708 -x1709 -x1710 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 1800.04/1800.61 v -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 1800.04/1800.61 v -x2040 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 1800.04/1800.61 v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2671 -x2672 -x2673 1800.04/1800.61 v -x2674 -x2675 x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 1800.04/1800.61 v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 1800.04/1800.61 v -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 1800.04/1800.61 v -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 1800.04/1800.61 v -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 1800.04/1800.61 v -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 1800.04/1800.61 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 1800.04/1800.61 v x182 x183 x184 x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 1800.04/1800.61 v -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 1800.04/1800.61 v -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 1800.04/1800.61 v -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 1800.04/1800.61 v -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 1800.04/1800.61 v -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 1800.04/1800.61 v -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 1800.04/1800.61 v -x330 -x331 x332 -x333 -x334 -x335 x336 -x337 x338 x339 x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 1800.04/1800.61 v -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1800.04/1800.61 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1800.04/1800.61 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1800.04/1800.61 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1800.04/1800.61 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 1800.04/1800.61 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 1800.04/1800.61 v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 1800.04/1800.61 v -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 1800.04/1800.61 v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 1800.04/1800.61 v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 1800.04/1800.61 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 1800.04/1800.61 v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 1800.04/1800.61 v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 1800.04/1800.61 v -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 x672 -x673 -x674 -x675 1800.04/1800.61 v -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x721 -x722 -x723 -x724 -x725 -x726 1800.04/1800.61 v -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 1800.04/1800.61 v -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 1800.04/1800.61 v -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 1800.04/1800.61 v -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 1800.04/1800.61 v -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 1800.04/1800.61 v -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 1800.04/1800.61 v -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 x873 1800.04/1800.61 v x874 x875 x876 x877 x878 x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 1800.04/1800.61 v -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 1800.04/1800.61 v -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 1800.04/1800.61 v -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 1800.04/1800.61 v -x959 -x960 x961 x962 -x963 x964 x965 x966 x967 x968 x969 x970 x971 x972 x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 1800.04/1800.61 v -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 1800.04/1800.61 v -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 1800.04/1800.61 v -x1019 -x1020 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 x1063 -x1064 -x1065 1800.04/1800.61 v -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 1800.04/1800.61 v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 1800.04/1800.61 v -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 1800.04/1800.61 v -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 1800.04/1800.61 v -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 1800.04/1800.61 v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 1800.04/1800.61 v -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 1800.04/1800.61 v -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 1800.04/1800.61 v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 1800.04/1800.61 v -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 1800.04/1800.61 v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 1800.04/1800.61 v -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 1800.04/1800.61 v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 1800.04/1800.61 v -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 1800.04/1800.61 v -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 1800.04/1800.61 v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 1800.04/1800.61 v -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1381 -x1382 -x1383 -x1384 1800.04/1800.61 v -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 1800.04/1800.61 v -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 1800.04/1800.61 v -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 1800.04/1800.61 v -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 1800.04/1800.61 v -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 1800.04/1800.61 v -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 1800.04/1800.61 v -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 x1503 1800.04/1800.61 v -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 1800.04/1800.61 v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 1800.04/1800.61 v -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 1800.04/1800.61 v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 1800.04/1800.61 v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 1800.04/1800.61 v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 1800.04/1800.61 v -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 1800.04/1800.61 v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 1800.04/1800.61 v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 x1653 x1654 x1655 x1656 x1657 1800.04/1800.61 v x1658 x1659 x1660 -x1661 x1662 -x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 1800.04/1800.61 v -x1676 -x1677 -x1678 -x1679 -x1680 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 1800.04/1800.61 v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 1800.04/1800.61 v -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 1800.04/1800.61 v -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 1800.04/1800.61 v -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 1800.04/1800.61 v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 1800.04/1800.61 v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 1800.04/1800.61 v -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 x1832 x1833 x1834 x1835 x1836 x1837 x1838 x1839 x1840 x1841 -x1842 -x1843 1800.04/1800.61 v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 1800.04/1800.61 v x1861 x1862 x1863 x1864 x1865 x1866 x1867 x1868 x1869 x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 1800.04/1800.61 v -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 1800.04/1800.61 v -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 1800.04/1800.61 v -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x1929 -x1930 1800.04/1800.61 v x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 1800.04/1800.61 v -x1949 -x1950 -x1951 x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 x1959 x1960 -x1961 x1962 x1963 -x1964 -x1965 -x1966 1800.04/1800.61 v -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 1800.04/1800.61 v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 1800.04/1800.61 v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 1800.04/1800.61 v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 1800.04/1800.61 v -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 1800.04/1800.61 v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 1800.04/1800.61 v -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 x2115 1800.04/1800.61 v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 1800.04/1800.61 v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 1800.04/1800.61 v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 1800.04/1800.61 v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 1800.04/1800.61 v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 1800.04/1800.61 v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 1800.04/1800.61 v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 1800.04/1800.61 v -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 1800.04/1800.61 v -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 1800.04/1800.61 v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 1800.04/1800.61 v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 1800.04/1800.61 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 1800.04/1800.61 v -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 1800.04/1800.61 v -x2337 -x2338 -x2339 -x2340 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 1800.04/1800.61 v -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 1800.04/1800.61 v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 1800.04/1800.61 v -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 1800.04/1800.61 v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 1800.04/1800.61 v -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 1800.04/1800.61 v -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 1800.04/1800.61 v -x2486 -x2487 -x2488 -x2489 -x2490 x2491 x2492 x2493 x2494 x2495 x2496 x2497 x2498 x2499 x2500 x2501 -x2502 -x2503 -x2504 1800.04/1800.61 v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 1800.04/1800.61 v -x2522 x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 1800.04/1800.61 v -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 1800.04/1800.61 v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 1800.04/1800.61 v -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 x2584 x2585 x2586 x2587 x2588 -x2589 x2590 1800.04/1800.61 v x2591 x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 1800.04/1800.61 v -x2609 -x2610 x2611 x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 1800.04/1800.61 v -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 1800.04/1800.61 v -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 1800.04/1800.61 v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 1800.04/1800.61 v -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 1800.04/1800.61 v -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 1800.04/1800.61 v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 1800.04/1800.61 v -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 1800.04/1800.61 v -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 1800.04/1800.61 v -x2793 x2794 x2795 x2796 -x2797 x2798 x2799 x2800 -x2801 x2802 x2803 x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 1800.04/1800.61 v -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 1800.04/1800.61 v -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 1800.04/1800.61 v -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 1800.04/1800.61 v -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 1800.04/1800.61 v -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 1800.04/1800.61 v -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 x2912 x2913 -x2914 1800.04/1800.61 v -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 1800.04/1800.61 v -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 1800.04/1800.61 v -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 1800.04/1800.61 v -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 x2972 -x2973 -x2974 -x2975 -x2976 x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 1800.04/1800.61 v -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 1800.04/1800.61 v -x3001 -x3002 -x3013 -x3024 x3035 -x3046 -x3057 -x3068 -x3079 x3090 -x3003 -x3004 -x3005 x3006 x3007 -x3008 -x3009 -x3010 1800.04/1800.61 v -x3011 x3012 -x3014 -x3015 -x3016 -x3017 x3018 -x3019 x3020 -x3021 -x3022 x3023 -x3025 -x3026 -x3027 x3028 -x3029 x3030 1800.04/1800.61 v -x3031 -x3032 x3033 -x3034 x3036 x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3047 -x3048 -x3049 -x3050 1800.04/1800.61 v x3051 -x3052 -x3053 -x3054 -x3055 x3056 -x3058 -x3059 -x3060 -x3061 x3062 x3063 -x3064 x3065 x3066 -x3067 -x3069 -x3070 1800.04/1800.61 v x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3080 -x3081 -x3082 -x3083 x3084 x3085 -x3086 x3087 x3088 -x3089 1800.04/1800.61 v -x3091 -x3092 -x3093 x3094 -x3095 -x3096 -x3097 x3098 -x3099 x3100 1800.04/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.61 c 44 320560 32313 439560 66554 32865377 66414 178 1800.05 1800.04/1800.61 c Objective: 4426511 1800.04/1800.61 s SATISFIABLE 1800.04/1800.61 c Total time: 1800.05 s
OK 4426511
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-433139-1177955386 -o ROOT/results/node60/solver-433139-1177955386 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433139-1177955386/instance-433139-1177955386.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.77 0.92 0.95 3/64 450 /proc/meminfo: memFree=1850048/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=11892 CPUtime=0 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 243448605 12177408 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134526227 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 2973 333 279 324 0 2004 0 [startup+0.0756569 s] /proc/loadavg: 0.77 0.92 0.95 3/64 450 /proc/meminfo: memFree=1850048/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=5056 CPUtime=0.06 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 692 0 0 0 6 0 0 0 18 0 1 0 243448605 5177344 620 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551377 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 1264 620 309 324 0 334 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5056 [startup+0.102658 s] /proc/loadavg: 0.77 0.92 0.95 3/64 450 /proc/meminfo: memFree=1850048/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=5056 CPUtime=0.09 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 721 0 0 0 9 0 0 0 18 0 1 0 243448605 5177344 649 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 1264 649 309 324 0 334 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5056 [startup+0.302678 s] /proc/loadavg: 0.77 0.92 0.95 3/64 450 /proc/meminfo: memFree=1850048/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=6460 CPUtime=0.29 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 1068 0 0 0 29 0 0 0 19 0 1 0 243448605 6615040 996 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 1615 996 311 324 0 685 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6460 [startup+0.701718 s] /proc/loadavg: 0.77 0.92 0.95 3/64 450 /proc/meminfo: memFree=1850048/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=10068 CPUtime=0.69 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 1956 0 0 0 68 1 0 0 22 0 1 0 243448605 10309632 1884 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 2517 1884 311 324 0 1587 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10068 [startup+1.5018 s] /proc/loadavg: 0.77 0.92 0.95 2/65 451 /proc/meminfo: memFree=1841336/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=15884 CPUtime=1.49 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 3427 0 0 0 148 1 0 0 25 0 1 0 243448605 16265216 3355 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 3971 3355 311 324 0 3041 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15884 [startup+3.10195 s] /proc/loadavg: 0.77 0.92 0.95 2/65 451 /proc/meminfo: memFree=1833848/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=24760 CPUtime=3.09 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 5634 0 0 0 306 3 0 0 25 0 1 0 243448605 25354240 5562 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 6190 5562 311 324 0 5260 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24760 [startup+6.30127 s] /proc/loadavg: 0.79 0.92 0.95 2/65 451 /proc/meminfo: memFree=1819192/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=37408 CPUtime=6.28 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 8796 0 0 0 624 4 0 0 25 0 1 0 243448605 38305792 8724 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 9352 8724 311 324 0 8422 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 37408 [startup+12.7019 s] /proc/loadavg: 0.81 0.92 0.95 2/65 451 /proc/meminfo: memFree=1788352/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=67440 CPUtime=12.69 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 16321 0 0 0 1261 8 0 0 25 0 1 0 243448605 69058560 16249 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 16893 16250 311 324 0 15963 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 67440 [startup+25.5012 s] /proc/loadavg: 0.85 0.93 0.95 2/65 451 /proc/meminfo: memFree=1758464/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=95528 CPUtime=25.48 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 23336 0 0 0 2537 11 0 0 25 0 1 0 243448605 97820672 23264 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 23882 23264 311 324 0 22952 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 95528 [startup+51.1017 s] /proc/loadavg: 0.90 0.93 0.95 2/65 451 /proc/meminfo: memFree=1696512/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=158084 CPUtime=51.06 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 38956 0 0 0 5087 19 0 0 25 0 1 0 243448605 161878016 38884 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 39521 38884 311 324 0 38591 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 158084 [startup+102.306 s] /proc/loadavg: 0.95 0.94 0.95 2/65 451 /proc/meminfo: memFree=1627584/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=225860 CPUtime=102.26 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 55922 0 0 0 10196 30 0 0 25 0 1 0 243448605 231280640 55850 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5967400 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 56465 55850 311 324 0 55535 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 225860 [startup+162.302 s] /proc/loadavg: 0.98 0.95 0.95 2/65 451 /proc/meminfo: memFree=1586496/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=266560 CPUtime=162.23 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 66141 0 0 0 16187 36 0 0 25 0 1 0 243448605 272957440 66004 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551417 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 66640 66004 311 324 0 65710 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 266560 [startup+222.301 s] /proc/loadavg: 0.99 0.95 0.95 2/65 451 /proc/meminfo: memFree=1540672/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=312860 CPUtime=222.22 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 77728 0 0 0 22179 43 0 0 25 0 1 0 243448605 320368640 77591 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 78215 77591 311 324 0 77285 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 312860 [startup+282.302 s] /proc/loadavg: 0.99 0.96 0.95 2/65 451 /proc/meminfo: memFree=1460096/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=393896 CPUtime=282.21 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 97997 0 0 0 28162 59 0 0 25 0 1 0 243448605 403349504 97860 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5969531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 98474 97860 311 324 0 97544 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 393896 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 451 /proc/meminfo: memFree=1428424/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=424240 CPUtime=342.19 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 105672 0 0 0 34151 68 0 0 25 0 1 0 243448605 434421760 105440 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573224 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 106060 105440 311 324 0 105130 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 424240 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 451 /proc/meminfo: memFree=1428424/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=424240 CPUtime=402.18 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 105672 0 0 0 40150 68 0 0 25 0 1 0 243448605 434421760 105440 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 106060 105440 311 324 0 105130 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 424240 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 451 /proc/meminfo: memFree=1428488/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=424240 CPUtime=462.16 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 105672 0 0 0 46148 68 0 0 25 0 1 0 243448605 434421760 105440 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 106060 105440 311 324 0 105130 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 424240 [startup+522.303 s] /proc/loadavg: 0.99 0.97 0.95 2/65 451 /proc/meminfo: memFree=1428488/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=424240 CPUtime=522.15 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 105672 0 0 0 52147 68 0 0 25 0 1 0 243448605 434421760 105440 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 106060 105440 311 324 0 105130 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 424240 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 451 /proc/meminfo: memFree=1428488/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=424240 CPUtime=582.13 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 105672 0 0 0 58145 68 0 0 25 0 1 0 243448605 434421760 105440 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 106060 105440 311 324 0 105130 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 424240 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.95 2/65 451 /proc/meminfo: memFree=1421320/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=431516 CPUtime=642.12 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 107481 0 0 0 64143 69 0 0 25 0 1 0 243448605 441872384 107249 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550919 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 107879 107249 311 324 0 106949 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 431516 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 649 /proc/meminfo: memFree=1331656/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=520848 CPUtime=881.96 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 129816 0 0 0 88108 88 0 0 25 0 1 0 243448605 533348352 129584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 130212 129584 311 324 0 129282 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 520848 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.95 2/65 649 /proc/meminfo: memFree=1314376/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=538324 CPUtime=941.94 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 134172 0 0 0 94104 90 0 0 25 0 1 0 243448605 551243776 133940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 134581 133940 311 324 0 133651 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 538324 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 649 /proc/meminfo: memFree=1295304/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=557296 CPUtime=1001.93 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 138923 0 0 0 100099 94 0 0 25 0 1 0 243448605 570671104 138691 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 139324 138691 311 324 0 138394 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 557296 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 649 /proc/meminfo: memFree=1268616/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=584144 CPUtime=1061.91 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 145633 0 0 0 106093 98 0 0 25 0 1 0 243448605 598163456 145401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 146036 145401 311 324 0 145106 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 584144 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 649 /proc/meminfo: memFree=1240648/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=611908 CPUtime=1121.9 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 152568 0 0 0 112086 104 0 0 25 0 1 0 243448605 626593792 152336 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 152977 152336 311 324 0 152047 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 611908 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 649 /proc/meminfo: memFree=1164744/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=689356 CPUtime=1181.88 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 171954 0 0 0 118074 114 0 0 25 0 1 0 243448605 705900544 171722 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 172339 171722 311 324 0 171409 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 689356 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 649 /proc/meminfo: memFree=1135304/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=716612 CPUtime=1241.87 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 178878 0 0 0 124069 118 0 0 25 0 1 0 243448605 733810688 178520 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 179153 178520 311 324 0 178223 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 716612 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 649 /proc/meminfo: memFree=1135304/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=716612 CPUtime=1301.86 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 178878 0 0 0 130068 118 0 0 25 0 1 0 243448605 733810688 178520 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547271 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 179153 178520 311 324 0 178223 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 716612 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 649 /proc/meminfo: memFree=1135304/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=716612 CPUtime=1361.84 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 178878 0 0 0 136066 118 0 0 25 0 1 0 243448605 733810688 178520 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573442 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 179153 178520 311 324 0 178223 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 716612 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 649 /proc/meminfo: memFree=1135304/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=716612 CPUtime=1421.83 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 178878 0 0 0 142065 118 0 0 25 0 1 0 243448605 733810688 178520 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 179153 178520 311 324 0 178223 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 716612 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 649 /proc/meminfo: memFree=1135368/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=716612 CPUtime=1481.81 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 178878 0 0 0 148063 118 0 0 25 0 1 0 243448605 733810688 178520 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573224 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 179153 178520 311 324 0 178223 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 716612 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 649 /proc/meminfo: memFree=1135368/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=716612 CPUtime=1541.79 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 178878 0 0 0 154061 118 0 0 25 0 1 0 243448605 733810688 178520 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 179153 178520 311 324 0 178223 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 716612 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 649 /proc/meminfo: memFree=1135368/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=716612 CPUtime=1601.78 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 178878 0 0 0 160060 118 0 0 25 0 1 0 243448605 733810688 178520 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 179153 178520 311 324 0 178223 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 716612 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 649 /proc/meminfo: memFree=1135368/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=716612 CPUtime=1661.76 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 178878 0 0 0 166058 118 0 0 25 0 1 0 243448605 733810688 178520 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 179153 178520 311 324 0 178223 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 716612 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 649 /proc/meminfo: memFree=1135368/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=716612 CPUtime=1721.75 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 178878 0 0 0 172056 119 0 0 25 0 1 0 243448605 733810688 178520 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 179153 178520 311 324 0 178223 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 716612 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.95 2/65 649 /proc/meminfo: memFree=1135304/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=716612 CPUtime=1781.74 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 178878 0 0 0 178055 119 0 0 25 0 1 0 243448605 733810688 178520 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 179153 178520 311 324 0 178223 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 716612 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.95 2/65 649 /proc/meminfo: memFree=1135304/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=716612 CPUtime=1800.04 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194304 178878 0 0 0 179885 119 0 0 25 0 1 0 243448605 733810688 178520 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/450/statm: 179153 178520 311 324 0 178223 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 716612 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.95 2/65 649 /proc/meminfo: memFree=1135304/2055920 swapFree=4183304/4192956 [pid=450] ppid=448 vsize=0 CPUtime=1800.14 /proc/450/stat : 450 (bsolo3.0.17) R 448 450 387 0 -1 4194308 178882 0 0 0 179885 129 0 0 17 0 1 0 243448605 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0 /proc/450/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.72 CPU time (s): 1800.15 CPU user time (s): 1798.86 CPU system time (s): 1.2968 CPU usage (%): 99.9687 Max. virtual memory (cumulated for all children) (KiB): 717116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.86 system time used= 1.2968 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 178882 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= 15 involuntary context switches= 2949 runsolver used 1.42278 second user time and 3.55446 second system time The end
Begin job on node60 on Mon Apr 30 17:49:46 UTC 2007 IDJOB= 433139 IDBENCH= 2291 IDSOLVER= 199 FILE ID= node60/433139-1177955386 PBS_JOBID= 4727708 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10a.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433139-1177955386/instance-433139-1177955386.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-433139-1177955386 -o ROOT/results/node60/solver-433139-1177955386 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433139-1177955386/instance-433139-1177955386.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 3aa00837dd74901ce1879f04fea91920 RANDOM SEED= 899604319 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.214 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.214 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1850648 kB Buffers: 18340 kB Cached: 112084 kB SwapCached: 3672 kB Active: 31196 kB Inactive: 108688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1850648 kB SwapTotal: 4192956 kB SwapFree: 4183304 kB Dirty: 6932 kB Writeback: 0 kB Mapped: 15484 kB Slab: 51420 kB Committed_AS: 2705936 kB PageTables: 1464 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node60 on Mon Apr 30 18:19:49 UTC 2007