Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 | SAT | 95 | 1798 | 1798.52 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_2.opb |
MD5SUM | 1d334f36842eecbe8db395477b7c6bcb |
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 | 1802.17 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 38 |
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 | 1943 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6340 |
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.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1877191-1245174112.opb 0.00/0.00 c File size is 13323 bytes. 0.00/0.00 c Highest Coefficient sum: 6340 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: 1374 Watch. Lit: 400 0.00/0.00 c Obj. Vars: 128 (64.6465 % of total variables) 0.00/0.00 c Pre-processing Time: 0.004 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 198 16 1374 85 406 2748 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.00 o 958 0.02/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.03 c 0 198 17 1502 88 908 3004 1 0 0.01 0.02/0.03 c 100 198 125 10314 82 1185 3305 109 3125 0.03 0.02/0.03 o 951 0.02/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.06 c 108 198 134 11093 82 1324 3004 118 3176 0.03 0.02/0.06 c 208 198 241 20008 83 1527 3305 225 3525 0.06 0.02/0.06 o 942 0.02/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.09 c 229 198 263 21390 81 1657 3004 247 3578 0.06 0.02/0.09 c 329 198 365 27442 75 1881 3305 349 3463 0.10 0.02/0.09 o 842 0.02/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.09 c 330 198 367 27608 75 1999 3004 351 3437 0.10 0.02/0.09 o 840 0.02/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.02/0.10 c 330 198 368 27736 75 2103 3004 352 3437 0.10 0.02/0.10 o 836 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 334 198 373 28204 75 2193 3004 357 3408 0.10 0.09/0.11 o 830 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 382 198 422 32417 76 2415 3004 406 3321 0.12 0.09/0.15 c 483 198 525 40190 76 2726 3305 509 3198 0.15 0.09/0.15 o 615 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 483 198 526 40318 76 2701 3004 510 3177 0.15 0.09/0.15 o 613 0.09/0.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.15 c 484 198 528 40550 76 2808 3004 512 3163 0.15 0.09/0.15 o 611 0.09/0.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.16 c 490 198 535 41210 77 2903 3004 519 3161 0.15 0.09/0.16 o 609 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 520 198 566 43466 76 3009 3004 550 3095 0.17 0.09/0.18 o 607 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 550 198 597 45802 76 3155 3004 581 3072 0.18 0.09/0.19 o 601 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 596 198 645 49098 76 3380 3004 629 3040 0.20 0.19/0.24 c 696 198 749 56183 75 3682 3305 733 2961 0.23 0.19/0.24 o 567 0.19/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.27 c 726 198 780 58375 74 3741 3004 764 2939 0.25 0.19/0.27 o 566 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 809 198 865 62411 72 3986 3004 849 2952 0.27 0.19/0.29 o 562 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 854 198 912 66535 72 4223 3004 896 2904 0.29 0.29/0.34 c 957 198 1016 72478 71 4522 3305 1000 2891 0.33 0.29/0.34 o 536 0.29/0.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.36 c 973 198 1033 73554 71 4497 3004 1017 2870 0.34 0.29/0.36 o 530 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 1037 198 1099 77311 70 4752 3004 1083 2841 0.36 0.29/0.37 o 361 0.29/0.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.37 c 1043 198 1106 77806 70 4835 3004 1090 2834 0.37 0.29/0.37 o 359 0.29/0.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.38 c 1060 198 1124 79028 70 4898 3004 1108 2826 0.38 0.29/0.38 o 357 0.69/0.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.76 c 1098 198 1164 81252 69 5139 3004 1148 2837 0.39 0.69/0.76 c 1200 198 1266 89006 70 5223 3305 1250 2830 0.42 0.69/0.76 c 1451 198 1523 105031 68 5736 3636 1507 2806 0.52 0.69/0.76 c 1926 198 2006 128108 63 6821 4000 1990 2731 0.70 0.69/0.76 o 355 5.99/6.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.99/6.06 c 2060 198 2147 137637 64 7046 3004 2131 2710 0.76 5.99/6.06 c 2161 198 2248 141965 63 7812 3305 2232 2708 0.80 5.99/6.06 c 2411 198 2501 154178 61 8238 3636 2485 2699 0.89 5.99/6.06 c 2886 198 2977 179225 60 9151 4000 2961 2664 1.08 5.99/6.06 c 3699 198 3795 221271 58 10817 4401 3779 2608 1.42 5.99/6.06 c 5019 198 2859 149649 52 6785 4842 2843 2531 1.98 5.99/6.06 c 7100 198 2445 127847 52 5917 5327 2429 2405 2.95 5.99/6.06 c 10323 198 2940 159200 54 6796 5860 2924 2283 4.52 5.99/6.06 o 354 6.09/6.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.09/6.19 c 13132 198 5759 333643 57 12614 3004 5743 2165 6.06 6.09/6.19 c 13232 198 1619 98249 60 4166 3305 1603 2152 6.15 6.09/6.19 o 352 6.19/6.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.19/6.24 c 13340 198 1731 108529 62 4549 3004 1715 2155 6.19 6.19/6.24 c 13440 198 1831 113526 62 4754 3305 1815 2156 6.23 6.19/6.24 o 347 6.69/6.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.69/6.77 c 13448 198 1840 114228 62 4867 3004 1824 2155 6.24 6.69/6.77 c 13549 198 1946 122678 63 5127 3305 1930 2157 6.28 6.69/6.77 c 13799 198 2196 134342 61 5643 3636 2180 2164 6.38 6.69/6.77 c 14274 198 2682 161583 60 6606 4000 2666 2172 6.57 6.69/6.77 o 326 46.57/46.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 46.57/46.64 c 14715 198 3130 186675 59 7614 3004 3114 2172 6.77 46.57/46.64 c 14815 198 1621 93648 57 4138 3305 1605 2172 6.82 46.57/46.64 c 15065 198 1872 107157 57 4644 3636 1856 2177 6.92 46.57/46.64 c 15540 198 2351 129502 55 5590 4000 2335 2188 7.10 46.57/46.64 c 16353 198 3167 170617 53 7228 4401 3151 2202 7.42 46.57/46.64 c 17673 198 2227 117390 52 5337 4842 2211 2202 8.03 46.57/46.64 c 19754 198 4330 220141 50 9564 5327 4314 2230 8.86 46.57/46.64 c 22977 198 4886 276490 56 10968 5860 4870 2188 10.50 46.57/46.64 c 27913 198 3882 212793 54 8654 6447 3866 2130 13.10 46.57/46.64 c 35420 198 4906 301053 61 10814 7092 4890 2049 17.29 46.57/46.64 c 46781 198 5534 290002 52 11976 7802 5518 2008 23.29 46.57/46.64 c 63925 198 7015 368632 52 14943 8583 6999 1984 32.21 46.57/46.64 o 314 86.56/86.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 86.56/86.60 c 85743 198 7330 443922 60 16173 3004 7314 1838 46.63 86.56/86.60 c 85844 198 1620 102744 63 4305 3305 1604 1835 46.76 86.56/86.60 c 86098 198 1876 116582 62 4823 3636 1860 1837 46.85 86.56/86.60 c 86573 198 2353 143902 61 5772 4000 2337 1839 47.06 86.56/86.60 c 87386 198 3173 185919 58 7390 4401 3157 1844 47.38 86.56/86.60 c 88706 198 2257 117843 52 5393 4842 2241 1847 48.00 86.56/86.60 c 90787 198 4356 233720 53 9609 5327 4340 1854 48.95 86.56/86.60 c 94010 198 4896 269847 55 10690 5860 4880 1855 50.66 86.56/86.60 c 98947 198 3916 206941 52 8752 6447 3900 1861 53.14 86.56/86.60 c 106453 198 4933 257411 52 10755 7092 4917 1880 56.60 86.56/86.60 c 117814 198 5650 282962 50 12192 7802 5634 1884 62.51 86.56/86.60 c 134958 198 7151 388203 54 15208 8583 7135 1864 72.40 86.56/86.60 o 313 87.37/87.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 87.37/87.49 c 158781 198 5150 289761 56 11354 3004 5134 1833 86.58 87.37/87.49 c 158882 198 1622 92121 56 4157 3305 1606 1833 86.66 87.37/87.49 c 159134 198 1876 106268 56 4704 3636 1860 1834 86.76 87.37/87.49 c 159609 198 2354 133838 56 5686 4000 2338 1835 86.97 87.37/87.49 c 160422 198 3186 187126 58 7466 4401 3170 1836 87.34 87.37/87.49 o 312 87.57/87.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 87.57/87.61 c 160714 198 3491 207370 59 8364 3004 3475 1837 87.47 87.57/87.61 c 160814 198 1619 99222 61 4352 3305 1603 1837 87.51 87.57/87.61 o 309 88.57/88.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 88.57/88.65 c 161026 198 1833 109630 59 4917 3004 1817 1838 87.59 88.57/88.65 c 161126 198 1933 113858 58 5110 3305 1917 1838 87.62 88.57/88.65 c 161377 198 2196 127621 58 5627 3636 2180 1839 87.72 88.57/88.65 c 161852 198 2683 153054 57 6622 4000 2667 1840 87.93 88.57/88.65 c 162665 198 3509 198414 56 8286 4401 3493 1841 88.33 88.57/88.65 o 308 88.77/88.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 88.77/88.88 c 163249 198 4103 233621 56 9612 3004 4087 1842 88.62 88.77/88.88 c 163349 198 1619 90098 55 4162 3305 1603 1842 88.68 88.77/88.88 c 163601 198 1875 104532 55 4698 3636 1859 1842 88.79 88.77/88.88 o 306 91.27/91.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 91.27/91.34 c 163749 198 2025 113139 55 5103 3004 2009 1842 88.86 91.27/91.34 c 163850 198 2129 119801 56 5311 3305 2113 1842 88.90 91.27/91.34 c 164100 198 2391 138821 58 5989 3636 2375 1843 89.02 91.27/91.34 c 164575 198 2871 162525 56 6998 4000 2855 1844 89.24 91.27/91.34 c 165388 198 3710 220606 59 9009 4401 3694 1845 89.63 91.27/91.34 c 166708 198 2772 168439 60 7061 4842 2756 1845 90.34 91.27/91.34 o 305 99.36/99.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 99.36/99.44 c 168547 198 4660 296429 63 11422 3004 4644 1845 91.31 99.36/99.44 c 168649 198 1622 106890 65 4351 3305 1606 1845 91.38 99.36/99.44 c 168899 198 1877 121329 64 4904 3636 1861 1846 91.48 99.36/99.44 c 169375 198 2370 155726 65 5945 4000 2354 1847 91.66 99.36/99.44 c 170188 198 3189 201897 63 7595 4401 3173 1849 92.01 99.36/99.44 c 171508 198 2226 120602 54 5367 4842 2210 1851 92.61 99.36/99.44 c 173589 198 4327 227656 52 9558 5327 4311 1855 93.55 99.36/99.44 c 176812 198 4891 237006 48 10682 5860 4875 1860 95.05 99.36/99.44 c 181748 198 3956 241571 61 9393 6447 3940 1860 97.69 99.36/99.44 o 276 161.65/161.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 161.65/161.76 c 184956 198 3930 241857 61 9437 3004 3914 1860 99.41 161.65/161.76 c 185056 198 1619 96944 59 4320 3305 1603 1860 99.46 161.65/161.76 c 185306 198 1875 111507 59 4857 3636 1859 1861 99.54 161.65/161.76 c 185782 198 2354 132274 56 5819 4000 2338 1863 99.69 161.65/161.76 c 186595 198 3170 172731 54 7448 4401 3154 1866 99.99 161.65/161.76 c 187915 198 2237 110474 49 5378 4842 2221 1868 100.56 161.65/161.76 c 189997 198 4335 227338 52 9578 5327 4319 1871 101.50 161.65/161.76 c 193220 198 4873 252879 51 10664 5860 4857 1876 102.96 161.65/161.76 c 198157 198 3881 220095 56 8716 6447 3865 1877 105.54 161.65/161.76 c 205663 198 4875 234464 48 10655 7092 4859 1888 108.93 161.65/161.76 c 217024 198 5474 263249 48 11864 7802 5458 1896 114.46 161.65/161.76 c 234169 198 6962 344514 49 14821 8583 6946 1906 122.84 161.65/161.76 c 259988 198 6970 340764 48 14886 9442 6954 1886 137.84 161.65/161.76 o 274 161.84/161.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 161.84/161.94 c 297931 198 7073 401428 56 15289 3004 7057 1842 161.72 161.84/161.94 c 298031 198 1619 93349 57 4216 3305 1603 1841 161.86 161.84/161.94 o 270 161.84/161.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 161.84/161.95 c 298106 198 1695 96701 57 4498 3004 1679 1841 161.89 161.84/161.95 o 268 162.04/162.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 162.04/162.14 c 298144 198 1735 99788 57 4708 3004 1719 1841 161.91 162.04/162.14 c 298245 198 1836 104539 56 4895 3305 1820 1841 161.96 162.04/162.14 c 298495 198 2092 117852 56 5439 3636 2076 1841 162.07 162.04/162.14 o 262 162.14/162.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 162.14/162.22 c 298546 198 2145 120799 56 5649 3004 2129 1841 162.10 162.14/162.22 c 298646 198 2246 125248 55 5870 3305 2230 1841 162.13 162.14/162.22 o 260 162.14/162.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 162.14/162.27 c 298736 198 2341 130829 55 6162 3004 2325 1842 162.18 162.14/162.27 c 298839 198 2445 135926 55 6402 3305 2429 1842 162.22 162.14/162.27 o 258 162.24/162.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 162.24/162.34 c 298854 198 2462 137402 55 6539 3004 2446 1842 162.23 162.24/162.34 c 298954 198 2563 142210 55 6771 3305 2547 1842 162.28 162.24/162.34 o 246 164.54/164.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 164.54/164.67 c 298996 198 2606 145040 55 6957 3004 2590 1842 162.30 164.54/164.67 c 299096 198 2706 149171 55 7174 3305 2690 1842 162.34 164.54/164.67 c 299346 198 2962 164808 55 7742 3636 2946 1842 162.46 164.54/164.67 c 299823 198 3445 191084 55 8726 4000 3429 1842 162.71 164.54/164.67 c 300636 198 2185 128980 59 5593 4401 2169 1843 163.12 164.54/164.67 c 301956 198 3572 223514 62 9147 4842 3556 1844 163.73 164.54/164.67 o 244 166.35/166.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 166.35/166.47 c 303660 198 2794 179867 64 6854 3004 2778 1844 164.62 166.35/166.47 c 303760 198 2894 185014 63 7043 3305 2878 1844 164.68 166.35/166.47 c 304010 198 3151 198095 62 7574 3636 3135 1844 164.79 166.35/166.47 c 304485 198 3632 224825 61 8605 4000 3616 1845 165.01 166.35/166.47 c 305298 198 2399 135760 56 5967 4401 2383 1846 165.38 166.35/166.47 c 306618 198 3805 235818 61 9886 4842 3789 1847 166.01 166.35/166.47 o 239 166.45/166.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 166.45/166.55 c 307509 198 4709 284605 60 11911 3004 4693 1847 166.43 166.45/166.55 c 307609 198 1619 94999 58 4243 3305 1603 1847 166.48 166.45/166.55 o 238 292.81/292.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 292.81/292.90 c 307688 198 1701 100987 59 4534 3004 1685 1847 166.51 292.81/292.90 c 307790 198 1804 106370 58 4764 3305 1788 1848 166.55 292.81/292.90 c 308040 198 2061 122688 59 5326 3636 2045 1848 166.65 292.81/292.90 c 308515 198 2537 147264 58 6290 4000 2521 1849 166.84 292.81/292.90 c 309328 198 3362 189283 56 7937 4401 3346 1850 167.16 292.81/292.90 c 310648 198 2440 125719 51 5770 4842 2424 1852 167.74 292.81/292.90 c 312730 198 4548 237788 52 10081 5327 4532 1853 168.69 292.81/292.90 c 315953 198 5074 275008 54 11095 5860 5058 1854 170.37 292.81/292.90 c 320889 198 4091 194631 47 9117 6447 4075 1856 172.82 292.81/292.90 c 328395 198 5087 245721 48 11081 7092 5071 1861 176.43 292.81/292.90 c 339756 198 5727 297087 51 12415 7802 5711 1863 182.36 292.81/292.90 c 356901 198 7269 393607 54 15466 8583 7253 1860 191.88 292.81/292.91 c 382721 198 7293 371513 50 15501 9442 7277 1855 206.30 292.81/292.91 c 421553 198 8378 452589 54 17871 10387 8362 1828 230.58 292.81/292.91 c 479905 198 9953 503958 50 20851 11426 9937 1801 266.45 292.81/292.91 o 234 293.01/293.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 293.01/293.11 c 519930 198 10132 505322 49 21634 3004 10116 1775 292.82 293.01/293.11 c 520030 198 1622 94088 58 4230 3305 1606 1774 293.01 293.01/293.11 o 230 293.80/293.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 293.80/293.94 c 520083 198 1678 96738 57 4452 3004 1662 1774 293.03 293.80/293.94 c 520183 198 1779 101828 57 4656 3305 1763 1774 293.08 293.80/293.94 c 520433 198 2030 112894 55 5126 3636 2014 1775 293.17 293.80/293.94 c 520908 198 2509 136983 54 6140 4000 2493 1775 293.38 293.80/293.94 c 521721 198 3339 183411 54 7816 4401 3323 1776 293.76 293.80/293.94 o 226 293.90/294.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 293.90/294.04 c 521929 198 3549 195487 55 8384 3004 3533 1776 293.86 293.90/294.04 c 522029 198 1621 86072 53 4158 3305 1605 1776 293.91 293.90/294.04 o 222 295.01/295.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 295.01/295.11 c 522168 198 1763 94207 53 4576 3004 1747 1776 293.96 295.01/295.11 c 522268 198 1867 99375 53 4786 3305 1851 1776 294.00 295.01/295.11 c 522518 198 2121 111322 52 5313 3636 2105 1776 294.11 295.01/295.11 c 522993 198 2607 137328 52 6314 4000 2591 1776 294.33 295.01/295.11 c 523806 198 3427 179458 52 7975 4401 3411 1777 294.73 295.01/295.11 o 212 295.21/295.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 295.21/295.36 c 524467 198 4099 217675 53 9522 3004 4083 1777 295.03 295.21/295.36 c 524569 198 1623 85979 52 4236 3305 1607 1777 295.08 295.21/295.36 c 524819 198 1884 99650 52 4813 3636 1868 1777 295.18 295.21/295.36 o 210 302.50/302.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 302.50/302.60 c 525080 198 2152 114229 53 5520 3004 2136 1778 295.28 302.50/302.60 c 525180 198 2255 118337 52 5717 3305 2239 1778 295.32 302.50/302.60 c 525430 198 2516 132092 52 6276 3636 2500 1778 295.43 302.50/302.60 c 525905 198 3001 158212 52 7353 4000 2985 1778 295.64 302.50/302.60 c 526718 198 3829 202128 52 9011 4401 3813 1779 296.05 302.50/302.60 c 528038 198 2900 150167 51 6717 4842 2884 1780 296.63 302.50/302.60 c 530119 198 2520 138260 54 5943 5327 2504 1781 297.60 302.50/302.60 c 533342 198 3038 150791 49 7055 5860 3022 1783 299.02 302.50/302.60 c 538278 198 4996 257260 51 10922 6447 4980 1786 301.32 302.50/302.60 o 206 304.61/304.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 304.61/304.79 c 540637 198 4080 225532 55 9287 3004 4064 1787 302.52 304.61/304.79 c 540739 198 1621 95054 58 4235 3305 1605 1787 302.57 304.61/304.79 c 540990 198 1873 107288 57 4736 3636 1857 1787 302.67 304.61/304.79 c 541465 198 2350 131450 55 5700 4000 2334 1787 302.87 304.61/304.79 c 542278 198 3167 174620 55 7360 4401 3151 1788 303.22 304.61/304.79 c 543598 198 2218 116302 52 5402 4842 2202 1789 303.82 304.61/304.79 o 205 352.89/353.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 352.89/353.10 c 545510 198 4150 229893 55 9456 3004 4134 1790 304.71 352.89/353.10 c 545610 198 1619 93582 57 4199 3305 1603 1790 304.76 352.89/353.10 c 545860 198 1873 104959 56 4692 3636 1857 1790 304.85 352.89/353.10 c 546337 198 2358 129067 54 5680 4000 2342 1791 305.04 352.89/353.10 c 547150 198 3185 169035 53 7367 4401 3169 1791 305.37 352.89/353.10 c 548470 198 2231 107018 47 5362 4842 2215 1792 305.92 352.89/353.10 c 550551 198 4322 213071 49 9545 5327 4306 1794 306.78 352.89/353.10 c 553774 198 4877 245469 50 10645 5860 4861 1797 308.13 352.89/353.10 c 558710 198 3874 206954 53 8643 6447 3858 1798 310.59 352.89/353.10 c 566217 198 4911 238204 48 10724 7092 4895 1802 314.13 352.89/353.10 c 577578 198 5576 270978 48 12054 7802 5560 1806 319.65 352.89/353.10 c 594722 198 6996 363441 51 14898 8583 6980 1809 328.74 352.89/353.10 c 620541 198 7033 349826 49 14966 9442 7017 1810 342.83 352.89/353.10 o 164 369.28/369.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 369.28/369.47 c 637731 198 5341 283212 53 11746 3004 5325 1806 353.00 369.28/369.47 c 637831 198 1619 86216 53 4147 3305 1603 1806 353.09 369.28/369.47 c 638081 198 1871 98828 52 4645 3636 1855 1806 353.19 369.28/369.47 c 638556 198 2347 123392 52 5618 4000 2331 1806 353.40 369.28/369.47 c 639369 198 3169 164596 51 7259 4401 3153 1807 353.75 369.28/369.47 c 640689 198 2271 110526 48 5448 4842 2255 1807 354.36 369.28/369.47 c 642770 198 4367 215847 49 9649 5327 4351 1809 355.29 369.28/369.47 c 645993 198 4893 227624 46 10686 5860 4877 1811 356.64 369.28/369.47 c 650930 198 3873 193264 49 8659 6447 3857 1813 358.96 369.28/369.47 c 658436 198 4869 223318 45 10637 7092 4853 1815 362.61 369.28/369.47 c 669797 198 5497 301335 54 12086 7802 5481 1817 368.59 369.28/369.47 o 152 370.08/370.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 370.08/370.20 c 671363 198 7080 379214 53 15385 3004 7064 1817 369.37 370.08/370.20 c 671463 198 1623 83025 51 4186 3305 1607 1817 369.50 370.08/370.20 c 671713 198 1874 95402 50 4687 3636 1858 1817 369.60 370.08/370.20 c 672189 198 2352 118250 50 5651 4000 2336 1817 369.80 370.08/370.20 o 126 370.08/370.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 370.08/370.26 c 672883 198 3067 156207 50 7270 3004 3051 1818 370.10 370.08/370.26 c 672984 192 1621 83999 51 4213 3305 1605 1818 370.14 370.08/370.26 o 124 370.08/370.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 370.08/370.29 c 673024 192 1662 85765 51 4411 2992 1646 1818 370.15 370.08/370.29 o 122 370.29/370.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 370.29/370.49 c 673101 192 1740 92517 53 4691 2992 1724 1818 370.19 370.29/370.49 c 673201 192 1844 101403 54 4982 3292 1828 1818 370.24 370.29/370.49 c 673451 190 2095 113167 54 5467 3622 2079 1818 370.33 370.29/370.49 o 121 370.39/370.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 370.39/370.50 c 673594 187 2241 119694 53 5880 2982 2225 1818 370.39 370.39/370.50 o 119 370.39/370.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 370.39/370.51 c 673626 187 2275 121459 53 6063 2982 2259 1818 370.40 370.39/370.51 o 117 372.18/372.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 372.18/372.36 c 673647 187 2297 123080 53 6222 2982 2281 1818 370.41 372.18/372.36 c 673747 187 2397 128359 53 6423 3281 2381 1818 370.45 372.18/372.36 c 673997 186 2653 140410 52 6974 3610 2637 1818 370.55 372.18/372.36 c 674472 186 3134 164738 52 7936 3972 3118 1819 370.75 372.18/372.36 c 675285 186 3961 203256 51 9600 4370 3945 1819 371.08 372.18/372.36 c 676605 185 3074 144078 46 7057 4808 3058 1820 371.66 372.18/372.36 o 110 372.28/372.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 372.28/372.48 c 678039 185 4511 208945 46 10044 2978 4495 1821 372.25 372.28/372.48 c 678139 185 1622 76221 46 4176 3276 1606 1821 372.32 372.28/372.48 o 109 413.58/413.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 413.58/413.73 c 678291 185 1787 87392 48 4763 2978 1771 1821 372.38 413.58/413.73 c 678391 185 1887 91068 48 4971 3276 1871 1821 372.41 413.58/413.73 c 678641 185 2139 101073 47 5473 3604 2123 1821 372.49 413.58/413.73 c 679116 185 2615 120911 46 6424 3965 2599 1822 372.66 413.58/413.73 c 679929 185 3430 156594 45 8061 4362 3414 1823 372.97 413.58/413.73 c 681250 185 2503 107578 42 5885 4799 2487 1823 373.51 413.58/413.73 c 683331 184 4605 198440 43 10099 5279 4589 1825 374.34 413.58/413.73 c 686554 184 5145 224159 43 11214 5807 5129 1827 375.70 413.58/413.73 c 691490 184 4175 179655 43 9225 6388 4159 1830 377.80 413.58/413.73 c 698996 184 5211 237247 45 11307 7027 5195 1834 380.94 413.58/413.73 c 710357 184 5882 297755 50 12651 7730 5866 1839 386.13 413.58/413.73 c 727501 184 7346 390406 53 15575 8504 7330 1841 394.98 413.58/413.73 c 753320 184 7328 364739 49 15547 9355 7312 1843 408.69 413.58/413.73 o 106 413.68/413.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 413.68/413.86 c 762054 184 6637 328597 49 14339 2976 6621 1842 413.62 413.68/413.86 c 762154 184 1621 78493 48 4121 3274 1605 1842 413.73 413.68/413.86 o 104 490.45/490.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 490.45/490.64 c 762208 184 1677 82591 49 4351 2976 1661 1842 413.75 490.45/490.64 c 762308 184 1778 87107 48 4545 3274 1762 1842 413.79 490.45/490.64 c 762558 184 2034 99028 48 5064 3602 2018 1842 413.89 490.45/490.64 c 763033 184 2523 122988 48 6072 3963 2507 1842 414.08 490.45/490.64 c 763846 184 3336 159003 47 7700 4360 3320 1843 414.43 490.45/490.64 c 765166 184 2427 113456 46 5739 4797 2411 1843 415.01 490.45/490.64 c 767247 183 4514 207457 45 9906 5277 4498 1844 415.86 490.45/490.64 c 770470 183 5045 219440 43 10958 5805 5029 1846 417.15 490.45/490.64 c 775409 183 4070 220810 54 9023 6386 4054 1848 419.52 490.45/490.64 c 782916 183 5063 279074 55 11028 7025 5047 1849 423.31 490.45/490.64 c 794277 182 5763 270109 46 12395 7728 5747 1852 428.71 490.45/490.64 c 811421 182 7329 333668 45 15533 8501 7313 1859 436.39 490.45/490.64 c 837240 182 7452 354315 47 15776 9352 7436 1863 449.24 490.45/490.64 c 876072 182 8516 404665 47 17935 10288 8500 1867 469.18 490.45/490.64 o 101 490.65/490.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 490.65/490.85 c 915734 182 6825 318161 46 14683 2972 6809 1866 490.51 490.65/490.85 c 915835 182 1620 78893 48 4169 3270 1604 1866 490.69 490.65/490.85 o 98 490.85/491.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 490.85/491.01 c 915904 182 1691 83626 49 4409 2972 1675 1866 490.71 490.85/491.01 c 916005 182 1800 92545 51 4666 3270 1784 1866 490.75 490.85/491.01 c 916255 182 2064 112859 54 5284 3598 2048 1866 490.84 490.85/491.01 o 97 491.05/491.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 491.05/491.21 c 916351 182 2171 121760 56 5663 2972 2155 1866 490.88 491.05/491.21 c 916451 182 2271 128283 56 5869 3270 2255 1866 490.92 491.05/491.21 c 916703 182 2535 143303 56 6532 3598 2519 1866 491.02 491.05/491.21 o 95 1797.98/1798.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.98/1798.51 c 916826 182 2667 151036 56 6899 2972 2651 1866 491.07 1797.98/1798.51 c 916926 182 2769 159544 57 7120 3270 2753 1867 491.12 1797.98/1798.51 c 917176 182 3019 169408 56 7633 3598 3003 1867 491.21 1797.98/1798.51 c 917651 182 3494 188533 53 8583 3958 3478 1867 491.37 1797.98/1798.51 c 918464 182 2257 112068 49 5380 4354 2241 1867 491.70 1797.98/1798.51 c 919784 182 3580 174543 48 8038 4790 3564 1868 492.15 1797.98/1798.51 c 921865 182 3216 139572 43 7308 5270 3200 1870 492.90 1797.98/1798.51 c 925088 182 3750 157178 41 8370 5798 3734 1872 494.15 1797.98/1798.51 c 930026 182 5733 244457 42 12333 6378 5717 1874 496.04 1797.98/1798.51 c 937532 182 3518 150222 42 7906 7016 3502 1878 498.96 1797.98/1798.51 c 948893 182 4192 186987 44 9247 7718 4176 1885 503.22 1797.98/1798.51 c 966037 182 5701 236037 41 12273 8490 5685 1893 510.18 1797.98/1798.51 c 991857 182 5782 280811 48 12439 9340 5766 1895 523.23 1797.98/1798.51 c 1030690 182 6919 309175 44 14696 10275 6903 1892 544.72 1797.98/1798.51 c 1089042 182 8261 374134 45 17391 11303 8245 1901 572.66 1797.98/1798.51 c 1176674 182 10437 472187 45 21742 12434 10421 1907 616.97 1797.98/1798.51 c 1308226 182 10537 484189 45 21929 13678 10521 1901 688.07 1797.98/1798.51 c 1505658 182 8384 380303 45 17629 15046 8368 1878 801.69 1797.98/1798.51 c 1801910 182 9649 448739 46 20156 16551 9633 1833 982.90 1797.98/1798.51 c 2246392 182 13240 672708 50 27356 18207 13224 1770 1268.96 1797.98/1798.51 c 2913219 182 12833 599600 46 26534 20028 12817 1637 1778.91 1797.98/1798.51 c Resources Exceeded 1797.98/1798.51 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 -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 1797.98/1798.51 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.98/1798.51 c 288 2933976 90015 3060764 13538 624221 13522 1631 1798.00 1797.98/1798.51 c Objective: 95 1797.98/1798.51 s SATISFIABLE 1797.98/1798.51 c Total time: 1798 s
OK 95
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877191-1245174112/watcher-1877191-1245174112 -o /tmp/evaluation-result-1877191-1245174112/solver-1877191-1245174112 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877191-1245174112.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/64 804 /proc/meminfo: memFree=1852584/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=18520 CPUtime=0 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 185012204 18964480 243 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 4630 243 189 640 0 3986 0 [startup+0.0265171 s] /proc/loadavg: 0.99 0.98 0.99 3/64 804 /proc/meminfo: memFree=1852584/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=18520 CPUtime=0.02 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 292 0 0 0 2 0 0 0 18 0 1 0 185012204 18964480 272 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 4630 272 196 640 0 3986 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 18520 [startup+0.101523 s] /proc/loadavg: 0.99 0.98 0.99 3/64 804 /proc/meminfo: memFree=1852584/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=11084 CPUtime=0.09 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 372 0 0 0 9 0 0 0 18 0 1 0 185012204 11350016 352 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 2771 352 197 640 0 2127 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11084 [startup+0.301544 s] /proc/loadavg: 0.99 0.98 0.99 3/64 804 /proc/meminfo: memFree=1852584/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=11700 CPUtime=0.29 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 517 0 0 0 29 0 0 0 19 0 1 0 185012204 11980800 497 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 2925 497 197 640 0 2281 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11700 [startup+0.701584 s] /proc/loadavg: 0.99 0.98 0.99 3/64 804 /proc/meminfo: memFree=1852584/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=12560 CPUtime=0.69 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 743 0 0 0 69 0 0 0 22 0 1 0 185012204 12861440 723 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 3140 723 197 640 0 2496 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12560 [startup+1.50167 s] /proc/loadavg: 0.99 0.98 0.99 2/65 805 /proc/meminfo: memFree=1849824/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=14140 CPUtime=1.49 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 1133 0 0 0 148 1 0 0 25 0 1 0 185012204 14479360 1113 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 3535 1113 197 640 0 2891 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14140 [startup+3.10183 s] /proc/loadavg: 0.99 0.98 0.99 2/65 805 /proc/meminfo: memFree=1848352/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=14508 CPUtime=3.09 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 1239 0 0 0 308 1 0 0 25 0 1 0 185012204 14856192 1219 1992294400 134512640 137136520 4294956256 18446744073709551615 134598612 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 3627 1219 197 640 0 2983 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14508 [startup+6.30116 s] /proc/loadavg: 0.99 0.98 0.99 2/65 805 /proc/meminfo: memFree=1847648/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=15612 CPUtime=6.29 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 1505 0 0 0 627 2 0 0 25 0 1 0 185012204 15986688 1485 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 3903 1485 197 640 0 3259 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15612 [startup+12.7018 s] /proc/loadavg: 0.99 0.98 0.99 2/65 805 /proc/meminfo: memFree=1847072/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=15740 CPUtime=12.69 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 1530 0 0 0 1265 4 0 0 25 0 1 0 185012204 16117760 1510 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 3935 1510 197 640 0 3291 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15740 [startup+25.5011 s] /proc/loadavg: 0.99 0.98 0.99 2/65 805 /proc/meminfo: memFree=1845792/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=16852 CPUtime=25.48 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 1824 0 0 0 2541 7 0 0 25 0 1 0 185012204 17256448 1804 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 4213 1804 197 640 0 3569 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16852 [startup+51.1018 s] /proc/loadavg: 0.99 0.98 0.99 2/65 805 /proc/meminfo: memFree=1844192/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=18448 CPUtime=51.08 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 2222 0 0 0 5096 12 0 0 25 0 1 0 185012204 18890752 2202 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 4612 2202 197 640 0 3968 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 18448 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/65 805 /proc/meminfo: memFree=1844256/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=18172 CPUtime=102.26 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 2222 0 0 0 10204 22 0 0 25 0 1 0 185012204 18608128 2142 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 4543 2142 197 640 0 3899 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 18172 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 805 /proc/meminfo: memFree=1844000/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=18656 CPUtime=162.24 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 2323 0 0 0 16191 33 0 0 25 0 1 0 185012204 19103744 2242 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 4664 2242 197 640 0 4020 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 18656 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 805 /proc/meminfo: memFree=1844000/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=18472 CPUtime=222.23 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 2323 0 0 0 22178 45 0 0 25 0 1 0 185012204 18915328 2217 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 4618 2217 197 640 0 3974 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 18472 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 805 /proc/meminfo: memFree=1842656/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=19892 CPUtime=282.21 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 2668 0 0 0 28167 54 0 0 25 0 1 0 185012204 20369408 2562 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 4973 2562 197 640 0 4329 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 19892 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 805 /proc/meminfo: memFree=1843360/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=18940 CPUtime=342.19 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 2811 0 0 0 34154 65 0 0 25 0 1 0 185012204 19394560 2334 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 4735 2334 197 640 0 4091 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 18940 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 805 /proc/meminfo: memFree=1843552/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=18704 CPUtime=402.17 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 2811 0 0 0 40138 79 0 0 25 0 1 0 185012204 19152896 2275 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 4676 2275 197 640 0 4032 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 18704 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 805 /proc/meminfo: memFree=1843552/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=18704 CPUtime=462.16 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 2811 0 0 0 46125 91 0 0 25 0 1 0 185012204 19152896 2275 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 4676 2275 197 640 0 4032 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 18704 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 805 /proc/meminfo: memFree=1843552/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=18704 CPUtime=522.14 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 2811 0 0 0 52112 102 0 0 25 0 1 0 185012204 19152896 2275 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 4676 2275 197 640 0 4032 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 18704 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 805 /proc/meminfo: memFree=1843552/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=18704 CPUtime=582.13 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 2811 0 0 0 58099 114 0 0 25 0 1 0 185012204 19152896 2275 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 4676 2275 197 640 0 4032 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 18704 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 807 /proc/meminfo: memFree=1842464/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=19860 CPUtime=642.11 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 3099 0 0 0 64086 125 0 0 25 0 1 0 185012204 20336640 2563 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 4965 2563 197 640 0 4321 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 19860 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1838944/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=23424 CPUtime=1061.98 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 3985 0 0 0 106000 198 0 0 25 0 1 0 185012204 23986176 3441 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 5856 3441 197 640 0 5212 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 23424 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 807 /proc/meminfo: memFree=1838112/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=24172 CPUtime=1121.97 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 4180 0 0 0 111990 207 0 0 25 0 1 0 185012204 24752128 3636 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 6043 3636 197 640 0 5399 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 24172 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 813 /proc/meminfo: memFree=1837920/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=24152 CPUtime=1181.95 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 4180 0 0 0 117977 218 0 0 25 0 1 0 185012204 24731648 3636 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 6038 3636 197 640 0 5394 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 24152 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 813 /proc/meminfo: memFree=1837920/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=24148 CPUtime=1241.93 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 4180 0 0 0 123966 227 0 0 25 0 1 0 185012204 24727552 3636 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 6037 3636 197 640 0 5393 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 24148 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 813 /proc/meminfo: memFree=1837728/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=24496 CPUtime=1301.92 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 4254 0 0 0 129954 238 0 0 25 0 1 0 185012204 25083904 3709 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 6124 3709 197 640 0 5480 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 24496 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 813 /proc/meminfo: memFree=1837664/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=24476 CPUtime=1361.89 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 4254 0 0 0 135941 248 0 0 25 0 1 0 185012204 25063424 3709 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 6119 3709 197 640 0 5475 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 24476 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 813 /proc/meminfo: memFree=1837664/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=24476 CPUtime=1421.89 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 4254 0 0 0 141932 257 0 0 25 0 1 0 185012204 25063424 3709 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 6119 3709 197 640 0 5475 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 24476 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 813 /proc/meminfo: memFree=1837600/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=24476 CPUtime=1481.87 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 4254 0 0 0 147920 267 0 0 25 0 1 0 185012204 25063424 3709 1992294400 134512640 137136520 4294956256 18446744073709551615 134544714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 6119 3709 197 640 0 5475 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 24476 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 813 /proc/meminfo: memFree=1837600/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=24392 CPUtime=1541.85 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 4254 0 0 0 153908 277 0 0 25 0 1 0 185012204 24977408 3697 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 6098 3697 197 640 0 5454 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 24392 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 813 /proc/meminfo: memFree=1837600/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=24392 CPUtime=1601.83 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 4254 0 0 0 159895 288 0 0 25 0 1 0 185012204 24977408 3697 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 6098 3697 197 640 0 5454 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 24392 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 813 /proc/meminfo: memFree=1837600/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=24388 CPUtime=1661.82 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 4254 0 0 0 165884 298 0 0 25 0 1 0 185012204 24973312 3696 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 6097 3696 197 640 0 5453 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 24388 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 813 /proc/meminfo: memFree=1837088/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=24816 CPUtime=1721.79 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 4359 0 0 0 171872 307 0 0 25 0 1 0 185012204 25411584 3801 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 6204 3801 197 640 0 5560 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 24816 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 813 /proc/meminfo: memFree=1837152/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=24816 CPUtime=1781.78 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 4359 0 0 0 177862 316 0 0 25 0 1 0 185012204 25411584 3801 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 6204 3801 197 640 0 5560 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 24816 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.99 2/65 813 /proc/meminfo: memFree=1837024/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=25012 CPUtime=1791.39 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 4397 0 0 0 178820 319 0 0 25 0 1 0 185012204 25612288 3839 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 6253 3839 197 640 0 5609 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (KiB) 25012 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.99 2/65 813 /proc/meminfo: memFree=1837024/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=25012 CPUtime=1794.58 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 4397 0 0 0 179139 319 0 0 25 0 1 0 185012204 25612288 3839 1992294400 134512640 137136520 4294956256 18446744073709551615 134540854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 6253 3839 197 640 0 5609 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (KiB) 25012 [startup+1796.7 s] /proc/loadavg: 0.99 0.98 0.99 2/65 813 /proc/meminfo: memFree=1837024/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=25012 CPUtime=1796.18 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 4397 0 0 0 179299 319 0 0 25 0 1 0 185012204 25612288 3839 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 6253 3839 197 640 0 5609 0 Current children cumulated CPU time (s) 1796.18 Current children cumulated vsize (KiB) 25012 [startup+1797.5 s] /proc/loadavg: 0.99 0.98 0.99 2/65 813 /proc/meminfo: memFree=1837024/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=25012 CPUtime=1796.98 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 4397 0 0 0 179379 319 0 0 25 0 1 0 185012204 25612288 3839 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 6253 3839 197 640 0 5609 0 Current children cumulated CPU time (s) 1796.98 Current children cumulated vsize (KiB) 25012 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 813 /proc/meminfo: memFree=1837024/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=25012 CPUtime=1797.77 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 4397 0 0 0 179458 319 0 0 25 0 1 0 185012204 25612288 3839 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 6253 3839 197 640 0 5609 0 Current children cumulated CPU time (s) 1797.77 Current children cumulated vsize (KiB) 25012 [startup+1798.51 s] /proc/loadavg: 0.99 0.98 0.99 2/65 813 /proc/meminfo: memFree=1836960/2055920 swapFree=4191896/4192956 [pid=804] ppid=802 vsize=25012 CPUtime=1797.98 /proc/804/stat : 804 (bsolo) R 802 804 644 0 -1 4194304 4397 0 0 0 179479 319 0 0 25 0 1 0 185012204 25612288 3839 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/804/statm: 6253 3839 197 640 0 5609 0 Current children cumulated CPU time (s) 1797.98 Current children cumulated vsize (KiB) 25012 Child status: 0 Real time (s): 1798.52 CPU time (s): 1798 CPU user time (s): 1794.8 CPU system time (s): 3.20051 CPU usage (%): 99.9714 Max. virtual memory (cumulated for all children) (KiB): 25012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.8 system time used= 3.20051 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4399 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 1692 runsolver used 1.20682 second user time and 3.82442 second system time The end
Begin job on node2 at 2009-06-16 19:41:52 IDJOB=1877191 IDBENCH=2895 IDSOLVER=699 FILE ID=node2/1877191-1245174112 PBS_JOBID= 9363895 Free space on /tmp= 66452 MiB SOLVER NAME= bsolo 3.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_2.opb COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877191-1245174112/watcher-1877191-1245174112 -o /tmp/evaluation-result-1877191-1245174112/solver-1877191-1245174112 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877191-1245174112.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb RANDOM SEED=1972486621 node2.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1853000 kB Buffers: 39820 kB Cached: 92044 kB SwapCached: 260 kB Active: 42640 kB Inactive: 102500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1853000 kB SwapTotal: 4192956 kB SwapFree: 4191896 kB Dirty: 3956 kB Writeback: 0 kB Mapped: 21768 kB Slab: 43664 kB Committed_AS: 156012 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877191-1245174112.opb Free space on /tmp at the end= 66448 MiB End job on node2 at 2009-06-16 20:11:50