Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 4 | 1798 | 1798.65 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_3.opb |
MD5SUM | 455599f2e36aed56b051b7169c43fa6c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 1800.47 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
Number of variables | 120 |
Total number of constraints | 10 |
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 | 10 |
Minimum length of a constraint | 55 |
Maximum length of a constraint | 56 |
Number of terms in the objective function | 80 |
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 | 2550 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1162 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3997 |
Number of bits of the biggest sum of numbers | 12 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Generic Pseudo-Boolean Learning 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 HOME/instance-1880059-1245240260.opb 0.00/0.00 c File size is 5435 bytes. 0.00/0.00 c Highest Coefficient sum: 3997 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0 s 0.00/0.00 c Var: 120 Constr: 10 0/0/10 Lit: 554 Watch. Lit: 164 0.00/0.00 c Obj. Vars: 80 (66.6667 % of total variables) 0.00/0.00 c Pre-processing Time: 0.001 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 120 10 554 55 164 1108 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.00 o 924 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 120 11 634 57 416 1268 1 0 0.00 0.00/0.00 o 728 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 14 120 40 2423 60 796 1268 30 2333 0.01 0.00/0.01 o 525 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 28 120 69 4488 65 1544 1268 59 3111 0.01 0.00/0.01 o 450 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 42 120 98 6308 64 2391 1268 88 3000 0.01 0.00/0.01 o 448 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 45 120 105 6875 65 2701 1268 95 3000 0.01 0.00/0.01 o 446 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 50 120 116 7542 65 3011 1268 106 2941 0.02 0.00/0.02 o 437 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 56 120 129 8303 64 3169 1268 119 2545 0.02 0.00/0.02 o 427 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 57 120 132 8555 64 3312 1268 122 2478 0.02 0.00/0.02 o 409 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 59 120 137 8861 64 3474 1268 127 2458 0.02 0.00/0.02 o 403 0.02/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.03 c 61 120 142 9286 65 3717 1268 132 2346 0.03 0.02/0.03 o 401 0.02/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.03 c 76 120 173 11297 65 4535 1268 163 2235 0.03 0.02/0.03 o 368 0.02/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.04 c 79 120 180 11751 65 4853 1268 170 2194 0.04 0.02/0.04 o 362 0.02/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.04 c 87 120 197 12837 65 5403 1268 187 2071 0.04 0.02/0.04 o 333 0.02/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.05 c 92 120 208 13548 65 5515 1268 198 2090 0.04 0.02/0.05 o 331 0.02/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.05 c 100 120 225 14620 64 6208 1268 215 2083 0.05 0.02/0.05 o 325 0.02/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.05 c 107 120 240 15657 65 6693 1268 230 1945 0.06 0.02/0.05 o 323 0.02/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.06 c 108 120 243 15883 65 6822 1268 233 1894 0.06 0.02/0.06 o 313 0.02/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.06 c 112 120 252 16448 65 7085 1268 242 1866 0.06 0.02/0.06 o 309 0.02/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.07 c 118 120 265 17367 65 7686 1268 255 1815 0.07 0.02/0.07 o 307 0.02/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.08 c 123 120 276 18195 65 8118 1268 266 1732 0.07 0.02/0.08 o 305 0.02/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.08 c 138 120 306 19888 64 8474 1268 296 1682 0.08 0.02/0.08 o 283 0.02/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.09 c 141 120 313 20351 65 8581 1268 303 1639 0.09 0.02/0.09 o 281 0.02/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.09 c 145 120 322 21018 65 8976 1268 312 1593 0.09 0.02/0.09 o 279 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 152 120 337 22061 65 9378 1268 327 1567 0.10 0.09/0.10 o 277 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 161 120 356 23484 65 10030 1268 346 1533 0.10 0.09/0.11 o 275 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 168 120 371 24604 66 10636 1268 361 1460 0.12 0.09/0.12 o 269 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 173 120 382 25363 66 10970 1268 372 1373 0.13 0.09/0.13 o 239 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 175 120 387 25634 66 11109 1268 377 1346 0.13 0.09/0.13 o 231 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 176 120 390 25881 66 11285 1268 380 1313 0.13 0.09/0.14 o 223 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 183 120 405 26917 66 11533 1268 395 1288 0.14 0.09/0.14 o 215 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 186 120 412 27372 66 11796 1268 402 1273 0.15 0.09/0.15 o 207 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 194 120 429 28631 66 12497 1268 419 1251 0.15 0.09/0.17 o 188 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 209 120 460 30563 66 13103 1268 450 1236 0.17 0.09/0.17 o 186 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 210 120 463 30817 66 13270 1268 453 1220 0.17 0.09/0.18 o 172 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 220 120 484 32152 66 13625 1268 474 1195 0.18 0.19/0.21 o 170 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 245 120 535 35244 65 15216 1268 525 1177 0.21 0.19/0.21 o 165 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 248 120 542 35750 65 15511 1268 532 1153 0.21 0.19/0.22 o 133 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 250 120 547 36146 66 15698 1268 537 1136 0.22 0.19/0.22 o 125 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 253 120 554 36645 66 15782 1268 544 1124 0.23 0.19/0.25 o 99 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 282 110 611 39988 65 16854 1248 601 1110 0.25 0.19/0.29 o 98 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 318 110 683 44320 64 17245 1248 673 1092 0.29 0.29/0.30 o 96 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 326 110 700 45440 64 17654 1248 690 1075 0.30 0.29/0.32 o 93 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 345 110 738 47521 64 18449 1248 728 1058 0.33 0.29/0.37 o 89 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 405 110 856 54177 63 20859 1248 846 1085 0.37 0.29/0.37 o 73 0.39/0.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.40 c 405 110 857 54247 63 20779 1248 847 1077 0.38 0.39/0.40 o 72 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 430 110 906 57078 63 21060 1248 896 1064 0.40 0.39/0.41 o 42 0.39/0.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.41 c 431 110 909 57295 63 21087 1248 899 1056 0.41 0.39/0.41 o 38 0.89/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.91 c 434 110 916 57716 63 21353 1248 906 1053 0.41 0.89/0.91 c 534 110 1106 68690 62 26940 1373 1096 1107 0.48 0.89/0.91 c 785 100 857 45902 53 18728 1511 847 1052 0.75 0.89/0.91 o 30 1.10/1.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.18 c 995 100 1237 66048 53 25122 1228 1227 1091 0.91 1.10/1.18 c 1095 90 772 37245 48 15691 1351 762 1067 1.03 1.10/1.18 o 28 1.49/1.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.53 c 1293 90 1132 55740 49 21002 1208 1122 1092 1.18 1.49/1.53 c 1393 90 672 30647 45 12881 1329 662 1065 1.31 1.49/1.53 c 1644 90 1116 53604 48 21274 1462 1106 1107 1.49 1.49/1.53 o 19 5.50/5.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.50/5.58 c 1692 90 1206 58380 48 21538 1208 1196 1102 1.53 5.50/5.58 c 1792 90 738 32774 44 13674 1329 728 1085 1.65 5.50/5.58 c 2042 90 1181 56069 47 23143 1462 1171 1109 1.84 5.50/5.58 c 2517 90 1247 56364 45 21734 1609 1237 1101 2.29 5.50/5.58 c 3330 90 899 34841 38 12310 1770 889 1087 3.06 5.50/5.58 c 4651 90 1289 55374 42 19286 1948 1279 1111 4.18 5.50/5.58 o 17 7.79/7.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.79/7.82 c 6038 90 1606 74037 46 26743 1208 1596 1082 5.58 7.79/7.82 c 6138 90 788 33696 42 13427 1329 778 1073 5.72 7.79/7.82 c 6388 90 1218 57008 46 22947 1462 1208 1077 5.93 7.79/7.82 c 6863 90 1248 53808 43 20430 1609 1238 1071 6.41 7.79/7.82 c 7676 90 926 35524 38 13408 1770 916 1061 7.23 7.79/7.82 o 16 8.19/8.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.19/8.28 c 8201 90 907 35246 38 13594 1208 897 1048 7.82 8.19/8.28 c 8301 90 1070 43694 40 16880 1329 1060 1049 7.91 8.19/8.28 c 8551 90 779 31779 40 13261 1462 769 1047 8.16 8.19/8.28 o 14 8.89/8.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.89/8.95 c 8689 90 1003 43146 43 17320 1208 993 1049 8.28 8.89/8.95 c 8790 90 1170 51916 44 20862 1329 1160 1050 8.37 8.89/8.95 c 9040 90 884 36363 41 14507 1462 874 1047 8.63 8.89/8.95 o 12 12.09/12.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.09/12.11 c 9398 90 1488 69539 46 26003 1208 1478 1050 8.95 12.09/12.11 c 9498 90 787 33426 42 13424 1329 777 1045 9.08 12.09/12.11 c 9748 90 1206 55723 46 21896 1462 1196 1049 9.29 12.09/12.11 c 10224 80 1245 54740 43 20538 1609 1235 1045 9.78 12.09/12.11 c 11037 80 889 32268 36 11686 1770 879 1036 10.65 12.09/12.11 c 12357 80 1262 52869 41 17792 1948 1252 1033 11.96 12.09/12.11 o 11 14.38/14.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.38/14.40 c 12539 80 1570 68876 43 21517 1188 1560 1035 12.11 14.38/14.40 c 12639 80 782 33093 42 12345 1307 772 1034 12.21 14.38/14.40 c 12889 80 1190 54296 45 19297 1438 1180 1037 12.43 14.38/14.40 c 13365 80 1186 50904 42 18212 1582 1176 1037 12.88 14.38/14.40 c 14178 80 810 30682 37 10717 1741 800 1045 13.57 14.38/14.40 o 7 65.97/66.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 65.97/66.01 c 15185 80 1527 66303 43 21270 1188 1517 1054 14.40 65.97/66.01 c 15285 80 764 32078 41 12002 1307 754 1054 14.50 65.97/66.01 c 15536 70 1176 53024 45 18121 1438 1166 1058 14.68 65.97/66.01 c 16011 70 1138 46850 41 16310 1582 1128 1061 15.08 65.97/66.01 c 16824 70 1602 69053 43 21856 1741 1592 1071 15.70 65.97/66.01 c 18144 70 947 35478 37 11432 1916 937 1075 16.87 65.97/66.01 c 20225 70 1183 47596 40 15157 2108 1173 1081 18.70 65.97/66.01 c 23449 70 1684 69264 41 19197 2319 1674 1086 21.58 65.97/66.01 c 28387 70 2095 90727 43 25212 2551 2085 1066 26.61 65.97/66.01 c 35894 70 2107 94547 44 26499 2807 2097 1040 34.51 65.97/66.01 c 47255 70 2532 120521 47 34458 3088 2522 988 47.82 65.97/66.01 o 6 270.40/270.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 270.40/270.52 c 60516 70 2563 119241 46 32878 1168 2553 917 65.99 270.40/270.52 c 60618 70 752 30204 40 10476 1285 742 916 66.17 270.40/270.52 c 60868 70 1144 49756 43 16947 1414 1134 916 66.38 270.40/270.52 c 61343 70 1093 42329 38 14013 1556 1083 918 66.82 270.40/270.52 c 62157 70 1580 67034 42 22253 1712 1570 920 67.53 270.40/270.52 c 63477 70 919 33417 36 10856 1884 909 921 68.86 270.40/270.52 c 65558 70 1177 44693 37 15387 2073 1167 924 70.88 270.40/270.52 c 68781 70 1764 76888 43 22329 2281 1754 931 73.80 270.40/270.52 c 73717 70 2142 95006 44 26128 2510 2132 934 78.85 270.40/270.52 c 81225 70 2078 95855 46 26362 2762 2068 938 86.51 270.40/270.52 c 92587 70 2448 113740 46 30879 3039 2438 934 99.08 270.40/270.52 c 109731 70 2515 118047 46 30639 3343 2505 916 119.72 270.40/270.52 c 135550 70 1944 86521 44 23709 3678 1934 876 154.63 270.40/270.52 c 174382 70 2849 126192 44 33880 4046 2839 842 206.88 270.40/270.52 o 4 1797.94/1798.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.94/1798.64 c 221767 70 3613 161729 44 40427 1168 3603 820 270.42 1797.94/1798.64 c 221867 70 745 28325 38 9202 1285 735 819 270.69 1797.94/1798.64 c 222117 70 1098 44352 40 14305 1414 1088 819 270.88 1797.94/1798.64 c 222592 60 975 32463 33 9302 1556 965 820 271.31 1797.94/1798.64 c 223406 60 1292 48453 37 14055 1712 1282 821 271.97 1797.94/1798.64 c 224726 60 1307 48493 37 13080 1884 1297 823 273.04 1797.94/1798.64 c 226809 60 1266 47233 37 13203 2073 1256 825 274.85 1797.94/1798.64 c 230033 60 1568 63677 40 16755 2281 1558 827 277.82 1797.94/1798.64 c 234971 60 1533 60903 39 15714 2510 1523 831 282.52 1797.94/1798.64 c 242479 60 1964 85720 43 21849 2762 1954 836 289.99 1797.94/1798.64 c 253842 60 2133 89815 42 24011 3039 2123 838 302.85 1797.94/1798.64 c 270987 60 2837 125463 44 31536 3343 2827 842 321.55 1797.94/1798.64 c 296806 60 3230 149135 46 35479 3678 3220 846 350.60 1797.94/1798.64 c 335638 60 2114 89399 42 23097 4046 2104 844 397.23 1797.94/1798.64 c 393990 60 2821 123020 43 34465 4451 2811 830 474.68 1797.94/1798.64 c 481622 60 2512 109844 43 28745 4897 2502 801 601.27 1797.94/1798.64 c 613174 60 3924 182124 46 44536 5387 3914 753 814.14 1797.94/1798.64 c 810606 60 5391 249169 46 58056 5926 5381 694 1167.66 1797.94/1798.64 c 1106860 60 4919 228714 46 52725 6519 4909 626 1766.09 1797.94/1798.64 c Resources Exceeded 1797.94/1798.64 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 -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 -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 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 x107 x108 x109 -x110 x111 -x112 -x113 x114 -x115 x116 x117 -x118 -x119 -x120 1797.94/1798.64 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1798.64 c 127 1120862 14430 1139838 5778 278158 5768 623 1798.00 1797.94/1798.64 c Objective: 4 1797.94/1798.64 s SATISFIABLE 1797.94/1798.64 c Total time: 1798 s
OK 4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880059-1245240260/watcher-1880059-1245240260 -o /tmp/evaluation-result-1880059-1245240260/solver-1880059-1245240260 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880059-1245240260.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.93 3/64 12141 /proc/meminfo: memFree=1842048/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=18516 CPUtime=0 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 261 0 0 0 0 0 0 0 18 0 1 0 191622732 18960384 243 1992294400 134512640 137136520 4294956256 18446744073709551615 134544419 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 4629 243 196 640 0 3985 0 [startup+0.028665 s] /proc/loadavg: 0.99 0.98 0.93 3/64 12141 /proc/meminfo: memFree=1842048/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=10836 CPUtime=0.02 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 309 0 0 0 2 0 0 0 18 0 1 0 191622732 11096064 291 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 2709 291 196 640 0 2065 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10836 [startup+0.101679 s] /proc/loadavg: 0.99 0.98 0.93 3/64 12141 /proc/meminfo: memFree=1842048/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=11096 CPUtime=0.09 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 389 0 0 0 9 0 0 0 18 0 1 0 191622732 11362304 371 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 2774 371 197 640 0 2130 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11096 [startup+0.301716 s] /proc/loadavg: 0.99 0.98 0.93 3/64 12141 /proc/meminfo: memFree=1842048/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=11620 CPUtime=0.29 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 516 0 0 0 29 0 0 0 19 0 1 0 191622732 11898880 498 1992294400 134512640 137136520 4294956256 18446744073709551615 134616626 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 2905 498 197 640 0 2261 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11620 [startup+0.701788 s] /proc/loadavg: 0.99 0.98 0.93 3/64 12141 /proc/meminfo: memFree=1842048/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=12668 CPUtime=0.69 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 754 0 0 0 69 0 0 0 22 0 1 0 191622732 12972032 736 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 3167 736 197 640 0 2523 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12668 [startup+1.50193 s] /proc/loadavg: 0.99 0.98 0.93 2/65 12142 /proc/meminfo: memFree=1839864/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=12668 CPUtime=1.49 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 754 0 0 0 149 0 0 0 25 0 1 0 191622732 12972032 736 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 3167 736 197 640 0 2523 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12668 [startup+3.10123 s] /proc/loadavg: 0.99 0.98 0.93 2/65 12142 /proc/meminfo: memFree=1839736/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=12668 CPUtime=3.09 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 755 0 0 0 309 0 0 0 25 0 1 0 191622732 12972032 737 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 3167 737 197 640 0 2523 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12668 [startup+6.30181 s] /proc/loadavg: 0.99 0.98 0.93 2/65 12142 /proc/meminfo: memFree=1839416/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=12804 CPUtime=6.29 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 802 0 0 0 628 1 0 0 25 0 1 0 191622732 13111296 784 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 3201 784 197 640 0 2557 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12804 [startup+12.702 s] /proc/loadavg: 0.99 0.98 0.93 2/65 12142 /proc/meminfo: memFree=1839224/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=12804 CPUtime=12.68 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 802 0 0 0 1267 1 0 0 25 0 1 0 191622732 13111296 784 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 3201 784 197 640 0 2557 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 12804 [startup+25.5013 s] /proc/loadavg: 0.99 0.98 0.93 2/65 12142 /proc/meminfo: memFree=1839160/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=12932 CPUtime=25.48 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 840 0 0 0 2545 3 0 0 25 0 1 0 191622732 13242368 822 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 3233 822 197 640 0 2589 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 12932 [startup+51.102 s] /proc/loadavg: 0.99 0.98 0.93 2/65 12142 /proc/meminfo: memFree=1838264/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=13844 CPUtime=51.07 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 1059 0 0 0 5102 5 0 0 25 0 1 0 191622732 14176256 1041 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 3461 1041 197 640 0 2817 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 13844 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.93 2/65 12142 /proc/meminfo: memFree=1838200/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=13960 CPUtime=102.26 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 1085 0 0 0 10216 10 0 0 25 0 1 0 191622732 14295040 1067 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 3490 1067 197 640 0 2846 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 13960 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 12142 /proc/meminfo: memFree=1837496/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=14608 CPUtime=162.23 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 1259 0 0 0 16208 15 0 0 25 0 1 0 191622732 14958592 1241 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 3652 1241 197 640 0 3008 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 14608 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 12142 /proc/meminfo: memFree=1837368/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=14744 CPUtime=222.21 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 1283 0 0 0 22200 21 0 0 25 0 1 0 191622732 15097856 1265 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 3686 1265 197 640 0 3042 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 14744 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 12142 /proc/meminfo: memFree=1837048/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=14992 CPUtime=282.19 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 1342 0 0 0 28193 26 0 0 25 0 1 0 191622732 15351808 1324 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 3748 1324 197 640 0 3104 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 14992 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.93 2/65 12142 /proc/meminfo: memFree=1837048/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=14992 CPUtime=342.17 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 1342 0 0 0 34183 34 0 0 25 0 1 0 191622732 15351808 1324 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 3748 1324 197 640 0 3104 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 14992 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 12142 /proc/meminfo: memFree=1836984/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=14992 CPUtime=402.14 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 1342 0 0 0 40176 38 0 0 25 0 1 0 191622732 15351808 1324 1992294400 134512640 137136520 4294956256 18446744073709551615 136295556 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 3748 1324 197 640 0 3104 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 14992 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 12142 /proc/meminfo: memFree=1836920/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=14948 CPUtime=462.12 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 1342 0 0 0 46168 44 0 0 25 0 1 0 191622732 15306752 1324 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 3737 1324 197 640 0 3093 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 14948 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 12142 /proc/meminfo: memFree=1836600/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=15320 CPUtime=522.11 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 1422 0 0 0 52161 50 0 0 25 0 1 0 191622732 15687680 1404 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 3830 1404 197 640 0 3186 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 15320 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 12142 /proc/meminfo: memFree=1836408/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=15432 CPUtime=582.08 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 1450 0 0 0 58154 54 0 0 25 0 1 0 191622732 15802368 1432 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 3858 1432 197 640 0 3214 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 15432 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.93 2/65 12142 /proc/meminfo: memFree=1835832/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=15940 CPUtime=642.07 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 1583 0 0 0 64147 60 0 0 25 0 1 0 191622732 16322560 1565 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 3985 1565 197 640 0 3341 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 15940 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1835064/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=16564 CPUtime=1121.89 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 1754 0 0 0 112091 98 0 0 25 0 1 0 191622732 16961536 1736 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 4141 1736 197 640 0 3497 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 16564 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 12142 /proc/meminfo: memFree=1834360/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=17220 CPUtime=1181.86 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 1920 0 0 0 118085 101 0 0 25 0 1 0 191622732 17633280 1902 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 4305 1902 197 640 0 3661 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 17220 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 12142 /proc/meminfo: memFree=1834296/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=17348 CPUtime=1241.84 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 1939 0 0 0 124079 105 0 0 25 0 1 0 191622732 17764352 1921 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 4337 1921 197 640 0 3693 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 17348 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 12142 /proc/meminfo: memFree=1834232/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=17348 CPUtime=1301.83 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 1942 0 0 0 130073 110 0 0 25 0 1 0 191622732 17764352 1924 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 4337 1924 197 640 0 3693 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 17348 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 12142 /proc/meminfo: memFree=1834168/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=17476 CPUtime=1361.8 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 1967 0 0 0 136065 115 0 0 25 0 1 0 191622732 17895424 1949 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 4369 1949 197 640 0 3725 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 17476 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.93 2/65 12142 /proc/meminfo: memFree=1834104/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=17476 CPUtime=1421.78 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 1976 0 0 0 142059 119 0 0 25 0 1 0 191622732 17895424 1958 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 4369 1958 197 640 0 3725 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 17476 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 12142 /proc/meminfo: memFree=1834104/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=17476 CPUtime=1481.76 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 1976 0 0 0 148053 123 0 0 25 0 1 0 191622732 17895424 1958 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 4369 1958 197 640 0 3725 0 Current children cumulated CPU time (s) 1481.76 Current children cumulated vsize (KiB) 17476 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 12142 /proc/meminfo: memFree=1834040/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=17476 CPUtime=1541.74 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 1976 0 0 0 154047 127 0 0 25 0 1 0 191622732 17895424 1958 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 4369 1958 197 640 0 3725 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 17476 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.93 2/65 12142 /proc/meminfo: memFree=1834040/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=17476 CPUtime=1601.71 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 1976 0 0 0 160040 131 0 0 25 0 1 0 191622732 17895424 1958 1992294400 134512640 137136520 4294956256 18446744073709551615 134544475 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 4369 1958 197 640 0 3725 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 17476 [startup+1662.3 s] /proc/loadavg: 1.04 1.00 0.93 2/65 12142 /proc/meminfo: memFree=1834040/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=17476 CPUtime=1661.69 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 1976 0 0 0 166034 135 0 0 25 0 1 0 191622732 17895424 1958 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 4369 1958 197 640 0 3725 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 17476 [startup+1722.3 s] /proc/loadavg: 1.09 1.02 0.94 2/65 12142 /proc/meminfo: memFree=1833976/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=17476 CPUtime=1721.67 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 1985 0 0 0 172028 139 0 0 25 0 1 0 191622732 17895424 1967 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 4369 1967 197 640 0 3725 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 17476 [startup+1782.3 s] /proc/loadavg: 1.11 1.03 0.94 2/65 12142 /proc/meminfo: memFree=1833336/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=18136 CPUtime=1781.65 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 2138 0 0 0 178022 143 0 0 25 0 1 0 191622732 18571264 2120 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 4534 2120 197 640 0 3890 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (KiB) 18136 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.09 1.03 0.94 2/65 12142 /proc/meminfo: memFree=1833208/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=18264 CPUtime=1791.25 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 2166 0 0 0 178981 144 0 0 25 0 1 0 191622732 18702336 2148 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 4566 2148 197 640 0 3922 0 Current children cumulated CPU time (s) 1791.25 Current children cumulated vsize (KiB) 18264 [startup+1795.1 s] /proc/loadavg: 1.08 1.03 0.94 2/65 12142 /proc/meminfo: memFree=1833208/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=18264 CPUtime=1794.45 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 2166 0 0 0 179301 144 0 0 25 0 1 0 191622732 18702336 2148 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 4566 2148 197 640 0 3922 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (KiB) 18264 [startup+1796.7 s] /proc/loadavg: 1.08 1.03 0.94 2/65 12142 /proc/meminfo: memFree=1833208/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=18264 CPUtime=1796.05 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 2166 0 0 0 179461 144 0 0 25 0 1 0 191622732 18702336 2148 1992294400 134512640 137136520 4294956256 18446744073709551615 136518985 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 4566 2148 197 640 0 3922 0 Current children cumulated CPU time (s) 1796.05 Current children cumulated vsize (KiB) 18264 [startup+1797.5 s] /proc/loadavg: 1.08 1.03 0.94 2/65 12142 /proc/meminfo: memFree=1833208/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=18264 CPUtime=1796.84 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 2166 0 0 0 179540 144 0 0 25 0 1 0 191622732 18702336 2148 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 4566 2148 197 640 0 3922 0 Current children cumulated CPU time (s) 1796.84 Current children cumulated vsize (KiB) 18264 [startup+1798.3 s] /proc/loadavg: 1.08 1.03 0.94 2/65 12142 /proc/meminfo: memFree=1833208/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=18264 CPUtime=1797.64 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 2166 0 0 0 179620 144 0 0 25 0 1 0 191622732 18702336 2148 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 4566 2148 197 640 0 3922 0 Current children cumulated CPU time (s) 1797.64 Current children cumulated vsize (KiB) 18264 [startup+1798.51 s] /proc/loadavg: 1.08 1.03 0.94 2/65 12142 /proc/meminfo: memFree=1833208/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=18264 CPUtime=1797.85 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 2166 0 0 0 179641 144 0 0 25 0 1 0 191622732 18702336 2148 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 4566 2148 197 640 0 3922 0 Current children cumulated CPU time (s) 1797.85 Current children cumulated vsize (KiB) 18264 [startup+1798.6 s] /proc/loadavg: 1.08 1.03 0.94 2/65 12142 /proc/meminfo: memFree=1833208/2055920 swapFree=4181856/4192956 [pid=12141] ppid=12139 vsize=18264 CPUtime=1797.94 /proc/12141/stat : 12141 (bsolo) R 12139 12141 11968 0 -1 4194304 2166 0 0 0 179650 144 0 0 25 0 1 0 191622732 18702336 2148 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12141/statm: 4566 2148 197 640 0 3922 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (KiB) 18264 Child status: 0 Real time (s): 1798.65 CPU time (s): 1798 CPU user time (s): 1796.55 CPU system time (s): 1.44878 CPU usage (%): 99.964 Max. virtual memory (cumulated for all children) (KiB): 18264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.55 system time used= 1.44878 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2168 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= 2 involuntary context switches= 1503 runsolver used 1.3348 second user time and 3.64945 second system time The end
Begin job on node44 at 2009-06-17 14:04:20 IDJOB=1880059 IDBENCH=2899 IDSOLVER=701 FILE ID=node44/1880059-1245240260 PBS_JOBID= 9372295 Free space on /tmp= 65924 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_3.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880059-1245240260/watcher-1880059-1245240260 -o /tmp/evaluation-result-1880059-1245240260/solver-1880059-1245240260 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880059-1245240260.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 455599f2e36aed56b051b7169c43fa6c RANDOM SEED=1462934453 node44.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.263 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.263 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: 1842464 kB Buffers: 21628 kB Cached: 106480 kB SwapCached: 5172 kB Active: 21000 kB Inactive: 115304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1842464 kB SwapTotal: 4192956 kB SwapFree: 4181856 kB Dirty: 3940 kB Writeback: 0 kB Mapped: 14012 kB Slab: 63080 kB Committed_AS: 200888 kB PageTables: 1384 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1880059-1245240260.opb Free space on /tmp at the end= 65920 MiB End job on node44 at 2009-06-17 14:34:19