Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 28 | 1800.1 | 1800.72 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_3.opb |
MD5SUM | 0278ee4f163393ac33163ff791a7f96d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 28 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
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 | 16 |
Minimum length of a constraint | 82 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
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 | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1782 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5856 |
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.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433525-1177960523/instance-433525-1177960523.opb 0.00/0.00 c File size is 13159 bytes. 0.00/0.00 c Highest Coefficient sum: 5856 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: 198 Constr: 16 0/0/16 Lit: 1354 Watch. Lit: 388 0.00/0.00 c Obj. Vars: 128 (64.6465 % of total variables) 0.00/0.00 c Pre-processing Time: 0.004 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 198 16 1354 84 394 2708 0 0 0.00 0.00/0.00 c Switching off LPR mode. 0.00/0.01 o 1080 0.005 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 198 17 1482 87 896 2964 1 0 0.01 0.00/0.02 c 100 198 117 9681 82 1095 3261 101 6666 0.01 0.00/0.02 o 907 0.016 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 116 198 134 10969 81 1205 2964 118 7250 0.02 0.00/0.04 c 216 198 234 19490 83 1412 3261 218 7448 0.03 0.00/0.04 o 898 0.041 0.08/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.09 c 318 198 337 27221 80 1735 2964 321 7756 0.04 0.08/0.09 c 418 198 437 35609 81 1939 3261 421 7600 0.06 0.08/0.09 o 748 0.086 0.08/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.09 c 619 198 639 52260 81 2368 2964 623 7197 0.09 0.08/0.09 o 695 0.087 0.08/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.09 c 622 198 643 52631 81 2463 2964 627 7149 0.09 0.08/0.09 o 691 0.088 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 626 198 648 53095 81 2580 2964 632 7113 0.09 0.09/0.10 c 726 198 748 60777 81 2809 3261 732 7048 0.10 0.09/0.10 o 661 0.104 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 727 198 750 60991 81 2903 2964 734 6990 0.10 0.09/0.11 o 657 0.107 0.59/0.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.68 c 744 198 768 62666 81 3056 2964 752 6953 0.11 0.59/0.68 c 844 198 868 70734 81 3218 3261 852 6861 0.12 0.59/0.68 c 1094 198 1118 87369 78 3786 3588 1102 7012 0.16 0.59/0.68 c 1569 198 1593 120250 75 4771 3947 1577 6911 0.23 0.59/0.68 c 2382 198 2406 172829 71 6398 4342 2390 6187 0.39 0.59/0.68 c 3703 198 3727 261039 70 8986 4777 3711 5794 0.64 0.59/0.68 o 643 0.678 0.89/0.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.94 c 3908 198 3933 272721 69 9438 2964 3917 5755 0.68 0.89/0.94 c 4009 198 1600 105431 65 4080 3261 1584 5727 0.70 0.89/0.94 c 4259 198 1850 119911 64 4580 3588 1834 5826 0.73 0.89/0.94 c 4734 198 2325 149368 64 5539 3947 2309 5837 0.81 0.89/0.94 o 574 0.943 0.89/0.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.96 c 5533 198 3125 202171 64 7229 2964 3109 5867 0.94 0.89/0.96 o 549 0.955 0.89/0.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.96 c 5555 198 1522 97097 63 4032 2964 1506 5816 0.95 0.89/0.96 o 471 0.956 0.89/0.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.96 c 5555 198 1523 97225 63 4121 2964 1507 5810 0.96 0.89/0.96 o 469 0.958 0.99/1.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.03 c 5568 198 1537 98617 64 4264 2964 1521 5812 0.96 0.99/1.03 c 5671 198 1640 106139 64 4492 3261 1624 5816 0.97 0.99/1.03 c 5922 198 1891 123336 65 5028 3588 1875 5766 1.03 0.99/1.03 o 466 1.033 1.19/1.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.22 c 5945 198 1915 125196 65 5175 2964 1899 5755 1.03 1.19/1.22 c 6045 198 2015 132588 65 5375 3261 1999 5768 1.05 1.19/1.22 c 6297 198 2267 151898 67 5900 3588 2251 5777 1.09 1.19/1.22 c 6772 198 2742 180522 65 6843 3947 2726 5827 1.16 1.19/1.22 o 462 1.224 1.19/1.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.24 c 7084 198 3055 205013 67 7548 2964 3039 5787 1.22 1.19/1.24 o 461 1.238 1.19/1.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.24 c 7131 198 1547 109084 70 4074 2964 1531 5760 1.24 1.19/1.24 o 449 1.242 1.19/1.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.24 c 7157 198 1574 110578 70 4267 2964 1558 5762 1.24 1.19/1.24 o 448 1.243 1.29/1.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.32 c 7158 198 1576 110751 70 4375 2964 1560 5758 1.24 1.29/1.32 c 7258 198 1676 119877 71 4596 3261 1660 5755 1.26 1.29/1.32 c 7508 198 1926 136144 70 5078 3588 1910 5788 1.30 1.29/1.32 o 441 1.319 1.39/1.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.40 c 7638 198 2057 144435 70 5411 2964 2041 5790 1.32 1.39/1.40 c 7739 198 2158 151558 70 5671 3261 2142 5788 1.34 1.39/1.40 c 7989 198 2408 167878 69 6191 3588 2392 5789 1.38 1.39/1.40 o 382 1.403 1.39/1.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.48 c 8121 198 2541 175658 69 6524 2964 2525 5788 1.40 1.39/1.48 c 8222 198 2642 183167 69 6744 3261 2626 5794 1.42 1.39/1.48 c 8472 198 2892 198172 68 7264 3588 2876 5814 1.46 1.39/1.48 o 367 1.476 1.59/1.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.68 c 8568 198 2989 205298 68 7531 2964 2973 5804 1.48 1.59/1.68 c 8668 198 1599 105872 66 4060 3261 1583 5805 1.49 1.59/1.68 c 8918 198 1849 123260 66 4576 3588 1833 5847 1.52 1.59/1.68 c 9394 198 2325 155023 66 5537 3947 2309 5885 1.60 1.59/1.68 o 357 1.679 1.69/1.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.70 c 9824 198 2756 187023 67 6482 2964 2740 5851 1.68 1.69/1.70 c 9924 198 2856 191971 67 6701 3261 2840 5851 1.70 1.69/1.70 o 349 1.701 1.69/1.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.73 c 9948 198 2881 193869 67 6841 2964 2865 5848 1.70 1.69/1.73 c 10049 198 1499 100121 66 3883 3261 1483 5835 1.72 1.69/1.73 o 345 1.731 1.69/1.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.77 c 10109 198 1560 104105 66 4085 2964 1544 5839 1.73 1.69/1.77 c 10209 198 1660 109241 65 4322 3261 1644 5850 1.75 1.69/1.77 o 341 1.767 1.79/1.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.81 c 10331 198 1783 117766 66 4647 2964 1767 5843 1.77 1.79/1.81 c 10431 198 1883 122867 65 4888 3261 1867 5850 1.78 1.79/1.81 o 339 1.809 1.99/2.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.01 c 10579 198 2032 134853 66 5306 2964 2016 5844 1.81 1.99/2.01 c 10679 198 2132 139681 65 5498 3261 2116 5851 1.82 1.99/2.01 c 10929 198 2382 158388 66 5983 3588 2366 5847 1.87 1.99/2.01 c 11404 198 2857 188040 65 6941 3947 2841 5848 1.95 1.99/2.01 o 337 2.011 2.10/2.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.10/2.18 c 11638 198 3092 207207 67 7533 2964 3076 5787 2.01 2.10/2.18 c 11738 198 1599 104802 65 4061 3261 1583 5782 2.03 2.10/2.18 c 11988 198 1849 121064 65 4561 3588 1833 5805 2.06 2.10/2.18 c 12463 198 2324 154713 66 5529 3947 2308 5845 2.13 2.10/2.18 o 335 2.177 2.39/2.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.43 c 12836 198 2698 177884 65 6385 2964 2682 5893 2.18 2.39/2.43 c 12936 198 2798 182824 65 6595 3261 2782 5906 2.19 2.39/2.43 c 13186 198 3048 198705 65 7072 3588 3032 5934 2.22 2.39/2.43 c 13661 198 3523 231121 65 8050 3947 3507 5952 2.29 2.39/2.43 o 294 2.432 2.69/2.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.76 c 14404 198 2239 143580 64 5471 2964 2223 5922 2.43 2.69/2.76 c 14504 198 2339 148823 63 5663 3261 2323 5929 2.45 2.69/2.76 c 14754 198 2589 163670 63 6177 3588 2573 5927 2.49 2.69/2.76 c 15232 198 3067 193790 63 7127 3947 3051 5959 2.56 2.69/2.76 c 16045 198 3880 241231 62 8776 4342 3864 5978 2.68 2.69/2.76 o 285 2.763 2.89/2.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.90 c 16514 198 4350 274963 63 9826 2964 4334 5976 2.76 2.89/2.90 c 16615 198 1600 102000 63 4062 3261 1584 5965 2.79 2.89/2.90 c 16866 198 1851 118361 63 4593 3588 1835 5985 2.82 2.89/2.90 c 17341 198 2326 147112 63 5528 3947 2310 6023 2.88 2.89/2.90 o 272 2.902 3.09/3.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.15 c 17494 198 2480 156971 63 5951 2964 2464 6028 2.90 3.09/3.15 c 17594 198 2580 162910 63 6157 3261 2564 6033 2.92 3.09/3.15 c 17844 198 2830 173698 61 6650 3588 2814 6063 2.94 3.09/3.15 c 18319 198 3305 204933 62 7612 3947 3289 6063 3.02 3.09/3.15 o 262 3.152 3.09/3.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.16 c 19059 198 1993 116466 58 5003 2964 1977 6046 3.15 3.09/3.16 o 234 3.155 3.09/3.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.16 c 19070 198 2005 117144 58 5142 2964 1989 6042 3.16 3.09/3.16 o 228 3.156 3.09/3.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.16 c 19071 198 2007 117362 58 5264 2964 1991 6042 3.16 3.09/3.16 o 226 3.159 3.09/3.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.19 c 19081 198 2018 118242 58 5415 2964 2002 6040 3.16 3.09/3.19 c 19181 198 2118 123390 58 5629 3261 2102 6035 3.18 3.09/3.19 o 224 3.194 16.68/16.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.68/16.70 c 19257 198 2195 127996 58 5898 2964 2179 6029 3.19 16.68/16.70 c 19358 198 2296 132342 57 6108 3261 2280 6030 3.21 16.68/16.70 c 19609 198 2547 147370 57 6588 3588 2531 6033 3.25 16.68/16.70 c 20084 198 3022 170325 56 7531 3947 3006 6034 3.33 16.68/16.70 c 20899 198 3837 214595 55 9155 4342 3821 6043 3.46 16.68/16.70 c 22219 198 2919 147500 50 6722 4777 2903 6050 3.67 16.68/16.70 c 24300 198 2525 148360 58 5914 5255 2509 5966 4.07 16.68/16.70 c 27523 198 3052 148183 48 6956 5781 3036 5852 4.70 16.68/16.70 c 32459 198 5012 257613 51 10898 6360 4996 5705 5.69 16.68/16.70 c 39965 198 6054 286591 47 12986 6997 6038 5577 7.17 16.68/16.70 c 51326 198 6704 385772 57 14288 7697 6688 4929 10.41 16.68/16.70 c 68470 198 4241 246554 58 9353 8467 4225 4427 15.47 16.68/16.70 o 223 16.696 16.99/17.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.99/17.05 c 72495 198 8267 500224 60 17543 2964 8251 4342 16.70 16.99/17.05 c 72595 198 1599 104733 65 4086 3261 1583 4320 16.80 16.99/17.05 c 72845 198 1849 116819 63 4576 3588 1833 4328 16.83 16.99/17.05 c 73320 198 2324 143783 61 5538 3947 2308 4340 16.89 16.99/17.05 c 74133 198 3137 195314 62 7123 4342 3121 4359 17.01 16.99/17.05 o 213 17.049 16.99/17.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.99/17.07 c 74423 198 3428 208261 60 7848 2964 3412 4364 17.05 16.99/17.07 o 211 17.06 20.68/20.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.68/20.78 c 74441 198 1518 89504 58 4024 2964 1502 4363 17.06 20.68/20.78 c 74541 198 1618 93540 57 4204 3261 1602 4366 17.07 20.68/20.78 c 74791 198 1868 103201 55 4711 3588 1852 4375 17.09 20.68/20.78 c 75267 198 2344 123444 52 5674 3947 2328 4391 17.14 20.68/20.78 c 76080 198 3157 157523 49 7277 4342 3141 4414 17.23 20.68/20.78 c 77401 198 2251 100958 44 5342 4777 2235 4437 17.44 20.68/20.78 c 79482 198 4332 213049 49 9526 5255 4316 4465 17.80 20.68/20.78 c 82706 198 4855 272414 56 10588 5781 4839 4473 18.49 20.68/20.78 c 87642 198 3889 184854 47 8663 6360 3873 4452 19.68 20.68/20.78 o 209 20.768 62.27/62.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.27/62.33 c 93054 198 6074 339421 55 13166 2964 6058 4480 20.77 62.27/62.33 c 93154 198 1599 89724 56 4046 3261 1583 4473 20.82 62.27/62.33 c 93404 198 1849 100428 54 4537 3588 1833 4480 20.85 62.27/62.33 c 93879 198 2324 121560 52 5520 3947 2308 4490 20.90 62.27/62.33 c 94692 198 3137 161786 51 7153 4342 3121 4500 21.04 62.27/62.33 c 96012 198 2236 113306 50 5323 4777 2220 4514 21.27 62.27/62.33 c 98095 198 4319 214376 49 9504 5255 4303 4541 21.60 62.27/62.33 c 101319 198 4851 246940 50 10545 5781 4835 4547 22.28 62.27/62.33 c 106255 198 3891 183256 47 8657 6360 3875 4583 23.18 62.27/62.33 c 113761 198 4942 255870 51 10741 6997 4926 4605 24.70 62.27/62.33 c 125122 198 5600 309747 55 12078 7697 5584 4538 27.57 62.27/62.33 c 142266 198 7099 342637 48 15025 8467 7083 4515 31.51 62.27/62.33 c 168085 198 7111 358914 50 15090 9314 7095 4279 39.27 62.27/62.33 c 206917 198 8193 415465 50 17246 10246 8177 4049 51.10 62.27/62.33 o 175 62.307 120.15/120.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 120.15/120.20 c 235365 198 5550 310756 55 12116 2964 5534 3777 62.31 120.15/120.20 c 235465 198 1599 93033 58 4044 3261 1583 3775 62.36 120.15/120.20 c 235715 198 1849 104275 56 4540 3588 1833 3778 62.38 120.15/120.20 c 236190 198 2324 124313 53 5495 3947 2308 3783 62.43 120.15/120.20 c 237004 198 3138 161499 51 7170 4342 3122 3789 62.55 120.15/120.20 c 238324 198 2216 106214 47 5321 4777 2200 3795 62.79 120.15/120.20 c 240405 198 4297 209938 48 9440 5255 4281 3805 63.18 120.15/120.20 c 243628 198 4853 229821 47 10548 5781 4837 3815 63.84 120.15/120.20 c 248565 198 3876 202093 52 8635 6360 3860 3828 64.93 120.15/120.20 c 256071 198 4914 240043 48 10669 6997 4898 3845 66.59 120.15/120.20 c 267432 198 5574 277072 49 12010 7697 5558 3867 69.16 120.15/120.20 c 284580 198 7093 375749 52 15075 8467 7077 3835 74.19 120.15/120.20 c 310401 198 7140 342878 48 15132 9314 7124 3792 81.84 120.15/120.20 c 349233 198 8292 404846 48 17439 10246 8276 3737 93.45 120.15/120.20 c 407585 198 9649 450158 46 20164 11271 9633 3556 114.61 120.15/120.20 o 173 120.159 120.85/120.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 120.85/120.95 c 421991 198 6980 370402 53 14980 2964 6964 3511 120.16 120.85/120.95 c 422091 198 1599 79045 49 4060 3261 1583 3509 120.26 120.85/120.95 c 422341 198 1849 91889 49 4568 3588 1833 3510 120.29 120.85/120.95 c 422817 198 2325 118891 51 5525 3947 2309 3512 120.36 120.85/120.95 c 423631 198 3139 166835 53 7162 4342 3123 3515 120.50 120.85/120.95 c 424953 198 2227 124570 55 5350 4777 2211 3518 120.76 120.85/120.95 o 169 120.907 125.94/126.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 125.94/126.02 c 425778 198 3053 171963 56 7131 2964 3037 3521 120.91 125.94/126.02 c 425878 198 1599 90593 56 4060 3261 1583 3521 120.93 125.94/126.02 c 426129 198 1850 102966 55 4594 3588 1834 3522 120.97 125.94/126.02 c 426604 198 2325 128742 55 5547 3947 2309 3523 121.06 125.94/126.02 c 427418 198 3139 168919 53 7186 4342 3123 3526 121.19 125.94/126.02 c 428738 198 2235 113424 50 5343 4777 2219 3530 121.45 125.94/126.02 c 430821 198 4318 229570 53 9520 5255 4302 3535 121.86 125.94/126.02 c 434044 198 4836 283174 58 10566 5781 4820 3542 122.53 125.94/126.02 c 438980 198 3869 215425 55 8627 6360 3853 3545 123.80 125.94/126.02 c 446486 198 4860 275536 56 10615 6997 4844 3548 125.83 125.94/126.02 o 166 125.973 126.04/126.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 126.04/126.17 c 447185 198 5560 310684 55 12138 2964 5544 3549 125.97 126.04/126.17 c 447285 198 1599 85277 53 4074 3261 1583 3548 126.04 126.04/126.17 c 447535 198 1849 98479 53 4592 3588 1833 3549 126.08 126.04/126.17 o 164 126.128 126.94/127.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 126.94/127.08 c 447825 198 2140 118510 55 5298 2964 2124 3550 126.13 126.94/127.08 c 447925 198 2240 122680 54 5452 3261 2224 3550 126.14 126.94/127.08 c 448175 198 2490 134915 54 5968 3588 2474 3551 126.18 126.94/127.08 c 448650 198 2965 156507 52 6912 3947 2949 3553 126.26 126.94/127.08 c 449464 198 3779 197095 52 8563 4342 3763 3555 126.40 126.94/127.08 c 450785 198 2884 149003 51 6626 4777 2868 3560 126.62 126.94/127.08 c 452866 198 2520 125014 49 5920 5255 2504 3565 127.01 126.94/127.08 o 155 127.041 127.04/127.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 127.04/127.10 c 453106 198 2761 137653 49 6531 2964 2745 3566 127.04 127.04/127.10 c 453206 198 2861 141474 49 6709 3261 2845 3567 127.05 127.04/127.10 o 153 127.058 127.14/127.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 127.14/127.21 c 453233 198 2889 143625 49 6917 2964 2873 3567 127.06 127.14/127.21 c 453333 198 1499 72778 48 3856 3261 1483 3567 127.08 127.14/127.21 c 453585 198 1751 87350 49 4391 3588 1735 3568 127.11 127.14/127.21 c 454060 198 2226 109745 49 5328 3947 2210 3570 127.16 127.14/127.21 o 151 127.166 127.34/127.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 127.34/127.45 c 454086 198 2253 112135 49 5518 2964 2237 3570 127.17 127.34/127.45 c 454186 198 2353 116256 49 5712 3261 2337 3571 127.18 127.34/127.45 c 454436 198 2603 129189 49 6219 3588 2587 3572 127.22 127.34/127.45 c 454911 198 3078 152974 49 7115 3947 3062 3573 127.31 127.34/127.45 o 147 127.403 127.34/127.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 127.34/127.49 c 455401 198 3569 179230 50 8275 2964 3553 3574 127.40 127.34/127.49 c 455502 198 1600 83635 52 4079 3261 1584 3574 127.43 127.34/127.49 o 146 127.444 128.04/128.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 128.04/128.20 c 455650 198 1749 92015 52 4509 2964 1733 3575 127.44 128.04/128.20 c 455751 198 1850 95953 51 4684 3261 1834 3575 127.45 128.04/128.20 c 456001 198 2100 116895 55 5213 3588 2084 3576 127.49 128.04/128.20 c 456477 198 2576 140934 54 6164 3947 2560 3578 127.56 128.04/128.20 c 457290 198 3389 184667 54 7784 4342 3373 3580 127.71 128.04/128.20 c 458610 198 2480 133308 53 5851 4777 2464 3583 127.99 128.04/128.20 o 96 128.151 188.73/188.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 188.73/188.89 c 459604 198 3475 194618 56 7965 2964 3459 3586 128.15 188.73/188.89 c 459704 192 1599 89978 56 4055 3261 1583 3586 128.18 188.73/188.89 c 459954 187 1849 100089 54 4563 3588 1833 3587 128.21 188.73/188.89 c 460429 186 2324 121149 52 5521 3947 2308 3589 128.27 188.73/188.89 c 461242 186 3137 157891 50 7148 4342 3121 3592 128.39 188.73/188.89 c 462562 185 2233 100700 45 5337 4777 2217 3595 128.63 188.73/188.89 c 464644 185 4315 195257 45 9498 5255 4299 3602 128.99 188.73/188.89 c 467867 184 4869 223358 45 10608 5781 4853 3609 129.61 188.73/188.89 c 472803 184 3927 176676 44 8723 6360 3911 3621 130.57 188.73/188.89 c 480309 183 4950 233893 47 10769 6997 4934 3635 132.11 188.73/188.89 c 491670 183 5666 259627 45 12200 7697 5650 3656 134.45 188.73/188.89 c 508814 182 7202 348310 48 15261 8467 7186 3656 139.16 188.73/188.89 c 534633 182 7304 335482 45 15468 9314 7288 3656 146.21 188.73/188.89 c 573465 182 8436 423357 50 17738 10246 8420 3634 157.78 188.73/188.89 c 631817 182 9886 463212 46 20643 11271 9870 3590 175.97 188.73/188.89 o 95 188.821 191.12/191.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 191.12/191.28 c 670609 182 8866 409890 46 18716 2932 8850 3551 188.82 191.12/191.28 c 670709 182 1599 72385 45 4055 3226 1583 3548 189.00 191.12/191.28 c 670959 182 1849 82952 44 4531 3549 1833 3549 189.03 191.12/191.28 c 671435 182 2325 102953 44 5500 3904 2309 3551 189.08 191.12/191.28 c 672248 182 3138 139262 44 7136 4295 3122 3553 189.18 191.12/191.28 c 673568 182 2268 100986 44 5383 4725 2252 3556 189.41 191.12/191.28 c 675649 182 4349 191457 44 9558 5198 4333 3561 189.69 191.12/191.28 c 678872 182 4919 218384 44 10688 5718 4903 3569 190.21 191.12/191.28 o 65 191.208 191.23/191.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 191.23/191.31 c 683748 182 3967 176604 44 8900 2932 3951 3575 191.21 191.23/191.31 o 63 191.239 191.23/191.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 191.23/191.32 c 683781 182 1533 72089 47 4036 2932 1517 3575 191.24 191.23/191.32 o 62 191.248 191.23/191.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 191.23/191.39 c 683849 180 1602 76867 47 4284 2928 1586 3575 191.25 191.23/191.39 c 683949 173 1702 82279 48 4475 3221 1686 3575 191.26 191.23/191.39 c 684199 170 1952 96083 49 4974 3544 1936 3576 191.30 191.23/191.39 o 60 191.324 365.97/366.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 365.97/366.10 c 684327 170 2081 104876 50 5332 2908 2065 3576 191.32 365.97/366.10 c 684427 169 2181 110063 50 5521 3199 2165 3576 191.34 365.97/366.10 c 684677 169 2431 123842 50 6041 3519 2415 3577 191.39 365.97/366.10 c 685152 167 2906 148112 50 6979 3871 2890 3578 191.48 365.97/366.10 c 685966 167 3720 190019 51 8606 4259 3704 3579 191.66 365.97/366.10 c 687286 167 2870 149579 52 6569 4685 2854 3580 191.97 365.97/366.10 c 689368 167 2567 133131 51 5977 5154 2551 3581 192.49 365.97/366.10 c 692591 167 3173 165227 52 7180 5670 3157 3582 193.33 365.97/366.10 c 697527 167 5216 279129 53 11267 6238 5200 3584 194.57 365.97/366.10 c 705035 166 3216 176322 54 7277 6862 3200 3579 196.97 365.97/366.10 c 716396 166 4137 225578 54 9114 7549 4121 3572 200.53 365.97/366.10 c 733541 166 5991 332498 55 12822 8304 5975 3553 206.46 365.97/366.10 c 759360 166 6561 352792 53 13954 9135 6545 3519 215.76 365.97/366.10 c 798192 166 8457 449453 53 17757 10049 8441 3443 231.78 365.97/366.10 c 856544 166 5918 334238 56 12665 11054 5902 3313 258.48 365.97/366.10 c 944176 166 9897 562463 56 20625 12160 9881 3117 302.88 365.97/366.10 o 58 365.974 366.07/366.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 366.07/366.25 c 1060187 166 9373 539045 57 19683 2900 9357 2896 365.97 366.07/366.25 o 57 366.126 417.94/418.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 417.94/418.17 c 1060277 166 1590 88190 55 4105 2900 1574 2895 366.13 417.94/418.17 c 1060377 166 1690 93651 55 4309 3191 1674 2896 366.14 417.94/418.17 c 1060627 166 1940 107717 55 4814 3511 1924 2896 366.18 417.94/418.17 c 1061102 166 2415 135628 56 5738 3863 2399 2897 366.26 417.94/418.17 c 1061915 166 3228 182117 56 7375 4250 3212 2898 366.43 417.94/418.17 c 1063235 166 2361 130300 55 5554 4676 2345 2899 366.76 417.94/418.17 c 1065316 166 4442 246838 55 9712 5144 4426 2900 367.24 417.94/418.17 c 1068540 166 5036 282855 56 10907 5659 5020 2902 368.09 417.94/418.17 c 1073476 166 4186 235801 56 9198 6225 4170 2904 369.64 417.94/418.17 c 1080983 166 5351 299866 56 11533 6848 5335 2906 371.95 417.94/418.17 c 1092344 166 6279 345038 54 13374 7533 6263 2905 375.93 417.94/418.17 c 1109490 166 4319 241137 55 9475 8287 4303 2903 382.10 417.94/418.17 c 1135309 166 4970 274057 55 10760 9116 4954 2896 391.95 417.94/418.17 c 1174141 166 6894 380986 55 14627 10028 6878 2882 407.28 417.94/418.17 o 54 418.023 418.15/418.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 418.15/418.31 c 1200502 166 7931 425741 53 16783 2900 7915 2871 418.02 418.15/418.31 c 1200602 166 1599 85091 53 4031 3191 1583 2871 418.15 418.15/418.31 o 52 418.168 418.54/418.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 418.54/418.76 c 1200720 166 1718 94176 54 4358 2900 1702 2871 418.17 418.54/418.76 c 1200822 166 1820 98930 54 4566 3191 1804 2871 418.19 418.54/418.76 c 1201072 166 2070 111629 53 5060 3511 2054 2871 418.23 418.54/418.76 c 1201547 166 2545 137062 53 6018 3863 2529 2872 418.32 418.54/418.76 c 1202360 166 3358 177094 52 7629 4250 3342 2873 418.49 418.54/418.76 o 51 418.617 562.10/562.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 562.10/562.32 c 1202963 166 3962 208384 52 8942 2900 3946 2873 418.62 562.10/562.32 c 1203063 166 1599 79341 49 4009 3191 1583 2873 418.66 562.10/562.32 c 1203314 166 1850 91601 49 4534 3511 1834 2873 418.70 562.10/562.32 c 1203789 166 2325 115975 49 5485 3863 2309 2874 418.77 562.10/562.32 c 1204602 166 3138 159731 50 7114 4250 3122 2875 418.92 562.10/562.32 c 1205923 166 2275 119291 52 5388 4676 2259 2876 419.20 562.10/562.32 c 1208005 166 4357 227267 52 9551 5144 4341 2878 419.64 562.10/562.32 c 1211229 166 4955 251821 50 10737 5659 4939 2880 420.45 562.10/562.32 c 1216165 166 4139 209448 50 9102 6225 4123 2883 421.70 562.10/562.32 c 1223671 166 5326 281523 52 11481 6848 5310 2887 423.81 562.10/562.32 c 1235032 166 6274 335166 53 13387 7533 6258 2890 427.33 562.10/562.32 c 1252176 166 4325 221902 51 9470 8287 4309 2891 433.07 562.10/562.32 c 1277995 166 4964 262802 52 10757 9116 4948 2890 442.08 562.10/562.32 c 1316827 166 6942 360572 51 14669 10028 6926 2876 457.82 562.10/562.32 c 1375179 166 9587 527338 55 20009 11031 9571 2849 482.63 562.10/562.32 c 1462811 166 8166 452449 55 17158 12135 8150 2794 523.38 562.10/562.32 o 49 562.125 567.10/567.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 567.10/567.32 c 1535805 166 7716 430883 55 16360 2900 7700 2732 562.12 567.10/567.32 c 1535905 166 1599 88458 55 4037 3191 1583 2731 562.26 567.10/567.32 c 1536156 166 1850 100994 54 4530 3511 1834 2731 562.31 567.10/567.32 c 1536631 166 2325 126663 54 5478 3863 2309 2732 562.42 567.10/567.32 c 1537444 166 3138 169864 54 7113 4250 3122 2732 562.60 567.10/567.32 c 1538764 166 2279 117982 51 5388 4676 2263 2733 562.95 567.10/567.32 c 1540845 166 4360 227693 52 9561 5144 4344 2734 563.45 567.10/567.32 c 1544068 166 4960 260360 52 10752 5659 4944 2736 564.35 567.10/567.32 c 1549004 166 4124 222756 54 9073 6225 4108 2738 565.73 567.10/567.32 o 47 567.125 633.67/633.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 633.67/633.93 c 1553514 166 5468 296621 54 11863 2900 5452 2739 567.12 633.67/633.93 c 1553614 166 1599 81593 51 4034 3191 1583 2739 567.20 633.67/633.93 c 1553864 166 1849 97254 52 4520 3511 1833 2739 567.24 633.67/633.93 c 1554339 166 2324 119713 51 5482 3863 2308 2739 567.32 633.67/633.93 c 1555152 166 3137 159022 50 7110 4250 3121 2740 567.46 633.67/633.93 c 1556472 166 2284 109395 47 5408 4676 2268 2741 567.72 633.67/633.93 c 1558553 166 4365 214713 49 9568 5144 4349 2743 568.10 633.67/633.93 c 1561776 166 4955 248684 50 10746 5659 4939 2745 568.84 633.67/633.93 c 1566712 166 4106 204221 49 9039 6225 4090 2748 569.95 633.67/633.93 c 1574218 166 5283 262670 49 11398 6848 5267 2753 571.73 633.67/633.93 c 1585579 166 6231 318333 51 13287 7533 6215 2758 574.70 633.67/633.93 c 1602723 166 4269 217107 50 9364 8287 4253 2763 579.98 633.67/633.93 c 1628542 166 4911 260197 52 10653 9116 4895 2769 588.01 633.67/633.93 c 1667374 166 6834 349360 51 14496 10028 6818 2771 601.57 633.67/633.93 c 1725726 166 9503 510927 53 19822 11031 9487 2764 624.36 633.67/633.93 o 32 633.709 633.77/634.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 633.77/634.08 c 1747818 166 9318 470910 50 19572 2900 9302 2758 633.71 633.77/634.08 o 30 633.862 633.77/634.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 633.77/634.08 c 1747844 163 1526 74564 48 3976 2894 1510 2757 633.86 633.77/634.08 o 28 633.867 1800.08/1800.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.08/1800.71 c 1747883 163 1566 77309 49 4150 2894 1550 2757 633.87 1800.08/1800.71 c 1747984 158 1667 82606 49 4342 3184 1651 2757 633.88 1800.08/1800.71 c 1748235 155 1918 96497 50 4847 3503 1902 2757 633.93 1800.08/1800.71 c 1748710 151 2393 122629 51 5793 3854 2377 2758 634.03 1800.08/1800.71 c 1749523 150 3206 168878 52 7412 4240 3190 2758 634.22 1800.08/1800.71 c 1750843 150 2357 131724 55 5539 4665 2341 2758 634.61 1800.08/1800.71 c 1752924 150 4438 251990 56 9694 5132 4422 2759 635.13 1800.08/1800.71 c 1756148 150 5049 284721 56 10906 5646 5033 2760 636.15 1800.08/1800.71 c 1761084 150 4215 240284 57 9234 6211 4199 2761 637.64 1800.08/1800.71 c 1768590 150 5408 313710 58 11636 6833 5392 2763 640.09 1800.08/1800.71 c 1779952 150 6352 358402 56 13517 7517 6336 2762 644.35 1800.08/1800.71 c 1797097 150 4436 252158 56 9691 8269 4420 2760 650.96 1800.08/1800.71 c 1822916 150 5147 301052 58 11095 9096 5131 2753 662.06 1800.08/1800.71 c 1861749 150 7183 414458 57 15178 10006 7167 2739 679.54 1800.08/1800.71 c 1920101 150 9953 583857 58 20707 11007 9937 2712 707.83 1800.08/1800.71 c 2007733 150 8691 500658 57 18189 12108 8675 2665 753.11 1800.08/1800.71 c 2139285 150 12027 683397 56 24870 13319 12011 2583 828.01 1800.08/1800.71 c 2336718 150 8145 481607 59 17094 14651 8129 2450 953.75 1800.08/1800.71 c 2632970 150 9341 551667 59 19494 16117 9325 2274 1157.51 1800.08/1800.71 c 3077454 150 16049 942113 58 32910 17729 16033 2065 1489.98 1800.08/1800.71 c Caught signal: 15 1800.08/1800.71 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 -x29 1800.08/1800.71 v -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 -x55 1800.08/1800.71 v -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 -x81 1800.08/1800.71 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 x97 x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 1800.08/1800.71 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1800.08/1800.71 v -x128 -x129 x130 -x131 -x132 -x133 x134 -x135 -x136 x137 -x138 -x139 x140 -x141 x142 -x143 -x144 x145 x146 -x147 -x148 x149 1800.08/1800.71 v -x150 -x151 x152 -x153 -x154 -x155 -x156 x157 x158 x159 -x160 -x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 -x173 1800.08/1800.71 v x174 -x175 x177 -x178 x179 -x180 -x181 x182 -x183 x184 x185 x186 x187 x188 -x189 x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 1800.08/1800.71 v x198 x176 1800.08/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.08/1800.71 c 313 3432730 43871 3510307 14780 879832 14764 1906 1800.09 1800.08/1800.71 c Objective: 28 1800.08/1800.71 s SATISFIABLE 1800.08/1800.71 c Total time: 1800.09 s
OK 28
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node3/watcher-433525-1177960523 -o ROOT/results/node3/solver-433525-1177960523 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433525-1177960523/instance-433525-1177960523.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 25185 /proc/meminfo: memFree=1862424/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=11752 CPUtime=0 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 272090075 12034048 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134545536 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 2938 334 280 324 0 2004 0 [startup+0.0878219 s] /proc/loadavg: 0.92 0.98 0.99 3/77 25185 /proc/meminfo: memFree=1862424/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=4704 CPUtime=0.08 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 586 0 0 0 8 0 0 0 18 0 1 0 272090075 4816896 552 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 1176 552 310 324 0 246 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4704 [startup+0.101825 s] /proc/loadavg: 0.92 0.98 0.99 3/77 25185 /proc/meminfo: memFree=1862424/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=4836 CPUtime=0.09 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 612 0 0 0 9 0 0 0 18 0 1 0 272090075 4952064 578 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 1209 578 310 324 0 279 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4836 [startup+0.301857 s] /proc/loadavg: 0.92 0.98 0.99 3/77 25185 /proc/meminfo: memFree=1862424/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=6028 CPUtime=0.29 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 924 0 0 0 29 0 0 0 19 0 1 0 272090075 6172672 890 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 1507 890 310 324 0 577 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6028 [startup+0.701921 s] /proc/loadavg: 0.92 0.98 0.99 3/77 25185 /proc/meminfo: memFree=1862424/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=7980 CPUtime=0.69 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 1397 0 0 0 69 0 0 0 23 0 1 0 272090075 8171520 1363 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11354254 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 1995 1363 310 324 0 1065 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7980 [startup+1.50105 s] /proc/loadavg: 0.92 0.98 0.99 2/78 25186 /proc/meminfo: memFree=1858192/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=7980 CPUtime=1.49 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 1397 0 0 0 149 0 0 0 25 0 1 0 272090075 8171520 1363 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 1995 1363 310 324 0 1065 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7980 [startup+3.10131 s] /proc/loadavg: 0.92 0.98 0.99 2/78 25186 /proc/meminfo: memFree=1857872/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=7984 CPUtime=3.09 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 1416 0 0 0 308 1 0 0 25 0 1 0 272090075 8175616 1382 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 1996 1382 310 324 0 1066 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7984 [startup+6.30183 s] /proc/loadavg: 0.93 0.98 0.99 2/78 25186 /proc/meminfo: memFree=1857488/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=8888 CPUtime=6.29 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 1633 0 0 0 628 1 0 0 25 0 1 0 272090075 9101312 1599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 2222 1599 310 324 0 1292 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8888 [startup+12.7019 s] /proc/loadavg: 0.93 0.98 0.99 2/78 25186 /proc/meminfo: memFree=1855440/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=10572 CPUtime=12.69 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 2067 0 0 0 1268 1 0 0 25 0 1 0 272090075 10825728 2033 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 2643 2033 310 324 0 1713 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10572 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 2/78 25186 /proc/meminfo: memFree=1854864/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=11348 CPUtime=25.48 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 2251 0 0 0 2547 1 0 0 25 0 1 0 272090075 11620352 2217 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 2837 2217 310 324 0 1907 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 11348 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/78 25186 /proc/meminfo: memFree=1854544/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=11708 CPUtime=51.07 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 2331 0 0 0 5106 1 0 0 25 0 1 0 272090075 11988992 2297 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 2927 2297 310 324 0 1997 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 11708 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 25186 /proc/meminfo: memFree=1852240/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=13960 CPUtime=102.26 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 2908 0 0 0 10224 2 0 0 25 0 1 0 272090075 14295040 2874 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550751 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 3490 2874 310 324 0 2560 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 13960 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25186 /proc/meminfo: memFree=1852496/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=13500 CPUtime=162.24 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 2909 0 0 0 16221 3 0 0 25 0 1 0 272090075 13824000 2767 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 3375 2767 310 324 0 2445 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 13500 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25186 /proc/meminfo: memFree=1852496/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=13460 CPUtime=222.21 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 2909 0 0 0 22218 3 0 0 25 0 1 0 272090075 13783040 2757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 3365 2757 310 324 0 2435 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 13460 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25186 /proc/meminfo: memFree=1852496/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=13576 CPUtime=282.2 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 2934 0 0 0 28216 4 0 0 25 0 1 0 272090075 13901824 2779 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 3394 2779 310 324 0 2464 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 13576 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25186 /proc/meminfo: memFree=1851728/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=14316 CPUtime=342.18 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 3125 0 0 0 34213 5 0 0 25 0 1 0 272090075 14659584 2970 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 3579 2970 310 324 0 2649 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 14316 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25186 /proc/meminfo: memFree=1851408/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=14648 CPUtime=402.15 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 3191 0 0 0 40210 5 0 0 25 0 1 0 272090075 14999552 3036 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 3662 3036 310 324 0 2732 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 14648 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25186 /proc/meminfo: memFree=1851408/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=14632 CPUtime=462.13 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 3191 0 0 0 46207 6 0 0 25 0 1 0 272090075 14983168 3036 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521818 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 3658 3036 310 324 0 2728 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 14632 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25186 /proc/meminfo: memFree=1851408/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=14632 CPUtime=522.11 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 3191 0 0 0 52205 6 0 0 25 0 1 0 272090075 14983168 3036 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551018 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 3658 3036 310 324 0 2728 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 14632 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25186 /proc/meminfo: memFree=1851408/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=14632 CPUtime=582.09 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 3191 0 0 0 58202 7 0 0 25 0 1 0 272090075 14983168 3036 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551703 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 3658 3036 310 324 0 2728 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 14632 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25186 /proc/meminfo: memFree=1851344/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=14632 CPUtime=642.07 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 3191 0 0 0 64200 7 0 0 25 0 1 0 272090075 14983168 3036 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550945 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 3658 3036 310 324 0 2728 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 14632 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25186 /proc/meminfo: memFree=1850256/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=15684 CPUtime=881.99 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 3454 0 0 0 88189 10 0 0 25 0 1 0 272090075 16060416 3299 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 3921 3299 310 324 0 2991 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 15684 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25186 /proc/meminfo: memFree=1850192/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=15684 CPUtime=941.97 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 3467 0 0 0 94187 10 0 0 25 0 1 0 272090075 16060416 3312 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572639 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 3921 3312 310 324 0 2991 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 15684 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25186 /proc/meminfo: memFree=1849040/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=16816 CPUtime=1001.95 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 3748 0 0 0 100184 11 0 0 25 0 1 0 272090075 17219584 3593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 4204 3593 310 324 0 3274 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 16816 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25188 /proc/meminfo: memFree=1848912/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=16944 CPUtime=1061.92 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 3772 0 0 0 106181 11 0 0 25 0 1 0 272090075 17350656 3617 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551451 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 4236 3617 310 324 0 3306 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 16944 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25188 /proc/meminfo: memFree=1848784/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=17104 CPUtime=1121.91 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 3807 0 0 0 112179 12 0 0 25 0 1 0 272090075 17514496 3652 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 4276 3652 310 324 0 3346 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 17104 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25188 /proc/meminfo: memFree=1847760/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=17996 CPUtime=1181.89 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4045 0 0 0 118176 13 0 0 25 0 1 0 272090075 18427904 3890 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 4499 3890 310 324 0 3569 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 17996 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25188 /proc/meminfo: memFree=1847632/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=18124 CPUtime=1241.86 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4077 0 0 0 124173 13 0 0 25 0 1 0 272090075 18558976 3922 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 4531 3922 310 324 0 3601 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 18124 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25188 /proc/meminfo: memFree=1847568/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=18192 CPUtime=1301.85 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4097 0 0 0 130171 14 0 0 25 0 1 0 272090075 18628608 3940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 4548 3940 310 324 0 3618 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 18192 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25188 /proc/meminfo: memFree=1847568/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=18192 CPUtime=1361.82 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4097 0 0 0 136168 14 0 0 25 0 1 0 272090075 18628608 3940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 4548 3940 310 324 0 3618 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 18192 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25188 /proc/meminfo: memFree=1847504/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=18192 CPUtime=1421.81 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4097 0 0 0 142166 15 0 0 25 0 1 0 272090075 18628608 3940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 4548 3940 310 324 0 3618 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 18192 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25188 /proc/meminfo: memFree=1847568/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=18192 CPUtime=1481.78 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4097 0 0 0 148163 15 0 0 25 0 1 0 272090075 18628608 3940 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 4548 3940 310 324 0 3618 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 18192 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25188 /proc/meminfo: memFree=1846352/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=19480 CPUtime=1541.76 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4408 0 0 0 154160 16 0 0 25 0 1 0 272090075 19947520 4251 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 4870 4251 310 324 0 3940 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 19480 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25188 /proc/meminfo: memFree=1846288/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=19480 CPUtime=1601.75 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4408 0 0 0 160158 17 0 0 25 0 1 0 272090075 19947520 4251 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 4870 4251 310 324 0 3940 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 19480 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 25188 /proc/meminfo: memFree=1846352/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=19480 CPUtime=1661.72 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4408 0 0 0 166155 17 0 0 25 0 1 0 272090075 19947520 4251 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 4870 4251 310 324 0 3940 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 19480 [startup+1722.3 s] /proc/loadavg: 1.03 1.00 1.00 2/78 25188 /proc/meminfo: memFree=1846096/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=19692 CPUtime=1721.71 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4458 0 0 0 172153 18 0 0 25 0 1 0 272090075 20164608 4301 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 4923 4301 310 324 0 3993 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 19692 [startup+1782.3 s] /proc/loadavg: 1.04 1.01 1.00 2/78 25188 /proc/meminfo: memFree=1846096/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=19644 CPUtime=1781.68 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4458 0 0 0 178150 18 0 0 25 0 1 0 272090075 20115456 4301 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 4911 4301 310 324 0 3981 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 19644 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.03 1.01 1.00 2/78 25188 /proc/meminfo: memFree=1846032/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=19732 CPUtime=1800.08 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4468 0 0 0 179990 18 0 0 25 0 1 0 272090075 20205568 4311 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 4933 4311 310 324 0 4003 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 19732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.03 1.01 1.00 2/78 25188 /proc/meminfo: memFree=1846032/2055920 swapFree=4139036/4192956 [pid=25185] ppid=25183 vsize=19732 CPUtime=1800.08 /proc/25185/stat : 25185 (bsolo3.0.17) R 25183 25185 24529 0 -1 4194304 4468 0 0 0 179990 18 0 0 25 0 1 0 272090075 20205568 4311 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25185/statm: 4933 4311 310 324 0 4003 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 19732 Child status: 15 Real time (s): 1800.72 CPU time (s): 1800.1 CPU user time (s): 1799.9 CPU system time (s): 0.19397 CPU usage (%): 99.9657 Max. virtual memory (cumulated for all children) (KiB): 19732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.9 system time used= 0.19397 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4472 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= 36842 runsolver used 1.41078 second user time and 3.68644 second system time The end
Begin job on node3 on Mon Apr 30 19:15:23 UTC 2007 IDJOB= 433525 IDBENCH= 2912 IDSOLVER= 199 FILE ID= node3/433525-1177960523 PBS_JOBID= 4727725 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433525-1177960523/instance-433525-1177960523.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-433525-1177960523 -o ROOT/results/node3/solver-433525-1177960523 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433525-1177960523/instance-433525-1177960523.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 0278ee4f163393ac33163ff791a7f96d RANDOM SEED= 360512966 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node3.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.270 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.270 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: 1862896 kB Buffers: 26804 kB Cached: 82252 kB SwapCached: 16744 kB Active: 42560 kB Inactive: 89384 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1862896 kB SwapTotal: 4192956 kB SwapFree: 4139036 kB Dirty: 6616 kB Writeback: 0 kB Mapped: 29900 kB Slab: 46608 kB Committed_AS: 6285540 kB PageTables: 1780 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node3 on Mon Apr 30 19:45:26 UTC 2007