Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | SAT | 43 | 1798.05 | 1798.02 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_2.opb |
MD5SUM | e4d0ce6c299ae1a05f607b170c68aad6 |
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 | 33 |
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 | 46 |
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) | 15670 |
Sum of products size (including duplicates) | 31340 |
Number of different products | 15670 |
Sum of products size | 31340 |
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-3462724-1307182289.opb 0.00/0.00 c File size is 222673 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: 16170 Constr: 31840 16170/0/15670 Lit: 110190 Watch. Lit: 79350 0.00/0.04 c Obj. Vars: 500 (3.09215 % of total variables) 0.39/0.49 c Pre-processing Time: 0.494 s 0.39/0.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.49 c 0 16170 31840 110190 3 79350 99410 0 0 0.49 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 16170 31841 110690 3 79353 99743 1 0 0.50 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 16170 31842 111190 3 79357 100243 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 16170 31843 111690 3 79362 100910 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 16170 31844 112190 3 79368 101743 4 0 0.53 0.49/0.54 o 495 0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.55 c 0 16170 31845 112690 3 79375 102743 5 0 0.55 0.49/0.55 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 16170 31846 113190 3 79383 103743 6 0 0.56 0.49/0.57 o 493 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 0 16170 31847 113690 3 79392 104743 7 0 0.57 0.49/0.58 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 16170 31848 114190 3 79402 105743 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 16170 31849 114690 3 79413 106743 9 0 0.61 0.59/0.62 o 490 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 0 16170 31850 115190 3 79425 107743 10 0 0.62 0.59/0.63 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 16170 31851 115690 3 79438 108743 11 0 0.64 0.59/0.65 o 488 0.59/0.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.67 c 0 16170 31852 116190 3 79452 109743 12 0 0.66 0.59/0.67 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 16170 31853 116690 3 79467 110743 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 16170 31854 117190 3 79483 111743 14 0 0.69 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 16170 31855 117690 3 79500 112743 15 0 0.72 0.69/0.73 o 484 0.69/0.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.75 c 0 16170 31856 118190 3 79518 113743 16 0 0.73 0.69/0.75 o 483 0.69/0.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.77 c 0 16170 31857 118690 3 79537 114743 17 0 0.76 0.69/0.77 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 16170 31858 119190 3 79557 115743 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 16170 31859 119690 3 79578 116743 19 0 0.80 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 16170 31860 120190 3 79600 117743 20 0 0.82 0.79/0.85 o 479 0.79/0.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.79/0.87 c 0 16170 31861 120690 3 79623 118743 21 0 0.85 0.79/0.87 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 16170 31862 121190 3 79647 119743 22 0 0.87 0.89/0.90 o 477 0.89/0.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.92 c 0 16170 31863 121690 3 79672 120743 23 0 0.90 0.89/0.92 o 476 0.89/0.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.95 c 0 16170 31864 122190 3 79698 121743 24 0 0.92 0.89/0.95 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 16170 31865 122690 3 79725 122743 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 16170 31866 123190 3 79753 123743 26 0 0.98 0.99/1.01 o 473 0.99/1.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.03 c 0 16170 31867 123690 3 79782 124743 27 0 1.01 0.99/1.03 o 472 0.99/1.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.06 c 0 16170 31868 124190 3 79812 125743 28 0 1.03 0.99/1.06 o 471 0.99/1.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.99/1.09 c 0 16170 31869 124690 3 79843 126743 29 0 1.07 0.99/1.09 o 470 1.10/1.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.12 c 0 16170 31870 125190 3 79875 127743 30 0 1.09 1.10/1.12 o 469 1.10/1.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.15 c 0 16170 31871 125690 3 79908 128743 31 0 1.13 1.10/1.15 o 468 1.10/1.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.19 c 0 16170 31872 126190 3 79942 129743 32 0 1.15 1.10/1.19 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 16170 31873 126690 3 79977 130743 33 0 1.19 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 16170 31874 127190 3 80013 131743 34 0 1.22 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 16170 31875 127690 4 80050 132743 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 16170 31876 128190 4 80088 133743 36 0 1.28 1.29/1.32 o 463 1.29/1.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.34 c 0 16170 31877 128690 4 80127 134743 37 0 1.32 1.29/1.34 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 16170 31878 129190 4 80167 135743 38 0 1.35 1.29/1.38 o 461 1.29/1.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.39 c 0 16170 31879 129690 4 80208 136743 39 0 1.39 1.29/1.39 o 460 1.39/1.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.43 c 0 16170 31880 130190 4 80250 137743 40 0 1.40 1.39/1.43 o 459 1.39/1.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.46 c 0 16170 31881 130690 4 80293 138743 41 0 1.44 1.39/1.46 o 458 1.49/1.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.50 c 0 16170 31882 131190 4 80337 139743 42 0 1.47 1.49/1.50 o 457 1.49/1.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.53 c 0 16170 31883 131690 4 80382 140743 43 0 1.50 1.49/1.53 o 456 1.49/1.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.57 c 0 16170 31884 132190 4 80428 141743 44 0 1.53 1.49/1.57 o 455 1.49/1.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.58 c 0 16170 31885 132690 4 80475 142743 45 0 1.58 1.49/1.58 o 454 1.59/1.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.61 c 0 16170 31886 133190 4 80523 143743 46 0 1.59 1.59/1.61 o 453 1.59/1.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.65 c 0 16170 31887 133690 4 80572 144743 47 0 1.62 1.59/1.65 o 452 1.59/1.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.68 c 0 16170 31888 134190 4 80622 145743 48 0 1.66 1.59/1.68 o 451 1.69/1.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.73 c 0 16170 31889 134690 4 80673 146743 49 0 1.69 1.69/1.73 o 450 1.69/1.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.69/1.76 c 0 16170 31890 135190 4 80725 147743 50 0 1.74 1.69/1.76 o 449 1.79/1.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.81 c 0 16170 31891 135690 4 80778 148743 51 0 1.77 1.79/1.81 o 448 1.79/1.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.84 c 0 16170 31892 136190 4 80832 149743 52 0 1.81 1.79/1.84 o 447 1.79/1.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.79/1.89 c 0 16170 31893 136690 4 80887 150743 53 0 1.84 1.79/1.89 o 446 1.89/1.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.92 c 0 16170 31894 137190 4 80943 151743 54 0 1.89 1.89/1.92 o 445 1.89/1.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.96 c 0 16170 31895 137690 4 81000 152743 55 0 1.92 1.89/1.96 o 444 1.89/1.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.89/1.99 c 0 16170 31896 138190 4 81058 153743 56 0 1.97 1.89/1.99 o 443 1.99/2.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.04 c 0 16170 31897 138690 4 81117 154743 57 0 2.00 1.99/2.04 o 442 1.99/2.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.07 c 0 16170 31898 139190 4 81177 155743 58 0 2.05 1.99/2.07 o 441 2.09/2.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.12 c 0 16170 31899 139690 4 81238 156743 59 0 2.08 2.09/2.12 o 440 2.09/2.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.15 c 0 16170 31900 140190 4 81300 157743 60 0 2.12 2.09/2.15 o 439 2.09/2.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.09/2.20 c 0 16170 31901 140690 4 81363 158743 61 0 2.16 2.09/2.20 o 438 2.20/2.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.23 c 0 16170 31902 141190 4 81427 159743 62 0 2.21 2.20/2.23 o 437 2.20/2.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.28 c 0 16170 31903 141690 4 81492 160743 63 0 2.24 2.20/2.28 o 436 2.20/2.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.31 c 0 16170 31904 142190 4 81558 161743 64 0 2.28 2.20/2.31 o 435 2.31/2.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.31/2.36 c 0 16170 31905 142690 4 81625 162743 65 0 2.31 2.31/2.36 o 434 2.31/2.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.31/2.39 c 0 16170 31906 143190 4 81693 163743 66 0 2.37 2.31/2.39 o 433 2.39/2.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.44 c 0 16170 31907 143690 4 81762 164743 67 0 2.40 2.39/2.44 o 432 2.39/2.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.47 c 0 16170 31908 144190 4 81832 165743 68 0 2.44 2.39/2.47 o 431 2.49/2.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.52 c 0 16170 31909 144690 4 81903 166743 69 0 2.48 2.49/2.52 o 430 2.49/2.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.49/2.56 c 0 16170 31910 145190 4 81975 167743 70 0 2.53 2.49/2.56 o 429 2.59/2.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.60 c 0 16170 31911 145690 4 82048 168743 71 0 2.56 2.59/2.60 o 428 2.59/2.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.64 c 0 16170 31912 146190 4 82122 169743 72 0 2.61 2.59/2.64 o 427 2.59/2.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.59/2.69 c 0 16170 31913 146690 4 82197 170743 73 0 2.64 2.59/2.69 o 426 2.69/2.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.72 c 0 16170 31914 147190 4 82273 171743 74 0 2.69 2.69/2.72 o 425 2.69/2.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.77 c 0 16170 31915 147690 4 82350 172743 75 0 2.73 2.69/2.77 o 424 2.79/2.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.80 c 0 16170 31916 148190 4 82428 173743 76 0 2.77 2.79/2.80 o 423 2.79/2.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.85 c 0 16170 31917 148690 4 82507 174743 77 0 2.81 2.79/2.85 o 422 2.79/2.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.89 c 0 16170 31918 149190 4 82587 175743 78 0 2.86 2.79/2.89 o 421 2.90/2.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.90/2.93 c 0 16170 31919 149690 4 82668 176743 79 0 2.89 2.90/2.93 o 420 2.90/2.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.90/2.97 c 0 16170 31920 150190 4 82750 177743 80 0 2.94 2.90/2.97 o 419 3.00/3.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.00/3.02 c 0 16170 31921 150690 4 82833 178743 81 0 2.97 3.00/3.02 o 418 3.00/3.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.00/3.06 c 0 16170 31922 151190 4 82917 179743 82 0 3.03 3.00/3.06 o 417 3.10/3.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.10/3.10 c 0 16170 31923 151690 4 83002 180743 83 0 3.06 3.10/3.10 o 416 3.10/3.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.10/3.14 c 0 16170 31924 152190 4 83088 181743 84 0 3.11 3.10/3.14 o 415 3.10/3.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.10/3.19 c 0 16170 31925 152690 4 83175 182743 85 0 3.14 3.10/3.19 o 414 3.19/3.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.22 c 0 16170 31926 153190 4 83263 183743 86 0 3.19 3.19/3.22 o 413 3.19/3.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.27 c 0 16170 31927 153690 4 83352 184743 87 0 3.23 3.19/3.27 o 412 3.31/3.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.31/3.32 c 0 16170 31928 154190 4 83442 185743 88 0 3.27 3.31/3.32 o 411 3.31/3.36 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.31/3.36 c 0 16170 31929 154690 4 83533 186743 89 0 3.33 3.31/3.36 o 410 3.31/3.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.31/3.39 c 0 16170 31930 155190 4 83625 187743 90 0 3.36 3.31/3.39 o 409 3.41/3.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.41/3.43 c 0 16170 31931 155690 4 83718 188743 91 0 3.40 3.41/3.43 o 408 3.41/3.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.41/3.47 c 0 16170 31932 156190 4 83812 189743 92 0 3.43 3.41/3.47 o 407 3.49/3.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.50 c 0 16170 31933 156690 4 83907 190743 93 0 3.48 3.49/3.50 o 406 3.49/3.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.55 c 0 16170 31934 157190 4 84003 191743 94 0 3.51 3.49/3.55 o 405 3.49/3.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.59 c 0 16170 31935 157690 4 84100 192743 95 0 3.56 3.49/3.59 o 404 3.59/3.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.63 c 0 16170 31936 158190 4 84198 193743 96 0 3.59 3.59/3.63 o 403 3.59/3.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.66 c 0 16170 31937 158690 4 84297 194743 97 0 3.64 3.59/3.66 o 402 3.69/3.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.72 c 0 16170 31938 159190 4 84397 195743 98 0 3.67 3.69/3.72 o 401 3.69/3.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.75 c 0 16170 31939 159690 4 84498 196743 99 0 3.72 3.69/3.75 o 400 3.69/3.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.80 c 0 16170 31940 160190 5 84600 197743 100 0 3.76 3.69/3.80 o 399 3.79/3.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.83 c 0 16170 31941 160690 5 84703 198743 101 0 3.80 3.79/3.83 o 398 3.79/3.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.88 c 0 16170 31942 161190 5 84807 199743 102 0 3.83 3.79/3.88 o 397 3.89/3.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.91 c 0 16170 31943 161690 5 84912 200743 103 0 3.88 3.89/3.91 o 396 3.89/3.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.95 c 0 16170 31944 162190 5 85018 201743 104 0 3.91 3.89/3.95 o 395 3.89/3.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.98 c 0 16170 31945 162690 5 85125 202743 105 0 3.96 3.89/3.98 o 394 4.00/4.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.00/4.03 c 0 16170 31946 163190 5 85233 203743 106 0 3.99 4.00/4.03 o 393 4.00/4.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.00/4.07 c 0 16170 31947 163690 5 85342 204743 107 0 4.04 4.00/4.07 o 392 4.09/4.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.11 c 0 16170 31948 164190 5 85452 205743 108 0 4.07 4.09/4.11 o 391 4.09/4.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.14 c 0 16170 31949 164690 5 85563 206743 109 0 4.11 4.09/4.14 o 390 4.09/4.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.19 c 0 16170 31950 165190 5 85675 207743 110 0 4.14 4.09/4.19 o 389 4.19/4.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.22 c 0 16170 31951 165690 5 85788 208743 111 0 4.19 4.19/4.22 o 388 4.19/4.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.26 c 0 16170 31952 166190 5 85902 209743 112 0 4.22 4.19/4.26 o 387 4.19/4.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.29 c 0 16170 31953 166690 5 86017 210743 113 0 4.26 4.19/4.29 o 386 4.29/4.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.34 c 0 16170 31954 167190 5 86133 211743 114 0 4.29 4.29/4.34 o 385 4.29/4.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.37 c 0 16170 31955 167690 5 86250 212743 115 0 4.34 4.29/4.37 o 384 4.29/4.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.41 c 0 16170 31956 168190 5 86368 213743 116 0 4.37 4.29/4.41 o 383 4.40/4.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.40/4.44 c 0 16170 31957 168690 5 86487 214743 117 0 4.42 4.40/4.44 o 382 4.40/4.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.40/4.49 c 0 16170 31958 169190 5 86607 215743 118 0 4.45 4.40/4.49 o 381 4.51/4.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.51/4.52 c 0 16170 31959 169690 5 86728 216743 119 0 4.49 4.51/4.52 o 380 4.51/4.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.51/4.55 c 0 16170 31960 170190 5 86850 217743 120 0 4.52 4.51/4.55 o 379 4.51/4.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.51/4.58 c 0 16170 31961 170690 5 86973 218743 121 0 4.56 4.51/4.58 o 378 4.60/4.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.60/4.63 c 0 16170 31962 171190 5 87097 219743 122 0 4.59 4.60/4.63 o 377 4.60/4.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.60/4.66 c 0 16170 31963 171690 5 87222 220743 123 0 4.64 4.60/4.66 o 376 4.69/4.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.70 c 0 16170 31964 172190 5 87348 221743 124 0 4.67 4.69/4.70 o 375 4.69/4.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.69/4.71 c 1 16170 31966 173066 5 87477 221743 126 0 4.70 4.69/4.71 o 45 4.79/4.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.79/4.89 c 1 16170 31967 173566 5 87934 221743 127 0 4.72 4.79/4.89 c 101 16170 32073 194761 6 88146 243918 233 21 4.81 4.79/4.89 o 44 8.29/8.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.29/8.37 c 216 16170 32200 217186 6 88856 221743 360 44 4.90 8.29/8.37 c 318 16170 32304 233139 7 89516 243918 464 63 4.99 8.29/8.37 c 570 16170 32562 270043 8 90032 268310 722 109 5.21 8.29/8.37 c 1045 16170 33067 373654 11 91042 295142 1227 185 5.62 8.29/8.37 c 1858 16170 33912 512669 15 92732 324657 2072 294 6.31 8.29/8.37 c 3179 16170 35304 771664 21 95516 357123 3464 419 7.58 8.29/8.37 o 43 1797.91/1797.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.91/1797.97 c 4041 16170 36227 956503 26 97819 221743 4387 482 8.38 1797.91/1797.97 c 4141 16170 36334 976806 26 98033 243918 4494 487 8.50 1797.91/1797.97 c 4392 16170 36598 1026402 28 98561 268310 4758 501 8.76 1797.91/1797.97 c 4867 16170 37095 1106143 29 99555 295142 5255 529 9.19 1797.91/1797.97 c 5680 16170 37951 1252873 33 101267 324657 6111 567 10.02 1797.91/1797.97 c 7001 16170 39351 1537968 39 104284 357123 7511 615 11.37 1797.91/1797.97 c 9083 16170 41530 1995349 48 110850 392836 9690 663 13.68 1797.91/1797.97 c 12307 16170 45006 2710508 60 118214 432120 13166 701 17.53 1797.91/1797.97 c 17243 16170 50264 3790582 75 128730 475333 18424 709 24.32 1797.91/1797.97 c 24749 16170 58123 5139679 88 144448 522867 26283 715 34.59 1797.91/1797.97 c 36111 16170 70117 7483090 106 171145 575154 38277 656 54.97 1797.91/1797.97 c 53255 16170 88544 12033876 135 210246 632670 56704 580 91.76 1797.91/1797.97 c 79074 16170 116682 19723785 169 269221 695938 84842 428 184.33 1797.91/1797.97 c 117906 16170 158027 29236323 185 355920 765532 126187 359 327.62 1797.91/1797.97 c 176258 16170 221700 45513551 205 489532 842086 189860 265 663.46 1797.91/1797.97 c Reducing formula size due to memory constraints 1797.91/1797.97 c Memory Limit: 1000.00 MB Used: 1001.62 MB 1797.91/1797.97 c 263890 16170 47911 6350402 132 118761 55755 16071 191 1380.32 1797.91/1797.97 c Resources Exceeded 1797.91/1797.97 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.91/1797.97 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.91/1797.97 c 149 356028 114855 720217 90837 25808638 58997 198 1798.00 1797.91/1797.97 c Objective: 43 1797.91/1797.97 s SATISFIABLE 1797.91/1797.97 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-3462724-1307182289/watcher-3462724-1307182289 -o /tmp/evaluation-result-3462724-1307182289/solver-3462724-1307182289 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462724-1307182289.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.01 2.00 2/489 31234 /proc/meminfo: memFree=27083120/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=12932 CPUtime=0.01 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 768 0 0 0 1 0 0 0 25 0 1 0 829827448 13242368 723 33554432000 134512640 137138936 4292397328 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 3233 723 193 642 0 2534 0 [startup+0.116634 s] /proc/loadavg: 2.00 2.01 2.00 2/489 31234 /proc/meminfo: memFree=27083120/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=18912 CPUtime=0.11 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 2328 0 0 0 11 0 0 0 25 0 1 0 829827448 19365888 2228 33554432000 134512640 137138936 4292397328 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 4728 2228 185 642 0 4084 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 18912 [startup+0.200618 s] /proc/loadavg: 2.00 2.01 2.00 2/489 31234 /proc/meminfo: memFree=27083120/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=18912 CPUtime=0.19 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 2328 0 0 0 19 0 0 0 25 0 1 0 829827448 19365888 2228 33554432000 134512640 137138936 4292397328 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 4728 2228 185 642 0 4084 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 18912 [startup+0.300602 s] /proc/loadavg: 2.00 2.01 2.00 2/489 31234 /proc/meminfo: memFree=27083120/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=18912 CPUtime=0.29 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 2328 0 0 0 28 1 0 0 25 0 1 0 829827448 19365888 2228 33554432000 134512640 137138936 4292397328 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 4728 2228 185 642 0 4084 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18912 [startup+0.700532 s] /proc/loadavg: 2.00 2.01 2.00 2/489 31234 /proc/meminfo: memFree=27083120/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=19324 CPUtime=0.69 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 2982 0 0 0 62 7 0 0 25 0 1 0 829827448 19787776 2352 33554432000 134512640 137138936 4292397328 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 4831 2352 188 642 0 4187 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19324 [startup+1.5004 s] /proc/loadavg: 2.00 2.01 2.00 3/490 31235 /proc/meminfo: memFree=27072844/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=19588 CPUtime=1.49 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 3034 0 0 0 140 9 0 0 25 0 1 0 829827448 20058112 2404 33554432000 134512640 137138936 4292397328 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 4897 2404 188 642 0 4253 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19588 [startup+3.10113 s] /proc/loadavg: 2.00 2.01 2.00 3/490 31235 /proc/meminfo: memFree=27072224/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=19852 CPUtime=3.1 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 3118 0 0 0 298 12 0 0 25 0 1 0 829827448 20328448 2488 33554432000 134512640 137138936 4292397328 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 4963 2488 188 642 0 4319 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 19852 [startup+6.30059 s] /proc/loadavg: 2.00 2.01 2.00 3/490 31235 /proc/meminfo: memFree=27069184/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=25124 CPUtime=6.29 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 4419 0 0 0 614 15 0 0 25 0 1 0 829827448 25726976 3789 33554432000 134512640 137138936 4292397328 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 6281 3789 192 642 0 5637 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25124 [startup+12.7005 s] /proc/loadavg: 2.00 2.01 2.00 3/490 31235 /proc/meminfo: memFree=27050344/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=42492 CPUtime=12.69 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 8762 0 0 0 1252 17 0 0 25 0 1 0 829827448 43511808 8132 33554432000 134512640 137138936 4292397328 18446744073709551615 134607009 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 10623 8132 192 642 0 9979 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 42492 [startup+25.5004 s] /proc/loadavg: 2.00 2.01 2.00 3/490 31235 /proc/meminfo: memFree=27020740/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=71460 CPUtime=25.49 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 16004 0 0 0 2530 19 0 0 25 0 1 0 829827448 73175040 15374 33554432000 134512640 137138936 4292397328 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 17865 15374 192 642 0 17221 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 71460 [startup+51.1011 s] /proc/loadavg: 2.00 2.01 2.00 3/490 31236 /proc/meminfo: memFree=26979404/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=112952 CPUtime=51.09 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 26377 0 0 0 5086 23 0 0 25 0 1 0 829827448 115662848 25747 33554432000 134512640 137138936 4292397328 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 28238 25747 192 642 0 27594 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 112952 [startup+102.3 s] /proc/loadavg: 2.00 2.00 2.00 3/490 31237 /proc/meminfo: memFree=26897676/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=193724 CPUtime=102.31 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 46599 0 0 0 10200 31 0 0 25 0 1 0 829827448 198373376 45969 33554432000 134512640 137138936 4292397328 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 48431 45969 192 642 0 47787 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 193724 [startup+162.3 s] /proc/loadavg: 2.11 2.03 2.01 3/490 31239 /proc/meminfo: memFree=26831796/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=258756 CPUtime=162.29 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 62829 0 0 0 16190 39 0 0 25 0 1 0 829827448 264966144 62199 33554432000 134512640 137138936 4292397328 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 64689 62199 192 642 0 64045 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 258756 [startup+222.318 s] /proc/loadavg: 2.24 2.07 2.02 3/490 31241 /proc/meminfo: memFree=26768384/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=320976 CPUtime=222.31 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 78389 0 0 0 22185 46 0 0 25 0 1 0 829827448 328679424 77759 33554432000 134512640 137138936 4292397328 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 80244 77759 192 642 0 79600 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 320976 [startup+282.3 s] /proc/loadavg: 2.13 2.07 2.02 3/490 31279 /proc/meminfo: memFree=26710148/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=373940 CPUtime=282.29 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 91625 0 0 0 28176 53 0 0 25 0 1 0 829827448 382914560 90995 33554432000 134512640 137138936 4292397328 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 93485 90995 192 642 0 92841 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 373940 [startup+342.301 s] /proc/loadavg: 2.05 2.05 2.01 3/490 31282 /proc/meminfo: memFree=26658560/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=420096 CPUtime=342.3 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 103176 0 0 0 34171 59 0 0 25 0 1 0 829827448 430178304 102546 33554432000 134512640 137138936 4292397328 18446744073709551615 134618001 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 105024 102546 192 642 0 104380 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 420096 [startup+402.301 s] /proc/loadavg: 2.02 2.04 2.01 3/490 31283 /proc/meminfo: memFree=26605468/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=470008 CPUtime=402.3 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 115643 0 0 0 40165 65 0 0 25 0 1 0 829827448 481288192 115013 33554432000 134512640 137138936 4292397328 18446744073709551615 134551924 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 117502 115013 192 642 0 116858 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 470008 [startup+462.301 s] /proc/loadavg: 2.00 2.03 2.00 3/490 31286 /proc/meminfo: memFree=26541956/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=517412 CPUtime=462.3 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 127494 0 0 0 46160 70 0 0 25 0 1 0 829827448 529829888 126864 33554432000 134512640 137138936 4292397328 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 129353 126864 192 642 0 128709 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 517412 [startup+522.301 s] /proc/loadavg: 2.00 2.02 2.00 3/490 31288 /proc/meminfo: memFree=26465180/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=554736 CPUtime=522.3 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 136833 0 0 0 52154 76 0 0 25 0 1 0 829827448 568049664 136203 33554432000 134512640 137138936 4292397328 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 138684 136203 192 642 0 138040 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 554736 [startup+582.301 s] /proc/loadavg: 2.00 2.02 2.00 3/490 31289 /proc/meminfo: memFree=26441684/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=577884 CPUtime=582.3 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 142644 0 0 0 58151 79 0 0 25 0 1 0 829827448 591753216 142014 33554432000 134512640 137138936 4292397328 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 144471 142014 192 642 0 143827 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 577884 [startup+642.301 s] ################ # More data... # ################ /proc/meminfo: memFree=26115596/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=889716 CPUtime=1062.3 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 220584 0 0 0 106115 115 0 0 25 0 1 0 829827448 911069184 219954 33554432000 134512640 137138936 4292397328 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 222429 219954 192 642 0 221785 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 889716 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.00 3/490 31306 /proc/meminfo: memFree=26073280/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=922828 CPUtime=1122.31 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 228849 0 0 0 112111 120 0 0 25 0 1 0 829827448 944975872 228219 33554432000 134512640 137138936 4292397328 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 230707 228219 192 642 0 230063 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 922828 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/490 31307 /proc/meminfo: memFree=26042724/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=951796 CPUtime=1182.31 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 236103 0 0 0 118108 123 0 0 25 0 1 0 829827448 974639104 235473 33554432000 134512640 137138936 4292397328 18446744073709551615 134542511 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 237949 235473 192 642 0 237305 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 951796 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/490 31309 /proc/meminfo: memFree=26004600/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=984388 CPUtime=1242.31 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 244243 0 0 0 124104 127 0 0 25 0 1 0 829827448 1008013312 243613 33554432000 134512640 137138936 4292397328 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 246097 243613 192 642 0 245453 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 984388 [startup+1302.3 s] /proc/loadavg: 2.07 2.03 2.01 3/490 31311 /proc/meminfo: memFree=25938200/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=1013040 CPUtime=1302.31 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 251402 0 0 0 130100 131 0 0 25 0 1 0 829827448 1037352960 250772 33554432000 134512640 137138936 4292397328 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 253260 250772 192 642 0 252616 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 1013040 [startup+1362.3 s] /proc/loadavg: 2.13 2.06 2.02 3/490 31313 /proc/meminfo: memFree=25910760/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=1039344 CPUtime=1362.32 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 258285 0 0 0 136098 134 0 0 25 0 1 0 829827448 1064288256 257378 33554432000 134512640 137138936 4292397328 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 259836 257378 192 642 0 259192 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1039344 [startup+1422.3 s] /proc/loadavg: 2.08 2.06 2.02 3/490 31315 /proc/meminfo: memFree=25910732/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=1039344 CPUtime=1422.33 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 258285 0 0 0 142096 137 0 0 25 0 1 0 829827448 1064288256 257378 33554432000 134512640 137138936 4292397328 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 259836 257378 192 642 0 259192 0 Current children cumulated CPU time (s) 1422.33 Current children cumulated vsize (KiB) 1039344 [startup+1482.3 s] /proc/loadavg: 2.03 2.05 2.01 3/490 31316 /proc/meminfo: memFree=25910556/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=1039344 CPUtime=1482.31 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 258285 0 0 0 148091 140 0 0 25 0 1 0 829827448 1064288256 257378 33554432000 134512640 137138936 4292397328 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 259836 257378 192 642 0 259192 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 1039344 [startup+1542.32 s] /proc/loadavg: 2.01 2.04 2.00 3/490 31318 /proc/meminfo: memFree=25910884/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=1039344 CPUtime=1542.33 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 258285 0 0 0 154090 143 0 0 25 0 1 0 829827448 1064288256 257378 33554432000 134512640 137138936 4292397328 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 259836 257378 192 642 0 259192 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1039344 [startup+1602.3 s] /proc/loadavg: 2.00 2.03 2.00 3/490 31319 /proc/meminfo: memFree=25911200/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=1039344 CPUtime=1602.31 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 258285 0 0 0 160086 145 0 0 25 0 1 0 829827448 1064288256 257378 33554432000 134512640 137138936 4292397328 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 259836 257378 192 642 0 259192 0 Current children cumulated CPU time (s) 1602.31 Current children cumulated vsize (KiB) 1039344 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/490 31322 /proc/meminfo: memFree=25911176/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=1039344 CPUtime=1662.31 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 258285 0 0 0 166084 147 0 0 25 0 1 0 829827448 1064288256 257378 33554432000 134512640 137138936 4292397328 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 259836 257378 192 642 0 259192 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 1039344 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/490 31324 /proc/meminfo: memFree=25910532/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=1039344 CPUtime=1722.31 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 258286 0 0 0 172081 150 0 0 25 0 1 0 829827448 1064288256 257379 33554432000 134512640 137138936 4292397328 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 259836 257379 192 642 0 259192 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 1039344 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/490 31325 /proc/meminfo: memFree=25910120/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=1039344 CPUtime=1782.32 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 258286 0 0 0 178079 153 0 0 25 0 1 0 829827448 1064288256 257379 33554432000 134512640 137138936 4292397328 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 259836 257379 192 642 0 259192 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 1039344 Solver just ended. Dumping a history of the last processes samples [startup+1785.6 s] /proc/loadavg: 2.00 2.01 2.00 3/490 31325 /proc/meminfo: memFree=25910120/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=1039344 CPUtime=1785.62 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 258286 0 0 0 178409 153 0 0 25 0 1 0 829827448 1064288256 257379 33554432000 134512640 137138936 4292397328 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 259836 257379 192 642 0 259192 0 Current children cumulated CPU time (s) 1785.62 Current children cumulated vsize (KiB) 1039344 [startup+1792.02 s] /proc/loadavg: 2.00 2.01 2.00 3/490 31326 /proc/meminfo: memFree=25911232/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=1039344 CPUtime=1792.04 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 258286 0 0 0 179051 153 0 0 25 0 1 0 829827448 1064288256 257379 33554432000 134512640 137138936 4292397328 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 259836 257379 192 642 0 259192 0 Current children cumulated CPU time (s) 1792.04 Current children cumulated vsize (KiB) 1039344 [startup+1795.2 s] /proc/loadavg: 2.00 2.01 2.00 3/490 31326 /proc/meminfo: memFree=25911232/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=1039344 CPUtime=1795.23 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 258286 0 0 0 179370 153 0 0 25 0 1 0 829827448 1064288256 257379 33554432000 134512640 137138936 4292397328 18446744073709551615 136504617 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 259836 257379 192 642 0 259192 0 Current children cumulated CPU time (s) 1795.23 Current children cumulated vsize (KiB) 1039344 [startup+1796.8 s] /proc/loadavg: 2.00 2.01 2.00 3/490 31326 /proc/meminfo: memFree=25911232/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=1039344 CPUtime=1796.82 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 258286 0 0 0 179529 153 0 0 25 0 1 0 829827448 1064288256 257379 33554432000 134512640 137138936 4292397328 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 259836 257379 192 642 0 259192 0 Current children cumulated CPU time (s) 1796.82 Current children cumulated vsize (KiB) 1039344 [startup+1797.6 s] /proc/loadavg: 2.00 2.01 2.00 3/490 31326 /proc/meminfo: memFree=25910860/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=1039344 CPUtime=1797.61 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202496 258286 0 0 0 179608 153 0 0 25 0 1 0 829827448 1064288256 257379 33554432000 134512640 137138936 4292397328 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/31234/statm: 259836 257379 192 642 0 259192 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (KiB) 1039344 [startup+1798 s] /proc/loadavg: 2.00 2.01 2.00 3/490 31326 /proc/meminfo: memFree=25910860/32951124 swapFree=63649284/67111528 [pid=31234] ppid=31232 vsize=0 CPUtime=1798.02 cores=1,3,5,7 /proc/31234/stat : 31234 (bsolo) R 31232 31234 28154 0 -1 4202500 258287 0 0 0 179646 156 0 0 25 0 1 0 829827448 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0 /proc/31234/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1798.02 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1798.02 CPU time (s): 1798.05 CPU user time (s): 1796.47 CPU system time (s): 1.58176 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 1040452 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.47 system time used= 1.58176 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 258287 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= 5 involuntary context switches= 19728 runsolver used 8.33373 second user time and 20.9948 second system time The end
Begin job on node130 at 2011-06-04 12:11:29 IDJOB=3462724 IDBENCH=48140 IDSOLVER=1955 FILE ID=node130/3462724-1307182289 RUNJOBID= node130-1307175073-30137 PBS_JOBID= 13508832 Free space on /tmp= 73852 MiB SOLVER NAME= bsolo 3.2 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_2.opb COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462724-1307182289/watcher-3462724-1307182289 -o /tmp/evaluation-result-3462724-1307182289/solver-3462724-1307182289 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462724-1307182289.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e4d0ce6c299ae1a05f607b170c68aad6 RANDOM SEED=499356509 node130.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.838 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.67 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.838 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.83 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.838 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.838 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.81 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.838 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.838 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.83 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.838 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.838 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.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 27083284 kB Buffers: 286880 kB Cached: 454256 kB SwapCached: 9700 kB Active: 5202376 kB Inactive: 383320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 27083284 kB SwapTotal: 67111528 kB SwapFree: 63649284 kB Dirty: 4000 kB Writeback: 0 kB AnonPages: 4843532 kB Mapped: 31452 kB Slab: 158544 kB PageTables: 53796 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 145163036 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= 73848 MiB End job on node130 at 2011-06-04 12:41:28