Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 | SAT | 43 | 1798.01 | 1798.57 |
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 | 1796.77 |
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-3708456-1338172451.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.04 c Total parsing time: 0.036 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.49/0.50 c Pre-processing Time: 0.501 s 0.49/0.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.50 c 0 16170 31840 110190 3 79350 99410 0 0 0.50 0.49/0.50 c Switching off lower bounding mode. 0.49/0.51 o 499 0.49/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.52 c 0 16170 31841 110690 3 79353 99743 1 0 0.51 0.49/0.52 o 498 0.49/0.53 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.53 c 0 16170 31842 111190 3 79357 100243 2 0 0.52 0.49/0.53 o 497 0.49/0.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.54 c 0 16170 31843 111690 3 79362 100910 3 0 0.53 0.49/0.54 o 496 0.49/0.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.55 c 0 16170 31844 112190 3 79368 101743 4 0 0.54 0.49/0.55 o 495 0.49/0.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.56 c 0 16170 31845 112690 3 79375 102743 5 0 0.56 0.49/0.56 o 494 0.49/0.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.58 c 0 16170 31846 113190 3 79383 103743 6 0 0.57 0.49/0.58 o 493 0.49/0.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.59 c 0 16170 31847 113690 3 79392 104743 7 0 0.58 0.49/0.59 o 492 0.59/0.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.61 c 0 16170 31848 114190 3 79402 105743 8 0 0.60 0.59/0.61 o 491 0.59/0.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.63 c 0 16170 31849 114690 3 79413 106743 9 0 0.62 0.59/0.63 o 490 0.59/0.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.65 c 0 16170 31850 115190 3 79425 107743 10 0 0.63 0.59/0.65 o 489 0.59/0.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.66 c 0 16170 31851 115690 3 79438 108743 11 0 0.65 0.59/0.66 o 488 0.59/0.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.69 c 0 16170 31852 116190 3 79452 109743 12 0 0.67 0.59/0.69 o 487 0.69/0.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.70 c 0 16170 31853 116690 3 79467 110743 13 0 0.69 0.69/0.70 o 486 0.69/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.73 c 0 16170 31854 117190 3 79483 111743 14 0 0.71 0.69/0.73 o 485 0.69/0.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.74 c 0 16170 31855 117690 3 79500 112743 15 0 0.73 0.69/0.74 o 484 0.69/0.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.77 c 0 16170 31856 118190 3 79518 113743 16 0 0.75 0.69/0.77 o 483 0.69/0.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.79 c 0 16170 31857 118690 3 79537 114743 17 0 0.77 0.69/0.79 o 482 0.78/0.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.78/0.81 c 0 16170 31858 119190 3 79557 115743 18 0 0.79 0.78/0.81 o 481 0.78/0.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.78/0.83 c 0 16170 31859 119690 3 79578 116743 19 0 0.82 0.78/0.83 o 480 0.78/0.86 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.78/0.86 c 0 16170 31860 120190 3 79600 117743 20 0 0.84 0.78/0.86 o 479 0.78/0.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.78/0.89 c 0 16170 31861 120690 3 79623 118743 21 0 0.87 0.78/0.89 o 478 0.89/0.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.91 c 0 16170 31862 121190 3 79647 119743 22 0 0.89 0.89/0.91 o 477 0.89/0.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.94 c 0 16170 31863 121690 3 79672 120743 23 0 0.92 0.89/0.94 o 476 0.89/0.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.97 c 0 16170 31864 122190 3 79698 121743 24 0 0.94 0.89/0.97 o 475 0.89/0.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.99 c 0 16170 31865 122690 3 79725 122743 25 0 0.97 0.89/0.99 o 474 1.00/1.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.03 c 0 16170 31866 123190 3 79753 123743 26 0 1.00 1.00/1.03 o 473 1.00/1.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.05 c 0 16170 31867 123690 3 79782 124743 27 0 1.03 1.00/1.05 o 472 1.00/1.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.00/1.09 c 0 16170 31868 124190 3 79812 125743 28 0 1.05 1.00/1.09 o 471 1.10/1.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.11 c 0 16170 31869 124690 3 79843 126743 29 0 1.09 1.10/1.11 o 470 1.10/1.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.14 c 0 16170 31870 125190 3 79875 127743 30 0 1.11 1.10/1.14 o 469 1.10/1.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.17 c 0 16170 31871 125690 3 79908 128743 31 0 1.15 1.10/1.17 o 468 1.19/1.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.21 c 0 16170 31872 126190 3 79942 129743 32 0 1.17 1.19/1.21 o 467 1.19/1.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.24 c 0 16170 31873 126690 3 79977 130743 33 0 1.21 1.19/1.24 o 466 1.19/1.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.27 c 0 16170 31874 127190 3 80013 131743 34 0 1.24 1.19/1.27 o 465 1.29/1.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.30 c 0 16170 31875 127690 4 80050 132743 35 0 1.28 1.29/1.30 o 464 1.29/1.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.34 c 0 16170 31876 128190 4 80088 133743 36 0 1.30 1.29/1.34 o 463 1.29/1.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.29/1.37 c 0 16170 31877 128690 4 80127 134743 37 0 1.34 1.29/1.37 o 462 1.39/1.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.40 c 0 16170 31878 129190 4 80167 135743 38 0 1.37 1.39/1.40 o 461 1.39/1.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.41 c 0 16170 31879 129690 4 80208 136743 39 0 1.41 1.39/1.41 o 460 1.39/1.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.46 c 0 16170 31880 130190 4 80250 137743 40 0 1.42 1.39/1.46 o 459 1.39/1.49 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.39/1.49 c 0 16170 31881 130690 4 80293 138743 41 0 1.46 1.39/1.49 o 458 1.49/1.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.52 c 0 16170 31882 131190 4 80337 139743 42 0 1.49 1.49/1.52 o 457 1.49/1.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.49/1.55 c 0 16170 31883 131690 4 80382 140743 43 0 1.53 1.49/1.55 o 456 1.59/1.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.60 c 0 16170 31884 132190 4 80428 141743 44 0 1.56 1.59/1.60 o 455 1.59/1.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.61 c 0 16170 31885 132690 4 80475 142743 45 0 1.60 1.59/1.61 o 454 1.59/1.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.64 c 0 16170 31886 133190 4 80523 143743 46 0 1.61 1.59/1.64 o 453 1.59/1.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.68 c 0 16170 31887 133690 4 80572 144743 47 0 1.64 1.59/1.68 o 452 1.68/1.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.68/1.71 c 0 16170 31888 134190 4 80622 145743 48 0 1.68 1.68/1.71 o 451 1.68/1.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.68/1.76 c 0 16170 31889 134690 4 80673 146743 49 0 1.71 1.68/1.76 o 450 1.68/1.79 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.68/1.79 c 0 16170 31890 135190 4 80725 147743 50 0 1.76 1.68/1.79 o 449 1.78/1.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.78/1.83 c 0 16170 31891 135690 4 80778 148743 51 0 1.79 1.78/1.83 o 448 1.78/1.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.78/1.87 c 0 16170 31892 136190 4 80832 149743 52 0 1.84 1.78/1.87 o 447 1.88/1.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.88/1.92 c 0 16170 31893 136690 4 80887 150743 53 0 1.87 1.88/1.92 o 446 1.88/1.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.88/1.95 c 0 16170 31894 137190 4 80943 151743 54 0 1.92 1.88/1.95 o 445 1.88/1.99 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.88/1.99 c 0 16170 31895 137690 4 81000 152743 55 0 1.95 1.88/1.99 o 444 1.99/2.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.02 c 0 16170 31896 138190 4 81058 153743 56 0 1.99 1.99/2.02 o 443 1.99/2.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.08 c 0 16170 31897 138690 4 81117 154743 57 0 2.03 1.99/2.08 o 442 2.10/2.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.10/2.11 c 0 16170 31898 139190 4 81177 155743 58 0 2.08 2.10/2.11 o 441 2.10/2.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.10/2.15 c 0 16170 31899 139690 4 81238 156743 59 0 2.11 2.10/2.15 o 440 2.10/2.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.10/2.18 c 0 16170 31900 140190 4 81300 157743 60 0 2.15 2.10/2.18 o 439 2.20/2.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.24 c 0 16170 31901 140690 4 81363 158743 61 0 2.19 2.20/2.24 o 438 2.20/2.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.20/2.27 c 0 16170 31902 141190 4 81427 159743 62 0 2.24 2.20/2.27 o 437 2.29/2.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.31 c 0 16170 31903 141690 4 81492 160743 63 0 2.27 2.29/2.31 o 436 2.29/2.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.34 c 0 16170 31904 142190 4 81558 161743 64 0 2.31 2.29/2.34 o 435 2.39/2.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.40 c 0 16170 31905 142690 4 81625 162743 65 0 2.35 2.39/2.40 o 434 2.39/2.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.43 c 0 16170 31906 143190 4 81693 163743 66 0 2.40 2.39/2.43 o 433 2.39/2.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.39/2.47 c 0 16170 31907 143690 4 81762 164743 67 0 2.43 2.39/2.47 o 432 2.48/2.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.48/2.51 c 0 16170 31908 144190 4 81832 165743 68 0 2.48 2.48/2.51 o 431 2.48/2.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.48/2.56 c 0 16170 31909 144690 4 81903 166743 69 0 2.51 2.48/2.56 o 430 2.48/2.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.48/2.59 c 0 16170 31910 145190 4 81975 167743 70 0 2.56 2.48/2.59 o 429 2.58/2.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.58/2.64 c 0 16170 31911 145690 4 82048 168743 71 0 2.60 2.58/2.64 o 428 2.58/2.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.58/2.67 c 0 16170 31912 146190 4 82122 169743 72 0 2.64 2.58/2.67 o 427 2.69/2.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.73 c 0 16170 31913 146690 4 82197 170743 73 0 2.68 2.69/2.73 o 426 2.69/2.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.69/2.76 c 0 16170 31914 147190 4 82273 171743 74 0 2.73 2.69/2.76 o 425 2.79/2.81 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.81 c 0 16170 31915 147690 4 82350 172743 75 0 2.77 2.79/2.81 o 424 2.79/2.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.84 c 0 16170 31916 148190 4 82428 173743 76 0 2.81 2.79/2.84 o 423 2.79/2.89 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.79/2.89 c 0 16170 31917 148690 4 82507 174743 77 0 2.85 2.79/2.89 o 422 2.89/2.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.93 c 0 16170 31918 149190 4 82587 175743 78 0 2.90 2.89/2.93 o 421 2.89/2.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.89/2.97 c 0 16170 31919 149690 4 82668 176743 79 0 2.93 2.89/2.97 o 420 2.99/3.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.01 c 0 16170 31920 150190 4 82750 177743 80 0 2.98 2.99/3.01 o 419 2.99/3.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.99/3.06 c 0 16170 31921 150690 4 82833 178743 81 0 3.01 2.99/3.06 o 418 3.09/3.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.10 c 0 16170 31922 151190 4 82917 179743 82 0 3.07 3.09/3.10 o 417 3.09/3.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.15 c 0 16170 31923 151690 4 83002 180743 83 0 3.10 3.09/3.15 o 416 3.09/3.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.09/3.18 c 0 16170 31924 152190 4 83088 181743 84 0 3.15 3.09/3.18 o 415 3.19/3.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.23 c 0 16170 31925 152690 4 83175 182743 85 0 3.18 3.19/3.23 o 414 3.19/3.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.19/3.27 c 0 16170 31926 153190 4 83263 183743 86 0 3.24 3.19/3.27 o 413 3.29/3.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.31 c 0 16170 31927 153690 4 83352 184743 87 0 3.27 3.29/3.31 o 412 3.29/3.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.29/3.37 c 0 16170 31928 154190 4 83442 185743 88 0 3.32 3.29/3.37 o 411 3.39/3.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.40 c 0 16170 31929 154690 4 83533 186743 89 0 3.37 3.39/3.40 o 410 3.39/3.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.44 c 0 16170 31930 155190 4 83625 187743 90 0 3.41 3.39/3.44 o 409 3.39/3.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.39/3.47 c 0 16170 31931 155690 4 83718 188743 91 0 3.44 3.39/3.47 o 408 3.49/3.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.52 c 0 16170 31932 156190 4 83812 189743 92 0 3.48 3.49/3.52 o 407 3.49/3.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.49/3.55 c 0 16170 31933 156690 4 83907 190743 93 0 3.52 3.49/3.55 o 406 3.59/3.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.60 c 0 16170 31934 157190 4 84003 191743 94 0 3.55 3.59/3.60 o 405 3.59/3.63 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.63 c 0 16170 31935 157690 4 84100 192743 95 0 3.60 3.59/3.63 o 404 3.59/3.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.68 c 0 16170 31936 158190 4 84198 193743 96 0 3.64 3.59/3.68 o 403 3.69/3.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.71 c 0 16170 31937 158690 4 84297 194743 97 0 3.68 3.69/3.71 o 402 3.69/3.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.77 c 0 16170 31938 159190 4 84397 195743 98 0 3.71 3.69/3.77 o 401 3.79/3.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.80 c 0 16170 31939 159690 4 84498 196743 99 0 3.77 3.79/3.80 o 400 3.79/3.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.84 c 0 16170 31940 160190 5 84600 197743 100 0 3.80 3.79/3.84 o 399 3.79/3.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.79/3.88 c 0 16170 31941 160690 5 84703 198743 101 0 3.85 3.79/3.88 o 398 3.89/3.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.93 c 0 16170 31942 161190 5 84807 199743 102 0 3.88 3.89/3.93 o 397 3.89/3.96 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.89/3.96 c 0 16170 31943 161690 5 84912 200743 103 0 3.93 3.89/3.96 o 396 3.99/4.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.00 c 0 16170 31944 162190 5 85018 201743 104 0 3.96 3.99/4.00 o 395 3.99/4.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.03 c 0 16170 31945 162690 5 85125 202743 105 0 4.01 3.99/4.03 o 394 3.99/4.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.99/4.09 c 0 16170 31946 163190 5 85233 203743 106 0 4.04 3.99/4.09 o 393 4.09/4.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.12 c 0 16170 31947 163690 5 85342 204743 107 0 4.09 4.09/4.12 o 392 4.09/4.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.16 c 0 16170 31948 164190 5 85452 205743 108 0 4.12 4.09/4.16 o 391 4.09/4.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.09/4.19 c 0 16170 31949 164690 5 85563 206743 109 0 4.16 4.09/4.19 o 390 4.19/4.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.24 c 0 16170 31950 165190 5 85675 207743 110 0 4.20 4.19/4.24 o 389 4.19/4.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.19/4.27 c 0 16170 31951 165690 5 85788 208743 111 0 4.24 4.19/4.27 o 388 4.29/4.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.31 c 0 16170 31952 166190 5 85902 209743 112 0 4.27 4.29/4.31 o 387 4.29/4.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.34 c 0 16170 31953 166690 5 86017 210743 113 0 4.32 4.29/4.34 o 386 4.29/4.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.29/4.39 c 0 16170 31954 167190 5 86133 211743 114 0 4.35 4.29/4.39 o 385 4.39/4.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.39/4.42 c 0 16170 31955 167690 5 86250 212743 115 0 4.40 4.39/4.42 o 384 4.39/4.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.39/4.47 c 0 16170 31956 168190 5 86368 213743 116 0 4.43 4.39/4.47 o 383 4.48/4.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.48/4.50 c 0 16170 31957 168690 5 86487 214743 117 0 4.47 4.48/4.50 o 382 4.48/4.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.48/4.54 c 0 16170 31958 169190 5 86607 215743 118 0 4.50 4.48/4.54 o 381 4.48/4.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.48/4.57 c 0 16170 31959 169690 5 86728 216743 119 0 4.54 4.48/4.57 o 380 4.58/4.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.58/4.61 c 0 16170 31960 170190 5 86850 217743 120 0 4.57 4.58/4.61 o 379 4.58/4.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.58/4.64 c 0 16170 31961 170690 5 86973 218743 121 0 4.61 4.58/4.64 o 378 4.58/4.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.58/4.69 c 0 16170 31962 171190 5 87097 219743 122 0 4.64 4.58/4.69 o 377 4.68/4.72 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.68/4.72 c 0 16170 31963 171690 5 87222 220743 123 0 4.69 4.68/4.72 o 376 4.68/4.76 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.68/4.76 c 0 16170 31964 172190 5 87348 221743 124 0 4.72 4.68/4.76 o 375 4.68/4.77 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.68/4.77 c 1 16170 31966 173066 5 87477 221743 126 0 4.76 4.68/4.77 o 45 4.89/4.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.89/4.95 c 1 16170 31967 173566 5 87934 221743 127 0 4.77 4.89/4.95 c 101 16170 32073 194761 6 88146 243918 233 20 4.86 4.89/4.95 o 44 8.38/8.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.38/8.47 c 216 16170 32200 217186 6 88856 221743 360 43 4.96 8.38/8.47 c 318 16170 32304 233139 7 89516 243918 464 63 5.04 8.38/8.47 c 570 16170 32562 270043 8 90032 268310 722 108 5.26 8.38/8.47 c 1045 16170 33067 373654 11 91042 295142 1227 183 5.69 8.38/8.47 c 1858 16170 33912 512669 15 92732 324657 2072 290 6.39 8.38/8.47 c 3179 16170 35304 771664 21 95516 357123 3464 414 7.66 8.38/8.47 o 43 1797.93/1798.57 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.93/1798.57 c 4041 16170 36227 956503 26 97819 221743 4387 476 8.47 1797.93/1798.57 c 4141 16170 36334 976806 26 98033 243918 4494 481 8.60 1797.93/1798.57 c 4392 16170 36598 1026402 28 98561 268310 4758 495 8.86 1797.93/1798.57 c 4867 16170 37095 1106143 29 99555 295142 5255 523 9.30 1797.93/1798.57 c 5680 16170 37951 1252873 33 101267 324657 6111 560 10.13 1797.93/1798.57 c 7001 16170 39351 1537968 39 104284 357123 7511 608 11.50 1797.93/1798.57 c 9083 16170 41530 1995349 48 110850 392836 9690 656 13.84 1797.93/1798.57 c 12307 16170 45006 2710508 60 118214 432120 13166 693 17.75 1797.93/1798.57 c 17243 16170 50264 3790582 75 128730 475333 18424 700 24.62 1797.93/1798.57 c 24749 16170 58123 5139679 88 144448 522867 26283 707 35.00 1797.93/1798.57 c 36111 16170 70117 7483090 106 171145 575154 38277 648 55.67 1797.93/1798.57 c 53255 16170 88544 12033876 135 210246 632670 56704 571 93.14 1797.93/1798.57 c 79074 16170 116682 19723785 169 269221 695938 84842 420 187.87 1797.93/1798.57 c 117906 16170 158027 29236323 185 355920 765532 126187 356 330.76 1797.93/1798.57 c 176258 16170 221700 45513551 205 489532 842086 189860 275 639.31 1797.93/1798.57 c Reducing formula size due to memory constraints 1797.93/1798.57 c Memory Limit: 1000.00 MB Used: 1001.62 MB 1797.93/1798.57 c 263890 16170 47911 6350402 132 118761 55755 16071 205 1285.90 1797.93/1798.57 c Resources Exceeded 1797.93/1798.57 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.93/1798.57 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.57 c 149 380669 122465 757986 60129 13382617 28289 211 1798.00 1797.93/1798.57 c Objective: 43 1797.93/1798.57 s SATISFIABLE 1797.93/1798.57 c Total time: 1798 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-3708456-1338172451/watcher-3708456-1338172451 -o /tmp/evaluation-result-3708456-1338172451/solver-3708456-1338172451 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708456-1338172451.opb running on 4 cores: 0,2,4,6 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.00 2.00 3/176 30861 /proc/meminfo: memFree=27667636/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=11432 CPUtime=0 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 403 0 0 0 0 0 0 0 20 0 1 0 283370586 11706368 356 33554432000 134512640 137138936 4289355872 4289354020 136511176 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 2858 356 177 642 0 2159 0 [startup+0.0710851 s] /proc/loadavg: 2.00 2.00 2.00 3/176 30861 /proc/meminfo: memFree=27667636/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=18916 CPUtime=0.06 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 2329 0 0 0 6 0 0 0 20 0 1 0 283370586 19369984 2227 33554432000 134512640 137138936 4289355872 4289160508 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 4729 2227 185 642 0 4085 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 18916 [startup+0.100211 s] /proc/loadavg: 2.00 2.00 2.00 3/176 30861 /proc/meminfo: memFree=27667636/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=18916 CPUtime=0.09 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 2329 0 0 0 9 0 0 0 20 0 1 0 283370586 19369984 2227 33554432000 134512640 137138936 4289355872 4289160508 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 4729 2227 185 642 0 4085 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18916 [startup+0.300144 s] /proc/loadavg: 2.00 2.00 2.00 3/176 30861 /proc/meminfo: memFree=27667636/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=18916 CPUtime=0.29 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 2329 0 0 0 29 0 0 0 20 0 1 0 283370586 19369984 2227 33554432000 134512640 137138936 4289355872 4289160508 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 4729 2227 185 642 0 4085 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18916 [startup+0.700162 s] /proc/loadavg: 2.00 2.00 2.00 3/176 30861 /proc/meminfo: memFree=27667636/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=19328 CPUtime=0.69 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 2981 0 0 0 66 3 0 0 20 0 1 0 283370586 19791872 2349 33554432000 134512640 137138936 4289355872 4289354988 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 4832 2349 188 642 0 4188 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19328 [startup+1.50015 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30862 /proc/meminfo: memFree=27658228/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=19592 CPUtime=1.49 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 3035 0 0 0 145 4 0 0 20 0 1 0 283370586 20062208 2403 33554432000 134512640 137138936 4289355872 4289354988 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 4898 2403 188 642 0 4254 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19592 [startup+3.10015 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30862 /proc/meminfo: memFree=27657120/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=19856 CPUtime=3.09 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 3116 0 0 0 303 6 0 0 20 0 1 0 283370586 20332544 2484 33554432000 134512640 137138936 4289355872 4289354988 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 4964 2484 188 642 0 4320 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19856 [startup+6.30017 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30862 /proc/meminfo: memFree=27651788/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=24712 CPUtime=6.29 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 4347 0 0 0 621 8 0 0 20 0 1 0 283370586 25305088 3715 33554432000 134512640 137138936 4289355872 4289341096 136504449 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 6178 3715 192 642 0 5534 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24712 [startup+12.7002 s] /proc/loadavg: 2.07 2.02 2.00 3/177 30862 /proc/meminfo: memFree=27628656/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=41896 CPUtime=12.68 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 8621 0 0 0 1259 9 0 0 20 0 1 0 283370586 42901504 7989 33554432000 134512640 137138936 4289355872 4289354416 134618930 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 10474 7989 192 642 0 9830 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 41896 [startup+25.5002 s] /proc/loadavg: 2.06 2.02 2.00 3/177 30862 /proc/meminfo: memFree=27588752/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=70828 CPUtime=25.49 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 15847 0 0 0 2538 11 0 0 20 0 1 0 283370586 72527872 15215 33554432000 134512640 137138936 4289355872 4289354800 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 17707 15215 192 642 0 17063 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 70828 [startup+51.1002 s] /proc/loadavg: 2.04 2.01 2.00 3/177 30862 /proc/meminfo: memFree=27529196/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=112228 CPUtime=51.08 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 26197 0 0 0 5093 15 0 0 20 0 1 0 283370586 114921472 25565 33554432000 134512640 137138936 4289355872 4289354800 134542764 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 28057 25565 192 642 0 27413 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 112228 [startup+102.307 s] /proc/loadavg: 2.01 2.01 2.00 3/177 30862 /proc/meminfo: memFree=27411316/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=191968 CPUtime=102.28 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 46149 0 0 0 10207 21 0 0 20 0 1 0 283370586 196575232 45517 33554432000 134512640 137138936 4289355872 4289354800 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 47992 45517 192 642 0 47348 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 191968 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30862 /proc/meminfo: memFree=27312516/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=256092 CPUtime=162.26 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 62163 0 0 0 16196 30 0 0 20 0 1 0 283370586 262238208 61531 33554432000 134512640 137138936 4289355872 4289354800 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 64023 61531 192 642 0 63379 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 256092 [startup+222.3 s] /proc/loadavg: 2.04 2.01 2.00 3/177 30862 /proc/meminfo: memFree=27219420/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=315292 CPUtime=222.25 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 76971 0 0 0 22188 37 0 0 20 0 1 0 283370586 322859008 76339 33554432000 134512640 137138936 4289355872 4289354800 134542205 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 78823 76339 192 642 0 78179 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 315292 [startup+282.3 s] /proc/loadavg: 2.01 2.01 2.00 3/177 30863 /proc/meminfo: memFree=27149176/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=369856 CPUtime=282.23 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 90636 0 0 0 28181 42 0 0 20 0 1 0 283370586 378732544 90009 33554432000 134512640 137138936 4289355872 4289354800 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 92464 90009 192 642 0 91820 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 369856 [startup+342.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30863 /proc/meminfo: memFree=27101100/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=417636 CPUtime=342.2 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 102647 0 0 0 34172 48 0 0 20 0 1 0 283370586 427659264 101972 33554432000 134512640 137138936 4289355872 4289354452 136501673 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 104409 101972 192 642 0 103765 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 417636 [startup+402.3 s] /proc/loadavg: 2.00 2.00 2.00 3/178 30866 /proc/meminfo: memFree=27048168/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=470936 CPUtime=402.16 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 116024 0 0 0 40162 54 0 0 20 0 1 0 283370586 482238464 115303 33554432000 134512640 137138936 4289355872 4289354800 134542624 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 117734 115303 192 642 0 117090 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 470936 [startup+462.3 s] /proc/loadavg: 2.06 2.02 2.00 3/177 30866 /proc/meminfo: memFree=26998856/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=519868 CPUtime=462.12 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 128271 0 0 0 46152 60 0 0 20 0 1 0 283370586 532344832 127504 33554432000 134512640 137138936 4289355872 4289354800 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 129967 127504 192 642 0 129323 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 519868 [startup+522.3 s] /proc/loadavg: 2.02 2.01 2.00 3/177 30866 /proc/meminfo: memFree=26960816/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=558360 CPUtime=522.08 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 137942 0 0 0 52143 65 0 0 20 0 1 0 283370586 571760640 137128 33554432000 134512640 137138936 4289355872 4289354400 134603070 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 139590 137128 192 642 0 138946 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 558360 [startup+582.3 s] /proc/loadavg: 2.01 2.00 2.00 3/177 30867 /proc/meminfo: memFree=26932944/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=585832 CPUtime=582.04 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 144858 0 0 0 58134 70 0 0 20 0 1 0 283370586 599891968 143996 33554432000 134512640 137138936 4289355872 4289354800 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 146458 143996 192 642 0 145814 0 Current children cumulated CPU time (s) 582.04 Current children cumulated vsize (KiB) 585832 [startup+642.3 s] ################ # More data... # ################ /proc/meminfo: memFree=26336336/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=927584 CPUtime=1061.95 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 230346 0 0 0 106077 118 0 0 20 0 1 0 283370586 949846016 229461 33554432000 134512640 137138936 4289355872 4289354800 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 231896 229461 192 642 0 231252 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 927584 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30871 /proc/meminfo: memFree=26273408/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=959832 CPUtime=1121.94 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 238411 0 0 0 112071 123 0 0 20 0 1 0 283370586 982867968 237526 33554432000 134512640 137138936 4289355872 4289354800 134542339 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 239958 237526 192 642 0 239314 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 959832 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30872 /proc/meminfo: memFree=26211656/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=993728 CPUtime=1181.93 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 246883 0 0 0 118066 127 0 0 20 0 1 0 283370586 1017577472 245998 33554432000 134512640 137138936 4289355872 4289354800 134542286 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 248432 245998 192 642 0 247788 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 993728 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30872 /proc/meminfo: memFree=26158584/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=1026520 CPUtime=1241.93 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 255076 0 0 0 124062 131 0 0 20 0 1 0 283370586 1051156480 254191 33554432000 134512640 137138936 4289355872 4289354800 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 256630 254191 192 642 0 255986 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 1026520 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30872 /proc/meminfo: memFree=26123988/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=1039348 CPUtime=1301.92 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 258567 0 0 0 130058 134 0 0 20 0 1 0 283370586 1064292352 257405 33554432000 134512640 137138936 4289355872 4289354584 136504212 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 259837 257405 192 642 0 259193 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1039348 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30872 /proc/meminfo: memFree=26102788/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=1039348 CPUtime=1361.9 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 258567 0 0 0 136052 138 0 0 20 0 1 0 283370586 1064292352 257405 33554432000 134512640 137138936 4289355872 4289354800 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 259837 257405 192 642 0 259193 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1039348 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30872 /proc/meminfo: memFree=26081328/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=1039348 CPUtime=1421.9 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 258570 0 0 0 142050 140 0 0 20 0 1 0 283370586 1064292352 257405 33554432000 134512640 137138936 4289355872 4289354408 136504207 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 259837 257405 192 642 0 259193 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1039348 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/177 30873 /proc/meminfo: memFree=26061020/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=1039348 CPUtime=1481.86 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 258614 0 0 0 148043 143 0 0 20 0 1 0 283370586 1064292352 257405 33554432000 134512640 137138936 4289355872 4289354800 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 259837 257405 192 642 0 259193 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1039348 [startup+1542.3 s] /proc/loadavg: 2.05 2.01 2.00 3/177 30873 /proc/meminfo: memFree=26042324/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=1039348 CPUtime=1541.83 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 258657 0 0 0 154037 146 0 0 20 0 1 0 283370586 1064292352 257406 33554432000 134512640 137138936 4289355872 4289354988 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 259837 257406 192 642 0 259193 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1039348 [startup+1602.3 s] /proc/loadavg: 2.06 2.02 2.00 3/178 30952 /proc/meminfo: memFree=26840780/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=1039348 CPUtime=1601.8 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 258701 0 0 0 160030 150 0 0 20 0 1 0 283370586 1064292352 257406 33554432000 134512640 137138936 4289355872 4289354800 134542053 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 259837 257406 192 642 0 259193 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1039348 [startup+1662.3 s] /proc/loadavg: 2.06 2.03 2.00 3/178 30975 /proc/meminfo: memFree=26778020/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=1039348 CPUtime=1661.76 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 258750 0 0 0 166022 154 0 0 20 0 1 0 283370586 1064292352 257407 33554432000 134512640 137138936 4289355872 4289354800 134542525 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 259837 257407 192 642 0 259193 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 1039348 [startup+1722.3 s] /proc/loadavg: 2.02 2.02 2.00 3/177 30975 /proc/meminfo: memFree=26719984/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=1039348 CPUtime=1721.73 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 258768 0 0 0 172017 156 0 0 20 0 1 0 283370586 1064292352 257407 33554432000 134512640 137138936 4289355872 4289354800 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 259837 257407 192 642 0 259193 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 1039348 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 30976 /proc/meminfo: memFree=26678224/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=1039348 CPUtime=1781.73 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 258768 0 0 0 178013 160 0 0 20 0 1 0 283370586 1064292352 257407 33554432000 134512640 137138936 4289355872 4289354384 134533473 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 259837 257407 192 642 0 259193 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 1039348 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 2.00 2.02 2.00 3/177 30976 /proc/meminfo: memFree=26671512/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=1039348 CPUtime=1791.33 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 258768 0 0 0 178973 160 0 0 20 0 1 0 283370586 1064292352 257407 33554432000 134512640 137138936 4289355872 4289354800 134542513 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 259837 257407 192 642 0 259193 0 Current children cumulated CPU time (s) 1791.33 Current children cumulated vsize (KiB) 1039348 [startup+1795.1 s] /proc/loadavg: 2.00 2.02 2.00 3/177 30976 /proc/meminfo: memFree=26671512/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=1039348 CPUtime=1794.53 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 258768 0 0 0 179292 161 0 0 20 0 1 0 283370586 1064292352 257407 33554432000 134512640 137138936 4289355872 4289331080 134599789 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 259837 257407 192 642 0 259193 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (KiB) 1039348 [startup+1796.7 s] /proc/loadavg: 2.00 2.02 2.00 3/177 30976 /proc/meminfo: memFree=26669588/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=1039348 CPUtime=1796.13 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 258768 0 0 0 179452 161 0 0 20 0 1 0 283370586 1064292352 257407 33554432000 134512640 137138936 4289355872 4289354800 134542525 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 259837 257407 192 642 0 259193 0 Current children cumulated CPU time (s) 1796.13 Current children cumulated vsize (KiB) 1039348 [startup+1797.5 s] /proc/loadavg: 2.00 2.02 2.00 3/177 30976 /proc/meminfo: memFree=26671372/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=1039348 CPUtime=1796.92 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 258768 0 0 0 179531 161 0 0 20 0 1 0 283370586 1064292352 257407 33554432000 134512640 137138936 4289355872 4289354800 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 259837 257407 192 642 0 259193 0 Current children cumulated CPU time (s) 1796.92 Current children cumulated vsize (KiB) 1039348 [startup+1798.3 s] /proc/loadavg: 2.00 2.02 2.00 3/177 30976 /proc/meminfo: memFree=26671372/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=1039348 CPUtime=1797.72 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 258768 0 0 0 179611 161 0 0 20 0 1 0 283370586 1064292352 257407 33554432000 134512640 137138936 4289355872 4289354184 136504355 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 259837 257407 192 642 0 259193 0 Current children cumulated CPU time (s) 1797.72 Current children cumulated vsize (KiB) 1039348 [startup+1798.51 s] /proc/loadavg: 2.00 2.02 2.00 3/177 30976 /proc/meminfo: memFree=26671372/32873648 swapFree=7104/7104 [pid=30861] ppid=30859 vsize=1039348 CPUtime=1797.93 cores=0,2,4,6 /proc/30861/stat : 30861 (bsolo) R 30859 30861 29254 0 -1 4202496 258768 0 0 0 179632 161 0 0 20 0 1 0 283370586 1064292352 257407 33554432000 134512640 137138936 4289355872 4289354800 134542333 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0 /proc/30861/statm: 259837 257407 192 642 0 259193 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 1039348 Child status: 0 Real time (s): 1798.57 CPU time (s): 1798.01 CPU user time (s): 1796.39 CPU system time (s): 1.61775 CPU usage (%): 99.9684 Max. virtual memory (cumulated for all children) (KiB): 1040456 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.39 system time used= 1.61775 maximum resident set size= 1030728 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 258769 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= 483 involuntary context switches= 2432 runsolver used 9.24359 second user time and 15.6456 second system time The end
Begin job on node127 at 2012-05-28 04:34:11 IDJOB=3708456 IDBENCH=48140 IDSOLVER=2286 FILE ID=node127/3708456-1338172451 RUNJOBID= node127-1338157754-29270 PBS_JOBID= 14624533 Free space on /tmp= 71168 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-3708456-1338172451/watcher-3708456-1338172451 -o /tmp/evaluation-result-3708456-1338172451/solver-3708456-1338172451 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708456-1338172451.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e4d0ce6c299ae1a05f607b170c68aad6 RANDOM SEED=326335738 node127.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 : 2666.348 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 : 5332.69 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 : 2666.348 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 : 2666.348 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 : 5331.94 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 : 2666.348 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 : 2666.348 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 : 2666.348 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 : 2666.348 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 : 2666.348 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.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 27667792 kB Buffers: 479972 kB Cached: 3537800 kB SwapCached: 0 kB Active: 1522088 kB Inactive: 2800672 kB Active(anon): 306936 kB Inactive(anon): 0 kB Active(file): 1215152 kB Inactive(file): 2800672 kB Unevictable: 7104 kB Mlocked: 7104 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 3892 kB Writeback: 0 kB AnonPages: 311356 kB Mapped: 15128 kB Shmem: 200 kB Slab: 744124 kB SReclaimable: 188216 kB SUnreclaim: 555908 kB KernelStack: 1416 kB PageTables: 4576 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 426328 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 49152 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71164 MiB End job on node127 at 2012-05-28 05:04:10