Trace number 3463179

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2OPT2 711.197 711.183

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_3.opb
MD5SUMd26b3b10be20d9248aac462b86b1f040
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark134.677
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables94
Total number of constraints8
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint45
Maximum length of a constraint46
Number of terms in the objective function 64
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 940
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3331
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.01	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.01	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Learning Strategy: Cardinality Constraint Learning
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Instance file HOME/instance-3463179-1307179154.opb
0.00/0.01	c File size is 3596 bytes.
0.00/0.01	c Highest Coefficient sum: 3331
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0 s
0.00/0.01	c Var: 94 Constr: 8 0/0/8 Lit: 366 Watch. Lit: 108
0.00/0.01	c Obj. Vars: 64 (68.0851 % of total variables)
0.00/0.01	c Pre-processing Time: 0 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0     94        8      366   45      112     732      0 -2147483648 0.00
0.00/0.01	c Switching off lower bounding mode.
0.00/0.01	o 780
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0     94        9      430   47      302     860      1 -2147483648 0.00
0.00/0.01	o 550
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       48     94       94     3597   38      730     860     86   9600 0.01
0.00/0.01	o 394
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       49     94       96     3681   38      785     860     88   9800 0.01
0.00/0.01	o 390
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       61     94      115     4326   37      904     860    107  10166 0.01
0.00/0.01	o 382
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       68     94      124     4572   36      966     860    116   9714 0.01
0.00/0.01	o 380
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       68     94      125     4636   37     1022     860    117   8500 0.01
0.00/0.01	o 372
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       69     94      127     4754   37     1081     860    119   8625 0.01
0.00/0.01	o 325
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       98     94      160     5692   35     1183     860    152   8909 0.01
0.00/0.02	o 302
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      156     94      223     7446   33     1377     860    215   8666 0.02
0.00/0.02	o 281
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      164     94      236     7902   33     1493     860    228   8631 0.02
0.00/0.02	o 275
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      173     94      249     8297   33     1568     860    241   8650 0.02
0.00/0.02	o 126
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      210     94      294     9701   32     1691     860    286   8400 0.03
0.00/0.02	o 124
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      211     94      296     9817   33     1748     860    288   8440 0.03
0.00/0.02	o 115
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      211     94      297     9881   33     1763     860    289   8440 0.03
0.00/0.02	o 103
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      213     94      300    10037   33     1819     860    292   8192 0.03
0.00/0.03	o 101
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      250     92      342    11015   32     1904     856    334   8333 0.03
0.00/0.05	c      351     90      458    13951   30     2186     942    450   8560 0.04
0.00/0.05	o 99
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      424     89      533    15461   29     2356     850    525   8653 0.05
0.00/0.05	o 69
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      463     89      574    16424   28     2456     850    566   8574 0.05
0.00/0.06	o 65
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      493     89      608    17847   29     2549     850    600   8500 0.06
0.00/0.06	o 46
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      557     89      673    18964   28     2852     850    665   8569 0.07
0.00/0.06	o 44
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      558     89      676    19110   28     2921     850    668   8584 0.07
0.00/0.06	o 42
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      570     86      690    19467   28     2974     844    682   8507 0.07
0.09/0.14	c      670     81      792    21497   27     3154     929    784   8375 0.08
0.09/0.14	c      920     80      562    12195   21     1396    1022    554   8518 0.11
0.09/0.14	o 37
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c     1230     78      873    18592   21     2059     828    865   8978 0.14
0.09/0.14	o 35
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c     1246     78      457     9673   21     1220     828    449   8964 0.14
0.09/0.15	c     1346     78      557    11780   21     1413     911    549   9033 0.15
0.09/0.15	o 31
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c     1392     78      606    12942   21     1570     828    598   9038 0.15
0.09/0.15	o 27
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c     1402     77      618    13326   21     1650     826    610   9045 0.15
0.09/0.17	c     1503     70      719    15522   21     1842     909    711   9000 0.17
0.09/0.17	o 25
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c     1560     70      777    16876   21     1993     812    769   9017 0.17
0.19/0.21	c     1660     70      454     9792   21     1151     894    446   8924 0.19
0.19/0.21	o 24
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c     1892     70      687    15134   22     1652     812    679   9009 0.21
0.19/0.22	c     1992     70      787    17371   22     1857     894    779   9013 0.22
0.19/0.22	o 19
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c     1998     70      794    17554   22     1907     812    786   9000 0.22
0.19/0.22	o 17
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c     2002     70      799    17697   22     1954     812    791   9018 0.22
0.19/0.22	o 15
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c     2023     70      822    18287   22     2046     812    814   8991 0.23
0.19/0.22	o 13
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c     2030     69      831    18536   22     2105     810    823   8982 0.23
0.39/0.43	c     2130     64      514    11176   21     1262     892    506   8949 0.24
0.39/0.43	c     2380     63      764    16877   22     1757     982    756   9015 0.26
0.39/0.43	c     2856     62      737    15959   21     1703    1081    729   9037 0.32
0.39/0.43	c     3670     62     1000    21927   21     2230    1190    992   9106 0.40
0.39/0.43	o 10
1.29/1.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.36	c     3961     62      686    15117   22     1633     796    678   9084 0.44
1.29/1.36	c     4062     62      787    17303   21     1835     876    779   9107 0.45
1.29/1.36	c     4312     62      588    12824   21     1403     964    580   9116 0.47
1.29/1.36	c     4787     62      569    12069   21     1356    1061    561   9135 0.52
1.29/1.36	c     5600     62      840    18275   21     1901    1168    832   9210 0.61
1.29/1.36	c     6920     62      969    21485   22     2156    1285    961   9226 0.75
1.29/1.36	c     9001     62     1081    24065   22     2386    1414   1073   9165 0.98
1.29/1.36	c    12224     62     1402    31644   22     3026    1556   1394   9088 1.34
1.29/1.36	o 9
1.69/1.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.72	c    12324     62     1503    33914   22     3258     796   1495   9081 1.36
1.69/1.72	c    12424     62      539    11920   22     1306     876    531   9068 1.37
1.69/1.72	c    12674     62      789    17481   22     1799     964    781   9085 1.40
1.69/1.72	c    13150     62      774    16729   21     1773    1061    766   9094 1.45
1.69/1.72	c    13964     62     1047    23413   22     2317    1168   1039   9120 1.53
1.69/1.72	c    15285     62     1183    26488   22     2585    1285   1175   9152 1.67
1.69/1.72	o 8
2.39/2.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.39/2.44	c    15816     62     1062    24195   22     2376     796   1054   9163 1.73
2.39/2.44	c    15916     59      540    11895   22     1295     876    532   9168 1.74
2.39/2.44	c    16166     58      791    17440   22     1793     964    783   9180 1.76
2.39/2.44	c    16641     57      772    16706   21     1758    1061    764   9188 1.81
2.39/2.44	c    17454     57     1044    22767   21     2304    1168   1036   9220 1.89
2.39/2.44	c    18774     56     1175    26062   22     2563    1285   1167   9289 2.02
2.39/2.44	c    20858     55     1294    28236   21     2802    1414   1286   9361 2.23
2.39/2.44	o 6
5.19/5.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.19/5.24	c    22948     54     1224    26008   21     2677     780   1216   9416 2.44
5.19/5.24	c    23048     54      539    10916   20     1273     859    531   9415 2.45
5.19/5.24	c    23298     54      789    16450   20     1778     945    781   9428 2.47
5.19/5.24	c    23773     54      777    16781   21     1753    1040    769   9463 2.51
5.19/5.24	c    24587     54     1053    22906   21     2308    1145   1045   9489 2.59
5.19/5.24	c    25907     54      622    13462   21     1445    1260    614   9507 2.73
5.19/5.24	c    27988     54      788    17316   21     1776    1387    780   9552 2.93
5.19/5.24	c    31211     54     1175    26042   22     2552    1526   1167   9556 3.27
5.19/5.24	c    36147     54     1427    31626   22     3049    1679   1419   9437 3.83
5.19/5.24	c    43654     54     1226    27429   22     2656    1847   1218   9221 4.73
5.19/5.24	o 4
6.29/6.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.29/6.31	c    47910     54     1722    38626   22     3667     780   1714   9141 5.24
6.29/6.31	c    48010     52      539    11541   21     1275     859    531   9137 5.25
6.29/6.31	c    48260     52      789    17038   21     1777     945    781   9140 5.28
6.29/6.31	c    48736     52      782    16548   21     1763    1040    774   9138 5.33
6.29/6.31	c    49549     52     1063    23075   21     2324    1145   1055   9140 5.42
6.29/6.31	c    50869     51      625    13355   21     1446    1260    617   9135 5.57
6.29/6.31	c    52952     51      783    16651   21     1761    1387    775   9132 5.80
6.29/6.31	c    56177     49     1179    25515   21     2550    1526   1171   9106 6.17
6.29/6.31	o 3
52.69/52.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
52.69/52.78	c    57397     49      834    18046   21     1876     770    826   9088 6.32
52.69/52.78	c    57497     49      539    11385   21     1261     848    531   9088 6.33
52.69/52.78	c    57748     49      790    17053   21     1766     933    782   9091 6.35
52.69/52.78	c    58224     49      786    16837   21     1758    1027    778   9094 6.40
52.69/52.78	c    59037     49     1074    22900   21     2336    1130   1066   9092 6.49
52.69/52.78	c    60358     49      668    14038   21     1521    1244    660   9096 6.63
52.69/52.78	c    62439     49      848    17644   20     1884    1369    840   9093 6.87
52.69/52.78	c    65662     49     1282    27555   21     2749    1506   1274   9071 7.24
52.69/52.78	c    70599     48      822    17904   21     1830    1657    814   9039 7.81
52.69/52.78	c    78105     48     1568    34538   22     3315    1823   1560   9015 8.66
52.69/52.78	c    89467     47     1773    37676   21     3730    2006   1765   8990 9.95
52.69/52.78	c   106611     47     1581    34875   22     3344    2207   1573   8802 12.11
52.69/52.78	c   132430     47     1613    35029   21     3409    2428   1605   8584 15.43
52.69/52.78	c   171262     46     2220    49303   22     4622    2671   2212   8366 20.47
52.69/52.78	c   229615     46     2429    52458   21     5041    2939   2421   8096 28.36
52.69/52.78	c   317248     46     2324    52257   22     4829    3233   2316   7852 40.40
52.69/52.78	o 2
711.11/711.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
711.11/711.18	c   401730     46     1830    40364   22     3859     764   1822   7610 52.79
711.11/711.18	c   401830     46      539    11234   20     1252     841    531   7610 52.80
711.11/711.18	c   402081     46      790    16754   21     1760     926    782   7611 52.82
711.11/711.18	c   402556     44      792    16580   20     1760    1019    784   7613 52.87
711.11/711.18	c   403371     44      569    11883   20     1309    1121    561   7616 52.96
711.11/711.18	c   404693     44      751    15312   20     1678    1234    743   7620 53.10
711.11/711.18	c   406774     44      935    19962   21     2039    1358    927   7627 53.33
711.11/711.18	c   409997     44     1400    30243   21     2970    1494   1392   7634 53.70
711.11/711.18	c   414933     43      991    21185   21     2154    1644    983   7644 54.28
711.11/711.18	c   422439     43      957    20168   21     2084    1809    949   7665 55.11
711.11/711.18	c   433801     43     1273    27472   21     2720    1990   1265   7684 56.45
711.11/711.18	c   450947     43     1208    26059   21     2586    2190   1200   7694 58.60
711.11/711.18	c   476767     42     1437    30720   21     3046    2410   1429   7717 61.78
711.11/711.18	c   515599     42     2362    51910   21     4890    2652   2354   7710 66.87
711.11/711.18	c   573952     41     1574    34466   21     3317    2918   1566   7690 74.64
711.11/711.18	c   661585     41     2100    46485   22     4366    3210   2092   7600 87.05
711.11/711.18	c   793138     41     2205    46739   21     4579    3532   2197   7457 106.36
711.11/711.18	c   990570     39     3330    74033   22     6821    3886   3322   7325 135.22
711.11/711.18	c  1286822     39     3551    78069   21     7264    4275   3543   7103 181.15
711.11/711.18	c  1731304     39     4222    95147   22     8605    4703   4214   6879 251.65
711.11/711.18	c  2398131     39     3125    69803   22     6417    5174   3117   6592 363.78
711.11/711.18	c  3398477     38     3530    73365   20     7222    5692   3522   6268 542.19
711.11/711.18	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 
711.11/711.18	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
711.11/711.18	c  120  4303673  13268  4319794     4721    70959   4713   6051 711.20
711.11/711.18	c Objective: 2
711.11/711.18	s OPTIMUM FOUND
711.11/711.18	c Total time: 711.196 s

Verifier Data 

OK	2

Watcher Data 

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-3463179-1307179154/watcher-3463179-1307179154 -o /tmp/evaluation-result-3463179-1307179154/solver-3463179-1307179154 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463179-1307179154.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: 1.96 2.00 1.99 3/473 2024
/proc/meminfo: memFree=20320136/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=26412 CPUtime=0 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 288 0 0 0 0 0 0 0 25 0 1 0 829515066 27045888 241 33554432000 134512640 137138936 4291206720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 6603 241 192 642 0 5959 0

[startup+0.0908011 s]
/proc/loadavg: 1.96 2.00 1.99 3/473 2024
/proc/meminfo: memFree=20320136/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=18980 CPUtime=0.08 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 386 0 0 0 8 0 0 0 25 0 1 0 829515066 19435520 339 33554432000 134512640 137138936 4291206720 18446744073709551615 134543140 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 4745 339 192 642 0 4101 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 18980

[startup+0.100802 s]
/proc/loadavg: 1.96 2.00 1.99 3/473 2024
/proc/meminfo: memFree=20320136/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=18980 CPUtime=0.09 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 395 0 0 0 9 0 0 0 25 0 1 0 829515066 19435520 348 33554432000 134512640 137138936 4291206720 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 4745 348 192 642 0 4101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18980

[startup+0.30077 s]
/proc/loadavg: 1.96 2.00 1.99 3/473 2024
/proc/meminfo: memFree=20320136/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=18984 CPUtime=0.29 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 397 0 0 0 29 0 0 0 25 0 1 0 829515066 19439616 350 33554432000 134512640 137138936 4291206720 18446744073709551615 134550966 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 4746 350 192 642 0 4102 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18984

[startup+0.70069 s]
/proc/loadavg: 1.96 2.00 1.99 3/473 2024
/proc/meminfo: memFree=20320136/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=18984 CPUtime=0.69 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 407 0 0 0 69 0 0 0 25 0 1 0 829515066 19439616 360 33554432000 134512640 137138936 4291206720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 4746 360 192 642 0 4102 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18984

[startup+1.50056 s]
/proc/loadavg: 1.96 2.00 1.99 3/474 2025
/proc/meminfo: memFree=20320004/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=19112 CPUtime=1.49 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 435 0 0 0 149 0 0 0 25 0 1 0 829515066 19570688 388 33554432000 134512640 137138936 4291206720 18446744073709551615 134575926 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 4778 388 192 642 0 4134 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19112

[startup+3.1002 s]
/proc/loadavg: 1.96 2.00 1.99 3/474 2025
/proc/meminfo: memFree=20318888/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=19112 CPUtime=3.08 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 435 0 0 0 307 1 0 0 25 0 1 0 829515066 19570688 388 33554432000 134512640 137138936 4291206720 18446744073709551615 134542713 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 4778 388 192 642 0 4134 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19112

[startup+6.30071 s]
/proc/loadavg: 1.96 2.00 1.99 3/474 2025
/proc/meminfo: memFree=20318268/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=19240 CPUtime=6.29 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 476 0 0 0 626 3 0 0 25 0 1 0 829515066 19701760 429 33554432000 134512640 137138936 4291206720 18446744073709551615 134619029 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 4810 429 192 642 0 4166 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19240

[startup+12.7006 s]
/proc/loadavg: 1.97 2.00 1.99 3/474 2026
/proc/meminfo: memFree=20316384/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=19372 CPUtime=12.69 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 512 0 0 0 1264 5 0 0 25 0 1 0 829515066 19836928 465 33554432000 134512640 137138936 4291206720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 4843 465 192 642 0 4199 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19372

[startup+25.5003 s]
/proc/loadavg: 1.97 2.00 1.99 3/474 2026
/proc/meminfo: memFree=20317236/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=19624 CPUtime=25.49 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 562 0 0 0 2539 10 0 0 25 0 1 0 829515066 20094976 515 33554432000 134512640 137138936 4291206720 18446744073709551615 134603056 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 4906 515 192 642 0 4262 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19624

[startup+51.1008 s]
/proc/loadavg: 1.98 2.00 1.99 3/474 2054
/proc/meminfo: memFree=20357636/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=19884 CPUtime=51.09 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 620 0 0 0 5089 20 0 0 25 0 1 0 829515066 20361216 573 33554432000 134512640 137138936 4291206720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 4971 573 192 642 0 4327 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19884

[startup+102.317 s]
/proc/loadavg: 2.03 2.01 2.00 3/474 2055
/proc/meminfo: memFree=20354836/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=19884 CPUtime=102.31 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 620 0 0 0 10191 40 0 0 25 0 1 0 829515066 20361216 573 33554432000 134512640 137138936 4291206720 18446744073709551615 134539298 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 4971 573 192 642 0 4327 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 19884

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/474 2057
/proc/meminfo: memFree=20351104/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=20132 CPUtime=162.29 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 684 0 0 0 16166 63 0 0 25 0 1 0 829515066 20615168 637 33554432000 134512640 137138936 4291206720 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 5033 637 192 642 0 4389 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 20132

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 2058
/proc/meminfo: memFree=20349592/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=20264 CPUtime=222.29 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 726 0 0 0 22144 85 0 0 25 0 1 0 829515066 20750336 679 33554432000 134512640 137138936 4291206720 18446744073709551615 134576332 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 5066 679 192 642 0 4422 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 20264

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 2060
/proc/meminfo: memFree=20348588/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=20508 CPUtime=282.3 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 773 0 0 0 28123 107 0 0 25 0 1 0 829515066 21000192 726 33554432000 134512640 137138936 4291206720 18446744073709551615 136520918 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 5127 726 192 642 0 4483 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 20508

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 2061
/proc/meminfo: memFree=20347208/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=20508 CPUtime=342.29 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 773 0 0 0 34100 129 0 0 25 0 1 0 829515066 21000192 726 33554432000 134512640 137138936 4291206720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 5127 726 192 642 0 4483 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 20508

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 2063
/proc/meminfo: memFree=20347196/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=20640 CPUtime=402.3 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 817 0 0 0 40082 148 0 0 25 0 1 0 829515066 21135360 770 33554432000 134512640 137138936 4291206720 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 5160 770 192 642 0 4516 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 20640

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/474 2065
/proc/meminfo: memFree=20347792/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=20640 CPUtime=462.3 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 819 0 0 0 46062 168 0 0 25 0 1 0 829515066 21135360 772 33554432000 134512640 137138936 4291206720 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 5160 772 192 642 0 4516 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 20640

[startup+522.301 s]
/proc/loadavg: 2.16 2.03 2.01 3/474 2066
/proc/meminfo: memFree=20348636/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=20640 CPUtime=522.3 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 820 0 0 0 52044 186 0 0 25 0 1 0 829515066 21135360 773 33554432000 134512640 137138936 4291206720 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 5160 773 192 642 0 4516 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 20640

[startup+582.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/474 2068
/proc/meminfo: memFree=20348736/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=20768 CPUtime=582.3 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 854 0 0 0 58025 205 0 0 25 0 1 0 829515066 21266432 807 33554432000 134512640 137138936 4291206720 18446744073709551615 134599777 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 5192 807 192 642 0 4548 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 20768

[startup+642.301 s]
/proc/loadavg: 2.15 2.06 2.02 3/474 2069
/proc/meminfo: memFree=20348584/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=20768 CPUtime=642.31 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 856 0 0 0 64004 227 0 0 25 0 1 0 829515066 21266432 809 33554432000 134512640 137138936 4291206720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 5192 809 192 642 0 4548 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 20768

[startup+702.3 s]
/proc/loadavg: 2.05 2.05 2.01 3/474 2071
/proc/meminfo: memFree=20346572/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=20768 CPUtime=702.31 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 856 0 0 0 69984 247 0 0 25 0 1 0 829515066 21266432 809 33554432000 134512640 137138936 4291206720 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 5192 809 192 642 0 4548 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 20768

Solver just ended. Dumping a history of the last processes samples

[startup+703.901 s]
/proc/loadavg: 2.05 2.05 2.01 3/474 2071
/proc/meminfo: memFree=20346572/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=20768 CPUtime=703.91 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 856 0 0 0 70144 247 0 0 25 0 1 0 829515066 21266432 809 33554432000 134512640 137138936 4291206720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 5192 809 192 642 0 4548 0
Current children cumulated CPU time (s) 703.91
Current children cumulated vsize (KiB) 20768

[startup+707.1 s]
/proc/loadavg: 2.05 2.05 2.01 3/474 2071
/proc/meminfo: memFree=20346572/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=20768 CPUtime=707.11 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 856 0 0 0 70463 248 0 0 25 0 1 0 829515066 21266432 809 33554432000 134512640 137138936 4291206720 18446744073709551615 134543241 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 5192 809 192 642 0 4548 0
Current children cumulated CPU time (s) 707.11
Current children cumulated vsize (KiB) 20768

[startup+708.701 s]
/proc/loadavg: 2.05 2.05 2.01 3/474 2071
/proc/meminfo: memFree=20346448/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=20768 CPUtime=708.71 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 856 0 0 0 70622 249 0 0 25 0 1 0 829515066 21266432 809 33554432000 134512640 137138936 4291206720 18446744073709551615 136520963 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 5192 809 192 642 0 4548 0
Current children cumulated CPU time (s) 708.71
Current children cumulated vsize (KiB) 20768

[startup+710.301 s]
/proc/loadavg: 2.05 2.05 2.01 3/474 2071
/proc/meminfo: memFree=20346448/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=20768 CPUtime=710.31 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 856 0 0 0 70782 249 0 0 25 0 1 0 829515066 21266432 809 33554432000 134512640 137138936 4291206720 18446744073709551615 134606852 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 5192 809 192 642 0 4548 0
Current children cumulated CPU time (s) 710.31
Current children cumulated vsize (KiB) 20768

[startup+710.701 s]
/proc/loadavg: 2.05 2.05 2.01 3/474 2071
/proc/meminfo: memFree=20346564/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=20768 CPUtime=710.71 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 856 0 0 0 70822 249 0 0 25 0 1 0 829515066 21266432 809 33554432000 134512640 137138936 4291206720 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 5192 809 192 642 0 4548 0
Current children cumulated CPU time (s) 710.71
Current children cumulated vsize (KiB) 20768

[startup+711.101 s]
/proc/loadavg: 2.05 2.05 2.01 3/474 2071
/proc/meminfo: memFree=20346564/32950928 swapFree=61858088/67111528
[pid=2024] ppid=2022 vsize=20768 CPUtime=711.11 cores=0,2,4,6
/proc/2024/stat : 2024 (bsolo) R 2022 2024 678 0 -1 4202496 856 0 0 0 70862 249 0 0 25 0 1 0 829515066 21266432 809 33554432000 134512640 137138936 4291206720 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2024/statm: 5192 809 192 642 0 4548 0
Current children cumulated CPU time (s) 711.11
Current children cumulated vsize (KiB) 20768

Child status: 0
Real time (s): 711.183
CPU time (s): 711.197
CPU user time (s): 708.703
CPU system time (s): 2.49362
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 20768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 708.703
system time used= 2.49362
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 857
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= 1950

runsolver used 3.34649 second user time and 7.00394 second system time

The end

Launcher Data 

Begin job on node125 at 2011-06-04 11:19:14
IDJOB=3463179
IDBENCH=2896
IDSOLVER=1955
FILE ID=node125/3463179-1307179154
RUNJOBID= node125-1307174917-1663
PBS_JOBID= 13508829
Free space on /tmp= 73788 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_3.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463179-1307179154/watcher-3463179-1307179154 -o /tmp/evaluation-result-3463179-1307179154/solver-3463179-1307179154 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463179-1307179154.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d26b3b10be20d9248aac462b86b1f040
RANDOM SEED=1172687973

node125.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.828
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.65
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.828
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	: 5266.55
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.828
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.84
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.828
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.74
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.828
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.82
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.828
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.74
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.828
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.828
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      20320292 kB
Buffers:        357132 kB
Cached:        3510156 kB
SwapCached:       3616 kB
Active:        8926808 kB
Inactive:      3360640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      20320292 kB
SwapTotal:    67111528 kB
SwapFree:     61858088 kB
Dirty:            3916 kB
Writeback:           0 kB
AnonPages:     8418084 kB
Mapped:          34864 kB
Slab:           214184 kB
PageTables:      61440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 130079688 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= 73784 MiB
End job on node125 at 2011-06-04 11:31:05