Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | SAT | 43 | 1798.04 | 1798.08 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_4.opb |
MD5SUM | 3feaf3974ec1ffdea6d6674c11d1a071 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 28 |
Best CPU time to get the best result obtained on this benchmark | 1797.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 36 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
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 | 500 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 50 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 15754 |
Sum of products size (including duplicates) | 31508 |
Number of different products | 15754 |
Sum of products size | 31508 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Instance file HOME/instance-3462737-1307182545.opb 0.00/0.00 c File size is 223821 bytes. 0.00/0.03 c Highest Coefficient sum: 500 0.00/0.03 c Parsing was ok!! 0.00/0.03 c Total parsing time: 0.034 s 0.00/0.04 c Var: 16254 Constr: 32008 16254/0/15754 Lit: 110778 Watch. Lit: 79770 0.00/0.04 c Obj. Vars: 500 (3.07617 % of total variables) 0.39/0.49 c Pre-processing Time: 0.496 s 0.39/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.49 c 0 16254 32008 110778 3 79770 99942 0 0 0.50 0.39/0.49 c Switching off lower bounding mode. 0.49/0.50 o 499 0.49/0.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.51 c 0 16254 32009 111278 3 79773 100275 1 0 0.51 0.49/0.51 o 498 0.49/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.52 c 0 16254 32010 111778 3 79777 100775 2 0 0.51 0.49/0.52 o 497 0.49/0.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.53 c 0 16254 32011 112278 3 79782 101442 3 0 0.52 0.49/0.53 o 496 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 0 16254 32012 112778 3 79788 102275 4 0 0.54 0.49/0.54 o 495 0.49/0.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.56 c 0 16254 32013 113278 3 79795 103275 5 0 0.55 0.49/0.56 o 494 0.49/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.57 c 0 16254 32014 113778 3 79803 104275 6 0 0.56 0.49/0.57 o 493 0.49/0.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.59 c 0 16254 32015 114278 3 79812 105275 7 0 0.58 0.49/0.59 o 492 0.59/0.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.60 c 0 16254 32016 114778 3 79822 106275 8 0 0.59 0.59/0.60 o 491 0.59/0.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.62 c 0 16254 32017 115278 3 79833 107275 9 0 0.61 0.59/0.62 o 490 0.59/0.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.64 c 0 16254 32018 115778 3 79845 108275 10 0 0.62 0.59/0.64 o 489 0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.65 c 0 16254 32019 116278 3 79858 109275 11 0 0.65 0.59/0.65 o 488 0.59/0.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.68 c 0 16254 32020 116778 3 79872 110275 12 0 0.66 0.59/0.68 o 487 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 0 16254 32021 117278 3 79887 111275 13 0 0.68 0.59/0.69 o 486 0.69/0.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.71 c 0 16254 32022 117778 3 79903 112275 14 0 0.70 0.69/0.71 o 485 0.69/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.73 c 0 16254 32023 118278 3 79920 113275 15 0 0.72 0.69/0.73 o 484 0.69/0.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.76 c 0 16254 32024 118778 3 79938 114275 16 0 0.74 0.69/0.76 o 483 0.69/0.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.78 c 0 16254 32025 119278 3 79957 115275 17 0 0.76 0.69/0.78 o 482 0.79/0.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.80 c 0 16254 32026 119778 3 79977 116275 18 0 0.78 0.79/0.80 o 481 0.79/0.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.82 c 0 16254 32027 120278 3 79998 117275 19 0 0.81 0.79/0.82 o 480 0.79/0.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.85 c 0 16254 32028 120778 3 80020 118275 20 0 0.83 0.79/0.85 o 479 0.79/0.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.88 c 0 16254 32029 121278 3 80043 119275 21 0 0.86 0.79/0.88 o 478 0.89/0.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.90 c 0 16254 32030 121778 3 80067 120275 22 0 0.88 0.89/0.90 o 477 0.89/0.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.93 c 0 16254 32031 122278 3 80092 121275 23 0 0.91 0.89/0.93 o 476 0.89/0.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.96 c 0 16254 32032 122778 3 80118 122275 24 0 0.93 0.89/0.96 o 475 0.89/0.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.98 c 0 16254 32033 123278 3 80145 123275 25 0 0.96 0.89/0.98 o 474 0.99/1.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.01 c 0 16254 32034 123778 3 80173 124275 26 0 0.99 0.99/1.01 o 473 0.99/1.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.04 c 0 16254 32035 124278 3 80202 125275 27 0 1.02 0.99/1.04 o 472 0.99/1.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.07 c 0 16254 32036 124778 3 80232 126275 28 0 1.04 0.99/1.07 o 471 0.99/1.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.10 c 0 16254 32037 125278 3 80263 127275 29 0 1.07 0.99/1.10 o 470 1.10/1.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.13 c 0 16254 32038 125778 3 80295 128275 30 0 1.10 1.10/1.13 o 469 1.10/1.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.16 c 0 16254 32039 126278 3 80328 129275 31 0 1.14 1.10/1.16 o 468 1.10/1.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.20 c 0 16254 32040 126778 3 80362 130275 32 0 1.16 1.10/1.20 o 467 1.21/1.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.21/1.22 c 0 16254 32041 127278 3 80397 131275 33 0 1.20 1.21/1.22 o 466 1.21/1.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.21/1.25 c 0 16254 32042 127778 3 80433 132275 34 0 1.23 1.21/1.25 o 465 1.21/1.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.21/1.28 c 0 16254 32043 128278 4 80470 133275 35 0 1.26 1.21/1.28 o 464 1.29/1.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.32 c 0 16254 32044 128778 4 80508 134275 36 0 1.28 1.29/1.32 o 463 1.29/1.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.35 c 0 16254 32045 129278 4 80547 135275 37 0 1.32 1.29/1.35 o 462 1.29/1.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.38 c 0 16254 32046 129778 4 80587 136275 38 0 1.35 1.29/1.38 o 461 1.39/1.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.41 c 0 16254 32047 130278 4 80628 137275 39 0 1.39 1.39/1.41 o 460 1.39/1.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.46 c 0 16254 32048 130778 4 80670 138275 40 0 1.42 1.39/1.46 o 459 1.39/1.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.48 c 0 16254 32049 131278 4 80713 139275 41 0 1.46 1.39/1.48 o 458 1.49/1.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.52 c 0 16254 32050 131778 4 80757 140275 42 0 1.49 1.49/1.52 o 457 1.49/1.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.55 c 0 16254 32051 132278 4 80802 141275 43 0 1.53 1.49/1.55 o 456 1.59/1.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.60 c 0 16254 32052 132778 4 80848 142275 44 0 1.56 1.59/1.60 o 455 1.59/1.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.63 c 0 16254 32053 133278 4 80895 143275 45 0 1.60 1.59/1.63 o 454 1.59/1.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.67 c 0 16254 32054 133778 4 80943 144275 46 0 1.63 1.59/1.67 o 453 1.69/1.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.70 c 0 16254 32055 134278 4 80992 145275 47 0 1.68 1.69/1.70 o 452 1.69/1.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.75 c 0 16254 32056 134778 4 81042 146275 48 0 1.71 1.69/1.75 o 451 1.69/1.78 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.78 c 0 16254 32057 135278 4 81093 147275 49 0 1.76 1.69/1.78 o 450 1.79/1.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.83 c 0 16254 32058 135778 4 81145 148275 50 0 1.79 1.79/1.83 o 449 1.79/1.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.86 c 0 16254 32059 136278 4 81198 149275 51 0 1.83 1.79/1.86 o 448 1.89/1.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.91 c 0 16254 32060 136778 4 81252 150275 52 0 1.86 1.89/1.91 o 447 1.89/1.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.94 c 0 16254 32061 137278 4 81307 151275 53 0 1.91 1.89/1.94 o 446 1.89/1.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.98 c 0 16254 32062 137778 4 81363 152275 54 0 1.94 1.89/1.98 o 445 1.99/2.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.01 c 0 16254 32063 138278 4 81420 153275 55 0 1.99 1.99/2.01 o 444 1.99/2.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.05 c 0 16254 32064 138778 4 81478 154275 56 0 2.02 1.99/2.05 o 443 1.99/2.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.08 c 0 16254 32065 139278 4 81537 155275 57 0 2.06 1.99/2.08 o 442 2.09/2.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.12 c 0 16254 32066 139778 4 81597 156275 58 0 2.09 2.09/2.12 o 441 2.09/2.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.16 c 0 16254 32067 140278 4 81658 157275 59 0 2.13 2.09/2.16 o 440 2.09/2.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.21 c 0 16254 32068 140778 4 81720 158275 60 0 2.16 2.09/2.21 o 439 2.19/2.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.24 c 0 16254 32069 141278 4 81783 159275 61 0 2.21 2.19/2.24 o 438 2.19/2.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.19/2.29 c 0 16254 32070 141778 4 81847 160275 62 0 2.25 2.19/2.29 o 437 2.31/2.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.31/2.32 c 0 16254 32071 142278 4 81912 161275 63 0 2.29 2.31/2.32 o 436 2.31/2.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.31/2.38 c 0 16254 32072 142778 4 81978 162275 64 0 2.33 2.31/2.38 o 435 2.39/2.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.41 c 0 16254 32073 143278 4 82045 163275 65 0 2.38 2.39/2.41 o 434 2.39/2.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.46 c 0 16254 32074 143778 4 82113 164275 66 0 2.42 2.39/2.46 o 433 2.39/2.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.49 c 0 16254 32075 144278 4 82182 165275 67 0 2.46 2.39/2.49 o 432 2.49/2.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.54 c 0 16254 32076 144778 4 82252 166275 68 0 2.49 2.49/2.54 o 431 2.49/2.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.57 c 0 16254 32077 145278 4 82323 167275 69 0 2.55 2.49/2.57 o 430 2.59/2.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.62 c 0 16254 32078 145778 4 82395 168275 70 0 2.58 2.59/2.62 o 429 2.59/2.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.65 c 0 16254 32079 146278 4 82468 169275 71 0 2.62 2.59/2.65 o 428 2.69/2.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.71 c 0 16254 32080 146778 4 82542 170275 72 0 2.66 2.69/2.71 o 427 2.69/2.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.74 c 0 16254 32081 147278 4 82617 171275 73 0 2.71 2.69/2.74 o 426 2.69/2.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.79 c 0 16254 32082 147778 4 82693 172275 74 0 2.75 2.69/2.79 o 425 2.79/2.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.82 c 0 16254 32083 148278 4 82770 173275 75 0 2.80 2.79/2.82 o 424 2.79/2.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.88 c 0 16254 32084 148778 4 82848 174275 76 0 2.83 2.79/2.88 o 423 2.89/2.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.91 c 0 16254 32085 149278 4 82927 175275 77 0 2.88 2.89/2.91 o 422 2.89/2.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.96 c 0 16254 32086 149778 4 83007 176275 78 0 2.92 2.89/2.96 o 421 2.89/3.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/3.00 c 0 16254 32087 150278 4 83088 177275 79 0 2.97 2.89/3.00 o 420 2.99/3.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.05 c 0 16254 32088 150778 4 83170 178275 80 0 3.00 2.99/3.05 o 419 2.99/3.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.09 c 0 16254 32089 151278 4 83253 179275 81 0 3.06 2.99/3.09 o 418 3.09/3.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.13 c 0 16254 32090 151778 4 83337 180275 82 0 3.09 3.09/3.13 o 417 3.09/3.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.16 c 0 16254 32091 152278 4 83422 181275 83 0 3.13 3.09/3.16 o 416 3.19/3.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.22 c 0 16254 32092 152778 4 83508 182275 84 0 3.17 3.19/3.22 o 415 3.19/3.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.25 c 0 16254 32093 153278 4 83595 183275 85 0 3.22 3.19/3.25 o 414 3.19/3.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.30 c 0 16254 32094 153778 4 83683 184275 86 0 3.25 3.19/3.30 o 413 3.30/3.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.30/3.33 c 0 16254 32095 154278 4 83772 185275 87 0 3.30 3.30/3.33 o 412 3.30/3.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.30/3.39 c 0 16254 32096 154778 4 83862 186275 88 0 3.34 3.30/3.39 o 411 3.41/3.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.41/3.42 c 0 16254 32097 155278 4 83953 187275 89 0 3.40 3.41/3.42 o 410 3.41/3.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.41/3.47 c 0 16254 32098 155778 4 84045 188275 90 0 3.43 3.41/3.47 o 409 3.49/3.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.50 c 0 16254 32099 156278 4 84138 189275 91 0 3.48 3.49/3.50 o 408 3.49/3.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.56 c 0 16254 32100 156778 4 84232 190275 92 0 3.51 3.49/3.56 o 407 3.49/3.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.59 c 0 16254 32101 157278 4 84327 191275 93 0 3.56 3.49/3.59 o 406 3.59/3.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.64 c 0 16254 32102 157778 4 84423 192275 94 0 3.60 3.59/3.64 o 405 3.59/3.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.67 c 0 16254 32103 158278 4 84520 193275 95 0 3.64 3.59/3.67 o 404 3.69/3.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.73 c 0 16254 32104 158778 4 84618 194275 96 0 3.67 3.69/3.73 o 403 3.69/3.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.76 c 0 16254 32105 159278 4 84717 195275 97 0 3.73 3.69/3.76 o 402 3.79/3.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.81 c 0 16254 32106 159778 4 84817 196275 98 0 3.77 3.79/3.81 o 401 3.79/3.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.84 c 0 16254 32107 160278 4 84918 197275 99 0 3.81 3.79/3.84 o 400 3.79/3.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.89 c 0 16254 32108 160778 5 85020 198275 100 0 3.85 3.79/3.89 o 399 3.89/3.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.93 c 0 16254 32109 161278 5 85123 199275 101 0 3.90 3.89/3.93 o 398 3.89/3.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.97 c 0 16254 32110 161778 5 85227 200275 102 0 3.93 3.89/3.97 o 397 3.99/4.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.00 c 0 16254 32111 162278 5 85332 201275 103 0 3.98 3.99/4.00 o 396 3.99/4.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.06 c 0 16254 32112 162778 5 85438 202275 104 0 4.01 3.99/4.06 o 395 3.99/4.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.09 c 0 16254 32113 163278 5 85545 203275 105 0 4.06 3.99/4.09 o 394 4.09/4.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.14 c 0 16254 32114 163778 5 85653 204275 106 0 4.10 4.09/4.14 o 393 4.09/4.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.17 c 0 16254 32115 164278 5 85762 205275 107 0 4.14 4.09/4.17 o 392 4.19/4.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.22 c 0 16254 32116 164778 5 85872 206275 108 0 4.17 4.19/4.22 o 391 4.19/4.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.25 c 0 16254 32117 165278 5 85983 207275 109 0 4.22 4.19/4.25 o 390 4.19/4.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.29 c 0 16254 32118 165778 5 86095 208275 110 0 4.25 4.19/4.29 o 389 4.29/4.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.33 c 0 16254 32119 166278 5 86208 209275 111 0 4.30 4.29/4.33 o 388 4.29/4.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.38 c 0 16254 32120 166778 5 86322 210275 112 0 4.33 4.29/4.38 o 387 4.29/4.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.39 c 0 16254 32121 167278 5 86437 211275 113 0 4.38 4.29/4.39 o 386 4.39/4.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.39/4.42 c 0 16254 32122 167778 5 86553 212275 114 0 4.39 4.39/4.42 o 385 4.39/4.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.39/4.47 c 0 16254 32123 168278 5 86670 213275 115 0 4.43 4.39/4.47 o 384 4.39/4.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.39/4.50 c 0 16254 32124 168778 5 86788 214275 116 0 4.47 4.39/4.50 o 383 4.52/4.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.52/4.55 c 0 16254 32125 169278 5 86907 215275 117 0 4.50 4.52/4.55 o 382 4.52/4.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.52/4.58 c 0 16254 32126 169778 5 87027 216275 118 0 4.55 4.52/4.58 o 381 4.59/4.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.62 c 0 16254 32127 170278 5 87148 217275 119 0 4.58 4.59/4.62 o 380 4.59/4.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.65 c 0 16254 32128 170778 5 87270 218275 120 0 4.63 4.59/4.65 o 379 4.69/4.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.70 c 0 16254 32129 171278 5 87393 219275 121 0 4.66 4.69/4.70 o 378 4.69/4.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.73 c 0 16254 32130 171778 5 87517 220275 122 0 4.71 4.69/4.73 o 377 4.69/4.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.77 c 0 16254 32131 172278 5 87642 221275 123 0 4.74 4.69/4.77 o 376 4.79/4.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.81 c 0 16254 32132 172778 5 87768 222275 124 0 4.78 4.79/4.81 o 375 4.79/4.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.85 c 0 16254 32133 173278 5 87895 223275 125 0 4.81 4.79/4.85 o 374 4.79/4.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.88 c 0 16254 32134 173778 5 88023 224275 126 0 4.86 4.79/4.88 o 373 4.89/4.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.92 c 0 16254 32135 174278 5 88152 225275 127 0 4.89 4.89/4.92 o 372 4.89/4.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.95 c 0 16254 32136 174778 5 88282 226275 128 0 4.93 4.89/4.95 o 371 4.99/5.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.00 c 0 16254 32137 175278 5 88413 227275 129 0 4.96 4.99/5.00 o 370 4.99/5.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.03 c 0 16254 32138 175778 5 88545 228275 130 0 5.01 4.99/5.03 o 369 4.99/5.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.07 c 0 16254 32139 176278 5 88678 229275 131 0 5.04 4.99/5.07 o 368 5.09/5.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.10 c 0 16254 32140 176778 5 88812 230275 132 0 5.07 5.09/5.10 o 367 5.09/5.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.11 c 1 16254 32142 177646 5 88949 230275 134 0 5.10 5.09/5.11 o 43 1797.95/1798.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.95/1798.03 c 1 16254 32143 178146 5 89408 230275 135 0 5.12 1797.95/1798.03 c 103 16254 32249 193182 5 89620 253303 241 19 5.21 1797.95/1798.03 c 353 16254 32508 230610 7 90138 278634 500 65 5.41 1797.95/1798.03 c 829 16254 33004 324144 9 91130 306498 996 141 5.87 1797.95/1798.03 c 1642 16254 33871 507283 14 93892 337148 1863 247 6.64 1797.95/1798.03 c 2962 16254 35318 778312 22 96786 370863 3310 372 7.95 1797.95/1798.03 c 5043 16254 37543 1233344 32 101236 407950 5535 495 10.18 1797.95/1798.03 c 8267 16254 40969 1891576 46 108088 448746 8961 588 14.05 1797.95/1798.03 c 13203 16254 46168 2911227 63 119259 493621 14160 656 20.11 1797.95/1798.03 c 20709 16254 54144 4410673 81 135666 542984 22136 673 30.73 1797.95/1798.03 c 32070 16254 66283 6959680 104 161962 597283 34275 648 49.45 1797.95/1798.03 c 49215 16254 84490 10911523 129 202022 657012 52482 561 87.68 1797.95/1798.03 c 75034 16254 112283 16754378 149 259249 722714 80275 469 159.88 1797.95/1798.03 c 113866 16254 154131 28635993 185 352696 794986 122123 341 333.50 1797.95/1798.03 c 172218 16254 217435 45615203 209 491825 874485 185427 246 700.07 1797.95/1798.03 c 259851 16254 311640 76744847 246 704213 961934 279632 158 1636.92 1797.95/1798.03 c Reducing formula size due to memory constraints 1797.95/1798.03 c Memory Limit: 1000.00 MB Used: 1001.16 MB 1797.95/1798.03 c Resources Exceeded 1797.95/1798.03 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 x137 x138 -x139 x140 x141 x142 -x143 -x144 x145 -x146 -x147 x148 x149 x150 -x151 -x152 x153 -x154 -x155 x156 x157 -x158 -x159 -x160 -x161 x162 -x163 x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 x176 x177 x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 x188 x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 x207 -x208 x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 x221 -x222 x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 x250 -x251 -x252 x253 x254 -x255 -x256 x257 -x258 -x259 x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 1797.95/1798.03 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.95/1798.03 c 149 300302 93981 628173 86883 18204778 54875 167 1798.00 1797.95/1798.03 c Objective: 43 1797.95/1798.03 s SATISFIABLE 1797.95/1798.03 c Total time: 1798 s
OK 43
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462737-1307182545/watcher-3462737-1307182545 -o /tmp/evaluation-result-3462737-1307182545/solver-3462737-1307182545 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462737-1307182545.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.02 2.00 2/572 2241 /proc/meminfo: memFree=31468764/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=11564 CPUtime=0 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 418 0 0 0 0 0 0 0 25 0 1 0 829853329 11841536 372 33554432000 134512640 137138936 4287143440 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 2891 372 178 642 0 2192 0 [startup+0.103192 s] /proc/loadavg: 2.00 2.02 2.00 2/572 2241 /proc/meminfo: memFree=31468764/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=18956 CPUtime=0.09 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 2338 0 0 0 9 0 0 0 25 0 1 0 829853329 19410944 2237 33554432000 134512640 137138936 4287143440 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 4739 2237 185 642 0 4095 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18956 [startup+0.200172 s] /proc/loadavg: 2.00 2.02 2.00 2/572 2241 /proc/meminfo: memFree=31468764/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=18956 CPUtime=0.19 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 2338 0 0 0 18 1 0 0 25 0 1 0 829853329 19410944 2237 33554432000 134512640 137138936 4287143440 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 4739 2237 185 642 0 4095 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 18956 [startup+0.300156 s] /proc/loadavg: 2.00 2.02 2.00 2/572 2241 /proc/meminfo: memFree=31468764/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=18956 CPUtime=0.29 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 2338 0 0 0 28 1 0 0 25 0 1 0 829853329 19410944 2237 33554432000 134512640 137138936 4287143440 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 4739 2237 185 642 0 4095 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18956 [startup+0.701084 s] /proc/loadavg: 2.00 2.02 2.00 2/572 2241 /proc/meminfo: memFree=31468764/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=19368 CPUtime=0.69 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 2995 0 0 0 64 5 0 0 25 0 1 0 829853329 19832832 2362 33554432000 134512640 137138936 4287143440 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 4842 2362 188 642 0 4198 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19368 [startup+1.50094 s] /proc/loadavg: 2.00 2.02 2.00 3/573 2245 /proc/meminfo: memFree=31458448/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=19632 CPUtime=1.49 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 3047 0 0 0 141 8 0 0 25 0 1 0 829853329 20103168 2414 33554432000 134512640 137138936 4287143440 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 4908 2414 188 642 0 4264 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19632 [startup+3.10066 s] /proc/loadavg: 2.00 2.02 2.00 3/573 2245 /proc/meminfo: memFree=31456464/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=19896 CPUtime=3.09 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 3129 0 0 0 298 11 0 0 25 0 1 0 829853329 20373504 2496 33554432000 134512640 137138936 4287143440 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 4974 2496 188 642 0 4330 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19896 [startup+6.30014 s] /proc/loadavg: 2.00 2.02 2.00 3/573 2245 /proc/meminfo: memFree=31452604/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=23840 CPUtime=6.29 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 4100 0 0 0 614 15 0 0 25 0 1 0 829853329 24412160 3467 33554432000 134512640 137138936 4287143440 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 5960 3467 192 642 0 5316 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23840 [startup+12.701 s] /proc/loadavg: 2.00 2.02 2.00 3/573 2245 /proc/meminfo: memFree=31430672/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=40468 CPUtime=12.69 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 8257 0 0 0 1252 17 0 0 25 0 1 0 829853329 41439232 7624 33554432000 134512640 137138936 4287143440 18446744073709551615 136500378 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 10117 7624 192 642 0 9473 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40468 [startup+25.5007 s] /proc/loadavg: 2.00 2.02 2.00 3/573 2245 /proc/meminfo: memFree=31392468/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=68480 CPUtime=25.49 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 15279 0 0 0 2530 19 0 0 25 0 1 0 829853329 70123520 14646 33554432000 134512640 137138936 4287143440 18446744073709551615 134573759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 17120 14646 192 642 0 16476 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 68480 [startup+51.1012 s] /proc/loadavg: 2.00 2.02 2.00 3/573 2253 /proc/meminfo: memFree=31331620/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=114132 CPUtime=51.09 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 26674 0 0 0 5085 24 0 0 25 0 1 0 829853329 116871168 26041 33554432000 134512640 137138936 4287143440 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 28533 26041 192 642 0 27889 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 114132 [startup+102.301 s] /proc/loadavg: 2.00 2.01 2.00 3/573 2254 /proc/meminfo: memFree=31227532/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=184240 CPUtime=102.3 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 44210 0 0 0 10199 31 0 0 25 0 1 0 829853329 188661760 43577 33554432000 134512640 137138936 4287143440 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 46060 43577 192 642 0 45416 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 184240 [startup+162.3 s] /proc/loadavg: 2.14 2.05 2.01 3/573 2256 /proc/meminfo: memFree=31129004/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=244828 CPUtime=162.3 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 59359 0 0 0 16191 39 0 0 25 0 1 0 829853329 250703872 58726 33554432000 134512640 137138936 4287143440 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 61207 58726 192 642 0 60563 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 244828 [startup+222.323 s] /proc/loadavg: 2.05 2.04 2.00 3/573 2258 /proc/meminfo: memFree=31026024/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=307896 CPUtime=222.31 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 75124 0 0 0 22187 44 0 0 25 0 1 0 829853329 315285504 74491 33554432000 134512640 137138936 4287143440 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 76974 74491 192 642 0 76330 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 307896 [startup+282.301 s] /proc/loadavg: 2.02 2.03 2.00 3/573 2259 /proc/meminfo: memFree=30943144/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=357540 CPUtime=282.29 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 87529 0 0 0 28179 50 0 0 25 0 1 0 829853329 366120960 86896 33554432000 134512640 137138936 4287143440 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 89385 86896 192 642 0 88741 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 357540 [startup+342.301 s] /proc/loadavg: 2.15 2.07 2.01 3/573 2261 /proc/meminfo: memFree=30864124/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=403452 CPUtime=342.3 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 99007 0 0 0 34176 54 0 0 25 0 1 0 829853329 413134848 98374 33554432000 134512640 137138936 4287143440 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 100863 98374 192 642 0 100219 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 403452 [startup+402.301 s] /proc/loadavg: 2.05 2.05 2.00 3/573 2262 /proc/meminfo: memFree=30786704/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=449152 CPUtime=402.3 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 110438 0 0 0 40170 60 0 0 25 0 1 0 829853329 459931648 109805 33554432000 134512640 137138936 4287143440 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 112288 109805 192 642 0 111644 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 449152 [startup+462.301 s] /proc/loadavg: 2.02 2.04 2.00 3/573 2264 /proc/meminfo: memFree=30707160/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=494760 CPUtime=462.3 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 121856 0 0 0 46164 66 0 0 25 0 1 0 829853329 506634240 121223 33554432000 134512640 137138936 4287143440 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 123690 121223 192 642 0 123046 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 494760 [startup+522.301 s] /proc/loadavg: 2.00 2.03 2.00 3/573 2266 /proc/meminfo: memFree=30639144/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=531528 CPUtime=522.3 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 131045 0 0 0 52159 71 0 0 25 0 1 0 829853329 544284672 130412 33554432000 134512640 137138936 4287143440 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 132882 130412 192 642 0 132238 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 531528 [startup+582.3 s] /proc/loadavg: 2.00 2.02 2.00 3/573 2267 /proc/meminfo: memFree=30576364/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=565248 CPUtime=582.3 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 139482 0 0 0 58156 74 0 0 25 0 1 0 829853329 578813952 138849 33554432000 134512640 137138936 4287143440 18446744073709551615 134606693 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 141312 138849 192 642 0 140668 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 565248 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=30155760/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=792356 CPUtime=1062.32 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 196259 0 0 0 106127 105 0 0 25 0 1 0 829853329 811372544 195626 33554432000 134512640 137138936 4287143440 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 198089 195626 192 642 0 197445 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 792356 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.00 3/573 2282 /proc/meminfo: memFree=30107564/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=823932 CPUtime=1122.32 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 204127 0 0 0 112124 108 0 0 25 0 1 0 829853329 843706368 203494 33554432000 134512640 137138936 4287143440 18446744073709551615 134542868 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 205983 203494 192 642 0 205339 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 823932 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.00 3/573 2283 /proc/meminfo: memFree=30065488/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=846636 CPUtime=1182.32 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 209810 0 0 0 118121 111 0 0 25 0 1 0 829853329 866955264 209177 33554432000 134512640 137138936 4287143440 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 211659 209177 192 642 0 211015 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 846636 [startup+1242.3 s] /proc/loadavg: 2.12 2.04 2.01 3/573 2286 /proc/meminfo: memFree=30017936/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=872464 CPUtime=1242.33 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 216285 0 0 0 124119 114 0 0 25 0 1 0 829853329 893403136 215652 33554432000 134512640 137138936 4287143440 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 218116 215652 192 642 0 217472 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 872464 [startup+1302.3 s] /proc/loadavg: 2.16 2.06 2.01 3/573 2288 /proc/meminfo: memFree=29975960/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=893972 CPUtime=1302.32 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 221666 0 0 0 130116 116 0 0 25 0 1 0 829853329 915427328 221033 33554432000 134512640 137138936 4287143440 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 223493 221033 192 642 0 222849 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 893972 [startup+1362.3 s] /proc/loadavg: 2.06 2.05 2.01 3/573 2290 /proc/meminfo: memFree=29928268/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=919316 CPUtime=1362.33 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 227999 0 0 0 136114 119 0 0 25 0 1 0 829853329 941379584 227366 33554432000 134512640 137138936 4287143440 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 229829 227366 192 642 0 229185 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 919316 [startup+1422.3 s] /proc/loadavg: 2.08 2.06 2.01 3/573 2292 /proc/meminfo: memFree=29883428/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=944956 CPUtime=1422.33 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 234412 0 0 0 142111 122 0 0 25 0 1 0 829853329 967634944 233779 33554432000 134512640 137138936 4287143440 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 236239 233779 192 642 0 235595 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 944956 [startup+1482.3 s] /proc/loadavg: 2.08 2.06 2.01 3/573 2293 /proc/meminfo: memFree=29834764/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=970028 CPUtime=1482.33 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 240650 0 0 0 148108 125 0 0 25 0 1 0 829853329 993308672 240017 33554432000 134512640 137138936 4287143440 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 242507 240017 192 642 0 241863 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 970028 [startup+1542.32 s] /proc/loadavg: 2.03 2.05 2.00 3/573 2295 /proc/meminfo: memFree=29792808/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=990612 CPUtime=1542.35 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 245803 0 0 0 154107 128 0 0 25 0 1 0 829853329 1014386688 245170 33554432000 134512640 137138936 4287143440 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 247653 245170 192 642 0 247009 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 990612 [startup+1602.3 s] /proc/loadavg: 2.01 2.04 2.00 3/573 2327 /proc/meminfo: memFree=30683864/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=1013840 CPUtime=1602.33 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 251604 0 0 0 160103 130 0 0 25 0 1 0 829853329 1038172160 250971 33554432000 134512640 137138936 4287143440 18446744073709551615 134542734 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/2241/statm: 253460 250971 192 642 0 252816 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 1013840 [startup+1662.3 s] /proc/loadavg: 2.00 2.03 2.00 3/573 2329 /proc/meminfo: memFree=30576752/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=1038940 CPUtime=1662.26 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 258163 0 0 0 166091 135 0 0 25 0 1 0 829853329 1063874560 257254 33554432000 134512640 137138936 4287143440 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/2241/statm: 259735 257254 192 642 0 259091 0 Current children cumulated CPU time (s) 1662.26 Current children cumulated vsize (KiB) 1038940 [startup+1722.3 s] /proc/loadavg: 2.08 2.04 2.01 3/573 2331 /proc/meminfo: memFree=30541100/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=1038940 CPUtime=1722.25 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 258163 0 0 0 172088 137 0 0 25 0 1 0 829853329 1063874560 257254 33554432000 134512640 137138936 4287143440 18446744073709551615 136505797 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/2241/statm: 259735 257254 192 642 0 259091 0 Current children cumulated CPU time (s) 1722.25 Current children cumulated vsize (KiB) 1038940 [startup+1782.3 s] /proc/loadavg: 2.10 2.04 2.00 3/573 2332 /proc/meminfo: memFree=30505608/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=1038940 CPUtime=1782.26 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 258163 0 0 0 178086 140 0 0 25 0 1 0 829853329 1063874560 257254 33554432000 134512640 137138936 4287143440 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/2241/statm: 259735 257254 192 642 0 259091 0 Current children cumulated CPU time (s) 1782.26 Current children cumulated vsize (KiB) 1038940 Solver just ended. Dumping a history of the last processes samples [startup+1785.6 s] /proc/loadavg: 2.10 2.04 2.00 3/573 2332 /proc/meminfo: memFree=30504864/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=1038940 CPUtime=1785.56 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 258163 0 0 0 178416 140 0 0 25 0 1 0 829853329 1063874560 257254 33554432000 134512640 137138936 4287143440 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/2241/statm: 259735 257254 192 642 0 259091 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (KiB) 1038940 [startup+1792.02 s] /proc/loadavg: 2.08 2.04 2.00 3/573 2332 /proc/meminfo: memFree=30501008/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=1038940 CPUtime=1791.98 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 258163 0 0 0 179058 140 0 0 25 0 1 0 829853329 1063874560 257254 33554432000 134512640 137138936 4287143440 18446744073709551615 134599742 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/2241/statm: 259735 257254 192 642 0 259091 0 Current children cumulated CPU time (s) 1791.98 Current children cumulated vsize (KiB) 1038940 [startup+1795.2 s] /proc/loadavg: 2.08 2.04 2.00 3/573 2333 /proc/meminfo: memFree=30499396/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=1038940 CPUtime=1795.16 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 258163 0 0 0 179376 140 0 0 25 0 1 0 829853329 1063874560 257254 33554432000 134512640 137138936 4287143440 18446744073709551615 136505822 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/2241/statm: 259735 257254 192 642 0 259091 0 Current children cumulated CPU time (s) 1795.16 Current children cumulated vsize (KiB) 1038940 [startup+1796.8 s] /proc/loadavg: 2.08 2.04 2.00 3/573 2333 /proc/meminfo: memFree=30498776/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=1038940 CPUtime=1796.75 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 258163 0 0 0 179535 140 0 0 25 0 1 0 829853329 1063874560 257254 33554432000 134512640 137138936 4287143440 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/2241/statm: 259735 257254 192 642 0 259091 0 Current children cumulated CPU time (s) 1796.75 Current children cumulated vsize (KiB) 1038940 [startup+1797.6 s] /proc/loadavg: 2.08 2.04 2.00 3/573 2333 /proc/meminfo: memFree=30497784/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=1038940 CPUtime=1797.55 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 258163 0 0 0 179615 140 0 0 25 0 1 0 829853329 1063874560 257254 33554432000 134512640 137138936 4287143440 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/2241/statm: 259735 257254 192 642 0 259091 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (KiB) 1038940 [startup+1798 s] /proc/loadavg: 2.08 2.04 2.00 3/573 2333 /proc/meminfo: memFree=30497784/32950928 swapFree=43925852/67111528 [pid=2241] ppid=2238 vsize=1038940 CPUtime=1797.95 cores=1,3,5,7 /proc/2241/stat : 2241 (bsolo) R 2238 2241 32216 0 -1 4202496 258163 0 0 0 179655 140 0 0 25 0 1 0 829853329 1063874560 257254 33554432000 134512640 137138936 4287143440 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/2241/statm: 259735 257254 192 642 0 259091 0 Current children cumulated CPU time (s) 1797.95 Current children cumulated vsize (KiB) 1038940 Child status: 0 Real time (s): 1798.08 CPU time (s): 1798.04 CPU user time (s): 1796.59 CPU system time (s): 1.44978 CPU usage (%): 99.9981 Max. virtual memory (cumulated for all children) (KiB): 1040044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.59 system time used= 1.44978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 258164 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= 4 involuntary context switches= 2436 runsolver used 10.1215 second user time and 24.2163 second system time The end
Begin job on node122 at 2011-06-04 12:15:45 IDJOB=3462737 IDBENCH=48153 IDSOLVER=1955 FILE ID=node122/3462737-1307182545 RUNJOBID= node122-1307175118-1320 PBS_JOBID= 13508834 Free space on /tmp= 73808 MiB SOLVER NAME= bsolo 3.2 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_4.opb COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462737-1307182545/watcher-3462737-1307182545 -o /tmp/evaluation-result-3462737-1307182545/solver-3462737-1307182545 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462737-1307182545.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3feaf3974ec1ffdea6d6674c11d1a071 RANDOM SEED=33001499 node122.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.64 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.820 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31468912 kB Buffers: 324352 kB Cached: 554072 kB SwapCached: 16832 kB Active: 637984 kB Inactive: 529360 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31468912 kB SwapTotal: 67111528 kB SwapFree: 43925852 kB Dirty: 3896 kB Writeback: 0 kB AnonPages: 286272 kB Mapped: 10012 kB Slab: 150156 kB PageTables: 93364 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 181008060 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73804 MiB End job on node122 at 2011-06-04 12:45:43