Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 72 | 1798 | 1798.5 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_3.opb |
MD5SUM | 474916db0f2f0be5831d97827cee8e55 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 1791.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 16 |
Optimality of the best value was proved | NO |
Number of variables | 172 |
Total number of constraints | 14 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 14 |
Minimum length of a constraint | 75 |
Maximum length of a constraint | 76 |
Number of terms in the objective function | 112 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 3570 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1901 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6214 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656646-1276618386.opb 0.00/0.00 c File size is 10386 bytes. 0.00/0.00 c Highest Coefficient sum: 6214 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 172 Constr: 14 0/0/14 Lit: 1060 Watch. Lit: 314 0.00/0.00 c Obj. Vars: 112 (65.1163 % of total variables) 0.00/0.00 c Pre-processing Time: 0.003 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 172 14 1060 75 316 2120 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.00 o 907 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 172 15 1172 78 730 2344 1 0 0.00 0.00/0.01 o 867 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 45 172 78 5472 70 1001 2344 64 2647 0.02 0.00/0.01 o 654 0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.07 c 47 172 83 5848 70 1104 2344 69 2611 0.02 0.00/0.07 c 147 172 215 16205 75 1575 2579 201 2826 0.05 0.00/0.07 o 620 0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.07 c 203 172 279 20037 71 1832 2344 265 2900 0.07 0.00/0.07 o 616 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 206 172 286 20548 71 2002 2344 272 2861 0.07 0.09/0.10 c 306 172 412 29748 72 2322 2579 398 3029 0.10 0.09/0.10 o 575 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 314 172 424 30550 72 2433 2344 410 2990 0.10 0.09/0.12 o 528 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 386 172 502 33958 67 2701 2344 488 3138 0.12 0.09/0.14 o 518 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 446 172 568 36921 65 2934 2344 554 3185 0.14 0.09/0.14 o 385 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 456 172 579 37427 64 2974 2344 565 3166 0.14 0.09/0.16 o 379 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 509 172 641 41212 64 3187 2344 627 3122 0.16 0.09/0.17 o 365 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 536 172 670 42398 63 3376 2344 656 3134 0.17 0.19/0.22 c 636 172 794 50594 63 3803 2579 780 3087 0.21 0.19/0.22 o 364 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 682 172 851 54755 64 3973 2344 837 3044 0.22 0.19/0.23 o 361 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 700 172 874 55954 64 4222 2344 860 3043 0.23 0.29/0.37 c 800 172 995 61715 62 4480 2579 981 3041 0.26 0.29/0.37 c 1050 172 1280 76363 59 5269 2837 1266 3017 0.35 0.29/0.37 o 359 0.49/0.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.53 c 1116 172 1352 79527 58 5471 2344 1338 3000 0.37 0.49/0.53 c 1217 172 1463 84138 57 5709 2579 1449 3012 0.40 0.49/0.53 c 1467 172 1762 98700 56 6367 2837 1748 2882 0.51 0.49/0.53 o 346 0.49/0.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.59 c 1530 172 1836 102037 55 6598 2344 1822 2843 0.54 0.49/0.59 c 1632 172 1957 107654 55 6898 2579 1943 2794 0.58 0.49/0.59 o 343 0.79/0.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.80 c 1662 172 1994 109759 55 7006 2344 1980 2783 0.60 0.79/0.80 c 1762 172 2107 114644 54 7324 2579 2093 2748 0.64 0.79/0.80 c 2012 172 2406 134623 55 8374 2837 2392 2675 0.75 0.79/0.80 o 342 0.79/0.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.87 c 2118 172 2539 142750 56 8981 2344 2525 2644 0.80 0.79/0.87 c 2218 172 1301 69495 53 4112 2579 1287 2631 0.84 0.79/0.87 o 336 0.79/0.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.88 c 2315 172 1411 74354 52 4458 2659 1397 2657 0.87 0.79/0.88 o 334 0.79/0.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.89 c 2359 172 1460 76481 52 4677 2659 1446 2668 0.88 0.79/0.89 o 332 0.89/0.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.93 c 2379 172 1482 77565 52 4833 2659 1468 2673 0.89 0.89/0.93 c 2480 172 1597 83979 52 5122 2925 1583 2675 0.93 0.89/0.93 o 284 0.89/0.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.95 c 2493 172 1615 85004 52 5304 2659 1601 2677 0.93 0.89/0.95 o 282 0.99/1.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.02 c 2553 172 1683 88703 52 5593 2659 1669 2684 0.95 0.99/1.02 c 2654 172 1789 94090 52 5785 2925 1775 2688 0.99 0.99/1.02 o 280 0.99/1.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.08 c 2767 172 1911 100372 52 6098 2659 1897 2696 1.03 0.99/1.08 c 2868 172 2032 107049 52 6456 2925 2018 2705 1.06 0.99/1.08 o 276 0.99/1.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.09 c 2935 172 2104 110012 52 6706 2659 2090 2712 1.08 0.99/1.09 o 268 1.09/1.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.11 c 2959 172 2133 111474 52 6903 2659 2119 2712 1.09 1.09/1.11 o 264 1.09/1.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.14 c 3039 172 2217 115332 52 7150 2659 2203 2718 1.12 1.09/1.14 o 262 1.29/1.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.35 c 3099 172 2284 118268 51 7417 2659 2270 2716 1.14 1.29/1.35 c 3199 172 2410 123692 51 7701 2925 2396 2706 1.18 1.29/1.35 c 3449 172 2698 139285 51 8288 3218 2684 2681 1.29 1.29/1.35 o 259 1.29/1.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.39 c 3599 172 2900 152092 52 8898 2659 2886 2654 1.36 1.29/1.39 o 234 1.39/1.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.41 c 3690 172 1442 74518 51 3918 2684 1428 2656 1.39 1.39/1.41 o 230 1.49/1.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.51 c 3761 172 1527 80392 52 4273 2684 1513 2661 1.41 1.49/1.51 c 3861 172 1631 84432 51 4469 2953 1617 2673 1.44 1.49/1.51 o 187 1.49/1.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.53 c 4037 172 1827 94512 51 4987 2684 1813 2675 1.51 1.49/1.53 o 185 1.69/1.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.71 c 4090 172 1890 98578 52 5267 2684 1876 2674 1.53 1.69/1.71 c 4190 172 1998 103620 51 5506 2953 1984 2663 1.57 1.69/1.71 c 4441 172 2273 113923 50 6071 3249 2259 2689 1.65 1.69/1.71 o 177 1.69/1.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.77 c 4594 172 2453 122478 49 6540 2684 2439 2675 1.72 1.69/1.77 c 4694 172 2572 127918 49 6790 2953 2558 2667 1.76 1.69/1.77 o 175 1.89/1.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.92 c 4739 172 2627 131344 49 7044 2684 2613 2665 1.78 1.89/1.92 c 4842 172 1357 64321 47 3483 2953 1343 2679 1.81 1.89/1.92 c 5092 172 1667 82977 49 4456 3249 1653 2687 1.90 1.89/1.92 o 173 1.89/1.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.98 c 5209 172 1799 89176 49 4877 2344 1785 2701 1.93 1.89/1.98 c 5309 172 1902 92745 48 5094 2579 1888 2711 1.96 1.89/1.98 o 172 2.09/2.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.13 c 5380 172 1987 97940 49 5392 2344 1973 2707 1.99 2.09/2.13 c 5480 172 2087 101155 48 5591 2579 2073 2725 2.01 2.09/2.13 c 5730 172 2385 116117 48 6327 2837 2371 2711 2.11 2.09/2.13 o 167 2.09/2.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.14 c 5790 172 2454 119089 48 6567 2344 2440 2713 2.13 2.09/2.14 o 163 2.09/2.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.16 c 5794 172 1192 58699 49 3363 2344 1178 2706 2.14 2.09/2.16 o 159 3.30/3.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.30/3.33 c 5871 172 1274 62323 48 3682 2344 1260 2714 2.16 3.30/3.33 c 5971 172 1383 69004 49 3985 2579 1369 2720 2.19 3.30/3.33 c 6221 172 1643 78365 47 4493 2837 1629 2752 2.26 3.30/3.33 c 6696 172 2191 102716 46 5611 3121 2177 2738 2.44 3.30/3.33 c 7510 172 1576 71447 45 3931 3434 1562 2690 2.79 3.30/3.33 c 8830 172 3020 126718 41 6841 3778 3006 2719 3.25 3.30/3.33 o 148 3.30/3.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.30/3.36 c 9027 172 3240 135458 41 7404 2344 3226 2708 3.33 3.30/3.36 o 132 3.30/3.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.30/3.36 c 9063 172 1230 46571 37 3299 2344 1216 2692 3.37 3.30/3.36 o 130 3.30/3.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.30/3.37 c 9064 172 1232 46769 37 3413 2344 1218 2692 3.37 3.30/3.37 o 128 3.69/3.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.73 c 9091 172 1265 49355 39 3675 2344 1251 2692 3.38 3.69/3.73 c 9191 169 1369 53451 39 3892 2579 1355 2693 3.41 3.69/3.73 c 9444 164 1635 63282 38 4422 2837 1621 2694 3.50 3.69/3.73 c 9919 164 2136 83594 39 5443 3121 2122 2697 3.68 3.69/3.73 o 91 3.69/3.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.75 c 10057 163 2287 90296 39 5913 2326 2273 2693 3.73 3.69/3.75 o 89 3.69/3.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.75 c 10101 163 2333 92013 39 6122 2326 2319 2693 3.75 3.69/3.75 o 83 3.69/3.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.79 c 10120 163 1186 47913 40 3174 2326 1172 2689 3.76 3.69/3.79 o 81 10.19/10.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.19/10.28 c 10206 162 1281 53553 41 3493 2324 1267 2691 3.79 10.19/10.28 c 10306 162 1383 57142 41 3694 2557 1369 2697 3.82 10.19/10.28 c 10556 161 1638 65966 40 4213 2813 1624 2717 3.88 10.19/10.28 c 11031 160 2130 84858 39 5259 3095 2116 2739 4.03 10.19/10.28 c 11845 160 2966 115592 38 6933 3405 2952 2744 4.32 10.19/10.28 c 13166 160 2570 96279 37 5844 3746 2556 2751 4.79 10.19/10.28 c 15247 158 2781 96371 34 6260 4121 2767 2777 5.49 10.19/10.28 c 18471 158 4053 166468 41 9183 4534 4039 2717 6.80 10.19/10.28 c 23408 158 2296 81622 35 5360 4988 2282 2692 8.70 10.19/10.28 o 80 10.29/10.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.29/10.34 c 27764 158 4234 163031 38 9722 2316 4220 2700 10.28 10.29/10.34 o 78 42.18/42.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 42.18/42.21 c 27848 158 1279 51710 40 3453 2316 1265 2693 10.34 42.18/42.21 c 27949 158 1380 54809 39 3650 2548 1366 2695 10.37 42.18/42.21 c 28199 158 1634 63446 38 4164 2803 1620 2702 10.44 42.18/42.21 c 28675 158 2127 80714 37 5160 3084 2113 2712 10.57 42.18/42.21 c 29488 158 2955 109755 37 6811 3393 2941 2724 10.82 42.18/42.21 c 30809 158 2583 92012 35 5871 3733 2569 2734 11.27 42.18/42.21 c 32890 158 2806 104473 37 6304 4107 2792 2733 12.03 42.18/42.21 c 36113 158 4044 163401 40 8799 4518 4030 2722 13.26 42.18/42.21 c 41049 158 4509 172985 38 9713 4970 4495 2692 15.25 42.18/42.21 c 48557 158 4599 185404 40 9903 5468 4585 2646 18.35 42.18/42.21 c 59918 158 5238 208579 39 11203 6015 5224 2594 23.09 42.18/42.21 c 77062 158 4535 175016 38 9881 6617 4521 2543 30.29 42.18/42.21 c 102882 158 4247 151486 35 9261 7279 4233 2509 41.00 42.18/42.21 o 76 42.38/42.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 42.38/42.41 c 105711 158 7168 262979 36 15224 2316 7154 2505 42.19 42.38/42.41 c 105811 158 1290 45832 35 3279 2548 1276 2496 42.38 42.38/42.41 o 74 42.38/42.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 42.38/42.44 c 105860 158 1345 48733 36 3513 2640 1331 2497 42.39 42.38/42.44 o 72 1797.90/1798.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.90/1798.49 c 105942 158 1439 54737 38 3825 2640 1425 2497 42.42 1797.90/1798.49 c 106042 158 1539 58239 37 4019 2905 1525 2498 42.45 1797.90/1798.49 c 106292 158 1792 67439 37 4532 3196 1778 2499 42.52 1797.90/1798.49 c 106767 158 2272 84827 37 5483 3516 2258 2502 42.66 1797.90/1798.49 c 107580 158 3096 114445 36 7139 3868 3082 2506 42.92 1797.90/1798.49 c 108900 158 2456 92990 37 5588 4255 2442 2511 43.36 1797.90/1798.49 c 110981 158 2388 94217 39 5470 4681 2374 2517 44.08 1797.90/1798.49 c 114204 158 3280 126682 38 7244 5150 3266 2524 45.25 1797.90/1798.49 c 119140 158 3038 121633 40 6767 5666 3024 2526 47.15 1797.90/1798.49 c 126646 158 4889 196375 40 10466 6233 4875 2532 50.00 1797.90/1798.49 c 138007 158 3832 149919 39 8351 6857 3818 2527 54.60 1797.90/1798.49 c 155151 158 3960 144768 36 8609 7543 3946 2518 61.62 1797.90/1798.49 c 180970 158 7287 282408 38 15266 8298 7273 2487 72.76 1797.90/1798.49 c 219802 158 4704 194765 41 10119 9128 4690 2424 90.64 1797.90/1798.49 c 278154 158 8660 367549 42 18030 10041 8646 2349 118.40 1797.90/1798.49 c 365786 158 6786 296497 43 14301 11046 6772 2230 164.00 1797.90/1798.49 c 497338 158 6563 269728 41 13807 12151 6549 2062 241.14 1797.90/1798.49 c 694770 158 11071 465592 42 22837 13367 11057 1965 353.50 1797.90/1798.49 c 991022 158 7522 297079 39 15740 14704 7508 1861 532.51 1797.90/1798.49 c 1435505 158 12662 484371 38 26000 16175 12648 1755 817.52 1797.90/1798.49 c 2102332 158 11070 420435 37 22855 17793 11056 1641 1280.78 1797.90/1798.49 c Resources Exceeded 1797.90/1798.49 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 -x121 -x122 x123 x124 -x125 -x126 x127 -x128 x129 -x130 x131 -x132 x133 x134 -x135 x136 -x137 x138 x139 -x140 -x141 -x142 x143 x144 -x145 -x146 -x147 x148 x149 -x150 x151 x152 x153 x154 x155 x156 x157 x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 x166 x167 -x168 x169 x170 -x171 -x172 1797.90/1798.49 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.90/1798.49 c 126 2805335 79112 2902104 14222 528155 14208 1560 1798.00 1797.90/1798.49 c Objective: 72 1797.90/1798.49 s SATISFIABLE 1797.90/1798.49 c Total time: 1798 s
OK 72
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656646-1276618386/watcher-2656646-1276618386 -o /tmp/evaluation-result-2656646-1276618386/solver-2656646-1276618386 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656646-1276618386.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: 1.00 1.00 1.00 3/106 7930 /proc/meminfo: memFree=1751388/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=18604 CPUtime=0 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 333 0 0 0 0 0 0 0 20 0 1 0 37442590 19050496 248 1992294400 134512640 137138936 4292493616 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 4651 248 192 642 0 4007 0 [startup+0.079249 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7930 /proc/meminfo: memFree=1751388/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=11040 CPUtime=0.07 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 408 0 0 0 7 0 0 0 20 0 1 0 37442590 11304960 323 1992294400 134512640 137138936 4292493616 18446744073709551615 134542817 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 2760 323 192 642 0 2116 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 11040 [startup+0.100252 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7930 /proc/meminfo: memFree=1751388/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=11168 CPUtime=0.09 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 434 0 0 0 9 0 0 0 20 0 1 0 37442590 11436032 349 1992294400 134512640 137138936 4292493616 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 2792 349 192 642 0 2148 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11168 [startup+0.300276 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7930 /proc/meminfo: memFree=1751388/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=11792 CPUtime=0.29 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 586 0 0 0 29 0 0 0 20 0 1 0 37442590 12075008 501 1992294400 134512640 137138936 4292493616 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 2948 501 192 642 0 2304 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11792 [startup+0.700322 s] /proc/loadavg: 1.00 1.00 1.00 3/106 7930 /proc/meminfo: memFree=1751388/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=12668 CPUtime=0.69 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 804 0 0 0 69 0 0 0 21 0 1 0 37442590 12972032 719 1992294400 134512640 137138936 4292493616 18446744073709551615 134543670 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 3167 719 192 642 0 2523 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12668 [startup+1.50042 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7931 /proc/meminfo: memFree=1748900/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=13040 CPUtime=1.49 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 911 0 0 0 148 1 0 0 23 0 1 0 37442590 13352960 826 1992294400 134512640 137138936 4292493616 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 3260 826 192 642 0 2616 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13040 [startup+3.1006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7933 /proc/meminfo: memFree=1748528/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=13044 CPUtime=3.09 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 912 0 0 0 307 2 0 0 25 0 1 0 37442590 13357056 827 1992294400 134512640 137138936 4292493616 18446744073709551615 136511195 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 3261 827 192 642 0 2617 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13044 [startup+6.30098 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7933 /proc/meminfo: memFree=1748404/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=13172 CPUtime=6.29 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 950 0 0 0 625 4 0 0 25 0 1 0 37442590 13488128 865 1992294400 134512640 137138936 4292493616 18446744073709551615 136502659 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 3293 865 192 642 0 2649 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13172 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7933 /proc/meminfo: memFree=1747660/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=13672 CPUtime=12.68 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 1078 0 0 0 1263 5 0 0 25 0 1 0 37442590 14000128 993 1992294400 134512640 137138936 4292493616 18446744073709551615 136504611 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 3418 993 192 642 0 2774 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 13672 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7933 /proc/meminfo: memFree=1746792/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=14652 CPUtime=25.49 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 1297 0 0 0 2539 10 0 0 25 0 1 0 37442590 15003648 1212 1992294400 134512640 137138936 4292493616 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 3663 1212 192 642 0 3019 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 14652 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7936 /proc/meminfo: memFree=1745924/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=14908 CPUtime=51.07 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 1383 0 0 0 5088 19 0 0 25 0 1 0 37442590 15265792 1298 1992294400 134512640 137138936 4292493616 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 3727 1298 192 642 0 3083 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 14908 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7938 /proc/meminfo: memFree=1744188/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=16620 CPUtime=102.26 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 1814 0 0 0 10189 37 0 0 25 0 1 0 37442590 17018880 1729 1992294400 134512640 137138936 4292493616 18446744073709551615 134609273 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 4155 1729 192 642 0 3511 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 16620 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7940 /proc/meminfo: memFree=1743072/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=17728 CPUtime=162.24 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 2076 0 0 0 16167 57 0 0 25 0 1 0 37442590 18153472 1991 1992294400 134512640 137138936 4292493616 18446744073709551615 134603161 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 4432 1991 192 642 0 3788 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 17728 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7940 /proc/meminfo: memFree=1742576/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=18236 CPUtime=222.23 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 2200 0 0 0 22152 71 0 0 25 0 1 0 37442590 18673664 2115 1992294400 134512640 137138936 4292493616 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 4559 2115 192 642 0 3915 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 18236 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7942 /proc/meminfo: memFree=1742080/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=18612 CPUtime=282.21 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 2302 0 0 0 28133 88 0 0 25 0 1 0 37442590 19058688 2217 1992294400 134512640 137138936 4292493616 18446744073709551615 136504091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 4653 2217 192 642 0 4009 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 18612 [startup+342.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7944 /proc/meminfo: memFree=1741832/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=18808 CPUtime=342.19 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 2345 0 0 0 34116 103 0 0 25 0 1 0 37442590 19259392 2260 1992294400 134512640 137138936 4292493616 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 4702 2260 192 642 0 4058 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 18808 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7946 /proc/meminfo: memFree=1741212/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=19428 CPUtime=402.18 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 2503 0 0 0 40100 118 0 0 25 0 1 0 37442590 19894272 2418 1992294400 134512640 137138936 4292493616 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 4857 2418 192 642 0 4213 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 19428 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7948 /proc/meminfo: memFree=1740840/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=19648 CPUtime=462.15 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 2557 0 0 0 46080 135 0 0 25 0 1 0 37442590 20119552 2472 1992294400 134512640 137138936 4292493616 18446744073709551615 134600168 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 4912 2472 192 642 0 4268 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 19648 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7948 /proc/meminfo: memFree=1740840/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=19648 CPUtime=522.14 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 2557 0 0 0 52063 151 0 0 25 0 1 0 37442590 20119552 2472 1992294400 134512640 137138936 4292493616 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 4912 2472 192 642 0 4268 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 19648 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7950 /proc/meminfo: memFree=1740220/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=20272 CPUtime=582.12 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 2728 0 0 0 58046 166 0 0 25 0 1 0 37442590 20758528 2643 1992294400 134512640 137138936 4292493616 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 5068 2643 192 642 0 4424 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 20272 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7952 /proc/meminfo: memFree=1740220/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=20272 CPUtime=642.12 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 2728 0 0 0 64031 181 0 0 25 0 1 0 37442590 20758528 2643 1992294400 134512640 137138936 4292493616 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 5068 2643 192 642 0 4424 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 20272 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1738980/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=21176 CPUtime=1121.98 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 2964 0 0 0 111898 300 0 0 25 0 1 0 37442590 21684224 2856 1992294400 134512640 137138936 4292493616 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 5294 2856 192 642 0 4650 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 21176 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7966 /proc/meminfo: memFree=1738732/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=21304 CPUtime=1181.96 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 3008 0 0 0 117881 315 0 0 25 0 1 0 37442590 21815296 2900 1992294400 134512640 137138936 4292493616 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 5326 2900 192 642 0 4682 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 21304 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7968 /proc/meminfo: memFree=1738732/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=21304 CPUtime=1241.94 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 3008 0 0 0 123864 330 0 0 25 0 1 0 37442590 21815296 2900 1992294400 134512640 137138936 4292493616 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 5326 2900 192 642 0 4682 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 21304 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7970 /proc/meminfo: memFree=1738608/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=21312 CPUtime=1301.94 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 3010 0 0 0 129847 347 0 0 25 0 1 0 37442590 21823488 2902 1992294400 134512640 137138936 4292493616 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 5328 2902 192 642 0 4684 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 21312 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7972 /proc/meminfo: memFree=1738484/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=21436 CPUtime=1361.91 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 3042 0 0 0 135830 361 0 0 25 0 1 0 37442590 21950464 2934 1992294400 134512640 137138936 4292493616 18446744073709551615 134542843 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 5359 2934 192 642 0 4715 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 21436 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7972 /proc/meminfo: memFree=1737864/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=22008 CPUtime=1421.91 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 3173 0 0 0 141815 376 0 0 25 0 1 0 37442590 22536192 3065 1992294400 134512640 137138936 4292493616 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 5502 3065 192 642 0 4858 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 22008 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7974 /proc/meminfo: memFree=1737864/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=22004 CPUtime=1481.88 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 3173 0 0 0 147799 389 0 0 25 0 1 0 37442590 22532096 3065 1992294400 134512640 137138936 4292493616 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 5501 3065 192 642 0 4857 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 22004 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7976 /proc/meminfo: memFree=1737988/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=22000 CPUtime=1541.87 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 3173 0 0 0 153781 406 0 0 25 0 1 0 37442590 22528000 3065 1992294400 134512640 137138936 4292493616 18446744073709551615 134542544 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 5500 3065 192 642 0 4856 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 22000 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7978 /proc/meminfo: memFree=1737988/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=22000 CPUtime=1601.85 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 3173 0 0 0 159767 418 0 0 25 0 1 0 37442590 22528000 3065 1992294400 134512640 137138936 4292493616 18446744073709551615 136297617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 5500 3065 192 642 0 4856 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 22000 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7980 /proc/meminfo: memFree=1737864/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=22084 CPUtime=1661.83 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 3192 0 0 0 165749 434 0 0 25 0 1 0 37442590 22614016 3084 1992294400 134512640 137138936 4292493616 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 5521 3084 192 642 0 4877 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 22084 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7980 /proc/meminfo: memFree=1737864/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=22080 CPUtime=1721.81 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 3192 0 0 0 171732 449 0 0 25 0 1 0 37442590 22609920 3084 1992294400 134512640 137138936 4292493616 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 5520 3084 192 642 0 4876 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 22080 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7982 /proc/meminfo: memFree=1737740/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=22060 CPUtime=1781.8 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 3192 0 0 0 177717 463 0 0 25 0 1 0 37442590 22589440 3084 1992294400 134512640 137138936 4292493616 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 5515 3084 192 642 0 4871 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 22060 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7982 /proc/meminfo: memFree=1737740/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=22060 CPUtime=1791.4 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 3192 0 0 0 178676 464 0 0 25 0 1 0 37442590 22589440 3084 1992294400 134512640 137138936 4292493616 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 5515 3084 192 642 0 4871 0 Current children cumulated CPU time (s) 1791.4 Current children cumulated vsize (KiB) 22060 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7982 /proc/meminfo: memFree=1737740/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=22060 CPUtime=1794.6 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 3192 0 0 0 178995 465 0 0 25 0 1 0 37442590 22589440 3084 1992294400 134512640 137138936 4292493616 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 5515 3084 192 642 0 4871 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (KiB) 22060 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7982 /proc/meminfo: memFree=1737740/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=22060 CPUtime=1796.19 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 3192 0 0 0 179154 465 0 0 25 0 1 0 37442590 22589440 3084 1992294400 134512640 137138936 4292493616 18446744073709551615 134542252 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 5515 3084 192 642 0 4871 0 Current children cumulated CPU time (s) 1796.19 Current children cumulated vsize (KiB) 22060 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7982 /proc/meminfo: memFree=1737740/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=22060 CPUtime=1796.99 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 3192 0 0 0 179234 465 0 0 25 0 1 0 37442590 22589440 3084 1992294400 134512640 137138936 4292493616 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 5515 3084 192 642 0 4871 0 Current children cumulated CPU time (s) 1796.99 Current children cumulated vsize (KiB) 22060 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7982 /proc/meminfo: memFree=1737740/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=22060 CPUtime=1797.39 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 3192 0 0 0 179274 465 0 0 25 0 1 0 37442590 22589440 3084 1992294400 134512640 137138936 4292493616 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 5515 3084 192 642 0 4871 0 Current children cumulated CPU time (s) 1797.39 Current children cumulated vsize (KiB) 22060 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7982 /proc/meminfo: memFree=1737740/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=22060 CPUtime=1797.79 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 3192 0 0 0 179314 465 0 0 25 0 1 0 37442590 22589440 3084 1992294400 134512640 137138936 4292493616 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 5515 3084 192 642 0 4871 0 Current children cumulated CPU time (s) 1797.79 Current children cumulated vsize (KiB) 22060 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 7982 /proc/meminfo: memFree=1737740/2059040 swapFree=4136496/4192956 [pid=7930] ppid=7928 vsize=22060 CPUtime=1797.9 /proc/7930/stat : 7930 (bsolo_pb10) R 7928 7930 7226 0 -1 4202496 3192 0 0 0 179325 465 0 0 25 0 1 0 37442590 22589440 3084 1992294400 134512640 137138936 4292493616 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/7930/statm: 5515 3084 192 642 0 4871 0 Current children cumulated CPU time (s) 1797.9 Current children cumulated vsize (KiB) 22060 Child status: 0 Real time (s): 1798.5 CPU time (s): 1798 CPU user time (s): 1793.34 CPU system time (s): 4.65929 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 22096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.34 system time used= 4.65929 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3193 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= 1 involuntary context switches= 3238 runsolver used 2.99754 second user time and 8.45971 second system time The end
Begin job on node001 at 2010-06-15 18:13:06 IDJOB=2656646 IDBENCH=2932 IDSOLVER=1162 FILE ID=node001/2656646-1276618386 PBS_JOBID= 11172284 Free space on /tmp= 62516 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_3.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656646-1276618386/watcher-2656646-1276618386 -o /tmp/evaluation-result-2656646-1276618386/solver-2656646-1276618386 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656646-1276618386.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 474916db0f2f0be5831d97827cee8e55 RANDOM SEED=1518870550 node001.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.202 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 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.202 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1751916 kB Buffers: 63940 kB Cached: 151608 kB SwapCached: 9872 kB Active: 97592 kB Inactive: 131232 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1751916 kB SwapTotal: 4192956 kB SwapFree: 4136496 kB Dirty: 4012 kB Writeback: 0 kB AnonPages: 11612 kB Mapped: 9476 kB Slab: 56444 kB PageTables: 4064 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182720 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62512 MiB End job on node001 at 2010-06-15 18:43:04