Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: bsolo 3.0.17 | SAT (TO) | 81 | 1800.02 | 1802.31 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb |
MD5SUM | 0263d0a7c5e3320bd7cce9534c14bf27 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 15 |
Best CPU time to get the best result obtained on this benchmark | 1792.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 32 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 16 |
Minimum length of a constraint | 85 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1884 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6162 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 15500 MB 0.00/0.00 c Instance file HOME/instance-3734925-1338702049.opb 0.00/0.00 c File size is 13239 bytes. 0.00/0.00 c Highest Coefficient sum: 6162 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 198 Constr: 16 0/0/16 Lit: 1364 Watch. Lit: 392 0.00/0.00 c Obj. Vars: 128 (64.6465 % of total variables) 0.00/0.01 c Pre-processing Time: 0.003 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 198 16 1364 85 398 2728 0 0 0.00 0.00/0.01 c Switching off LPR mode. 0.00/0.01 o 1039 0.003 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 0 198 17 1492 87 919 2984 1 0 0.00 0.00/0.02 c 100 198 117 10865 92 1117 3283 101 8333 0.01 0.00/0.02 o 768 0.012 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 103 198 121 11208 92 1225 2984 105 7923 0.01 0.09/0.18 c 203 198 221 17807 80 1404 3283 205 10150 0.02 0.09/0.18 c 455 198 473 37472 79 1907 3612 457 10833 0.04 0.09/0.18 c 932 198 950 68557 72 2845 3974 934 11506 0.08 0.09/0.18 c 1745 198 1763 129947 73 4464 4372 1747 10771 0.16 0.09/0.18 o 725 0.18 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 1884 198 1903 140900 74 4841 2984 1887 10466 0.18 0.19/0.23 c 1986 198 2005 147188 73 5084 3283 1989 10290 0.19 0.19/0.23 c 2236 198 2255 163851 72 5566 3612 2239 9893 0.23 0.19/0.23 o 714 0.228 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 2248 198 2268 164698 72 5703 2984 2252 9859 0.23 0.19/0.24 c 2348 198 2368 171725 72 5907 3283 2352 9783 0.24 0.19/0.24 o 661 0.242 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 2359 198 2380 172683 72 6015 2984 2364 9747 0.24 0.29/0.32 c 2459 198 2480 178408 71 6252 3283 2464 9757 0.25 0.29/0.32 c 2710 198 2731 193601 70 6759 3612 2715 9748 0.28 0.29/0.32 o 657 0.318 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 3053 198 3075 220786 71 7490 2984 3059 9600 0.32 0.29/0.33 o 655 0.328 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 3127 198 1584 113774 71 4164 2984 1568 9533 0.33 0.29/0.36 c 3229 198 1686 120860 71 4384 3283 1670 9553 0.34 0.29/0.36 o 654 0.358 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 3455 198 1913 136895 71 4924 2984 1897 9650 0.36 0.29/0.37 o 653 0.363 0.39/0.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.42 c 3507 198 1966 139892 71 5151 2984 1950 9661 0.36 0.39/0.42 c 3607 198 2066 146280 70 5384 3283 2050 9670 0.37 0.39/0.42 c 3857 198 2316 160313 69 5860 3612 2300 9666 0.40 0.39/0.42 o 650 0.413 0.39/0.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.42 c 4007 198 2467 171330 69 6279 2984 2451 9702 0.41 0.39/0.42 o 637 0.415 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 4021 198 2482 172532 69 6404 2984 2466 9689 0.41 0.39/0.43 c 4121 198 2582 178668 69 6626 3283 2566 9673 0.43 0.39/0.43 o 612 0.431 0.39/0.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.46 c 4170 198 2632 181313 68 6821 2984 2616 9675 0.43 0.39/0.46 c 4270 198 2732 188826 69 7016 3283 2716 9638 0.44 0.39/0.46 o 608 0.458 0.39/0.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.46 c 4377 198 2840 195941 68 7310 2984 2824 9556 0.46 0.39/0.46 o 531 0.461 0.39/0.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.48 c 4406 198 2870 198541 69 7412 2984 2854 9557 0.46 0.39/0.48 c 4507 198 2971 204646 68 7744 3283 2955 9589 0.47 0.39/0.48 o 453 0.477 0.49/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.52 c 4555 198 3020 207181 68 7800 2984 3004 9549 0.48 0.49/0.52 c 4659 198 1613 109662 67 4096 3283 1597 9566 0.49 0.49/0.52 c 4909 198 1863 126118 67 4615 3612 1847 9682 0.51 0.49/0.52 o 449 0.516 1.09/1.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.15 c 5027 198 1982 132010 66 4951 2984 1966 9742 0.52 1.09/1.15 c 5128 198 2083 138702 66 5146 3283 2067 9767 0.53 1.09/1.15 c 5378 198 2333 152290 65 5657 3612 2317 9886 0.54 1.09/1.15 c 5854 198 2809 180973 64 6625 3974 2793 10041 0.58 1.09/1.15 c 6667 198 3622 232735 64 8240 4372 3606 10025 0.67 1.09/1.15 c 7987 198 2682 168818 62 6227 4810 2666 9921 0.81 1.09/1.15 c 10068 198 4763 289433 60 10393 5292 4747 9374 1.07 1.09/1.15 o 445 1.143 1.09/1.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.16 c 10589 198 5285 327235 61 11554 2984 5269 9256 1.14 1.09/1.16 o 376 1.161 1.09/1.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.17 c 10635 198 1556 100919 64 4083 2984 1540 9152 1.16 1.09/1.17 o 349 1.166 1.09/1.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.17 c 10695 198 1617 103623 64 4330 2984 1601 9172 1.17 1.09/1.17 o 343 1.166 1.09/1.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.18 c 10696 198 1619 103851 64 4454 2984 1603 9173 1.17 1.09/1.18 o 341 1.172 1.28/1.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.28/1.30 c 10746 198 1670 108453 64 4678 2984 1654 9168 1.17 1.28/1.30 c 10846 198 1770 114386 64 4908 3283 1754 9191 1.18 1.28/1.30 c 11096 198 2020 131055 64 5378 3612 2004 9215 1.20 1.28/1.30 c 11573 198 2497 159344 63 6370 3974 2481 9295 1.25 1.28/1.30 o 332 1.295 1.28/1.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.28/1.37 c 11982 198 2907 185238 63 7262 2984 2891 9252 1.29 1.28/1.37 c 12082 198 1509 93598 62 3888 3283 1493 9244 1.31 1.28/1.37 c 12333 198 1760 108214 61 4394 3612 1744 9300 1.33 1.28/1.37 c 12809 198 2236 139716 62 5366 3974 2220 9397 1.36 1.28/1.37 o 328 1.369 1.38/1.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.38/1.43 c 12881 198 2309 145168 62 5626 2984 2293 9409 1.37 1.38/1.43 c 12981 198 2409 152473 63 5819 3283 2393 9413 1.38 1.38/1.43 c 13231 198 2659 166326 62 6314 3612 2643 9450 1.40 1.38/1.43 o 228 1.422 3.19/3.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.25 c 13466 198 2895 184221 63 6895 2984 2879 9463 1.42 3.19/3.25 c 13566 198 2995 189645 63 7094 3283 2979 9486 1.43 3.19/3.25 c 13816 198 3245 200468 61 7631 3612 3229 9548 1.45 3.19/3.25 c 14291 198 1836 110366 60 4548 3974 1820 9584 1.49 3.19/3.25 c 15104 198 2649 159252 60 6199 4372 2633 9675 1.56 3.19/3.25 c 16425 198 3970 229599 57 8797 4810 3954 9736 1.69 3.19/3.25 c 18506 198 3577 196897 55 8031 5292 3561 9719 1.90 3.19/3.25 c 21729 198 4093 219203 53 9035 5822 4077 9472 2.29 3.19/3.25 c 26665 198 3072 177666 57 7027 6405 3056 8984 2.97 3.19/3.25 o 211 3.242 3.29/3.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.30 c 28804 198 5212 318958 61 11449 2984 5196 8884 3.24 3.29/3.30 c 28904 198 1609 103101 64 4057 3283 1593 8860 3.26 3.29/3.30 c 29154 198 1859 116557 62 4589 3612 1843 8888 3.28 3.29/3.30 o 206 3.3 3.29/3.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.31 c 29383 198 2089 128051 61 5177 2984 2073 8903 3.30 3.29/3.31 c 29483 198 2189 132913 60 5368 3283 2173 8909 3.31 3.29/3.31 o 182 3.312 3.29/3.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.39 c 29500 198 2207 134117 60 5534 2984 2191 8907 3.31 3.29/3.39 c 29600 198 2307 141119 61 5738 3283 2291 8915 3.32 3.29/3.39 c 29850 198 2557 153254 59 6234 3612 2541 8926 3.34 3.29/3.39 o 170 3.382 3.29/3.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.39 c 30215 198 2923 172138 58 7117 2984 2907 8934 3.38 3.29/3.39 o 168 3.386 3.29/3.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.39 c 30249 198 2958 173863 58 7312 2984 2942 8933 3.39 3.29/3.39 o 164 3.389 3.29/3.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.39 c 30269 198 2979 175088 58 7476 2984 2963 8928 3.39 3.29/3.39 o 156 3.391 3.38/3.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.38/3.40 c 30280 198 2991 175679 58 7629 2984 2975 8929 3.39 3.38/3.40 o 150 3.394 3.38/3.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.38/3.40 c 30299 198 1509 80458 53 3915 2984 1493 8919 3.40 3.38/3.40 o 148 3.399 3.38/3.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.38/3.43 c 30312 198 1523 81202 53 4068 2984 1507 8917 3.40 3.38/3.43 c 30412 198 1623 87821 54 4239 3283 1607 8923 3.41 3.38/3.43 o 142 3.424 3.38/3.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.38/3.43 c 30610 198 1822 97899 53 4793 2984 1806 8939 3.42 3.38/3.43 o 140 3.428 3.38/3.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.38/3.43 c 30681 198 1894 100779 53 5062 2984 1878 8947 3.43 3.38/3.43 o 138 3.431 3.38/3.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.38/3.44 c 30697 198 1911 102160 53 5222 2984 1895 8946 3.43 3.38/3.44 o 136 3.436 3.38/3.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.38/3.44 c 30787 198 2002 106284 53 5526 2984 1986 8960 3.44 3.38/3.44 o 134 3.438 3.38/3.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.38/3.45 c 30793 198 2009 106941 53 5669 2984 1993 8956 3.44 3.38/3.45 o 130 3.442 579.18/579.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 579.18/579.37 c 30823 198 2040 109841 53 5858 2984 2024 8954 3.44 579.18/579.37 c 30923 198 2140 113535 53 5970 3283 2124 8965 3.45 579.18/579.37 c 31173 198 2390 123179 51 6478 3612 2374 8999 3.46 579.18/579.37 c 31648 198 2865 145689 50 7497 3974 2849 9013 3.51 579.18/579.37 c 32461 198 3678 187930 51 9094 4372 3662 9016 3.60 579.18/579.37 c 33781 198 2745 135168 49 6341 4810 2729 9001 3.75 579.18/579.37 c 35862 198 4826 244399 50 10514 5292 4810 8938 4.01 579.18/579.37 c 39085 198 2663 124908 46 6164 5822 2647 8927 4.38 579.18/579.37 c 44021 198 4636 240386 51 10127 6405 4620 8891 4.95 579.18/579.37 c 51529 198 5605 287502 51 12091 7046 5589 8637 5.97 579.18/579.37 c 62890 198 6227 312562 50 13259 7751 6211 8131 7.73 579.18/579.37 c 80035 198 7618 422177 55 16137 8527 7602 7634 10.48 579.18/579.37 c 105854 198 7512 452382 60 15832 9380 7496 6846 15.46 579.18/579.37 c 144686 198 8307 463922 55 17494 10319 8291 6525 22.17 579.18/579.37 c 203038 198 9151 446533 48 19141 11351 9135 6452 31.47 579.18/579.37 c 290670 198 10784 566067 52 22430 12487 10768 6216 46.76 579.18/579.37 c 422222 198 10056 525574 52 20934 13736 10040 5967 70.75 579.18/579.37 c 619654 198 13501 737704 54 27854 15110 13485 5548 111.68 579.18/579.37 c 915906 198 12664 751929 59 26211 16622 12648 5284 173.31 579.18/579.37 c 1360388 198 13202 681306 51 27269 18285 13186 5036 270.09 579.18/579.37 c 2027215 198 17117 1013195 59 35122 20114 17101 4689 432.31 579.18/579.37 o 121 579.269 583.89/584.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 583.89/584.01 c 2628594 198 11258 598968 53 23540 2984 11242 4537 579.27 583.89/584.01 c 2628694 197 1609 95563 59 4117 3283 1593 4537 579.36 583.89/584.01 c 2628944 195 1859 106724 57 4603 3612 1843 4537 579.38 583.89/584.01 c 2629422 190 2337 127940 54 5556 3974 2321 4537 579.43 583.89/584.01 c 2630236 189 3151 166494 52 7184 4372 3135 4538 579.51 583.89/584.01 c 2631556 185 2230 103078 46 5331 4810 2214 4539 579.66 583.89/584.01 c 2633637 185 4311 197764 45 9493 5292 4295 4542 579.83 583.89/584.01 c 2636860 185 4833 227349 47 10535 5822 4817 4545 580.16 583.89/584.01 c 2641797 184 3836 176202 45 8557 6405 3820 4549 580.66 583.89/584.01 c 2649303 184 4819 221552 45 10507 7046 4803 4556 581.45 583.89/584.01 c 2660664 184 5428 268295 49 11729 7751 5412 4564 582.90 583.89/584.01 o 120 583.915 583.89/584.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 583.89/584.04 c 2668247 183 5129 262855 51 11250 2954 5113 4569 583.91 583.89/584.04 c 2668347 183 1609 82270 51 4081 3250 1593 4569 583.93 583.89/584.04 o 118 583.942 583.89/584.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 583.89/584.05 c 2668458 183 1721 91833 53 4416 2954 1705 4569 583.94 583.89/584.05 o 116 583.95 584.88/585.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 584.88/585.00 c 2668556 183 1820 96723 53 4733 2954 1804 4569 583.95 584.88/585.00 c 2668656 183 1920 102155 53 4926 3250 1904 4569 583.96 584.88/585.00 c 2668906 183 2170 113989 52 5431 3576 2154 4570 583.99 584.88/585.00 c 2669381 183 2645 138701 52 6369 3934 2629 4570 584.02 584.88/585.00 c 2670194 183 3458 175879 50 7989 4328 3442 4571 584.09 584.88/585.00 c 2671515 183 2558 126720 49 5983 4761 2542 4572 584.24 584.88/585.00 c 2673596 182 4639 231272 49 10141 5238 4623 4574 584.47 584.88/585.00 c 2676819 182 5181 246180 47 11219 5762 5165 4577 584.82 584.88/585.00 o 114 584.896 585.28/585.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 585.28/585.49 c 2677440 182 2914 136946 46 6691 2952 2898 4577 584.91 585.28/585.49 c 2677540 182 1509 74781 49 3866 3248 1493 4577 584.92 585.28/585.49 c 2677790 182 1759 85689 48 4372 3573 1743 4577 584.94 585.28/585.49 c 2678265 182 2234 106064 47 5319 3931 2218 4578 584.98 585.28/585.49 c 2679078 182 3047 144793 47 6955 4325 3031 4579 585.04 585.28/585.49 c 2680398 182 2196 104250 47 5248 4758 2180 4580 585.18 585.28/585.49 c 2682480 182 4278 222581 52 9421 5234 4262 4582 585.38 585.28/585.49 o 113 585.388 585.38/585.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 585.38/585.50 c 2682558 182 4357 226698 52 9686 2952 4341 4582 585.39 585.38/585.50 o 111 585.403 585.38/585.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 585.38/585.51 c 2682652 182 1604 85716 53 4178 2952 1588 4582 585.40 585.38/585.51 o 109 585.406 585.38/585.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 585.38/585.56 c 2682687 182 1640 88623 54 4365 2952 1624 4582 585.41 585.38/585.56 c 2682787 182 1740 93431 53 4559 3248 1724 4582 585.41 585.38/585.56 c 2683037 182 1990 104754 52 5065 3573 1974 4582 585.44 585.38/585.56 o 107 585.459 586.78/586.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 586.78/586.90 c 2683296 182 2250 116822 51 5695 2952 2234 4583 585.46 586.78/586.90 c 2683396 182 2350 121151 51 5878 3248 2334 4583 585.47 586.78/586.90 c 2683647 182 2601 132860 51 6386 3573 2585 4583 585.50 586.78/586.90 c 2684125 182 3079 170245 55 7341 3931 3063 4583 585.54 586.78/586.90 c 2684938 182 3892 208910 53 8960 4325 3876 4584 585.62 586.78/586.90 c 2686259 182 3000 159652 53 6864 4758 2984 4586 585.75 586.78/586.90 c 2688340 182 2652 124371 46 6154 5234 2636 4588 585.92 586.78/586.90 c 2691564 182 3211 154973 48 7285 5758 3195 4591 586.24 586.78/586.90 c 2696500 182 5224 240638 46 11300 6334 5208 4596 586.68 586.78/586.90 o 92 586.804 586.78/586.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 586.78/586.92 c 2697684 182 3200 149135 46 7271 2952 3184 4597 586.82 586.78/586.92 o 90 586.822 586.78/586.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 586.78/586.93 c 2697689 182 1515 76474 50 4009 2952 1499 4597 586.82 586.78/586.93 c 2697789 182 1615 85052 52 4204 3248 1599 4597 586.83 586.78/586.93 o 89 586.833 586.78/586.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 586.78/586.93 c 2697824 182 1651 86421 52 4382 2952 1635 4597 586.83 586.78/586.93 o 87 586.833 586.78/586.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 586.78/586.94 c 2697825 182 1653 86587 52 4494 2952 1637 4597 586.83 586.78/586.94 o 85 586.835 732.06/732.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 732.06/732.23 c 2697839 182 1668 87762 52 4633 2952 1652 4597 586.84 732.06/732.23 c 2697939 182 1768 93144 52 4837 3248 1752 4597 586.84 732.06/732.23 c 2698189 182 2018 105328 52 5338 3573 2002 4597 586.86 732.06/732.23 c 2698664 182 2493 125964 50 6282 3931 2477 4598 586.90 732.06/732.23 c 2699477 182 3306 162608 49 7914 4325 3290 4598 586.97 732.06/732.23 c 2700797 182 2407 105005 43 5666 4758 2391 4600 587.09 732.06/732.23 c 2702879 182 4489 200957 44 9830 5234 4473 4602 587.29 732.06/732.23 c 2706102 182 5053 224685 44 10968 5758 5037 4605 587.59 732.06/732.23 c 2711038 182 4118 176586 42 9093 6334 4102 4610 588.05 732.06/732.23 c 2718544 182 5187 223277 43 11223 6968 5171 4616 588.82 732.06/732.23 c 2729905 182 5936 268979 45 12725 7665 5920 4625 590.15 732.06/732.23 c 2747049 182 7519 335800 44 15893 8432 7503 4639 592.12 732.06/732.23 c 2772869 182 7707 354601 46 16263 9276 7691 4658 595.24 732.06/732.23 c 2811701 182 8995 400178 44 18852 10204 8979 4686 599.99 732.06/732.23 c 2870053 182 5480 236296 43 11810 11225 5464 4723 607.57 732.06/732.23 c 2957685 182 8140 383239 47 17120 12348 8124 4772 619.68 732.06/732.23 c 3089237 182 8967 414270 46 18790 13583 8951 4842 637.99 732.06/732.23 c 3286669 182 8025 358891 44 16890 14942 8009 4927 666.96 732.06/732.23 c 3582921 182 10977 486965 44 22805 16437 10961 5009 715.16 732.06/732.23 o 84 732.111 1003.63/1003.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1003.63/1003.80 c 3670729 182 16125 767507 47 33225 2952 16109 5013 732.11 1003.63/1003.80 c 3670830 182 1610 74993 46 4086 3248 1594 5012 732.27 1003.63/1003.80 c 3671080 182 1860 85599 46 4577 3573 1844 5013 732.28 1003.63/1003.80 c 3671555 182 2335 105285 45 5521 3931 2319 5013 732.32 1003.63/1003.80 c 3672368 182 3148 141651 44 7152 4325 3132 5014 732.39 1003.63/1003.80 c 3673688 182 2237 97563 43 5327 4758 2221 5015 732.50 1003.63/1003.80 c 3675769 182 4318 193445 44 9484 5234 4302 5016 732.68 1003.63/1003.80 c 3678992 182 4869 221157 45 10602 5758 4853 5019 732.99 1003.63/1003.80 c 3683928 182 3917 176736 45 8689 6334 3901 5022 733.51 1003.63/1003.80 c 3691434 182 5000 216821 43 10869 6968 4984 5027 734.26 1003.63/1003.80 c 3702795 182 5742 248661 43 12339 7665 5726 5034 735.43 1003.63/1003.80 c 3719939 182 7347 322452 43 15516 8432 7331 5045 737.26 1003.63/1003.80 c 3745758 182 7562 341322 45 15973 9276 7546 5059 740.32 1003.63/1003.80 c 3784590 182 8819 522161 59 18506 10204 8803 5072 746.08 1003.63/1003.80 c 3842942 182 5283 239892 45 11410 11225 5267 5087 755.34 1003.63/1003.80 c 3930574 182 8019 372489 46 16879 12348 8003 5114 768.52 1003.63/1003.80 c 4062126 182 8880 428965 48 18593 13583 8864 5137 790.64 1003.63/1003.80 c 4259558 182 7941 385542 48 16719 14942 7925 5148 827.30 1003.63/1003.80 c 4555810 182 10900 513394 47 22656 16437 10884 5156 883.48 1003.63/1003.80 c 5000292 182 8896 409954 46 18626 18081 8880 5136 973.52 1003.63/1003.80 o 83 1003.64 1003.93/1004.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1003.93/1004.18 c 5153422 182 16532 786834 47 34036 2952 16516 5134 1003.64 1003.93/1004.18 o 81 1004.02 1800.01/1800.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.01/1800.30 c 5153482 182 1570 78516 50 4119 2952 1554 5132 1004.02 1800.01/1800.30 c 5153582 182 1670 84592 50 4331 3248 1654 5132 1004.03 1800.01/1800.30 c 5153832 182 1920 96044 50 4754 3573 1904 5133 1004.05 1800.01/1800.30 c 5154307 182 2395 118915 49 5776 3931 2379 5133 1004.09 1800.01/1800.30 c 5155120 182 3208 154969 48 7313 4325 3192 5133 1004.16 1800.01/1800.30 c 5156440 182 2321 110990 47 5428 4758 2305 5134 1004.30 1800.01/1800.30 c 5158521 182 4402 223276 50 9655 5234 4386 5135 1004.56 1800.01/1800.30 c 5161744 182 4965 261086 52 10750 5758 4949 5136 1004.97 1800.01/1800.30 c 5166680 182 4060 176687 43 8967 6334 4044 5138 1005.47 1800.01/1800.30 c 5174186 182 5116 222066 43 11068 6968 5100 5142 1006.12 1800.01/1800.30 c 5185547 182 5857 248169 42 12575 7665 5841 5148 1007.22 1800.01/1800.30 c 5202691 182 7437 333619 44 15730 8432 7421 5154 1009.28 1800.01/1800.30 c 5228511 182 7649 345509 45 16142 9276 7633 5165 1012.27 1800.01/1800.30 c 5267343 182 9004 415964 46 18859 10204 8988 5174 1017.86 1800.01/1800.30 c 5325695 182 5490 272176 49 11821 11225 5474 5171 1029.72 1800.01/1800.30 c 5413327 182 8159 362316 44 17159 12348 8143 5192 1042.55 1800.01/1800.30 c 5544880 182 9002 486464 54 18872 13583 8986 5193 1067.70 1800.01/1800.30 c 5742312 182 7665 489674 63 16188 14942 7649 5131 1118.95 1800.01/1800.30 c 6038565 182 10632 482730 45 22103 16437 10616 5153 1171.74 1800.01/1800.30 c 6483047 182 8696 372632 42 18223 18081 8680 5174 1252.92 1800.01/1800.30 c 7149874 182 12019 536144 44 24849 19890 12003 5141 1390.61 1800.01/1800.30 c 8150219 182 13005 586607 45 26842 21880 12989 5134 1587.30 1800.01/1800.30 c Caught signal: 15 1800.01/1800.30 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 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 -x173 x174 x175 -x176 x177 x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 x190 x191 x192 x193 -x194 x195 -x196 -x197 x198 x143 1800.01/1800.30 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.01/1800.30 c 215 9135065 284952 9484153 13875 649630 13859 5074 1800.02 1800.01/1800.30 c Objective: 81 1800.01/1800.30 s SATISFIABLE 1800.01/1800.30 c Total time: 1800.02 s
OK 81
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734925-1338702049/watcher-3734925-1338702049 -o /tmp/evaluation-result-3734925-1338702049/solver-3734925-1338702049 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3734925-1338702049.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 2/177 11931 /proc/meminfo: memFree=27251584/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=2660 CPUtime=0 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) D 11929 11931 9030 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 336330973 2723840 47 33554432000 134512640 135840783 4291440496 4291438532 5551044 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0 /proc/11931/statm: 665 47 37 325 0 32 0 [startup+0.043182 s] /proc/loadavg: 2.00 2.00 2.00 2/177 11931 /proc/meminfo: memFree=27251584/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=5080 CPUtime=0.03 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 596 0 0 0 3 0 0 0 20 0 1 0 336330973 5201920 528 33554432000 134512640 135840783 4291440496 4291439856 134550884 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11931/statm: 1270 528 350 325 0 206 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5080 [startup+0.100157 s] /proc/loadavg: 2.00 2.00 2.00 2/177 11931 /proc/meminfo: memFree=27251584/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=5728 CPUtime=0.09 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 760 0 0 0 9 0 0 0 20 0 1 0 336330973 5865472 692 33554432000 134512640 135840783 4291440496 4291438240 1701159 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11931/statm: 1432 692 350 325 0 368 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5728 [startup+0.300106 s] /proc/loadavg: 2.00 2.00 2.00 2/177 11931 /proc/meminfo: memFree=27251584/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=7544 CPUtime=0.29 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 1211 0 0 0 29 0 0 0 20 0 1 0 336330973 7725056 1143 33554432000 134512640 135840783 4291440496 4291438320 1701159 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11931/statm: 1886 1143 350 325 0 822 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7544 [startup+0.70011 s] /proc/loadavg: 2.00 2.00 2.00 2/177 11931 /proc/meminfo: memFree=27251584/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=8196 CPUtime=0.69 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 1385 0 0 0 69 0 0 0 20 0 1 0 336330973 8392704 1317 33554432000 134512640 135840783 4291440496 4291438384 1701159 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11931/statm: 2049 1317 350 325 0 985 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8196 [startup+1.50011 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11932 /proc/meminfo: memFree=27254760/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=9472 CPUtime=1.48 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 1685 0 0 0 148 0 0 0 20 0 1 0 336330973 9699328 1617 33554432000 134512640 135840783 4291440496 4291439524 1687840 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11931/statm: 2368 1617 350 325 0 1304 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 9472 [startup+3.10018 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11932 /proc/meminfo: memFree=27252956/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=9600 CPUtime=3.08 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 1721 0 0 0 308 0 0 0 20 0 1 0 336330973 9830400 1653 33554432000 134512640 135840783 4291440496 4291439808 134551084 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11931/statm: 2400 1653 350 325 0 1336 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 9600 [startup+6.30018 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11932 /proc/meminfo: memFree=27248132/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=10104 CPUtime=6.28 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 1858 0 0 0 628 0 0 0 20 0 1 0 336330973 10346496 1790 33554432000 134512640 135840783 4291440496 4291439808 134550884 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11931/statm: 2526 1790 350 325 0 1462 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 10104 [startup+12.7002 s] /proc/loadavg: 2.00 2.00 2.00 3/178 11932 /proc/meminfo: memFree=27244192/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=11648 CPUtime=12.68 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 2238 0 0 0 1268 0 0 0 20 0 1 0 336330973 11927552 2170 33554432000 134512640 135840783 4291440496 4291439856 134550902 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11931/statm: 2912 2170 350 325 0 1848 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 11648 [startup+25.5001 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11932 /proc/meminfo: memFree=27246560/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=13176 CPUtime=25.48 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 2635 0 0 0 2548 0 0 0 20 0 1 0 336330973 13492224 2564 33554432000 134512640 135840783 4291440496 4291439856 134551065 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11931/statm: 3294 2564 350 325 0 2230 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 13176 [startup+51.1002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 11933 /proc/meminfo: memFree=27245832/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=14788 CPUtime=51.07 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 3044 0 0 0 5107 0 0 0 20 0 1 0 336330973 15142912 2973 33554432000 134512640 135840783 4291440496 4291439808 134551312 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11931/statm: 3697 2973 350 325 0 2633 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 14788 [startup+102.306 s] /proc/loadavg: 2.06 2.02 2.00 3/177 11933 /proc/meminfo: memFree=27243084/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=15736 CPUtime=102.27 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 3273 0 0 0 10227 0 0 0 20 0 1 0 336330973 16113664 3199 33554432000 134512640 135840783 4291440496 4291439792 134572710 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11931/statm: 3934 3199 350 325 0 2870 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 15736 [startup+162.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 11933 /proc/meminfo: memFree=27239380/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=17176 CPUtime=162.25 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 3704 0 0 0 16225 0 0 0 20 0 1 0 336330973 17588224 3570 33554432000 134512640 135840783 4291440496 4291439920 134546112 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/11931/statm: 4294 3570 350 325 0 3230 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 17176 [startup+222.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 11933 /proc/meminfo: memFree=27238660/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=18916 CPUtime=222.24 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4131 0 0 0 22224 0 0 0 20 0 1 0 336330973 19369984 3996 33554432000 134512640 135840783 4291440496 4291439808 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 4729 3996 350 325 0 3665 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 18916 [startup+282.3 s] /proc/loadavg: 2.00 2.00 2.00 2/175 11934 /proc/meminfo: memFree=27302080/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=19004 CPUtime=282.23 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4153 0 0 0 28223 0 0 0 20 0 1 0 336330973 19460096 4018 33554432000 134512640 135840783 4291440496 4291439856 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 4751 4018 350 325 0 3687 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 19004 [startup+342.3 s] /proc/loadavg: 2.04 2.01 2.00 3/176 11972 /proc/meminfo: memFree=27306708/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=19364 CPUtime=342.22 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4244 0 0 0 34222 0 0 0 20 0 1 0 336330973 19828736 4109 33554432000 134512640 135840783 4291440496 4291439792 134572639 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 4841 4109 350 325 0 3777 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 19364 [startup+402.3 s] /proc/loadavg: 2.04 2.02 2.00 3/177 11973 /proc/meminfo: memFree=27304348/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=20356 CPUtime=402.21 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4493 0 0 0 40221 0 0 0 20 0 1 0 336330973 20844544 4357 33554432000 134512640 135840783 4291440496 4291439808 134551081 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 5089 4357 350 325 0 4025 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 20356 [startup+462.3 s] /proc/loadavg: 2.01 2.02 2.00 3/177 11973 /proc/meminfo: memFree=27302240/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=21844 CPUtime=462.2 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4870 0 0 0 46220 0 0 0 20 0 1 0 336330973 22368256 4734 33554432000 134512640 135840783 4291440496 4291439724 1698432 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 5461 4734 350 325 0 4397 0 Current children cumulated CPU time (s) 462.2 Current children cumulated vsize (KiB) 21844 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 11973 /proc/meminfo: memFree=27301312/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=21796 CPUtime=522.19 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4870 0 0 0 52219 0 0 0 20 0 1 0 336330973 22319104 4725 33554432000 134512640 135840783 4291440496 4291439856 134551052 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 5449 4725 350 325 0 4385 0 Current children cumulated CPU time (s) 522.19 Current children cumulated vsize (KiB) 21796 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.00 3/178 11976 /proc/meminfo: memFree=27301116/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=21776 CPUtime=582.18 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4870 0 0 0 58218 0 0 0 20 0 1 0 336330973 22298624 4720 33554432000 134512640 135840783 4291440496 4291439792 134572591 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 5444 4720 350 325 0 4380 0 Current children cumulated CPU time (s) 582.18 Current children cumulated vsize (KiB) 21776 [startup+642.3 s] ################ # More data... # ################ /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4870 0 0 0 106211 1 0 0 20 0 1 0 336330973 22224896 4702 33554432000 134512640 135840783 4291440496 4291439808 134551076 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 5426 4702 350 325 0 4362 0 Current children cumulated CPU time (s) 1062.12 Current children cumulated vsize (KiB) 21704 [startup+1122.3 s] /proc/loadavg: 2.02 2.05 2.01 3/177 11978 /proc/meminfo: memFree=27300776/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=21680 CPUtime=1122.11 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4870 0 0 0 112210 1 0 0 20 0 1 0 336330973 22200320 4696 33554432000 134512640 135840783 4291440496 4291439856 134551347 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 5420 4696 350 325 0 4356 0 Current children cumulated CPU time (s) 1122.11 Current children cumulated vsize (KiB) 21680 [startup+1182.3 s] /proc/loadavg: 2.01 2.04 2.00 3/178 11981 /proc/meminfo: memFree=27300768/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=21664 CPUtime=1182.1 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4870 0 0 0 118209 1 0 0 20 0 1 0 336330973 22183936 4692 33554432000 134512640 135840783 4291440496 4291439792 134572677 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 5416 4692 350 325 0 4352 0 Current children cumulated CPU time (s) 1182.1 Current children cumulated vsize (KiB) 21664 [startup+1242.3 s] /proc/loadavg: 2.00 2.03 2.00 3/178 12004 /proc/meminfo: memFree=27300456/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=21664 CPUtime=1242.09 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4870 0 0 0 124208 1 0 0 20 0 1 0 336330973 22183936 4692 33554432000 134512640 135840783 4291440496 4291439856 134551377 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 5416 4692 350 325 0 4352 0 Current children cumulated CPU time (s) 1242.09 Current children cumulated vsize (KiB) 21664 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 12005 /proc/meminfo: memFree=27300412/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=21656 CPUtime=1302.09 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4870 0 0 0 130208 1 0 0 20 0 1 0 336330973 22175744 4690 33554432000 134512640 135840783 4291440496 4291439848 9558201 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 5414 4690 350 325 0 4350 0 Current children cumulated CPU time (s) 1302.09 Current children cumulated vsize (KiB) 21656 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 12005 /proc/meminfo: memFree=27300540/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=21644 CPUtime=1362.07 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 4870 0 0 0 136206 1 0 0 20 0 1 0 336330973 22163456 4687 33554432000 134512640 135840783 4291440496 4291439808 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 5411 4687 350 325 0 4347 0 Current children cumulated CPU time (s) 1362.07 Current children cumulated vsize (KiB) 21644 [startup+1422.31 s] /proc/loadavg: 2.00 2.01 2.00 3/177 12005 /proc/meminfo: memFree=27299796/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=22300 CPUtime=1422.07 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 5033 0 0 0 142206 1 0 0 20 0 1 0 336330973 22835200 4850 33554432000 134512640 135840783 4291440496 4291439856 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 5575 4850 350 325 0 4511 0 Current children cumulated CPU time (s) 1422.07 Current children cumulated vsize (KiB) 22300 [startup+1482.3 s] /proc/loadavg: 2.04 2.02 2.00 3/177 12005 /proc/meminfo: memFree=27299236/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=22632 CPUtime=1482.05 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 5107 0 0 0 148204 1 0 0 20 0 1 0 336330973 23175168 4923 33554432000 134512640 135840783 4291440496 4291439824 9945055 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 5658 4923 350 325 0 4594 0 Current children cumulated CPU time (s) 1482.05 Current children cumulated vsize (KiB) 22632 [startup+1542.3 s] /proc/loadavg: 2.06 2.03 2.00 3/177 12005 /proc/meminfo: memFree=27299980/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=21644 CPUtime=1542.04 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 5107 0 0 0 154203 1 0 0 20 0 1 0 336330973 22163456 4687 33554432000 134512640 135840783 4291440496 4291439856 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 5411 4687 350 325 0 4347 0 Current children cumulated CPU time (s) 1542.04 Current children cumulated vsize (KiB) 21644 [startup+1602.3 s] /proc/loadavg: 2.02 2.02 2.00 3/177 12006 /proc/meminfo: memFree=27299732/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=21652 CPUtime=1602.03 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 5109 0 0 0 160202 1 0 0 20 0 1 0 336330973 22171648 4689 33554432000 134512640 135840783 4291440496 4291439920 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 5413 4689 350 325 0 4349 0 Current children cumulated CPU time (s) 1602.03 Current children cumulated vsize (KiB) 21652 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 12006 /proc/meminfo: memFree=27299980/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=21652 CPUtime=1662.02 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 5109 0 0 0 166201 1 0 0 20 0 1 0 336330973 22171648 4689 33554432000 134512640 135840783 4291440496 4291438812 1325826 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 5413 4689 350 325 0 4349 0 Current children cumulated CPU time (s) 1662.02 Current children cumulated vsize (KiB) 21652 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 12006 /proc/meminfo: memFree=27299668/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=22044 CPUtime=1722.01 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 5205 0 0 0 172200 1 0 0 20 0 1 0 336330973 22573056 4784 33554432000 134512640 135840783 4291440496 4291439808 134551400 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 5511 4784 350 325 0 4447 0 Current children cumulated CPU time (s) 1722.01 Current children cumulated vsize (KiB) 22044 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 12009 /proc/meminfo: memFree=27299908/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=22044 CPUtime=1782 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 5205 0 0 0 178199 1 0 0 20 0 1 0 336330973 22573056 4784 33554432000 134512640 135840783 4291440496 4291439856 134551048 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 5511 4784 350 325 0 4447 0 Current children cumulated CPU time (s) 1782 Current children cumulated vsize (KiB) 22044 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 12009 /proc/meminfo: memFree=27300156/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=21652 CPUtime=1800.01 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) R 11929 11931 9030 0 -1 4202496 5205 0 0 0 180000 1 0 0 20 0 1 0 336330973 22171648 4689 33554432000 134512640 135840783 4291440496 4291439792 134572675 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 5413 4689 350 325 0 4349 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 21652 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -11931 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 2.00 2.00 2.00 2/179 12010 /proc/meminfo: memFree=27300156/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=21652 CPUtime=1800.01 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) S 11929 11931 9030 0 -1 4202496 5206 0 0 0 180000 1 0 0 20 0 1 0 336330973 22171648 4690 33554432000 134512640 135840783 4291440496 4291437940 6603824 0 16384 4096 16384 18446744071579510697 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 5413 4690 351 325 0 4349 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 21652 [startup+1801.81 s] /proc/loadavg: 2.00 2.00 2.00 2/179 12010 /proc/meminfo: memFree=27300148/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=21652 CPUtime=1800.01 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) S 11929 11931 9030 0 -1 4202496 5206 0 0 0 180000 1 0 0 20 0 1 0 336330973 22171648 4690 33554432000 134512640 135840783 4291440496 4291437940 6603824 0 16384 4096 16384 18446744071579510697 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 5413 4690 351 325 0 4349 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 21652 [startup+1802.2 s] /proc/loadavg: 2.00 2.00 2.00 2/179 12010 /proc/meminfo: memFree=27300148/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=21652 CPUtime=1800.01 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) S 11929 11931 9030 0 -1 4202496 5206 0 0 0 180000 1 0 0 20 0 1 0 336330973 22171648 4690 33554432000 134512640 135840783 4291440496 4291437940 6603824 0 16384 4096 16384 18446744071579510697 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 5413 4690 351 325 0 4349 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 21652 [startup+1802.3 s] /proc/loadavg: 2.00 2.00 2.00 2/179 12010 /proc/meminfo: memFree=27300148/32873648 swapFree=6860/6860 [pid=11931] ppid=11929 vsize=21652 CPUtime=1800.01 cores=0,2,4,6 /proc/11931/stat : 11931 (bsolo3.0.17) S 11929 11931 9030 0 -1 4202496 5206 0 0 0 180000 1 0 0 20 0 1 0 336330973 22171648 4690 33554432000 134512640 135840783 4291440496 4291437940 6603824 0 16384 4096 16384 18446744071579510697 0 0 17 4 0 0 0 0 0 /proc/11931/statm: 5413 4690 351 325 0 4349 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 21652 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.31 CPU time (s): 1800.02 CPU user time (s): 1800 CPU system time (s): 0.016997 CPU usage (%): 99.873 Max. virtual memory (cumulated for all children) (KiB): 22636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800 system time used= 0.016997 maximum resident set size= 19692 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5206 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= 22 involuntary context switches= 2028 runsolver used 2.84457 second user time and 6.99494 second system time The end
Begin job on node116 at 2012-06-03 07:40:49 IDJOB=3734925 IDBENCH=2920 IDSOLVER=2318 FILE ID=node116/3734925-1338702049 RUNJOBID= node116-1338678620-9049 PBS_JOBID= 14636697 Free space on /tmp= 71020 MiB SOLVER NAME= PB07: bsolo 3.0.17 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734925-1338702049/watcher-3734925-1338702049 -o /tmp/evaluation-result-3734925-1338702049/solver-3734925-1338702049 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3734925-1338702049.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27 RANDOM SEED=662200772 node116.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.11 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5438.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.556 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 27252112 kB Buffers: 546280 kB Cached: 4082176 kB SwapCached: 3028 kB Active: 2269996 kB Inactive: 2439716 kB Active(anon): 69004 kB Inactive(anon): 10780 kB Active(file): 2200992 kB Inactive(file): 2428936 kB Unevictable: 6860 kB Mlocked: 6860 kB SwapTotal: 67108856 kB SwapFree: 67103480 kB Dirty: 6612 kB Writeback: 0 kB AnonPages: 82372 kB Mapped: 13556 kB Shmem: 68 kB Slab: 773872 kB SReclaimable: 218168 kB SUnreclaim: 555704 kB KernelStack: 1472 kB PageTables: 4108 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 213216 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 53248 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71024 MiB End job on node116 at 2012-06-03 08:10:52