Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT (TO) | 28 | 1800.01 | 1800.68 |
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.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/354869-1176729497/instance-354869-1176729497.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.002 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.005 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.01 0.00/0.00 c Switching off LPR mode. 0.00/0.01 o 1080 0.006 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 6250 0.02 0.00/0.02 o 907 0.017 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 6823 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.042 0.00/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.09 c 318 198 337 27221 80 1735 2964 321 7571 0.04 0.00/0.09 c 418 198 437 35609 81 1939 3261 421 7464 0.06 0.00/0.09 o 748 0.087 0.00/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.09 c 619 198 639 52260 81 2368 2964 623 7034 0.09 0.00/0.09 o 695 0.088 0.00/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.09 c 622 198 643 52631 81 2463 2964 627 7068 0.09 0.00/0.09 o 691 0.089 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 626 198 648 53095 81 2580 2964 632 6955 0.09 0.09/0.11 c 726 198 748 60777 81 2809 3261 732 6980 0.10 0.09/0.11 o 661 0.106 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 6858 0.11 0.09/0.11 o 657 0.109 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 744 198 768 62666 81 3056 2964 752 6825 0.11 0.59/0.69 c 844 198 868 70734 81 3218 3261 852 6752 0.12 0.59/0.69 c 1094 198 1118 87369 78 3786 3588 1102 6880 0.16 0.59/0.69 c 1569 198 1593 120250 75 4771 3947 1577 6821 0.23 0.59/0.69 c 2382 198 2406 172829 71 6398 4342 2390 6107 0.39 0.59/0.69 c 3703 198 3727 261039 70 8986 4777 3711 5723 0.65 0.59/0.69 o 643 0.686 0.89/0.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.95 c 3908 198 3933 272721 69 9438 2964 3917 5688 0.69 0.89/0.95 c 4009 198 1600 105431 65 4080 3261 1584 5662 0.71 0.89/0.95 c 4259 198 1850 119911 64 4580 3588 1834 5755 0.74 0.89/0.95 c 4734 198 2325 149368 64 5539 3947 2309 5773 0.82 0.89/0.95 o 574 0.952 0.89/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.97 c 5533 198 3125 202171 64 7229 2964 3109 5805 0.95 0.89/0.97 o 549 0.965 0.89/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.97 c 5555 198 1522 97097 63 4032 2964 1506 5756 0.96 0.89/0.97 o 471 0.966 0.89/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.97 c 5555 198 1523 97225 63 4121 2964 1507 5750 0.97 0.89/0.97 o 469 0.968 0.99/1.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.04 c 5568 198 1537 98617 64 4264 2964 1521 5752 0.97 0.99/1.04 c 5671 198 1640 106139 64 4492 3261 1624 5757 0.98 0.99/1.04 c 5922 198 1891 123336 65 5028 3588 1875 5705 1.04 0.99/1.04 o 466 1.043 1.19/1.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.24 c 5945 198 1915 125196 65 5175 2964 1899 5694 1.04 1.19/1.24 c 6045 198 2015 132588 65 5375 3261 1999 5713 1.06 1.19/1.24 c 6297 198 2267 151898 67 5900 3588 2251 5719 1.10 1.19/1.24 c 6772 198 2742 180522 65 6843 3947 2726 5763 1.18 1.19/1.24 o 462 1.237 1.19/1.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.25 c 7084 198 3055 205013 67 7548 2964 3039 5726 1.24 1.19/1.25 o 461 1.251 1.19/1.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.26 c 7131 198 1547 109084 70 4074 2964 1531 5700 1.25 1.19/1.26 o 449 1.255 1.19/1.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.26 c 7157 198 1574 110578 70 4267 2964 1558 5702 1.25 1.19/1.26 o 448 1.256 1.29/1.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.33 c 7158 198 1576 110751 70 4375 2964 1560 5699 1.26 1.29/1.33 c 7258 198 1676 119877 71 4596 3261 1660 5697 1.27 1.29/1.33 c 7508 198 1926 136144 70 5078 3588 1910 5726 1.31 1.29/1.33 o 441 1.333 1.39/1.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.42 c 7638 198 2057 144435 70 5411 2964 2041 5725 1.33 1.39/1.42 c 7739 198 2158 151558 70 5671 3261 2142 5728 1.35 1.39/1.42 c 7989 198 2408 167878 69 6191 3588 2392 5730 1.39 1.39/1.42 o 382 1.418 1.39/1.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.49 c 8121 198 2541 175658 69 6524 2964 2525 5727 1.42 1.39/1.49 c 8222 198 2642 183167 69 6744 3261 2626 5733 1.43 1.39/1.49 c 8472 198 2892 198172 68 7264 3588 2876 5751 1.47 1.39/1.49 o 367 1.492 1.68/1.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.68/1.70 c 8568 198 2989 205298 68 7531 2964 2973 5742 1.49 1.68/1.70 c 8668 198 1599 105872 66 4060 3261 1583 5744 1.51 1.68/1.70 c 8918 198 1849 123260 66 4576 3588 1833 5783 1.54 1.68/1.70 c 9394 198 2325 155023 66 5537 3947 2309 5823 1.61 1.68/1.70 o 357 1.697 1.68/1.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.68/1.72 c 9824 198 2756 187023 67 6482 2964 2740 5789 1.70 1.68/1.72 c 9924 198 2856 191971 67 6701 3261 2840 5789 1.71 1.68/1.72 o 349 1.72 1.68/1.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.68/1.75 c 9948 198 2881 193869 67 6841 2964 2865 5783 1.72 1.68/1.75 c 10049 198 1499 100121 66 3883 3261 1483 5775 1.74 1.68/1.75 o 345 1.75 1.68/1.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.68/1.79 c 10109 198 1560 104105 66 4085 2964 1544 5776 1.75 1.68/1.79 c 10209 198 1660 109241 65 4322 3261 1644 5784 1.76 1.68/1.79 o 341 1.787 1.78/1.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.78/1.83 c 10331 198 1783 117766 66 4647 2964 1767 5781 1.79 1.78/1.83 c 10431 198 1883 122867 65 4888 3261 1867 5788 1.80 1.78/1.83 o 339 1.829 1.98/2.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.98/2.03 c 10579 198 2032 134853 66 5306 2964 2016 5784 1.83 1.98/2.03 c 10679 198 2132 139681 65 5498 3261 2116 5788 1.84 1.98/2.03 c 10929 198 2382 158388 66 5983 3588 2366 5785 1.89 1.98/2.03 c 11404 198 2857 188040 65 6941 3947 2841 5788 1.97 1.98/2.03 o 337 2.032 2.09/2.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.20 c 11638 198 3092 207207 67 7533 2964 3076 5727 2.03 2.09/2.20 c 11738 198 1599 104802 65 4061 3261 1583 5723 2.05 2.09/2.20 c 11988 198 1849 121064 65 4561 3588 1833 5746 2.09 2.09/2.20 c 12463 198 2324 154713 66 5529 3947 2308 5788 2.15 2.09/2.20 o 335 2.197 2.39/2.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.45 c 12836 198 2698 177884 65 6385 2964 2682 5839 2.20 2.39/2.45 c 12936 198 2798 182824 65 6595 3261 2782 5853 2.21 2.39/2.45 c 13186 198 3048 198705 65 7072 3588 3032 5881 2.24 2.39/2.45 c 13661 198 3523 231121 65 8050 3947 3507 5901 2.31 2.39/2.45 o 294 2.453 2.69/2.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.79 c 14404 198 2239 143580 64 5471 2964 2223 5871 2.45 2.69/2.79 c 14504 198 2339 148823 63 5663 3261 2323 5876 2.47 2.69/2.79 c 14754 198 2589 163670 63 6177 3588 2573 5878 2.51 2.69/2.79 c 15232 198 3067 193790 63 7127 3947 3051 5908 2.58 2.69/2.79 c 16045 198 3880 241231 62 8776 4342 3864 5927 2.71 2.69/2.79 o 285 2.786 2.89/2.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.93 c 16514 198 4350 274963 63 9826 2964 4334 5925 2.79 2.89/2.93 c 16615 198 1600 102000 63 4062 3261 1584 5914 2.81 2.89/2.93 c 16866 198 1851 118361 63 4593 3588 1835 5932 2.84 2.89/2.93 c 17341 198 2326 147112 63 5528 3947 2310 5971 2.90 2.89/2.93 o 272 2.927 3.08/3.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.08/3.18 c 17494 198 2480 156971 63 5951 2964 2464 5976 2.93 3.08/3.18 c 17594 198 2580 162910 63 6157 3261 2564 5982 2.94 3.08/3.18 c 17844 198 2830 173698 61 6650 3588 2814 6010 2.97 3.08/3.18 c 18319 198 3305 204933 62 7612 3947 3289 6010 3.05 3.08/3.18 o 262 3.181 3.08/3.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.08/3.18 c 19059 198 1993 116466 58 5003 2964 1977 5991 3.18 3.08/3.18 o 234 3.184 3.08/3.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.08/3.19 c 19070 198 2005 117144 58 5142 2964 1989 5989 3.18 3.08/3.19 o 228 3.185 3.08/3.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.08/3.19 c 19071 198 2007 117362 58 5264 2964 1991 5987 3.19 3.08/3.19 o 226 3.187 3.19/3.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.22 c 19081 198 2018 118242 58 5415 2964 2002 5987 3.19 3.19/3.22 c 19181 198 2118 123390 58 5629 3261 2102 5980 3.21 3.19/3.22 o 224 3.222 16.79/16.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.79/16.83 c 19257 198 2195 127996 58 5898 2964 2179 5974 3.22 16.79/16.83 c 19358 198 2296 132342 57 6108 3261 2280 5978 3.24 16.79/16.83 c 19609 198 2547 147370 57 6588 3588 2531 5978 3.28 16.79/16.83 c 20084 198 3022 170325 56 7531 3947 3006 5979 3.36 16.79/16.83 c 20899 198 3837 214595 55 9155 4342 3821 5988 3.49 16.79/16.83 c 22219 198 2919 147500 50 6722 4777 2903 5992 3.71 16.79/16.83 c 24300 198 2525 148360 58 5914 5255 2509 5912 4.11 16.79/16.83 c 27523 198 3052 148183 48 6956 5781 3036 5802 4.74 16.79/16.83 c 32459 198 5012 257613 51 10898 6360 4996 5657 5.74 16.79/16.83 c 39965 198 6054 286591 47 12986 6997 6038 5536 7.22 16.79/16.83 c 51326 198 6704 385772 57 14288 7697 6688 4891 10.49 16.79/16.83 c 68470 198 4241 246554 58 9353 8467 4225 4393 15.59 16.79/16.83 o 223 16.827 17.09/17.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.09/17.19 c 72495 198 8267 500224 60 17543 2964 8251 4308 16.83 17.09/17.19 c 72595 198 1599 104733 65 4086 3261 1583 4286 16.94 17.09/17.19 c 72845 198 1849 116819 63 4576 3588 1833 4294 16.96 17.09/17.19 c 73320 198 2324 143783 61 5538 3947 2308 4306 17.03 17.09/17.19 c 74133 198 3137 195314 62 7123 4342 3121 4324 17.14 17.09/17.19 o 213 17.187 17.18/17.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.18/17.20 c 74423 198 3428 208261 60 7848 2964 3412 4329 17.19 17.18/17.20 o 211 17.198 20.88/20.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.88/20.96 c 74441 198 1518 89504 58 4024 2964 1502 4328 17.20 20.88/20.96 c 74541 198 1618 93540 57 4204 3261 1602 4331 17.21 20.88/20.96 c 74791 198 1868 103201 55 4711 3588 1852 4340 17.23 20.88/20.96 c 75267 198 2344 123444 52 5674 3947 2328 4355 17.28 20.88/20.96 c 76080 198 3157 157523 49 7277 4342 3141 4378 17.38 20.88/20.96 c 77401 198 2251 100958 44 5342 4777 2235 4401 17.59 20.88/20.96 c 79482 198 4332 213049 49 9526 5255 4316 4428 17.95 20.88/20.96 c 82706 198 4855 272414 56 10588 5781 4839 4437 18.64 20.88/20.96 c 87642 198 3889 184854 47 8663 6360 3873 4414 19.86 20.88/20.96 o 209 20.953 62.77/62.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 62.77/62.83 c 93054 198 6074 339421 55 13166 2964 6058 4441 20.95 62.77/62.83 c 93154 198 1599 89724 56 4046 3261 1583 4434 21.01 62.77/62.83 c 93404 198 1849 100428 54 4537 3588 1833 4441 21.03 62.77/62.83 c 93879 198 2324 121560 52 5520 3947 2308 4451 21.09 62.77/62.83 c 94692 198 3137 161786 51 7153 4342 3121 4461 21.23 62.77/62.83 c 96012 198 2236 113306 50 5323 4777 2220 4474 21.46 62.77/62.83 c 98095 198 4319 214376 49 9504 5255 4303 4501 21.79 62.77/62.83 c 101319 198 4851 246940 50 10545 5781 4835 4505 22.49 62.77/62.83 c 106255 198 3891 183256 47 8657 6360 3875 4540 23.40 62.77/62.83 c 113761 198 4942 255870 51 10741 6997 4926 4561 24.94 62.77/62.83 c 125122 198 5600 309747 55 12078 7697 5584 4497 27.82 62.77/62.83 c 142266 198 7099 342637 48 15025 8467 7083 4474 31.80 62.77/62.83 c 168085 198 7111 358914 50 15090 9314 7095 4240 39.64 62.77/62.83 c 206917 198 8193 415465 50 17246 10246 8177 4014 51.55 62.77/62.83 o 175 62.812 121.05/121.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 121.05/121.15 c 235365 198 5550 310756 55 12116 2964 5534 3747 62.81 121.05/121.15 c 235465 198 1599 93033 58 4044 3261 1583 3745 62.87 121.05/121.15 c 235715 198 1849 104275 56 4540 3588 1833 3747 62.89 121.05/121.15 c 236190 198 2324 124313 53 5495 3947 2308 3752 62.94 121.05/121.15 c 237004 198 3138 161499 51 7170 4342 3122 3758 63.05 121.05/121.15 c 238324 198 2216 106214 47 5321 4777 2200 3764 63.30 121.05/121.15 c 240405 198 4297 209938 48 9440 5255 4281 3774 63.69 121.05/121.15 c 243628 198 4853 229821 47 10548 5781 4837 3785 64.36 121.05/121.15 c 248565 198 3876 202093 52 8635 6360 3860 3797 65.45 121.05/121.15 c 256071 198 4914 240043 48 10669 6997 4898 3815 67.12 121.05/121.15 c 267432 198 5574 277072 49 12010 7697 5558 3837 69.69 121.05/121.15 c 284580 198 7093 375749 52 15075 8467 7077 3806 74.77 121.05/121.15 c 310401 198 7140 342878 48 15132 9314 7124 3763 82.48 121.05/121.15 c 349233 198 8292 404846 48 17439 10246 8276 3707 94.18 121.05/121.15 c 407585 198 9649 450158 46 20164 11271 9633 3528 115.53 121.05/121.15 o 173 121.118 121.86/121.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 121.86/121.91 c 421991 198 6980 370402 53 14980 2964 6964 3484 121.12 121.86/121.91 c 422091 198 1599 79045 49 4060 3261 1583 3482 121.22 121.86/121.91 c 422341 198 1849 91889 49 4568 3588 1833 3483 121.25 121.86/121.91 c 422817 198 2325 118891 51 5525 3947 2309 3485 121.32 121.86/121.91 c 423631 198 3139 166835 53 7162 4342 3123 3487 121.46 121.86/121.91 c 424953 198 2227 124570 55 5350 4777 2211 3491 121.72 121.86/121.91 o 169 121.87 126.95/127.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 126.95/127.01 c 425778 198 3053 171963 56 7131 2964 3037 3493 121.87 126.95/127.01 c 425878 198 1599 90593 56 4060 3261 1583 3493 121.90 126.95/127.01 c 426129 198 1850 102966 55 4594 3588 1834 3494 121.94 126.95/127.01 c 426604 198 2325 128742 55 5547 3947 2309 3495 122.03 126.95/127.01 c 427418 198 3139 168919 53 7186 4342 3123 3498 122.16 126.95/127.01 c 428738 198 2235 113424 50 5343 4777 2219 3502 122.42 126.95/127.01 c 430821 198 4318 229570 53 9520 5255 4302 3507 122.83 126.95/127.01 c 434044 198 4836 283174 58 10566 5781 4820 3514 123.51 126.95/127.01 c 438980 198 3869 215425 55 8627 6360 3853 3517 124.79 126.95/127.01 c 446486 198 4860 275536 56 10615 6997 4844 3520 126.83 126.95/127.01 o 166 126.972 127.05/127.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 127.05/127.17 c 447185 198 5560 310684 55 12138 2964 5544 3521 126.97 127.05/127.17 c 447285 198 1599 85277 53 4074 3261 1583 3520 127.04 127.05/127.17 c 447535 198 1849 98479 53 4592 3588 1833 3521 127.08 127.05/127.17 o 164 127.128 127.95/128.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 127.95/128.09 c 447825 198 2140 118510 55 5298 2964 2124 3522 127.13 127.95/128.09 c 447925 198 2240 122680 54 5452 3261 2224 3522 127.14 127.95/128.09 c 448175 198 2490 134915 54 5968 3588 2474 3523 127.19 127.95/128.09 c 448650 198 2965 156507 52 6912 3947 2949 3525 127.26 127.95/128.09 c 449464 198 3779 197095 52 8563 4342 3763 3527 127.40 127.95/128.09 c 450785 198 2884 149003 51 6626 4777 2868 3532 127.63 127.95/128.09 c 452866 198 2520 125014 49 5920 5255 2504 3537 128.02 127.95/128.09 o 155 128.054 128.05/128.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 128.05/128.11 c 453106 198 2761 137653 49 6531 2964 2745 3538 128.05 128.05/128.11 c 453206 198 2861 141474 49 6709 3261 2845 3538 128.07 128.05/128.11 o 153 128.072 128.15/128.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 128.15/128.22 c 453233 198 2889 143625 49 6917 2964 2873 3538 128.07 128.15/128.22 c 453333 198 1499 72778 48 3856 3261 1483 3539 128.09 128.15/128.22 c 453585 198 1751 87350 49 4391 3588 1735 3540 128.12 128.15/128.22 c 454060 198 2226 109745 49 5328 3947 2210 3542 128.18 128.15/128.22 o 151 128.182 128.35/128.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 128.35/128.46 c 454086 198 2253 112135 49 5518 2964 2237 3542 128.18 128.35/128.46 c 454186 198 2353 116256 49 5712 3261 2337 3542 128.19 128.35/128.46 c 454436 198 2603 129189 49 6219 3588 2587 3543 128.24 128.35/128.46 c 454911 198 3078 152974 49 7115 3947 3062 3545 128.32 128.35/128.46 o 147 128.423 128.45/128.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 128.45/128.50 c 455401 198 3569 179230 50 8275 2964 3553 3546 128.42 128.45/128.50 c 455502 198 1600 83635 52 4079 3261 1584 3546 128.45 128.45/128.50 o 146 128.464 129.15/129.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 129.15/129.22 c 455650 198 1749 92015 52 4509 2964 1733 3546 128.46 129.15/129.22 c 455751 198 1850 95953 51 4684 3261 1834 3547 128.47 129.15/129.22 c 456001 198 2100 116895 55 5213 3588 2084 3548 128.51 129.15/129.22 c 456477 198 2576 140934 54 6164 3947 2560 3550 128.59 129.15/129.22 c 457290 198 3389 184667 54 7784 4342 3373 3552 128.73 129.15/129.22 c 458610 198 2480 133308 53 5851 4777 2464 3554 129.02 129.15/129.22 o 96 129.179 190.23/190.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 190.23/190.34 c 459604 198 3475 194618 56 7965 2964 3459 3557 129.18 190.23/190.34 c 459704 192 1599 89978 56 4055 3261 1583 3557 129.21 190.23/190.34 c 459954 187 1849 100089 54 4563 3588 1833 3558 129.24 190.23/190.34 c 460429 186 2324 121149 52 5521 3947 2308 3560 129.30 190.23/190.34 c 461242 186 3137 157891 50 7148 4342 3121 3563 129.42 190.23/190.34 c 462562 185 2233 100700 45 5337 4777 2217 3567 129.67 190.23/190.34 c 464644 185 4315 195257 45 9498 5255 4299 3573 130.03 190.23/190.34 c 467867 184 4869 223358 45 10608 5781 4853 3580 130.66 190.23/190.34 c 472803 184 3927 176676 44 8723 6360 3911 3592 131.63 190.23/190.34 c 480309 183 4950 233893 47 10769 6997 4934 3606 133.17 190.23/190.34 c 491670 183 5666 259627 45 12200 7697 5650 3627 135.54 190.23/190.34 c 508814 182 7202 348310 48 15261 8467 7186 3627 140.28 190.23/190.34 c 534633 182 7304 335482 45 15468 9314 7288 3627 147.38 190.23/190.34 c 573465 182 8436 423357 50 17738 10246 8420 3605 159.03 190.23/190.34 c 631817 182 9886 463212 46 20643 11271 9870 3562 177.34 190.23/190.34 o 95 190.279 192.63/192.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 192.63/192.73 c 670609 182 8866 409890 46 18716 2932 8850 3524 190.28 192.63/192.73 c 670709 182 1599 72385 45 4055 3226 1583 3521 190.46 192.63/192.73 c 670959 182 1849 82952 44 4531 3549 1833 3522 190.49 192.63/192.73 c 671435 182 2325 102953 44 5500 3904 2309 3523 190.54 192.63/192.73 c 672248 182 3138 139262 44 7136 4295 3122 3526 190.64 192.63/192.73 c 673568 182 2268 100986 44 5383 4725 2252 3528 190.87 192.63/192.73 c 675649 182 4349 191457 44 9558 5198 4333 3534 191.15 192.63/192.73 c 678872 182 4919 218384 44 10688 5718 4903 3541 191.67 192.63/192.73 o 65 192.671 192.63/192.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 192.63/192.76 c 683748 182 3967 176604 44 8900 2932 3951 3548 192.67 192.63/192.76 o 63 192.702 192.63/192.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 192.63/192.77 c 683781 182 1533 72089 47 4036 2932 1517 3548 192.70 192.63/192.77 o 62 192.711 192.73/192.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 192.73/192.85 c 683849 180 1602 76867 47 4284 2928 1586 3548 192.71 192.73/192.85 c 683949 173 1702 82279 48 4475 3221 1686 3548 192.73 192.73/192.85 c 684199 170 1952 96083 49 4974 3544 1936 3549 192.77 192.73/192.85 o 60 192.789 368.08/368.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 368.08/368.25 c 684327 170 2081 104876 50 5332 2908 2065 3549 192.79 368.08/368.25 c 684427 169 2181 110063 50 5521 3199 2165 3549 192.81 368.08/368.25 c 684677 169 2431 123842 50 6041 3519 2415 3550 192.86 368.08/368.25 c 685152 167 2906 148112 50 6979 3871 2890 3550 192.95 368.08/368.25 c 685966 167 3720 190019 51 8606 4259 3704 3551 193.12 368.08/368.25 c 687286 167 2870 149579 52 6569 4685 2854 3552 193.44 368.08/368.25 c 689368 167 2567 133131 51 5977 5154 2551 3554 193.96 368.08/368.25 c 692591 167 3173 165227 52 7180 5670 3157 3555 194.80 368.08/368.25 c 697527 167 5216 279129 53 11267 6238 5200 3558 196.04 368.08/368.25 c 705035 166 3216 176322 54 7277 6862 3200 3553 198.43 368.08/368.25 c 716396 166 4137 225578 54 9114 7549 4121 3546 201.99 368.08/368.25 c 733541 166 5991 332498 55 12822 8304 5975 3527 207.93 368.08/368.25 c 759360 166 6561 352792 53 13954 9135 6545 3495 217.25 368.08/368.25 c 798192 166 8457 449453 53 17757 10049 8441 3420 233.35 368.08/368.25 c 856544 166 5918 334238 56 12665 11054 5902 3290 260.27 368.08/368.25 c 944176 166 9897 562463 56 20625 12160 9881 3097 304.85 368.08/368.25 o 58 368.139 368.28/368.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 368.28/368.40 c 1060187 166 9373 539045 57 19683 2900 9357 2879 368.14 368.28/368.40 o 57 368.293 420.27/420.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 420.27/420.43 c 1060277 166 1590 88190 55 4105 2900 1574 2878 368.29 420.27/420.43 c 1060377 166 1690 93651 55 4309 3191 1674 2879 368.31 420.27/420.43 c 1060627 166 1940 107717 55 4814 3511 1924 2879 368.35 420.27/420.43 c 1061102 166 2415 135628 56 5738 3863 2399 2880 368.43 420.27/420.43 c 1061915 166 3228 182117 56 7375 4250 3212 2880 368.60 420.27/420.43 c 1063235 166 2361 130300 55 5554 4676 2345 2881 368.93 420.27/420.43 c 1065316 166 4442 246838 55 9712 5144 4426 2883 369.41 420.27/420.43 c 1068540 166 5036 282855 56 10907 5659 5020 2885 370.25 420.27/420.43 c 1073476 166 4186 235801 56 9198 6225 4170 2887 371.80 420.27/420.43 c 1080983 166 5351 299866 56 11533 6848 5335 2889 374.11 420.27/420.43 c 1092344 166 6279 345038 54 13374 7533 6263 2889 378.07 420.27/420.43 c 1109490 166 4319 241137 55 9475 8287 4303 2887 384.25 420.27/420.43 c 1135309 166 4970 274057 55 10760 9116 4954 2880 394.13 420.27/420.43 c 1174141 166 6894 380986 55 14627 10028 6878 2867 409.52 420.27/420.43 o 54 420.304 420.37/420.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 420.37/420.57 c 1200502 166 7931 425741 53 16783 2900 7915 2856 420.30 420.37/420.57 c 1200602 166 1599 85091 53 4031 3191 1583 2855 420.44 420.37/420.57 o 52 420.45 420.87/421.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 420.87/421.03 c 1200720 166 1718 94176 54 4358 2900 1702 2855 420.45 420.87/421.03 c 1200822 166 1820 98930 54 4566 3191 1804 2855 420.47 420.87/421.03 c 1201072 166 2070 111629 53 5060 3511 2054 2856 420.51 420.87/421.03 c 1201547 166 2545 137062 53 6018 3863 2529 2856 420.61 420.87/421.03 c 1202360 166 3358 177094 52 7629 4250 3342 2857 420.78 420.87/421.03 o 51 420.902 564.92/565.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 564.92/565.14 c 1202963 166 3962 208384 52 8942 2900 3946 2858 420.90 564.92/565.14 c 1203063 166 1599 79341 49 4009 3191 1583 2857 420.95 564.92/565.14 c 1203314 166 1850 91601 49 4534 3511 1834 2858 420.98 564.92/565.14 c 1203789 166 2325 115975 49 5485 3863 2309 2858 421.06 564.92/565.14 c 1204602 166 3138 159731 50 7114 4250 3122 2859 421.21 564.92/565.14 c 1205923 166 2275 119291 52 5388 4676 2259 2861 421.49 564.92/565.14 c 1208005 166 4357 227267 52 9551 5144 4341 2863 421.93 564.92/565.14 c 1211229 166 4955 251821 50 10737 5659 4939 2865 422.75 564.92/565.14 c 1216165 166 4139 209448 50 9102 6225 4123 2868 424.01 564.92/565.14 c 1223671 166 5326 281523 52 11481 6848 5310 2871 426.12 564.92/565.14 c 1235032 166 6274 335166 53 13387 7533 6258 2874 429.68 564.92/565.14 c 1252176 166 4325 221902 51 9470 8287 4309 2875 435.43 564.92/565.14 c 1277995 166 4964 262802 52 10757 9116 4948 2875 444.44 564.92/565.14 c 1316827 166 6942 360572 51 14669 10028 6926 2861 460.24 564.92/565.14 c 1375179 166 9587 527338 55 20009 11031 9571 2834 485.14 564.92/565.14 c 1462811 166 8166 452449 55 17158 12135 8150 2780 526.02 564.92/565.14 o 49 564.973 569.92/570.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 569.92/570.18 c 1535805 166 7716 430883 55 16360 2900 7700 2718 564.97 569.92/570.18 c 1535905 166 1599 88458 55 4037 3191 1583 2717 565.11 569.92/570.18 c 1536156 166 1850 100994 54 4530 3511 1834 2718 565.16 569.92/570.18 c 1536631 166 2325 126663 54 5478 3863 2309 2718 565.27 569.92/570.18 c 1537444 166 3138 169864 54 7113 4250 3122 2718 565.45 569.92/570.18 c 1538764 166 2279 117982 51 5388 4676 2263 2719 565.80 569.92/570.18 c 1540845 166 4360 227693 52 9561 5144 4344 2720 566.30 569.92/570.18 c 1544068 166 4960 260360 52 10752 5659 4944 2722 567.20 569.92/570.18 c 1549004 166 4124 222756 54 9073 6225 4108 2724 568.60 569.92/570.18 o 47 570.007 637.00/637.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 637.00/637.21 c 1553514 166 5468 296621 54 11863 2900 5452 2725 570.01 637.00/637.21 c 1553614 166 1599 81593 51 4034 3191 1583 2725 570.08 637.00/637.21 c 1553864 166 1849 97254 52 4520 3511 1833 2725 570.12 637.00/637.21 c 1554339 166 2324 119713 51 5482 3863 2308 2725 570.21 637.00/637.21 c 1555152 166 3137 159022 50 7110 4250 3121 2726 570.35 637.00/637.21 c 1556472 166 2284 109395 47 5408 4676 2268 2727 570.60 637.00/637.21 c 1558553 166 4365 214713 49 9568 5144 4349 2729 570.98 637.00/637.21 c 1561776 166 4955 248684 50 10746 5659 4939 2731 571.72 637.00/637.21 c 1566712 166 4106 204221 49 9039 6225 4090 2735 572.84 637.00/637.21 c 1574218 166 5283 262670 49 11398 6848 5267 2739 574.61 637.00/637.21 c 1585579 166 6231 318333 51 13287 7533 6215 2745 577.60 637.00/637.21 c 1602723 166 4269 217107 50 9364 8287 4253 2749 582.90 637.00/637.21 c 1628542 166 4911 260197 52 10653 9116 4895 2755 591.03 637.00/637.21 c 1667374 166 6834 349360 51 14496 10028 6818 2757 604.68 637.00/637.21 c 1725726 166 9503 510927 53 19822 11031 9487 2749 627.61 637.00/637.21 o 32 637.022 637.10/637.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 637.10/637.36 c 1747818 166 9318 470910 50 19572 2900 9302 2743 637.02 637.10/637.36 o 30 637.175 637.10/637.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 637.10/637.37 c 1747844 163 1526 74564 48 3976 2894 1510 2743 637.18 637.10/637.37 o 28 637.18 1799.96/1800.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.96/1800.53 c 1747883 163 1566 77309 49 4150 2894 1550 2743 637.18 1799.96/1800.53 c 1747984 158 1667 82606 49 4342 3184 1651 2743 637.20 1799.96/1800.53 c 1748235 155 1918 96497 50 4847 3503 1902 2743 637.24 1799.96/1800.53 c 1748710 151 2393 122629 51 5793 3854 2377 2743 637.34 1799.96/1800.53 c 1749523 150 3206 168878 52 7412 4240 3190 2744 637.53 1799.96/1800.53 c 1750843 150 2357 131724 55 5539 4665 2341 2744 637.92 1799.96/1800.53 c 1752924 150 4438 251990 56 9694 5132 4422 2745 638.43 1799.96/1800.53 c 1756148 150 5049 284721 56 10906 5646 5033 2746 639.45 1799.96/1800.53 c 1761084 150 4215 240284 57 9234 6211 4199 2747 640.94 1799.96/1800.53 c 1768590 150 5408 313710 58 11636 6833 5392 2748 643.38 1799.96/1800.53 c 1779952 150 6352 358402 56 13517 7517 6336 2748 647.66 1799.96/1800.53 c 1797097 150 4436 252158 56 9691 8269 4420 2746 654.30 1799.96/1800.53 c 1822916 150 5147 301052 58 11095 9096 5131 2739 665.43 1799.96/1800.53 c 1861749 150 7183 414458 57 15178 10006 7167 2725 683.00 1799.96/1800.53 c 1920101 150 9953 583857 58 20707 11007 9937 2699 711.34 1799.96/1800.53 c 2007733 150 8691 500658 57 18189 12108 8675 2652 756.82 1799.96/1800.53 c 2139285 150 12027 683397 56 24870 13319 12011 2571 832.03 1799.96/1800.53 c 2336718 150 8145 481607 59 17094 14651 8129 2437 958.62 1799.96/1800.53 c 2632970 150 9341 551667 59 19494 16117 9325 2263 1163.47 1799.96/1800.53 c 3077454 150 16049 942113 58 32910 17729 16033 2055 1497.17 1799.96/1800.53 c Resources Exceeded 1799.96/1800.53 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 1799.96/1800.53 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 1799.96/1800.53 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 1799.96/1800.53 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 1799.96/1800.53 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1799.96/1800.53 v -x128 -x129 x130 -x131 -x132 -x133 x134 -x135 -x136 x137 -x138 -x139 x140 -x141 x142 -x143 -x144 x145 x146 -x147 -x148 x149 1799.96/1800.53 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 1799.96/1800.53 v x174 -x175 x177 -x178 x179 -x180 -x181 x182 -x183 x184 x185 x186 x187 x188 -x189 x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 1799.96/1800.53 v x198 x176 1799.96/1800.53 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.96/1800.53 c 313 3423611 43862 3501179 14567 869585 14551 1902 1800.00 1799.96/1800.53 c Objective: 28 1799.96/1800.53 s SATISFIABLE 1799.96/1800.53 c Total time: 1800 s
OK 28
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node11/watcher-354869-1176729497 -o ROOT/results/node11/solver-354869-1176729497 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354869-1176729497/instance-354869-1176729497.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.08 1.00 0.99 3/77 21772 /proc/meminfo: memFree=1518672/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=11752 CPUtime=0 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 369 0 0 0 0 0 0 0 18 0 1 0 113998611 12034048 337 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 2938 337 282 324 0 2003 0 [startup+0.00996198 s] /proc/loadavg: 1.08 1.00 0.99 3/77 21772 /proc/meminfo: memFree=1518672/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=11868 CPUtime=0 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 416 0 0 0 0 0 0 0 18 0 1 0 113998611 12152832 380 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 2967 380 309 324 0 2036 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 11868 [startup+0.101914 s] /proc/loadavg: 1.08 1.00 0.99 3/77 21772 /proc/meminfo: memFree=1518672/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=4836 CPUtime=0.09 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 612 0 0 0 9 0 0 0 18 0 1 0 113998611 4952064 576 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 1209 576 312 324 0 278 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4836 [startup+0.301938 s] /proc/loadavg: 1.08 1.00 0.99 3/77 21772 /proc/meminfo: memFree=1518672/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=6028 CPUtime=0.29 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 923 0 0 0 29 0 0 0 19 0 1 0 113998611 6172672 887 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 1507 887 312 324 0 576 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6028 [startup+0.701985 s] /proc/loadavg: 1.08 1.00 0.99 3/77 21772 /proc/meminfo: memFree=1518672/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=7980 CPUtime=0.69 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 1401 0 0 0 68 1 0 0 23 0 1 0 113998611 8171520 1365 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 1995 1365 312 324 0 1064 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7980 [startup+1.50108 s] /proc/loadavg: 1.08 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1514376/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=7980 CPUtime=1.49 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 1401 0 0 0 148 1 0 0 25 0 1 0 113998611 8171520 1365 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 1995 1365 312 324 0 1064 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7980 [startup+3.10127 s] /proc/loadavg: 1.08 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1514248/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=7984 CPUtime=3.08 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 1420 0 0 0 306 2 0 0 25 0 1 0 113998611 8175616 1384 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 1996 1384 312 324 0 1065 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 7984 [startup+6.30165 s] /proc/loadavg: 1.07 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1513608/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=8888 CPUtime=6.29 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 1637 0 0 0 625 4 0 0 25 0 1 0 113998611 9101312 1601 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 2222 1601 312 324 0 1291 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8888 [startup+12.7014 s] /proc/loadavg: 1.07 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1511432/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=10572 CPUtime=12.69 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 2071 0 0 0 1263 6 0 0 25 0 1 0 113998611 10825728 2035 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 2643 2035 312 324 0 1712 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10572 [startup+25.5019 s] /proc/loadavg: 1.05 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1510664/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=11348 CPUtime=25.48 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 2255 0 0 0 2538 10 0 0 25 0 1 0 113998611 11620352 2219 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 2837 2219 312 324 0 1906 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 11348 [startup+51.102 s] /proc/loadavg: 1.03 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1510408/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=11708 CPUtime=51.07 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 2335 0 0 0 5092 15 0 0 25 0 1 0 113998611 11988992 2299 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 2927 2299 312 324 0 1996 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 11708 [startup+102.305 s] /proc/loadavg: 1.01 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1508104/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=13960 CPUtime=102.26 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 2912 0 0 0 10195 31 0 0 25 0 1 0 113998611 14295040 2876 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551000 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 3490 2876 312 324 0 2559 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 13960 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1508360/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=13500 CPUtime=162.24 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 2913 0 0 0 16179 45 0 0 25 0 1 0 113998611 13824000 2769 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 3375 2769 312 324 0 2444 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 13500 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1508360/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=13460 CPUtime=222.22 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 2913 0 0 0 22162 60 0 0 25 0 1 0 113998611 13783040 2759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 3365 2759 312 324 0 2434 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 13460 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1508360/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=13576 CPUtime=282.21 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 2938 0 0 0 28149 72 0 0 25 0 1 0 113998611 13901824 2781 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 3394 2781 312 324 0 2463 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 13576 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1507528/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=14316 CPUtime=342.18 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 3129 0 0 0 34136 82 0 0 25 0 1 0 113998611 14659584 2972 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 3579 2972 312 324 0 2648 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 14316 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1507272/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=14648 CPUtime=402.17 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 3195 0 0 0 40125 92 0 0 25 0 1 0 113998611 14999552 3038 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 3662 3038 312 324 0 2731 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 14648 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1507272/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=14632 CPUtime=462.15 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 3195 0 0 0 46112 103 0 0 25 0 1 0 113998611 14983168 3038 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 3658 3038 312 324 0 2727 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 14632 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1507272/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=14632 CPUtime=522.14 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 3195 0 0 0 52101 113 0 0 25 0 1 0 113998611 14983168 3038 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134560215 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 3658 3038 312 324 0 2727 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 14632 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1507208/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=14632 CPUtime=582.12 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 3195 0 0 0 58088 124 0 0 25 0 1 0 113998611 14983168 3038 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 3658 3038 312 324 0 2727 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 14632 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1507208/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=14632 CPUtime=642.1 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 3195 0 0 0 64074 136 0 0 25 0 1 0 113998611 14983168 3038 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 3658 3038 312 324 0 2727 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 14632 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1507208/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=14632 CPUtime=822.04 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 3195 0 0 0 82038 166 0 0 25 0 1 0 113998611 14983168 3038 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 3658 3038 312 324 0 2727 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 14632 [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1506184/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=15684 CPUtime=882.03 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 3458 0 0 0 88027 176 0 0 25 0 1 0 113998611 16060416 3301 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 3921 3301 312 324 0 2990 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 15684 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1506120/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=15684 CPUtime=942.01 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 3471 0 0 0 94016 185 0 0 25 0 1 0 113998611 16060416 3314 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 3921 3314 312 324 0 2990 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 15684 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1504968/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=16816 CPUtime=1002 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 3752 0 0 0 100005 195 0 0 25 0 1 0 113998611 17219584 3595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 4204 3595 312 324 0 3273 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 16816 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1504840/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=16944 CPUtime=1061.97 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 3776 0 0 0 105996 201 0 0 25 0 1 0 113998611 17350656 3619 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 4236 3619 312 324 0 3305 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 16944 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1504712/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=17104 CPUtime=1121.96 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 3811 0 0 0 111986 210 0 0 25 0 1 0 113998611 17514496 3654 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 4276 3654 312 324 0 3345 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 17104 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1503752/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=17996 CPUtime=1181.94 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 4049 0 0 0 117976 218 0 0 25 0 1 0 113998611 18427904 3892 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 4499 3892 312 324 0 3568 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 17996 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1503624/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=18124 CPUtime=1241.92 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 4081 0 0 0 123967 225 0 0 25 0 1 0 113998611 18558976 3924 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 4531 3924 312 324 0 3600 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 18124 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1503560/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=18192 CPUtime=1301.91 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 4101 0 0 0 129958 233 0 0 25 0 1 0 113998611 18628608 3942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 4548 3942 312 324 0 3617 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 18192 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1503496/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=18192 CPUtime=1361.88 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 4101 0 0 0 135947 241 0 0 25 0 1 0 113998611 18628608 3942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 4548 3942 312 324 0 3617 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 18192 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21773 /proc/meminfo: memFree=1503560/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=18192 CPUtime=1421.87 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 4101 0 0 0 141936 251 0 0 25 0 1 0 113998611 18628608 3942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 4548 3942 312 324 0 3617 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 18192 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21775 /proc/meminfo: memFree=1503496/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=18192 CPUtime=1481.85 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 4101 0 0 0 147926 259 0 0 25 0 1 0 113998611 18628608 3942 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 4548 3942 312 324 0 3617 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 18192 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21775 /proc/meminfo: memFree=1502280/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=19480 CPUtime=1541.84 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 4412 0 0 0 153914 270 0 0 25 0 1 0 113998611 19947520 4253 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 4870 4253 312 324 0 3939 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 19480 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21775 /proc/meminfo: memFree=1502280/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=19480 CPUtime=1601.82 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 4412 0 0 0 159904 278 0 0 25 0 1 0 113998611 19947520 4253 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 4870 4253 312 324 0 3939 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 19480 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21775 /proc/meminfo: memFree=1502280/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=19480 CPUtime=1661.8 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 4412 0 0 0 165893 287 0 0 25 0 1 0 113998611 19947520 4253 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 4870 4253 312 324 0 3939 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 19480 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21775 /proc/meminfo: memFree=1502152/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=19696 CPUtime=1721.78 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 4462 0 0 0 171884 294 0 0 25 0 1 0 113998611 20168704 4303 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 4924 4303 312 324 0 3993 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 19696 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 21775 /proc/meminfo: memFree=1502088/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=19644 CPUtime=1781.76 /proc/21772/stat : 21772 (bsolo3.0.16) R 21770 21772 20703 0 -1 4194304 4462 0 0 0 177872 304 0 0 25 0 1 0 113998611 20115456 4303 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/21772/statm: 4911 4303 312 324 0 3980 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 19644 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.99 1/77 21775 /proc/meminfo: memFree=1517904/2055920 swapFree=4146520/4192956 [pid=21772] ppid=21770 vsize=0 CPUtime=1800 /proc/21772/stat : 21772 (bsolo3.0.16) D 21770 21772 20703 0 -1 4194308 4463 0 0 0 179693 307 0 0 24 0 1 0 113998611 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100051646 0 0 17 1 0 0 /proc/21772/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 0 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.68 CPU time (s): 1800.01 CPU user time (s): 1796.93 CPU system time (s): 3.07453 CPU usage (%): 99.9626 Max. virtual memory (cumulated for all children) (KiB): 19696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.93 system time used= 3.07453 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4463 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= 37210 runsolver used 2.17567 second user time and 4.26335 second system time The end
Begin job on node11 on Mon Apr 16 13:18:17 UTC 2007 IDJOB= 354869 IDBENCH= 2912 IDSOLVER= 163 FILE ID= node11/354869-1176729497 PBS_JOBID= 4559465 Free space on /tmp= 66374 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_8_70_3.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354869-1176729497/instance-354869-1176729497.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-354869-1176729497 -o ROOT/results/node11/solver-354869-1176729497 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354869-1176729497/instance-354869-1176729497.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 0278ee4f163393ac33163ff791a7f96d RANDOM SEED= 841262743 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node11.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.235 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.235 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: 1519144 kB Buffers: 35152 kB Cached: 431668 kB SwapCached: 15504 kB Active: 274112 kB Inactive: 217792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1519144 kB SwapTotal: 4192956 kB SwapFree: 4146520 kB Dirty: 4416 kB Writeback: 0 kB Mapped: 31636 kB Slab: 30340 kB Committed_AS: 6123864 kB PageTables: 1852 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= 66374 MiB End job on node11 on Mon Apr 16 13:48:20 UTC 2007