Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 104028 | 1103.31 | 1103.69 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0282.opb |
MD5SUM | d35dbcd7bf8957c732cac3ff25f67cb4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 104028 |
Best CPU time to get the best result obtained on this benchmark | 1.19382 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 104028 |
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 | 64659 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524436 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 64659 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 524436 |
Number of bits of the biggest sum of numbers | 20 |
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/363107-1177022992/instance-363107-1177022992.opb 0.00/0.00 c File size is 17208 bytes. 0.00/0.00 c Highest Coefficient sum: 524436 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.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 202 221 1484 6 756 2318 0 0 0.01 0.00/0.01 c Initial Lower Bound: 71213 0.00/0.01 c Initial Path Cost: 0 0.00/0.02 c 100 202 321 2734 8 1003 2550 100 6666 0.01 0.00/0.02 o 218640 0.016 0.02/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.09 c 152 202 374 3431 9 1270 2722 153 9500 0.02 0.02/0.09 o 163700 0.088 * 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 1474 2722 154 1727 0.09 0.09/0.16 o 156153 0.159 * 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 152 202 376 3835 10 1698 2722 155 955 0.16 0.19/0.23 o 154534 0.229 * 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 153 202 378 4086 10 1898 2722 157 668 0.23 0.29/0.30 o 154155 0.301 * 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 161 202 387 4644 12 2131 2722 166 534 0.30 0.29/0.37 o 153779 0.372 * 0.39/0.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.44 c 166 202 393 5059 12 2338 2722 172 446 0.37 0.39/0.44 o 153618 0.441 * 0.49/0.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.51 c 176 202 404 5709 14 2546 2722 183 399 0.44 0.49/0.51 o 152961 0.506 * 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 176 202 405 5911 14 2737 2722 184 347 0.51 0.49/0.57 o 152546 0.571 * 0.59/0.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.64 c 177 202 407 6161 15 2929 2722 186 309 0.57 0.59/0.64 o 152499 0.636 * 0.69/0.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.71 c 179 202 410 6466 15 3127 2722 189 281 0.64 0.69/0.71 o 152091 0.715 * 0.89/0.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.96 c 203 202 437 7787 17 3372 2722 216 283 0.71 0.89/0.96 c 304 202 542 12339 22 3619 2995 321 347 0.88 0.89/0.96 o 151591 0.958 * 0.99/1.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.02 c 330 202 574 14148 24 3829 2722 353 344 0.96 0.99/1.02 o 151374 1.019 * 0.99/1.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.08 c 330 202 575 14350 24 4012 2722 354 323 1.02 0.99/1.08 o 151295 1.077 * 1.29/1.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.32 c 330 202 576 14552 25 4199 2722 355 306 1.08 1.29/1.32 c 430 202 755 23763 31 4568 2995 534 341 1.26 1.29/1.32 o 150296 1.324 * 1.29/1.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.38 c 441 202 772 24656 31 4802 2722 551 333 1.32 1.29/1.38 o 149334 1.384 * 1.39/1.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.45 c 448 202 782 25258 32 4985 2722 561 323 1.38 1.39/1.45 o 147006 1.452 * 1.99/2.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.05 c 450 202 785 25555 32 5101 2722 564 309 1.45 1.99/2.05 c 550 202 947 32824 34 5512 2995 726 335 1.64 1.99/2.05 c 800 202 1303 47892 36 6228 3295 1082 397 2.01 1.99/2.05 o 146482 2.054 * 2.59/2.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.69 c 800 202 1304 48094 36 6330 2722 1083 389 2.05 2.59/2.69 c 900 202 1446 53955 37 6713 2995 1225 400 2.25 2.59/2.69 c 1150 202 1780 73957 41 7641 3295 1559 442 2.60 2.59/2.69 o 145132 2.686 * 2.69/2.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.74 c 1176 202 1807 75213 41 7631 2722 1586 437 2.69 2.69/2.74 o 129966 2.741 * 2.69/2.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.79 c 1176 202 1808 75415 41 7550 2722 1587 429 2.74 2.69/2.79 o 129001 2.789 * 2.79/2.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.84 c 1176 202 1809 75617 41 7753 2722 1588 421 2.79 2.79/2.84 o 128934 2.838 * 2.79/2.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.89 c 1176 202 1810 75819 41 7932 2722 1589 414 2.84 2.79/2.89 o 128715 2.888 * 2.88/2.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.88/2.94 c 1177 202 1812 76065 41 8155 2722 1591 407 2.89 2.88/2.94 o 128648 2.936 * 2.99/3.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.09 c 1177 202 1813 76267 42 8325 2722 1592 400 2.94 2.99/3.09 o 117784 3.087 * 3.09/3.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.17 c 1259 202 1897 80023 42 8683 2722 1676 407 3.09 3.09/3.17 o 117717 3.173 * 3.19/3.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.21 c 1295 202 1937 81794 42 8977 2722 1716 408 3.17 3.19/3.21 o 115853 3.215 * 3.19/3.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.26 c 1297 202 1940 82075 42 9173 2722 1719 403 3.21 3.19/3.26 o 115760 3.263 * 3.30/3.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.30/3.32 c 1303 202 1947 82504 42 9381 2722 1726 399 3.26 3.30/3.32 o 115126 3.321 * 3.39/3.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.40 c 1317 202 1964 83311 42 9673 2722 1743 396 3.32 3.39/3.40 o 115033 3.4 * 3.39/3.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.47 c 1349 202 2000 84896 42 9931 2722 1779 396 3.40 3.39/3.47 o 114999 3.471 * 3.49/3.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.59 c 1368 202 2020 85774 42 10163 2722 1799 394 3.47 3.49/3.59 o 114906 3.587 * 3.59/3.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.63 c 1423 202 2080 88306 42 10459 2722 1859 396 3.59 3.59/3.63 o 114904 3.631 4.59/4.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.61 c 1424 202 2082 88558 42 10672 2722 1861 392 3.63 4.59/4.61 c 1525 202 2263 96009 42 11049 2995 2042 397 3.84 4.59/4.61 c 1776 202 2610 110805 42 11700 3295 2389 418 4.25 4.59/4.61 o 114758 4.614 * 7.99/8.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.99/8.06 c 1991 202 2899 121405 41 12496 2722 2678 431 4.61 7.99/8.06 c 2091 202 1585 59135 37 3894 2995 1364 434 4.82 7.99/8.06 c 2341 202 1982 75703 38 4640 3295 1761 454 5.15 7.99/8.06 c 2817 202 2843 107309 37 6477 3625 2622 480 5.87 7.99/8.06 c 3630 202 3836 143310 37 8369 3988 3615 542 6.70 7.99/8.06 o 114718 8.061 * 12.00/12.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.00/12.06 c 4749 202 3417 121219 35 7727 2722 3196 589 8.06 12.00/12.06 c 4849 202 1726 58861 34 4128 2995 1505 589 8.22 12.00/12.06 c 5099 202 2110 70331 33 4883 3295 1889 594 8.58 12.00/12.06 c 5574 202 2895 103334 35 6495 3625 2674 606 9.19 12.00/12.06 c 6387 202 2104 63963 30 4906 3988 1883 625 10.21 12.00/12.06 c 7708 202 4214 151659 35 9105 4387 3993 654 11.77 12.00/12.06 o 114521 12.062 * 12.49/12.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.49/12.50 c 7934 202 4489 163907 36 9871 2722 4268 657 12.06 12.49/12.50 c 8034 202 1730 62431 36 4160 2995 1509 657 12.22 12.49/12.50 o 114364 12.497 * 18.99/19.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.99/19.06 c 8283 202 2028 76310 37 4952 2722 1807 662 12.50 18.99/19.06 c 8384 202 2173 81823 37 5187 2995 1952 662 12.65 18.99/19.06 c 8634 202 2611 99267 38 6235 3295 2390 661 13.05 18.99/19.06 c 9109 202 3170 118390 37 7243 3625 2949 669 13.61 18.99/19.06 c 9922 202 2481 86519 34 5647 3988 2260 678 14.62 18.99/19.06 c 11242 202 2649 79877 30 5965 4387 2428 679 16.55 18.99/19.06 c 13323 202 3284 121427 36 7261 4826 3063 703 18.93 18.99/19.06 o 113896 19.06 * 27.08/27.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.08/27.10 c 13434 202 3404 125360 36 7746 2722 3183 704 19.06 27.08/27.10 c 13536 202 1688 61786 36 4039 2995 1467 704 19.21 27.08/27.10 c 13786 202 2077 76663 36 4847 3295 1856 704 19.56 27.08/27.10 c 14263 202 2688 101875 37 6184 3625 2467 706 20.18 27.08/27.10 c 15076 202 2035 69525 34 4761 3988 1814 710 21.23 27.08/27.10 c 16396 202 4066 125101 30 8931 4387 3845 707 23.17 27.08/27.10 c 18477 202 4334 109994 25 9332 4826 4113 716 25.77 27.08/27.10 o 113822 27.094 * 29.59/29.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.59/29.65 c 19528 202 3426 96959 28 7802 2722 3205 720 27.09 29.59/29.65 c 19628 202 1762 53364 30 4231 2995 1541 719 27.28 29.59/29.65 c 19878 202 2071 62124 29 4890 3295 1850 719 27.63 29.59/29.65 c 20354 202 2668 77431 29 6021 3625 2447 721 28.22 29.59/29.65 c 21167 202 3592 107710 29 7877 3988 3371 725 29.19 29.59/29.65 o 113451 29.64 * 109.16/109.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 109.16/109.28 c 21534 202 4099 125236 30 9145 2722 3878 726 29.64 109.16/109.28 c 21635 202 1700 45431 26 4141 2995 1479 725 29.81 109.16/109.28 c 21885 202 2113 61632 29 4912 3295 1892 725 30.18 109.16/109.28 c 22360 202 2665 79625 29 6009 3625 2444 727 30.75 109.16/109.28 c 23173 202 2086 63905 30 4865 3988 1865 727 31.87 109.16/109.28 c 24493 202 4145 155874 37 8987 4387 3924 729 33.56 109.16/109.28 c 26574 202 2900 99960 34 6547 4826 2679 729 36.44 109.16/109.28 c 29798 202 3045 115440 37 6825 5309 2824 735 40.50 109.16/109.28 c 34734 202 4971 205269 41 10670 5840 4750 744 46.64 109.16/109.28 c 42240 202 3959 129409 32 8602 6425 3738 744 56.70 109.16/109.28 c 53601 202 6701 333041 49 14142 7068 6480 759 70.60 109.16/109.28 c 70745 202 7263 329346 45 15253 7775 7042 762 92.73 109.16/109.28 o 113395 109.253 * 121.16/121.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 121.16/121.24 c 83280 202 4440 215934 48 9810 2722 4219 762 109.25 121.16/121.24 c 83380 202 1700 76605 45 4125 2995 1479 762 109.42 121.16/121.24 c 83632 202 2018 84399 41 4794 3295 1797 761 109.80 121.16/121.24 c 84107 202 2759 113091 40 6357 3625 2538 759 110.74 121.16/121.24 c 84920 202 3679 144419 39 8046 3988 3458 759 111.76 121.16/121.24 c 86240 202 3604 132654 36 7961 4387 3383 759 113.50 121.16/121.24 c 88321 202 4256 178270 41 9226 4826 4035 760 116.12 121.16/121.24 c 91544 202 4220 111745 26 9307 5309 3999 757 120.86 121.16/121.24 o 113246 121.213 * 121.26/121.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 121.26/121.34 c 91789 202 4502 121432 26 9971 2722 4281 757 121.21 121.26/121.34 o 112634 121.314 * 594.03/594.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 594.03/594.24 c 91808 202 1620 38088 23 4209 2722 1399 756 121.31 594.03/594.24 c 91908 202 1786 43616 24 4484 2995 1565 756 121.48 594.03/594.24 c 92158 202 2246 57935 25 5469 3295 2025 756 121.89 594.03/594.24 c 92633 202 2815 76438 27 6515 3625 2594 757 122.37 594.03/594.24 c 93447 202 3781 108879 28 8480 3988 3560 757 123.33 594.03/594.24 c 94767 202 3284 96971 29 7254 4387 3063 759 124.84 594.03/594.24 c 96848 202 4478 158543 35 9682 4826 4257 758 127.65 594.03/594.24 c 100074 202 3814 115531 30 8395 5309 3593 758 131.94 594.03/594.24 c 105010 202 4324 152798 35 9437 5840 4103 748 140.29 594.03/594.24 c 112517 202 4405 159260 36 9524 6425 4184 747 150.46 594.03/594.24 c 123878 202 3480 129456 37 7842 7068 3259 744 166.32 594.03/594.24 c 141023 202 5247 217632 41 11183 7775 5026 743 189.76 594.03/594.24 c 166842 202 4320 101917 23 9394 8553 4099 713 233.68 594.03/594.24 c 205674 202 5594 264954 47 11929 9409 5373 717 286.80 594.03/594.24 c 264026 202 6063 254487 41 12821 10350 5842 713 370.11 594.03/594.24 c 351658 202 6497 254265 39 13782 11386 6276 691 508.41 594.03/594.24 o 111953 594.086 * 808.39/808.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 808.39/808.75 c 409089 202 6160 214192 34 13277 2722 5939 688 594.09 808.39/808.75 c 409189 202 1758 54986 31 4210 2995 1537 688 594.29 808.39/808.75 c 409439 202 2204 73123 33 5244 3295 1983 688 594.77 808.39/808.75 c 409914 202 2831 90489 31 6350 3625 2610 688 595.35 808.39/808.75 c 410727 202 2351 71438 30 5413 3988 2130 688 596.53 808.39/808.75 c 412047 202 2218 73123 32 5128 4387 1997 688 598.35 808.39/808.75 c 414128 202 2973 89288 30 6648 4826 2752 688 601.49 808.39/808.75 c 417351 202 4601 139441 30 9931 5309 4380 688 605.80 808.39/808.75 c 422287 202 4745 168691 35 10385 5840 4524 686 614.80 808.39/808.75 c 429794 202 5484 192269 35 11664 6425 5263 688 624.15 808.39/808.75 c 441155 202 4289 132820 30 9314 7068 4068 690 638.80 808.39/808.75 c 458300 202 3757 157692 41 8306 7775 3536 689 664.42 808.39/808.75 c 484120 202 4534 147376 32 9795 8553 4313 692 699.06 808.39/808.75 c 522953 201 4603 132263 28 9875 9409 4382 694 752.81 808.39/808.75 o 111809 808.45 * 815.89/816.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 815.89/816.24 c 559782 201 6437 236369 36 13842 2720 6216 692 808.45 815.89/816.24 c 559882 201 1723 54409 31 4239 2993 1502 692 808.66 815.89/816.24 c 560133 201 1989 62515 31 4700 3293 1768 692 808.94 815.89/816.24 c 560608 201 2857 92734 32 6430 3623 2636 692 809.62 815.89/816.24 c 561421 201 2363 71296 30 5409 3986 2142 692 810.81 815.89/816.24 c 562741 201 2679 90760 33 6073 4385 2458 692 812.71 815.89/816.24 c 564824 201 3151 95069 30 6991 4824 2930 692 815.28 815.89/816.24 o 111689 815.935 * 822.78/823.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 822.78/823.13 c 565368 201 3848 117256 30 8639 2720 3627 692 815.94 822.78/823.13 c 565468 201 1751 47839 27 4290 2993 1530 692 816.14 822.78/823.13 c 565718 201 2194 62436 28 5117 3293 1973 692 816.48 822.78/823.13 c 566193 201 3017 90123 29 6762 3623 2796 692 817.10 822.78/823.13 c 567006 201 2130 59258 27 5050 3986 1909 693 818.12 822.78/823.13 c 568326 201 2343 59577 25 5428 4385 2122 693 819.86 822.78/823.13 c 570407 201 3341 87734 26 7443 4824 3120 693 822.76 822.78/823.13 o 111474 822.825 * 835.59/835.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 835.59/835.90 c 570429 201 3366 88738 26 7674 2720 3145 693 822.83 835.59/835.90 c 570529 201 1768 45721 25 4234 2993 1547 693 822.98 835.59/835.90 c 570781 201 2145 56153 26 4980 3293 1924 693 823.34 835.59/835.90 c 571257 201 2678 74441 27 6052 3623 2457 693 823.85 835.59/835.90 c 572071 201 3681 105601 28 8095 3986 3460 693 824.81 835.59/835.90 c 573391 201 3148 90651 28 6963 4385 2927 693 826.24 835.59/835.90 c 575475 201 3502 100782 28 7704 4824 3281 694 828.76 835.59/835.90 c 578700 201 4625 130132 28 9951 5307 4404 695 832.28 835.59/835.90 o 111268 835.595 * 854.08/854.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 854.08/854.45 c 581162 201 3063 81869 26 7078 2720 2842 695 835.60 854.08/854.45 c 581262 201 1764 44684 25 4228 2993 1543 695 835.76 854.08/854.45 c 581514 201 2117 54889 25 4916 3293 1896 695 836.09 854.08/854.45 c 581990 201 3020 80152 26 6740 3623 2799 695 836.79 854.08/854.45 c 582804 201 2092 61464 29 4970 3986 1871 695 837.69 854.08/854.45 c 584124 201 3614 106768 29 7924 4385 3393 696 839.13 854.08/854.45 c 586205 201 2646 70593 26 6098 4824 2425 696 842.01 854.08/854.45 c 589428 201 5118 155220 30 10939 5307 4897 696 846.07 854.08/854.45 c 594364 201 3174 97360 30 7122 5838 2953 695 854.05 854.08/854.45 o 110708 854.139 * 955.55/955.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 955.55/955.95 c 594396 201 3223 99388 30 7401 2720 3002 695 854.14 955.55/955.95 c 594497 201 1699 50022 29 4080 2993 1478 695 854.29 955.55/955.95 c 594747 201 2109 60444 28 5075 3293 1888 695 854.71 955.55/955.95 c 595222 201 2919 94411 32 6669 3623 2698 695 855.43 955.55/955.95 c 596035 201 2386 76998 32 5594 3986 2165 695 856.92 955.55/955.95 c 597357 201 4218 127341 30 9154 4385 3997 695 858.57 955.55/955.95 c 599438 201 2539 69746 27 5843 4824 2318 695 861.33 955.55/955.95 c 602661 201 5070 179530 35 10954 5307 4849 696 865.66 955.55/955.95 c 607597 201 4956 155501 31 10662 5838 4735 695 873.30 955.55/955.95 c 615103 201 6096 230595 37 12945 6422 5875 696 883.41 955.55/955.95 c 626464 201 4709 233764 49 10299 7065 4488 695 900.29 955.55/955.95 c 643610 201 5247 160831 30 11197 7772 5026 698 921.49 955.55/955.95 o 110150 955.616 * 967.74/968.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 967.74/968.14 c 665628 201 6993 234729 33 14967 2720 6772 696 955.62 967.74/968.14 c 665729 201 1721 52219 30 4228 2993 1500 696 955.84 967.74/968.14 c 665980 201 2144 68140 31 5059 3293 1923 696 956.25 967.74/968.14 c 666456 201 2800 94650 33 6317 3623 2579 696 956.88 967.74/968.14 c 667270 201 3837 123318 32 8366 3986 3616 696 957.81 967.74/968.14 c 668591 201 3222 94929 29 7154 4385 3001 696 959.32 967.74/968.14 c 670673 201 3275 88238 26 7266 4824 3054 697 961.69 967.74/968.14 c 673896 201 2872 82836 28 6470 5307 2651 697 966.09 967.74/968.14 o 109739 967.797 * 979.14/979.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 979.14/979.57 c 675360 201 4731 154557 32 10412 2720 4510 697 967.80 979.14/979.57 c 675460 201 1693 52109 30 4094 2993 1472 697 967.95 979.14/979.57 c 675710 201 1977 60658 30 4757 3293 1756 697 968.26 979.14/979.57 c 676185 201 2521 78678 31 5697 3623 2300 697 968.81 979.14/979.57 c 676998 201 3863 119290 30 8523 3986 3642 697 970.19 979.14/979.57 c 678318 201 3945 149785 37 8717 4385 3724 697 972.10 979.14/979.57 c 680399 201 3010 111598 37 6849 4824 2789 697 975.83 979.14/979.57 c 683622 201 4070 136897 33 8829 5307 3849 698 979.04 979.14/979.57 o 109659 979.226 * 983.25/983.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 983.25/983.66 c 683767 201 4274 145949 34 9485 2720 4053 698 979.23 983.25/983.66 c 683867 201 1701 51653 30 4105 2993 1480 698 979.36 983.25/983.66 c 684118 201 1996 59069 29 4672 3293 1775 698 979.64 983.25/983.66 c 684593 201 2692 80588 29 6205 3623 2471 698 980.29 983.25/983.66 c 685407 201 3903 121547 31 8585 3986 3682 698 981.38 983.25/983.66 c 686729 201 3190 89856 28 7103 4385 2969 698 982.78 983.25/983.66 o 109629 983.314 * 983.85/984.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 983.85/984.27 c 687204 201 3816 117395 30 8593 2720 3595 698 983.31 983.85/984.27 c 687306 201 1694 51044 30 4092 2993 1473 698 983.46 983.85/984.27 c 687556 201 1965 58961 30 4595 3293 1744 698 983.76 983.85/984.27 o 109602 983.922 * 987.35/987.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 987.35/987.72 c 687673 201 2141 66042 30 5234 2720 1920 698 983.92 987.35/987.72 c 687773 201 2298 70194 30 5497 2993 2077 698 984.08 987.35/987.72 c 688023 201 2728 88946 32 6417 3293 2507 698 984.49 987.35/987.72 c 688498 201 3486 120334 34 7931 3623 3265 698 985.09 987.35/987.72 c 689311 201 2481 75369 30 5642 3986 2260 699 986.01 987.35/987.72 o 109525 987.37 * 989.44/989.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 989.44/989.84 c 690295 201 3789 114270 30 8584 2720 3568 699 987.37 989.44/989.84 c 690395 201 1728 42803 24 4260 2993 1507 699 987.55 989.44/989.84 c 690645 201 2078 51288 24 4887 3293 1857 699 987.93 989.44/989.84 c 691120 201 2812 79780 28 6410 3623 2591 699 988.61 989.44/989.84 o 108774 989.494 * 1016.84/1017.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1016.84/1017.29 c 691803 201 3750 108573 28 8511 2720 3529 699 989.50 1016.84/1017.29 c 691904 201 1720 44899 26 4152 2993 1499 699 989.66 1016.84/1017.29 c 692154 201 2111 58219 27 5037 3293 1890 699 990.05 1016.84/1017.29 c 692629 201 2816 77549 27 6413 3623 2595 699 990.64 1016.84/1017.29 c 693442 201 2169 63725 29 5136 3986 1948 699 991.80 1016.84/1017.29 c 694762 201 3729 108340 29 8173 4385 3508 699 993.27 1016.84/1017.29 c 696843 200 2435 64499 26 5717 4824 2214 699 996.22 1016.84/1017.29 c 700066 200 2694 117741 43 6245 5307 2473 699 1000.93 1016.84/1017.29 c 705003 200 4363 146348 33 9518 5838 4142 699 1008.12 1016.84/1017.29 o 108659 1016.93 * 1024.63/1025.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1024.63/1025.05 c 712108 200 5318 210283 39 11590 2718 5097 700 1016.93 1024.63/1025.05 c 712208 200 1726 58422 33 4249 2990 1505 700 1017.12 1024.63/1025.05 c 712458 200 2078 73718 35 4929 3290 1857 700 1017.43 1024.63/1025.05 c 712933 200 2786 104513 37 6385 3620 2565 700 1018.07 1024.63/1025.05 c 713747 200 2038 73453 36 4850 3983 1817 700 1019.10 1024.63/1025.05 c 715067 200 2220 73603 33 5192 4382 1999 700 1021.10 1024.63/1025.05 c 717149 200 3162 130346 41 7148 4821 2941 700 1023.90 1024.63/1025.05 o 108601 1024.7 * 1026.24/1026.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1026.24/1026.68 c 717818 200 4030 160024 39 9050 2718 3809 700 1024.70 1026.24/1026.68 c 717918 200 1770 60574 34 4337 2990 1549 700 1024.89 1026.24/1026.68 c 718168 200 2168 80521 37 5169 3290 1947 700 1025.25 1026.24/1026.68 c 718644 200 2946 115192 39 6772 3620 2725 700 1026.02 1026.24/1026.68 o 108036 1026.33 * 1027.23/1027.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1027.23/1027.64 c 718836 200 3254 127578 39 7556 2718 3033 700 1026.33 1027.23/1027.64 c 718936 200 1742 62706 35 4244 2990 1521 700 1026.49 1027.23/1027.64 c 719186 200 2064 74009 35 4911 3290 1843 700 1026.84 1027.23/1027.64 o 107694 1027.29 * 1056.63/1057.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1056.63/1057.10 c 719547 200 2566 94033 36 6109 2718 2345 700 1027.29 1056.63/1057.10 c 719647 200 2703 99501 36 6380 2990 2482 700 1027.47 1056.63/1057.10 c 719897 199 3126 115176 36 7318 3290 2905 700 1027.85 1056.63/1057.10 c 720373 199 2025 66208 32 4825 3620 1804 700 1028.42 1056.63/1057.10 c 721186 199 3171 112674 35 7136 3983 2950 700 1029.38 1056.63/1057.10 c 722506 199 2941 107624 36 6650 4382 2720 700 1030.96 1056.63/1057.10 c 724587 199 3975 156874 39 8674 4821 3754 700 1034.06 1056.63/1057.10 c 727810 198 4002 133917 33 8791 5304 3781 700 1038.28 1056.63/1057.10 c 732747 198 3179 117378 36 7145 5835 2958 701 1045.13 1056.63/1057.10 c 740253 197 4674 171228 36 10167 6419 4453 701 1055.35 1056.63/1057.10 o 107211 1056.73 * 1058.53/1058.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1058.53/1058.97 c 741136 197 6213 228114 36 13451 2712 5992 701 1056.73 1058.53/1058.97 c 741236 197 1764 55365 31 4329 2984 1543 701 1056.93 1058.53/1058.97 c 741486 197 2153 70268 32 5098 3283 1932 701 1057.24 1058.53/1058.97 c 741962 197 2819 90948 32 6451 3612 2598 701 1057.76 1058.53/1058.97 o 107036 1058.61 * 1059.23/1059.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1059.23/1059.64 c 742720 197 3763 128198 34 8502 2712 3542 701 1058.61 1059.23/1059.64 c 742820 197 1703 52678 30 4204 2984 1482 701 1058.75 1059.23/1059.64 c 743070 197 2069 64430 31 4918 3283 1848 701 1059.10 1059.23/1059.64 o 106989 1059.28 * 1060.03/1060.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1060.03/1060.47 c 743199 197 2250 70185 31 5507 2712 2029 701 1059.28 1060.03/1060.47 c 743300 197 2385 75261 31 5746 2984 2164 701 1059.41 1060.03/1060.47 c 743551 197 2735 84870 31 6465 3283 2514 701 1059.72 1060.03/1060.47 o 106845 1060.1 * 1060.62/1061.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1060.62/1061.07 c 743805 197 3075 94896 30 7338 2712 2854 701 1060.10 1060.62/1061.07 c 743905 197 1759 49042 27 4270 2984 1538 701 1060.25 1060.62/1061.07 c 744156 197 2065 56600 27 4928 3283 1844 701 1060.58 1060.62/1061.07 o 106787 1060.7 * 1069.12/1069.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1069.12/1069.51 c 744244 197 2176 59864 27 5339 2712 1955 701 1060.70 1069.12/1069.51 c 744344 197 2326 65433 28 5629 2984 2105 701 1060.84 1069.12/1069.51 c 744594 197 2613 69343 26 6173 3283 2392 701 1061.31 1069.12/1069.51 c 745070 196 3356 94270 28 7717 3612 3135 701 1061.94 1069.12/1069.51 c 745883 196 2446 62398 25 5695 3974 2225 701 1062.86 1069.12/1069.51 c 747203 196 2280 73839 32 5345 4372 2059 701 1064.42 1069.12/1069.51 c 749284 196 2985 88876 29 6744 4810 2764 702 1067.08 1069.12/1069.51 o 106504 1069.14 * 1073.82/1074.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1073.82/1074.26 c 750922 196 2750 80284 29 6489 2710 2529 702 1069.14 1073.82/1074.26 c 751022 196 2908 86350 29 6818 2982 2687 702 1069.30 1073.82/1074.26 c 751273 196 3204 93923 29 7432 3281 2983 702 1069.68 1073.82/1074.26 c 751748 196 2167 63735 29 5116 3610 1946 702 1070.33 1073.82/1074.26 c 752561 196 3513 118637 33 7841 3972 3292 702 1071.45 1073.82/1074.26 c 753881 196 3490 113753 32 7784 4370 3269 702 1073.37 1073.82/1074.26 o 106461 1073.89 * 1074.02/1074.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1074.02/1074.40 c 754322 196 4132 137357 33 9275 2710 3911 702 1073.89 1074.02/1074.40 o 105606 1074.03 * 1081.01/1081.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1081.01/1081.43 c 754400 196 1703 47856 28 4429 2710 1482 702 1074.03 1081.01/1081.43 c 754500 196 1877 52931 28 4753 2982 1656 702 1074.19 1081.01/1081.43 c 754750 196 2276 64242 28 5539 3281 2055 702 1074.57 1081.01/1081.43 c 755226 196 2905 85237 29 6796 3610 2684 702 1075.22 1081.01/1081.43 c 756042 195 2201 57075 25 5208 3972 1980 702 1076.34 1081.01/1081.43 c 757363 195 3863 106407 27 8521 4370 3642 702 1078.10 1081.01/1081.43 c 759444 195 4501 121301 26 9797 4808 4280 702 1080.96 1081.01/1081.43 o 105249 1081.06 * 1081.51/1081.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1081.51/1081.92 c 759470 195 4541 122655 27 10088 2708 4320 702 1081.06 1081.51/1081.92 c 759570 195 1730 41293 23 4298 2979 1509 702 1081.19 1081.51/1081.92 c 759820 195 2087 50716 24 4965 3277 1866 702 1081.52 1081.51/1081.92 o 104558 1081.55 * 1082.21/1082.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1082.21/1082.61 c 759823 195 2092 50995 24 5198 2708 1871 702 1081.55 1082.21/1082.61 c 759924 195 2258 55424 24 5521 2979 2037 702 1081.71 1082.21/1082.61 c 760176 195 2662 68518 25 6281 3277 2441 702 1082.09 1082.21/1082.61 o 104491 1082.24 * 1092.62/1093.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1092.62/1093.09 c 760271 195 2793 72627 26 6780 2708 2572 702 1082.24 1092.62/1093.09 c 760372 195 2956 77484 26 7049 2979 2735 702 1082.41 1092.62/1093.09 c 760622 195 1741 40014 22 4326 3277 1520 702 1082.81 1092.62/1093.09 c 761098 184 2452 60027 24 5730 3605 2231 702 1083.41 1092.62/1093.09 c 761911 184 3433 86860 25 7686 3966 3212 702 1084.41 1092.62/1093.09 c 763231 184 3028 74411 24 6880 4363 2807 702 1086.22 1092.62/1093.09 c 765314 184 3527 94069 26 7884 4800 3306 702 1088.72 1092.62/1093.09 o 104451 1092.71 * 1093.92/1094.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1093.92/1094.38 c 768435 183 2641 69863 26 6290 2684 2420 703 1092.73 1093.92/1094.38 c 768535 183 2775 74277 26 6542 2953 2554 703 1092.86 1093.92/1094.38 c 768787 183 3094 83339 26 7213 3249 2873 703 1093.16 1093.92/1094.38 c 769262 183 1967 54055 27 4916 3574 1746 703 1093.79 1093.92/1094.38 o 104371 1094.01 * 1095.22/1095.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1095.22/1095.67 c 769464 183 2211 61901 27 5609 2684 1990 703 1094.01 1095.22/1095.67 c 769564 183 2354 66410 28 5906 2953 2133 703 1094.13 1095.22/1095.67 c 769814 183 2672 74232 27 6493 3249 2451 703 1094.46 1095.22/1095.67 c 770289 183 3270 93076 28 7700 3574 3049 703 1095.05 1095.22/1095.67 o 104355 1095.3 * 1100.31/1100.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1100.31/1100.73 c 770475 183 3496 100047 28 8357 2684 3275 703 1095.30 1100.31/1100.73 c 770576 183 1743 42937 24 4491 2953 1522 703 1095.46 1100.31/1100.73 c 770826 183 2062 52879 25 5101 3249 1841 703 1095.76 1100.31/1100.73 c 771302 183 2645 68261 25 6301 3574 2424 703 1096.43 1100.31/1100.73 c 772115 183 3693 106294 28 8384 3932 3472 703 1097.48 1100.31/1100.73 c 773435 182 3252 90757 27 7494 4326 3031 703 1099.26 1100.31/1100.73 o 104337 1100.36 * 1100.92/1101.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1100.92/1101.31 c 774400 182 4571 134162 29 10329 2682 4350 703 1100.36 1100.92/1101.31 c 774502 182 1743 46816 26 4501 2951 1522 703 1100.51 1100.92/1101.31 c 774752 182 2089 57288 27 5187 3247 1868 703 1100.78 1100.92/1101.31 o 104310 1100.93 * 1101.32/1101.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1101.32/1101.79 c 774862 182 2228 61939 27 5640 2682 2007 703 1100.93 1101.32/1101.79 c 774962 182 2370 65612 27 5941 2951 2149 703 1101.07 1101.32/1101.79 c 775213 181 2701 76701 28 6590 3247 2480 703 1101.37 1101.32/1101.79 o 104263 1101.41 * 1101.42/1101.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1101.42/1101.87 c 775236 181 2728 77742 28 6812 2680 2507 703 1101.41 1101.42/1101.87 o 104154 1101.49 * 1101.82/1102.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1101.82/1102.24 c 775279 181 2785 79639 28 7110 2680 2564 703 1101.49 1101.82/1102.24 c 775382 181 2924 84237 28 7389 2949 2703 703 1101.62 1101.82/1102.24 o 104126 1101.86 * 1101.92/1102.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1101.92/1102.37 c 775565 181 3167 92169 29 8029 2680 2946 703 1101.86 1101.92/1102.37 o 104121 1101.99 * 1102.02/1102.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1102.02/1102.43 c 775664 181 1705 44094 25 4578 2680 1484 703 1101.99 1102.02/1102.43 o 104028 1102.06 * 1103.21/1103.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1103.21/1103.68 c 775704 181 1751 45905 26 4854 2680 1530 703 1102.06 1103.21/1103.68 c 775804 181 1875 50126 26 5107 2949 1654 703 1102.18 1103.21/1103.68 c 776055 181 2221 61770 27 5784 3244 2000 703 1102.47 1103.21/1103.68 c 776530 178 2828 80098 28 7022 3569 2607 703 1103.05 1103.21/1103.68 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 1103.21/1103.68 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 1103.21/1103.68 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 1103.21/1103.68 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 1103.21/1103.68 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 1103.21/1103.68 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 1103.21/1103.68 v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1103.21/1103.68 v -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1103.21/1103.68 v -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 1103.21/1103.68 v -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 1103.21/1103.68 v -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 x241 -x242 x243 x244 x245 -x246 x247 -x248 x249 -x250 -x251 x252 -x253 1103.21/1103.68 v -x254 x255 -x256 x257 x258 -x259 -x260 x261 -x262 x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 1103.21/1103.68 v x276 x277 x278 -x279 -x280 x281 x282 1103.21/1103.68 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1103.21/1103.68 c 311 776736 54012 879286 3090 87238 2869 704 1103.30 1103.21/1103.68 c Objective: 104028 1103.21/1103.68 s OPTIMUM FOUND 1103.21/1103.68 c Total time: 1103.3 s
OK 104028
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node62/watcher-363107-1177022992 -o ROOT/results/node62/solver-363107-1177022992 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363107-1177022992/instance-363107-1177022992.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.97 1.00 0.96 3/64 24423 /proc/meminfo: memFree=1832160/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=11756 CPUtime=0 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 20875245 12038144 333 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 2939 334 281 324 0 2003 0 [startup+0.030707 s] /proc/loadavg: 0.97 1.00 0.96 3/64 24423 /proc/meminfo: memFree=1832160/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=5180 CPUtime=0.02 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 799 0 0 0 2 0 0 0 18 0 1 0 20875245 5304320 609 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313596 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 1295 609 392 324 0 364 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5180 [startup+0.101715 s] /proc/loadavg: 0.97 1.00 0.96 3/64 24423 /proc/meminfo: memFree=1832160/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=5188 CPUtime=0.09 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 2460 0 0 0 9 0 0 0 18 0 1 0 20875245 5312512 617 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135310791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 1297 617 392 324 0 366 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5188 [startup+0.301738 s] /proc/loadavg: 0.97 1.00 0.96 3/64 24423 /proc/meminfo: memFree=1832160/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=4508 CPUtime=0.29 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 7241 0 0 0 27 2 0 0 19 0 1 0 20875245 4616192 590 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 1127 590 392 324 0 196 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4508 [startup+0.701785 s] /proc/loadavg: 0.97 1.00 0.96 3/64 24423 /proc/meminfo: memFree=1832160/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=4920 CPUtime=0.69 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 12396 0 0 0 65 4 0 0 23 0 1 0 20875245 5038080 658 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 1230 658 392 324 0 299 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4920 [startup+1.50188 s] /proc/loadavg: 0.97 1.00 0.96 2/65 24424 /proc/meminfo: memFree=1831000/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=5696 CPUtime=1.49 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 21707 0 0 0 142 7 0 0 25 0 1 0 20875245 5832704 747 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8541765 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 1424 747 392 324 0 493 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5696 [startup+3.10107 s] /proc/loadavg: 0.97 1.00 0.96 2/65 24424 /proc/meminfo: memFree=1830040/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=6352 CPUtime=3.09 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 27099 0 0 0 299 10 0 0 25 0 1 0 20875245 6504448 1010 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 1588 1015 392 324 0 657 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6352 [startup+6.30144 s] /proc/loadavg: 0.97 1.00 0.96 2/65 24424 /proc/meminfo: memFree=1828824/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=7056 CPUtime=6.29 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 56016 0 0 0 605 24 0 0 25 0 1 0 20875245 7225344 1138 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 1764 1137 392 324 0 833 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7056 [startup+12.7022 s] /proc/loadavg: 0.98 1.00 0.96 2/65 24424 /proc/meminfo: memFree=1828248/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=7712 CPUtime=12.69 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 86271 0 0 0 1226 43 0 0 25 0 1 0 20875245 7897088 1296 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135323383 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 1928 1296 392 324 0 997 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 7712 [startup+25.5017 s] /proc/loadavg: 0.98 1.00 0.96 2/65 24424 /proc/meminfo: memFree=1828248/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=7660 CPUtime=25.49 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 151677 0 0 0 2463 86 0 0 25 0 1 0 20875245 7843840 1309 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 1915 1309 392 324 0 984 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 7660 [startup+51.1017 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24424 /proc/meminfo: memFree=1827160/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=8932 CPUtime=51.08 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 276407 0 0 0 4939 169 0 0 25 0 1 0 20875245 9146368 1602 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 2233 1602 392 324 0 1302 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 8932 [startup+102.306 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24424 /proc/meminfo: memFree=1825304/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=10984 CPUtime=102.26 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 422415 0 0 0 9945 281 0 0 25 0 1 0 20875245 11247616 2084 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135313633 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 2746 2084 392 324 0 1815 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 10984 [startup+162.302 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24426 /proc/meminfo: memFree=1825176/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=10424 CPUtime=162.25 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 754520 0 0 0 15726 499 0 0 25 0 1 0 20875245 10674176 2079 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 2606 2079 392 324 0 1675 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 10424 [startup+222.302 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24426 /proc/meminfo: memFree=1825176/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=10424 CPUtime=222.23 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 1010546 0 0 0 21542 681 0 0 25 0 1 0 20875245 10674176 2079 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 2606 2079 392 324 0 1675 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 10424 [startup+282.302 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24426 /proc/meminfo: memFree=1824152/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=11516 CPUtime=282.22 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 1245228 0 0 0 27364 858 0 0 25 0 1 0 20875245 11792384 2339 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 2879 2339 392 324 0 1948 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 11516 [startup+342.302 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24426 /proc/meminfo: memFree=1824088/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=11880 CPUtime=342.2 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 1507291 0 0 0 33170 1050 0 0 25 0 1 0 20875245 12165120 2346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8541819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 2970 2346 392 324 0 2039 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 11880 [startup+402.302 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24426 /proc/meminfo: memFree=1824024/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=11516 CPUtime=402.19 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 1806850 0 0 0 38970 1249 0 0 25 0 1 0 20875245 11792384 2344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 2879 2344 392 324 0 1948 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 11516 [startup+462.302 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24426 /proc/meminfo: memFree=1824024/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=12056 CPUtime=462.16 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 2108168 0 0 0 44764 1452 0 0 25 0 1 0 20875245 12345344 2349 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8541765 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 3014 2349 392 324 0 2083 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 12056 [startup+522.302 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24426 /proc/meminfo: memFree=1823640/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=12132 CPUtime=522.15 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 2272826 0 0 0 50648 1567 0 0 25 0 1 0 20875245 12423168 2468 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 3033 2468 392 324 0 2102 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 12132 [startup+582.302 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24426 /proc/meminfo: memFree=1823576/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=12312 CPUtime=582.13 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 2424771 0 0 0 56533 1680 0 0 25 0 1 0 20875245 12607488 2476 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8541765 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 3078 2476 392 324 0 2147 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 12312 [startup+642.302 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24426 /proc/meminfo: memFree=1823576/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=12132 CPUtime=642.12 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 2538327 0 0 0 62447 1765 0 0 25 0 1 0 20875245 12423168 2482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8541852 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 3033 2482 393 324 0 2102 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 12132 [startup+702.302 s] /proc/loadavg: 0.99 1.00 0.96 2/71 24592 /proc/meminfo: memFree=1822120/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=12312 CPUtime=702.04 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 2600121 0 0 0 68361 1843 0 0 25 0 1 0 20875245 12607488 2484 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8541765 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 3078 2484 393 324 0 2147 0 Current children cumulated CPU time (s) 702.04 Current children cumulated vsize (KiB) 12312 [startup+762.306 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24624 /proc/meminfo: memFree=1823256/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=12308 CPUtime=762.01 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 2660123 0 0 0 74283 1918 0 0 25 0 1 0 20875245 12603392 2486 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8541765 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 3077 2486 393 324 0 2146 0 Current children cumulated CPU time (s) 762.01 Current children cumulated vsize (KiB) 12308 [startup+822.302 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24624 /proc/meminfo: memFree=1823384/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=12096 CPUtime=821.99 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 2744662 0 0 0 80213 1986 0 0 25 0 1 0 20875245 12386304 2485 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134706584 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 3024 2485 393 324 0 2093 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 12096 [startup+882.301 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24624 /proc/meminfo: memFree=1823384/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=12092 CPUtime=881.97 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 2744663 0 0 0 86207 1990 0 0 25 0 1 0 20875245 12382208 2485 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 3023 2485 393 324 0 2092 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 12092 [startup+942.301 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24624 /proc/meminfo: memFree=1823384/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=12088 CPUtime=941.96 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 2744681 0 0 0 92199 1997 0 0 25 0 1 0 20875245 12378112 2488 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 3022 2488 393 324 0 2091 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 12088 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24624 /proc/meminfo: memFree=1823384/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=12080 CPUtime=1001.94 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 2744681 0 0 0 98192 2002 0 0 25 0 1 0 20875245 12369920 2486 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 3020 2486 393 324 0 2089 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 12080 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24624 /proc/meminfo: memFree=1823384/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=12072 CPUtime=1061.92 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 2744681 0 0 0 104185 2007 0 0 25 0 1 0 20875245 12361728 2486 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 3018 2486 393 324 0 2087 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 12072 Solver just ended. Dumping a history of the last processes samples [startup+1075.1 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24624 /proc/meminfo: memFree=1823384/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=12072 CPUtime=1074.72 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 2744681 0 0 0 105463 2009 0 0 25 0 1 0 20875245 12361728 2486 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135307853 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 3018 2486 393 324 0 2087 0 Current children cumulated CPU time (s) 1074.72 Current children cumulated vsize (KiB) 12072 [startup+1087.91 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24624 /proc/meminfo: memFree=1823384/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=12072 CPUtime=1087.52 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 2744681 0 0 0 106742 2010 0 0 25 0 1 0 20875245 12361728 2486 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 3018 2486 393 324 0 2087 0 Current children cumulated CPU time (s) 1087.52 Current children cumulated vsize (KiB) 12072 [startup+1094.3 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24624 /proc/meminfo: memFree=1823384/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=12072 CPUtime=1093.92 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 2744681 0 0 0 107381 2011 0 0 25 0 1 0 20875245 12361728 2486 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 3018 2486 393 324 0 2087 0 Current children cumulated CPU time (s) 1093.92 Current children cumulated vsize (KiB) 12072 [startup+1097.5 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24624 /proc/meminfo: memFree=1823384/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=12072 CPUtime=1097.11 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 2744681 0 0 0 107700 2011 0 0 25 0 1 0 20875245 12361728 2486 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 135314388 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 3018 2486 393 324 0 2087 0 Current children cumulated CPU time (s) 1097.11 Current children cumulated vsize (KiB) 12072 [startup+1100.7 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24624 /proc/meminfo: memFree=1823384/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=12072 CPUtime=1100.31 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 2744681 0 0 0 108020 2011 0 0 25 0 1 0 20875245 12361728 2486 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 3018 2486 393 324 0 2087 0 Current children cumulated CPU time (s) 1100.31 Current children cumulated vsize (KiB) 12072 [startup+1102.3 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24624 /proc/meminfo: memFree=1823384/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=12072 CPUtime=1101.92 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 2744681 0 0 0 108180 2012 0 0 25 0 1 0 20875245 12361728 2486 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 3018 2486 393 324 0 2087 0 Current children cumulated CPU time (s) 1101.92 Current children cumulated vsize (KiB) 12072 [startup+1103.1 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24624 /proc/meminfo: memFree=1823384/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=12072 CPUtime=1102.71 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 2744681 0 0 0 108259 2012 0 0 25 0 1 0 20875245 12361728 2486 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134710081 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 3018 2486 393 324 0 2087 0 Current children cumulated CPU time (s) 1102.71 Current children cumulated vsize (KiB) 12072 [startup+1103.5 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24624 /proc/meminfo: memFree=1823384/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=12072 CPUtime=1103.11 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 2744681 0 0 0 108299 2012 0 0 25 0 1 0 20875245 12361728 2486 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 3018 2486 393 324 0 2087 0 Current children cumulated CPU time (s) 1103.11 Current children cumulated vsize (KiB) 12072 [startup+1103.6 s] /proc/loadavg: 0.99 1.00 0.96 2/65 24624 /proc/meminfo: memFree=1823384/2055920 swapFree=4184556/4192956 [pid=24423] ppid=24421 vsize=12072 CPUtime=1103.21 /proc/24423/stat : 24423 (bsolo3.0.16) R 24421 24423 23288 0 -1 4194304 2744681 0 0 0 108309 2012 0 0 25 0 1 0 20875245 12361728 2486 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/24423/statm: 3018 2486 393 324 0 2087 0 Current children cumulated CPU time (s) 1103.21 Current children cumulated vsize (KiB) 12072 Child status: 0 Real time (s): 1103.69 CPU time (s): 1103.31 CPU user time (s): 1083.18 CPU system time (s): 20.1239 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (KiB): 12320 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1083.18 system time used= 20.1239 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2744682 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= 11 involuntary context switches= 2108 runsolver used 0.884865 second user time and 2.18567 second system time The end
Begin job on node62 on Thu Apr 19 22:49:52 UTC 2007 IDJOB= 363107 IDBENCH= 1736 IDSOLVER= 163 FILE ID= node62/363107-1177022992 PBS_JOBID= 4630588 Free space on /tmp= 66494 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0282.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363107-1177022992/instance-363107-1177022992.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-363107-1177022992 -o ROOT/results/node62/solver-363107-1177022992 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/363107-1177022992/instance-363107-1177022992.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= d35dbcd7bf8957c732cac3ff25f67cb4 RANDOM SEED= 674162224 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node62.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.216 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.216 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: 1832696 kB Buffers: 14684 kB Cached: 138344 kB SwapCached: 2148 kB Active: 54508 kB Inactive: 109060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1832696 kB SwapTotal: 4192956 kB SwapFree: 4184556 kB Dirty: 4396 kB Writeback: 0 kB Mapped: 17060 kB Slab: 45592 kB Committed_AS: 198320 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= 66494 MiB End job on node62 on Thu Apr 19 23:08:16 UTC 2007