Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | SAT | 43 | 1798.02 | 1798.69 |
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 | 1796.78 |
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-3708458-1338173458.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.035 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.48/0.51 c Pre-processing Time: 0.515 s 0.48/0.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.48/0.51 c 0 16254 32008 110778 3 79770 99942 0 0 0.52 0.48/0.51 c Switching off lower bounding mode. 0.48/0.52 o 499 0.48/0.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.48/0.53 c 0 16254 32009 111278 3 79773 100275 1 0 0.53 0.48/0.53 o 498 0.48/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.48/0.54 c 0 16254 32010 111778 3 79777 100775 2 0 0.54 0.48/0.54 o 497 0.48/0.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.48/0.56 c 0 16254 32011 112278 3 79782 101442 3 0 0.55 0.48/0.56 o 496 0.48/0.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.48/0.57 c 0 16254 32012 112778 3 79788 102275 4 0 0.56 0.48/0.57 o 495 0.48/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.48/0.58 c 0 16254 32013 113278 3 79795 103275 5 0 0.57 0.48/0.58 o 494 0.59/0.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.60 c 0 16254 32014 113778 3 79803 104275 6 0 0.59 0.59/0.60 o 493 0.59/0.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.61 c 0 16254 32015 114278 3 79812 105275 7 0 0.60 0.59/0.61 o 492 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 0 16254 32016 114778 3 79822 106275 8 0 0.62 0.59/0.63 o 491 0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.65 c 0 16254 32017 115278 3 79833 107275 9 0 0.64 0.59/0.65 o 490 0.59/0.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.67 c 0 16254 32018 115778 3 79845 108275 10 0 0.65 0.59/0.67 o 489 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 0 16254 32019 116278 3 79858 109275 11 0 0.68 0.59/0.69 o 488 0.68/0.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.68/0.71 c 0 16254 32020 116778 3 79872 110275 12 0 0.69 0.68/0.71 o 487 0.68/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.68/0.73 c 0 16254 32021 117278 3 79887 111275 13 0 0.71 0.68/0.73 o 486 0.68/0.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.68/0.75 c 0 16254 32022 117778 3 79903 112275 14 0 0.73 0.68/0.75 o 485 0.68/0.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.68/0.77 c 0 16254 32023 118278 3 79920 113275 15 0 0.75 0.68/0.77 o 484 0.68/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.68/0.79 c 0 16254 32024 118778 3 79938 114275 16 0 0.77 0.68/0.79 o 483 0.79/0.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.81 c 0 16254 32025 119278 3 79957 115275 17 0 0.80 0.79/0.81 o 482 0.79/0.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.84 c 0 16254 32026 119778 3 79977 116275 18 0 0.82 0.79/0.84 o 481 0.79/0.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.86 c 0 16254 32027 120278 3 79998 117275 19 0 0.84 0.79/0.86 o 480 0.79/0.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.89 c 0 16254 32028 120778 3 80020 118275 20 0 0.87 0.79/0.89 o 479 0.89/0.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.92 c 0 16254 32029 121278 3 80043 119275 21 0 0.90 0.89/0.92 o 478 0.89/0.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.94 c 0 16254 32030 121778 3 80067 120275 22 0 0.92 0.89/0.94 o 477 0.89/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.97 c 0 16254 32031 122278 3 80092 121275 23 0 0.95 0.89/0.97 o 476 1.00/1.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.00 c 0 16254 32032 122778 3 80118 122275 24 0 0.97 1.00/1.00 o 475 1.00/1.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.03 c 0 16254 32033 123278 3 80145 123275 25 0 1.01 1.00/1.03 o 474 1.00/1.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.06 c 0 16254 32034 123778 3 80173 124275 26 0 1.03 1.00/1.06 o 473 1.00/1.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.09 c 0 16254 32035 124278 3 80202 125275 27 0 1.06 1.00/1.09 o 472 1.09/1.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.12 c 0 16254 32036 124778 3 80232 126275 28 0 1.09 1.09/1.12 o 471 1.09/1.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.14 c 0 16254 32037 125278 3 80263 127275 29 0 1.12 1.09/1.14 o 470 1.09/1.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.18 c 0 16254 32038 125778 3 80295 128275 30 0 1.15 1.09/1.18 o 469 1.19/1.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.20 c 0 16254 32039 126278 3 80328 129275 31 0 1.18 1.19/1.20 o 468 1.19/1.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.25 c 0 16254 32040 126778 3 80362 130275 32 0 1.21 1.19/1.25 o 467 1.19/1.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.27 c 0 16254 32041 127278 3 80397 131275 33 0 1.25 1.19/1.27 o 466 1.29/1.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.30 c 0 16254 32042 127778 3 80433 132275 34 0 1.28 1.29/1.30 o 465 1.29/1.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.33 c 0 16254 32043 128278 4 80470 133275 35 0 1.31 1.29/1.33 o 464 1.29/1.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.37 c 0 16254 32044 128778 4 80508 134275 36 0 1.33 1.29/1.37 o 463 1.39/1.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.40 c 0 16254 32045 129278 4 80547 135275 37 0 1.37 1.39/1.40 o 462 1.39/1.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.44 c 0 16254 32046 129778 4 80587 136275 38 0 1.40 1.39/1.44 o 461 1.39/1.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.47 c 0 16254 32047 130278 4 80628 137275 39 0 1.44 1.39/1.47 o 460 1.49/1.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.51 c 0 16254 32048 130778 4 80670 138275 40 0 1.47 1.49/1.51 o 459 1.49/1.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.54 c 0 16254 32049 131278 4 80713 139275 41 0 1.52 1.49/1.54 o 458 1.49/1.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.58 c 0 16254 32050 131778 4 80757 140275 42 0 1.55 1.49/1.58 o 457 1.59/1.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.61 c 0 16254 32051 132278 4 80802 141275 43 0 1.59 1.59/1.61 o 456 1.59/1.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.66 c 0 16254 32052 132778 4 80848 142275 44 0 1.62 1.59/1.66 o 455 1.59/1.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.69 c 0 16254 32053 133278 4 80895 143275 45 0 1.66 1.59/1.69 o 454 1.69/1.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.73 c 0 16254 32054 133778 4 80943 144275 46 0 1.70 1.69/1.73 o 453 1.69/1.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.76 c 0 16254 32055 134278 4 80992 145275 47 0 1.74 1.69/1.76 o 452 1.79/1.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.82 c 0 16254 32056 134778 4 81042 146275 48 0 1.77 1.79/1.82 o 451 1.79/1.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.85 c 0 16254 32057 135278 4 81093 147275 49 0 1.82 1.79/1.85 o 450 1.79/1.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.89 c 0 16254 32058 135778 4 81145 148275 50 0 1.85 1.79/1.89 o 449 1.89/1.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.93 c 0 16254 32059 136278 4 81198 149275 51 0 1.90 1.89/1.93 o 448 1.89/1.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.97 c 0 16254 32060 136778 4 81252 150275 52 0 1.93 1.89/1.97 o 447 1.99/2.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.01 c 0 16254 32061 137278 4 81307 151275 53 0 1.98 1.99/2.01 o 446 1.99/2.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.05 c 0 16254 32062 137778 4 81363 152275 54 0 2.01 1.99/2.05 o 445 1.99/2.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.08 c 0 16254 32063 138278 4 81420 153275 55 0 2.06 1.99/2.08 o 444 2.09/2.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.12 c 0 16254 32064 138778 4 81478 154275 56 0 2.09 2.09/2.12 o 443 2.09/2.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.16 c 0 16254 32065 139278 4 81537 155275 57 0 2.13 2.09/2.16 o 442 2.09/2.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.20 c 0 16254 32066 139778 4 81597 156275 58 0 2.16 2.09/2.20 o 441 2.20/2.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.23 c 0 16254 32067 140278 4 81658 157275 59 0 2.20 2.20/2.23 o 440 2.20/2.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.29 c 0 16254 32068 140778 4 81720 158275 60 0 2.24 2.20/2.29 o 439 2.29/2.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.32 c 0 16254 32069 141278 4 81783 159275 61 0 2.29 2.29/2.32 o 438 2.29/2.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.37 c 0 16254 32070 141778 4 81847 160275 62 0 2.33 2.29/2.37 o 437 2.39/2.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.40 c 0 16254 32071 142278 4 81912 161275 63 0 2.37 2.39/2.40 o 436 2.39/2.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.46 c 0 16254 32072 142778 4 81978 162275 64 0 2.40 2.39/2.46 o 435 2.39/2.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.49 c 0 16254 32073 143278 4 82045 163275 65 0 2.46 2.39/2.49 o 434 2.49/2.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.54 c 0 16254 32074 143778 4 82113 164275 66 0 2.50 2.49/2.54 o 433 2.49/2.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.57 c 0 16254 32075 144278 4 82182 165275 67 0 2.54 2.49/2.57 o 432 2.59/2.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.63 c 0 16254 32076 144778 4 82252 166275 68 0 2.58 2.59/2.63 o 431 2.59/2.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.66 c 0 16254 32077 145278 4 82323 167275 69 0 2.63 2.59/2.66 o 430 2.69/2.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.71 c 0 16254 32078 145778 4 82395 168275 70 0 2.66 2.69/2.71 o 429 2.69/2.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.74 c 0 16254 32079 146278 4 82468 169275 71 0 2.71 2.69/2.74 o 428 2.79/2.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.80 c 0 16254 32080 146778 4 82542 170275 72 0 2.75 2.79/2.80 o 427 2.79/2.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.83 c 0 16254 32081 147278 4 82617 171275 73 0 2.80 2.79/2.83 o 426 2.79/2.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.88 c 0 16254 32082 147778 4 82693 172275 74 0 2.84 2.79/2.88 o 425 2.89/2.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.92 c 0 16254 32083 148278 4 82770 173275 75 0 2.88 2.89/2.92 o 424 2.89/2.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.97 c 0 16254 32084 148778 4 82848 174275 76 0 2.92 2.89/2.97 o 423 2.98/3.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.98/3.01 c 0 16254 32085 149278 4 82927 175275 77 0 2.98 2.98/3.01 o 422 2.98/3.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.98/3.06 c 0 16254 32086 149778 4 83007 176275 78 0 3.01 2.98/3.06 o 421 2.98/3.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.98/3.09 c 0 16254 32087 150278 4 83088 177275 79 0 3.06 2.98/3.09 o 420 3.09/3.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.15 c 0 16254 32088 150778 4 83170 178275 80 0 3.09 3.09/3.15 o 419 3.09/3.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.19 c 0 16254 32089 151278 4 83253 179275 81 0 3.15 3.09/3.19 o 418 3.20/3.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.20/3.23 c 0 16254 32090 151778 4 83337 180275 82 0 3.19 3.20/3.23 o 417 3.20/3.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.20/3.27 c 0 16254 32091 152278 4 83422 181275 83 0 3.23 3.20/3.27 o 416 3.30/3.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.30/3.32 c 0 16254 32092 152778 4 83508 182275 84 0 3.27 3.30/3.32 o 415 3.30/3.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.30/3.35 c 0 16254 32093 153278 4 83595 183275 85 0 3.32 3.30/3.35 o 414 3.39/3.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.40 c 0 16254 32094 153778 4 83683 184275 86 0 3.36 3.39/3.40 o 413 3.39/3.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.44 c 0 16254 32095 154278 4 83772 185275 87 0 3.41 3.39/3.44 o 412 3.49/3.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.50 c 0 16254 32096 154778 4 83862 186275 88 0 3.44 3.49/3.50 o 411 3.49/3.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.53 c 0 16254 32097 155278 4 83953 187275 89 0 3.50 3.49/3.53 o 410 3.49/3.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.58 c 0 16254 32098 155778 4 84045 188275 90 0 3.54 3.49/3.58 o 409 3.59/3.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.61 c 0 16254 32099 156278 4 84138 189275 91 0 3.58 3.59/3.61 o 408 3.59/3.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.67 c 0 16254 32100 156778 4 84232 190275 92 0 3.62 3.59/3.67 o 407 3.68/3.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.68/3.70 c 0 16254 32101 157278 4 84327 191275 93 0 3.67 3.68/3.70 o 406 3.68/3.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.68/3.75 c 0 16254 32102 157778 4 84423 192275 94 0 3.71 3.68/3.75 o 405 3.68/3.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.68/3.79 c 0 16254 32103 158278 4 84520 193275 95 0 3.75 3.68/3.79 o 404 3.78/3.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.78/3.84 c 0 16254 32104 158778 4 84618 194275 96 0 3.79 3.78/3.84 o 403 3.78/3.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.78/3.88 c 0 16254 32105 159278 4 84717 195275 97 0 3.85 3.78/3.88 o 402 3.89/3.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.93 c 0 16254 32106 159778 4 84817 196275 98 0 3.88 3.89/3.93 o 401 3.89/3.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.96 c 0 16254 32107 160278 4 84918 197275 99 0 3.93 3.89/3.96 o 400 3.99/4.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.01 c 0 16254 32108 160778 5 85020 198275 100 0 3.97 3.99/4.01 o 399 3.99/4.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.05 c 0 16254 32109 161278 5 85123 199275 101 0 4.02 3.99/4.05 o 398 4.09/4.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.10 c 0 16254 32110 161778 5 85227 200275 102 0 4.05 4.09/4.10 o 397 4.09/4.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.13 c 0 16254 32111 162278 5 85332 201275 103 0 4.10 4.09/4.13 o 396 4.09/4.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.19 c 0 16254 32112 162778 5 85438 202275 104 0 4.13 4.09/4.19 o 395 4.19/4.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.22 c 0 16254 32113 163278 5 85545 203275 105 0 4.19 4.19/4.22 o 394 4.19/4.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.27 c 0 16254 32114 163778 5 85653 204275 106 0 4.22 4.19/4.27 o 393 4.19/4.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.30 c 0 16254 32115 164278 5 85762 205275 107 0 4.27 4.19/4.30 o 392 4.30/4.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.30/4.35 c 0 16254 32116 164778 5 85872 206275 108 0 4.31 4.30/4.35 o 391 4.30/4.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.30/4.39 c 0 16254 32117 165278 5 85983 207275 109 0 4.36 4.30/4.39 o 390 4.40/4.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.40/4.43 c 0 16254 32118 165778 5 86095 208275 110 0 4.39 4.40/4.43 o 389 4.40/4.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.40/4.47 c 0 16254 32119 166278 5 86208 209275 111 0 4.44 4.40/4.47 o 388 4.49/4.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.52 c 0 16254 32120 166778 5 86322 210275 112 0 4.47 4.49/4.52 o 387 4.49/4.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.53 c 0 16254 32121 167278 5 86437 211275 113 0 4.53 4.49/4.53 o 386 4.49/4.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.49/4.57 c 0 16254 32122 167778 5 86553 212275 114 0 4.54 4.49/4.57 o 385 4.59/4.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.61 c 0 16254 32123 168278 5 86670 213275 115 0 4.57 4.59/4.61 o 384 4.59/4.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.64 c 0 16254 32124 168778 5 86788 214275 116 0 4.62 4.59/4.64 o 383 4.59/4.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.59/4.69 c 0 16254 32125 169278 5 86907 215275 117 0 4.65 4.59/4.69 o 382 4.69/4.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.73 c 0 16254 32126 169778 5 87027 216275 118 0 4.70 4.69/4.73 o 381 4.69/4.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.77 c 0 16254 32127 170278 5 87148 217275 119 0 4.73 4.69/4.77 o 380 4.79/4.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.80 c 0 16254 32128 170778 5 87270 218275 120 0 4.77 4.79/4.80 o 379 4.79/4.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.85 c 0 16254 32129 171278 5 87393 219275 121 0 4.81 4.79/4.85 o 378 4.79/4.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.89 c 0 16254 32130 171778 5 87517 220275 122 0 4.86 4.79/4.89 o 377 4.89/4.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.93 c 0 16254 32131 172278 5 87642 221275 123 0 4.89 4.89/4.93 o 376 4.89/4.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.96 c 0 16254 32132 172778 5 87768 222275 124 0 4.93 4.89/4.96 o 375 4.99/5.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.01 c 0 16254 32133 173278 5 87895 223275 125 0 4.96 4.99/5.01 o 374 4.99/5.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.04 c 0 16254 32134 173778 5 88023 224275 126 0 5.01 4.99/5.04 o 373 4.99/5.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.99/5.08 c 0 16254 32135 174278 5 88152 225275 127 0 5.04 4.99/5.08 o 372 5.09/5.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.11 c 0 16254 32136 174778 5 88282 226275 128 0 5.08 5.09/5.11 o 371 5.09/5.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.16 c 0 16254 32137 175278 5 88413 227275 129 0 5.12 5.09/5.16 o 370 5.09/5.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.19 c 0 16254 32138 175778 5 88545 228275 130 0 5.17 5.09/5.19 o 369 5.19/5.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.19/5.23 c 0 16254 32139 176278 5 88678 229275 131 0 5.20 5.19/5.23 o 368 5.19/5.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.19/5.26 c 0 16254 32140 176778 5 88812 230275 132 0 5.24 5.19/5.26 o 367 5.19/5.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.19/5.28 c 1 16254 32142 177646 5 88949 230275 134 0 5.27 5.19/5.28 o 43 1797.92/1798.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.68 c 1 16254 32143 178146 5 89408 230275 135 0 5.29 1797.92/1798.68 c 103 16254 32249 193182 5 89620 253303 241 19 5.37 1797.92/1798.68 c 353 16254 32508 230610 7 90138 278634 500 63 5.59 1797.92/1798.68 c 829 16254 33004 324144 9 91130 306498 996 137 6.04 1797.92/1798.68 c 1642 16254 33871 507283 14 93892 337148 1863 240 6.82 1797.92/1798.68 c 2962 16254 35318 778312 22 96786 370863 3310 363 8.14 1797.92/1798.68 c 5043 16254 37543 1233344 32 101236 407950 5535 484 10.40 1797.92/1798.68 c 8267 16254 40969 1891576 46 108088 448746 8961 577 14.31 1797.92/1798.68 c 13203 16254 46168 2911227 63 119259 493621 14160 645 20.45 1797.92/1798.68 c 20709 16254 54144 4410673 81 135666 542984 22136 662 31.28 1797.92/1798.68 c 32070 16254 66283 6959680 104 161962 597283 34275 630 50.88 1797.92/1798.68 c 49215 16254 84490 10911523 129 202022 657012 52482 530 92.83 1797.92/1798.68 c 75034 16254 112283 16754378 149 259249 722714 80275 431 173.89 1797.92/1798.68 c 113866 16254 154131 28635993 185 352696 794986 122123 306 371.47 1797.92/1798.68 c 172218 16254 217435 45615203 209 491825 874485 185427 220 780.81 1797.92/1798.68 c Resources Exceeded 1797.92/1798.68 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.92/1798.68 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.68 c 148 255694 78482 554751 307189 75212856 275181 142 1798.01 1797.92/1798.68 c Objective: 43 1797.92/1798.68 s SATISFIABLE 1797.92/1798.68 c Total time: 1798.01 s
OK 43
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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-3708458-1338173458/watcher-3708458-1338173458 -o /tmp/evaluation-result-3708458-1338173458/solver-3708458-1338173458 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708458-1338173458.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: 1.97 2.01 2.00 3/177 10224 /proc/meminfo: memFree=29412924/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=11568 CPUtime=0 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 418 0 0 0 0 0 0 0 20 0 1 0 283470192 11845632 371 33554432000 134512640 137138936 4293752064 4293750216 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 2892 372 178 642 0 2193 0 [startup+0.089963 s] /proc/loadavg: 1.97 2.01 2.00 3/177 10224 /proc/meminfo: memFree=29412924/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=18956 CPUtime=0.08 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 2339 0 0 0 8 0 0 0 20 0 1 0 283470192 19410944 2237 33554432000 134512640 137138936 4293752064 4293555692 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 4739 2237 185 642 0 4095 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 18956 [startup+0.100355 s] /proc/loadavg: 1.97 2.01 2.00 3/177 10224 /proc/meminfo: memFree=29412924/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=18956 CPUtime=0.09 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 2339 0 0 0 9 0 0 0 20 0 1 0 283470192 19410944 2237 33554432000 134512640 137138936 4293752064 4293555692 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 4739 2237 185 642 0 4095 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18956 [startup+0.300278 s] /proc/loadavg: 1.97 2.01 2.00 3/177 10224 /proc/meminfo: memFree=29412924/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=18956 CPUtime=0.29 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 2339 0 0 0 29 0 0 0 20 0 1 0 283470192 19410944 2237 33554432000 134512640 137138936 4293752064 4293555692 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 4739 2237 185 642 0 4095 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18956 [startup+0.700293 s] /proc/loadavg: 1.97 2.01 2.00 3/177 10224 /proc/meminfo: memFree=29412924/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=19368 CPUtime=0.68 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 2993 0 0 0 66 2 0 0 20 0 1 0 283470192 19832832 2359 33554432000 134512640 137138936 4293752064 4293751180 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 4842 2359 188 642 0 4198 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 19368 [startup+1.50029 s] /proc/loadavg: 1.97 2.01 2.00 3/178 10225 /proc/meminfo: memFree=29403988/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=19632 CPUtime=1.49 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 3045 0 0 0 145 4 0 0 20 0 1 0 283470192 20103168 2411 33554432000 134512640 137138936 4293752064 4293751180 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 4908 2411 188 642 0 4264 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19632 [startup+3.1003 s] /proc/loadavg: 1.97 2.01 2.00 3/178 10225 /proc/meminfo: memFree=29403244/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=19896 CPUtime=3.09 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 3126 0 0 0 303 6 0 0 20 0 1 0 283470192 20373504 2492 33554432000 134512640 137138936 4293752064 4293751180 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 4974 2492 188 642 0 4330 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19896 [startup+6.30023 s] /proc/loadavg: 2.05 2.02 2.00 3/177 10225 /proc/meminfo: memFree=29400516/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=23288 CPUtime=6.29 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 3963 0 0 0 621 8 0 0 20 0 1 0 283470192 23846912 3329 33554432000 134512640 137138936 4293752064 4293750764 136511072 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 5822 3329 192 642 0 5178 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23288 [startup+12.7003 s] /proc/loadavg: 2.04 2.02 2.00 3/177 10225 /proc/meminfo: memFree=29378948/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=39964 CPUtime=12.69 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 8142 0 0 0 1259 10 0 0 20 0 1 0 283470192 40923136 7508 33554432000 134512640 137138936 4293752064 4293751180 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 9991 7508 192 642 0 9347 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 39964 [startup+25.5003 s] /proc/loadavg: 2.03 2.02 2.00 3/177 10225 /proc/meminfo: memFree=29343104/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=67828 CPUtime=25.48 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 15103 0 0 0 2535 13 0 0 20 0 1 0 283470192 69455872 14469 33554432000 134512640 137138936 4293752064 4293750992 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 16957 14469 192 642 0 16313 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 67828 [startup+51.1003 s] /proc/loadavg: 2.02 2.02 2.00 3/177 10225 /proc/meminfo: memFree=29286140/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=111176 CPUtime=51.08 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 25953 0 0 0 5092 16 0 0 20 0 1 0 283470192 113844224 25319 33554432000 134512640 137138936 4293752064 4293751180 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 27794 25319 192 642 0 27150 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 111176 [startup+102.307 s] /proc/loadavg: 2.01 2.02 2.00 3/177 10226 /proc/meminfo: memFree=29194796/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=176188 CPUtime=102.28 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 42190 0 0 0 10204 24 0 0 20 0 1 0 283470192 180416512 41556 33554432000 134512640 137138936 4293752064 4293750992 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 44047 41556 192 642 0 43403 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 176188 [startup+162.3 s] /proc/loadavg: 2.15 2.04 2.01 3/177 10226 /proc/meminfo: memFree=29120920/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=231516 CPUtime=162.27 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 56041 0 0 0 16194 33 0 0 20 0 1 0 283470192 237072384 55407 33554432000 134512640 137138936 4293752064 4293751180 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 57879 55407 192 642 0 57235 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 231516 [startup+222.3 s] /proc/loadavg: 2.05 2.03 2.00 3/177 10226 /proc/meminfo: memFree=29044212/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=288444 CPUtime=222.24 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 70283 0 0 0 22182 42 0 0 20 0 1 0 283470192 295366656 69655 33554432000 134512640 137138936 4293752064 4293750992 134542513 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 72111 69655 192 642 0 71467 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 288444 [startup+282.3 s] /proc/loadavg: 2.02 2.02 2.00 3/177 10226 /proc/meminfo: memFree=28979388/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=335644 CPUtime=282.18 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 82126 0 0 0 28170 48 0 0 20 0 1 0 283470192 343699456 81450 33554432000 134512640 137138936 4293752064 4293750992 134542764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 83911 81450 192 642 0 83267 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 335644 [startup+342.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 10226 /proc/meminfo: memFree=28915556/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=378604 CPUtime=342.13 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 92919 0 0 0 34159 54 0 0 20 0 1 0 283470192 387690496 92197 33554432000 134512640 137138936 4293752064 4293750776 136506283 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 94651 92197 192 642 0 94007 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 378604 [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 10227 /proc/meminfo: memFree=28857924/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=419384 CPUtime=402.08 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 103173 0 0 0 40146 62 0 0 20 0 1 0 283470192 429449216 102403 33554432000 134512640 137138936 4293752064 4293750992 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 104846 102403 192 642 0 104202 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 419384 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.00 3/177 10227 /proc/meminfo: memFree=28801656/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=459344 CPUtime=462.02 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 113192 0 0 0 46132 70 0 0 20 0 1 0 283470192 470368256 112375 33554432000 134512640 137138936 4293752064 4293751180 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 114836 112375 192 642 0 114192 0 Current children cumulated CPU time (s) 462.02 Current children cumulated vsize (KiB) 459344 [startup+522.3 s] /proc/loadavg: 2.04 2.02 2.00 3/177 10227 /proc/meminfo: memFree=28743672/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=500216 CPUtime=522 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 123437 0 0 0 52125 75 0 0 20 0 1 0 283470192 512221184 123089 33554432000 134512640 137138936 4293752064 4293750992 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 125054 123089 192 642 0 124410 0 Current children cumulated CPU time (s) 522 Current children cumulated vsize (KiB) 500216 [startup+582.3 s] /proc/loadavg: 2.01 2.01 2.00 3/178 10230 /proc/meminfo: memFree=28693940/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=535628 CPUtime=582 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 132269 0 0 0 58120 80 0 0 20 0 1 0 283470192 548483072 131921 33554432000 134512640 137138936 4293752064 4293750992 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 133907 131921 192 642 0 133263 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 535628 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=28263228/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=758964 CPUtime=1121.92 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 188102 0 0 0 112067 125 0 0 20 0 1 0 283470192 777179136 187754 33554432000 134512640 137138936 4293752064 4293750992 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 189741 187754 192 642 0 189097 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 758964 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 10258 /proc/meminfo: memFree=28217216/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=781688 CPUtime=1181.91 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 193784 0 0 0 118062 129 0 0 20 0 1 0 283470192 800448512 193436 33554432000 134512640 137138936 4293752064 4293750992 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 195422 193436 192 642 0 194778 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 781688 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10258 /proc/meminfo: memFree=28163904/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=811872 CPUtime=1241.9 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 201340 0 0 0 124057 133 0 0 20 0 1 0 283470192 831356928 200992 33554432000 134512640 137138936 4293752064 4293750992 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 202968 200992 192 642 0 202324 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 811872 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10297 /proc/meminfo: memFree=28737364/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=836508 CPUtime=1301.86 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 207528 0 0 0 130049 137 0 0 20 0 1 0 283470192 856584192 207145 33554432000 134512640 137138936 4293752064 4293750992 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 209127 207145 192 642 0 208483 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 836508 [startup+1362.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 10297 /proc/meminfo: memFree=28472404/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=858552 CPUtime=1361.81 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 213099 0 0 0 136041 140 0 0 20 0 1 0 283470192 879157248 212675 33554432000 134512640 137138936 4293752064 4293750992 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 214638 212675 192 642 0 213994 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 858552 [startup+1422.31 s] /proc/loadavg: 2.01 2.01 2.00 3/177 10297 /proc/meminfo: memFree=28273412/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=875336 CPUtime=1421.76 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 217317 0 0 0 142033 143 0 0 20 0 1 0 283470192 896344064 216848 33554432000 134512640 137138936 4293752064 4293750992 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 218834 216848 192 642 0 218190 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 875336 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10297 /proc/meminfo: memFree=28100584/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=894104 CPUtime=1481.7 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 222082 0 0 0 148025 145 0 0 20 0 1 0 283470192 915562496 221570 33554432000 134512640 137138936 4293752064 4293750992 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 223526 221570 192 642 0 222882 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 894104 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10297 /proc/meminfo: memFree=27920020/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=917836 CPUtime=1541.66 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 228022 0 0 0 154017 149 0 0 20 0 1 0 283470192 939864064 227473 33554432000 134512640 137138936 4293752064 4293750992 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 229459 227473 192 642 0 228815 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 917836 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10298 /proc/meminfo: memFree=27897736/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=940336 CPUtime=1601.65 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 233647 0 0 0 160013 152 0 0 20 0 1 0 283470192 962904064 233098 33554432000 134512640 137138936 4293752064 4293750776 136504207 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 235084 233098 192 642 0 234440 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 940336 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10298 /proc/meminfo: memFree=27874452/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=963680 CPUtime=1661.65 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 239493 0 0 0 166008 157 0 0 20 0 1 0 283470192 986808320 238944 33554432000 134512640 137138936 4293752064 4293750816 134575200 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 240920 238944 192 642 0 240276 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 963680 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 10298 /proc/meminfo: memFree=27854764/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=983492 CPUtime=1721.64 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 244459 0 0 0 172004 160 0 0 20 0 1 0 283470192 1007095808 243910 33554432000 134512640 137138936 4293752064 4293750992 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 245873 243910 192 642 0 245229 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 983492 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 10301 /proc/meminfo: memFree=27834944/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=1002576 CPUtime=1781.63 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 249207 0 0 0 178000 163 0 0 20 0 1 0 283470192 1026637824 248658 33554432000 134512640 137138936 4293752064 4293742052 136500388 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 250644 248658 192 642 0 250000 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 1002576 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.00 2.00 3/178 10301 /proc/meminfo: memFree=27831952/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=1005516 CPUtime=1791.23 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 249952 0 0 0 178959 164 0 0 20 0 1 0 283470192 1029648384 249403 33554432000 134512640 137138936 4293752064 4293750992 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 251379 249403 192 642 0 250735 0 Current children cumulated CPU time (s) 1791.23 Current children cumulated vsize (KiB) 1005516 [startup+1795.1 s] /proc/loadavg: 2.00 2.00 2.00 3/178 10301 /proc/meminfo: memFree=27830960/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=1006688 CPUtime=1794.43 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 250235 0 0 0 179279 164 0 0 20 0 1 0 283470192 1030848512 249686 33554432000 134512640 137138936 4293752064 4293750816 134575213 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 251672 249686 192 642 0 251028 0 Current children cumulated CPU time (s) 1794.43 Current children cumulated vsize (KiB) 1006688 [startup+1796.7 s] /proc/loadavg: 2.00 2.00 2.00 3/178 10301 /proc/meminfo: memFree=27830340/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=1007136 CPUtime=1796.02 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 250348 0 0 0 179438 164 0 0 20 0 1 0 283470192 1031307264 249799 33554432000 134512640 137138936 4293752064 4293750992 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 251784 249799 192 642 0 251140 0 Current children cumulated CPU time (s) 1796.02 Current children cumulated vsize (KiB) 1007136 [startup+1797.5 s] /proc/loadavg: 2.00 2.00 2.00 3/178 10301 /proc/meminfo: memFree=27830092/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=1007272 CPUtime=1796.82 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 250392 0 0 0 179518 164 0 0 20 0 1 0 283470192 1031446528 249843 33554432000 134512640 137138936 4293752064 4293750992 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 251818 249843 192 642 0 251174 0 Current children cumulated CPU time (s) 1796.82 Current children cumulated vsize (KiB) 1007272 [startup+1798.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 10301 /proc/meminfo: memFree=27830092/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=1007472 CPUtime=1797.62 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 250455 0 0 0 179598 164 0 0 20 0 1 0 283470192 1031651328 249906 33554432000 134512640 137138936 4293752064 4293750748 136520933 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 251868 249906 192 642 0 251224 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (KiB) 1007472 [startup+1798.51 s] /proc/loadavg: 2.00 2.00 2.00 3/178 10301 /proc/meminfo: memFree=27829844/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=1007604 CPUtime=1797.83 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 250477 0 0 0 179619 164 0 0 20 0 1 0 283470192 1031786496 249928 33554432000 134512640 137138936 4293752064 4293750992 134542322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 251901 249928 192 642 0 251257 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 1007604 [startup+1798.6 s] /proc/loadavg: 2.00 2.00 2.00 3/178 10301 /proc/meminfo: memFree=27829844/32873844 swapFree=7628/7628 [pid=10224] ppid=10222 vsize=1007604 CPUtime=1797.92 cores=1,3,5,7 /proc/10224/stat : 10224 (bsolo) R 10222 10224 8717 0 -1 4202496 250480 0 0 0 179628 164 0 0 20 0 1 0 283470192 1031786496 249931 33554432000 134512640 137138936 4293752064 4293750992 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 /proc/10224/statm: 251901 249931 192 642 0 251257 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 1007604 Child status: 0 Real time (s): 1798.69 CPU time (s): 1798.02 CPU user time (s): 1796.37 CPU system time (s): 1.65675 CPU usage (%): 99.9628 Max. virtual memory (cumulated for all children) (KiB): 1007604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.37 system time used= 1.65675 maximum resident set size= 999752 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 250487 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= 425 involuntary context switches= 1859 runsolver used 3.19951 second user time and 8.5497 second system time The end
Begin job on node145 at 2012-05-28 04:50:58 IDJOB=3708458 IDBENCH=48153 IDSOLVER=2286 FILE ID=node145/3708458-1338173458 RUNJOBID= node145-1338157126-8734 PBS_JOBID= 14624528 Free space on /tmp= 71552 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-3708458-1338173458/watcher-3708458-1338173458 -o /tmp/evaluation-result-3708458-1338173458/solver-3708458-1338173458 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708458-1338173458.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3feaf3974ec1ffdea6d6674c11d1a071 RANDOM SEED=2109026243 node145.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /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 : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.29 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5313.38 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.149 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.89 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29413832 kB Buffers: 329104 kB Cached: 1836412 kB SwapCached: 0 kB Active: 1148252 kB Inactive: 1492904 kB Active(anon): 466864 kB Inactive(anon): 10912 kB Active(file): 681388 kB Inactive(file): 1481992 kB Unevictable: 7628 kB Mlocked: 7628 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 3896 kB Writeback: 0 kB AnonPages: 556532 kB Mapped: 14828 kB Shmem: 200 kB Slab: 678464 kB SReclaimable: 120224 kB SUnreclaim: 558240 kB KernelStack: 1480 kB PageTables: 4416 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 596580 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 315392 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71548 MiB End job on node145 at 2012-05-28 05:20:57