Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 258411 | 859.577 | 859.813 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-p0282.opb |
MD5SUM | 3d08eecd6841b46afc4009161d25bc6a |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 258411 |
Best CPU time to get the best result obtained on this benchmark | 4.08138 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 258411 |
Optimality of the best value was proved | YES |
Number of variables | 282 |
Total number of constraints | 221 |
Number of constraints which are clauses | 177 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 44 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 57 |
Number of terms in the objective function | 282 |
Biggest coefficient in the objective function | 160646 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 1302615 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 160646 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 1302615 |
Number of bits of the biggest sum of numbers | 21 |
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/362148-1177007362/instance-362148-1177007362.opb 0.00/0.00 c File size is 17174 bytes. 0.00/0.00 c Highest Coefficient sum: 1.30262e+06 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 282 Constr: 221 177/0/44 Lit: 1484 Watch. Lit: 720 0.00/0.00 c Obj. Vars: 282 (100 % of total variables) 0.00/0.01 c Pre-processing Time: 0.006 s 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 202 221 1484 6 756 2318 0 0 0.01 0.00/0.02 c Initial Lower Bound: 176868 0.00/0.02 c Initial Path Cost: 0 0.00/0.02 c 100 202 321 2734 8 1003 2550 100 6250 0.02 0.00/0.02 o 543198 0.017 0.06/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.09 c 152 202 374 3431 9 1270 2722 153 8941 0.02 0.06/0.09 o 406923 0.089 * 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 152 202 375 3633 9 1475 2722 154 1707 0.09 0.09/0.16 o 387919 0.161 * 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 152 202 376 3835 10 1699 2722 155 944 0.16 0.19/0.24 o 383896 0.232 * 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 153 202 378 4086 10 1899 2722 157 659 0.23 0.29/0.31 o 382955 0.304 * 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 161 202 387 4644 12 2132 2722 166 529 0.30 0.29/0.38 o 382022 0.376 * 0.39/0.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.45 c 166 202 393 5059 12 2339 2722 172 441 0.38 0.39/0.45 o 381624 0.446 * 0.49/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.52 c 176 202 404 5709 14 2546 2722 183 394 0.45 0.49/0.52 o 379989 0.512 * 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 176 202 405 5911 14 2737 2722 184 343 0.51 0.49/0.58 o 378958 0.578 * 0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.65 c 177 202 407 6161 15 2930 2722 186 306 0.58 0.59/0.65 o 378841 0.644 * 0.68/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.68/0.73 c 179 202 410 6466 15 3128 2722 189 277 0.64 0.68/0.73 o 377827 0.723 * 0.88/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.88/0.97 c 203 202 437 7785 17 3375 2722 216 280 0.72 0.88/0.97 c 304 202 542 12334 22 3619 2995 321 343 0.89 0.88/0.97 o 376579 0.968 * 0.99/1.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.03 c 330 202 574 14143 24 3829 2722 353 340 0.97 0.99/1.03 o 376295 1.029 * 0.99/1.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.09 c 330 202 575 14345 24 4014 2722 354 320 1.03 0.99/1.09 o 376097 1.087 * 1.48/1.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.48/1.50 c 330 202 576 14547 25 4202 2722 355 303 1.09 1.48/1.50 c 430 202 761 23920 31 4565 2995 540 338 1.27 1.48/1.50 o 360357 1.498 * 1.69/1.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.72 c 558 202 902 31075 34 5008 2722 681 372 1.50 1.69/1.72 c 659 202 1035 36580 35 5291 2995 814 394 1.67 1.69/1.72 o 326827 1.717 * 1.79/1.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.80 c 659 202 1036 36782 35 5286 2722 815 383 1.72 1.79/1.80 o 290047 1.797 * 1.79/1.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.89 c 660 202 1039 37034 35 5585 2722 818 367 1.80 1.79/1.89 o 289094 1.888 * 1.88/1.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.88/1.97 c 686 202 1068 38644 36 5795 2722 847 363 1.89 1.88/1.97 o 288702 1.959 * 3.18/3.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.18/3.20 c 704 202 1089 39864 36 6033 2722 868 359 1.96 3.18/3.20 c 804 202 1229 45700 37 6296 2995 1008 376 2.14 3.18/3.20 c 1056 202 1519 56247 37 7011 3295 1298 428 2.46 3.18/3.20 c 1533 202 2263 84890 37 8329 3625 2042 488 3.14 3.18/3.20 o 281774 3.198 * 312.10/312.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 312.10/312.22 c 1542 202 2275 85419 37 8677 2722 2054 482 3.20 312.10/312.22 c 1643 202 2450 92767 37 9027 2995 2229 487 3.37 312.10/312.22 c 1893 202 2869 108147 37 9841 3295 2648 504 3.75 312.10/312.22 c 2369 202 1927 65015 33 4708 3625 1706 494 4.79 312.10/312.22 c 3182 202 3296 116756 35 7301 3988 3075 546 5.82 312.10/312.22 c 4502 202 2974 111125 37 6648 4387 2753 609 7.38 312.10/312.22 c 6583 202 3677 112689 30 8028 4826 3456 639 10.29 312.10/312.22 c 9806 202 3911 145912 37 8528 5309 3690 676 14.50 312.10/312.22 c 14744 202 3066 122997 40 6882 5840 2845 714 20.64 312.10/312.22 c 22251 202 4731 200332 42 10209 6425 4510 741 30.02 312.10/312.22 c 33612 202 5810 209723 36 12312 7068 5589 720 46.62 312.10/312.22 c 50756 202 7316 312232 42 15343 7775 7095 721 70.32 312.10/312.22 c 76576 202 5594 185139 33 11842 8553 5373 741 103.33 312.10/312.22 c 115408 202 6898 329577 47 14502 9409 6677 738 156.34 312.10/312.22 c 173761 202 4972 237981 47 10756 10350 4751 700 248.19 312.10/312.22 o 281508 312.128 * 312.50/312.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 312.50/312.64 c 216983 202 6164 300748 48 13266 2722 5943 695 312.13 312.50/312.64 c 217083 202 1765 79628 45 4245 2995 1544 694 312.36 312.50/312.64 o 279293 312.548 * 363.58/363.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 363.58/363.79 c 217212 202 1913 83743 43 4812 2722 1692 694 312.55 363.58/363.79 c 217312 202 2062 88501 42 5082 2995 1841 694 312.74 363.58/363.79 c 217562 202 2502 103979 41 5919 3295 2281 694 313.12 363.58/363.79 c 218039 202 3229 127793 39 7369 3625 3008 694 313.83 363.58/363.79 c 218852 202 2672 92902 34 6064 3988 2451 694 314.99 363.58/363.79 c 220172 202 2354 78050 33 5515 4387 2133 695 316.68 363.58/363.79 c 222253 202 3921 140135 35 8641 4826 3700 694 320.13 363.58/363.79 c 225476 202 3849 162650 42 8419 5309 3628 695 324.16 363.58/363.79 c 230414 202 4362 128901 29 9393 5840 4141 697 330.51 363.58/363.79 c 237921 202 4580 176128 38 9906 6425 4359 700 339.81 363.58/363.79 c 249283 202 3837 147836 38 8391 7068 3616 701 355.39 363.58/363.79 o 276454 363.688 * 634.21/634.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 634.21/634.41 c 255656 202 4673 138537 29 10295 2722 4452 702 363.69 634.21/634.41 c 255757 202 1770 55530 31 4329 2995 1549 702 363.91 634.21/634.41 c 256008 202 2056 66221 32 4795 3295 1835 702 364.20 634.21/634.41 c 256484 202 2644 84590 31 5996 3625 2423 703 364.80 634.21/634.41 c 257297 202 3607 113102 31 7922 3988 3386 703 365.89 634.21/634.41 c 258617 202 3745 103876 27 8171 4387 3524 703 367.71 634.21/634.41 c 260699 202 3890 125465 32 8467 4826 3669 704 369.95 634.21/634.41 c 263923 202 3835 139665 36 8427 5309 3614 704 374.84 634.21/634.41 c 268859 202 4100 120028 29 8859 5840 3879 706 380.50 634.21/634.41 c 276365 202 5244 162839 31 11211 6425 5023 707 390.52 634.21/634.41 c 287727 202 5587 163923 29 11894 7068 5366 710 404.82 634.21/634.41 c 304872 202 6638 231918 34 13960 7775 6417 711 428.23 634.21/634.41 c 330691 202 7305 214702 29 15318 8553 7084 713 463.48 634.21/634.41 c 369523 202 7662 253388 33 16007 9409 7441 715 516.71 634.21/634.41 c 427875 202 8566 267033 31 17775 10350 8345 706 605.30 634.21/634.41 o 275956 634.236 * 635.02/635.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 635.02/635.24 c 447644 201 9431 276820 29 19842 2720 9210 705 634.24 635.02/635.24 c 447745 201 1705 46189 27 4180 2993 1484 705 634.52 635.02/635.24 c 447997 201 2031 56374 27 4805 3293 1810 705 634.89 635.02/635.24 o 275281 635.066 * 635.32/635.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 635.32/635.57 c 448066 201 2117 58884 27 5213 2720 1896 705 635.07 635.32/635.57 c 448167 201 2249 64995 28 5496 2993 2028 705 635.23 635.32/635.57 o 274152 635.399 * 636.32/636.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 636.32/636.55 c 448257 201 2375 70359 29 5888 2720 2154 705 635.40 636.32/636.55 c 448358 201 2519 76279 30 6195 2993 2298 705 635.56 636.32/636.55 c 448608 201 2943 94791 32 7051 3293 2722 705 635.98 636.32/636.55 o 274087 636.38 * 648.21/648.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 648.21/648.41 c 448862 201 3348 110011 32 8047 2720 3127 705 636.38 648.21/648.41 c 448962 201 1717 53962 31 4233 2993 1496 705 636.54 648.21/648.41 c 449212 201 2160 75163 34 5142 3293 1939 705 636.94 648.21/648.41 c 449687 201 2979 112950 37 6802 3623 2758 705 637.71 648.21/648.41 c 450500 201 2352 84258 35 5514 3986 2131 705 638.93 648.21/648.41 c 451820 201 3991 154337 38 8776 4385 3770 705 640.41 648.21/648.41 c 453902 201 2580 116759 45 5958 4824 2359 705 643.28 648.21/648.41 c 457125 201 4584 190467 41 9958 5307 4363 705 647.62 648.21/648.41 o 273581 648.234 * 649.82/650.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 649.82/650.04 c 457596 201 5307 219665 41 11592 2720 5086 705 648.23 649.82/650.04 c 457696 201 1714 61247 35 4209 2993 1493 705 648.42 649.82/650.04 c 457946 201 2011 70208 34 4769 3293 1790 705 648.75 649.82/650.04 c 458421 201 2923 92834 31 6683 3623 2702 705 649.55 649.82/650.04 o 273242 649.862 * 651.01/651.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 651.01/651.25 c 458620 201 3231 104927 32 7443 2720 3010 705 649.86 651.01/651.25 c 458720 201 1714 49582 28 4219 2993 1493 705 650.00 651.01/651.25 c 458970 201 2130 69483 32 5100 3293 1909 705 650.39 651.01/651.25 c 459445 201 2705 94826 35 6186 3623 2484 705 650.95 651.01/651.25 o 273130 651.073 * 652.81/653.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 652.81/653.05 c 459507 201 2795 97593 34 6553 2720 2574 705 651.07 652.81/653.05 c 459607 201 2943 104191 35 6858 2993 2722 705 651.23 652.81/653.05 c 459857 201 1745 60772 34 4324 3293 1524 705 651.63 652.81/653.05 c 460332 201 2552 90555 35 5900 3623 2331 705 652.43 652.81/653.05 o 272851 652.873 * 654.31/654.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 654.31/654.53 c 460666 201 3067 112883 36 7088 2720 2846 705 652.87 654.31/654.53 c 460766 201 1724 56929 33 4242 2993 1503 705 653.03 654.31/654.53 c 461016 201 2184 77149 35 5196 3293 1963 705 653.45 654.31/654.53 c 461491 201 3077 99900 32 6996 3623 2856 705 654.24 654.31/654.53 o 265982 654.35 * 658.01/658.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 658.01/658.26 c 461536 201 3138 101710 32 7312 2720 2917 705 654.35 658.01/658.26 c 461636 201 1743 53542 30 4276 2993 1522 705 654.52 658.01/658.26 c 461886 201 2101 66941 31 4958 3293 1880 705 654.83 658.01/658.26 c 462361 201 2882 106390 36 6615 3623 2661 705 655.50 658.01/658.26 c 463174 201 2147 77936 36 5040 3986 1926 705 656.52 658.01/658.26 o 265367 658.082 * 662.21/662.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 662.21/662.42 c 464478 201 3967 145371 36 8953 2720 3746 705 658.08 662.21/662.42 c 464578 201 1769 56610 32 4312 2993 1548 705 658.24 662.21/662.42 c 464828 201 2122 72720 34 5019 3293 1901 705 658.55 662.21/662.42 c 465303 201 2902 108975 37 6636 3623 2681 705 659.26 662.21/662.42 c 466117 201 2224 85708 38 5255 3986 2003 705 660.35 662.21/662.42 c 467437 201 4145 164831 39 9093 4385 3924 706 662.07 662.21/662.42 o 264953 662.236 * 669.91/670.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 669.91/670.17 c 467559 201 4304 171854 39 9608 2720 4083 706 662.24 669.91/670.17 c 467659 201 1721 60264 35 4197 2993 1500 706 662.39 669.91/670.17 c 467909 201 2049 70857 34 4872 3293 1828 706 662.72 669.91/670.17 c 468384 201 2760 101677 36 6287 3623 2539 706 663.34 669.91/670.17 c 469199 201 2036 64692 31 4898 3986 1815 705 664.66 669.91/670.17 c 470519 201 2217 80222 36 5338 4385 1996 705 666.67 669.91/670.17 c 472601 201 3327 146848 44 7432 4824 3106 705 669.83 669.91/670.17 o 264219 669.99 * 697.40/697.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 697.40/697.67 c 472721 201 3470 151121 43 7940 2720 3249 705 669.99 697.40/697.67 c 472822 201 1708 67540 39 4220 2993 1487 705 670.13 697.40/697.67 c 473073 201 2120 88585 41 5023 3293 1899 705 670.56 697.40/697.67 c 473549 201 2881 118952 41 6547 3623 2660 705 671.41 697.40/697.67 c 474362 201 2131 75996 35 5068 3986 1910 705 672.52 697.40/697.67 c 475683 201 2219 72817 32 5241 4385 1998 705 674.48 697.40/697.67 c 477765 201 2584 79384 30 5955 4824 2363 705 677.04 697.40/697.67 c 480989 201 5039 210343 41 10974 5307 4818 705 681.43 697.40/697.67 c 485925 201 4201 153222 36 9205 5838 3980 704 689.39 697.40/697.67 o 263545 697.483 * 703.60/703.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 703.60/703.80 c 492412 201 3980 143203 35 8981 2720 3759 705 697.48 703.60/703.80 c 492512 201 1728 53510 30 4298 2993 1507 705 697.66 703.60/703.80 c 492763 201 2131 71688 33 5070 3293 1910 705 698.14 703.60/703.80 c 493240 201 2809 103834 36 6411 3623 2588 705 698.75 703.60/703.80 c 494053 201 2257 80698 35 5404 3986 2036 705 700.09 703.60/703.80 c 495374 201 3919 142847 36 8637 4385 3698 706 701.61 703.60/703.80 o 263216 703.607 * 747.69/747.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 747.69/747.93 c 497040 201 3803 146121 38 8648 2720 3582 706 703.61 747.69/747.93 c 497140 201 1735 66441 38 4252 2993 1514 706 703.79 747.69/747.93 c 497391 201 2035 76592 37 4804 3293 1814 706 704.15 747.69/747.93 c 497866 201 2918 112183 38 6638 3623 2697 706 704.86 747.69/747.93 c 498680 201 2186 73479 33 5189 3986 1965 706 706.19 747.69/747.93 c 500000 201 4198 147015 35 9225 4385 3977 706 707.78 747.69/747.93 c 502081 201 3065 116258 37 6943 4824 2844 706 710.78 747.69/747.93 c 505304 201 2636 95406 36 6052 5307 2415 707 714.65 747.69/747.93 c 510240 201 5185 206415 39 11276 5838 4964 706 721.86 747.69/747.93 c 517746 200 3205 105763 32 7234 6422 2984 707 731.85 747.69/747.93 c 529107 200 5957 216821 36 12744 7065 5736 708 746.74 747.69/747.93 o 263034 747.728 * 773.18/773.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 773.18/773.45 c 529703 200 6913 250145 36 14842 2718 6692 708 747.73 773.18/773.45 c 529803 200 1750 54443 31 4369 2990 1529 708 747.96 773.18/773.45 c 530053 200 2156 70623 32 5057 3290 1935 708 748.38 773.18/773.45 c 530528 200 2939 101291 34 6678 3620 2718 708 749.02 773.18/773.45 c 531341 200 2388 78068 32 5558 3983 2167 708 750.35 773.18/773.45 c 532661 200 2518 84171 33 5844 4382 2297 707 752.39 773.18/773.45 c 534742 200 3582 129246 36 7996 4821 3361 707 755.87 773.18/773.45 c 537965 200 3098 88902 28 7013 5304 2877 707 760.57 773.18/773.45 c 542901 200 3433 138394 40 7720 5835 3212 706 767.95 773.18/773.45 o 262906 773.241 * 806.67/806.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 806.67/806.99 c 546276 200 5811 220999 38 12624 2718 5590 706 773.24 806.67/806.99 c 546376 200 1742 58911 33 4260 2990 1521 706 773.42 806.67/806.99 c 546627 200 2170 75008 34 5229 3290 1949 706 773.81 806.67/806.99 c 547102 200 2962 103881 35 6724 3620 2741 706 774.50 806.67/806.99 c 547915 200 2127 61621 28 5038 3983 1906 706 775.64 806.67/806.99 c 549235 200 3967 106257 26 8734 4382 3746 706 777.55 806.67/806.99 c 551317 198 2442 66973 27 5713 4821 2221 706 780.47 806.67/806.99 c 554540 198 4915 166518 33 10617 5304 4694 706 784.56 806.67/806.99 c 559476 198 4786 161209 33 10379 5835 4565 706 791.76 806.67/806.99 c 566982 198 6096 179011 29 12969 6419 5875 707 801.74 806.67/806.99 o 260266 806.77 * 819.46/819.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 819.46/819.71 c 570783 198 5205 191060 36 11427 2714 4984 707 806.77 819.46/819.71 c 570884 198 1731 51810 29 4278 2986 1510 707 806.95 819.46/819.71 c 571134 198 2193 66503 30 5274 3285 1972 707 807.36 819.46/819.71 c 571610 198 2864 83681 29 6516 3614 2643 707 808.20 819.46/819.71 c 572423 198 3906 117628 30 8574 3976 3685 707 809.34 819.46/819.71 c 573743 198 3796 108164 28 8409 4374 3575 707 811.13 819.46/819.71 c 575825 198 4478 145061 32 9787 4812 4257 707 813.61 819.46/819.71 c 579048 198 3826 139818 36 8475 5294 3605 708 817.73 819.46/819.71 o 259553 819.488 * 829.96/830.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 829.96/830.27 c 580168 198 2977 96394 32 6964 2714 2756 707 819.49 829.96/830.27 c 580268 198 1693 47120 27 4212 2986 1472 707 819.67 829.96/830.27 c 580518 198 2123 61438 28 5087 3285 1902 707 820.07 829.96/830.27 c 580994 198 2918 87365 29 6665 3614 2697 707 820.83 829.96/830.27 c 581808 198 2110 57133 27 4994 3976 1889 707 821.93 829.96/830.27 c 583128 198 2393 66798 27 5660 4374 2172 707 824.06 829.96/830.27 c 585209 198 3580 111159 31 7953 4812 3359 707 827.05 829.96/830.27 o 259540 830.049 * 845.67/845.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 845.67/845.96 c 587195 198 4048 116681 28 9108 2714 3827 707 830.05 845.67/845.96 c 587297 198 1721 43669 25 4247 2986 1500 707 830.19 845.67/845.96 c 587548 198 2150 54186 25 5061 3285 1929 707 830.57 845.67/845.96 c 588023 197 2828 73049 25 6445 3614 2607 707 831.26 845.67/845.96 c 588836 197 2158 52790 24 5075 3976 1937 707 832.46 845.67/845.96 c 590156 197 3858 106609 27 8543 4374 3637 707 834.34 845.67/845.96 c 592237 197 4157 132056 31 9147 4812 3936 707 836.77 845.67/845.96 c 595460 197 3411 112240 32 7591 5294 3190 708 840.67 845.67/845.96 o 259328 845.731 * 854.86/855.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 854.86/855.14 c 598684 197 3256 105062 32 7517 2712 3035 707 845.73 854.86/855.14 c 598784 197 1728 47341 27 4298 2984 1507 707 845.89 854.86/855.14 c 599035 197 2020 55429 27 4838 3283 1799 707 846.16 854.86/855.14 c 599510 197 2609 72826 27 6013 3612 2388 707 846.79 854.86/855.14 c 600323 197 3757 105995 28 8305 3974 3536 708 847.85 854.86/855.14 c 601644 197 3860 102247 26 8527 4372 3639 707 849.89 854.86/855.14 c 603725 197 2562 66900 26 5904 4810 2341 707 852.88 854.86/855.14 o 259321 854.912 * 859.06/859.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 859.06/859.35 c 605072 196 4727 127905 27 10462 2710 4506 707 854.91 859.06/859.35 c 605172 196 1703 38063 22 4157 2982 1482 707 855.07 859.06/859.35 c 605423 196 2056 49399 24 4920 3281 1835 707 855.40 859.06/859.35 c 605900 196 2685 67763 25 6160 3610 2464 707 855.95 859.06/859.35 c 606713 196 3751 103756 27 8307 3972 3530 707 857.08 859.06/859.35 c 608033 195 3215 88887 27 7236 4370 2994 708 858.61 859.06/859.35 o 259299 859.122 * 859.06/859.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 859.06/859.40 c 608426 191 3826 106250 27 8663 2700 3605 708 859.12 859.06/859.40 o 259067 859.164 * 859.16/859.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 859.16/859.43 c 608447 191 1605 39170 24 4218 2700 1384 708 859.16 859.16/859.43 o 258945 859.199 * 859.26/859.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 859.26/859.58 c 608475 191 1637 40445 24 4470 2700 1416 708 859.20 859.26/859.58 c 608575 191 1765 44842 25 4725 2971 1544 708 859.30 859.26/859.58 o 258723 859.351 * 859.36/859.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 859.36/859.63 c 608604 191 1813 46375 25 5021 2700 1592 708 859.35 859.36/859.63 o 258643 859.399 * 859.36/859.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 859.36/859.64 c 608635 191 1856 47962 25 5288 2700 1635 708 859.40 859.36/859.64 o 258411 859.413 * 859.56/859.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 859.56/859.80 c 608637 191 1859 48232 25 5480 2700 1638 708 859.41 859.56/859.80 c 608737 191 1990 52689 26 5762 2971 1769 708 859.54 859.56/859.80 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 859.56/859.80 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 859.56/859.80 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 859.56/859.80 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 x104 -x105 859.56/859.80 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 859.56/859.80 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 859.56/859.80 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 859.56/859.80 v -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 859.56/859.80 v -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 859.56/859.80 v -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 859.56/859.80 v -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 x241 -x242 x243 x244 x245 -x246 x247 -x248 x249 -x250 -x251 x252 -x253 859.56/859.80 v -x254 x255 -x256 x257 x258 -x259 -x260 x261 -x262 x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 859.56/859.80 v x276 x277 x278 -x279 -x280 x281 x282 859.56/859.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 859.56/859.80 c 208 608763 39173 681921 2018 52947 1797 708 859.57 859.56/859.80 c Objective: 258411 859.56/859.80 s OPTIMUM FOUND 859.56/859.80 c Total time: 859.573 s
OK 258411
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node47/watcher-362148-1177007362 -o ROOT/results/node47/solver-362148-1177007362 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362148-1177007362/instance-362148-1177007362.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.92 0.99 0.99 3/77 15964 /proc/meminfo: memFree=1778200/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=11756 CPUtime=0 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 55581548 12038144 337 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134545728 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 2939 339 283 324 0 2003 0 [startup+0.0746059 s] /proc/loadavg: 0.92 0.99 0.99 3/77 15964 /proc/meminfo: memFree=1778200/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=5196 CPUtime=0.06 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 1670 0 2 0 6 0 0 0 18 0 1 0 55581548 5320704 615 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10954363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 1299 615 392 324 0 368 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5196 [startup+0.101608 s] /proc/loadavg: 0.92 0.99 0.99 3/77 15964 /proc/meminfo: memFree=1778200/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=5004 CPUtime=0.09 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 2381 0 2 0 8 1 0 0 18 0 1 0 55581548 5124096 605 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 1251 613 392 324 0 320 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5004 [startup+0.30163 s] /proc/loadavg: 0.92 0.99 0.99 3/77 15964 /proc/meminfo: memFree=1778200/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=5036 CPUtime=0.29 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 7020 0 2 0 27 2 0 0 19 0 1 0 55581548 5156864 603 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10954363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 1259 603 392 324 0 328 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5036 [startup+0.701673 s] /proc/loadavg: 0.92 0.99 0.99 3/77 15964 /proc/meminfo: memFree=1778200/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=5284 CPUtime=0.68 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 12310 0 2 0 64 4 0 0 22 0 1 0 55581548 5410816 666 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10953739 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 1321 666 392 324 0 390 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 5284 [startup+1.50176 s] /proc/loadavg: 0.92 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1776400/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=5636 CPUtime=1.48 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 18809 0 2 0 141 7 0 0 25 0 1 0 55581548 5771264 804 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 1409 804 392 324 0 478 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 5636 [startup+3.10193 s] /proc/loadavg: 0.92 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1775568/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=6484 CPUtime=3.08 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 22445 0 2 0 298 10 0 0 25 0 1 0 55581548 6639616 1013 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10954363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 1621 1013 392 324 0 690 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 6484 [startup+6.30128 s] /proc/loadavg: 0.93 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1773968/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=7192 CPUtime=6.28 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 30264 0 2 0 614 14 0 0 25 0 1 0 55581548 7364608 1239 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 1798 1239 392 324 0 867 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 7192 [startup+12.702 s] /proc/loadavg: 0.93 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1773776/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=7468 CPUtime=12.68 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 60189 0 2 0 1233 35 0 0 25 0 1 0 55581548 7647232 1316 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 1867 1316 392 324 0 936 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 7468 [startup+25.5014 s] /proc/loadavg: 0.95 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1772496/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=9160 CPUtime=25.48 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 99196 0 2 0 2488 60 0 0 25 0 1 0 55581548 9379840 1650 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10985175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 2290 1650 392 324 0 1359 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 9160 [startup+51.1021 s] /proc/loadavg: 0.96 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1771984/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=9732 CPUtime=51.07 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 164291 0 2 0 5001 106 0 0 25 0 1 0 55581548 9965568 1847 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10950494 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 2433 1847 392 324 0 1502 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 9732 [startup+102.307 s] /proc/loadavg: 0.98 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1771216/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=10304 CPUtime=102.26 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 267832 0 2 0 10046 180 0 0 25 0 1 0 55581548 10551296 1995 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 2576 1995 392 324 0 1645 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 10304 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1769936/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=11760 CPUtime=162.24 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 432587 0 2 0 15917 307 0 0 25 0 1 0 55581548 12042240 2301 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10954309 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 2940 2302 392 324 0 2009 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 11760 [startup+222.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1769552/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=12280 CPUtime=222.22 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 668641 0 2 0 21739 483 0 0 25 0 1 0 55581548 12574720 2385 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10954309 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 3070 2385 392 324 0 2139 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 12280 [startup+282.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1768976/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=12524 CPUtime=282.21 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 938228 0 2 0 27567 654 0 0 25 0 1 0 55581548 12824576 2508 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10954309 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 3131 2508 392 324 0 2200 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 12524 [startup+342.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1768464/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=12880 CPUtime=342.19 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 1011275 0 2 0 33488 731 0 0 25 0 1 0 55581548 13189120 2664 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135447827 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 3220 2664 392 324 0 2289 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 12880 [startup+402.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1768592/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=12472 CPUtime=402.17 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 1060934 0 2 0 39444 773 0 0 25 0 1 0 55581548 12771328 2582 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135447840 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 3118 2582 392 324 0 2187 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 12472 [startup+462.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1768592/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=12472 CPUtime=462.16 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 1168261 0 2 0 45360 856 0 0 25 0 1 0 55581548 12771328 2584 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134705773 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 3118 2584 392 324 0 2187 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 12472 [startup+522.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1768592/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=12472 CPUtime=522.14 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 1246970 0 2 0 51289 925 0 0 25 0 1 0 55581548 12771328 2584 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 3118 2584 392 324 0 2187 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 12472 [startup+582.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1768656/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=12472 CPUtime=582.13 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 1375977 0 2 0 57195 1018 0 0 25 0 1 0 55581548 12771328 2584 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 3118 2584 392 324 0 2187 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 12472 [startup+642.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1768656/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=12468 CPUtime=642.12 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 1536166 0 2 0 63081 1131 0 0 25 0 1 0 55581548 12767232 2584 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134707697 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 3117 2584 392 324 0 2186 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 12468 [startup+702.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1768656/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=12440 CPUtime=702.1 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 1536167 0 2 0 69073 1137 0 0 25 0 1 0 55581548 12738560 2578 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134706806 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 3110 2578 393 324 0 2179 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 12440 [startup+762.305 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1768656/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=12428 CPUtime=762.09 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 1536167 0 2 0 75066 1143 0 0 25 0 1 0 55581548 12726272 2575 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134706808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 3107 2575 393 324 0 2176 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 12428 [startup+822.302 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1768720/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=12408 CPUtime=822.07 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 1536167 0 2 0 81058 1149 0 0 25 0 1 0 55581548 12705792 2574 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 3102 2574 393 324 0 2171 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 12408 Solver just ended. Dumping a history of the last processes samples [startup+844.701 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1768720/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=12404 CPUtime=844.47 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 1536167 0 2 0 83296 1151 0 0 25 0 1 0 55581548 12701696 2573 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 3101 2573 393 324 0 2170 0 Current children cumulated CPU time (s) 844.47 Current children cumulated vsize (KiB) 12404 [startup+851.102 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1768720/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=12400 CPUtime=850.86 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 1536167 0 2 0 83935 1151 0 0 25 0 1 0 55581548 12697600 2572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 3100 2572 393 324 0 2169 0 Current children cumulated CPU time (s) 850.86 Current children cumulated vsize (KiB) 12400 [startup+854.301 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1768720/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=12400 CPUtime=854.06 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 1536167 0 2 0 84255 1151 0 0 25 0 1 0 55581548 12697600 2572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 3100 2572 393 324 0 2169 0 Current children cumulated CPU time (s) 854.06 Current children cumulated vsize (KiB) 12400 [startup+857.502 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1768720/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=12400 CPUtime=857.26 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 1536167 0 2 0 84574 1152 0 0 25 0 1 0 55581548 12697600 2572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 3100 2572 393 324 0 2169 0 Current children cumulated CPU time (s) 857.26 Current children cumulated vsize (KiB) 12400 [startup+859.106 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1768720/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=12400 CPUtime=858.86 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 1536167 0 2 0 84734 1152 0 0 25 0 1 0 55581548 12697600 2572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 3100 2572 393 324 0 2169 0 Current children cumulated CPU time (s) 858.86 Current children cumulated vsize (KiB) 12400 [startup+859.502 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1768720/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=12400 CPUtime=859.26 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 1536167 0 2 0 84774 1152 0 0 25 0 1 0 55581548 12697600 2572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 3100 2572 393 324 0 2169 0 Current children cumulated CPU time (s) 859.26 Current children cumulated vsize (KiB) 12400 [startup+859.702 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1768720/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=12400 CPUtime=859.46 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 1536167 0 2 0 84794 1152 0 0 25 0 1 0 55581548 12697600 2572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 3100 2572 393 324 0 2169 0 Current children cumulated CPU time (s) 859.46 Current children cumulated vsize (KiB) 12400 [startup+859.802 s] /proc/loadavg: 0.99 0.99 0.99 2/78 15965 /proc/meminfo: memFree=1768720/2055920 swapFree=4157972/4192956 [pid=15964] ppid=15962 vsize=12400 CPUtime=859.56 /proc/15964/stat : 15964 (bsolo3.0.16) R 15962 15964 14916 0 -1 4194304 1536167 0 2 0 84804 1152 0 0 25 0 1 0 55581548 12697600 2572 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15964/statm: 3100 2572 393 324 0 2169 0 Current children cumulated CPU time (s) 859.56 Current children cumulated vsize (KiB) 12400 Child status: 0 Real time (s): 859.813 CPU time (s): 859.577 CPU user time (s): 848.052 CPU system time (s): 11.5252 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 13076 getrusage(RUSAGE_CHILDREN,...) data: user time used= 848.052 system time used= 11.5252 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1536168 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13 involuntary context switches= 743 runsolver used 0.869867 second user time and 2.26465 second system time The end
Begin job on node47 on Thu Apr 19 18:29:22 UTC 2007 IDJOB= 362148 IDBENCH= 1511 IDSOLVER= 163 FILE ID= node47/362148-1177007362 PBS_JOBID= 4630509 Free space on /tmp= 66423 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0282.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362148-1177007362/instance-362148-1177007362.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-362148-1177007362 -o ROOT/results/node47/solver-362148-1177007362 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/362148-1177007362/instance-362148-1177007362.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 3d08eecd6841b46afc4009161d25bc6a RANDOM SEED= 801331791 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node47.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.221 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.221 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: 1778672 kB Buffers: 34744 kB Cached: 170692 kB SwapCached: 3256 kB Active: 72272 kB Inactive: 159648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1778672 kB SwapTotal: 4192956 kB SwapFree: 4157972 kB Dirty: 4428 kB Writeback: 0 kB Mapped: 33488 kB Slab: 30844 kB Committed_AS: 2612692 kB PageTables: 1788 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= 66423 MiB End job on node47 on Thu Apr 19 18:43:42 UTC 2007