Trace number 3708064

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 649.98 650.08

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 benchmark52.396
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.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-3708064-1338156680.opb
0.00/0.00	c File size is 3596 bytes.
0.00/0.00	c Highest Coefficient sum: 3331
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 94 Constr: 8 0/0/8 Lit: 366 Watch. Lit: 108
0.00/0.00	c Obj. Vars: 64 (68.0851 % of total variables)
0.00/0.00	c Pre-processing Time: 0 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     94        8      366   45      112     732      0 -2147483648 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 780
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     94        9      430   47      302     860      1 -2147483648 0.00
0.00/0.00	o 550
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       48     94       94     3597   38      730     860     86  16000 0.00
0.00/0.00	o 394
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       49     94       96     3681   38      785     860     88  12250 0.00
0.00/0.00	o 390
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       61     94      115     4326   37      904     860    107  12200 0.01
0.00/0.00	o 382
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       68     94      124     4572   36      966     860    116  11333 0.01
0.00/0.00	o 380
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       68     94      125     4636   37     1022     860    117  11333 0.01
0.00/0.00	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  11500 0.01
0.00/0.01	o 325
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       98     94      160     5692   35     1183     860    152   9800 0.01
0.00/0.01	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   9750 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   9647 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   9611 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   9545 0.02
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   9173 0.02
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   9173 0.02
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   9260 0.02
0.00/0.03	o 101
0.03/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.04	c      250     92      342    11015   32     1904     856    334   9259 0.03
0.03/0.04	c      351     90      458    13951   30     2186     942    450   9486 0.04
0.03/0.04	o 99
0.03/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.05	c      424     89      533    15461   29     2356     850    525   9636 0.04
0.03/0.05	o 69
0.03/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.05	c      463     89      574    16424   28     2456     850    566   9448 0.05
0.03/0.05	o 65
0.03/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.06	c      493     89      608    17847   29     2549     850    600   9480 0.05
0.03/0.06	o 46
0.03/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.06	c      557     89      673    18964   28     2852     850    665   9603 0.06
0.03/0.06	o 44
0.03/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.06	c      558     89      676    19110   28     2921     850    668   9457 0.06
0.03/0.06	o 42
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c      570     86      690    19467   28     2974     844    682   9500 0.06
0.09/0.12	c      670     81      792    21497   27     3154     929    784   9305 0.07
0.09/0.12	c      920     80      562    12195   21     1396    1022    554   9484 0.10
0.09/0.12	o 37
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c     1230     78      873    18592   21     2059     828    865  10000 0.12
0.09/0.12	o 35
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c     1246     78      457     9673   21     1220     828    449   9968 0.12
0.09/0.14	c     1346     78      557    11780   21     1413     911    549  10044 0.13
0.09/0.14	o 31
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c     1392     78      606    12942   21     1570     828    598  10086 0.14
0.09/0.14	o 27
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c     1402     77      618    13326   21     1650     826    610  10086 0.14
0.09/0.15	c     1503     70      719    15522   21     1842     909    711  10087 0.15
0.09/0.15	o 25
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c     1560     70      777    16876   21     1993     812    769  10064 0.15
0.09/0.19	c     1660     70      454     9792   21     1151     894    446  10000 0.17
0.09/0.19	o 24
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c     1892     70      687    15134   22     1652     812    679  10063 0.19
0.19/0.20	c     1992     70      787    17371   22     1857     894    779  10060 0.20
0.19/0.20	o 19
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c     1998     70      794    17554   22     1907     812    786  10040 0.20
0.19/0.20	o 17
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c     2002     70      799    17697   22     1954     812    791  10060 0.20
0.19/0.20	o 15
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c     2023     70      822    18287   22     2046     812    814  10064 0.20
0.19/0.20	o 13
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c     2030     69      831    18536   22     2105     810    823  10049 0.20
0.29/0.39	c     2130     64      514    11176   21     1262     892    506  10000 0.21
0.29/0.39	c     2380     63      764    16877   22     1757     982    756  10042 0.24
0.29/0.39	c     2856     62      737    15959   21     1703    1081    729  10091 0.28
0.29/0.39	c     3670     62     1000    21927   21     2230    1190    992  10166 0.36
0.29/0.39	o 10
1.19/1.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.21	c     3961     62      686    15117   22     1633     796    678  10156 0.39
1.19/1.21	c     4062     62      787    17303   21     1835     876    779  10180 0.40
1.19/1.21	c     4312     62      588    12824   21     1403     964    580  10193 0.42
1.19/1.21	c     4787     62      569    12069   21     1356    1061    561  10206 0.47
1.19/1.21	c     5600     62      840    18275   21     1901    1168    832  10294 0.54
1.19/1.21	c     6920     62      969    21485   22     2156    1285    961  10312 0.67
1.19/1.21	c     9001     62     1081    24065   22     2386    1414   1073  10240 0.88
1.19/1.21	c    12224     62     1402    31644   22     3026    1556   1394  10152 1.20
1.19/1.21	o 9
1.48/1.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.48/1.54	c    12324     62     1503    33914   22     3258     796   1495  10143 1.22
1.48/1.54	c    12424     62      539    11920   22     1306     876    531  10133 1.23
1.48/1.54	c    12674     62      789    17481   22     1799     964    781  10147 1.25
1.48/1.54	c    13150     62      774    16729   21     1773    1061    766  10162 1.29
1.48/1.54	c    13964     62     1047    23413   22     2317    1168   1039  10192 1.37
1.48/1.54	c    15285     62     1183    26488   22     2585    1285   1175  10224 1.50
1.48/1.54	o 8
2.19/2.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.24	c    15816     62     1062    24195   22     2376     796   1054  10243 1.54
2.19/2.24	c    15916     59      540    11895   22     1295     876    532  10241 1.55
2.19/2.24	c    16166     58      791    17440   22     1793     964    783  10257 1.58
2.19/2.24	c    16641     57      772    16706   21     1758    1061    764  10265 1.62
2.19/2.24	c    17454     57     1044    22767   21     2304    1168   1036  10279 1.70
2.19/2.24	c    18774     56     1175    26062   22     2563    1285   1167  10287 1.82
2.19/2.24	c    20858     55     1294    28236   21     2802    1414   1286  10259 2.03
2.19/2.24	o 6
4.79/4.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.79/4.84	c    22948     54     1224    26008   21     2677     780   1216  10235 2.24
4.79/4.84	c    23048     54      539    10916   20     1273     859    531  10234 2.25
4.79/4.84	c    23298     54      789    16450   20     1778     945    781  10240 2.27
4.79/4.84	c    23773     54      777    16781   21     1753    1040    769  10264 2.32
4.79/4.84	c    24587     54     1053    22906   21     2308    1145   1045  10261 2.40
4.79/4.84	c    25907     54      622    13462   21     1445    1260    614  10243 2.53
4.79/4.84	c    27988     54      788    17316   21     1776    1387    780  10240 2.73
4.79/4.84	c    31211     54     1175    26042   22     2552    1526   1167  10219 3.05
4.79/4.84	c    36147     54     1427    31626   22     3049    1679   1419  10113 3.57
4.79/4.84	c    43654     54     1226    27429   22     2656    1847   1218   9950 4.39
4.79/4.84	o 4
5.79/5.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.79/5.80	c    47910     54     1722    38626   22     3667     780   1714   9898 4.84
5.79/5.80	c    48010     52      539    11541   21     1275     859    531   9896 4.85
5.79/5.80	c    48260     52      789    17038   21     1777     945    781   9897 4.88
5.79/5.80	c    48736     52      782    16548   21     1763    1040    774   9899 4.92
5.79/5.80	c    49549     52     1063    23075   21     2324    1145   1055   9907 5.00
5.79/5.80	c    50869     51      625    13355   21     1446    1260    617   9910 5.13
5.79/5.80	c    52952     51      783    16651   21     1761    1387    775   9919 5.34
5.79/5.80	c    56177     49     1179    25515   21     2550    1526   1171   9907 5.67
5.79/5.80	o 3
48.28/48.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
48.28/48.34	c    57397     49      834    18046   21     1876     770    826   9896 5.80
48.28/48.34	c    57497     49      539    11385   21     1261     848    531   9896 5.81
48.28/48.34	c    57748     49      790    17053   21     1766     933    782   9900 5.83
48.28/48.34	c    58224     49      786    16837   21     1758    1027    778   9905 5.88
48.28/48.34	c    59037     49     1074    22900   21     2336    1130   1066   9907 5.96
48.28/48.34	c    60358     49      668    14038   21     1521    1244    660   9917 6.09
48.28/48.34	c    62439     49      848    17644   20     1884    1369    840   9921 6.29
48.28/48.34	c    65662     49     1282    27555   21     2749    1506   1274   9911 6.62
48.28/48.34	c    70599     48      822    17904   21     1830    1657    814   9893 7.14
48.28/48.34	c    78105     48     1568    34538   22     3315    1823   1560   9858 7.92
48.28/48.34	c    89467     47     1773    37676   21     3730    2006   1765   9740 9.19
48.28/48.34	c   106611     47     1581    34875   22     3344    2207   1573   9586 11.12
48.28/48.34	c   132430     47     1613    35029   21     3409    2428   1605   9372 14.13
48.28/48.34	c   171262     46     2220    49303   22     4622    2671   2212   9141 18.73
48.28/48.34	c   229615     46     2429    52458   21     5041    2939   2421   8844 25.96
48.28/48.34	c   317248     46     2324    52257   22     4829    3233   2316   8578 36.98
48.28/48.34	o 2
649.89/650.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
649.89/650.08	c   401730     46     1830    40364   22     3859     764   1822   8311 48.34
649.89/650.08	c   401830     46      539    11234   20     1252     841    531   8311 48.35
649.89/650.08	c   402081     46      790    16754   21     1760     926    782   8312 48.37
649.89/650.08	c   402556     44      792    16580   20     1760    1019    784   8315 48.41
649.89/650.08	c   403371     44      569    11883   20     1309    1121    561   8318 48.49
649.89/650.08	c   404693     44      751    15312   20     1678    1234    743   8323 48.62
649.89/650.08	c   406774     44      935    19962   21     2039    1358    927   8331 48.82
649.89/650.08	c   409997     44     1400    30243   21     2970    1494   1392   8340 49.16
649.89/650.08	c   414933     43      991    21185   21     2154    1644    983   8353 49.67
649.89/650.08	c   422439     43      957    20168   21     2084    1809    949   8366 50.49
649.89/650.08	c   433801     43     1273    27472   21     2720    1990   1265   8382 51.75
649.89/650.08	c   450947     43     1208    26059   21     2586    2190   1200   8401 53.67
649.89/650.08	c   476767     42     1437    30720   21     3046    2410   1429   8422 56.60
649.89/650.08	c   515599     42     2362    51910   21     4890    2652   2354   8424 61.20
649.89/650.08	c   573952     41     1574    34466   21     3317    2918   1566   8398 68.34
649.89/650.08	c   661585     41     2100    46485   22     4366    3210   2092   8305 79.66
649.89/650.08	c   793138     41     2205    46739   21     4579    3532   2197   8149 97.33
649.89/650.08	c   990570     39     3330    74033   22     6821    3886   3322   8001 123.81
649.89/650.08	c  1286822     39     3551    78069   21     7264    4275   3543   7758 165.85
649.89/650.08	c  1731304     39     4222    95147   22     8605    4703   4214   7514 230.39
649.89/650.08	c  2398131     39     3125    69803   22     6417    5174   3117   7203 332.91
649.89/650.08	c  3398477     38     3530    73365   20     7222    5692   3522   6850 496.11
649.89/650.08	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 
649.89/650.08	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
649.89/650.08	c  120  4303673  13268  4319794     4721    70959   4713   6621 649.98
649.89/650.08	c Objective: 2
649.89/650.08	s OPTIMUM FOUND
649.89/650.08	c Total time: 649.978 s

Verifier Data

OK	2

Watcher Data

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-3708064-1338156680/watcher-3708064-1338156680 -o /tmp/evaluation-result-3708064-1338156680/solver-3708064-1338156680 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708064-1338156680.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29199
/proc/meminfo: memFree=27972740/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=26416 CPUtime=0 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 295 0 0 0 0 0 0 0 20 0 1 0 281793474 27049984 247 33554432000 134512640 137138936 4294579296 4294578048 134575191 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 6604 247 192 642 0 5960 0

[startup+0.044152 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29199
/proc/meminfo: memFree=27972740/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=18732 CPUtime=0.03 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 349 0 0 0 3 0 0 0 20 0 1 0 281793474 19181568 301 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 4683 301 192 642 0 4039 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18732

[startup+0.100214 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29199
/proc/meminfo: memFree=27972740/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=18984 CPUtime=0.09 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 397 0 0 0 9 0 0 0 20 0 1 0 281793474 19439616 349 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 4746 349 192 642 0 4102 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18984

[startup+0.300111 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29199
/proc/meminfo: memFree=27972740/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=18988 CPUtime=0.29 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 398 0 0 0 29 0 0 0 20 0 1 0 281793474 19443712 350 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 4747 350 192 642 0 4103 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18988

[startup+0.700097 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29199
/proc/meminfo: memFree=27972740/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=18988 CPUtime=0.69 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 408 0 0 0 69 0 0 0 20 0 1 0 281793474 19443712 360 33554432000 134512640 137138936 4294579296 4294578224 134542525 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 4747 360 192 642 0 4103 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18988

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29200
/proc/meminfo: memFree=27971856/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=19116 CPUtime=1.48 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 436 0 0 0 148 0 0 0 20 0 1 0 281793474 19574784 388 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 4779 388 192 642 0 4135 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 19116

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29200
/proc/meminfo: memFree=27971484/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=19116 CPUtime=3.08 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 439 0 0 0 307 1 0 0 20 0 1 0 281793474 19574784 391 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 4779 391 192 642 0 4135 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19116

[startup+6.30013 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29200
/proc/meminfo: memFree=27971196/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=19244 CPUtime=6.29 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 477 0 0 0 626 3 0 0 20 0 1 0 281793474 19705856 429 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 4811 429 192 642 0 4167 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19244

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29200
/proc/meminfo: memFree=27971224/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=19500 CPUtime=12.68 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 515 0 0 0 1262 6 0 0 20 0 1 0 281793474 19968000 467 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 4875 467 192 642 0 4231 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19500

[startup+25.5001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29200
/proc/meminfo: memFree=27971196/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=19628 CPUtime=25.49 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 563 0 0 0 2537 12 0 0 20 0 1 0 281793474 20099072 515 33554432000 134512640 137138936 4294579296 4294578156 136521046 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 4907 515 192 642 0 4263 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19628

[startup+51.1001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29200
/proc/meminfo: memFree=27970452/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=19888 CPUtime=51.08 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 621 0 0 0 5086 22 0 0 20 0 1 0 281793474 20365312 573 33554432000 134512640 137138936 4294579296 4294578192 134542525 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 4972 573 192 642 0 4328 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19888

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29200
/proc/meminfo: memFree=27970144/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=20008 CPUtime=102.28 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 649 0 0 0 10186 42 0 0 20 0 1 0 281793474 20488192 601 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 5002 601 192 642 0 4358 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 20008

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29201
/proc/meminfo: memFree=27970144/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=20136 CPUtime=162.27 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 686 0 0 0 16162 65 0 0 20 0 1 0 281793474 20619264 638 33554432000 134512640 137138936 4294579296 4294577716 136500388 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 5034 638 192 642 0 4390 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 20136

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29201
/proc/meminfo: memFree=27968904/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=20268 CPUtime=222.25 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 727 0 0 0 22140 85 0 0 20 0 1 0 281793474 20754432 679 33554432000 134512640 137138936 4294579296 4294578224 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 5067 679 192 642 0 4423 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 20268

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29201
/proc/meminfo: memFree=27968908/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=20512 CPUtime=282.24 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 774 0 0 0 28120 104 0 0 20 0 1 0 281793474 21004288 726 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 5128 726 192 642 0 4484 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 20512

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29201
/proc/meminfo: memFree=27968788/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=20644 CPUtime=342.24 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 818 0 0 0 34101 123 0 0 20 0 1 0 281793474 21139456 770 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 5161 770 192 642 0 4517 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 20644

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29201
/proc/meminfo: memFree=27968104/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=20644 CPUtime=402.23 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 820 0 0 0 40080 143 0 0 20 0 1 0 281793474 21139456 772 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 5161 772 192 642 0 4517 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 20644

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29202
/proc/meminfo: memFree=27967732/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=20644 CPUtime=462.21 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 821 0 0 0 46058 163 0 0 20 0 1 0 281793474 21139456 773 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 5161 773 192 642 0 4517 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 20644

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29205
/proc/meminfo: memFree=27966808/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=20772 CPUtime=522.21 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 855 0 0 0 52037 184 0 0 20 0 1 0 281793474 21270528 807 33554432000 134512640 137138936 4294579296 4294578192 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 5193 807 192 642 0 4549 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 20772

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29205
/proc/meminfo: memFree=27967616/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=20772 CPUtime=582.2 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 857 0 0 0 58018 202 0 0 20 0 1 0 281793474 21270528 809 33554432000 134512640 137138936 4294579296 4294578224 134542766 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 5193 809 192 642 0 4549 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 20772

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29205
/proc/meminfo: memFree=27967492/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=20772 CPUtime=642.19 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 857 0 0 0 64000 219 0 0 20 0 1 0 281793474 21270528 809 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 5193 809 192 642 0 4549 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 20772

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

[startup+646.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29205
/proc/meminfo: memFree=27967120/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=20772 CPUtime=646.19 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 857 0 0 0 64399 220 0 0 20 0 1 0 281793474 21270528 809 33554432000 134512640 137138936 4294579296 4294577716 136502581 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 5193 809 192 642 0 4549 0
Current children cumulated CPU time (s) 646.19
Current children cumulated vsize (KiB) 20772

[startup+647.906 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29205
/proc/meminfo: memFree=27967368/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=20772 CPUtime=647.8 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 857 0 0 0 64559 221 0 0 20 0 1 0 281793474 21270528 809 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 5193 809 192 642 0 4549 0
Current children cumulated CPU time (s) 647.8
Current children cumulated vsize (KiB) 20772

[startup+648.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29205
/proc/meminfo: memFree=27967368/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=20772 CPUtime=648.59 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 857 0 0 0 64638 221 0 0 20 0 1 0 281793474 21270528 809 33554432000 134512640 137138936 4294579296 4294578224 134542758 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 5193 809 192 642 0 4549 0
Current children cumulated CPU time (s) 648.59
Current children cumulated vsize (KiB) 20772

[startup+649.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29205
/proc/meminfo: memFree=27967368/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=20772 CPUtime=649.39 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 857 0 0 0 64718 221 0 0 20 0 1 0 281793474 21270528 809 33554432000 134512640 137138936 4294579296 4294577608 136504163 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 5193 809 192 642 0 4549 0
Current children cumulated CPU time (s) 649.39
Current children cumulated vsize (KiB) 20772

[startup+649.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29205
/proc/meminfo: memFree=27967368/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=20772 CPUtime=649.79 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 857 0 0 0 64758 221 0 0 20 0 1 0 281793474 21270528 809 33554432000 134512640 137138936 4294579296 4294577224 136504449 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 5193 809 192 642 0 4549 0
Current children cumulated CPU time (s) 649.79
Current children cumulated vsize (KiB) 20772

[startup+650 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29205
/proc/meminfo: memFree=27967368/32873648 swapFree=7104/7104
[pid=29199] ppid=29197 vsize=20772 CPUtime=649.89 cores=1,3,5,7
/proc/29199/stat : 29199 (bsolo) R 29197 29199 23788 0 -1 4202496 857 0 0 0 64768 221 0 0 20 0 1 0 281793474 21270528 809 33554432000 134512640 137138936 4294579296 4294578412 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/29199/statm: 5193 809 192 642 0 4549 0
Current children cumulated CPU time (s) 649.89
Current children cumulated vsize (KiB) 20772

Child status: 0
Real time (s): 650.08
CPU time (s): 649.98
CPU user time (s): 647.76
CPU system time (s): 2.21966
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 20772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 647.761
system time used= 2.21966
maximum resident set size= 3240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 858
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= 3
involuntary context switches= 713

runsolver used 1.47477 second user time and 5.33819 second system time

The end

Launcher Data

Begin job on node127 at 2012-05-28 00:11:20
IDJOB=3708064
IDBENCH=2896
IDSOLVER=2286
FILE ID=node127/3708064-1338156680
RUNJOBID= node127-1338149212-27948
PBS_JOBID= 14624481
Free space on /tmp= 71176 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-3708064-1338156680/watcher-3708064-1338156680 -o /tmp/evaluation-result-3708064-1338156680/solver-3708064-1338156680 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708064-1338156680.opb

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

MD5SUM BENCH= d26b3b10be20d9248aac462b86b1f040
RANDOM SEED=1457930559

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:        27973376 kB
Buffers:          477360 kB
Cached:          3515316 kB
SwapCached:            0 kB
Active:          1230740 kB
Inactive:        2786856 kB
Active(anon):      26988 kB
Inactive(anon):        0 kB
Active(file):    1203752 kB
Inactive(file):  2786856 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3912 kB
Writeback:             0 kB
AnonPages:         31424 kB
Mapped:            15156 kB
Shmem:               200 kB
Slab:             743612 kB
SReclaimable:     187812 kB
SUnreclaim:       555800 kB
KernelStack:        1432 kB
PageTables:         4212 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     154200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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= 71172 MiB
End job on node127 at 2012-05-28 00:22:10