Trace number 3707776

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.2OPT1523 18.1902 18.1959

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb
MD5SUM303eaeab4b7ccd67c7fab31d13d20bc2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1523
Best CPU time to get the best result obtained on this benchmark0.200968
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1523
Optimality of the best value was proved YES
Number of variables201
Total number of constraints133
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)26
Number of constraints which are nor clauses,nor cardinality constraints87
Minimum length of a constraint3
Maximum length of a constraint67
Number of terms in the objective function 201
Biggest coefficient in the objective function 1920
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 19980
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1920
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 19980
Number of bits of the biggest sum of numbers15
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-3707776-1338142948.opb
0.00/0.00	c File size is 17810 bytes.
0.00/0.00	c Highest Coefficient sum: 19980
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.001 s
0.00/0.00	c Var: 201 Constr: 133 20/80/33 Lit: 1923 Watch. Lit: 550
0.00/0.00	c Obj. Vars: 201 (100 % of total variables)
0.00/0.00	c Pre-processing Time: 0.002 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    195      133     1923   14      680    3264      0      0 0.00
0.00/0.00	c Initial Lower Bound: 1425
0.00/0.00	c Initial Path Cost: 0
0.00/0.01	o 2524
0.02/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.04	c       30    195      172     3320   19     1015    3889     39   3750 0.01
0.02/0.04	o 2504
0.02/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.06	c       30    195      173     3515   20     1212    3889     40    769 0.04
0.02/0.06	o 2374
0.08/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.13	c       30    195      174     3710   21     1378    3889     41    461 0.07
0.08/0.13	o 2372
0.08/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.18	c       56    195      247    13364   54     1707    3889    114    440 0.13
0.08/0.18	o 2362
0.58/0.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.58/0.67	c       87    195      320    21502   67     2029    3889    187    494 0.18
0.58/0.67	c      187    195      423    26573   62     2238    4278    290    625 0.30
0.58/0.67	c      438    195      674    39430   58     2753    4706    541    823 0.53
0.58/0.67	o 2087
0.68/0.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.70	c      600    195      838    47786   57     3262    3889    705    895 0.67
0.68/0.70	o 2053
0.68/0.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.72	c      600    195      839    47981   57     3441    3889    706    860 0.70
0.68/0.72	o 2041
0.68/0.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.75	c      601    195      843    48348   57     3626    3889    710    828 0.72
0.68/0.75	o 1953
0.68/0.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.68/0.79	c      601    195      844    48543   57     3793    3889    711    796 0.76
0.68/0.79	o 1943
0.88/0.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.88/0.99	c      606    195      853    49650   58     3981    3889    720    765 0.79
0.88/0.99	c      709    195     1042    73289   70     4367    4278    909    754 0.94
0.88/0.99	o 1941
0.99/1.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.03	c      718    195     1064    75340   70     4572    3889    931    725 0.99
0.99/1.03	o 1929
0.99/1.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.08	c      719    195     1068    75917   71     4761    3889    935    698 1.03
0.99/1.08	o 1917
1.09/1.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.14	c      727    195     1083    77478   71     4979    3889    950    675 1.08
1.09/1.14	o 1905
1.59/1.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.68	c      743    195     1128    82233   72     5234    3889    995    654 1.14
1.59/1.68	c      854    195     1415   107065   75     5663    4278   1282    654 1.30
1.59/1.68	c     1104    195     2135   184166   86     7167    4706   2002    670 1.65
1.59/1.68	o 1899
1.69/1.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.73	c     1112    195     2158   186692   86     7445    3889   2025    660 1.68
1.69/1.73	o 1887
1.69/1.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.79	c     1124    195     2192   190112   86     7709    3889   2059    649 1.73
1.69/1.79	o 1880
1.89/1.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.91	c     1146    195     2257   196809   87     8035    3889   2124    640 1.79
1.89/1.91	o 1874
1.89/1.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.96	c     1227    195     2462   216511   87     8623    3889   2329    642 1.91
1.89/1.96	o 1873
1.99/2.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.00	c     1234    195     2478   218397   88     8841    3889   2345    630 1.96
1.99/2.00	o 1870
2.10/2.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.10/2.13	c     1241    195     2496   220341   88     9051    3889   2363    619 2.00
2.10/2.13	o 1852
2.19/2.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.23	c     1320    195     2676   240598   89     9563    3889   2543    619 2.13
2.19/2.23	o 1851
2.29/2.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.30	c     1371    195     2804   257174   91     9991    3889   2671    615 2.23
2.29/2.30	o 1849
2.29/2.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.33	c     1403    195     2879   265760   92    10349    3889   2746    611 2.30
2.29/2.33	o 1842
2.39/2.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.39/2.43	c     1410    195     2892   267077   92    10560    3889   2759    604 2.33
2.39/2.43	o 1832
2.49/2.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.57	c     1460    195     3034   285186   93    11006    3889   2901    601 2.43
2.49/2.57	o 1827
2.58/2.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.58/2.64	c     1543    195     3268   307132   93    11619    3889   3135    600 2.57
2.58/2.64	o 1822
2.58/2.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.58/2.68	c     1572    195     3347   314300   93    12005    3889   3214    595 2.64
2.58/2.68	o 1815
2.69/2.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.72	c     1581    195     3375   317044   93    12210    3889   3242    590 2.68
2.69/2.72	o 1814
2.79/2.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.81	c     1593    195     3412   320853   94    12458    3889   3279    584 2.72
2.79/2.81	o 1810
2.79/2.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.85	c     1628    195     3512   330309   94    12834    3889   3379    579 2.81
2.79/2.85	o 1799
2.99/3.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.00	c     1640    195     3542   333228   94    13108    3889   3409    574 2.85
2.99/3.00	o 1794
2.99/3.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.06	c     1731    195     3791   362051   95    13797    3889   3658    576 3.00
2.99/3.06	o 1792
3.08/3.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.08/3.14	c     1754    195     3858   368533   95    14103    3889   3725    572 3.06
3.08/3.14	o 1788
3.08/3.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.08/3.18	c     1782    195     3940   376639   95    14459    3889   3807    568 3.14
3.08/3.18	o 1776
3.19/3.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.19/3.23	c     1794    195     3976   380525   95    14712    3889   3843    563 3.18
3.19/3.23	o 1764
3.19/3.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.19/3.28	c     1806    195     4012   384525   95    14960    3889   3879    558 3.23
3.19/3.28	o 1756
3.29/3.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.29/3.34	c     1820    195     2080   192625   92     4827    3654   1947    553 3.29
3.29/3.34	o 1744
3.48/3.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.48/3.50	c     1842    195     2145   199410   92     5141    3654   2012    550 3.34
3.48/3.50	o 1732
3.58/3.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.58/3.64	c     1938    195     2406   228418   94     5866    3654   2273    554 3.50
3.58/3.64	o 1720
3.98/4.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.98/4.00	c     2022    195     2651   254361   95     6537    3654   2518    556 3.64
3.98/4.00	c     2122    195     2948   286061   97     7129    4020   2815    560 3.79
3.98/4.00	o 1717
4.30/4.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.30/4.33	c     2250    195     3323   326962   98     8058    3654   3190    563 4.00
4.30/4.33	c     2351    195     3603   358311   99     8640    4020   3470    564 4.16
4.30/4.33	o 1714
4.40/4.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.40/4.47	c     2448    195     3879   385902   99     9349    3654   3746    565 4.33
4.40/4.47	o 1704
4.89/4.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.89/4.95	c     2514    195     2139   208396   97     5134    3654   2006    562 4.47
4.89/4.95	c     2614    195     2429   234765   96     5703    4020   2296    564 4.63
4.89/4.95	o 1701
5.49/5.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.49/5.59	c     2807    195     2997   289885   96     7032    3654   2864    566 4.95
5.49/5.59	c     2909    195     3269   316664   96     7586    4020   3136    568 5.12
5.49/5.59	c     3159    195     3960   381457   96     8971    4423   3827    571 5.52
5.49/5.59	o 1700
5.69/5.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.74	c     3184    195     4031   387353   96     9284    3654   3898    569 5.59
5.69/5.74	o 1689
7.08/7.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.08/7.17	c     3274    195     2208   200840   90     5250    3654   2075    570 5.74
7.08/7.17	c     3375    195     2484   228971   92     5815    4020   2351    570 5.92
7.08/7.17	c     3626    195     3170   301167   95     7182    4423   3037    578 6.27
7.08/7.17	c     4103    195     4461   425258   95     9794    4866   4328    589 6.96
7.08/7.17	o 1679
7.19/7.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.19/7.29	c     4259    195     4846   464277   95    10735    3654   4713    594 7.17
7.19/7.29	o 1674
7.49/7.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.49/7.60	c     4322    195     2148   191673   89     5134    3654   2015    593 7.29
7.49/7.60	c     4422    195     2448   215130   87     5725    4020   2315    593 7.45
7.49/7.60	o 1662
7.79/7.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.79/7.83	c     4533    195     2771   247536   89     6549    3654   2638    596 7.59
7.79/7.83	c     4634    195     3065   271937   88     7143    4020   2932    596 7.77
7.79/7.83	o 1656
8.09/8.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.09/8.11	c     4668    195     3167   282689   89     7552    3654   3034    595 7.83
8.09/8.11	c     4768    195     3460   312059   90     8130    4020   3327    596 8.00
8.09/8.11	o 1644
8.69/8.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.69/8.71	c     4841    195     3675   336466   91     8743    3654   3542    596 8.11
8.69/8.71	c     4942    195     2111   177751   84     4862    4020   1978    596 8.29
8.69/8.71	c     5195    195     2842   245618   86     6332    4423   2709    600 8.66
8.69/8.71	o 1639
8.79/8.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.79/8.81	c     5222    195     2923   252537   86     6664    3654   2790    599 8.71
8.79/8.81	o 1634
10.29/10.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.29/10.34	c     5280    195     3087   268265   86     7168    3654   2954    599 8.81
10.29/10.34	c     5383    195     3377   286667   84     7739    4020   3244    598 8.99
10.29/10.34	c     5636    195     4107   337085   82     9236    4423   3974    600 9.39
10.29/10.34	c     6111    195     3035   245329   80     6789    4866   2902    609 10.02
10.29/10.34	o 1627
10.39/10.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.39/10.44	c     6309    195     3602   303589   84     8099    3654   3469    610 10.34
10.39/10.44	o 1617
10.49/10.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.49/10.52	c     6355    195     3728   316169   84     8541    3654   3595    608 10.44
10.49/10.52	o 1615
10.79/10.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.79/10.81	c     6396    195     1965   158847   80     4623    3655   1832    608 10.52
10.79/10.81	c     6496    195     2244   188085   83     5174    4021   2111    607 10.69
10.79/10.81	o 1603
10.89/10.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.89/10.93	c     6570    195     2457   212086   86     5795    3655   2324    607 10.81
10.89/10.93	o 1589
10.89/10.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.89/10.97	c     6647    195     2669   233624   87     6396    3655   2536    608 10.93
10.89/10.97	o 1585
11.39/11.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.39/11.42	c     6667    195     2728   239034   87     6685    3655   2595    607 10.97
11.39/11.42	c     6767    195     3020   267095   88     7241    4021   2887    608 11.13
11.39/11.42	o 1575
11.58/11.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.58/11.67	c     6979    195     3631   334347   92     8681    3655   3498    611 11.42
11.58/11.67	c     7079    195     2007   178243   88     4672    4021   1874    611 11.57
11.58/11.67	o 1563
11.68/11.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.68/11.76	c     7148    195     2207   196872   89     5268    3654   2074    612 11.67
11.68/11.76	o 1551
13.39/13.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.39/13.40	c     7198    195     2351   208684   88     5738    3654   2218    611 11.76
13.39/13.40	c     7303    195     2650   229562   86     6319    4020   2517    612 11.92
13.39/13.40	c     7554    195     3394   279863   82     7804    4423   3261    613 12.30
13.39/13.40	c     8033    195     2518   172614   68     5711    4866   2385    616 13.03
13.39/13.40	o 1543
15.99/16.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.99/16.08	c     8278    195     3235   233342   72     7328    3654   3102    617 13.40
15.99/16.08	c     8379    195     3515   249537   70     7866    4020   3382    617 13.58
15.99/16.08	c     8635    195     2160   128490   59     4957    4423   2027    615 14.04
15.99/16.08	c     9114    195     3549   227093   63     7735    4866   3416    619 14.72
15.99/16.08	c     9927    195     3353   226600   67     7364    5353   3220    620 15.99
15.99/16.08	o 1535
16.29/16.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.29/16.36	c     9990    195     3541   245778   69     7930    3654   3408    621 16.08
16.29/16.36	c    10090    195     1989   133242   66     4622    4020   1856    620 16.26
16.29/16.36	o 1523
18.08/18.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.08/18.19	c    10159    195     2195   149071   67     5229    3654   2062    620 16.36
18.08/18.19	c    10261    195     2469   173012   70     5765    4020   2336    621 16.50
18.08/18.19	c    10511    195     3216   219650   68     7265    4423   3083    622 16.89
18.08/18.19	c    10986    195     4526   322068   71     9959    4866   4393    626 17.54
18.08/18.19	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 
18.08/18.19	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
18.08/18.19	c  100    11470    509    17234     3262   190965   3129    630 18.19
18.08/18.19	c Objective: 1523
18.08/18.19	s OPTIMUM FOUND
18.08/18.19	c Total time: 18.188 s

Verifier Data 

OK	1523

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-3707776-1338142948/watcher-3707776-1338142948 -o /tmp/evaluation-result-3707776-1338142948/solver-3707776-1338142948 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707776-1338142948.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 17382
/proc/meminfo: memFree=31434080/32873844 swapFree=7372/7372
[pid=17382] ppid=17380 vsize=10796 CPUtime=0 cores=1,3,5,7
/proc/17382/stat : 17382 (bsolo) R 17380 17382 15469 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 280423406 11055104 298 33554432000 134512640 137138936 4289343360 4289341712 134712101 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17382/statm: 2699 299 218 642 0 2055 0

[startup+0.0294421 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17382
/proc/meminfo: memFree=31434080/32873844 swapFree=7372/7372
[pid=17382] ppid=17380 vsize=11640 CPUtime=0.02 cores=1,3,5,7
/proc/17382/stat : 17382 (bsolo) R 17380 17382 15469 0 -1 4202496 1269 0 0 0 2 0 0 0 20 0 1 0 280423406 11919360 409 33554432000 134512640 137138936 4289343360 4289341120 135449767 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17382/statm: 2910 415 286 642 0 2266 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11640

[startup+0.100213 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17382
/proc/meminfo: memFree=31434080/32873844 swapFree=7372/7372
[pid=17382] ppid=17380 vsize=11180 CPUtime=0.08 cores=1,3,5,7
/proc/17382/stat : 17382 (bsolo) R 17380 17382 15469 0 -1 4202496 4526 0 0 0 8 0 0 0 20 0 1 0 280423406 11448320 391 33554432000 134512640 137138936 4289343360 4289341256 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17382/statm: 2878 402 287 642 0 2234 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11180

[startup+0.300182 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17382
/proc/meminfo: memFree=31434080/32873844 swapFree=7372/7372
[pid=17382] ppid=17380 vsize=11852 CPUtime=0.29 cores=1,3,5,7
/proc/17382/stat : 17382 (bsolo) R 17380 17382 15469 0 -1 4202496 7000 0 0 0 28 1 0 0 20 0 1 0 280423406 12136448 550 33554432000 134512640 137138936 4289343360 4289341320 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17382/statm: 2963 553 287 642 0 2319 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11852

[startup+0.700182 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17382
/proc/meminfo: memFree=31434080/32873844 swapFree=7372/7372
[pid=17382] ppid=17380 vsize=12312 CPUtime=0.68 cores=1,3,5,7
/proc/17382/stat : 17382 (bsolo) R 17380 17382 15469 0 -1 4202496 12725 0 0 0 67 1 0 0 20 0 1 0 280423406 12607488 700 33554432000 134512640 137138936 4289343360 4289342476 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17382/statm: 3078 700 287 642 0 2434 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12312

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17383
/proc/meminfo: memFree=31432312/32873844 swapFree=7372/7372
[pid=17382] ppid=17380 vsize=13276 CPUtime=1.49 cores=1,3,5,7
/proc/17382/stat : 17382 (bsolo) R 17380 17382 15469 0 -1 4202496 28915 0 0 0 144 5 0 0 20 0 1 0 280423406 13594624 980 33554432000 134512640 137138936 4289343360 4289341388 136700814 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17382/statm: 3319 980 287 642 0 2675 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13276

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17383
/proc/meminfo: memFree=31429584/32873844 swapFree=7372/7372
[pid=17382] ppid=17380 vsize=16736 CPUtime=3.08 cores=1,3,5,7
/proc/17382/stat : 17382 (bsolo) R 17380 17382 15469 0 -1 4202496 69708 0 0 0 295 13 0 0 20 0 1 0 280423406 17137664 1721 33554432000 134512640 137138936 4289343360 4289341320 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17382/statm: 4217 1724 287 642 0 3573 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 16736

[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17383
/proc/meminfo: memFree=31426856/32873844 swapFree=7372/7372
[pid=17382] ppid=17380 vsize=17056 CPUtime=6.29 cores=1,3,5,7
/proc/17382/stat : 17382 (bsolo) R 17380 17382 15469 0 -1 4202496 75065 0 0 0 614 15 0 0 20 0 1 0 280423406 17465344 1906 33554432000 134512640 137138936 4289343360 4289341296 135251462 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17382/statm: 4264 1906 287 642 0 3620 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17056

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17383
/proc/meminfo: memFree=31425260/32873844 swapFree=7372/7372
[pid=17382] ppid=17380 vsize=18068 CPUtime=12.69 cores=1,3,5,7
/proc/17382/stat : 17382 (bsolo) R 17380 17382 15469 0 -1 4202496 84432 0 0 0 1251 18 0 0 20 0 1 0 280423406 18501632 2108 33554432000 134512640 137138936 4289343360 4289341264 135445910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17382/statm: 4517 2108 287 642 0 3873 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18068

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

[startup+15.9002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17383
/proc/meminfo: memFree=31423284/32873844 swapFree=7372/7372
[pid=17382] ppid=17380 vsize=18072 CPUtime=15.89 cores=1,3,5,7
/proc/17382/stat : 17382 (bsolo) R 17380 17382 15469 0 -1 4202496 84433 0 0 0 1570 19 0 0 20 0 1 0 280423406 18505728 2109 33554432000 134512640 137138936 4289343360 4289342476 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17382/statm: 4518 2109 287 642 0 3874 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 18072

[startup+17.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17383
/proc/meminfo: memFree=31421804/32873844 swapFree=7372/7372
[pid=17382] ppid=17380 vsize=18072 CPUtime=17.49 cores=1,3,5,7
/proc/17382/stat : 17382 (bsolo) R 17380 17382 15469 0 -1 4202496 84433 0 0 0 1730 19 0 0 20 0 1 0 280423406 18505728 2109 33554432000 134512640 137138936 4289343360 4289341236 135456672 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17382/statm: 4518 2109 287 642 0 3874 0
Current children cumulated CPU time (s) 17.49
Current children cumulated vsize (KiB) 18072

[startup+17.9002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17383
/proc/meminfo: memFree=31421804/32873844 swapFree=7372/7372
[pid=17382] ppid=17380 vsize=18072 CPUtime=17.88 cores=1,3,5,7
/proc/17382/stat : 17382 (bsolo) R 17380 17382 15469 0 -1 4202496 84433 0 0 0 1769 19 0 0 20 0 1 0 280423406 18505728 2109 33554432000 134512640 137138936 4289343360 4289342476 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17382/statm: 4518 2109 287 642 0 3874 0
Current children cumulated CPU time (s) 17.88
Current children cumulated vsize (KiB) 18072

[startup+18.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17383
/proc/meminfo: memFree=31421804/32873844 swapFree=7372/7372
[pid=17382] ppid=17380 vsize=18072 CPUtime=18.08 cores=1,3,5,7
/proc/17382/stat : 17382 (bsolo) R 17380 17382 15469 0 -1 4202496 84433 0 0 0 1789 19 0 0 20 0 1 0 280423406 18505728 2109 33554432000 134512640 137138936 4289343360 4289341436 135441525 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/17382/statm: 4518 2109 287 642 0 3874 0
Current children cumulated CPU time (s) 18.08
Current children cumulated vsize (KiB) 18072

Child status: 0
Real time (s): 18.1959
CPU time (s): 18.1902
CPU user time (s): 17.9923
CPU system time (s): 0.197969
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 18072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.9923
system time used= 0.197969
maximum resident set size= 8436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84433
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= 21

runsolver used 0.029995 second user time and 0.072988 second system time

The end

Launcher Data 

Begin job on node109 at 2012-05-27 20:22:28
IDJOB=3707776
IDBENCH=1858
IDSOLVER=2286
FILE ID=node109/3707776-1338142948
RUNJOBID= node109-1338140213-16699
PBS_JOBID= 14624511
Free space on /tmp= 71300 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707776-1338142948/watcher-3707776-1338142948 -o /tmp/evaluation-result-3707776-1338142948/solver-3707776-1338142948 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707776-1338142948.opb

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

MD5SUM BENCH= 303eaeab4b7ccd67c7fab31d13d20bc2
RANDOM SEED=325039448

node109.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31434352 kB
Buffers:           79300 kB
Cached:           145004 kB
SwapCached:          592 kB
Active:           585040 kB
Inactive:          87880 kB
Active(anon):     443396 kB
Inactive(anon):     7668 kB
Active(file):     141644 kB
Inactive(file):    80212 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67106288 kB
Dirty:              3908 kB
Writeback:             0 kB
AnonPages:        455364 kB
Mapped:            11056 kB
Shmem:                 8 kB
Slab:             625232 kB
SReclaimable:      67808 kB
SUnreclaim:       557424 kB
KernelStack:        1480 kB
PageTables:         4612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     571748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    407552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71296 MiB
End job on node109 at 2012-05-27 20:22:47