Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 25 | 1800 | 1800.56 |
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/354947-1176738303/instance-354947-1176738303.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.002 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.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 172 14 1058 75 322 2116 0 0 0.00 0.00/0.00 c Switching off LPR mode. 0.00/0.00 o 643 0.004 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 8416 0.01 0.00/0.03 o 606 0.026 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 9653 0.03 0.00/0.04 c 353 172 369 25361 68 1549 2575 355 9805 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 9567 0.04 0.00/0.04 o 504 0.038 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 356 172 374 25845 69 1727 2340 360 9368 0.04 0.00/0.06 c 456 172 474 29995 63 1965 2575 460 9913 0.05 0.00/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 9567 0.07 0.09/0.10 c 892 172 911 53745 58 2936 2833 897 9102 0.10 0.09/0.10 o 493 0.103 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 8961 0.10 0.19/0.25 c 1024 172 1044 61069 58 3333 2575 1030 8677 0.12 0.19/0.25 c 1274 172 1294 75470 58 3763 2833 1280 8381 0.15 0.19/0.25 c 1749 172 1769 101015 57 4762 3117 1755 7914 0.22 0.19/0.25 o 488 0.246 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 7764 0.25 0.39/0.47 c 2010 172 2031 116313 57 5381 2575 2017 7730 0.26 0.39/0.47 c 2260 172 2281 130493 57 5887 2833 2267 7635 0.30 0.39/0.47 c 2737 172 2758 158248 57 6847 3117 2744 7259 0.38 0.39/0.47 o 473 0.469 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 7002 0.47 0.39/0.49 c 3390 172 1757 103218 58 4425 2575 1743 6989 0.48 0.39/0.49 o 468 0.486 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 6983 0.49 0.39/0.49 o 460 0.486 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 6971 0.49 0.39/0.49 o 458 0.491 0.49/0.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.50 c 3423 172 1793 105851 59 4795 2340 1779 6971 0.49 0.49/0.50 o 438 0.504 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 6954 0.50 0.49/0.53 c 3605 172 1976 115584 58 5279 2575 1962 6946 0.52 0.49/0.53 o 428 0.527 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 6931 0.53 0.49/0.54 o 426 0.538 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 3720 172 2093 122256 58 5680 2340 2079 6914 0.54 0.49/0.54 o 407 0.544 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 6893 0.54 0.59/0.61 c 3850 172 2224 129330 58 6123 2575 2210 6850 0.56 0.59/0.61 c 4100 172 2474 145369 58 6591 2833 2460 6776 0.60 0.59/0.61 o 333 0.612 0.59/0.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.62 c 4136 172 2511 146922 58 6620 2340 2497 6758 0.61 0.59/0.62 o 331 0.623 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 4184 172 1234 72683 58 3274 2340 1220 6715 0.62 0.59/0.63 o 329 0.635 0.59/0.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.64 c 4279 172 1330 80093 60 3569 2340 1316 6738 0.64 0.59/0.64 o 273 0.644 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 6745 0.64 0.59/0.66 c 4447 172 1499 88125 58 4040 2575 1485 6768 0.66 0.59/0.66 o 255 0.661 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 6762 0.66 0.59/0.67 o 253 0.669 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 6772 0.67 0.69/0.73 c 4631 172 1685 97661 57 4610 2575 1671 6780 0.68 0.69/0.73 c 4881 172 1935 110417 57 5094 2833 1921 6855 0.71 0.69/0.73 o 241 0.728 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 6857 0.73 0.69/0.74 o 237 0.742 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 6832 0.74 0.79/0.82 c 5170 172 2226 123578 55 5902 2575 2212 6847 0.76 0.79/0.82 c 5421 172 2477 136994 55 6413 2833 2463 6793 0.80 0.79/0.82 o 208 0.819 6.39/6.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.39/6.46 c 5538 172 2595 142374 54 6696 2340 2581 6761 0.82 6.39/6.46 c 5639 172 1286 64127 49 3283 2575 1272 6761 0.83 6.39/6.46 c 5890 172 1537 77236 50 3794 2833 1523 6856 0.86 6.39/6.46 c 6368 172 2015 105240 52 4748 3117 2001 7005 0.91 6.39/6.46 c 7181 172 2828 139863 49 6343 3429 2814 7238 0.99 6.39/6.46 c 8501 172 2372 113403 47 5437 3772 2358 7253 1.17 6.39/6.46 c 10582 172 2510 114027 45 5694 4150 2496 7145 1.48 6.39/6.46 c 13805 172 3601 152720 42 7880 4566 3587 7097 1.95 6.39/6.46 c 18741 172 3860 185961 48 8390 5023 3846 6469 2.90 6.39/6.46 c 26248 172 3693 163473 44 8092 5526 3679 6245 4.20 6.39/6.46 c 37609 172 3776 157960 41 8263 6079 3762 5904 6.37 6.39/6.46 o 206 6.46 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 5929 6.46 6.59/6.69 c 38406 172 1285 65383 50 3270 2575 1271 5877 6.53 6.59/6.69 c 38656 172 1535 76033 49 3785 2833 1521 5890 6.56 6.59/6.69 c 39131 172 2010 97435 48 4729 3117 1996 5910 6.62 6.59/6.69 o 200 6.685 6.68/6.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.68/6.77 c 39637 172 2517 123726 49 5849 2340 2503 5929 6.68 6.68/6.77 c 39737 172 1285 61131 47 3269 2575 1271 5931 6.70 6.68/6.77 c 39987 172 1535 74196 48 3768 2833 1521 5945 6.73 6.68/6.77 o 197 6.767 6.78/6.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.78/6.85 c 40351 172 1900 92846 48 4616 2340 1886 5962 6.77 6.78/6.85 c 40451 172 2000 96510 48 4796 2575 1986 5967 6.78 6.78/6.85 c 40701 172 2250 108398 48 5303 2833 2236 5975 6.81 6.78/6.85 o 195 6.848 6.88/6.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.88/6.90 c 40942 172 2492 119666 48 5921 2340 2478 5978 6.85 6.88/6.90 c 41042 172 1285 61600 47 3250 2575 1271 5975 6.87 6.88/6.90 o 194 6.897 6.88/6.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.88/6.91 c 41256 172 1500 74537 49 3814 2340 1486 5981 6.90 6.88/6.91 o 190 6.906 6.88/6.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.88/6.94 c 41315 172 1560 77757 49 4036 2340 1546 5981 6.91 6.88/6.94 c 41415 172 1660 80963 48 4233 2575 1646 5987 6.92 6.88/6.94 o 186 6.943 6.98/7.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.98/7.09 c 41575 172 1821 89249 49 4681 2340 1807 5988 6.94 6.98/7.09 c 41675 172 1921 94302 49 4877 2575 1907 5990 6.96 6.98/7.09 c 41925 172 2171 104222 48 5368 2833 2157 5996 6.99 6.98/7.09 c 42403 172 2649 130821 49 6327 3117 2635 6003 7.06 6.98/7.09 o 185 7.088 7.08/7.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.10 c 42535 172 2782 136559 49 6708 2340 2768 6000 7.09 7.08/7.10 o 181 7.096 7.08/7.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.10 c 42541 172 1192 59882 50 3201 2340 1178 5995 7.10 7.08/7.10 o 179 7.098 7.08/7.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.10 c 42561 172 1213 61013 50 3350 2340 1199 5996 7.10 7.08/7.10 o 175 7.102 7.08/7.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.11 c 42594 172 1247 62375 50 3506 2340 1233 5997 7.10 7.08/7.11 o 173 7.109 7.08/7.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.13 c 42637 172 1291 65137 50 3706 2340 1277 5997 7.11 7.08/7.13 c 42737 172 1391 68719 49 3933 2575 1377 6001 7.12 7.08/7.13 o 124 7.128 7.08/7.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.14 c 42770 172 1425 70766 49 4095 2340 1411 6000 7.13 7.08/7.14 o 118 7.14 7.08/7.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.14 c 42833 168 1489 73184 49 4331 2332 1475 5999 7.14 7.08/7.14 o 116 7.142 7.08/7.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.08/7.15 c 42846 168 1503 74259 49 4474 2332 1489 5998 7.14 7.08/7.15 o 114 7.147 7.18/7.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.18/7.20 c 42867 168 1525 75813 49 4618 2332 1511 5997 7.15 7.18/7.20 c 42967 165 1625 80171 49 4817 2566 1611 5999 7.16 7.18/7.20 o 112 7.199 8.79/8.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.79/8.82 c 43172 164 1831 90125 49 5331 2324 1817 5996 7.20 8.79/8.82 c 43272 162 1931 93697 48 5534 2557 1917 5996 7.22 8.79/8.82 c 43522 162 2181 103056 47 6028 2813 2167 6003 7.25 8.79/8.82 c 43997 162 2656 121782 45 6986 3095 2642 6002 7.33 8.79/8.82 c 44810 162 1876 77254 41 4436 3405 1862 6001 7.47 8.79/8.82 c 46130 160 3196 126403 39 7081 3746 3182 6042 7.63 8.79/8.82 c 48212 160 3352 128191 38 7394 4121 3338 6073 7.94 8.79/8.82 c 51435 160 2363 95113 40 5406 4534 2349 6049 8.50 8.79/8.82 o 111 8.822 8.88/8.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.88/8.93 c 53538 159 4467 180201 40 9726 2314 4453 6068 8.82 8.88/8.93 c 53638 159 1285 52308 40 3260 2546 1271 6052 8.86 8.88/8.93 c 53888 159 1535 62225 40 3761 2801 1521 6059 8.89 8.88/8.93 o 105 8.928 10.89/10.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.89/10.95 c 54156 159 1804 72638 40 4393 2314 1790 6065 8.93 10.89/10.95 c 54256 159 1904 76915 40 4597 2546 1890 6068 8.94 10.89/10.95 c 54506 159 2154 87128 40 5099 2801 2140 6073 8.97 10.89/10.95 c 54981 159 2629 105906 40 6041 3082 2615 6081 9.04 10.89/10.95 c 55794 159 1867 75050 40 4420 3391 1853 6089 9.16 10.89/10.95 c 57114 159 3187 128505 40 7043 3731 3173 6114 9.34 10.89/10.95 c 59195 159 3350 138746 41 7379 4105 3336 6118 9.68 10.89/10.95 c 62418 159 2367 98082 41 5414 4516 2353 6125 10.19 10.89/10.95 o 104 10.946 10.89/10.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.89/10.95 c 66983 159 2329 89260 38 5446 2314 2315 6119 10.95 10.89/10.95 o 102 10.948 22.99/23.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 22.99/23.06 c 66993 159 2340 89785 38 5566 2314 2326 6119 10.95 22.99/23.06 c 67094 159 1212 50431 41 3116 2546 1198 6116 10.97 22.99/23.06 c 67344 159 1462 60071 41 3611 2801 1448 6124 10.99 22.99/23.06 c 67819 159 1937 78589 40 4562 3082 1923 6139 11.05 22.99/23.06 c 68632 159 2750 112434 40 6182 3391 2736 6154 11.15 22.99/23.06 c 69952 159 2322 93054 40 5315 3731 2308 6172 11.33 22.99/23.06 c 72033 158 2485 111068 44 5657 4105 2471 6166 11.68 22.99/23.06 c 75256 158 3607 146174 40 7876 4516 3593 6216 12.11 22.99/23.06 c 80192 158 3946 162169 41 8571 4968 3932 6203 12.93 22.99/23.06 c 87698 158 3868 160965 41 8414 5465 3854 6166 14.22 22.99/23.06 c 99059 158 4121 177772 43 8929 6012 4107 6051 16.37 22.99/23.06 c 116203 158 6002 268254 44 12679 6614 5988 5799 20.04 22.99/23.06 o 73 23.053 23.09/23.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 23.09/23.12 c 129805 158 6185 260466 42 13159 2312 6171 5630 23.05 23.09/23.12 o 69 23.116 1266.06/1266.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1266.06/1266.55 c 129808 158 1189 51183 43 3167 2312 1175 5615 23.12 1266.06/1266.55 c 129908 158 1289 57045 44 3367 2544 1275 5617 23.13 1266.06/1266.55 c 130158 158 1539 66172 42 3854 2799 1525 5621 23.15 1266.06/1266.55 c 130633 158 2014 83280 41 4805 3079 2000 5628 23.21 1266.06/1266.55 c 131446 158 2827 115356 40 6431 3387 2813 5636 23.32 1266.06/1266.55 c 132766 158 2416 90036 37 5509 3726 2402 5649 23.50 1266.06/1266.55 c 134847 158 2580 99684 38 5835 4099 2566 5659 23.83 1266.06/1266.55 c 138071 158 3709 141085 38 8102 4509 3695 5678 24.32 1266.06/1266.55 c 143008 158 4056 155056 38 8792 4960 4042 5709 25.05 1266.06/1266.55 c 150514 158 3978 156769 39 8632 5457 3964 5713 26.34 1266.06/1266.55 c 161875 158 4248 160824 37 9177 6003 4234 5699 28.40 1266.06/1266.55 c 179019 158 3097 123650 39 6864 6604 3083 5636 31.76 1266.06/1266.55 c 204838 158 5526 228629 41 11711 7265 5512 5532 37.02 1266.06/1266.55 c 243670 158 3970 160416 40 8594 7992 3956 5315 45.84 1266.06/1266.55 c 302022 158 5754 236498 41 12177 8792 5740 5043 59.89 1266.06/1266.55 c 389654 158 4561 182917 40 9801 9672 4547 4708 82.76 1266.06/1266.55 c 521206 158 9309 365085 39 19288 10640 9295 4254 122.50 1266.06/1266.55 c 718638 158 8346 344610 41 17360 11705 8332 3898 184.31 1266.06/1266.55 c 1014890 158 9894 405155 40 20453 12876 9880 3494 290.45 1266.06/1266.55 c 1459373 158 7194 299589 41 15063 14164 7180 3135 465.51 1266.06/1266.55 c 2126201 158 11579 499124 43 23824 15581 11565 2784 763.62 1266.06/1266.55 c 3126546 158 9383 353577 37 19445 17140 9369 2529 1236.01 1266.06/1266.55 o 67 1266.13 1269.27/1269.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1269.27/1269.78 c 3193593 158 16103 626593 38 32990 2312 16089 2522 1266.13 1269.27/1269.78 c 3193693 158 1285 59031 45 3238 2544 1271 2521 1266.66 1269.27/1269.78 c 3193943 158 1535 70585 45 3763 2799 1521 2521 1266.69 1269.27/1269.78 c 3194418 158 2010 86545 43 4703 3079 1996 2521 1266.74 1269.27/1269.78 c 3195231 158 2823 115673 40 6326 3387 2809 2522 1266.84 1269.27/1269.78 c 3196551 158 2396 89752 37 5479 3726 2382 2522 1267.03 1269.27/1269.78 c 3198632 158 2576 92492 35 5836 4099 2562 2523 1267.33 1269.27/1269.78 c 3201855 158 3705 139940 37 8080 4509 3691 2525 1267.82 1269.27/1269.78 c 3206791 158 4030 147652 36 8739 4960 4016 2527 1268.51 1269.27/1269.78 o 66 1269.36 1317.16/1317.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1317.16/1317.61 c 3211930 158 4128 159108 38 9040 2312 4114 2530 1269.36 1317.16/1317.61 c 3212030 158 1285 51014 39 3242 2544 1271 2530 1269.40 1317.16/1317.61 c 3212280 158 1535 59430 38 3742 2799 1521 2530 1269.42 1317.16/1317.61 c 3212755 158 2010 75265 37 4676 3079 1996 2530 1269.47 1317.16/1317.61 c 3213568 158 2823 102813 36 6323 3387 2809 2531 1269.55 1317.16/1317.61 c 3214888 158 2400 83017 34 5489 3726 2386 2531 1269.72 1317.16/1317.61 c 3216969 158 2584 96793 37 5843 4099 2570 2533 1270.01 1317.16/1317.61 c 3220192 158 3701 145245 39 8077 4509 3687 2534 1270.51 1317.16/1317.61 c 3225128 158 4034 148413 36 8726 4960 4020 2537 1271.23 1317.16/1317.61 c 3232634 158 3971 142916 35 8597 5457 3957 2540 1272.47 1317.16/1317.61 c 3243996 158 4254 157865 37 9154 6003 4240 2545 1274.21 1317.16/1317.61 c 3261140 158 3108 113241 36 6872 6604 3094 2553 1277.37 1317.16/1317.61 c 3286959 158 5490 204297 37 11667 7265 5476 2563 1282.12 1317.16/1317.61 c 3325791 158 3920 149571 38 8502 7992 3906 2576 1290.60 1317.16/1317.61 c 3384144 158 5700 219340 38 12054 8792 5686 2597 1302.99 1317.16/1317.61 o 59 1317.18 1317.16/1317.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1317.16/1317.65 c 3440680 158 4522 183961 40 9832 2312 4508 2612 1317.18 1317.16/1317.65 o 57 1317.22 1322.65/1323.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1322.65/1323.19 c 3440711 156 1217 53432 43 3220 2308 1203 2612 1317.22 1322.65/1323.19 c 3440811 146 1317 57253 43 3410 2539 1303 2612 1317.24 1322.65/1323.19 c 3441061 145 1567 68612 43 3907 2793 1553 2612 1317.28 1322.65/1323.19 c 3441536 144 2042 90077 44 4853 3073 2028 2612 1317.36 1322.65/1323.19 c 3442350 144 2856 127835 44 6481 3381 2842 2612 1317.50 1322.65/1323.19 c 3443670 144 2447 111415 45 5543 3720 2433 2613 1317.76 1322.65/1323.19 c 3445751 144 2615 123870 47 5898 4093 2601 2613 1318.20 1322.65/1323.19 c 3448974 144 3757 181532 48 8197 4503 3743 2615 1318.91 1322.65/1323.19 c 3453910 144 4081 191901 47 8842 4954 4067 2616 1320.15 1322.65/1323.19 c 3461416 144 4026 186266 46 8735 5450 4012 2618 1322.05 1322.65/1323.19 o 55 1322.76 1322.76/1323.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1322.76/1323.22 c 3464074 144 3915 182400 46 8595 2284 3901 2618 1322.76 1322.76/1323.22 c 3464174 144 1285 60787 47 3239 2513 1271 2618 1322.79 1322.76/1323.22 o 53 1322.79 1341.46/1341.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1341.46/1341.97 c 3464220 144 1332 63946 48 3409 2284 1318 2618 1322.79 1341.46/1341.97 c 3464320 144 1432 68826 48 3615 2513 1418 2618 1322.81 1341.46/1341.97 c 3464570 144 1682 79453 47 4102 2765 1668 2619 1322.85 1341.46/1341.97 c 3465046 144 2158 101060 46 5072 3042 2144 2619 1322.92 1341.46/1341.97 c 3465859 144 2971 137357 46 6687 3347 2957 2619 1323.08 1341.46/1341.97 c 3467179 144 2563 112857 44 5785 3682 2549 2620 1323.33 1341.46/1341.97 c 3469261 144 2761 123295 44 6188 4051 2747 2620 1323.75 1341.46/1341.97 c 3472484 144 3921 183220 46 8516 4457 3907 2621 1324.44 1341.46/1341.97 c 3477420 144 4296 189816 44 9264 4903 4282 2623 1325.54 1341.46/1341.97 c 3484926 144 4332 195792 45 9327 5394 4318 2625 1327.34 1341.46/1341.97 c 3496287 144 4738 216675 45 10142 5934 4724 2628 1330.27 1341.46/1341.97 c 3513431 144 3811 172765 45 8287 6528 3797 2632 1334.86 1341.46/1341.97 o 51 1341.53 1341.55/1342.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1341.55/1342.05 c 3536299 144 3553 172865 48 7854 2284 3539 2636 1341.53 1341.55/1342.05 c 3536400 144 1286 62437 48 3240 2513 1272 2636 1341.56 1341.55/1342.05 c 3536650 144 1536 73231 47 3737 2765 1522 2636 1341.60 1341.55/1342.05 o 49 1341.61 1341.55/1342.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1341.55/1342.07 c 3536736 144 1623 78377 48 3988 2284 1609 2636 1341.61 1341.55/1342.07 c 3536836 144 1723 83189 48 4191 2513 1709 2636 1341.63 1341.55/1342.07 o 47 1341.63 1341.55/1342.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1341.55/1342.08 c 3536854 144 1742 84535 48 4306 2284 1728 2636 1341.63 1341.55/1342.08 o 45 1341.64 1342.45/1342.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1342.45/1342.97 c 3536867 144 1756 85710 48 4413 2284 1742 2636 1341.64 1342.45/1342.97 c 3536968 144 1857 90488 48 4623 2513 1843 2636 1341.65 1342.45/1342.97 c 3537218 144 2107 100514 47 5118 2765 2093 2636 1341.70 1342.45/1342.97 c 3537693 144 2582 120080 46 6079 3042 2568 2636 1341.79 1342.45/1342.97 c 3538506 144 1834 78828 42 4339 3347 1820 2636 1341.94 1342.45/1342.97 c 3539826 144 3154 135972 43 6979 3682 3140 2637 1342.17 1342.45/1342.97 o 41 1342.53 1428.52/1429.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1428.52/1429.09 c 3541787 144 3230 138219 42 7214 2284 3216 2638 1342.53 1428.52/1429.09 c 3541887 144 1285 53217 41 3227 2513 1271 2638 1342.56 1428.52/1429.09 c 3542138 144 1536 63436 41 3729 2765 1522 2638 1342.59 1428.52/1429.09 c 3542614 144 2012 82520 41 4685 3042 1998 2638 1342.67 1428.52/1429.09 c 3543427 144 2825 117412 41 6321 3347 2811 2638 1342.82 1428.52/1429.09 c 3544747 144 2429 97372 40 5523 3682 2415 2639 1343.06 1428.52/1429.09 c 3546829 144 2627 105867 40 5924 4051 2613 2640 1343.43 1428.52/1429.09 c 3550052 144 3785 159476 42 8215 4457 3771 2641 1344.07 1428.52/1429.09 c 3554988 144 4183 180931 43 9024 4903 4169 2642 1345.10 1428.52/1429.09 c 3562494 144 4204 184423 43 9077 5394 4190 2645 1346.73 1428.52/1429.09 c 3573855 144 4611 211090 45 9892 5934 4597 2648 1349.56 1428.52/1429.09 c 3590999 144 3682 162433 44 8030 6528 3668 2652 1353.77 1428.52/1429.09 c 3616818 144 6348 292544 46 13359 7181 6334 2658 1360.67 1428.52/1429.09 c 3655650 144 5212 237121 45 11091 7900 5198 2665 1371.72 1428.52/1429.09 c 3714003 144 7709 338525 43 16088 8691 7695 2671 1390.21 1428.52/1429.09 c 3801636 144 7589 353134 46 15838 9561 7575 2677 1420.10 1428.52/1429.09 o 38 1428.63 1428.62/1429.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1428.62/1429.19 c 3825350 144 7201 320556 44 15154 2284 7187 2677 1428.63 1428.62/1429.19 o 32 1428.73 1428.72/1429.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1428.72/1429.20 c 3825356 144 1192 52526 44 3136 2284 1178 2677 1428.73 1428.72/1429.20 o 30 1428.74 1727.95/1728.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1727.95/1728.59 c 3825384 143 1221 54503 44 3275 2282 1207 2677 1428.74 1727.95/1728.59 c 3825484 133 1321 58387 44 3459 2511 1307 2677 1428.76 1727.95/1728.59 c 3825734 132 1571 70062 44 3942 2763 1557 2677 1428.81 1727.95/1728.59 c 3826209 131 2046 92943 45 4906 3040 2032 2677 1428.91 1727.95/1728.59 c 3827022 130 2859 132141 46 6522 3345 2845 2677 1429.10 1727.95/1728.59 c 3828342 130 2457 117738 47 5568 3680 2443 2678 1429.41 1727.95/1728.59 c 3830423 130 2650 127641 48 5954 4049 2636 2678 1429.87 1727.95/1728.59 c 3833646 130 3810 183107 48 8280 4454 3796 2679 1430.72 1727.95/1728.59 c 3838582 130 4219 210279 49 9089 4900 4205 2680 1432.08 1727.95/1728.59 c 3846089 130 4264 206670 48 9180 5391 4250 2681 1434.16 1727.95/1728.59 c 3857450 130 4676 229930 49 9999 5931 4662 2683 1437.39 1727.95/1728.59 c 3874594 130 3771 186209 49 8171 6525 3757 2686 1442.47 1727.95/1728.59 c 3900413 130 6461 317006 49 13564 7178 6447 2688 1450.70 1727.95/1728.59 c 3939245 130 5364 262046 48 11377 7896 5350 2688 1465.05 1727.95/1728.59 c 3997597 130 7858 389283 49 16363 8686 7844 2686 1487.80 1727.95/1728.59 c 4085229 130 7739 382104 49 16131 9555 7725 2678 1525.45 1727.95/1728.59 c 4216781 130 9167 455561 49 18982 10511 9153 2654 1588.76 1727.95/1728.59 c 4414213 130 5356 268957 50 11367 11563 5342 2610 1690.77 1727.95/1728.59 o 29 1728.05 1728.25/1728.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1728.25/1728.88 c 4482898 130 10010 494715 49 20740 2256 9996 2594 1728.05 1728.25/1728.88 o 27 1728.34 1764.64/1765.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1764.64/1765.22 c 4482979 130 1267 61748 48 3237 2256 1253 2593 1728.34 1764.64/1765.22 c 4483079 130 1367 66498 48 3441 2482 1353 2593 1728.35 1764.64/1765.22 c 4483329 130 1617 78092 48 3942 2731 1603 2593 1728.39 1764.64/1765.22 c 4483804 130 2092 101293 48 4880 3005 2078 2594 1728.47 1764.64/1765.22 c 4484619 130 2907 140133 48 6518 3306 2893 2594 1728.64 1764.64/1765.22 c 4485939 130 2525 119537 47 5678 3637 2511 2594 1728.94 1764.64/1765.22 c 4488021 130 2742 130315 47 6125 4001 2728 2595 1729.43 1764.64/1765.22 c 4491244 130 3917 189490 48 8473 4402 3903 2595 1730.20 1764.64/1765.22 c 4496180 130 4345 209212 48 9330 4843 4331 2596 1731.52 1764.64/1765.22 c 4503687 130 4451 215925 48 9536 5328 4437 2597 1733.61 1764.64/1765.22 c 4515048 130 4976 242602 48 10583 5861 4962 2599 1737.05 1764.64/1765.22 c 4532193 130 4286 207990 48 9213 6448 4272 2601 1742.22 1764.64/1765.22 c 4558012 130 3973 189699 47 8576 7093 3959 2603 1750.57 1764.64/1765.22 c 4596844 130 6939 334919 48 14516 7803 6925 2606 1763.91 1764.64/1765.22 o 25 1764.67 1799.93/1800.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.93/1800.56 c 4598777 130 4936 240251 48 10579 2256 4922 2606 1764.67 1799.93/1800.56 c 4598877 130 1285 62157 48 3205 2482 1271 2605 1764.74 1799.93/1800.56 c 4599128 130 1536 75967 49 3712 2731 1522 2606 1764.78 1799.93/1800.56 c 4599603 130 2011 98312 48 4662 3005 1997 2606 1764.88 1799.93/1800.56 c 4600416 130 2824 137846 48 6277 3306 2810 2606 1765.04 1799.93/1800.56 c 4601736 130 2453 117426 47 5543 3637 2439 2606 1765.34 1799.93/1800.56 c 4603817 130 2675 130100 48 5984 4001 2661 2607 1765.81 1799.93/1800.56 c 4607040 130 3847 184797 48 8317 4402 3833 2607 1766.57 1799.93/1800.56 c 4611976 130 4303 203748 47 9242 4843 4289 2608 1767.88 1799.93/1800.56 c 4619483 130 4410 211769 48 9448 5328 4396 2610 1769.91 1799.93/1800.56 c 4630844 130 4957 239886 48 10539 5861 4943 2611 1773.17 1799.93/1800.56 c 4647988 130 4256 205269 48 9129 6448 4242 2613 1778.30 1799.93/1800.56 c 4673807 130 3951 195614 49 8524 7093 3937 2615 1786.66 1799.93/1800.56 c 4712640 130 6917 335172 48 14464 7803 6903 2618 1799.74 1799.93/1800.56 c Resources Exceeded 1799.93/1800.56 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 1799.93/1800.56 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 1799.93/1800.56 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 1799.93/1800.56 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 1799.93/1800.56 v -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 x115 -x116 -x117 x118 -x119 -x120 x121 x122 x123 x124 x125 x126 -x127 -x128 1799.93/1800.56 v -x129 -x130 x131 -x132 x133 x134 x135 -x136 -x137 x138 x139 -x140 x141 x142 x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 1799.93/1800.56 v x152 x153 -x154 -x155 x156 -x157 -x158 x159 x160 x161 -x162 x163 x164 -x165 x166 -x167 -x168 x169 x170 x171 -x172 1799.93/1800.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.93/1800.56 c 265 4713356 62153 4803620 7633 371055 7619 2618 1800.00 1799.93/1800.56 c Objective: 25 1799.93/1800.56 s SATISFIABLE 1799.93/1800.56 c Total time: 1800 s
OK 25
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-354947-1176738303 -o ROOT/results/node27/solver-354947-1176738303 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354947-1176738303/instance-354947-1176738303.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.98 3/65 3403 /proc/meminfo: memFree=1790320/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=11748 CPUtime=0 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 368 0 0 0 0 0 0 0 18 0 1 0 86526171 12029952 336 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 2937 336 282 324 0 2003 0 [startup+0.0918829 s] /proc/loadavg: 0.99 0.97 0.98 3/65 3403 /proc/meminfo: memFree=1790320/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=4704 CPUtime=0.08 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 588 0 0 0 8 0 0 0 18 0 1 0 86526171 4816896 553 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 1176 553 312 324 0 245 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4704 [startup+0.101884 s] /proc/loadavg: 0.99 0.97 0.98 3/65 3403 /proc/meminfo: memFree=1790320/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=4832 CPUtime=0.09 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 606 0 0 0 9 0 0 0 18 0 1 0 86526171 4947968 571 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 1208 571 312 324 0 277 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4832 [startup+0.301904 s] /proc/loadavg: 0.99 0.97 0.98 3/65 3403 /proc/meminfo: memFree=1790320/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=5872 CPUtime=0.29 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 893 0 0 0 29 0 0 0 19 0 1 0 86526171 6012928 858 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 1468 858 312 324 0 537 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5872 [startup+0.701945 s] /proc/loadavg: 0.99 0.97 0.98 3/65 3403 /proc/meminfo: memFree=1790320/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=6788 CPUtime=0.69 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 1103 0 0 0 69 0 0 0 22 0 1 0 86526171 6950912 1068 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 1697 1068 312 324 0 766 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6788 [startup+1.50103 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3404 /proc/meminfo: memFree=1787240/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=6788 CPUtime=1.49 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 1103 0 0 0 148 1 0 0 25 0 1 0 86526171 6950912 1068 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 1697 1068 312 324 0 766 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6788 [startup+3.10119 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3404 /proc/meminfo: memFree=1786920/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=7564 CPUtime=3.09 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 1295 0 0 0 307 2 0 0 25 0 1 0 86526171 7745536 1260 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 1891 1260 312 324 0 960 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7564 [startup+6.30151 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3404 /proc/meminfo: memFree=1785832/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=7936 CPUtime=6.29 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 1387 0 0 0 626 3 0 0 25 0 1 0 86526171 8126464 1352 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 1984 1352 312 324 0 1053 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7936 [startup+12.7012 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3404 /proc/meminfo: memFree=1785832/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=7912 CPUtime=12.69 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 1387 0 0 0 1263 6 0 0 25 0 1 0 86526171 8101888 1352 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 1978 1352 312 324 0 1047 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 7912 [startup+25.5015 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3404 /proc/meminfo: memFree=1785128/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=8524 CPUtime=25.48 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 1553 0 0 0 2537 11 0 0 25 0 1 0 86526171 8728576 1518 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 2131 1518 312 324 0 1200 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8524 [startup+51.1011 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3404 /proc/meminfo: memFree=1784616/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=9128 CPUtime=51.08 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 1687 0 0 0 5089 19 0 0 25 0 1 0 86526171 9347072 1652 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 2282 1652 312 324 0 1351 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 9128 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3404 /proc/meminfo: memFree=1783272/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=10444 CPUtime=102.27 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 2017 0 0 0 10195 32 0 0 25 0 1 0 86526171 10694656 1982 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 2611 1982 312 324 0 1680 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 10444 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3404 /proc/meminfo: memFree=1782696/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=11092 CPUtime=162.25 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 2181 0 0 0 16178 47 0 0 25 0 1 0 86526171 11358208 2146 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 2773 2146 312 324 0 1842 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 11092 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3404 /proc/meminfo: memFree=1781864/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=11804 CPUtime=222.23 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 2372 0 0 0 22162 61 0 0 25 0 1 0 86526171 12087296 2337 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 2951 2337 312 324 0 2020 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 11804 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3404 /proc/meminfo: memFree=1781800/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=11856 CPUtime=282.22 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 2385 0 0 0 28149 73 0 0 25 0 1 0 86526171 12140544 2350 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 2964 2350 312 324 0 2033 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 11856 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3404 /proc/meminfo: memFree=1781032/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=12676 CPUtime=342.2 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 2580 0 0 0 34134 86 0 0 25 0 1 0 86526171 12980224 2545 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3169 2545 312 324 0 2238 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 12676 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3404 /proc/meminfo: memFree=1780968/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=12676 CPUtime=402.19 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 2588 0 0 0 40119 100 0 0 25 0 1 0 86526171 12980224 2553 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3169 2553 312 324 0 2238 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 12676 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3404 /proc/meminfo: memFree=1780968/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=12668 CPUtime=462.17 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 2592 0 0 0 46104 113 0 0 25 0 1 0 86526171 12972032 2557 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3167 2557 312 324 0 2236 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 12668 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3404 /proc/meminfo: memFree=1780072/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=13540 CPUtime=522.16 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 2807 0 0 0 52091 125 0 0 25 0 1 0 86526171 13864960 2772 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3385 2772 312 324 0 2454 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 13540 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3404 /proc/meminfo: memFree=1779944/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=13672 CPUtime=582.14 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 2846 0 0 0 58077 137 0 0 25 0 1 0 86526171 14000128 2811 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3418 2811 312 324 0 2487 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 13672 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3404 /proc/meminfo: memFree=1779880/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=13672 CPUtime=642.13 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 2846 0 0 0 64066 147 0 0 25 0 1 0 86526171 14000128 2811 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3418 2811 312 324 0 2487 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 13672 ################ # More data... # ################ /proc/meminfo: memFree=1778792/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=14500 CPUtime=1061.92 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3046 0 0 0 105963 229 0 0 25 0 1 0 86526171 14848000 3009 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3625 3009 312 324 0 2694 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 14500 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3602 /proc/meminfo: memFree=1778792/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=14500 CPUtime=1121.9 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3050 0 0 0 111951 239 0 0 25 0 1 0 86526171 14848000 3013 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3625 3013 312 324 0 2694 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 14500 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3602 /proc/meminfo: memFree=1778664/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=14628 CPUtime=1181.89 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3077 0 0 0 117939 250 0 0 25 0 1 0 86526171 14979072 3040 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3657 3040 312 324 0 2726 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 14628 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3602 /proc/meminfo: memFree=1778600/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=14708 CPUtime=1241.88 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 123927 261 0 0 25 0 1 0 86526171 15060992 3057 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3677 3057 312 324 0 2746 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 14708 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3602 /proc/meminfo: memFree=1778664/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=14560 CPUtime=1301.86 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 129908 278 0 0 25 0 1 0 86526171 14909440 3034 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3640 3034 312 324 0 2709 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 14560 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3602 /proc/meminfo: memFree=1778664/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=14548 CPUtime=1361.85 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 135889 296 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3637 3031 312 324 0 2706 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 14548 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3602 /proc/meminfo: memFree=1778664/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=14548 CPUtime=1421.83 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 141874 309 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3637 3031 312 324 0 2706 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 14548 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3602 /proc/meminfo: memFree=1778664/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=14548 CPUtime=1481.82 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 147860 322 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3637 3031 312 324 0 2706 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 14548 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3602 /proc/meminfo: memFree=1778664/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=14548 CPUtime=1541.8 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 153845 335 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3637 3031 312 324 0 2706 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 14548 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3602 /proc/meminfo: memFree=1778664/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=14548 CPUtime=1601.78 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 159835 343 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3637 3031 312 324 0 2706 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 14548 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.98 2/66 3602 /proc/meminfo: memFree=1778664/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=14548 CPUtime=1661.77 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 165824 353 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3637 3031 312 324 0 2706 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 14548 [startup+1722.3 s] /proc/loadavg: 1.03 0.99 0.98 2/66 3602 /proc/meminfo: memFree=1778728/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=14548 CPUtime=1721.75 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 171813 362 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4160091738 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3637 3031 312 324 0 2706 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 14548 [startup+1782.3 s] /proc/loadavg: 1.01 0.99 0.98 2/66 3602 /proc/meminfo: memFree=1778728/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=14548 CPUtime=1781.74 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 177798 376 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 134551381 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3637 3031 312 324 0 2706 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 14548 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.01 0.99 0.98 2/66 3602 /proc/meminfo: memFree=1778728/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=14548 CPUtime=1791.34 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 178756 378 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 1900028 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3637 3031 312 324 0 2706 0 Current children cumulated CPU time (s) 1791.34 Current children cumulated vsize (KiB) 14548 [startup+1795.1 s] /proc/loadavg: 1.01 0.99 0.98 2/66 3602 /proc/meminfo: memFree=1778728/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=14548 CPUtime=1794.54 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 179074 380 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3637 3031 312 324 0 2706 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (KiB) 14548 [startup+1798.3 s] /proc/loadavg: 1.01 0.99 0.98 2/66 3602 /proc/meminfo: memFree=1778728/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=14548 CPUtime=1797.73 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 179392 381 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3637 3031 312 324 0 2706 0 Current children cumulated CPU time (s) 1797.73 Current children cumulated vsize (KiB) 14548 [startup+1799.9 s] /proc/loadavg: 1.01 0.99 0.98 2/66 3602 /proc/meminfo: memFree=1778728/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=14548 CPUtime=1799.33 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 179552 381 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3637 3031 312 324 0 2706 0 Current children cumulated CPU time (s) 1799.33 Current children cumulated vsize (KiB) 14548 [startup+1800.3 s] /proc/loadavg: 1.01 0.99 0.98 2/66 3602 /proc/meminfo: memFree=1778728/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=14548 CPUtime=1799.73 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 179592 381 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 1900263 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3637 3031 312 324 0 2706 0 Current children cumulated CPU time (s) 1799.73 Current children cumulated vsize (KiB) 14548 [startup+1800.5 s] /proc/loadavg: 1.01 0.99 0.98 2/66 3602 /proc/meminfo: memFree=1778728/2055920 swapFree=4184636/4192956 [pid=3403] ppid=3401 vsize=14548 CPUtime=1799.93 /proc/3403/stat : 3403 (bsolo3.0.16) R 3401 3403 3103 0 -1 4194304 3094 0 0 0 179612 381 0 0 25 0 1 0 86526171 14897152 3031 18446744073709551615 134512640 135841103 4294956640 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3403/statm: 3637 3031 312 324 0 2706 0 Current children cumulated CPU time (s) 1799.93 Current children cumulated vsize (KiB) 14548 Child status: 0 Real time (s): 1800.56 CPU time (s): 1800 CPU user time (s): 1796.18 CPU system time (s): 3.82142 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 14716 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.18 system time used= 3.82142 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3095 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= 11 involuntary context switches= 1626 runsolver used 1.22581 second user time and 3.80042 second system time The end
Begin job on node27 on Mon Apr 16 15:45:03 UTC 2007 IDJOB= 354947 IDBENCH= 2924 IDSOLVER= 163 FILE ID= node27/354947-1176738303 PBS_JOBID= 4559548 Free space on /tmp= 66514 MiB SOLVER NAME= bsolo 3.0.16 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.16 -t1800 -m1800 /tmp/evaluation/354947-1176738303/instance-354947-1176738303.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-354947-1176738303 -o ROOT/results/node27/solver-354947-1176738303 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/354947-1176738303/instance-354947-1176738303.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= a70b0edfadf87ffd0bc1b32400cae43b RANDOM SEED= 761722407 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.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.213 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 : 5931.00 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.213 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: 1790792 kB Buffers: 21104 kB Cached: 178632 kB SwapCached: 2904 kB Active: 53364 kB Inactive: 156768 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1790792 kB SwapTotal: 4192956 kB SwapFree: 4184636 kB Dirty: 4468 kB Writeback: 0 kB Mapped: 16848 kB Slab: 41016 kB Committed_AS: 1568104 kB PageTables: 1412 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= 66514 MiB End job on node27 on Mon Apr 16 16:15:03 UTC 2007