Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -132361 | 1800.07 | 1800.65 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-kb2.opb |
MD5SUM | 396a97b3a9140f57450f18f44f605394 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -293850 |
Best CPU time to get the best result obtained on this benchmark | 7.71283 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -293850 |
Optimality of the best value was proved | YES |
Number of variables | 1096 |
Total number of constraints | 52 |
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 | 52 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 300 |
Number of terms in the objective function | 48 |
Biggest coefficient in the objective function | 188062 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524313 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262081 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524520 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.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/432670-1177947352/instance-432670-1177947352.opb 0.00/0.00 c File size is 75145 bytes. 0.00/0.01 c Highest Coefficient sum: 524520 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.014 s 0.00/0.01 c Var: 1096 Constr: 68 0/0/68 Lit: 10552 Watch. Lit: 3360 0.00/0.01 c Obj. Vars: 48 (4.37956 % of total variables) 0.02/0.07 c Pre-processing Time: 0.073 s 0.02/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.07 c 0 749 68 10552 155 8589 21104 0 0 0.07 0.02/0.07 c Switching off LPR mode. 0.09/0.13 c 103 749 171 27777 162 8836 23215 103 851 0.12 0.09/0.13 o 0 0.133 0.78/0.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.78/0.85 c 103 749 172 27825 161 8950 21200 104 774 0.13 0.78/0.85 c 203 749 272 43831 161 9164 23321 204 1187 0.17 0.78/0.85 c 454 749 523 83945 160 9666 25654 455 1780 0.26 0.78/0.85 c 929 749 998 108507 108 10614 28220 930 2573 0.36 0.78/0.85 c 1744 749 1813 224886 124 12244 31043 1745 2337 0.75 0.78/0.85 o -2941 0.851 0.99/1.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.06 c 1924 749 1994 244631 122 12637 21200 1926 2260 0.85 0.99/1.06 c 2024 749 2094 248264 118 12843 23321 2026 2331 0.87 0.99/1.06 c 2281 749 2351 284091 120 13356 25654 2283 2322 0.98 0.99/1.06 o -2953 1.055 1.19/1.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.20 c 2489 749 2560 297066 116 13828 21200 2492 2359 1.05 1.19/1.20 c 2590 749 2661 301065 113 13993 23321 2593 2380 1.09 1.19/1.20 c 2842 749 2913 338975 116 14527 25654 2845 2433 1.17 1.19/1.20 o -2959 1.197 1.89/1.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.90 c 2862 749 2934 340825 116 14584 21200 2866 2388 1.20 1.89/1.90 c 2962 749 3034 356885 117 14764 23321 2966 2334 1.27 1.89/1.90 c 3212 749 3284 395654 120 15227 25654 3216 2229 1.44 1.89/1.90 c 3690 749 3762 469788 124 16259 28220 3694 2063 1.79 1.89/1.90 o -2960 1.897 16.88/16.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.88/16.92 c 3913 749 3986 498861 125 16712 21200 3918 2061 1.90 16.88/16.92 c 4013 749 4086 514615 125 16871 23321 4018 2064 1.94 16.88/16.92 c 4263 749 4336 552958 127 17371 25654 4268 2068 2.06 16.88/16.92 c 4739 749 4812 624801 129 18323 28220 4744 2046 2.32 16.88/16.92 c 5552 749 5625 747150 132 19949 31043 5557 1943 2.86 16.88/16.92 c 6873 749 6946 944187 135 22591 34148 6878 1725 3.98 16.88/16.92 c 8955 749 9028 1257877 139 26755 37563 8960 1479 6.05 16.88/16.92 c 12178 749 12251 1745268 142 33201 41320 12183 1144 10.64 16.88/16.92 o -2962 16.911 20.89/20.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.89/20.95 c 15128 749 15202 2184610 143 39199 21200 15134 894 16.91 20.89/20.95 c 15228 749 15302 2199667 143 39399 23321 15234 885 17.20 20.89/20.95 c 15478 749 15552 2237275 143 39899 25654 15484 867 17.84 20.89/20.95 c 15953 749 16027 2308100 144 40849 28220 15959 837 19.04 20.89/20.95 c 16766 749 16840 2411253 143 42475 31043 16772 804 20.85 20.89/20.95 o -14716 20.942 21.58/21.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.58/21.63 c 16922 749 16997 2436184 143 42833 21200 16929 808 20.94 21.58/21.63 c 17022 749 17097 2442904 142 43023 23321 17029 811 20.99 21.58/21.63 c 17273 749 17348 2451347 141 43525 25654 17280 820 21.04 21.58/21.63 c 17749 749 17824 2525208 141 44487 28220 17756 835 21.25 21.58/21.63 c 18562 749 18637 2625910 140 46112 31043 18569 862 21.52 21.58/21.63 o -14832 21.623 24.19/24.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.19/24.28 c 18788 749 18864 2665501 141 46598 21200 18796 868 21.62 24.19/24.28 c 18889 749 18965 2671899 140 46834 23321 18897 866 21.79 24.19/24.28 c 19139 749 19215 2693351 140 47304 25654 19147 867 22.07 24.19/24.28 c 19618 749 19694 2775944 140 48256 28220 19626 870 22.53 24.19/24.28 c 20431 749 20507 2925591 142 49912 31043 20439 888 23.01 24.19/24.28 c 21751 749 21827 3008834 137 52545 34148 21759 926 23.47 24.19/24.28 c 23832 749 23908 3253046 136 56707 37563 23840 987 24.13 24.19/24.28 o -14927 24.277 24.58/24.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.58/24.68 c 24165 749 24242 3263285 134 57429 21200 24174 995 24.28 24.58/24.68 o -15361 24.671 24.68/24.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.68/24.70 c 24165 749 10670 1321673 123 29966 21200 10602 979 24.67 24.68/24.70 o -17622 24.695 24.68/24.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.68/24.73 c 24165 749 10671 1321721 123 30013 21200 10603 978 24.70 24.68/24.73 o -17626 24.724 24.78/24.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.78/24.80 c 24166 749 10673 1321793 123 30063 21200 10605 977 24.73 24.78/24.80 c 24266 749 10773 1324499 122 30263 23321 10705 980 24.75 24.78/24.80 o -23491 24.793 24.88/24.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 24.88/24.94 c 24454 749 10962 1333604 121 30666 21200 10894 986 24.79 24.88/24.94 c 24554 749 11062 1342376 121 30870 23321 10994 986 24.88 24.88/24.94 o -23499 24.938 25.18/25.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.18/25.20 c 24575 749 11084 1344288 121 30971 21200 11016 985 24.94 25.18/25.20 c 24677 749 11186 1347470 120 31175 23321 11118 986 25.02 25.18/25.20 c 24928 749 11437 1376255 120 31665 25654 11369 991 25.15 25.18/25.20 o -23506 25.196 25.18/25.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.18/25.22 c 24952 749 11462 1377787 120 31770 21200 11394 990 25.20 25.18/25.22 o -23508 25.212 25.48/25.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.48/25.59 c 24952 749 11463 1377835 120 31819 21200 11395 989 25.21 25.48/25.59 c 25052 749 11563 1390844 120 32019 23321 11495 991 25.27 25.48/25.59 c 25303 749 11814 1418148 120 32521 25654 11746 995 25.43 25.48/25.59 o -23510 25.58 25.78/25.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.78/25.82 c 25533 749 12045 1456871 120 33010 21200 11977 998 25.58 25.78/25.82 c 25636 749 12148 1468861 120 33216 23321 12080 998 25.69 25.78/25.82 c 25886 749 12398 1486399 119 33716 25654 12330 1004 25.77 25.78/25.82 o -23549 25.813 25.78/25.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.78/25.87 c 25970 749 12483 1495116 119 33933 21200 12415 1006 25.81 25.78/25.87 o -23551 25.864 25.78/25.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.78/25.89 c 26030 749 12544 1497754 119 34099 21200 12476 1006 25.86 25.78/25.89 o -23552 25.88 25.88/25.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.88/25.90 c 26031 749 12546 1497831 119 34154 21200 12478 1005 25.88 25.88/25.90 o -23554 25.895 25.88/25.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 25.88/25.93 c 26031 749 12547 1497879 119 34194 21200 12479 1005 25.90 25.88/25.93 o -23598 25.92 26.18/26.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.18/26.26 c 26033 749 12550 1497976 119 34242 21200 12482 1004 25.92 26.18/26.26 c 26133 749 12650 1503523 118 34442 23321 12582 1006 25.97 26.18/26.26 c 26385 749 12902 1540162 119 34946 25654 12834 1012 26.05 26.18/26.26 c 26861 749 13378 1565044 116 35897 28220 13310 1024 26.22 26.18/26.26 o -23683 26.251 26.18/26.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.18/26.28 c 26869 749 13387 1565298 116 35963 21200 13319 1023 26.25 26.18/26.28 o -24176 26.277 26.28/26.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.28/26.37 c 26907 749 13426 1570657 116 36088 21200 13358 1023 26.28 26.28/26.37 c 27009 749 13528 1573848 116 36292 23321 13460 1025 26.34 26.28/26.37 o -26445 26.364 27.28/27.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.28/27.30 c 27015 749 13535 1574079 116 36343 21200 13467 1024 26.36 27.28/27.30 c 27117 749 13637 1592212 116 36534 23321 13569 1026 26.41 27.28/27.30 c 27367 749 13887 1609887 115 37040 25654 13819 1030 26.56 27.28/27.30 c 27843 749 14363 1637483 114 37992 28220 14295 1039 26.79 27.28/27.30 c 28659 749 15179 1756082 115 39632 31043 15111 1051 27.25 27.28/27.30 o -26447 27.292 27.28/27.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.28/27.39 c 28661 749 15182 1756352 115 39700 21200 15114 1050 27.29 27.28/27.39 o -35262 27.382 28.18/28.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.18/28.21 c 28755 749 15277 1759218 115 39919 21200 15209 1050 27.38 28.18/28.21 c 28856 749 15378 1762031 114 40107 23321 15310 1052 27.42 28.18/28.21 c 29106 749 15628 1795006 114 40638 25654 15560 1057 27.53 28.18/28.21 c 29581 749 16103 1840486 114 41579 28220 16035 1063 27.82 28.18/28.21 o -35336 28.201 28.28/28.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.28/28.32 c 30294 749 16817 1858363 110 43055 21200 16749 1074 28.20 28.28/28.32 c 30394 749 16917 1876281 110 43254 23321 16849 1075 28.25 28.28/28.32 o -35532 28.314 28.28/28.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.28/28.34 c 30465 749 16989 1878283 110 43439 21200 16921 1075 28.32 28.28/28.34 o -43786 28.336 28.28/28.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.28/28.36 c 30471 749 16996 1878496 110 43515 21200 16928 1075 28.34 28.28/28.36 o -45532 28.354 28.28/28.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.28/28.38 c 30472 749 16998 1878558 110 43578 21200 16930 1074 28.36 28.28/28.38 o -45940 28.372 28.38/28.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.38/28.40 c 30472 749 16999 1878606 110 43618 21200 16931 1074 28.37 28.38/28.40 o -46300 28.389 28.38/28.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.38/28.41 c 30472 749 17000 1878654 110 43659 21200 16932 1073 28.39 28.38/28.41 o -46619 28.404 28.38/28.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.38/28.43 c 30472 749 17001 1878702 110 43717 21200 16933 1072 28.41 28.38/28.43 o -46850 28.421 28.38/28.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.38/28.45 c 30472 749 17002 1878750 110 43763 21200 16934 1072 28.42 28.38/28.45 o -46878 28.441 28.48/28.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.48/28.57 c 30478 749 17009 1879922 110 43823 21200 16941 1071 28.44 28.48/28.57 c 30578 749 17109 1886439 110 44023 23321 17041 1071 28.53 28.48/28.57 o -46942 28.56 28.68/28.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.68/28.78 c 30583 749 17115 1886872 110 44080 21200 17047 1070 28.56 28.68/28.78 c 30683 749 17215 1897504 110 44280 23321 17147 1073 28.59 28.68/28.78 c 30936 749 17468 1903396 108 44786 25654 17400 1076 28.75 28.68/28.78 o -46945 28.771 28.78/28.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.78/28.81 c 30937 749 17470 1903596 108 44836 21200 17402 1075 28.77 28.78/28.81 o -46975 28.806 29.58/29.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 29.58/29.61 c 30978 749 17512 1911160 109 44963 21200 17444 1075 28.81 29.58/29.61 c 31078 749 17612 1913617 108 45163 23321 17544 1075 28.89 29.58/29.61 c 31329 749 17863 1957592 109 45665 25654 17795 1081 28.97 29.58/29.61 c 31804 749 18338 2010167 109 46612 28220 18270 1087 29.24 29.58/29.61 o -47016 29.6 35.58/35.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 35.58/35.62 c 32537 749 19072 2045061 107 48124 21200 19004 1099 29.60 35.58/35.62 c 32637 749 19172 2047742 106 48325 23321 19104 1100 29.65 35.58/35.62 c 32887 749 19422 2092676 107 48796 25654 19354 1106 29.73 35.58/35.62 c 33362 749 19897 2116508 106 49774 28220 19829 1110 30.03 35.58/35.62 c 34175 749 20710 2263550 109 51400 31043 20642 1126 30.34 35.58/35.62 c 35495 749 22030 2343140 106 54040 34148 21962 1147 30.94 35.58/35.62 c 37579 749 24114 2669270 110 58208 37563 24046 1179 31.86 35.58/35.62 c 40802 749 27337 3226155 118 64663 41320 27269 1243 32.81 35.58/35.62 c 45739 749 32274 3886762 120 74550 45453 32206 1300 35.18 35.58/35.62 o -47017 35.608 36.48/36.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 36.48/36.51 c 46221 749 32757 3899098 119 75556 21200 32689 1298 35.61 36.48/36.51 c 46322 749 10771 1540407 143 30116 23321 10703 1283 36.08 36.48/36.51 c 46578 749 11027 1574315 142 30578 25654 10959 1278 36.42 36.48/36.51 o -52617 36.503 37.38/37.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.38/37.47 c 46776 749 11226 1598591 142 31078 21200 11158 1281 36.50 37.38/37.47 c 46877 749 11327 1606468 141 31266 23321 11259 1281 36.58 37.38/37.47 c 47128 749 11578 1612194 139 31774 25654 11510 1286 36.64 37.38/37.47 c 47604 749 12054 1673860 138 32697 28220 11986 1291 36.85 37.38/37.47 o -52852 37.458 37.58/37.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.58/37.69 c 48129 749 12580 1693474 134 33828 21200 12512 1284 37.46 37.58/37.69 c 48231 749 12682 1705574 134 34023 23321 12614 1285 37.53 37.58/37.69 c 48481 749 12932 1719636 132 34523 25654 12864 1289 37.60 37.58/37.69 o -52882 37.68 37.78/37.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.78/37.87 c 48583 749 13035 1727198 132 34783 21200 12967 1289 37.68 37.78/37.87 c 48683 749 13135 1731030 131 34982 23321 13067 1287 37.80 37.78/37.87 o -52883 37.856 37.98/38.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 37.98/38.08 c 48843 749 13296 1740870 130 35345 21200 13228 1290 37.86 37.98/38.08 c 48943 749 13396 1744507 130 35545 23321 13328 1290 37.92 37.98/38.08 o -52884 38.068 42.27/42.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 42.27/42.36 c 49127 749 13581 1749786 128 35964 21200 13513 1290 38.07 42.27/42.36 c 49228 749 13682 1752485 128 36166 23321 13614 1292 38.09 42.27/42.36 c 49478 749 13932 1758838 126 36660 25654 13864 1296 38.15 42.27/42.36 c 49954 749 14408 1770549 122 37618 28220 14340 1304 38.30 42.27/42.36 c 50767 749 15221 1916754 125 39236 31043 15153 1309 38.78 42.27/42.36 c 52088 749 16542 2132554 128 41884 34148 16474 1327 39.24 42.27/42.36 c 54170 749 18624 2418487 129 46047 37563 18556 1342 40.36 42.27/42.36 c 57395 749 21849 2609097 119 52497 41320 21781 1365 42.04 42.27/42.36 o -52890 42.353 44.47/44.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 44.47/44.58 c 57835 749 22290 2656178 119 53428 21200 22222 1365 42.35 44.47/44.58 c 57935 749 10770 1046320 97 30052 23321 10702 1351 42.86 44.47/44.58 c 58187 749 11022 1059539 96 30556 25654 10954 1351 43.06 44.47/44.58 c 58663 749 11498 1073481 93 31531 28220 11430 1355 43.27 44.47/44.58 c 59476 749 12311 1202516 97 33204 31043 12243 1362 43.65 44.47/44.58 o -52893 44.569 46.27/46.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 46.27/46.32 c 60718 749 13554 1329346 98 35734 21200 13486 1362 44.57 46.27/46.32 c 60820 749 13656 1344412 98 35932 23321 13588 1363 44.62 46.27/46.32 c 61070 749 13906 1385350 99 36432 25654 13838 1364 44.76 46.27/46.32 c 61545 749 14381 1409800 98 37382 28220 14313 1370 44.92 46.27/46.32 c 62361 749 15197 1516961 99 39014 31043 15129 1370 45.50 46.27/46.32 c 63682 749 16518 1714259 103 41657 34148 16450 1382 46.08 46.27/46.32 o -52978 46.31 56.37/56.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 56.37/56.42 c 64200 749 17037 1752258 102 42708 21200 16969 1386 46.31 56.37/56.42 c 64324 749 17161 1768461 103 42964 23321 17093 1384 46.44 56.37/56.42 c 64584 749 17421 1811880 104 43502 25654 17353 1384 46.64 56.37/56.42 c 65059 749 17896 1872221 104 44448 28220 17828 1385 46.96 56.37/56.42 c 65872 749 18709 1987857 106 46075 31043 18641 1390 47.37 56.37/56.42 c 67193 749 20030 2059004 102 48718 34148 19962 1391 48.28 56.37/56.42 c 69278 749 22115 2338358 105 52888 37563 22047 1410 49.12 56.37/56.42 c 72533 749 25370 2636182 103 59388 41320 25302 1397 51.89 56.37/56.42 c 77469 749 30306 3559686 117 69248 45453 30238 1383 55.99 56.37/56.42 o -57328 56.405 57.17/57.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 57.17/57.21 c 78015 749 30853 3611695 117 70395 21200 30785 1383 56.41 57.17/57.21 c 78119 749 10774 1563354 145 30043 23321 10706 1369 57.04 57.17/57.21 c 78371 749 11026 1591582 144 30547 25654 10958 1372 57.12 57.17/57.21 o -64281 57.199 125.55/125.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 125.55/125.67 c 78569 749 11225 1597140 142 31041 21200 11157 1373 57.20 125.55/125.67 c 78669 749 11325 1611916 142 31193 23321 11257 1374 57.25 125.55/125.67 c 78919 749 11575 1656108 143 31693 25654 11507 1375 57.38 125.55/125.67 c 79397 749 12053 1700333 141 32658 28220 11985 1378 57.59 125.55/125.67 c 80210 749 12866 1788847 139 34285 31043 12798 1377 58.21 125.55/125.67 c 81531 749 14187 1865429 131 36927 34148 14119 1388 58.70 125.55/125.67 c 83616 749 16272 2160834 132 41096 37563 16204 1400 59.69 125.55/125.67 c 86840 749 19496 2737331 140 47544 41320 19428 1369 63.39 125.55/125.67 c 91776 749 24432 3357626 137 57416 45453 24364 1337 68.62 125.55/125.67 c 99282 749 31938 4438000 138 72428 49999 31870 1285 77.22 125.55/125.67 c 110643 749 43299 5944594 137 95150 54999 43231 1038 106.52 125.55/125.67 c 127787 749 16051 2106599 131 40664 60499 15983 1036 123.33 125.55/125.67 o -82775 125.64 125.65/125.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 125.65/125.79 c 130448 749 18713 2399599 128 46025 21200 18645 1038 125.64 125.65/125.79 o -87561 125.755 126.95/127.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 126.95/127.10 c 130516 749 18782 2408896 128 46200 21200 18714 1037 125.75 126.95/127.10 c 130617 749 18883 2422430 128 46405 23321 18815 1037 125.90 126.95/127.10 c 130869 749 19135 2428938 126 46909 25654 19067 1038 125.97 126.95/127.10 c 131344 749 19610 2511028 128 47865 28220 19542 1041 126.15 126.95/127.10 c 132158 749 20424 2561296 125 49493 31043 20356 1045 126.43 126.95/127.10 o -93449 127.062 127.25/127.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 127.25/127.37 c 133045 749 21312 2679595 125 51311 21200 21244 1047 127.06 127.25/127.37 c 133145 749 21412 2685519 125 51511 23321 21344 1047 127.11 127.25/127.37 c 133395 749 21662 2697020 124 52011 25654 21594 1048 127.16 127.25/127.37 c 133872 749 22139 2736947 123 52968 28220 22071 1051 127.28 127.25/127.37 o -93874 127.34 128.15/128.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 128.15/128.23 c 133933 749 22201 2738402 123 53144 21200 22133 1051 127.34 128.15/128.23 o -93964 128.199 129.15/129.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 129.15/129.26 c 133952 749 10690 1228209 114 29977 21200 10622 1044 128.20 129.15/129.26 c 134059 749 10797 1247021 115 30212 23321 10729 1045 128.24 129.15/129.26 c 134309 749 11047 1288056 116 30699 25654 10979 1046 128.33 129.15/129.26 c 134784 749 11522 1360704 118 31649 28220 11454 1048 128.50 129.15/129.26 c 135599 749 12337 1509711 122 33279 31043 12269 1053 128.67 129.15/129.26 c 136919 749 13657 1689598 123 35932 34148 13589 1059 129.18 129.15/129.26 o -94022 129.225 129.25/129.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 129.25/129.32 c 136954 749 13693 1691098 123 36047 21200 13625 1059 129.23 129.25/129.32 o -94029 129.282 129.35/129.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 129.35/129.49 c 137026 749 13766 1693349 123 36237 21200 13698 1059 129.28 129.35/129.49 c 137126 749 13866 1707207 123 36391 23321 13798 1059 129.38 129.35/129.49 o -94031 129.452 130.05/130.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 130.05/130.17 c 137230 749 13971 1722416 123 36667 21200 13903 1060 129.45 130.05/130.17 c 137330 749 14071 1729642 122 36878 23321 14003 1060 129.52 130.05/130.17 c 137580 749 14321 1769391 123 37352 25654 14253 1061 129.64 130.05/130.17 c 138055 749 14796 1790510 121 38325 28220 14728 1063 129.80 130.05/130.17 o -99484 130.133 896.15/896.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 896.15/896.44 c 138845 749 15587 1814739 116 39957 21200 15519 1066 130.13 896.15/896.44 c 138946 749 15688 1823740 116 40109 23321 15620 1067 130.18 896.15/896.44 c 139201 749 15943 1830088 114 40617 25654 15875 1067 130.40 896.15/896.44 c 139678 749 16420 1890830 115 41613 28220 16352 1070 130.53 896.15/896.44 c 140491 749 17233 1962523 113 43210 31043 17165 1072 130.94 896.15/896.44 c 141811 749 18553 2181845 117 45878 34148 18485 1079 131.32 896.15/896.44 c 143893 749 20635 2462055 119 50006 37563 20567 1087 132.25 896.15/896.44 c 147117 749 23859 2658017 111 56466 41320 23791 1105 133.07 896.15/896.44 c 152060 749 28802 3299281 114 66351 45453 28734 1118 135.97 896.15/896.44 c 159566 749 36308 4537280 124 81319 49999 36240 1144 139.48 896.15/896.44 c 170927 749 47669 6600464 138 104133 54999 47601 1111 153.81 896.15/896.44 c 188071 749 21373 2920920 136 51304 60499 21305 992 189.50 896.15/896.44 c 213896 749 47198 7365312 156 102954 66549 47130 970 220.41 896.15/896.44 c 252728 749 30736 5242183 170 70037 73204 30668 749 337.12 896.15/896.44 c 311081 749 27420 5088036 185 63425 80525 27352 554 561.05 896.15/896.44 c 398714 749 46124 8450267 183 100817 88578 46056 445 895.48 896.15/896.44 o -132361 896.196 1800.02/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.02/1800.60 c 399454 749 46865 8552839 182 102349 21200 46797 445 896.20 1800.02/1800.60 c 399554 749 10771 1612311 149 30078 23321 10703 443 901.30 1800.02/1800.60 c 399804 749 11021 1652237 149 30574 25654 10953 443 901.40 1800.02/1800.60 c 400283 749 11500 1704003 148 31526 28220 11432 443 901.56 1800.02/1800.60 c 401108 749 12325 1824283 148 33183 31043 12257 444 901.94 1800.02/1800.60 c 402428 749 13645 2050221 150 35827 34148 13577 445 902.44 1800.02/1800.60 c 404509 749 15726 2428954 154 39978 37563 15658 447 904.33 1800.02/1800.60 c 407735 749 18952 2893847 152 46441 41320 18884 450 905.77 1800.02/1800.60 c 412671 749 23888 3639355 152 56320 45453 23820 454 907.82 1800.02/1800.60 c 420177 749 31394 4225104 134 71335 49999 31326 459 913.76 1800.02/1800.60 c 431550 749 42767 5645994 132 94096 54999 42699 455 946.93 1800.02/1800.60 c 448704 749 16065 2057020 128 40692 60499 15997 442 1014.59 1800.02/1800.61 c 474524 749 41885 5857174 139 92344 66549 41817 450 1052.76 1800.02/1800.61 c 513358 749 25532 4375111 171 59641 73204 25464 459 1118.08 1800.02/1800.61 c 571710 749 22191 3930150 177 52959 80525 22123 435 1311.44 1800.02/1800.61 c 659342 749 41038 7127132 173 90653 88578 40970 414 1589.34 1800.02/1800.61 c Caught signal: 15 1800.02/1800.61 v -x615 x616 x617 -x618 x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 x630 x631 -x632 x691 -x692 -x693 -x694 1800.02/1800.61 v -x695 -x696 -x697 -x698 -x699 x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 1800.02/1800.61 v -x732 -x733 -x734 -x735 -x736 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x633 x634 -x635 -x636 1800.02/1800.61 v -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 1800.02/1800.61 v -x658 -x659 -x660 -x661 x662 -x663 x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 1800.02/1800.61 v -x679 x680 x681 x682 x683 x684 x685 x686 -x687 x688 -x689 x690 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 1800.02/1800.61 v -x719 -x720 -x721 -x722 -x723 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 x752 1800.02/1800.61 v x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x827 -x828 -x829 -x830 -x831 -x832 -x833 1800.02/1800.61 v -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 1800.02/1800.61 v -x855 -x856 -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 1800.02/1800.61 v -x26 -x27 -x28 -x29 -x30 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 1800.02/1800.61 v -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 1800.02/1800.61 v -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 1800.02/1800.61 v -x284 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 1800.02/1800.61 v -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 1800.02/1800.61 v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x525 -x526 1800.02/1800.61 v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 1800.02/1800.61 v -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x857 x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 x867 -x868 x869 x870 -x871 1800.02/1800.61 v -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x31 -x32 -x33 -x34 -x35 -x36 -x37 1800.02/1800.61 v -x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x105 -x106 1800.02/1800.61 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 1800.02/1800.61 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 1800.02/1800.61 v -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x285 x286 -x287 -x288 -x289 1800.02/1800.61 v -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 1800.02/1800.61 v -x311 -x312 -x313 -x314 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 1800.02/1800.61 v -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 1800.02/1800.61 v -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 1800.02/1800.61 v -x494 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 1800.02/1800.61 v -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x887 x888 -x889 -x890 x891 x892 -x893 -x894 -x895 -x896 -x897 1800.02/1800.61 v -x898 x899 x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x61 -x62 -x63 1800.02/1800.61 v -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 1800.02/1800.61 v -x90 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 1800.02/1800.61 v -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 1800.02/1800.61 v -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x315 -x316 1800.02/1800.61 v -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 -x325 -x326 x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 1800.02/1800.61 v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x405 -x406 -x407 -x408 x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 1800.02/1800.61 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x495 -x496 -x497 -x498 -x499 1800.02/1800.61 v -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 1800.02/1800.61 v -x521 -x522 -x523 -x524 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 1800.02/1800.61 v -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x767 -x768 x769 -x770 -x771 -x772 -x773 x774 1800.02/1800.61 v -x775 -x776 -x777 -x778 x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 1800.02/1800.61 v -x796 -x917 -x918 x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 1800.02/1800.61 v -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x797 -x798 -x799 -x800 -x801 -x802 -x803 x804 -x805 -x806 -x807 1800.02/1800.61 v x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 x977 -x978 1800.02/1800.61 v -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 1800.02/1800.61 v -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 x1010 x1011 x1012 -x1013 -x1014 -x1015 -x1016 -x1017 1800.02/1800.61 v -x1018 -x1019 x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 1800.02/1800.61 v -x1036 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 1800.02/1800.61 v -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x947 -x948 -x949 -x950 1800.02/1800.61 v x951 -x952 -x953 -x954 -x955 x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 1800.02/1800.61 v -x972 -x973 -x974 -x975 -x976 -x1037 x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 1800.02/1800.61 v x1050 -x1051 x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 1800.02/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.61 c 220 697628 80457 1162434 79324 13835101 79256 387 1800.04 1800.02/1800.61 c Objective: -132361 1800.02/1800.61 s SATISFIABLE 1800.02/1800.61 c Total time: 1800.04 s
OK -132361
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node43/watcher-432670-1177947352 -o ROOT/results/node43/solver-432670-1177947352 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432670-1177947352/instance-432670-1177947352.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.94 0.96 0.91 3/77 31038 /proc/meminfo: memFree=1579904/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=19624 CPUtime=0 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 361 0 0 0 0 0 0 0 18 0 1 0 242646986 20094976 331 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134545536 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 2953 333 280 324 0 2004 0 [startup+0.0340759 s] /proc/loadavg: 0.94 0.96 0.91 3/77 31038 /proc/meminfo: memFree=1579904/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=12272 CPUtime=0.02 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 532 0 0 0 2 0 0 0 18 0 1 0 242646986 12566528 483 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 3068 483 303 324 0 2138 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12272 [startup+0.101081 s] /proc/loadavg: 0.94 0.96 0.91 3/77 31038 /proc/meminfo: memFree=1579904/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=12404 CPUtime=0.09 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 568 0 0 0 9 0 0 0 18 0 1 0 242646986 12701696 519 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 3101 519 309 324 0 2171 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12404 [startup+0.301097 s] /proc/loadavg: 0.94 0.96 0.91 3/77 31038 /proc/meminfo: memFree=1579904/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=5620 CPUtime=0.29 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 841 0 0 0 29 0 0 0 19 0 1 0 242646986 5754880 792 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 1405 792 311 324 0 475 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5620 [startup+0.701131 s] /proc/loadavg: 0.94 0.96 0.91 3/77 31038 /proc/meminfo: memFree=1579904/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=7296 CPUtime=0.68 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 1233 0 0 0 68 0 0 0 23 0 1 0 242646986 7471104 1184 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 1824 1184 311 324 0 894 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 7296 [startup+1.5012 s] /proc/loadavg: 0.94 0.96 0.91 2/78 31039 /proc/meminfo: memFree=1575352/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=9900 CPUtime=1.49 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 1905 0 0 0 148 1 0 0 25 0 1 0 242646986 10137600 1856 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 2475 1856 311 324 0 1545 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9900 [startup+3.10134 s] /proc/loadavg: 0.94 0.96 0.91 2/78 31039 /proc/meminfo: memFree=1571448/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=15180 CPUtime=3.08 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 3209 0 0 0 307 1 0 0 25 0 1 0 242646986 15544320 3160 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 3795 3160 311 324 0 2865 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 15180 [startup+6.30162 s] /proc/loadavg: 0.94 0.96 0.91 2/78 31039 /proc/meminfo: memFree=1563064/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=21872 CPUtime=6.29 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 4882 0 0 0 627 2 0 0 25 0 1 0 242646986 22396928 4833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 5468 4833 311 324 0 4538 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21872 [startup+12.7012 s] /proc/loadavg: 0.95 0.96 0.91 2/78 31039 /proc/meminfo: memFree=1554056/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=30124 CPUtime=12.68 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 6949 0 0 0 1264 4 0 0 25 0 1 0 242646986 30846976 6900 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 7531 6900 311 324 0 6601 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 30124 [startup+25.5013 s] /proc/loadavg: 0.96 0.96 0.91 2/78 31039 /proc/meminfo: memFree=1534736/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=48700 CPUtime=25.48 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 11613 0 0 0 2541 7 0 0 25 0 1 0 242646986 49868800 11564 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 12175 11564 311 324 0 11245 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 48700 [startup+51.1015 s] /proc/loadavg: 0.97 0.96 0.91 2/78 31039 /proc/meminfo: memFree=1525648/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=57808 CPUtime=51.07 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 13894 0 0 0 5099 8 0 0 25 0 1 0 242646986 59195392 13844 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 14452 13844 311 324 0 13522 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 57808 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31039 /proc/meminfo: memFree=1504144/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=79464 CPUtime=102.27 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 19299 0 0 0 10212 15 0 0 25 0 1 0 242646986 81371136 19248 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134552279 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 19866 19248 311 324 0 18936 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 79464 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31039 /proc/meminfo: memFree=1475472/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=107820 CPUtime=162.24 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 26436 0 0 0 16205 19 0 0 25 0 1 0 242646986 110407680 26330 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 26955 26330 311 324 0 26025 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 107820 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31039 /proc/meminfo: memFree=1475472/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=107704 CPUtime=222.23 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 26436 0 0 0 22203 20 0 0 25 0 1 0 242646986 110288896 26319 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 26926 26319 311 324 0 25996 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 107704 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31039 /proc/meminfo: memFree=1435344/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=147724 CPUtime=282.21 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 36497 0 0 0 28193 28 0 0 25 0 1 0 242646986 151269376 36314 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 36931 36314 311 324 0 36001 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 147724 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31041 /proc/meminfo: memFree=1435344/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=147724 CPUtime=342.2 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 36497 0 0 0 34191 29 0 0 25 0 1 0 242646986 151269376 36314 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 36931 36314 311 324 0 36001 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 147724 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31041 /proc/meminfo: memFree=1435344/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=147724 CPUtime=402.18 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 36497 0 0 0 40189 29 0 0 25 0 1 0 242646986 151269376 36314 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 36931 36314 311 324 0 36001 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 147724 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31041 /proc/meminfo: memFree=1435344/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=147724 CPUtime=462.16 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 36497 0 0 0 46187 29 0 0 25 0 1 0 242646986 151269376 36314 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 36931 36314 311 324 0 36001 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 147724 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31041 /proc/meminfo: memFree=1414160/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=168816 CPUtime=522.14 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 41851 0 0 0 52180 34 0 0 25 0 1 0 242646986 172867584 41595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 42204 41595 311 324 0 41274 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 168816 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31041 /proc/meminfo: memFree=1414160/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=168816 CPUtime=582.13 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 41851 0 0 0 58178 35 0 0 25 0 1 0 242646986 172867584 41595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 42204 41595 311 324 0 41274 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 168816 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31041 /proc/meminfo: memFree=1414224/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=168816 CPUtime=642.11 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 41851 0 0 0 64176 35 0 0 25 0 1 0 242646986 172867584 41595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 42204 41595 311 324 0 41274 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 168816 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31041 /proc/meminfo: memFree=1373840/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=209164 CPUtime=822.07 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 52003 0 0 0 82161 46 0 0 25 0 1 0 242646986 214183936 51667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 52291 51667 311 324 0 51361 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 209164 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31041 /proc/meminfo: memFree=1373840/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=209164 CPUtime=882.05 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 52003 0 0 0 88158 47 0 0 25 0 1 0 242646986 214183936 51667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 52291 51667 311 324 0 51361 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 209164 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31041 /proc/meminfo: memFree=1373840/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=209164 CPUtime=942.03 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 52003 0 0 0 94156 47 0 0 25 0 1 0 242646986 214183936 51667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551778 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 52291 51667 311 324 0 51361 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 209164 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31041 /proc/meminfo: memFree=1373904/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=209164 CPUtime=1002.02 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 52003 0 0 0 100154 48 0 0 25 0 1 0 242646986 214183936 51667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 52291 51667 311 324 0 51361 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 209164 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31041 /proc/meminfo: memFree=1373904/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=209164 CPUtime=1062 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 52003 0 0 0 106152 48 0 0 25 0 1 0 242646986 214183936 51667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 52291 51667 311 324 0 51361 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 209164 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31041 /proc/meminfo: memFree=1373968/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=209164 CPUtime=1121.99 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 52003 0 0 0 112150 49 0 0 25 0 1 0 242646986 214183936 51667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 52291 51667 311 324 0 51361 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 209164 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31041 /proc/meminfo: memFree=1373968/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=209164 CPUtime=1181.97 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 52003 0 0 0 118148 49 0 0 25 0 1 0 242646986 214183936 51667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547575 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 52291 51667 311 324 0 51361 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 209164 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31041 /proc/meminfo: memFree=1373904/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=209164 CPUtime=1241.96 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 52003 0 0 0 124146 50 0 0 25 0 1 0 242646986 214183936 51667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 52291 51667 311 324 0 51361 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 209164 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31041 /proc/meminfo: memFree=1373968/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=209164 CPUtime=1301.94 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 52003 0 0 0 130144 50 0 0 25 0 1 0 242646986 214183936 51667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550910 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 52291 51667 311 324 0 51361 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 209164 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31041 /proc/meminfo: memFree=1373904/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=209164 CPUtime=1361.93 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 52003 0 0 0 136142 51 0 0 25 0 1 0 242646986 214183936 51667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 52291 51667 311 324 0 51361 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 209164 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31041 /proc/meminfo: memFree=1373968/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=209164 CPUtime=1421.91 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 52003 0 0 0 142140 51 0 0 25 0 1 0 242646986 214183936 51667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 52291 51667 311 324 0 51361 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 209164 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31041 /proc/meminfo: memFree=1373904/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=209164 CPUtime=1481.9 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 52003 0 0 0 148138 52 0 0 25 0 1 0 242646986 214183936 51667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 52291 51667 311 324 0 51361 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 209164 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/84 31205 /proc/meminfo: memFree=1372616/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=209164 CPUtime=1541.8 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 52003 0 0 0 154128 52 0 0 25 0 1 0 242646986 214183936 51667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 52291 51667 311 324 0 51361 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 209164 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31239 /proc/meminfo: memFree=1373648/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=209164 CPUtime=1601.78 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 52003 0 0 0 160125 53 0 0 25 0 1 0 242646986 214183936 51667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 52291 51667 311 324 0 51361 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 209164 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31239 /proc/meminfo: memFree=1373648/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=209164 CPUtime=1661.75 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 52003 0 0 0 166122 53 0 0 25 0 1 0 242646986 214183936 51667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 52291 51667 311 324 0 51361 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 209164 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31239 /proc/meminfo: memFree=1373712/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=209164 CPUtime=1721.74 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 52003 0 0 0 172120 54 0 0 25 0 1 0 242646986 214183936 51667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 52291 51667 311 324 0 51361 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 209164 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31239 /proc/meminfo: memFree=1373712/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=209164 CPUtime=1781.72 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 52003 0 0 0 178118 54 0 0 25 0 1 0 242646986 214183936 51667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 52291 51667 311 324 0 51361 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 209164 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.91 2/78 31239 /proc/meminfo: memFree=1373776/2055920 swapFree=4158592/4192956 [pid=31038] ppid=31036 vsize=209164 CPUtime=1800.02 /proc/31038/stat : 31038 (bsolo3.0.17) R 31036 31038 30142 0 -1 4194304 52003 0 0 0 179948 54 0 0 25 0 1 0 242646986 214183936 51667 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31038/statm: 52291 51667 311 324 0 51361 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 209164 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.65 CPU time (s): 1800.07 CPU user time (s): 1799.49 CPU system time (s): 0.581911 CPU usage (%): 99.9682 Max. virtual memory (cumulated for all children) (KiB): 209164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.49 system time used= 0.581911 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52007 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= 37286 runsolver used 1.37279 second user time and 3.9424 second system time The end
Begin job on node43 on Mon Apr 30 15:35:52 UTC 2007 IDJOB= 432670 IDBENCH= 1669 IDSOLVER= 199 FILE ID= node43/432670-1177947352 PBS_JOBID= 4727552 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-kb2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432670-1177947352/instance-432670-1177947352.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-432670-1177947352 -o ROOT/results/node43/solver-432670-1177947352 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432670-1177947352/instance-432670-1177947352.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 396a97b3a9140f57450f18f44f605394 RANDOM SEED= 772299076 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node43.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1580320 kB Buffers: 38248 kB Cached: 337024 kB SwapCached: 2808 kB Active: 236972 kB Inactive: 164928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1580320 kB SwapTotal: 4192956 kB SwapFree: 4158592 kB Dirty: 6812 kB Writeback: 0 kB Mapped: 34488 kB Slab: 59048 kB Committed_AS: 2815144 kB PageTables: 1904 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 node43 on Mon Apr 30 16:05:54 UTC 2007