Trace number 1880418

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 pbOPT1523 42.3896 42.4099

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 benchmark3.67744
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.1 - 13/04/2009 : 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: Generic Pseudo-Boolean Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1880418-1245133773.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.002 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.005 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    195      133     1923   14      680    3264      0      0 0.01
0.00/0.01	c Initial Lower Bound: 1425
0.00/0.01	c Initial Path Cost: 0
0.00/0.01	o 2624
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c       20    195      170     4248   24     1286    3654     37   1333 0.01
0.00/0.07	o 2564
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c       20    195      171     4443   25     1464    3654     38    266 0.07
0.09/0.14	o 2538
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c       21    195      175     5110   29     1646    3654     42    148 0.14
0.19/0.21	o 2518
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c       23    195      182     6248   34     1846    3654     49    110 0.21
0.19/0.28	o 2508
0.29/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.36	c       26    195      192     7750   40     2046    3654     59     92 0.28
0.29/0.36	o 2500
0.39/0.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.45	c       32    195      209    10131   48     2404    3654     76     89 0.36
0.39/0.45	o 2490
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c       41    195      234    13461   57     2676    3654    101     90 0.45
0.49/0.53	o 2480
0.59/0.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.66	c       46    195      250    15754   63     2944    3654    117     86 0.53
0.59/0.66	o 2462
0.69/0.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.76	c       80    195      338    28362   83     3864    3654    205    121 0.66
0.69/0.76	o 2140
0.79/0.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.82	c       92    195      361    29965   83     4336    3654    228    120 0.77
0.79/0.82	o 2122
0.79/0.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.88	c       92    195      362    30160   83     4522    3654    229    111 0.82
0.79/0.88	o 2110
0.89/0.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.93	c       92    195      363    30355   83     4700    3654    230    104 0.88
0.89/0.93	o 2102
1.00/1.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.01	c       93    195      366    30797   84     4880    3654    233     99 0.94
1.00/1.01	o 2080
1.00/1.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.07	c       93    195      367    30992   84     5056    3654    234     92 1.01
1.00/1.07	o 2072
1.10/1.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.13	c       94    195      371    31625   85     5275    3654    238     87 1.07
1.10/1.13	o 2060
1.19/1.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.20	c       96    195      378    32531   86     5502    3654    245     84 1.14
1.19/1.20	o 2042
1.19/1.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.28	c      100    195      389    33916   87     5666    3654    256     83 1.20
1.19/1.28	o 2034
1.29/1.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.33	c      107    195      406    35825   88     6011    3654    273     83 1.28
1.29/1.33	o 2022
1.39/1.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.40	c      107    195      407    36020   88     6194    3654    274     80 1.34
1.39/1.40	o 2014
1.39/1.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.48	c      112    195      421    37491   89     6472    3654    288     79 1.40
1.39/1.48	o 2010
1.59/1.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.61	c      118    195      439    40056   91     6652    3654    306     79 1.48
1.59/1.61	o 2005
1.59/1.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.67	c      140    195      489    45660   93     7083    3654    356     86 1.61
1.59/1.67	o 2001
1.69/1.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.72	c      147    195      511    48752   95     7398    3654    378     87 1.67
1.69/1.72	o 1989
1.79/1.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.81	c      148    195      515    49358   95     7586    3654    382     85 1.72
1.79/1.81	o 1977
1.79/1.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.88	c      170    195      582    59229  101     7947    3654    449     93 1.82
1.79/1.88	o 1971
1.89/1.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.94	c      176    195      601    61984  103     8171    3654    468     93 1.89
1.89/1.94	o 1959
1.99/2.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.00	c      180    195      614    63751  103     8412    3654    481     92 1.94
1.99/2.00	o 1951
1.99/2.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.06	c      185    195      630    65964  104     8676    3654    497     92 2.01
1.99/2.06	o 1947
2.10/2.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.10/2.12	c      187    195      637    66947  105     8886    3654    504     90 2.06
2.10/2.12	o 1939
2.10/2.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.10/2.18	c      189    195      644    67930  105     9071    3654    511     89 2.12
2.10/2.18	o 1927
2.20/2.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.20/2.27	c      192    195      654    69407  106     9264    3654    521     88 2.18
2.20/2.27	o 1902
2.39/2.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.39/2.42	c      214    195      715    77730  108     9577    3654    582     94 2.27
2.39/2.42	o 1899
2.49/2.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.52	c      252    195      821    92273  112    10176    3654    688    104 2.42
2.49/2.52	o 1890
2.60/2.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.60/2.66	c      275    195      877    97414  111    11162    3654    744    109 2.52
2.60/2.66	o 1879
2.79/2.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.85	c      314    195      989   112665  113    11634    3654    856    118 2.66
2.79/2.85	o 1875
2.89/2.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.89/2.95	c      370    195     1152   136218  118    12462    3654   1019    129 2.85
2.89/2.95	o 1872
2.99/3.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.07	c      383    195     1190   140742  118    12778    3654   1057    129 2.95
2.99/3.07	o 1870
3.09/3.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.15	c      407    195     1260   148192  117    13118    3654   1127    132 3.07
3.09/3.15	o 1869
3.19/3.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.19/3.21	c      417    195     1290   152017  117    13372    3654   1157    132 3.15
3.19/3.21	o 1860
3.19/3.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.19/3.28	c      422    195     1306   154363  118    13571    3654   1173    131 3.22
3.19/3.28	o 1857
3.30/3.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.30/3.35	c      430    195     1329   157777  118    14147    3654   1196    131 3.28
3.30/3.35	o 1855
6.09/6.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.09/6.15	c      440    195     1357   161294  118    14306    3654   1224    131 3.36
6.09/6.15	c      540    195     1641   186993  113    15048    4020   1508    142 3.78
6.09/6.15	c      791    195     2391   254702  106    16690    4423   2258    174 4.54
6.09/6.15	c     1273    195     3785   403984  106    21631    4866   3652    214 5.94
6.09/6.15	o 1853
6.59/6.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.59/6.61	c     1326    195     3933   418165  106    22591    3654   3800    215 6.15
6.59/6.61	c     1428    195     2248   226692  100    11672    4020   2115    219 6.51
6.59/6.61	o 1845
6.69/6.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.69/6.71	c     1440    195     2283   229970  100    11860    3654   2150    217 6.61
6.69/6.71	o 1843
6.99/7.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.99/7.02	c     1458    195     2332   235473  100    12537    3654   2199    217 6.72
6.99/7.02	o 1839
7.29/7.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.29/7.38	c     1546    195     2586   264243  102    13665    3654   2453    220 7.02
7.29/7.38	o 1834
8.09/8.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.09/8.18	c     1641    195     2871   290684  101    15357    3654   2738    222 7.38
8.09/8.18	c     1744    195     3172   321432  101    16755    4020   3039    225 7.73
8.09/8.18	o 1830
9.18/9.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.18/9.28	c     1882    195     3578   361367  100    18391    3654   3445    229 8.18
9.18/9.28	c     1982    195     1965   188996   96    11572    4020   1832    230 8.60
9.18/9.28	o 1825
10.19/10.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.19/10.26	c     2201    195     2598   252408   97    13047    3654   2465    237 9.28
10.19/10.26	c     2303    195     2882   277767   96    15038    4020   2749    239 9.61
10.19/10.26	o 1824
10.79/10.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.79/10.84	c     2508    195     3446   333979   96    17201    3654   3313    244 10.26
10.79/10.84	c     2608    195     3728   357804   95    17936    4020   3595    245 10.63
10.79/10.84	o 1814
10.90/11.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.90/11.00	c     2652    195     3857   369467   95    18658    3654   3724    244 10.84
10.90/11.00	o 1802
11.59/11.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.59/11.64	c     2675    195     2037   179962   88    12362    3654   1904    243 11.00
11.59/11.64	c     2775    195     2323   208082   89    14029    4020   2190    244 11.33
11.59/11.64	o 1797
11.69/11.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.69/11.77	c     2849    195     2542   227698   89    14973    3654   2409    244 11.64
11.69/11.77	o 1786
11.89/11.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.89/11.96	c     2869    195     2602   232750   89    15401    3654   2469    243 11.77
11.89/11.96	o 1774
12.09/12.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.09/12.18	c     2910    195     2720   244133   89    16204    3654   2587    243 11.96
12.09/12.18	o 1770
12.69/12.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.69/12.72	c     2964    195     2875   259661   90    16925    3654   2742    243 12.18
12.69/12.72	c     3065    195     3167   288839   91    18144    4020   3034    244 12.56
12.69/12.72	o 1762
12.89/12.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.89/12.98	c     3094    195     3255   296708   91    18676    3654   3122    243 12.72
12.89/12.98	o 1758
14.29/14.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.29/14.35	c     3160    195     3449   318079   92    19923    3654   3316    243 12.98
14.29/14.35	c     3262    195     3749   344846   91    21070    4020   3616    244 13.37
14.29/14.35	c     3512    195     2341   208601   89    13923    4423   2208    247 14.18
14.29/14.35	o 1752
15.09/15.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.09/15.17	c     3560    195     2478   222585   89    14533    3654   2345    248 14.35
15.09/15.17	c     3660    195     2771   244898   88    14725    4020   2638    248 14.71
15.09/15.17	o 1747
15.29/15.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.29/15.35	c     3803    195     3176   285640   89    16599    3654   3043    250 15.17
15.29/15.35	o 1745
16.08/16.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.08/16.15	c     3833    195     3264   293118   89    16660    3654   3131    249 15.34
16.08/16.15	c     3933    195     3556   320153   90    16499    4020   3423    250 15.72
16.08/16.15	o 1743
17.88/17.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.88/17.90	c     4051    195     3894   353738   90    18699    3654   3761    250 16.15
17.88/17.90	c     4152    195     2262   195174   86    10947    4020   2129    251 16.54
17.88/17.90	c     4404    195     2973   258872   87    12746    4423   2840    254 17.29
17.88/17.90	o 1735
18.48/18.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.48/18.54	c     4587    195     3513   308059   87    14239    3654   3380    256 17.90
18.48/18.54	c     4687    195     1966   160402   81     8707    4020   1833    256 18.25
18.48/18.54	o 1732
18.69/18.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.69/18.77	c     4758    195     2177   179223   82     9511    3654   2044    256 18.53
18.69/18.77	o 1726
18.88/18.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.88/18.92	c     4812    195     2339   194133   82    10008    3654   2206    256 18.77
18.88/18.92	o 1721
18.99/19.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.99/19.01	c     4843    195     2431   203049   83    10537    3654   2298    255 18.92
18.99/19.01	o 1719
19.08/19.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.08/19.12	c     4854    195     2464   206756   83    10988    3654   2331    255 19.01
19.08/19.12	o 1707
19.39/19.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.39/19.41	c     4871    195     2514   212212   84    11387    3654   2381    254 19.11
19.39/19.41	o 1695
19.58/19.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.58/19.68	c     4950    195     2748   232813   84    12321    3654   2615    255 19.41
19.58/19.68	o 1691
20.58/20.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.58/20.68	c     5026    195     2976   253454   85    13286    3654   2843    255 19.68
20.58/20.68	c     5126    195     3273   278272   85    14189    4020   3140    255 20.05
20.58/20.68	o 1676
21.58/21.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.58/21.67	c     5309    195     3811   331628   87    16224    3654   3678    256 20.68
21.58/21.67	c     5410    195     2261   191082   84    11223    4020   2128    257 21.02
21.58/21.67	o 1669
21.89/21.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.89/21.91	c     5619    195     2876   253303   88    12831    3654   2743    259 21.66
21.89/21.91	o 1654
22.08/22.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.08/22.14	c     5684    195     3063   272344   88    13496    3654   2930    259 21.91
22.08/22.14	o 1643
22.28/22.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.28/22.30	c     5741    195     3233   288947   89    13893    3654   3100    259 22.14
22.28/22.30	o 1639
23.68/23.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
23.68/23.74	c     5777    195     3337   298235   89    13864    3654   3204    259 22.30
23.68/23.74	c     5877    195     3627   328696   90    14406    4020   3494    259 22.63
23.68/23.74	c     6130    195     2210   197693   89     8943    4423   2077    261 23.41
23.68/23.74	o 1637
25.49/25.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.49/25.55	c     6221    195     2480   225196   90    10252    3654   2347    262 23.73
25.49/25.55	c     6326    195     2795   255193   91    10468    4020   2662    262 24.09
25.49/25.55	c     6587    195     3575   330836   92    12338    4423   3442    263 24.98
25.49/25.55	o 1636
25.79/25.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.79/25.87	c     6749    195     4060   383135   94    13530    3654   3927    264 25.55
25.79/25.87	o 1631
27.58/27.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.58/27.64	c     6843    195     2266   201727   89     7621    3654   2133    264 25.87
27.58/27.64	c     6943    195     2564   232301   90     8250    4020   2431    264 26.21
27.58/27.64	c     7194    195     3282   306054   93    11407    4423   3149    266 26.98
27.58/27.64	o 1628
27.78/27.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.78/27.81	c     7385    195     3846   354793   92    13194    3654   3713    267 27.64
27.78/27.81	o 1623
27.89/27.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.89/27.99	c     7426    195     2105   179229   85     8870    3654   1972    267 27.80
27.89/27.99	o 1615
28.58/28.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
28.58/28.64	c     7471    195     2239   192120   85     9194    3654   2106    266 27.99
28.58/28.64	c     7571    195     2535   219883   86     9763    4020   2402    267 28.33
28.58/28.64	o 1608
29.08/29.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.08/29.11	c     7654    195     2782   246275   88    10572    3654   2649    267 28.63
29.08/29.11	c     7755    195     3081   274796   89    11181    4020   2948    267 28.99
29.08/29.11	o 1603
31.78/31.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.78/31.85	c     7780    195     3157   282680   89    11526    3654   3024    267 29.10
31.78/31.85	c     7884    195     3466   310756   89    12451    4020   3333    267 29.50
31.78/31.85	c     8136    195     2174   185725   85     7921    4423   2041    268 30.35
31.78/31.85	o 1595
32.07/32.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.07/32.15	c     8610    195     3591   306142   85    11181    3654   3458    270 31.84
32.07/32.15	o 1585
32.18/32.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.18/32.26	c     8707    195     1988   154265   77     7392    3654   1855    270 32.15
32.18/32.26	o 1581
32.37/32.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.37/32.44	c     8731    195     2057   161938   78     7764    3654   1924    270 32.25
32.37/32.44	o 1561
32.47/32.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.47/32.53	c     8784    195     2213   175402   79     8482    3654   2080    270 32.43
32.47/32.53	o 1547
32.58/32.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.58/32.63	c     8804    195     2274   180046   79     8813    3654   2141    270 32.52
32.58/32.63	o 1535
32.68/32.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.68/32.80	c     8824    195     2335   185973   79     9102    3654   2202    270 32.62
32.68/32.80	o 1533
32.98/33.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.98/33.08	c     8871    195     2477   197175   79     9438    3654   2344    270 32.78
32.98/33.08	o 1523
42.37/42.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
42.37/42.40	c     8954    195     2722   215880   79    10298    3654   2589    270 33.07
42.37/42.40	c     9054    195     3020   237271   78    10986    4020   2887    270 33.41
42.37/42.40	c     9313    195     3786   281533   74    13097    4423   3653    271 34.36
42.37/42.40	c     9788    195     2910   192875   66    11294    4866   2777    273 35.84
42.37/42.40	c    10601    174     2848   189731   66    12570    5353   2715    275 38.43
42.37/42.40	c    11929    173     4066   293102   72    21674    5889   3933    281 42.38
42.37/42.40	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 
42.37/42.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
42.37/42.40	c  125    11936    492    18605     4085   293127   3952    281 42.39
42.37/42.40	c Objective: 1523
42.37/42.40	s OPTIMUM FOUND
42.37/42.40	c Total time: 42.387 s

Verifier Data 

OK	1523

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880418-1245133773/watcher-1880418-1245133773 -o /tmp/evaluation-result-1880418-1245133773/solver-1880418-1245133773 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880418-1245133773.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.97 0.98 0.99 3/64 7594
/proc/meminfo: memFree=1463904/2055920 swapFree=4192812/4192956
[pid=7594] ppid=7592 vsize=10708 CPUtime=0
/proc/7594/stat : 7594 (bsolo) R 7592 7594 7424 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 180976819 10964992 243 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7594/statm: 2677 243 189 640 0 2033 0

[startup+0.00864292 s]
/proc/loadavg: 0.97 0.98 0.99 3/64 7594
/proc/meminfo: memFree=1463904/2055920 swapFree=4192812/4192956
[pid=7594] ppid=7592 vsize=11332 CPUtime=0
/proc/7594/stat : 7594 (bsolo) R 7592 7594 7424 0 -1 4194304 407 0 0 0 0 0 0 0 18 0 1 0 180976819 11603968 386 1992294400 134512640 137136520 4294956256 18446744073709551615 135448314 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7594/statm: 2833 387 282 640 0 2189 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11332

[startup+0.101648 s]
/proc/loadavg: 0.97 0.98 0.99 3/64 7594
/proc/meminfo: memFree=1463904/2055920 swapFree=4192812/4192956
[pid=7594] ppid=7592 vsize=11448 CPUtime=0.09
/proc/7594/stat : 7594 (bsolo) R 7592 7594 7424 0 -1 4194304 2298 0 0 0 9 0 0 0 18 0 1 0 180976819 11722752 411 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7594/statm: 2862 412 293 640 0 2218 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11448

[startup+0.30166 s]
/proc/loadavg: 0.97 0.98 0.99 3/64 7594
/proc/meminfo: memFree=1463904/2055920 swapFree=4192812/4192956
[pid=7594] ppid=7592 vsize=11632 CPUtime=0.29
/proc/7594/stat : 7594 (bsolo) R 7592 7594 7424 0 -1 4194304 3415 0 0 0 28 1 0 0 19 0 1 0 180976819 11911168 511 1992294400 134512640 137136520 4294956256 18446744073709551615 135356602 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7594/statm: 2908 511 293 640 0 2264 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11632

[startup+0.701688 s]
/proc/loadavg: 0.97 0.98 0.99 3/64 7594
/proc/meminfo: memFree=1463904/2055920 swapFree=4192812/4192956
[pid=7594] ppid=7592 vsize=11820 CPUtime=0.69
/proc/7594/stat : 7594 (bsolo) R 7592 7594 7424 0 -1 4194304 5396 0 0 0 67 2 0 0 23 0 1 0 180976819 12103680 551 1992294400 134512640 137136520 4294956256 18446744073709551615 135379074 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7594/statm: 2992 553 293 640 0 2348 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11820

[startup+1.50174 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 7595
/proc/meminfo: memFree=1462680/2055920 swapFree=4192812/4192956
[pid=7594] ppid=7592 vsize=12284 CPUtime=1.49
/proc/7594/stat : 7594 (bsolo) R 7592 7594 7424 0 -1 4194304 16741 0 0 0 144 5 0 0 25 0 1 0 180976819 12578816 638 1992294400 134512640 137136520 4294956256 18446744073709551615 135387020 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7594/statm: 3071 638 293 640 0 2427 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12284

[startup+3.10284 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 7595
/proc/meminfo: memFree=1461848/2055920 swapFree=4192812/4192956
[pid=7594] ppid=7592 vsize=13644 CPUtime=3.09
/proc/7594/stat : 7594 (bsolo) R 7592 7594 7424 0 -1 4194304 28729 0 0 0 298 11 0 0 25 0 1 0 180976819 13971456 1014 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7594/statm: 3411 1014 294 640 0 2767 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13644

[startup+6.30105 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 7595
/proc/meminfo: memFree=1458200/2055920 swapFree=4192812/4192956
[pid=7594] ppid=7592 vsize=17392 CPUtime=6.29
/proc/7594/stat : 7594 (bsolo) R 7592 7594 7424 0 -1 4194304 58513 0 0 0 607 22 0 0 25 0 1 0 180976819 17809408 1995 1992294400 134512640 137136520 4294956256 18446744073709551615 134838730 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7594/statm: 4348 1995 294 640 0 3704 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17392

[startup+12.7015 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 7595
/proc/meminfo: memFree=1456600/2055920 swapFree=4192812/4192956
[pid=7594] ppid=7592 vsize=17536 CPUtime=12.69
/proc/7594/stat : 7594 (bsolo) R 7592 7594 7424 0 -1 4194304 81364 0 0 0 1234 35 0 0 25 0 1 0 180976819 17956864 1992 1992294400 134512640 137136520 4294956256 18446744073709551615 135387467 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7594/statm: 4384 1992 294 640 0 3740 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17536

[startup+25.5013 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 7595
/proc/meminfo: memFree=1456728/2055920 swapFree=4192812/4192956
[pid=7594] ppid=7592 vsize=17396 CPUtime=25.49
/proc/7594/stat : 7594 (bsolo) R 7592 7594 7424 0 -1 4194304 117154 0 0 0 2497 52 0 0 25 0 1 0 180976819 17813504 2003 1992294400 134512640 137136520 4294956256 18446744073709551615 134866990 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7594/statm: 4349 2003 294 640 0 3705 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17396

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

[startup+31.9057 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 7595
/proc/meminfo: memFree=1456728/2055920 swapFree=4192812/4192956
[pid=7594] ppid=7592 vsize=17212 CPUtime=31.88
/proc/7594/stat : 7594 (bsolo) R 7592 7594 7424 0 -1 4194304 128003 0 0 0 3131 57 0 0 25 0 1 0 180976819 17625088 1989 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7594/statm: 4303 1989 294 640 0 3659 0
Current children cumulated CPU time (s) 31.88
Current children cumulated vsize (KiB) 17212

[startup+38.3011 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7595
/proc/meminfo: memFree=1456728/2055920 swapFree=4192812/4192956
[pid=7594] ppid=7592 vsize=17548 CPUtime=38.27
/proc/7594/stat : 7594 (bsolo) R 7592 7594 7424 0 -1 4194304 140015 0 0 0 3764 63 0 0 25 0 1 0 180976819 17969152 1992 1992294400 134512640 137136520 4294956256 18446744073709551615 134839181 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7594/statm: 4387 1992 294 640 0 3743 0
Current children cumulated CPU time (s) 38.27
Current children cumulated vsize (KiB) 17548

[startup+39.9012 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7595
/proc/meminfo: memFree=1456728/2055920 swapFree=4192812/4192956
[pid=7594] ppid=7592 vsize=17400 CPUtime=39.87
/proc/7594/stat : 7594 (bsolo) R 7592 7594 7424 0 -1 4194304 141663 0 0 0 3923 64 0 0 25 0 1 0 180976819 17817600 1999 1992294400 134512640 137136520 4294956256 18446744073709551615 135469452 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7594/statm: 4350 1999 294 640 0 3706 0
Current children cumulated CPU time (s) 39.87
Current children cumulated vsize (KiB) 17400

[startup+41.5013 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7595
/proc/meminfo: memFree=1456728/2055920 swapFree=4192812/4192956
[pid=7594] ppid=7592 vsize=17400 CPUtime=41.47
/proc/7594/stat : 7594 (bsolo) R 7592 7594 7424 0 -1 4194304 141685 0 0 0 4083 64 0 0 25 0 1 0 180976819 17817600 2002 1992294400 134512640 137136520 4294956256 18446744073709551615 135439372 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7594/statm: 4350 2002 294 640 0 3706 0
Current children cumulated CPU time (s) 41.47
Current children cumulated vsize (KiB) 17400

[startup+41.9014 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7595
/proc/meminfo: memFree=1456728/2055920 swapFree=4192812/4192956
[pid=7594] ppid=7592 vsize=17400 CPUtime=41.87
/proc/7594/stat : 7594 (bsolo) R 7592 7594 7424 0 -1 4194304 141685 0 0 0 4123 64 0 0 25 0 1 0 180976819 17817600 2002 1992294400 134512640 137136520 4294956256 18446744073709551615 134838811 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7594/statm: 4350 2002 294 640 0 3706 0
Current children cumulated CPU time (s) 41.87
Current children cumulated vsize (KiB) 17400

[startup+42.3014 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7595
/proc/meminfo: memFree=1456728/2055920 swapFree=4192812/4192956
[pid=7594] ppid=7592 vsize=17400 CPUtime=42.27
/proc/7594/stat : 7594 (bsolo) R 7592 7594 7424 0 -1 4194304 141688 0 0 0 4163 64 0 0 25 0 1 0 180976819 17817600 2005 1992294400 134512640 137136520 4294956256 18446744073709551615 135078855 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7594/statm: 4350 2005 294 640 0 3706 0
Current children cumulated CPU time (s) 42.27
Current children cumulated vsize (KiB) 17400

[startup+42.4014 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 7595
/proc/meminfo: memFree=1456728/2055920 swapFree=4192812/4192956
[pid=7594] ppid=7592 vsize=17548 CPUtime=42.37
/proc/7594/stat : 7594 (bsolo) R 7592 7594 7424 0 -1 4194304 141721 0 0 0 4173 64 0 0 25 0 1 0 180976819 17969152 1996 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 0 0 0
/proc/7594/statm: 4387 1996 294 640 0 3743 0
Current children cumulated CPU time (s) 42.37
Current children cumulated vsize (KiB) 17548

Child status: 0
Real time (s): 42.4099
CPU time (s): 42.3896
CPU user time (s): 41.7417
CPU system time (s): 0.647901
CPU usage (%): 99.952
Max. virtual memory (cumulated for all children) (KiB): 17552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.7417
system time used= 0.647901
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141761
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= 2
involuntary context switches= 145

runsolver used 0.040993 second user time and 0.123981 second system time

The end

Launcher Data 

Begin job on node30 at 2009-06-16 08:29:33
IDJOB=1880418
IDBENCH=1858
IDSOLVER=701
FILE ID=node30/1880418-1245133773
PBS_JOBID= 9363688
Free space on /tmp= 66244 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880418-1245133773/watcher-1880418-1245133773 -o /tmp/evaluation-result-1880418-1245133773/solver-1880418-1245133773 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1880418-1245133773.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 303eaeab4b7ccd67c7fab31d13d20bc2
RANDOM SEED=2028104010

node30.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.230
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.230
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1464328 kB
Buffers:         59016 kB
Cached:         445676 kB
SwapCached:        140 kB
Active:         150896 kB
Inactive:       367776 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1464328 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3968 kB
Writeback:           0 kB
Mapped:          23704 kB
Slab:            58972 kB
Committed_AS:   147752 kB
PageTables:       1360 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66240 MiB
End job on node30 at 2009-06-16 08:30:15