Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 23 | 1800.01 | 1800.46 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_3.opb |
MD5SUM | 474916db0f2f0be5831d97827cee8e55 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 16 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 16 |
Optimality of the best value was proved | NO |
Number of variables | 172 |
Total number of constraints | 14 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 14 |
Minimum length of a constraint | 75 |
Maximum length of a constraint | 76 |
Number of terms in the objective function | 112 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 3570 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1901 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6214 |
Number of bits of the biggest sum of numbers | 13 |
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/355012-1176750625/instance-355012-1176750625.opb 0.00/0.00 c File size is 10386 bytes. 0.00/0.00 c Highest Coefficient sum: 6214 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 172 Constr: 14 0/0/14 Lit: 1060 Watch. Lit: 314 0.00/0.00 c Obj. Vars: 112 (65.1163 % of total variables) 0.00/0.00 c Pre-processing Time: 0.003 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 172 14 1060 75 316 2120 0 0 0.00 0.00/0.00 c Switching off LPR mode. 0.00/0.00 o 907 0.004 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 172 15 1172 78 731 2344 1 0 0.00 0.00/0.01 o 805 0.01 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 65 172 81 5873 72 936 2344 67 6500 0.01 0.00/0.01 o 794 0.013 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 114 172 131 9467 72 1114 2344 117 8769 0.01 0.00/0.02 o 656 0.019 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 192 172 210 13823 65 1347 2344 196 10105 0.02 0.00/0.02 o 650 0.021 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 208 172 227 14676 64 1471 2344 213 9904 0.02 0.00/0.03 o 648 0.025 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 235 172 255 16950 66 1585 2344 241 9400 0.03 0.00/0.03 o 646 0.032 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 291 172 312 20947 67 1814 2344 298 8818 0.03 0.00/0.06 c 391 172 412 26649 64 2015 2579 398 8500 0.05 0.00/0.06 o 507 0.061 0.00/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.09 c 490 172 512 34251 66 2257 2344 498 8032 0.06 0.00/0.09 c 592 172 614 40291 65 2508 2579 600 8338 0.07 0.00/0.09 o 481 0.085 0.00/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.09 c 712 172 735 47155 64 2730 2344 721 8376 0.09 0.00/0.09 o 455 0.085 0.00/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.09 c 715 172 739 47465 64 2763 2344 725 8313 0.09 0.00/0.09 o 454 0.091 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 768 172 793 50583 63 3039 2344 779 8347 0.09 0.09/0.13 c 868 172 893 56512 63 3261 2579 879 8346 0.10 0.09/0.13 o 450 0.129 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 1068 172 1094 66494 60 3708 2344 1080 8279 0.13 0.09/0.13 o 448 0.131 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 1088 172 1115 67791 60 3852 2344 1101 8242 0.13 0.09/0.14 o 446 0.135 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 1109 172 1137 69216 60 3980 2344 1123 8214 0.14 0.09/0.15 o 440 0.149 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 1204 172 1233 74225 60 4238 2344 1219 8080 0.15 0.09/0.16 o 439 0.155 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 1235 172 1265 75908 60 4422 2344 1251 7967 0.15 0.19/0.20 c 1336 172 1366 82207 60 4680 2579 1352 7634 0.17 0.19/0.20 o 396 0.203 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 1506 172 1537 92002 59 5009 2344 1523 7418 0.20 0.19/0.23 c 1606 172 1637 96233 58 5362 2579 1623 7435 0.22 0.19/0.23 o 394 0.23 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 1676 172 1708 100649 58 5491 2344 1694 7286 0.23 0.19/0.24 o 393 0.241 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 1753 172 1786 104369 58 5599 2344 1772 7273 0.24 0.29/0.31 c 1854 172 1887 110013 58 5927 2579 1873 7186 0.26 0.29/0.31 c 2104 172 2137 126254 59 6453 2837 2123 6966 0.30 0.29/0.31 o 374 0.31 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 2151 172 2185 128193 58 6546 2344 2171 6938 0.31 0.29/0.32 o 324 0.319 0.69/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.79 c 2207 172 2242 130559 58 6677 2344 2228 6918 0.32 0.69/0.79 c 2307 172 2342 135099 57 7109 2579 2328 6907 0.33 0.69/0.79 c 2558 172 2593 146043 56 7526 2837 2579 6876 0.37 0.69/0.79 c 3033 172 1614 79867 49 3930 3121 1600 6846 0.44 0.69/0.79 c 3846 172 2427 122507 50 5554 3434 2413 6980 0.55 0.69/0.79 c 5167 172 1967 101840 51 4650 3778 1953 6771 0.76 0.69/0.79 o 319 0.793 0.79/0.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.85 c 5371 172 2172 111684 51 5154 2344 2158 6773 0.79 0.79/0.85 c 5471 172 2272 116897 51 5352 2579 2258 6779 0.81 0.79/0.85 o 301 0.846 0.79/0.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.86 c 5720 172 2522 132424 52 5959 2344 2508 6761 0.85 0.79/0.86 o 221 0.858 0.89/0.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.92 c 5776 172 1244 65221 52 3305 2344 1230 6731 0.86 0.89/0.92 c 5876 172 1344 70414 52 3495 2579 1330 6746 0.87 0.89/0.92 c 6126 172 1594 82072 51 4008 2837 1580 6829 0.90 0.89/0.92 o 220 0.92 0.99/1.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.03 c 6322 172 1791 93262 52 4509 2344 1777 6864 0.92 0.99/1.03 c 6422 172 1891 97361 51 4698 2579 1877 6883 0.93 0.99/1.03 c 6672 172 2141 106685 49 5198 2837 2127 6942 0.96 0.99/1.03 c 7147 172 2616 126814 48 6166 3121 2602 6979 1.02 0.99/1.03 o 215 1.026 0.99/1.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.04 c 7159 172 2629 127486 48 6302 2344 2615 6970 1.03 0.99/1.04 o 213 1.036 1.39/1.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.42 c 7192 172 1221 56107 45 3272 2344 1207 6935 1.04 1.39/1.42 c 7292 172 1321 60842 46 3476 2579 1307 6951 1.05 1.39/1.42 c 7543 172 1572 72827 46 3975 2837 1558 6990 1.08 1.39/1.42 c 8018 172 2047 95315 46 4900 3121 2033 6996 1.15 1.39/1.42 c 8831 172 2860 132007 46 6547 3434 2846 7081 1.25 1.39/1.42 o 211 1.422 1.39/1.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.46 c 9849 172 2071 106770 51 4967 2344 2057 6926 1.42 1.39/1.46 c 9949 172 2171 110461 50 5171 2579 2157 6933 1.44 1.39/1.46 o 205 1.456 73.27/73.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 73.27/73.33 c 10062 172 2285 117591 51 5503 2344 2271 6910 1.46 73.27/73.33 c 10162 172 1187 66150 55 3072 2579 1173 6898 1.47 73.27/73.33 c 10413 172 1438 75967 52 3580 2837 1424 6946 1.50 73.27/73.33 c 10888 172 1913 98486 51 4532 3121 1899 6979 1.56 73.27/73.33 c 11702 172 2727 134384 49 6140 3434 2713 6990 1.67 73.27/73.33 c 13022 172 2289 98799 43 5288 3778 2275 7081 1.84 73.27/73.33 c 15103 172 2417 103316 42 5552 4156 2403 7044 2.14 73.27/73.33 c 18326 172 3508 158159 45 7732 4572 3494 6871 2.67 73.27/73.33 c 23262 172 3771 163913 43 8241 5030 3757 6648 3.50 73.27/73.33 c 30768 172 3565 163585 45 7820 5534 3551 6349 4.85 73.27/73.33 c 42129 172 3641 182452 50 7985 6088 3627 5748 7.33 73.27/73.33 c 59273 172 5304 231105 43 11302 6697 5290 5481 10.81 73.27/73.33 c 85092 172 3911 198224 50 8492 7367 3897 4841 17.58 73.27/73.33 c 123924 172 5348 245136 45 11390 8104 5334 4476 27.68 73.27/73.33 c 182276 172 6154 266416 43 13016 8915 6140 4104 44.41 73.27/73.33 o 200 73.311 78.57/78.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 78.57/78.60 c 262471 172 5132 250854 48 11092 2344 5118 3580 73.31 78.57/78.60 c 262571 172 1287 67337 52 3269 2579 1273 3578 73.37 78.57/78.60 c 262821 172 1537 76070 49 3766 2837 1523 3581 73.39 78.57/78.60 c 263296 172 2012 95763 47 4726 3121 1998 3585 73.44 78.57/78.60 c 264109 172 2825 135272 47 6341 3434 2811 3591 73.54 78.57/78.60 c 265429 172 2375 107508 45 5420 3778 2361 3599 73.75 78.57/78.60 c 267510 172 2514 102802 40 5715 4156 2500 3611 74.06 78.57/78.60 c 270734 172 3611 149920 41 7893 4572 3597 3628 74.61 78.57/78.60 c 275670 172 3850 173366 45 8381 5030 3836 3653 75.45 78.57/78.60 c 283176 172 3649 157835 43 7996 5534 3635 3687 76.79 78.57/78.60 o 196 78.583 78.67/78.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 78.67/78.75 c 291802 172 3825 178114 46 8476 2344 3811 3713 78.58 78.67/78.75 c 291902 172 1287 59194 45 3281 2579 1273 3712 78.62 78.67/78.75 c 292152 172 1537 69606 45 3783 2837 1523 3714 78.65 78.67/78.75 c 292628 172 2013 90270 44 4722 3121 1999 3717 78.71 78.67/78.75 o 186 78.73 78.67/78.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 78.67/78.76 c 292732 172 2118 94961 44 5048 2344 2104 3718 78.73 78.67/78.76 o 184 78.738 78.67/78.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 78.67/78.77 c 292789 172 2176 98222 45 5290 2344 2162 3718 78.74 78.67/78.77 o 175 78.746 78.67/78.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 78.67/78.78 c 292837 172 2225 100606 45 5476 2344 2211 3718 78.75 78.67/78.78 o 173 78.759 78.67/78.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 78.67/78.78 c 292931 172 2320 104816 45 5782 2344 2306 3719 78.76 78.67/78.78 o 171 78.762 78.67/78.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 78.67/78.79 c 292949 172 2339 106135 45 5931 2344 2325 3719 78.76 78.67/78.79 o 169 78.77 78.77/78.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 78.77/78.84 c 292994 172 1187 53587 45 3081 2344 1173 3719 78.78 78.77/78.84 c 293095 172 1288 56925 44 3266 2579 1274 3720 78.78 78.77/78.84 c 293345 172 1538 70237 45 3793 2837 1524 3722 78.81 78.77/78.84 o 167 78.817 96.46/96.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 96.46/96.58 c 293371 172 1565 71613 45 3954 2344 1551 3722 78.82 96.46/96.58 c 293472 172 1666 75136 45 4146 2579 1652 3722 78.83 96.46/96.58 c 293722 172 1916 94390 49 4656 2837 1902 3724 78.87 96.46/96.58 c 294199 172 2393 114894 48 5595 3121 2379 3728 78.91 96.46/96.58 c 295012 172 1591 80565 50 3874 3434 1577 3732 79.05 96.46/96.58 c 296332 172 2911 137428 47 6539 3778 2897 3739 79.24 96.46/96.58 c 298414 172 3054 138129 45 6823 4156 3040 3750 79.57 96.46/96.58 c 301637 172 4145 172260 41 8963 4572 4131 3767 80.06 96.46/96.58 c 306573 172 4394 192914 43 9475 5030 4380 3784 81.02 96.46/96.58 c 314080 172 4131 201340 48 8943 5534 4117 3802 82.59 96.46/96.58 c 325441 172 4220 196191 46 9112 6088 4206 3818 85.22 96.46/96.58 c 342586 172 5874 277246 47 12471 6697 5860 3830 89.43 96.46/96.58 c 368405 172 4485 172895 38 9671 7367 4471 3820 96.42 96.46/96.58 o 164 96.552 96.67/96.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 96.67/96.72 c 369014 172 5095 202737 39 11016 2344 5081 3821 96.55 96.67/96.72 c 369115 172 1288 59056 45 3289 2579 1274 3820 96.61 96.67/96.72 c 369367 172 1540 69095 44 3786 2837 1526 3822 96.64 96.67/96.72 o 162 96.698 96.67/96.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 96.67/96.78 c 369838 172 2012 91382 45 4843 2344 1998 3824 96.70 96.67/96.78 c 369938 172 2112 94893 44 5018 2579 2098 3825 96.71 96.67/96.78 c 370188 172 2362 104122 44 5517 2837 2348 3826 96.74 96.67/96.78 o 160 96.754 96.67/96.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 96.67/96.79 c 370345 172 2520 110407 43 5966 2344 2506 3827 96.75 96.67/96.79 o 158 96.766 96.77/96.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 96.77/96.85 c 370378 172 1221 53201 43 3273 2344 1207 3827 96.77 96.77/96.85 c 370478 172 1321 56637 42 3445 2579 1307 3828 96.78 96.77/96.85 c 370728 172 1571 67410 42 3957 2837 1557 3829 96.80 96.77/96.85 o 156 96.825 96.96/97.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 96.96/97.06 c 370921 172 1765 76291 43 4467 2344 1751 3830 96.83 96.96/97.06 c 371021 172 1865 80358 43 4646 2579 1851 3831 96.84 96.96/97.06 c 371273 172 2117 95013 44 5169 2837 2103 3832 96.87 96.96/97.06 c 371748 172 2592 123189 47 6114 3121 2578 3834 96.94 96.96/97.06 o 120 97.04 97.57/97.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 97.57/97.60 c 372365 172 1576 87053 55 3858 2344 1562 3836 97.05 97.57/97.60 c 372465 168 1676 90756 54 4044 2579 1662 3837 97.07 97.57/97.60 c 372715 165 1926 100185 52 4562 2837 1912 3838 97.10 97.57/97.60 c 373190 164 2401 119017 49 5489 3121 2387 3841 97.16 97.57/97.60 c 374004 161 1640 69534 42 3988 3434 1626 3844 97.30 97.57/97.60 c 375324 158 2960 129866 43 6626 3778 2946 3851 97.45 97.57/97.60 o 119 97.574 99.67/99.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 99.67/99.70 c 376238 158 1918 85726 44 4522 2316 1904 3855 97.59 99.67/99.70 c 376338 158 2018 90666 44 4725 2548 2004 3855 97.61 99.67/99.70 c 376588 158 2268 103459 45 5225 2803 2254 3856 97.64 99.67/99.70 c 377063 158 2743 126201 46 6172 3084 2729 3859 97.71 99.67/99.70 c 377879 158 1966 90910 46 4622 3393 1952 3862 97.82 99.67/99.70 c 379199 158 3286 142950 43 7254 3733 3272 3868 98.02 99.67/99.70 c 381280 158 3453 136785 39 7588 4107 3439 3877 98.34 99.67/99.70 c 384503 158 2475 102085 41 5637 4518 2461 3887 98.92 99.67/99.70 o 112 99.674 99.67/99.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 99.67/99.72 c 389010 158 2368 107293 45 5518 2316 2354 3902 99.67 99.67/99.72 o 109 99.695 100.27/100.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 100.27/100.37 c 389109 158 1287 56612 43 3352 2316 1273 3902 99.69 100.27/100.37 c 389210 158 1388 62069 44 3557 2548 1374 3903 99.71 100.27/100.37 c 389460 158 1638 72378 44 4054 2803 1624 3904 99.74 100.27/100.37 c 389936 158 2114 91878 43 5010 3084 2100 3907 99.80 100.27/100.37 c 390749 158 2927 124304 42 6623 3393 2913 3911 99.90 100.27/100.37 c 392069 158 2498 100170 40 5675 3733 2484 3917 100.08 100.27/100.37 o 108 100.349 100.37/100.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 100.37/100.41 c 393538 158 2047 92824 45 4888 2316 2033 3921 100.35 100.37/100.41 c 393638 158 2147 97615 45 5079 2548 2133 3922 100.36 100.37/100.41 o 105 100.386 100.37/100.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 100.37/100.41 c 393824 158 2334 104945 44 5536 2316 2320 3923 100.39 100.37/100.41 o 103 100.387 100.37/100.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 100.37/100.42 c 393826 158 2337 105119 44 5629 2316 2323 3923 100.39 100.37/100.42 o 101 100.396 101.66/101.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 101.66/101.79 c 393901 158 1187 56877 47 3058 2316 1173 3923 100.40 101.66/101.79 c 394002 158 1288 62377 48 3261 2548 1274 3923 100.41 101.66/101.79 c 394252 158 1538 81171 52 3762 2803 1524 3924 100.45 101.66/101.79 c 394728 158 2014 101428 50 4711 3084 2000 3927 100.51 101.66/101.79 c 395541 158 2827 145744 51 6337 3393 2813 3930 100.63 101.66/101.79 c 396861 158 2400 113002 47 5477 3733 2386 3935 100.85 101.66/101.79 c 398942 158 2548 105640 41 5782 4107 2534 3943 101.17 101.66/101.79 c 402165 158 3659 148582 40 8003 4518 3645 3956 101.63 101.66/101.79 o 99 101.763 104.66/104.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 104.66/104.72 c 403082 158 2288 97314 42 5259 2316 2274 3960 101.79 104.66/104.72 c 403182 158 1187 50167 42 3062 2548 1173 3960 101.81 104.66/104.72 c 403432 158 1437 60799 42 3561 2803 1423 3961 101.83 104.66/104.72 c 403909 158 1914 80908 42 4516 3084 1900 3964 101.89 104.66/104.72 c 404722 158 2727 116427 42 6119 3393 2713 3968 101.99 104.66/104.72 c 406042 158 2287 95818 41 5263 3733 2273 3973 102.18 104.66/104.72 c 408124 158 2447 103318 42 5573 4107 2433 3982 102.49 104.66/104.72 c 411348 158 3563 141611 39 7815 4518 3549 3997 102.91 104.66/104.72 c 416284 158 3898 155806 39 8478 4970 3884 4013 103.71 104.66/104.72 o 95 104.692 130.76/130.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 130.76/130.87 c 422262 158 4816 200069 41 10415 2316 4802 4033 104.69 130.76/130.87 c 422362 158 1287 54324 42 3262 2548 1273 4032 104.73 130.76/130.87 c 422612 158 1537 63977 41 3757 2803 1523 4034 104.76 130.76/130.87 c 423087 158 2012 81851 40 4701 3084 1998 4036 104.82 130.76/130.87 c 423900 158 2825 112445 39 6339 3393 2811 4040 104.92 130.76/130.87 c 425220 158 2394 93592 39 5461 3733 2380 4045 105.11 130.76/130.87 c 427301 158 2570 101773 39 5825 4107 2556 4053 105.41 130.76/130.87 c 430524 158 3693 143563 38 8063 4518 3679 4068 105.83 130.76/130.87 c 435460 158 4033 154843 38 8745 4970 4019 4087 106.52 130.76/130.87 c 442966 158 3945 150977 38 8581 5468 3931 4114 107.65 130.76/130.87 c 454327 158 4198 162538 38 9078 6015 4184 4146 109.58 130.76/130.87 c 471471 158 3060 127323 41 6792 6617 3046 4176 112.89 130.76/130.87 c 497291 158 5432 217178 39 11546 7279 5418 4218 117.87 130.76/130.87 c 536123 158 3732 146107 39 8144 8007 3718 4228 126.80 130.76/130.87 o 93 130.84 130.86/130.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 130.86/130.94 c 554113 158 5513 227231 41 11810 2316 5499 4235 130.84 130.86/130.94 c 554214 158 1288 59922 46 3258 2548 1274 4234 130.89 130.86/130.94 o 91 130.904 130.86/130.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 130.86/130.95 c 554363 158 1438 67869 47 3648 2316 1424 4234 130.90 130.86/130.95 o 89 130.914 131.15/131.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 131.15/131.28 c 554414 158 1490 71354 47 3856 2316 1476 4234 130.91 131.15/131.28 c 554515 158 1591 76353 47 4061 2548 1577 4235 130.93 131.15/131.28 c 554766 158 1842 84877 46 4567 2803 1828 4236 130.96 131.15/131.28 c 555241 158 2317 101777 43 5501 3084 2303 4237 131.02 131.15/131.28 c 556054 158 1571 57193 36 3827 3393 1557 4240 131.13 131.15/131.28 o 81 131.244 131.15/131.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 131.15/131.29 c 557091 158 2609 95227 36 6000 2316 2595 4244 131.24 131.15/131.29 o 75 131.26 131.15/131.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 131.15/131.29 c 557093 158 1190 42993 36 3161 2316 1176 4244 131.26 131.15/131.29 o 73 131.261 167.25/167.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 167.25/167.30 c 557100 158 1198 43612 36 3271 2316 1184 4244 131.26 167.25/167.30 c 557200 158 1298 50593 38 3476 2548 1284 4244 131.27 167.25/167.30 c 557450 158 1548 59202 38 3963 2803 1534 4245 131.30 167.25/167.30 c 557925 158 2023 77322 38 4934 3084 2009 4247 131.35 167.25/167.30 c 558738 158 2836 111182 39 6533 3393 2822 4250 131.47 167.25/167.30 c 560058 158 2420 94204 38 5518 3733 2406 4254 131.65 167.25/167.30 c 562139 158 2590 96354 37 5858 4107 2576 4261 131.92 167.25/167.30 c 565362 158 3710 139861 37 8086 4518 3696 4271 132.34 167.25/167.30 c 570298 158 4045 151138 37 8764 4970 4031 4284 133.12 167.25/167.30 c 577804 158 3958 158389 40 8589 5468 3944 4301 134.34 167.25/167.30 c 589166 158 4197 176171 41 9060 6015 4183 4325 136.21 167.25/167.30 c 606311 158 3037 122644 40 6753 6617 3023 4350 139.36 167.25/167.31 c 632130 158 5429 214719 39 11533 7279 5415 4384 144.17 167.25/167.31 c 670962 158 3738 153722 41 8148 8007 3724 4401 152.45 167.25/167.31 c 729314 158 5444 227375 41 11569 8808 5430 4399 165.76 167.25/167.31 o 72 167.262 167.35/167.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 167.35/167.43 c 736236 158 7911 298061 37 16606 2316 7897 4401 167.26 167.35/167.43 o 70 167.384 177.14/177.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 177.14/177.25 c 736249 158 1201 42137 35 3188 2316 1187 4398 167.38 177.14/177.25 c 736350 158 1302 46246 35 3378 2548 1288 4398 167.40 177.14/177.25 c 736600 158 1552 54430 35 3882 2803 1538 4399 167.42 177.14/177.25 c 737075 158 2027 71408 35 4831 3084 2013 4401 167.47 177.14/177.25 c 737888 158 2840 102508 36 6460 3393 2826 4403 167.57 177.14/177.25 c 739208 158 2421 92453 38 5525 3733 2407 4405 167.78 177.14/177.25 c 741289 158 2596 95905 36 5876 4107 2582 4411 168.05 177.14/177.25 c 744513 158 3712 134953 36 8113 4518 3698 4418 168.48 177.14/177.25 c 749449 158 4045 159043 39 8778 4970 4031 4427 169.25 177.14/177.25 c 756955 158 3944 158386 40 8567 5468 3930 4440 170.45 177.14/177.25 c 768316 158 4172 159105 38 9020 6015 4158 4460 172.26 177.14/177.25 c 785460 158 6041 247780 41 12756 6617 6027 4477 175.41 177.14/177.25 o 68 177.208 177.24/177.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 177.24/177.31 c 794535 158 5071 206143 40 10930 2316 5057 4483 177.21 177.24/177.31 o 66 177.261 177.24/177.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 177.24/177.31 c 794571 158 1224 51672 42 3235 2316 1210 4482 177.26 177.24/177.31 o 64 177.268 177.24/177.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 177.24/177.32 c 794637 158 1291 56763 43 3464 2316 1277 4482 177.27 177.24/177.32 o 56 177.275 177.45/177.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 177.45/177.53 c 794678 154 1333 58392 43 3638 2308 1319 4482 177.28 177.45/177.53 c 794778 152 1433 64437 44 3835 2539 1419 4482 177.29 177.45/177.53 c 795028 145 1683 74965 44 4325 2793 1669 4483 177.33 177.45/177.53 c 795503 145 2158 97589 45 5276 3073 2144 4484 177.40 177.45/177.53 o 52 177.483 178.74/178.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 178.74/178.83 c 796068 145 2724 129458 47 6503 2290 2710 4485 177.48 178.74/178.83 c 796170 145 1289 67397 52 3249 2520 1275 4485 177.50 178.74/178.83 c 796420 144 1539 81872 53 3740 2773 1525 4486 177.53 178.74/178.83 c 796896 144 2015 103184 51 4700 3051 2001 4486 177.61 178.74/178.83 c 797709 144 2828 140448 49 6326 3357 2814 4488 177.74 178.74/178.83 c 799029 144 2419 110495 45 5505 3693 2405 4489 177.97 178.74/178.83 c 801110 144 2609 118476 45 5882 4063 2595 4490 178.40 178.74/178.83 o 45 178.78 178.74/178.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 178.74/178.84 c 802944 144 2367 107850 45 5488 2288 2353 4491 178.78 178.74/178.84 o 43 178.795 178.74/178.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 178.74/178.84 c 802980 144 1224 54486 44 3199 2288 1210 4491 178.79 178.74/178.84 o 41 178.797 179.15/179.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.15/179.24 c 803003 144 1248 56076 44 3328 2288 1234 4491 178.80 179.15/179.24 c 803104 144 1349 60985 45 3525 2517 1335 4491 178.81 179.15/179.24 c 803354 144 1599 71860 44 4022 2769 1585 4491 178.84 179.15/179.24 c 803829 144 2074 92988 44 4976 3046 2060 4492 178.91 179.15/179.24 c 804642 144 2887 129107 44 6600 3351 2873 4494 179.05 179.15/179.24 o 37 179.198 539.45/539.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 539.45/539.69 c 805478 144 2000 90090 45 4749 2288 1986 4494 179.20 539.45/539.69 c 805578 144 2100 95110 45 4944 2517 2086 4495 179.21 539.45/539.69 c 805829 144 2351 106482 45 5443 2769 2337 4495 179.25 539.45/539.69 c 806304 144 1428 66014 46 3519 3046 1414 4496 179.34 539.45/539.69 c 807117 144 2241 102190 45 5144 3351 2227 4497 179.46 539.45/539.69 c 808438 144 1836 82297 44 4341 3687 1822 4499 179.69 539.45/539.69 c 810519 144 2043 88298 43 4750 4056 2029 4500 180.08 539.45/539.69 c 813742 144 3198 146011 45 7041 4462 3184 4503 180.70 539.45/539.69 c 818678 144 3570 159301 44 7805 4909 3556 4504 181.76 539.45/539.69 c 826184 144 3584 163901 45 7830 5400 3570 4502 183.51 539.45/539.69 c 837546 144 3956 176116 44 8571 5941 3942 4500 186.11 539.45/539.69 c 854690 144 3028 137184 45 6727 6536 3014 4493 190.22 539.45/539.69 c 880509 144 5678 254533 44 11992 7190 5664 4470 196.95 539.45/539.69 c 919341 144 4488 198443 44 9629 7910 4474 4404 208.72 539.45/539.69 c 977693 144 6864 307915 44 14369 8702 6850 4312 226.71 539.45/539.69 c 1065325 144 6595 293297 44 13786 9573 6581 4148 256.79 539.45/539.69 c 1196877 144 7832 324394 41 16284 10531 7818 4052 295.36 539.45/539.69 c 1394309 144 9022 403420 44 18695 11585 9008 3808 366.12 539.45/539.69 c 1690563 144 7707 346131 44 16089 12744 7693 3358 503.32 539.45/539.69 o 36 539.558 539.65/539.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 539.65/539.85 c 1768735 144 8880 410399 46 18513 2288 8866 3278 539.56 539.65/539.85 o 34 539.71 539.65/539.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 539.65/539.85 c 1768751 144 1204 53746 44 3163 2288 1190 3277 539.71 539.65/539.85 o 32 539.717 539.65/539.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 539.65/539.85 c 1768786 144 1240 55452 44 3318 2288 1226 3277 539.72 539.65/539.85 o 30 539.717 542.86/543.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 542.86/543.05 c 1768788 144 1243 55691 44 3406 2288 1229 3277 539.72 542.86/543.05 c 1768888 133 1343 59549 44 3585 2517 1329 3277 539.73 542.86/543.05 c 1769138 132 1593 71495 44 4081 2769 1579 3277 539.77 542.86/543.05 c 1769613 131 2068 93839 45 5027 3046 2054 3277 539.86 542.86/543.05 c 1770427 130 2882 134186 46 6650 3351 2868 3278 540.01 542.86/543.05 c 1771747 130 2474 119205 48 5591 3687 2460 3279 540.27 542.86/543.05 c 1773828 130 2672 132190 49 5991 4056 2658 3280 540.74 542.86/543.05 c 1777051 130 3815 187449 49 8282 4462 3801 3282 541.43 542.86/543.05 c 1781987 130 4200 212860 50 9044 4909 4186 3284 542.59 542.86/543.05 o 27 542.911 542.86/543.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 542.86/543.08 c 1783109 130 2814 142954 50 6348 2260 2800 3284 542.91 542.86/543.08 o 25 542.939 542.86/543.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 542.86/543.08 c 1783193 130 1272 63354 49 3249 2260 1258 3284 542.94 542.86/543.08 o 23 542.941 1799.93/1800.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.93/1800.45 c 1783214 130 1294 64744 50 3360 2260 1280 3284 542.94 1799.93/1800.45 c 1783314 130 1394 70097 50 3561 2487 1380 3284 542.96 1799.93/1800.45 c 1783564 130 1644 82272 50 4048 2736 1630 3284 543.00 1799.93/1800.45 c 1784039 130 2119 105579 49 4995 3010 2105 3284 543.10 1799.93/1800.45 c 1784852 130 2932 145735 49 6633 3312 2918 3285 543.27 1799.93/1800.45 c 1786172 130 2554 125452 49 5745 3644 2540 3286 543.52 1799.93/1800.45 c 1788253 130 2761 131704 47 6154 4009 2747 3287 543.93 1799.93/1800.45 c 1791476 130 3932 185755 47 8496 4410 3918 3289 544.58 1799.93/1800.45 c 1796412 130 4366 206224 47 9359 4852 4352 3292 545.59 1799.93/1800.45 c 1803918 130 4464 218734 48 9551 5338 4450 3296 547.20 1799.93/1800.45 c 1815279 130 4956 239474 48 10522 5872 4942 3301 549.85 1799.93/1800.45 c 1832423 130 4232 209729 49 9091 6460 4218 3306 554.20 1799.93/1800.45 c 1858242 130 3863 183816 47 8361 7107 3849 3307 561.87 1799.93/1800.45 c 1897074 130 6705 328405 48 14033 7818 6691 3307 573.50 1799.93/1800.45 c 1955427 130 5763 290772 50 12155 8600 5749 3294 593.59 1799.93/1800.45 c 2043059 130 6545 331768 50 13705 9461 6531 3256 627.29 1799.93/1800.45 c 2174611 130 9223 439174 47 19062 10408 9209 3179 683.89 1799.93/1800.45 c 2372043 130 7327 357885 48 15264 11449 7313 3048 778.00 1799.93/1800.45 c 2668295 130 9478 468426 49 19581 12594 9464 2858 933.31 1799.93/1800.45 c 3112777 130 10274 512471 49 21183 13854 10260 2593 1200.44 1799.93/1800.45 c 3779604 130 7980 386962 48 16585 15240 7966 2319 1629.50 1799.93/1800.45 c Resources Exceeded 1799.93/1800.45 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 1799.93/1800.45 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 1799.93/1800.45 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 1799.93/1800.45 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 1799.93/1800.45 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 x126 1799.93/1800.45 v -x127 -x128 -x129 x130 x131 -x132 x133 x134 -x135 x136 -x137 x138 x139 -x140 x141 x142 x143 x144 x145 -x146 -x147 x148 x149 1799.93/1800.45 v -x150 -x151 x152 x153 x154 x155 -x156 -x157 x158 x159 -x160 -x161 x162 x163 x164 x165 -x166 x167 -x168 -x169 -x170 -x171 x172 1799.93/1800.45 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.93/1800.45 c 284 4012947 31576 4069854 11449 537479 11435 2229 1800.00 1799.93/1800.45 c Objective: 23 1799.93/1800.45 s SATISFIABLE 1799.93/1800.45 c Total time: 1800 s
OK 23
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-355012-1176750625 -o ROOT/results/node70/solver-355012-1176750625 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/355012-1176750625/instance-355012-1176750625.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: 1.00 1.00 1.00 3/64 5968 /proc/meminfo: memFree=1864328/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=11748 CPUtime=0 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 114599799 12029952 336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 2937 336 282 324 0 2003 0 [startup+0.0147011 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5968 /proc/meminfo: memFree=1864328/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=11868 CPUtime=0 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 428 0 0 0 0 0 0 0 18 0 1 0 114599799 12152832 393 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 2967 393 312 324 0 2036 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11868 [startup+0.101709 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5968 /proc/meminfo: memFree=1864328/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=4700 CPUtime=0.09 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 603 0 0 0 9 0 0 0 18 0 1 0 114599799 4812800 568 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 1175 568 312 324 0 244 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4700 [startup+0.301728 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5968 /proc/meminfo: memFree=1864328/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=5868 CPUtime=0.29 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 872 0 0 0 29 0 0 0 19 0 1 0 114599799 6008832 837 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 1467 837 312 324 0 536 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5868 [startup+0.701769 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5968 /proc/meminfo: memFree=1864328/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=6516 CPUtime=0.69 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 1055 0 0 0 68 1 0 0 23 0 1 0 114599799 6672384 1020 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 1629 1020 312 324 0 698 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6516 [startup+1.50185 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1861312/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=6644 CPUtime=1.49 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 1084 0 0 0 148 1 0 0 25 0 1 0 114599799 6803456 1049 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 1661 1049 312 324 0 730 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6644 [startup+3.10201 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1861184/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=7152 CPUtime=3.09 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 1189 0 0 0 307 2 0 0 25 0 1 0 114599799 7323648 1154 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134572871 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 1788 1154 312 324 0 857 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7152 [startup+6.30133 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1859904/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=7928 CPUtime=6.29 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 1391 0 0 0 625 4 0 0 25 0 1 0 114599799 8118272 1356 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 1982 1356 312 324 0 1051 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7928 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1858752/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=8948 CPUtime=12.69 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 1654 0 0 0 1263 6 0 0 25 0 1 0 114599799 9162752 1619 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 2237 1619 312 324 0 1306 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8948 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1858368/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=9328 CPUtime=25.49 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 1752 0 0 0 2540 9 0 0 25 0 1 0 114599799 9551872 1717 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 2332 1717 312 324 0 1401 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 9328 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1857024/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=10740 CPUtime=51.08 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 2098 0 0 0 5093 15 0 0 25 0 1 0 114599799 10997760 2063 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 2685 2063 312 324 0 1754 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 10740 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1856576/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=10868 CPUtime=102.27 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 2213 0 0 0 10197 30 0 0 25 0 1 0 114599799 11128832 2111 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 2717 2111 312 324 0 1786 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 10868 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1856576/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=10868 CPUtime=162.25 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 2213 0 0 0 16173 52 0 0 25 0 1 0 114599799 11128832 2111 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 2717 2111 312 324 0 1786 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 10868 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1856576/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=10868 CPUtime=222.23 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 2213 0 0 0 22151 72 0 0 25 0 1 0 114599799 11128832 2111 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 2717 2111 312 324 0 1786 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 10868 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1856576/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=10872 CPUtime=282.22 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 2214 0 0 0 28138 84 0 0 25 0 1 0 114599799 11132928 2112 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 2718 2112 312 324 0 1787 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 10872 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1856576/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=11192 CPUtime=342.2 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 2272 0 0 0 34123 97 0 0 25 0 1 0 114599799 11460608 2170 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 2798 2170 312 324 0 1867 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 11192 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1855552/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=12148 CPUtime=402.19 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 2515 0 0 0 40111 108 0 0 25 0 1 0 114599799 12439552 2413 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 3037 2413 312 324 0 2106 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 12148 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1855232/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=12436 CPUtime=462.18 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 2585 0 0 0 46097 121 0 0 25 0 1 0 114599799 12734464 2483 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 3109 2483 312 324 0 2178 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 12436 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1854400/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=13208 CPUtime=522.16 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 2793 0 0 0 52084 132 0 0 25 0 1 0 114599799 13524992 2691 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 3302 2691 312 324 0 2371 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 13208 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1854528/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=12904 CPUtime=582.15 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 2793 0 0 0 58070 145 0 0 25 0 1 0 114599799 13213696 2620 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 3226 2620 312 324 0 2295 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 12904 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1854528/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=12904 CPUtime=642.13 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 2793 0 0 0 64056 157 0 0 25 0 1 0 114599799 13213696 2620 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8855269 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 3226 2620 312 324 0 2295 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 12904 ################ # More data... # ################ /proc/meminfo: memFree=1853824/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=13652 CPUtime=1122.01 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 2976 0 0 0 111968 233 0 0 25 0 1 0 114599799 13979648 2803 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 3413 2803 312 324 0 2482 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 13652 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1853824/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=13612 CPUtime=1181.99 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 2976 0 0 0 117957 242 0 0 25 0 1 0 114599799 13938688 2797 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 8846998 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 3403 2797 312 324 0 2472 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 13612 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1852928/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=14516 CPUtime=1241.98 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 3186 0 0 0 123947 251 0 0 25 0 1 0 114599799 14864384 3007 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 3629 3007 312 324 0 2698 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 14516 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1852928/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=14512 CPUtime=1301.97 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 3200 0 0 0 129938 259 0 0 25 0 1 0 114599799 14860288 3021 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 3628 3021 312 324 0 2697 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 14512 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1852928/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=14512 CPUtime=1361.94 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 3200 0 0 0 135928 266 0 0 25 0 1 0 114599799 14860288 3021 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 3628 3021 312 324 0 2697 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 14512 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1852928/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=14508 CPUtime=1421.94 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 3200 0 0 0 141920 274 0 0 25 0 1 0 114599799 14856192 3021 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551042 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 3627 3021 312 324 0 2696 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 14508 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1852928/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=14500 CPUtime=1481.91 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 3200 0 0 0 147909 282 0 0 25 0 1 0 114599799 14848000 3019 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 3625 3019 312 324 0 2694 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 14500 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1852928/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=14492 CPUtime=1541.91 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 3200 0 0 0 153900 291 0 0 25 0 1 0 114599799 14839808 3017 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 3623 3017 312 324 0 2692 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 14492 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1852928/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=14492 CPUtime=1601.88 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 3200 0 0 0 159889 299 0 0 25 0 1 0 114599799 14839808 3017 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551240 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 3623 3017 312 324 0 2692 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 14492 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5969 /proc/meminfo: memFree=1851968/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=15500 CPUtime=1661.87 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 3438 0 0 0 165879 308 0 0 25 0 1 0 114599799 15872000 3255 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 3875 3255 312 324 0 2944 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 15500 [startup+1722.3 s] /proc/loadavg: 1.04 1.01 1.00 2/65 5969 /proc/meminfo: memFree=1851840/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=15608 CPUtime=1721.86 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 3464 0 0 0 171870 316 0 0 25 0 1 0 114599799 15982592 3281 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 3902 3281 312 324 0 2971 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 15608 [startup+1782.3 s] /proc/loadavg: 1.06 1.02 1.00 2/65 5969 /proc/meminfo: memFree=1851776/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=15608 CPUtime=1781.85 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 3464 0 0 0 177860 325 0 0 25 0 1 0 114599799 15982592 3281 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 3902 3281 312 324 0 2971 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 15608 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.05 1.02 1.00 2/65 5969 /proc/meminfo: memFree=1851776/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=15604 CPUtime=1791.45 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 3464 0 0 0 178819 326 0 0 25 0 1 0 114599799 15978496 3281 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 3901 3281 312 324 0 2970 0 Current children cumulated CPU time (s) 1791.45 Current children cumulated vsize (KiB) 15604 [startup+1795.1 s] /proc/loadavg: 1.12 1.04 1.01 2/65 5969 /proc/meminfo: memFree=1851776/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=15604 CPUtime=1794.64 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 3464 0 0 0 179138 326 0 0 25 0 1 0 114599799 15978496 3281 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 3901 3281 312 324 0 2970 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (KiB) 15604 [startup+1798.3 s] /proc/loadavg: 1.12 1.04 1.01 2/65 5969 /proc/meminfo: memFree=1851776/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=15604 CPUtime=1797.84 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 3464 0 0 0 179458 326 0 0 25 0 1 0 114599799 15978496 3281 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 3901 3281 312 324 0 2970 0 Current children cumulated CPU time (s) 1797.84 Current children cumulated vsize (KiB) 15604 [startup+1799.1 s] /proc/loadavg: 1.11 1.04 1.00 2/65 5969 /proc/meminfo: memFree=1851776/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=15604 CPUtime=1798.64 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 3464 0 0 0 179538 326 0 0 25 0 1 0 114599799 15978496 3281 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 3901 3281 312 324 0 2970 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (KiB) 15604 [startup+1799.9 s] /proc/loadavg: 1.11 1.04 1.00 2/65 5969 /proc/meminfo: memFree=1851776/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=15604 CPUtime=1799.43 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 3464 0 0 0 179617 326 0 0 25 0 1 0 114599799 15978496 3281 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 3901 3281 312 324 0 2970 0 Current children cumulated CPU time (s) 1799.43 Current children cumulated vsize (KiB) 15604 [startup+1800.3 s] /proc/loadavg: 1.11 1.04 1.00 2/65 5969 /proc/meminfo: memFree=1851776/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=15604 CPUtime=1799.83 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 3464 0 0 0 179657 326 0 0 25 0 1 0 114599799 15978496 3281 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 3901 3281 312 324 0 2970 0 Current children cumulated CPU time (s) 1799.83 Current children cumulated vsize (KiB) 15604 [startup+1800.4 s] /proc/loadavg: 1.11 1.04 1.00 2/65 5969 /proc/meminfo: memFree=1851776/2055920 swapFree=4183744/4192956 [pid=5968] ppid=5966 vsize=15604 CPUtime=1799.93 /proc/5968/stat : 5968 (bsolo3.0.16) R 5966 5968 5464 0 -1 4194304 3464 0 0 0 179667 326 0 0 25 0 1 0 114599799 15978496 3281 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5968/statm: 3901 3281 312 324 0 2970 0 Current children cumulated CPU time (s) 1799.93 Current children cumulated vsize (KiB) 15604 Child status: 0 Real time (s): 1800.46 CPU time (s): 1800.01 CPU user time (s): 1796.73 CPU system time (s): 3.2725 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 15620 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.73 system time used= 3.2725 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3465 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= 12 involuntary context switches= 2230 runsolver used 1.19782 second user time and 3.71843 second system time The end
Begin job on node70 on Mon Apr 16 19:10:25 UTC 2007 IDJOB= 355012 IDBENCH= 2932 IDSOLVER= 163 FILE ID= node70/355012-1176750625 PBS_JOBID= 4580714 Free space on /tmp= 66546 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_3.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/355012-1176750625/instance-355012-1176750625.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-355012-1176750625 -o ROOT/results/node70/solver-355012-1176750625 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/355012-1176750625/instance-355012-1176750625.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 474916db0f2f0be5831d97827cee8e55 RANDOM SEED= 986545971 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node70.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.218 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.218 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: 1864736 kB Buffers: 18652 kB Cached: 126900 kB SwapCached: 3640 kB Active: 62936 kB Inactive: 92984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1864736 kB SwapTotal: 4192956 kB SwapFree: 4183744 kB Dirty: 4392 kB Writeback: 0 kB Mapped: 15712 kB Slab: 21264 kB Committed_AS: 2421540 kB PageTables: 1396 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= 66546 MiB End job on node70 on Mon Apr 16 19:40:25 UTC 2007