Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 79 | 1798.01 | 1798.81 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_3.opb |
MD5SUM | 0278ee4f163393ac33163ff791a7f96d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 19 |
Best CPU time to get the best result obtained on this benchmark | 1802.16 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 16 |
Minimum length of a constraint | 82 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1782 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5856 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Generic Pseudo-Boolean Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1880058-1245240737.opb 0.00/0.00 c File size is 13159 bytes. 0.00/0.00 c Highest Coefficient sum: 5856 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 198 Constr: 16 0/0/16 Lit: 1354 Watch. Lit: 388 0.00/0.00 c Obj. Vars: 128 (64.6465 % of total variables) 0.00/0.00 c Pre-processing Time: 0.003 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 198 16 1354 84 394 2708 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.00 o 1080 0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.06 c 0 198 17 1482 87 903 2964 1 0 0.00 0.03/0.06 c 100 198 217 22582 104 7459 3261 201 1612 0.06 0.03/0.06 o 902 0.03/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.06 c 101 198 220 22875 103 6955 2964 204 1578 0.06 0.03/0.06 o 900 0.03/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.07 c 101 198 221 23003 104 6928 2964 205 1553 0.07 0.03/0.07 o 796 0.03/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.03/0.08 c 111 198 242 25130 103 7169 2964 226 1541 0.07 0.03/0.08 o 723 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 128 198 277 28652 103 8728 2964 261 1560 0.08 0.19/0.20 c 229 198 477 48706 102 16680 3261 461 1440 0.16 0.19/0.20 o 721 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 261 198 542 55849 103 18111 2964 526 1305 0.20 0.19/0.21 o 716 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 264 198 549 56584 103 18083 2964 533 1251 0.21 0.19/0.22 o 714 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 270 198 562 57999 103 18496 2964 546 1232 0.22 0.19/0.24 o 712 0.19/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.26 c 281 198 585 61070 104 19901 2964 569 1180 0.24 0.19/0.26 o 710 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 294 198 612 64158 104 21165 2964 596 1139 0.26 0.19/0.29 o 708 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 308 198 641 67992 106 22661 2964 625 1058 0.29 0.29/0.30 o 706 0.69/0.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.70 c 311 198 648 68926 106 23299 2964 632 1023 0.30 0.69/0.70 c 411 198 834 84192 100 26924 3261 818 1107 0.37 0.69/0.70 c 661 198 1293 122444 94 38425 3588 1277 1090 0.61 0.69/0.70 o 705 0.69/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.73 c 700 198 1372 132323 96 39908 2964 1356 1000 0.70 0.69/0.73 o 697 0.69/0.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.76 c 716 198 1402 134848 96 39836 2964 1386 980 0.73 0.69/0.76 o 693 0.69/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.79 c 737 198 1445 140125 96 41518 2964 1429 962 0.77 0.69/0.79 o 685 0.99/1.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.04 c 743 198 1458 141546 97 40992 2964 1442 942 0.79 0.99/1.04 c 843 198 1655 162256 98 45499 3261 1639 843 1.00 0.99/1.04 o 683 1.09/1.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.17 c 856 198 1681 165404 98 45224 2964 1665 821 1.04 1.09/1.17 o 680 1.09/1.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.18 c 898 198 1763 174523 98 48192 2964 1747 766 1.17 1.09/1.18 o 678 1.19/1.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.20 c 900 198 1768 175111 99 48279 2964 1752 759 1.19 1.19/1.20 o 676 1.19/1.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.26 c 903 198 1775 175959 99 49063 2964 1759 750 1.20 1.19/1.26 o 647 1.29/1.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.32 c 914 198 1798 178528 99 49396 2964 1782 726 1.26 1.29/1.32 o 645 1.39/1.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.45 c 936 198 1843 184063 99 51467 2964 1827 706 1.32 1.39/1.45 o 644 1.49/1.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.57 c 967 198 1906 191556 100 52823 2964 1890 666 1.45 1.49/1.57 o 642 1.89/1.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.92 c 1004 198 1981 199911 100 56369 2964 1965 640 1.57 1.89/1.92 c 1104 198 2145 214216 99 60607 3261 2129 641 1.72 1.89/1.92 o 641 3.19/3.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.22 c 1182 198 2287 228763 100 62299 2964 2271 615 1.92 3.19/3.22 c 1282 198 2442 241126 98 64286 3261 2426 623 2.06 3.19/3.22 c 1532 198 2831 273098 96 73995 3588 2815 633 2.42 3.19/3.22 o 640 3.59/3.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.64 c 1943 198 3488 324458 93 79946 2964 3472 602 3.22 3.59/3.64 o 637 3.59/3.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.68 c 1969 198 1549 134549 86 41586 2964 1533 540 3.64 3.59/3.68 o 621 3.69/3.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.70 c 1978 198 1568 136552 87 42047 2964 1552 537 3.68 3.69/3.70 o 609 3.69/3.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.74 c 1982 198 1577 137724 87 42516 2964 1561 535 3.70 3.69/3.74 o 605 3.69/3.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.79 c 1997 198 1608 141593 88 44770 2964 1592 533 3.74 3.69/3.79 o 597 3.79/3.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.83 c 2010 198 1635 145078 88 46199 2964 1619 530 3.79 3.79/3.83 o 593 3.79/3.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.86 c 2022 198 1660 148127 89 47807 2964 1644 527 3.83 3.79/3.86 o 552 3.79/3.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.87 c 2028 198 1673 149716 89 48682 2964 1657 524 3.86 3.79/3.87 o 550 3.89/3.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.99 c 2029 198 1676 150053 89 48891 2964 1660 524 3.87 3.89/3.99 o 549 3.99/4.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.05 c 2064 198 1747 157827 90 48104 2964 1731 517 3.99 3.99/4.05 o 548 4.09/4.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.13 c 2080 198 1780 161590 90 49948 2964 1764 513 4.05 4.09/4.13 o 537 4.79/4.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.85 c 2103 198 1827 166475 91 48709 2964 1811 509 4.13 4.79/4.85 c 2203 198 2009 182367 90 52959 3261 1993 514 4.29 4.79/4.85 c 2454 198 2487 226736 91 63256 3588 2471 508 4.83 4.79/4.85 o 533 4.89/4.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.93 c 2458 198 2496 227638 91 61508 2964 2480 506 4.85 4.89/4.93 o 488 5.39/5.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.42 c 2488 198 2555 232876 91 60207 2964 2539 504 4.93 5.39/5.42 c 2588 198 2737 248400 90 66696 3261 2721 506 5.11 5.39/5.42 o 472 5.39/5.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.39/5.44 c 2693 198 2942 268665 91 70177 2964 2926 497 5.42 5.39/5.44 o 470 5.49/5.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.49/5.53 c 2699 198 2954 270104 91 70698 2964 2938 496 5.44 5.49/5.53 o 468 5.68/5.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.68/5.78 c 2726 198 1499 141727 94 49498 2964 1483 476 5.72 5.68/5.78 o 462 5.78/5.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.78/5.84 c 2743 198 1532 144966 94 47202 2964 1516 474 5.78 5.78/5.84 o 460 5.88/5.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.88/5.90 c 2760 198 1567 148680 94 49769 2964 1551 472 5.84 5.88/5.90 o 458 5.98/6.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.98/6.00 c 2789 198 1625 154188 94 51725 2964 1609 472 5.90 5.98/6.00 o 425 5.98/6.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.98/6.06 c 2821 198 1690 160954 95 52659 2964 1674 470 6.00 5.98/6.06 o 417 6.18/6.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.18/6.20 c 2833 198 1715 164022 95 53270 2964 1699 467 6.06 6.18/6.20 o 415 6.38/6.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.38/6.43 c 2870 198 1790 173183 96 56244 2964 1774 462 6.20 6.38/6.43 c 2972 198 1982 190931 96 52983 3261 1966 465 6.39 6.38/6.43 o 410 6.38/6.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.38/6.49 c 2988 198 2014 194020 96 53478 2964 1998 464 6.43 6.38/6.49 o 407 6.49/6.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.49/6.55 c 3009 198 2056 198431 96 54330 2964 2040 463 6.49 6.49/6.55 o 400 6.59/6.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.59/6.63 c 3025 198 2089 201886 96 54636 2964 2073 461 6.55 6.59/6.63 o 398 6.78/6.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.78/6.82 c 3050 198 2140 208702 97 57147 2964 2124 460 6.63 6.78/6.82 o 396 6.78/6.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.78/6.85 c 3119 198 2268 220889 97 61035 2964 2252 457 6.82 6.78/6.85 o 384 6.88/6.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.88/6.99 c 3126 198 2283 222474 97 60792 2964 2267 456 6.84 6.88/6.99 o 382 7.89/7.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.89/7.97 c 3166 198 2364 232761 98 65252 2964 2348 452 6.99 7.89/7.97 c 3266 198 2551 248587 97 73351 3261 2535 449 7.26 7.89/7.97 c 3519 198 3023 289544 95 90873 3588 3007 449 7.83 7.89/7.97 o 380 8.29/8.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.29/8.37 c 3569 198 3110 297032 95 90313 2964 3094 447 7.97 8.29/8.37 o 378 8.39/8.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.39/8.40 c 3578 198 1518 149584 98 60011 2964 1502 427 8.37 8.39/8.40 o 376 8.39/8.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.39/8.41 c 3581 198 1525 150494 98 60124 2964 1509 426 8.40 8.39/8.41 o 372 9.59/9.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.59/9.63 c 3582 198 1528 150914 98 60344 2964 1512 425 8.41 9.59/9.63 c 3683 198 1717 168591 98 67074 3261 1701 424 8.69 9.59/9.63 c 3933 198 2179 209952 96 78921 3588 2163 420 9.35 9.59/9.63 o 363 9.89/9.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.89/9.91 c 4039 198 2378 227167 95 81746 2964 2362 419 9.63 9.89/9.91 c 4139 198 2552 241760 94 88987 3261 2536 418 9.89 9.89/9.91 o 345 9.99/10.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.99/10.06 c 4141 198 2557 242292 94 85712 2964 2541 417 9.91 9.99/10.06 o 343 10.09/10.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.09/10.10 c 4178 198 2632 251302 95 86326 2964 2616 415 10.06 10.09/10.10 o 339 10.19/10.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.19/10.23 c 4183 198 2643 252645 95 86657 2964 2627 414 10.10 10.19/10.23 o 337 10.29/10.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.29/10.30 c 4226 198 2719 259500 95 88465 2964 2703 413 10.23 10.29/10.30 o 325 10.49/10.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.49/10.55 c 4242 198 2750 262392 95 90273 2964 2734 411 10.30 10.49/10.55 o 323 10.49/10.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.49/10.58 c 4292 198 2850 273560 95 94586 2964 2834 406 10.55 10.49/10.58 o 321 12.78/12.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 12.78/12.83 c 4296 198 2859 274718 96 95028 2964 2843 406 10.57 12.78/12.83 c 4396 198 1499 137715 91 58395 3261 1483 380 11.56 12.78/12.83 c 4646 198 1965 178871 91 72129 3588 1949 381 12.19 12.78/12.83 o 315 13.09/13.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.09/13.20 c 4768 198 2210 204647 92 75914 2964 2194 371 12.83 13.09/13.20 o 309 13.48/13.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.48/13.51 c 4844 198 2358 219491 93 81973 2964 2342 367 13.19 13.48/13.51 o 293 13.58/13.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.58/13.62 c 4891 198 2453 230244 93 83790 2964 2437 362 13.50 13.58/13.62 o 265 13.98/14.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.98/14.01 c 4938 198 2543 237570 93 72451 2964 2527 362 13.62 13.98/14.01 c 5038 198 2741 260087 94 78922 3261 2725 360 13.97 13.98/14.01 o 263 13.98/14.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 13.98/14.06 c 5045 198 2755 261453 94 78210 2964 2739 360 14.01 13.98/14.06 o 261 14.19/14.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.19/14.21 c 5052 198 2770 263426 95 78443 2964 2754 359 14.06 14.19/14.21 o 251 14.78/14.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.78/14.89 c 5097 198 2859 271811 95 80696 2964 2843 358 14.21 14.78/14.89 c 5197 198 1507 150030 99 59765 3261 1491 351 14.77 14.78/14.89 o 250 14.88/14.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 14.88/14.95 c 5223 198 1560 156031 100 59841 2964 1544 350 14.89 14.88/14.95 o 246 18.49/18.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.49/18.60 c 5233 198 1581 158486 100 61317 2964 1565 350 14.95 18.49/18.60 c 5334 198 1768 174508 98 69267 3261 1752 352 15.14 18.49/18.60 c 5584 198 2234 214693 96 87763 3588 2218 356 15.66 18.49/18.60 c 6060 198 3067 286213 93 117365 3947 3051 356 17.00 18.49/18.60 o 244 20.48/20.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.48/20.55 c 6433 198 3744 347454 92 128172 2964 3728 345 18.60 20.48/20.55 o 238 20.48/20.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.48/20.57 c 6454 198 1541 133034 86 58218 2964 1525 314 20.54 20.48/20.57 o 222 20.58/20.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.58/20.62 c 6457 198 1548 133836 86 58540 2964 1532 314 20.56 20.58/20.62 o 220 20.68/20.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.68/20.74 c 6468 198 1571 136692 87 59574 2964 1555 313 20.62 20.68/20.74 o 217 20.89/20.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.89/20.97 c 6488 198 1612 141242 87 60895 2964 1596 312 20.73 20.89/20.97 o 215 21.18/21.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.18/21.22 c 6542 198 1720 153536 89 65890 2964 1704 312 20.97 21.18/21.22 o 206 21.48/21.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.48/21.54 c 6603 198 1843 164263 89 67305 2964 1827 311 21.21 21.48/21.54 o 204 21.68/21.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.68/21.76 c 6663 198 1964 179072 91 72317 2964 1948 309 21.53 21.68/21.76 o 203 21.78/21.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.78/21.84 c 6722 198 2082 189763 91 75010 2964 2066 308 21.76 21.78/21.84 o 199 21.89/21.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 21.89/21.95 c 6733 198 2105 192474 91 75960 2964 2089 308 21.83 21.89/21.95 o 197 47.26/47.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 47.26/47.32 c 6746 198 2132 195699 91 77378 2964 2116 307 21.94 47.26/47.32 c 6846 198 2320 212766 91 84101 3261 2304 308 22.19 47.26/47.32 c 7096 198 2775 252630 91 97796 3588 2759 310 22.86 47.26/47.32 c 7571 198 1811 167649 92 72686 3947 1795 301 25.15 47.26/47.32 c 8384 198 3185 278236 87 111974 4342 3169 309 27.08 47.26/47.32 c 9704 198 3069 246147 80 103209 4777 3053 295 32.87 47.26/47.32 c 11786 198 3908 306828 78 122845 5255 3892 285 41.35 47.26/47.32 o 192 48.26/48.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 48.26/48.32 c 12987 198 3163 243040 76 87504 2964 3147 274 47.30 48.26/48.32 o 190 48.26/48.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 48.26/48.34 c 12988 198 1502 109453 72 41094 2964 1486 268 48.30 48.26/48.34 o 188 48.26/48.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 48.26/48.37 c 12993 198 1512 110617 73 40703 2964 1496 268 48.32 48.26/48.37 o 184 48.26/48.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 48.26/48.39 c 12999 198 1525 112261 73 41437 2964 1509 268 48.34 48.26/48.39 o 180 49.47/49.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 49.47/49.56 c 13003 198 1534 113443 73 41895 2964 1518 268 48.37 49.47/49.56 c 13104 198 1713 128661 75 49736 3261 1697 270 48.53 49.47/49.56 c 13355 198 2125 161772 76 62230 3588 2109 272 48.98 49.47/49.56 o 176 49.57/49.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 49.57/49.68 c 13610 198 2573 199334 77 69216 2964 2557 274 49.54 49.57/49.68 o 174 49.77/49.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 49.77/49.80 c 13644 198 2642 207479 78 69940 2964 2626 274 49.65 49.77/49.80 o 172 49.77/49.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 49.77/49.86 c 13676 198 2704 213406 78 72616 2964 2688 274 49.78 49.77/49.86 o 165 49.87/49.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 49.87/49.91 c 13688 198 2728 215742 79 69096 2964 2712 274 49.83 49.87/49.91 o 163 112.54/112.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 112.54/112.69 c 13699 198 2750 218287 79 69241 2964 2734 274 49.89 112.54/112.69 c 13801 198 2921 232164 79 70930 3261 2905 275 50.04 112.54/112.69 c 14051 198 1648 128622 78 44862 3588 1632 276 50.74 112.54/112.69 c 14526 198 2397 188799 78 63824 3947 2381 282 51.41 112.54/112.69 c 15339 198 3623 282717 78 98407 4342 3607 290 52.83 112.54/112.69 c 16659 198 3234 236321 73 79709 4777 3218 296 56.27 112.54/112.69 c 18740 198 3625 257890 71 81836 5255 3609 301 62.10 112.54/112.69 c 21964 198 2645 180310 68 55755 5781 2629 311 70.57 112.54/112.69 c 26901 198 3840 277842 72 88280 6360 3824 315 85.26 112.54/112.69 c 34409 198 4806 353673 73 121971 6997 4790 309 111.29 112.54/112.69 o 161 115.23/115.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 115.23/115.36 c 34784 198 5383 402210 74 121187 2964 5367 308 112.65 115.23/115.36 c 34884 198 1644 116938 71 35359 3261 1628 303 115.10 115.23/115.36 o 159 115.23/115.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 115.23/115.37 c 35030 198 1874 135533 72 40206 2964 1858 303 115.31 115.23/115.37 o 157 115.34/115.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 115.34/115.43 c 35031 198 1877 135825 72 40079 2964 1861 303 115.32 115.34/115.43 o 155 132.33/132.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 132.33/132.47 c 35052 198 1920 141177 73 41845 2964 1904 303 115.38 132.33/132.47 c 35152 198 2076 154197 74 47909 3261 2060 304 115.55 132.33/132.47 c 35402 198 2483 188627 75 62866 3588 2467 305 116.02 132.33/132.47 c 35878 198 3255 251766 77 86981 3947 3239 306 117.16 132.33/132.47 c 36692 198 2448 185029 75 71535 4342 2432 306 119.88 132.33/132.47 c 38012 198 2258 165101 73 74790 4777 2242 304 125.02 132.33/132.47 o 152 134.23/134.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 134.23/134.33 c 39710 198 2611 206659 79 78763 2964 2595 299 132.41 134.23/134.33 c 39810 198 2780 221643 79 84942 3261 2764 299 132.73 134.23/134.33 c 40061 198 3180 255508 80 99487 3588 3164 300 133.51 134.23/134.33 o 150 150.52/150.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 150.52/150.70 c 40257 198 3502 283011 80 105406 2964 3486 299 134.27 150.52/150.70 c 40358 198 1662 127300 76 46262 3261 1646 297 135.85 150.52/150.70 c 40608 198 2032 156410 76 60049 3588 2016 297 136.34 150.52/150.70 c 41084 198 2798 220527 78 91802 3947 2782 298 137.44 150.52/150.70 c 41897 198 1999 142812 71 64331 4342 1983 296 141.53 150.52/150.70 c 43217 198 4074 314429 77 143286 4777 4058 296 145.92 150.52/150.70 o 149 154.43/154.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 154.43/154.51 c 43849 198 2674 210243 78 89687 2964 2658 291 150.63 154.43/154.51 c 43949 198 2814 220394 78 88935 3261 2798 291 150.86 154.43/154.51 c 44200 198 3175 246594 77 98786 3588 3159 291 151.44 154.43/154.51 c 44675 198 2051 150400 73 62964 3947 2035 289 154.08 154.43/154.51 o 148 158.42/158.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 158.42/158.55 c 44832 198 2308 171718 74 67518 2964 2292 290 154.45 158.42/158.55 c 44932 198 2470 184695 74 73279 3261 2454 290 154.67 158.42/158.55 c 45182 198 2908 222435 76 88910 3588 2892 290 155.32 158.42/158.55 c 45657 198 1865 146422 78 62505 3947 1849 288 158.00 158.42/158.55 o 141 163.81/163.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 163.81/163.97 c 45825 198 2157 170739 79 67389 2964 2141 289 158.48 163.81/163.97 c 45925 198 2332 187734 80 72584 3261 2316 289 158.81 163.81/163.97 c 46177 198 2765 225504 81 92451 3588 2749 289 159.60 163.81/163.97 c 46653 198 3586 298691 83 123419 3947 3570 289 161.23 163.81/163.97 o 140 163.91/164.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 163.91/164.10 c 46920 198 2047 171131 83 68790 2964 2031 286 163.89 163.91/164.10 o 136 166.50/166.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 166.50/166.66 c 46940 198 2088 175690 84 69505 2964 2072 286 164.02 166.50/166.66 c 47040 198 2255 189021 83 74143 3261 2239 286 164.25 166.50/166.66 c 47291 198 2704 227717 84 88169 3588 2688 286 164.93 166.50/166.66 o 107 169.41/169.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 169.41/169.59 c 47744 198 3527 300722 85 107140 2964 3511 286 166.58 169.41/169.59 c 47845 198 1701 149510 87 60660 3261 1685 284 168.20 169.41/169.59 c 48095 198 2134 186557 87 76737 3588 2118 284 168.80 169.41/169.59 o 101 169.81/169.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 169.81/169.93 c 48316 198 2522 220436 87 87282 2964 2506 285 169.51 169.81/169.93 o 99 178.40/178.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 178.40/178.58 c 48385 198 2657 235730 88 90673 2964 2641 284 169.85 178.40/178.58 c 48485 198 2827 250101 88 94125 3261 2811 285 170.06 178.40/178.58 c 48735 198 3260 285995 87 111806 3588 3244 285 170.71 178.40/178.58 c 49211 198 2251 198124 88 90747 3947 2235 283 173.45 178.40/178.58 c 50024 198 3695 328166 88 147189 4342 3679 283 176.46 178.40/178.58 o 94 181.20/181.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 181.20/181.30 c 50429 198 2188 186932 85 80369 2964 2172 278 181.18 181.20/181.30 o 92 189.20/189.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 189.20/189.34 c 50429 198 2189 187060 85 80488 2964 2173 278 181.22 189.20/189.34 c 50529 198 2369 202905 85 86687 3261 2353 278 181.58 189.20/189.34 c 50780 198 2822 242686 85 104811 3588 2806 278 182.43 189.20/189.34 c 51255 198 1811 154346 85 71220 3947 1795 275 186.30 189.20/189.34 c 52068 198 3213 275219 85 123317 4342 3197 275 189.14 189.20/189.34 o 87 195.40/195.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 195.40/195.57 c 52084 198 3243 277952 85 118648 2964 3227 275 189.26 195.40/195.57 c 52184 198 1685 140204 83 62703 3261 1669 272 191.42 195.40/195.57 c 52435 198 2105 176127 83 79648 3588 2089 272 192.11 195.40/195.57 c 52910 198 2905 243141 83 110445 3947 2889 273 193.70 195.40/195.57 o 85 209.49/209.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 209.49/209.63 c 53297 198 3533 294155 83 125977 2964 3517 272 195.49 209.49/209.63 c 53397 198 1679 133818 79 60913 3261 1663 269 197.93 209.49/209.63 c 53648 198 2106 170519 80 75812 3588 2090 270 198.58 209.49/209.63 c 54124 198 2941 244043 82 106330 3947 2925 270 200.14 209.49/209.63 c 54937 198 2293 190368 83 83924 4342 2277 267 205.35 209.49/209.63 o 81 212.29/212.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 212.29/212.49 c 56040 198 4241 358102 84 135934 2964 4225 267 209.53 212.29/212.49 o 79 1797.99/1798.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.99/1798.80 c 56086 198 1590 132336 83 52306 2964 1574 264 212.39 1797.99/1798.80 c 56187 198 1743 144000 82 57654 3261 1727 264 212.54 1797.99/1798.80 c 56437 198 2118 173219 81 72477 3588 2102 265 212.97 1797.99/1798.80 c 56914 198 2842 230933 81 103515 3947 2826 266 213.96 1797.99/1798.80 c 57730 198 2109 167663 79 91532 4342 2093 263 218.69 1797.99/1798.80 c 59050 198 4200 347728 82 184905 4777 4184 262 224.63 1797.99/1798.80 c 61131 198 2496 187171 74 90410 5255 2480 252 242.50 1797.99/1798.80 c 64354 198 4596 356654 77 177978 5781 4580 246 260.57 1797.99/1798.80 c 69290 198 3182 239309 75 125403 6360 3166 229 301.81 1797.99/1798.80 c 76796 198 4666 358374 76 184185 6997 4650 208 367.56 1797.99/1798.80 c 88159 198 4612 374153 81 180139 7697 4596 186 473.35 1797.99/1798.80 c 105303 198 7387 588998 79 276383 8467 7371 164 641.94 1797.99/1798.80 c 131123 198 7647 581279 76 288144 9314 7631 134 976.74 1797.99/1798.80 c 169955 198 4946 380641 76 192708 10246 4930 112 1507.01 1797.99/1798.80 c Resources Exceeded 1797.99/1798.80 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 x27 -x28 -x29 x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 x131 -x132 -x133 -x134 -x135 x136 x137 x138 x139 -x140 -x141 x142 x143 -x144 -x145 -x146 x147 x148 x149 -x150 -x151 x152 x153 -x154 -x155 x156 x157 -x158 x159 -x160 -x161 x162 -x163 x164 -x165 x166 x167 x168 x169 -x170 -x171 x172 x173 -x174 -x175 x177 x178 -x179 -x180 x181 x182 x183 x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 x192 x193 -x194 x195 -x196 -x197 x198 x176 1797.99/1798.80 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.80 c 212 188937 9798 212836 7752 600538 7736 105 1798.00 1797.99/1798.80 c Objective: 79 1797.99/1798.80 s SATISFIABLE 1797.99/1798.80 c Total time: 1798 s
OK 79
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880058-1245240737/watcher-1880058-1245240737 -o /tmp/evaluation-result-1880058-1245240737/solver-1880058-1245240737 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880058-1245240737.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.91 3/65 11129 /proc/meminfo: memFree=1854512/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=18520 CPUtime=0 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 263 0 0 0 0 0 0 0 18 0 1 0 191673160 18964480 243 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 4630 243 189 640 0 3986 0 [startup+0.041736 s] /proc/loadavg: 0.99 0.98 0.91 3/65 11129 /proc/meminfo: memFree=1854512/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=10968 CPUtime=0.03 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 349 0 0 0 3 0 0 0 18 0 1 0 191673160 11231232 329 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 2742 329 196 640 0 2098 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 10968 [startup+0.101743 s] /proc/loadavg: 0.99 0.98 0.91 3/65 11129 /proc/meminfo: memFree=1854512/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=11356 CPUtime=0.09 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 431 0 0 0 9 0 0 0 18 0 1 0 191673160 11628544 411 1992294400 134512640 137136520 4294956256 18446744073709551615 134574390 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 2839 411 196 640 0 2195 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11356 [startup+0.301765 s] /proc/loadavg: 0.99 0.98 0.91 3/65 11129 /proc/meminfo: memFree=1854512/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=12140 CPUtime=0.29 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 630 0 0 0 29 0 0 0 19 0 1 0 191673160 12431360 610 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 3035 610 197 640 0 2391 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12140 [startup+0.70181 s] /proc/loadavg: 0.99 0.98 0.91 3/65 11129 /proc/meminfo: memFree=1854512/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=13440 CPUtime=0.69 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 949 0 0 0 69 0 0 0 23 0 1 0 191673160 13762560 929 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 3360 929 197 640 0 2716 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13440 [startup+1.5019 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1851112/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=14612 CPUtime=1.49 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 1247 0 0 0 149 0 0 0 25 0 1 0 191673160 14962688 1227 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 3653 1227 197 640 0 3009 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14612 [startup+3.10108 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1849384/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=16952 CPUtime=3.09 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 1840 0 0 0 308 1 0 0 25 0 1 0 191673160 17358848 1820 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 4238 1820 197 640 0 3594 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16952 [startup+6.30145 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1847592/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=17080 CPUtime=6.28 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 1865 0 0 0 627 1 0 0 25 0 1 0 191673160 17489920 1845 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 4270 1845 197 640 0 3626 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 17080 [startup+12.7012 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1847464/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=17080 CPUtime=12.68 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 1865 0 0 0 1266 2 0 0 25 0 1 0 191673160 17489920 1845 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 4270 1845 197 640 0 3626 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 17080 [startup+25.5016 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1846184/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=18508 CPUtime=25.47 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 2238 0 0 0 2544 3 0 0 25 0 1 0 191673160 18952192 2218 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 4627 2218 197 640 0 3983 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 18508 [startup+51.1015 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1844584/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=20320 CPUtime=51.07 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 2674 0 0 0 5102 5 0 0 25 0 1 0 191673160 20807680 2654 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 5080 2654 197 640 0 4436 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20320 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1844200/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=20444 CPUtime=102.25 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 2720 0 0 0 10216 9 0 0 25 0 1 0 191673160 20934656 2700 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 5111 2700 197 640 0 4467 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 20444 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1843688/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=20932 CPUtime=162.21 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 2834 0 0 0 16210 11 0 0 25 0 1 0 191673160 21434368 2814 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 5233 2814 197 640 0 4589 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 20932 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1843688/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=20932 CPUtime=222.18 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 2834 0 0 0 22204 14 0 0 25 0 1 0 191673160 21434368 2814 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 5233 2814 197 640 0 4589 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 20932 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1841768/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=22856 CPUtime=282.15 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 3307 0 0 0 28198 17 0 0 25 0 1 0 191673160 23404544 3287 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 5714 3287 197 640 0 5070 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 22856 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1840680/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=23896 CPUtime=342.12 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 3574 0 0 0 34193 19 0 0 25 0 1 0 191673160 24469504 3554 1992294400 134512640 137136520 4294956256 18446744073709551615 136502415 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 5974 3554 197 640 0 5330 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 23896 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1839592/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=24936 CPUtime=402.1 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 3849 0 0 0 40188 22 0 0 25 0 1 0 191673160 25534464 3829 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 6234 3829 197 640 0 5590 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 24936 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1838760/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=25844 CPUtime=462.08 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 4058 0 0 0 46184 24 0 0 25 0 1 0 191673160 26464256 4038 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 6461 4038 197 640 0 5817 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 25844 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1838120/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=26372 CPUtime=522.04 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 4208 0 0 0 52179 25 0 0 25 0 1 0 191673160 27004928 4188 1992294400 134512640 137136520 4294956256 18446744073709551615 134540852 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 6593 4188 197 640 0 5949 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 26372 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1838056/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=26372 CPUtime=582.03 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 4208 0 0 0 58176 27 0 0 25 0 1 0 191673160 27004928 4188 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 6593 4188 197 640 0 5949 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 26372 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1838056/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=26372 CPUtime=642 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 4208 0 0 0 64172 28 0 0 25 0 1 0 191673160 27004928 4188 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 6593 4188 197 640 0 5949 0 Current children cumulated CPU time (s) 642 Current children cumulated vsize (KiB) 26372 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1834664/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=29620 CPUtime=1121.78 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 5001 0 0 0 112137 41 0 0 25 0 1 0 191673160 30330880 4981 1992294400 134512640 137136520 4294956256 18446744073709551615 134544127 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 7405 4981 197 640 0 6761 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 29620 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1834664/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=29620 CPUtime=1181.76 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 5003 0 0 0 118134 42 0 0 25 0 1 0 191673160 30330880 4983 1992294400 134512640 137136520 4294956256 18446744073709551615 134575005 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 7405 4983 197 640 0 6761 0 Current children cumulated CPU time (s) 1181.76 Current children cumulated vsize (KiB) 29620 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1834472/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=29620 CPUtime=1241.73 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 5003 0 0 0 124128 45 0 0 25 0 1 0 191673160 30330880 4983 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 7405 4983 197 640 0 6761 0 Current children cumulated CPU time (s) 1241.73 Current children cumulated vsize (KiB) 29620 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1834472/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=29616 CPUtime=1301.7 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 5003 0 0 0 130125 45 0 0 25 0 1 0 191673160 30326784 4983 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 7404 4983 197 640 0 6760 0 Current children cumulated CPU time (s) 1301.7 Current children cumulated vsize (KiB) 29616 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1834472/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=29616 CPUtime=1361.68 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 5003 0 0 0 136121 47 0 0 25 0 1 0 191673160 30326784 4983 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 7404 4983 197 640 0 6760 0 Current children cumulated CPU time (s) 1361.68 Current children cumulated vsize (KiB) 29616 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1834344/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=29716 CPUtime=1421.65 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 5025 0 0 0 142117 48 0 0 25 0 1 0 191673160 30429184 5005 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 7429 5005 197 640 0 6785 0 Current children cumulated CPU time (s) 1421.65 Current children cumulated vsize (KiB) 29716 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1834344/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=29680 CPUtime=1481.62 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 5025 0 0 0 148113 49 0 0 25 0 1 0 191673160 30392320 5005 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 7420 5005 197 640 0 6776 0 Current children cumulated CPU time (s) 1481.62 Current children cumulated vsize (KiB) 29680 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1832488/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=31516 CPUtime=1541.6 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 5488 0 0 0 154109 51 0 0 25 0 1 0 191673160 32272384 5468 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 7879 5468 197 640 0 7235 0 Current children cumulated CPU time (s) 1541.6 Current children cumulated vsize (KiB) 31516 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1832488/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=31516 CPUtime=1601.57 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 5488 0 0 0 160106 51 0 0 25 0 1 0 191673160 32272384 5468 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 7879 5468 197 640 0 7235 0 Current children cumulated CPU time (s) 1601.57 Current children cumulated vsize (KiB) 31516 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1832424/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=31516 CPUtime=1661.55 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 5488 0 0 0 166102 53 0 0 25 0 1 0 191673160 32272384 5468 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 7879 5468 197 640 0 7235 0 Current children cumulated CPU time (s) 1661.55 Current children cumulated vsize (KiB) 31516 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1832424/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=31516 CPUtime=1721.53 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 5488 0 0 0 172099 54 0 0 25 0 1 0 191673160 32272384 5468 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 7879 5468 197 640 0 7235 0 Current children cumulated CPU time (s) 1721.53 Current children cumulated vsize (KiB) 31516 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1832232/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=31516 CPUtime=1781.5 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 5488 0 0 0 178095 55 0 0 25 0 1 0 191673160 32272384 5468 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 7879 5468 197 640 0 7235 0 Current children cumulated CPU time (s) 1781.5 Current children cumulated vsize (KiB) 31516 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1832232/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=31516 CPUtime=1791.09 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 5488 0 0 0 179054 55 0 0 25 0 1 0 191673160 32272384 5468 1992294400 134512640 137136520 4294956256 18446744073709551615 136295553 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 7879 5468 197 640 0 7235 0 Current children cumulated CPU time (s) 1791.09 Current children cumulated vsize (KiB) 31516 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1832232/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=31516 CPUtime=1794.3 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 5488 0 0 0 179374 56 0 0 25 0 1 0 191673160 32272384 5468 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 7879 5468 197 640 0 7235 0 Current children cumulated CPU time (s) 1794.3 Current children cumulated vsize (KiB) 31516 [startup+1796.7 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1832232/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=31516 CPUtime=1795.9 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 5488 0 0 0 179534 56 0 0 25 0 1 0 191673160 32272384 5468 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 7879 5468 197 640 0 7235 0 Current children cumulated CPU time (s) 1795.9 Current children cumulated vsize (KiB) 31516 [startup+1797.5 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1832232/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=31516 CPUtime=1796.69 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 5488 0 0 0 179613 56 0 0 25 0 1 0 191673160 32272384 5468 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 7879 5468 197 640 0 7235 0 Current children cumulated CPU time (s) 1796.69 Current children cumulated vsize (KiB) 31516 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1832232/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=31516 CPUtime=1797.49 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 5488 0 0 0 179693 56 0 0 25 0 1 0 191673160 32272384 5468 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 7879 5468 197 640 0 7235 0 Current children cumulated CPU time (s) 1797.49 Current children cumulated vsize (KiB) 31516 [startup+1798.7 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1832232/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=31516 CPUtime=1797.89 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 5488 0 0 0 179733 56 0 0 25 0 1 0 191673160 32272384 5468 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 7879 5468 197 640 0 7235 0 Current children cumulated CPU time (s) 1797.89 Current children cumulated vsize (KiB) 31516 [startup+1798.8 s] /proc/loadavg: 0.99 0.98 0.91 2/66 11130 /proc/meminfo: memFree=1832232/2055920 swapFree=4181080/4192956 [pid=11129] ppid=11127 vsize=31516 CPUtime=1797.99 /proc/11129/stat : 11129 (bsolo) R 11127 11129 10965 0 -1 4194304 5488 0 0 0 179743 56 0 0 25 0 1 0 191673160 32272384 5468 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11129/statm: 7879 5468 197 640 0 7235 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 31516 Child status: 0 Real time (s): 1798.81 CPU time (s): 1798.01 CPU user time (s): 1797.44 CPU system time (s): 0.565913 CPU usage (%): 99.9554 Max. virtual memory (cumulated for all children) (KiB): 31516 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.44 system time used= 0.565913 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5490 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 6979 runsolver used 2.11268 second user time and 4.44032 second system time The end
Begin job on node32 at 2009-06-17 14:12:17 IDJOB=1880058 IDBENCH=2912 IDSOLVER=701 FILE ID=node32/1880058-1245240737 PBS_JOBID= 9372306 Free space on /tmp= 66344 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880058-1245240737/watcher-1880058-1245240737 -o /tmp/evaluation-result-1880058-1245240737/solver-1880058-1245240737 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880058-1245240737.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0278ee4f163393ac33163ff791a7f96d RANDOM SEED=1077642375 node32.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 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.234 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: 1855056 kB Buffers: 14600 kB Cached: 124884 kB SwapCached: 5016 kB Active: 18248 kB Inactive: 129512 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1855056 kB SwapTotal: 4192956 kB SwapFree: 4181080 kB Dirty: 3956 kB Writeback: 0 kB Mapped: 14660 kB Slab: 38768 kB Committed_AS: 204952 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1880058-1245240737.opb Free space on /tmp at the end= 66340 MiB End job on node32 at 2009-06-17 14:42:16