Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 25 | 1800.04 | 1800.51 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_2.opb |
MD5SUM | a70b0edfadf87ffd0bc1b32400cae43b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 18 |
Best CPU time to get the best result obtained on this benchmark | 1802.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 18 |
Optimality of the best value was proved | NO |
Number of variables | 172 |
Total number of constraints | 14 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 14 |
Minimum length of a constraint | 74 |
Maximum length of a constraint | 76 |
Number of terms in the objective function | 112 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 3570 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1648 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5454 |
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 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433537-1177960843/instance-433537-1177960843.opb 0.00/0.00 c File size is 10354 bytes. 0.00/0.00 c Highest Coefficient sum: 5454 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.003 s 0.00/0.00 c Var: 172 Constr: 14 0/0/14 Lit: 1058 Watch. Lit: 312 0.00/0.00 c Obj. Vars: 112 (65.1163 % of total variables) 0.00/0.00 c Pre-processing Time: 0.005 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 172 14 1058 75 322 2116 0 0 0.01 0.00/0.00 c Switching off LPR mode. 0.00/0.00 o 643 0.005 0.00/0.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.03 c 0 172 15 1170 78 727 2340 1 0 0.01 0.00/0.03 c 101 172 116 8144 70 926 2575 102 7769 0.01 0.00/0.03 o 606 0.027 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 251 172 267 18946 70 1335 2340 253 9296 0.03 0.00/0.04 c 353 172 369 25361 68 1549 2575 355 9540 0.04 0.00/0.04 o 506 0.037 0.00/0.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.04 c 354 172 371 25546 68 1617 2340 357 9315 0.04 0.00/0.04 o 504 0.038 0.04/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.04/0.06 c 356 172 374 25845 69 1727 2340 360 9368 0.04 0.04/0.06 c 456 172 474 29995 63 1965 2575 460 9913 0.05 0.04/0.06 o 503 0.056 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 540 172 559 35171 62 2195 2340 545 9642 0.06 0.09/0.10 c 641 172 660 40128 60 2453 2575 646 9426 0.07 0.09/0.10 c 892 172 911 53745 58 2936 2833 897 9010 0.10 0.09/0.10 o 493 0.104 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 923 172 943 55490 58 3047 2340 929 8875 0.10 0.19/0.25 c 1024 172 1044 61069 58 3333 2575 1030 8605 0.12 0.19/0.25 c 1274 172 1294 75470 58 3763 2833 1280 8326 0.15 0.19/0.25 c 1749 172 1769 101015 57 4762 3117 1755 7843 0.22 0.19/0.25 o 488 0.248 0.39/0.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.47 c 1910 172 1931 111130 57 5140 2340 1917 7701 0.25 0.39/0.47 c 2010 172 2031 116313 57 5381 2575 2017 7701 0.26 0.39/0.47 c 2260 172 2281 130493 57 5887 2833 2267 7558 0.30 0.39/0.47 c 2737 172 2758 158248 57 6847 3117 2744 7202 0.38 0.39/0.47 o 473 0.473 0.39/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.49 c 3284 172 1651 97371 58 4215 2340 1637 6942 0.47 0.39/0.49 c 3390 172 1757 103218 58 4425 2575 1743 6946 0.49 0.39/0.49 o 468 0.489 0.39/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.49 c 3394 172 1762 103472 58 4509 2340 1748 6940 0.49 0.39/0.49 o 460 0.49 0.39/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.49 c 3395 172 1764 103674 58 4612 2340 1750 6928 0.49 0.39/0.49 o 458 0.494 0.49/0.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.51 c 3423 172 1793 105851 59 4795 2340 1779 6929 0.49 0.49/0.51 o 438 0.507 0.49/0.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.53 c 3505 172 1876 110770 59 5082 2340 1862 6899 0.51 0.49/0.53 c 3605 172 1976 115584 58 5279 2575 1962 6906 0.52 0.49/0.53 o 428 0.53 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 3653 172 2025 117855 58 5464 2340 2011 6892 0.53 0.49/0.54 o 426 0.541 0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.55 c 3720 172 2093 122256 58 5680 2340 2079 6863 0.54 0.49/0.55 o 407 0.547 0.59/0.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.61 c 3750 172 2124 123606 58 5823 2340 2110 6855 0.55 0.59/0.61 c 3850 172 2224 129330 58 6123 2575 2210 6814 0.56 0.59/0.61 c 4100 172 2474 145369 58 6591 2833 2460 6743 0.61 0.59/0.61 o 333 0.616 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 4136 172 2511 146922 58 6620 2340 2497 6714 0.62 0.59/0.63 o 331 0.627 0.59/0.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.64 c 4184 172 1234 72683 58 3274 2340 1220 6673 0.63 0.59/0.64 o 329 0.638 0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.65 c 4279 172 1330 80093 60 3569 2340 1316 6706 0.64 0.59/0.65 o 273 0.647 0.59/0.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.66 c 4344 172 1396 82874 59 3788 2340 1382 6714 0.65 0.59/0.66 c 4447 172 1499 88125 58 4040 2575 1485 6727 0.66 0.59/0.66 o 255 0.664 0.59/0.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.67 c 4470 172 1523 89449 58 4157 2340 1509 6731 0.66 0.59/0.67 o 253 0.672 0.69/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.73 c 4531 172 1585 93096 58 4368 2340 1571 6742 0.67 0.69/0.73 c 4631 172 1685 97661 57 4610 2575 1671 6750 0.69 0.69/0.73 c 4881 172 1935 110417 57 5094 2833 1921 6817 0.72 0.69/0.73 o 241 0.731 0.69/0.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.74 c 4992 172 2047 115910 56 5413 2340 2033 6829 0.73 0.69/0.74 o 237 0.745 0.79/0.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.82 c 5070 172 2126 120023 56 5675 2340 2112 6805 0.74 0.79/0.82 c 5170 172 2226 123578 55 5902 2575 2212 6820 0.76 0.79/0.82 c 5421 172 2477 136994 55 6413 2833 2463 6759 0.80 0.79/0.82 o 208 0.823 6.39/6.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.39/6.47 c 5538 172 2595 142374 54 6696 2340 2581 6729 0.82 6.39/6.47 c 5639 172 1286 64127 49 3283 2575 1272 6729 0.84 6.39/6.47 c 5890 172 1537 77236 50 3794 2833 1523 6825 0.86 6.39/6.47 c 6368 172 2015 105240 52 4748 3117 2001 6982 0.91 6.39/6.47 c 7181 172 2828 139863 49 6343 3429 2814 7202 1.00 6.39/6.47 c 8501 172 2372 113403 47 5437 3772 2358 7222 1.18 6.39/6.47 c 10582 172 2510 114027 45 5694 4150 2496 7111 1.49 6.39/6.47 c 13805 172 3601 152720 42 7880 4566 3587 7072 1.95 6.39/6.47 c 18741 172 3860 185961 48 8390 5023 3846 6453 2.90 6.39/6.47 c 26248 172 3693 163473 44 8092 5526 3679 6236 4.21 6.39/6.47 c 37609 172 3776 157960 41 8263 6079 3762 5893 6.38 6.39/6.47 o 206 6.471 6.59/6.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.59/6.69 c 38306 172 4474 199407 44 9767 2340 4460 5919 6.47 6.59/6.69 c 38406 172 1285 65383 50 3270 2575 1271 5867 6.54 6.59/6.69 c 38656 172 1535 76033 49 3785 2833 1521 5881 6.57 6.59/6.69 c 39131 172 2010 97435 48 4729 3117 1996 5901 6.63 6.59/6.69 o 200 6.694 6.69/6.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.69/6.78 c 39637 172 2517 123726 49 5849 2340 2503 5921 6.69 6.69/6.78 c 39737 172 1285 61131 47 3269 2575 1271 5922 6.71 6.69/6.78 c 39987 172 1535 74196 48 3768 2833 1521 5937 6.74 6.69/6.78 o 197 6.776 6.79/6.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.79/6.86 c 40351 172 1900 92846 48 4616 2340 1886 5954 6.78 6.79/6.86 c 40451 172 2000 96510 48 4796 2575 1986 5959 6.79 6.79/6.86 c 40701 172 2250 108398 48 5303 2833 2236 5967 6.82 6.79/6.86 o 195 6.857 6.89/6.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.89/6.91 c 40942 172 2492 119666 48 5921 2340 2478 5970 6.86 6.89/6.91 c 41042 172 1285 61600 47 3250 2575 1271 5968 6.88 6.89/6.91 o 194 6.906 6.89/6.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.89/6.92 c 41256 172 1500 74537 49 3814 2340 1486 5973 6.91 6.89/6.92 o 190 6.915 6.89/6.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.89/6.95 c 41315 172 1560 77757 49 4036 2340 1546 5974 6.92 6.89/6.95 c 41415 172 1660 80963 48 4233 2575 1646 5980 6.92 6.89/6.95 o 186 6.951 6.99/7.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.99/7.10 c 41575 172 1821 89249 49 4681 2340 1807 5981 6.95 6.99/7.10 c 41675 172 1921 94302 49 4877 2575 1907 5983 6.96 6.99/7.10 c 41925 172 2171 104222 48 5368 2833 2157 5990 7.00 6.99/7.10 c 42403 172 2649 130821 49 6327 3117 2635 5997 7.07 6.99/7.10 o 185 7.095 7.09/7.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.10 c 42535 172 2782 136559 49 6708 2340 2768 5995 7.09 7.09/7.10 o 181 7.102 7.09/7.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.11 c 42541 172 1192 59882 50 3201 2340 1178 5990 7.10 7.09/7.11 o 179 7.105 7.09/7.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.11 c 42561 172 1213 61013 50 3350 2340 1199 5990 7.11 7.09/7.11 o 175 7.108 7.09/7.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.12 c 42594 172 1247 62375 50 3506 2340 1233 5992 7.11 7.09/7.12 o 173 7.116 7.09/7.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.13 c 42637 172 1291 65137 50 3706 2340 1277 5991 7.12 7.09/7.13 c 42737 172 1391 68719 49 3933 2575 1377 5995 7.13 7.09/7.13 o 124 7.134 7.09/7.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.15 c 42770 172 1425 70766 49 4095 2340 1411 5995 7.13 7.09/7.15 o 118 7.146 7.09/7.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.15 c 42833 168 1489 73184 49 4331 2332 1475 5993 7.15 7.09/7.15 o 116 7.148 7.09/7.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.09/7.15 c 42846 168 1503 74259 49 4474 2332 1489 5994 7.15 7.09/7.15 o 114 7.153 7.19/7.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.19/7.21 c 42867 168 1525 75813 49 4618 2332 1511 5992 7.15 7.19/7.21 c 42967 165 1625 80171 49 4817 2566 1611 5994 7.17 7.19/7.21 o 112 7.205 8.79/8.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.79/8.81 c 43172 164 1831 90125 49 5331 2324 1817 5991 7.21 8.79/8.81 c 43272 162 1931 93697 48 5534 2557 1917 5992 7.22 8.79/8.81 c 43522 162 2181 103056 47 6028 2813 2167 5998 7.26 8.79/8.81 c 43997 162 2656 121782 45 6986 3095 2642 5998 7.33 8.79/8.81 c 44810 162 1876 77254 41 4436 3405 1862 5997 7.47 8.79/8.81 c 46130 160 3196 126403 39 7081 3746 3182 6039 7.64 8.79/8.81 c 48212 160 3352 128191 38 7394 4121 3338 6074 7.94 8.79/8.81 c 51435 160 2363 95113 40 5406 4534 2349 6056 8.49 8.79/8.81 o 111 8.807 8.89/8.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.89/8.91 c 53538 159 4467 180201 40 9726 2314 4453 6078 8.81 8.89/8.91 c 53638 159 1285 52308 40 3260 2546 1271 6062 8.85 8.89/8.91 c 53888 159 1535 62225 40 3761 2801 1521 6069 8.88 8.89/8.91 o 105 8.912 10.89/10.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.89/10.91 c 54156 159 1804 72638 40 4393 2314 1790 6076 8.91 10.89/10.91 c 54256 159 1904 76915 40 4597 2546 1890 6079 8.93 10.89/10.91 c 54506 159 2154 87128 40 5099 2801 2140 6083 8.96 10.89/10.91 c 54981 159 2629 105906 40 6041 3082 2615 6093 9.02 10.89/10.91 c 55794 159 1867 75050 40 4420 3391 1853 6101 9.14 10.89/10.91 c 57114 159 3187 128505 40 7043 3731 3173 6129 9.32 10.89/10.91 c 59195 159 3350 138746 41 7379 4105 3336 6133 9.65 10.89/10.91 c 62418 159 2367 98082 41 5414 4516 2353 6144 10.16 10.89/10.91 o 104 10.906 10.89/10.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.89/10.91 c 66983 159 2329 89260 38 5446 2314 2315 6141 10.91 10.89/10.91 o 102 10.908 22.98/23.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.98/23.05 c 66993 159 2340 89785 38 5566 2314 2326 6141 10.91 22.98/23.05 c 67094 159 1212 50431 41 3116 2546 1198 6138 10.93 22.98/23.05 c 67344 159 1462 60071 41 3611 2801 1448 6147 10.95 22.98/23.05 c 67819 159 1937 78589 40 4562 3082 1923 6162 11.01 22.98/23.05 c 68632 159 2750 112434 40 6182 3391 2736 6177 11.11 22.98/23.05 c 69952 159 2322 93054 40 5315 3731 2308 6197 11.29 22.98/23.05 c 72033 158 2485 111068 44 5657 4105 2471 6192 11.63 22.98/23.05 c 75256 158 3607 146174 40 7876 4516 3593 6243 12.05 22.98/23.05 c 80192 158 3946 162169 41 8571 4968 3932 6229 12.87 22.98/23.05 c 87698 158 3868 160965 41 8414 5465 3854 6188 14.17 22.98/23.05 c 99059 158 4121 177772 43 8929 6012 4107 6067 16.32 22.98/23.05 c 116203 158 6002 268254 44 12679 6614 5988 5805 20.02 22.98/23.05 o 73 23.05 23.08/23.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.08/23.12 c 129805 158 6185 260466 42 13159 2312 6171 5631 23.05 23.08/23.12 o 69 23.113 1267.86/1268.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1267.86/1268.24 c 129808 158 1189 51183 43 3167 2312 1175 5616 23.11 1267.86/1268.24 c 129908 158 1289 57045 44 3367 2544 1275 5617 23.12 1267.86/1268.24 c 130158 158 1539 66172 42 3854 2799 1525 5622 23.15 1267.86/1268.24 c 130633 158 2014 83280 41 4805 3079 2000 5629 23.21 1267.86/1268.24 c 131446 158 2827 115356 40 6431 3387 2813 5637 23.32 1267.86/1268.24 c 132766 158 2416 90036 37 5509 3726 2402 5650 23.50 1267.86/1268.24 c 134847 158 2580 99684 38 5835 4099 2566 5660 23.82 1267.86/1268.24 c 138071 158 3709 141085 38 8102 4509 3695 5680 24.31 1267.86/1268.24 c 143008 158 4056 155056 38 8792 4960 4042 5710 25.04 1267.86/1268.24 c 150514 158 3978 156769 39 8632 5457 3964 5714 26.34 1267.86/1268.24 c 161875 158 4248 160824 37 9177 6003 4234 5701 28.39 1267.86/1268.24 c 179019 158 3097 123650 39 6864 6604 3083 5654 31.66 1267.86/1268.24 c 204838 158 5526 228629 41 11711 7265 5512 5550 36.90 1267.86/1268.24 c 243670 158 3970 160416 40 8594 7992 3956 5321 45.79 1267.86/1268.24 c 302022 158 5754 236498 41 12177 8792 5740 5048 59.83 1267.86/1268.24 c 389654 158 4561 182917 40 9801 9672 4547 4711 82.71 1267.86/1268.24 c 521206 158 9309 365085 39 19288 10640 9295 4251 122.58 1267.86/1268.24 c 718638 158 8346 344610 41 17360 11705 8332 3893 184.57 1267.86/1268.24 c 1014890 158 9894 405155 40 20453 12876 9880 3489 290.85 1267.86/1268.24 c 1459373 158 7194 299589 41 15063 14164 7180 3131 466.09 1267.86/1268.24 c 2126201 158 11579 499124 43 23824 15581 11565 2780 764.68 1267.86/1268.24 c 3126546 158 9383 353577 37 19445 17140 9369 2526 1237.68 1267.86/1268.24 o 67 1267.91 1271.06/1271.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1271.06/1271.43 c 3193593 158 16103 626593 38 32990 2312 16089 2518 1267.91 1271.06/1271.43 c 3193693 158 1285 59031 45 3238 2544 1271 2517 1268.43 1271.06/1271.43 c 3193943 158 1535 70585 45 3763 2799 1521 2517 1268.46 1271.06/1271.43 c 3194418 158 2010 86545 43 4703 3079 1996 2518 1268.51 1271.06/1271.43 c 3195231 158 2823 115673 40 6326 3387 2809 2518 1268.61 1271.06/1271.43 c 3196551 158 2396 89752 37 5479 3726 2382 2519 1268.80 1271.06/1271.43 c 3198632 158 2576 92492 35 5836 4099 2562 2520 1269.10 1271.06/1271.43 c 3201855 158 3705 139940 37 8080 4509 3691 2521 1269.58 1271.06/1271.43 c 3206791 158 4030 147652 36 8739 4960 4016 2524 1270.27 1271.06/1271.43 o 66 1271.1 1318.85/1319.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1318.85/1319.23 c 3211930 158 4128 159108 38 9040 2312 4114 2526 1271.10 1318.85/1319.23 c 3212030 158 1285 51014 39 3242 2544 1271 2526 1271.14 1318.85/1319.23 c 3212280 158 1535 59430 38 3742 2799 1521 2527 1271.17 1318.85/1319.23 c 3212755 158 2010 75265 37 4676 3079 1996 2527 1271.21 1318.85/1319.23 c 3213568 158 2823 102813 36 6323 3387 2809 2527 1271.29 1318.85/1319.23 c 3214888 158 2400 83017 34 5489 3726 2386 2528 1271.46 1318.85/1319.23 c 3216969 158 2584 96793 37 5843 4099 2570 2529 1271.75 1318.85/1319.23 c 3220192 158 3701 145245 39 8077 4509 3687 2531 1272.24 1318.85/1319.23 c 3225128 158 4034 148413 36 8726 4960 4020 2533 1272.94 1318.85/1319.23 c 3232634 158 3971 142916 35 8597 5457 3957 2537 1274.18 1318.85/1319.23 c 3243996 158 4254 157865 37 9154 6003 4240 2542 1275.91 1318.85/1319.23 c 3261140 158 3108 113241 36 6872 6604 3094 2549 1279.08 1318.85/1319.23 c 3286959 158 5490 204297 37 11667 7265 5476 2560 1283.86 1318.85/1319.23 c 3325791 158 3920 149571 38 8502 7992 3906 2573 1292.28 1318.85/1319.23 c 3384144 158 5700 219340 38 12054 8792 5686 2593 1304.74 1318.85/1319.23 o 59 1318.89 1318.85/1319.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1318.85/1319.28 c 3440680 158 4522 183961 40 9832 2312 4508 2608 1318.89 1318.85/1319.28 o 57 1318.93 1324.45/1324.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1324.45/1324.84 c 3440711 156 1217 53432 43 3220 2308 1203 2608 1318.93 1324.45/1324.84 c 3440811 146 1317 57253 43 3410 2539 1303 2608 1318.95 1324.45/1324.84 c 3441061 145 1567 68612 43 3907 2793 1553 2608 1318.99 1324.45/1324.84 c 3441536 144 2042 90077 44 4853 3073 2028 2609 1319.07 1324.45/1324.84 c 3442350 144 2856 127835 44 6481 3381 2842 2609 1319.22 1324.45/1324.84 c 3443670 144 2447 111415 45 5543 3720 2433 2609 1319.47 1324.45/1324.84 c 3445751 144 2615 123870 47 5898 4093 2601 2610 1319.92 1324.45/1324.84 c 3448974 144 3757 181532 48 8197 4503 3743 2611 1320.64 1324.45/1324.84 c 3453910 144 4081 191901 47 8842 4954 4067 2612 1321.88 1324.45/1324.84 c 3461416 144 4026 186266 46 8735 5450 4012 2614 1323.79 1324.45/1324.84 o 55 1324.49 1324.45/1324.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1324.45/1324.87 c 3464074 144 3915 182400 46 8595 2284 3901 2615 1324.49 1324.45/1324.87 c 3464174 144 1285 60787 47 3239 2513 1271 2615 1324.52 1324.45/1324.87 o 53 1324.53 1343.14/1343.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1343.14/1343.55 c 3464220 144 1332 63946 48 3409 2284 1318 2615 1324.53 1343.14/1343.55 c 3464320 144 1432 68826 48 3615 2513 1418 2615 1324.54 1343.14/1343.55 c 3464570 144 1682 79453 47 4102 2765 1668 2615 1324.58 1343.14/1343.55 c 3465046 144 2158 101060 46 5072 3042 2144 2615 1324.66 1343.14/1343.55 c 3465859 144 2971 137357 46 6687 3347 2957 2616 1324.82 1343.14/1343.55 c 3467179 144 2563 112857 44 5785 3682 2549 2616 1325.06 1343.14/1343.55 c 3469261 144 2761 123295 44 6188 4051 2747 2617 1325.49 1343.14/1343.55 c 3472484 144 3921 183220 46 8516 4457 3907 2618 1326.18 1343.14/1343.55 c 3477420 144 4296 189816 44 9264 4903 4282 2619 1327.27 1343.14/1343.55 c 3484926 144 4332 195792 45 9327 5394 4318 2622 1329.05 1343.14/1343.55 c 3496287 144 4738 216675 45 10142 5934 4724 2624 1331.94 1343.14/1343.55 c 3513431 144 3811 172765 45 8287 6528 3797 2628 1336.49 1343.14/1343.55 o 51 1343.2 1343.24/1343.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1343.24/1343.63 c 3536299 144 3553 172865 48 7854 2284 3539 2632 1343.20 1343.24/1343.63 c 3536400 144 1286 62437 48 3240 2513 1272 2632 1343.23 1343.24/1343.63 c 3536650 144 1536 73231 47 3737 2765 1522 2632 1343.27 1343.24/1343.63 o 49 1343.28 1343.24/1343.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1343.24/1343.65 c 3536736 144 1623 78377 48 3988 2284 1609 2632 1343.28 1343.24/1343.65 c 3536836 144 1723 83189 48 4191 2513 1709 2632 1343.30 1343.24/1343.65 o 47 1343.3 1343.24/1343.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1343.24/1343.65 c 3536854 144 1742 84535 48 4306 2284 1728 2632 1343.30 1343.24/1343.65 o 45 1343.31 1344.14/1344.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1344.14/1344.54 c 3536867 144 1756 85710 48 4413 2284 1742 2632 1343.31 1344.14/1344.54 c 3536968 144 1857 90488 48 4623 2513 1843 2633 1343.32 1344.14/1344.54 c 3537218 144 2107 100514 47 5118 2765 2093 2633 1343.37 1344.14/1344.54 c 3537693 144 2582 120080 46 6079 3042 2568 2633 1343.46 1344.14/1344.54 c 3538506 144 1834 78828 42 4339 3347 1820 2633 1343.61 1344.14/1344.54 c 3539826 144 3154 135972 43 6979 3682 3140 2634 1343.84 1344.14/1344.54 o 41 1344.19 1430.11/1430.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1430.11/1430.55 c 3541787 144 3230 138219 42 7214 2284 3216 2634 1344.19 1430.11/1430.55 c 3541887 144 1285 53217 41 3227 2513 1271 2634 1344.22 1430.11/1430.55 c 3542138 144 1536 63436 41 3729 2765 1522 2635 1344.26 1430.11/1430.55 c 3542614 144 2012 82520 41 4685 3042 1998 2635 1344.33 1430.11/1430.55 c 3543427 144 2825 117412 41 6321 3347 2811 2635 1344.48 1430.11/1430.55 c 3544747 144 2429 97372 40 5523 3682 2415 2636 1344.72 1430.11/1430.55 c 3546829 144 2627 105867 40 5924 4051 2613 2636 1345.09 1430.11/1430.55 c 3550052 144 3785 159476 42 8215 4457 3771 2638 1345.72 1430.11/1430.55 c 3554988 144 4183 180931 43 9024 4903 4169 2639 1346.75 1430.11/1430.55 c 3562494 144 4204 184423 43 9077 5394 4190 2642 1348.38 1430.11/1430.55 c 3573855 144 4611 211090 45 9892 5934 4597 2645 1351.16 1430.11/1430.55 c 3590999 144 3682 162433 44 8030 6528 3668 2649 1355.35 1430.11/1430.55 c 3616818 144 6348 292544 46 13359 7181 6334 2654 1362.28 1430.11/1430.55 c 3655650 144 5212 237121 45 11091 7900 5198 2661 1373.28 1430.11/1430.55 c 3714003 144 7709 338525 43 16088 8691 7695 2668 1391.79 1430.11/1430.55 c 3801636 144 7589 353134 46 15838 9561 7575 2674 1421.67 1430.11/1430.55 o 38 1430.17 1430.21/1430.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1430.21/1430.65 c 3825350 144 7201 320556 44 15154 2284 7187 2674 1430.17 1430.21/1430.65 o 32 1430.28 1430.21/1430.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1430.21/1430.65 c 3825356 144 1192 52526 44 3136 2284 1178 2674 1430.28 1430.21/1430.65 o 30 1430.28 1729.75/1730.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1729.75/1730.27 c 3825384 143 1221 54503 44 3275 2282 1207 2674 1430.28 1729.75/1730.27 c 3825484 133 1321 58387 44 3459 2511 1307 2674 1430.30 1729.75/1730.27 c 3825734 132 1571 70062 44 3942 2763 1557 2674 1430.35 1729.75/1730.27 c 3826209 131 2046 92943 45 4906 3040 2032 2674 1430.45 1729.75/1730.27 c 3827022 130 2859 132141 46 6522 3345 2845 2675 1430.64 1729.75/1730.27 c 3828342 130 2457 117738 47 5568 3680 2443 2675 1430.94 1729.75/1730.27 c 3830423 130 2650 127641 48 5954 4049 2636 2675 1431.40 1729.75/1730.27 c 3833646 130 3810 183107 48 8280 4454 3796 2676 1432.23 1729.75/1730.27 c 3838582 130 4219 210279 49 9089 4900 4205 2677 1433.59 1729.75/1730.27 c 3846089 130 4264 206670 48 9180 5391 4250 2678 1435.66 1729.75/1730.27 c 3857450 130 4676 229930 49 9999 5931 4662 2680 1438.88 1729.75/1730.27 c 3874594 130 3771 186209 49 8171 6525 3757 2683 1443.98 1729.75/1730.27 c 3900413 130 6461 317006 49 13564 7178 6447 2685 1452.14 1729.75/1730.27 c 3939245 130 5364 262046 48 11377 7896 5350 2686 1466.50 1729.75/1730.27 c 3997597 130 7858 389283 49 16363 8686 7844 2684 1489.27 1729.75/1730.27 c 4085229 130 7739 382104 49 16131 9555 7725 2675 1526.96 1729.75/1730.27 c 4216781 130 9167 455561 49 18982 10511 9153 2651 1590.38 1729.75/1730.27 c 4414213 130 5356 268957 50 11367 11563 5342 2607 1692.58 1729.75/1730.27 o 29 1729.82 1730.04/1730.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1730.04/1730.55 c 4482898 130 10010 494715 49 20740 2256 9996 2591 1729.82 1730.04/1730.55 o 27 1730.11 1766.23/1766.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1766.23/1766.76 c 4482979 130 1267 61748 48 3237 2256 1253 2591 1730.11 1766.23/1766.76 c 4483079 130 1367 66498 48 3441 2482 1353 2591 1730.12 1766.23/1766.76 c 4483329 130 1617 78092 48 3942 2731 1603 2591 1730.16 1766.23/1766.76 c 4483804 130 2092 101293 48 4880 3005 2078 2591 1730.24 1766.23/1766.76 c 4484619 130 2907 140133 48 6518 3306 2893 2591 1730.40 1766.23/1766.76 c 4485939 130 2525 119537 47 5678 3637 2511 2591 1730.70 1766.23/1766.76 c 4488021 130 2742 130315 47 6125 4001 2728 2592 1731.18 1766.23/1766.76 c 4491244 130 3917 189490 48 8473 4402 3903 2593 1731.94 1766.23/1766.76 c 4496180 130 4345 209212 48 9330 4843 4331 2594 1733.24 1766.23/1766.76 c 4503687 130 4451 215925 48 9536 5328 4437 2595 1735.33 1766.23/1766.76 c 4515048 130 4976 242602 48 10583 5861 4962 2596 1738.78 1766.23/1766.76 c 4532193 130 4286 207990 48 9213 6448 4272 2598 1743.97 1766.23/1766.76 c 4558012 130 3973 189699 47 8576 7093 3959 2601 1752.21 1766.23/1766.76 c 4596844 130 6939 334919 48 14516 7803 6925 2603 1765.55 1766.23/1766.76 o 25 1766.31 1800.02/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.02/1800.50 c 4598777 130 4936 240251 48 10579 2256 4922 2603 1766.31 1800.02/1800.50 c 4598877 130 1285 62157 48 3205 2482 1271 2603 1766.38 1800.02/1800.50 c 4599128 130 1536 75967 49 3712 2731 1522 2603 1766.42 1800.02/1800.50 c 4599603 130 2011 98312 48 4662 3005 1997 2603 1766.51 1800.02/1800.50 c 4600416 130 2824 137846 48 6277 3306 2810 2603 1766.67 1800.02/1800.50 c 4601736 130 2453 117426 47 5543 3637 2439 2604 1766.97 1800.02/1800.50 c 4603817 130 2675 130100 48 5984 4001 2661 2604 1767.45 1800.02/1800.50 c 4607040 130 3847 184797 48 8317 4402 3833 2605 1768.21 1800.02/1800.50 c 4611976 130 4303 203748 47 9242 4843 4289 2606 1769.51 1800.02/1800.50 c 4619483 130 4410 211769 48 9448 5328 4396 2607 1771.52 1800.02/1800.50 c 4630844 130 4957 239886 48 10539 5861 4943 2609 1774.74 1800.02/1800.50 c 4647988 130 4256 205269 48 9129 6448 4242 2611 1779.90 1800.02/1800.50 c 4673807 130 3951 195614 49 8524 7093 3937 2613 1788.29 1800.02/1800.50 c Caught signal: 15 1800.02/1800.50 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 1800.02/1800.50 v -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 1800.02/1800.50 v -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 1800.02/1800.50 v -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 1800.02/1800.50 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 x115 -x116 -x117 x118 -x119 -x120 x121 x122 x123 x124 x125 x126 -x127 -x128 1800.02/1800.50 v -x129 -x130 x131 -x132 x133 x134 x135 -x136 -x137 x138 x139 -x140 x141 x142 x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 1800.02/1800.50 v x152 x153 -x154 -x155 x156 -x157 -x158 x159 x160 x161 -x162 x163 x164 -x165 x166 -x167 -x168 x169 x170 x171 -x172 1800.02/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.50 c 264 4708603 62145 4798834 6472 307734 6458 2615 1800.04 1800.02/1800.50 c Objective: 25 1800.02/1800.50 s SATISFIABLE 1800.02/1800.50 c Total time: 1800.04 s
OK 25
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-433537-1177960843 -o ROOT/results/node17/solver-433537-1177960843 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433537-1177960843/instance-433537-1177960843.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.99 3/77 6469 /proc/meminfo: memFree=1870840/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=11748 CPUtime=0 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 364 0 0 0 0 0 0 0 18 0 1 0 244001842 12029952 334 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 2937 334 280 324 0 2004 0 [startup+0.0460829 s] /proc/loadavg: 0.99 0.97 0.99 3/77 6469 /proc/meminfo: memFree=1870840/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=4444 CPUtime=0.04 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 507 0 0 0 4 0 0 0 18 0 1 0 244001842 4550656 474 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 1111 474 310 324 0 181 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4444 [startup+0.101087 s] /proc/loadavg: 0.99 0.97 0.99 3/77 6469 /proc/meminfo: memFree=1870840/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=4704 CPUtime=0.09 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 600 0 0 0 9 0 0 0 18 0 1 0 244001842 4816896 567 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 1176 567 310 324 0 246 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4704 [startup+0.301108 s] /proc/loadavg: 0.99 0.97 0.99 3/77 6469 /proc/meminfo: memFree=1870840/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=5872 CPUtime=0.29 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 887 0 0 0 29 0 0 0 19 0 1 0 244001842 6012928 854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 1468 854 310 324 0 538 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5872 [startup+0.70115 s] /proc/loadavg: 0.99 0.97 0.99 3/77 6469 /proc/meminfo: memFree=1870840/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=6788 CPUtime=0.69 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 1099 0 0 0 69 0 0 0 23 0 1 0 244001842 6950912 1066 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 1697 1066 310 324 0 767 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6788 [startup+1.50123 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6470 /proc/meminfo: memFree=1867760/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=6788 CPUtime=1.49 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 1099 0 0 0 149 0 0 0 25 0 1 0 244001842 6950912 1066 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091743 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 1697 1066 310 324 0 767 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6788 [startup+3.1014 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6470 /proc/meminfo: memFree=1867504/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=7564 CPUtime=3.09 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 1285 0 0 0 309 0 0 0 25 0 1 0 244001842 7745536 1252 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134559677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 1891 1252 310 324 0 961 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7564 [startup+6.30173 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6470 /proc/meminfo: memFree=1866224/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=7936 CPUtime=6.29 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 1383 0 0 0 629 0 0 0 25 0 1 0 244001842 8126464 1350 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3290965 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 1984 1350 310 324 0 1054 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7936 [startup+12.7014 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6470 /proc/meminfo: memFree=1866224/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=7912 CPUtime=12.68 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 1383 0 0 0 1268 0 0 0 25 0 1 0 244001842 8101888 1350 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572673 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 1978 1350 310 324 0 1048 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 7912 [startup+25.5017 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6470 /proc/meminfo: memFree=1865648/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=8524 CPUtime=25.48 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 1549 0 0 0 2548 0 0 0 25 0 1 0 244001842 8728576 1516 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 2131 1516 310 324 0 1201 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8524 [startup+51.1014 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6470 /proc/meminfo: memFree=1865136/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=9128 CPUtime=51.07 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 1683 0 0 0 5106 1 0 0 25 0 1 0 244001842 9347072 1650 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551515 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 2282 1650 310 324 0 1352 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 9128 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6470 /proc/meminfo: memFree=1863792/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=10444 CPUtime=102.26 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 2013 0 0 0 10225 1 0 0 25 0 1 0 244001842 10694656 1980 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 2611 1980 310 324 0 1681 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 10444 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6470 /proc/meminfo: memFree=1863088/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=11092 CPUtime=162.24 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 2177 0 0 0 16222 2 0 0 25 0 1 0 244001842 11358208 2144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 2773 2144 310 324 0 1843 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 11092 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6470 /proc/meminfo: memFree=1862192/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=11804 CPUtime=222.22 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 2368 0 0 0 22220 2 0 0 25 0 1 0 244001842 12087296 2335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 2951 2335 310 324 0 2021 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 11804 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6470 /proc/meminfo: memFree=1862064/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=11856 CPUtime=282.21 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 2381 0 0 0 28218 3 0 0 25 0 1 0 244001842 12140544 2348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 2964 2348 310 324 0 2034 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 11856 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6470 /proc/meminfo: memFree=1861232/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=12676 CPUtime=342.2 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 2576 0 0 0 34216 4 0 0 25 0 1 0 244001842 12980224 2543 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 3169 2543 310 324 0 2239 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 12676 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 6470 /proc/meminfo: memFree=1861104/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=12676 CPUtime=402.18 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 2584 0 0 0 40214 4 0 0 25 0 1 0 244001842 12980224 2551 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 3169 2551 310 324 0 2239 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 12676 [startup+462.301 s] /proc/loadavg: 1.03 0.99 0.99 2/78 6470 /proc/meminfo: memFree=1861040/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=12668 CPUtime=462.17 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 2588 0 0 0 46212 5 0 0 25 0 1 0 244001842 12972032 2555 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551356 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 3167 2555 310 324 0 2237 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 12668 [startup+522.302 s] /proc/loadavg: 1.01 0.99 0.99 2/78 6470 /proc/meminfo: memFree=1860144/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=13540 CPUtime=522.14 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 2803 0 0 0 52209 5 0 0 25 0 1 0 244001842 13864960 2770 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 3385 2770 310 324 0 2455 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 13540 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6470 /proc/meminfo: memFree=1859952/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=13672 CPUtime=582.14 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 2842 0 0 0 58208 6 0 0 25 0 1 0 244001842 14000128 2809 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 3418 2809 310 324 0 2488 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 13672 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6470 /proc/meminfo: memFree=1859888/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=13672 CPUtime=642.12 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 2842 0 0 0 64206 6 0 0 25 0 1 0 244001842 14000128 2809 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 3418 2809 310 324 0 2488 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 13672 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6470 /proc/meminfo: memFree=1858672/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=14508 CPUtime=882.05 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3037 0 0 0 88197 8 0 0 25 0 1 0 244001842 14856192 3004 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 3627 3004 310 324 0 2697 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 14508 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6470 /proc/meminfo: memFree=1858544/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=14440 CPUtime=942.04 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3037 0 0 0 94195 9 0 0 25 0 1 0 244001842 14786560 3002 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572689 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 3610 3002 310 324 0 2680 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 14440 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6470 /proc/meminfo: memFree=1858544/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=14512 CPUtime=1002.02 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3038 0 0 0 100193 9 0 0 25 0 1 0 244001842 14860288 3003 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3293025 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 3628 3003 310 324 0 2698 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 14512 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6470 /proc/meminfo: memFree=1858480/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=14500 CPUtime=1062.01 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3042 0 0 0 106191 10 0 0 25 0 1 0 244001842 14848000 3007 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 3625 3007 310 324 0 2695 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 14500 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6470 /proc/meminfo: memFree=1858416/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=14500 CPUtime=1121.99 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3046 0 0 0 112189 10 0 0 25 0 1 0 244001842 14848000 3011 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550814 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 3625 3011 310 324 0 2695 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 14500 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6471 /proc/meminfo: memFree=1858032/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=14628 CPUtime=1181.98 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3073 0 0 0 118187 11 0 0 25 0 1 0 244001842 14979072 3038 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 3657 3038 310 324 0 2727 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 14628 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6472 /proc/meminfo: memFree=1857968/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=14708 CPUtime=1241.97 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3090 0 0 0 124186 11 0 0 25 0 1 0 244001842 15060992 3055 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134547714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 3677 3055 310 324 0 2747 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 14708 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6472 /proc/meminfo: memFree=1857840/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=14560 CPUtime=1301.95 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3090 0 0 0 130184 11 0 0 25 0 1 0 244001842 14909440 3032 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3301139 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 3640 3032 310 324 0 2710 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 14560 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6472 /proc/meminfo: memFree=1857776/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=14548 CPUtime=1361.93 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3090 0 0 0 136181 12 0 0 25 0 1 0 244001842 14897152 3029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134552366 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 3637 3029 310 324 0 2707 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 14548 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6472 /proc/meminfo: memFree=1857776/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=14548 CPUtime=1421.92 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3090 0 0 0 142180 12 0 0 25 0 1 0 244001842 14897152 3029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 3637 3029 310 324 0 2707 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 14548 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6472 /proc/meminfo: memFree=1857712/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=14548 CPUtime=1481.91 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3090 0 0 0 148178 13 0 0 25 0 1 0 244001842 14897152 3029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 3637 3029 310 324 0 2707 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 14548 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6472 /proc/meminfo: memFree=1857648/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=14548 CPUtime=1541.88 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3090 0 0 0 154175 13 0 0 25 0 1 0 244001842 14897152 3029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 3637 3029 310 324 0 2707 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 14548 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6472 /proc/meminfo: memFree=1857584/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=14548 CPUtime=1601.88 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3090 0 0 0 160174 14 0 0 25 0 1 0 244001842 14897152 3029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546185 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 3637 3029 310 324 0 2707 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 14548 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6472 /proc/meminfo: memFree=1857520/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=14548 CPUtime=1661.86 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3090 0 0 0 166172 14 0 0 25 0 1 0 244001842 14897152 3029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 3637 3029 310 324 0 2707 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 14548 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6472 /proc/meminfo: memFree=1857392/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=14548 CPUtime=1721.84 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3090 0 0 0 172169 15 0 0 25 0 1 0 244001842 14897152 3029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550850 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 3637 3029 310 324 0 2707 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 14548 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6472 /proc/meminfo: memFree=1857328/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=14548 CPUtime=1781.82 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3090 0 0 0 178167 15 0 0 25 0 1 0 244001842 14897152 3029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 3637 3029 310 324 0 2707 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 14548 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6472 /proc/meminfo: memFree=1857264/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=14548 CPUtime=1800.02 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3090 0 0 0 179987 15 0 0 25 0 1 0 244001842 14897152 3029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 3637 3029 310 324 0 2707 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 14548 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.99 2/78 6472 /proc/meminfo: memFree=1857264/2055920 swapFree=4140032/4192956 [pid=6469] ppid=6467 vsize=14548 CPUtime=1800.02 /proc/6469/stat : 6469 (bsolo3.0.17) R 6467 6469 5666 0 -1 4194304 3090 0 0 0 179987 15 0 0 25 0 1 0 244001842 14897152 3029 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/6469/statm: 3637 3029 310 324 0 2707 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 14548 Child status: 15 Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1799.88 CPU system time (s): 0.161975 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 14716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.88 system time used= 0.161975 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3094 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 37108 runsolver used 1.38779 second user time and 3.83642 second system time The end
Begin job on node17 on Mon Apr 30 19:20:43 UTC 2007 IDJOB= 433537 IDBENCH= 2924 IDSOLVER= 199 FILE ID= node17/433537-1177960843 PBS_JOBID= 4727698 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433537-1177960843/instance-433537-1177960843.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-433537-1177960843 -o ROOT/results/node17/solver-433537-1177960843 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433537-1177960843/instance-433537-1177960843.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= a70b0edfadf87ffd0bc1b32400cae43b RANDOM SEED= 601182887 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.240 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.240 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: 1871312 kB Buffers: 5484 kB Cached: 74136 kB SwapCached: 15172 kB Active: 104028 kB Inactive: 21860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1871312 kB SwapTotal: 4192956 kB SwapFree: 4140032 kB Dirty: 6608 kB Writeback: 0 kB Mapped: 53212 kB Slab: 44176 kB Committed_AS: 7403296 kB PageTables: 1868 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node17 on Mon Apr 30 19:50:46 UTC 2007