Trace number 1878987

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 clOPT-7772 77.1443 77.1656

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-sentoy.opb
MD5SUMd0f46c7e79d3309033cc6b73ceacef6c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-7772
Best CPU time to get the best result obtained on this benchmark0.826874
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -7772
Optimality of the best value was proved YES
Number of variables60
Total number of constraints30
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 constraints30
Minimum length of a constraint60
Maximum length of a constraint60
Number of terms in the objective function 60
Biggest coefficient in the objective function 974
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 9460
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 6000
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 26162
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: Clause 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-1878987-1245133695.opb
0.00/0.00	c File size is 15778 bytes.
0.00/0.00	c Highest Coefficient sum: 26162
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: 60 Constr: 30 0/0/30 Lit: 1800 Watch. Lit: 472
0.00/0.00	c Obj. Vars: 60 (100 % of total variables)
0.00/0.00	c Pre-processing Time: 0.003 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0     60       30     1800   60      504    3600      0      0 0.00
0.00/0.01	c Initial Lower Bound: -7839
0.00/0.01	c Initial Path Cost: -9460
0.00/0.01	o -3144
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0     60       31     1860   60     1001    3720      1      0 0.01
0.00/0.02	o -3161
0.03/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.04	c        1     60       33     1971   59     1124    3720      3     41 0.02
0.03/0.04	o -3988
0.03/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.06	c        2     60       35     2084   59     1076    3720      5     47 0.04
0.03/0.06	o -4039
0.03/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.09	c        4     60       38     2229   58     1152    3720      8     66 0.06
0.03/0.09	o -4309
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c       27     60       73     3504   48     1242    3720     43    281 0.10
0.09/0.17	o -4371
0.49/0.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.52	c       87     60      158     6798   43     1442    3720    128    500 0.17
0.49/0.52	c      187     60      325    12940   39     1854    4093    295    548 0.34
0.49/0.52	o -4399
0.49/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.54	c      315     60      515    20748   40     2266    3720    485    604 0.52
0.49/0.54	o -4510
0.49/0.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.58	c      323     60      526    21162   40     2264    3720    496    597 0.54
0.49/0.58	o -4549
0.69/0.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.79	c      355     60      564    22729   40     2348    3720    534    609 0.58
0.69/0.79	c      455     60      702    27079   38     2575    4093    672    643 0.71
0.69/0.79	o -4625
1.10/1.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.12	c      497     60      771    29323   38     2851    3720    741    625 0.79
1.10/1.12	c      598     60      917    34335   37     3148    4093    887    632 0.94
1.10/1.12	o -4631
1.28/1.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.28/1.36	c      744     60     1127    41738   37     3452    3720   1097    661 1.12
1.28/1.36	c      844     60     1281    46593   36     3836    4093   1251    650 1.30
1.28/1.36	o -4633
1.28/1.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.28/1.39	c      878     60     1340    48826   36     3932    3720   1310    647 1.36
1.28/1.39	o -4744
1.38/1.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.38/1.46	c      902     60     1377    50161   36     3979    3720   1347    647 1.39
1.38/1.46	o -4847
1.79/1.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.87	c      951     60     1453    53061   36     4098    3720   1423    650 1.46
1.79/1.87	c     1051     60     1609    58407   36     4488    4093   1579    647 1.62
1.79/1.87	o -4876
1.89/1.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.94	c     1207     60     1860    67874   36     5145    3720   1830    645 1.87
1.89/1.94	o -4968
1.99/2.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.03	c     1262     60     1947    71212   36     5268    3720   1917    648 1.95
1.99/2.03	o -5102
1.99/2.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.07	c     1349     60     2060    75871   36     5510    3720   2030    664 2.03
1.99/2.07	o -5152
2.09/2.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.15	c     1365     60     2087    76832   36     5555    3720   2057    658 2.07
2.09/2.15	o -5272
2.19/2.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.24	c     1412     60     2162    79730   36     5727    3720   2132    656 2.15
2.19/2.24	o -5360
2.29/2.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.39	c     1491     60     2281    84462   37     5915    3720   2251    665 2.24
2.29/2.39	o -5457
2.68/2.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.68/2.77	c     1572     60     2404    88920   36     6267    3720   2374    658 2.39
2.68/2.77	c     1672     60     2540    93743   36     6567    4093   2510    661 2.53
2.68/2.77	o -5495
2.89/2.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.89/2.90	c     1793     60     2739    99530   36     6797    3720   2709    646 2.77
2.89/2.90	o -5510
3.09/3.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.16	c     1861     60     2857   102810   35     7112    3720   2827    641 2.90
3.09/3.16	c     1961     60     3005   106999   35     7658    4093   2975    639 3.07
3.09/3.16	o -5568
3.19/3.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.19/3.28	c     2013     60     3084   109249   35     7697    3720   3054    637 3.16
3.19/3.28	o -5674
3.99/4.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.99/4.04	c     2097     60     3194   113105   35     7804    3720   3164    639 3.28
3.99/4.04	c     2197     60     3357   117234   34     8160    4093   3327    634 3.46
3.99/4.04	c     2447     60     3734   129043   34     8921    4503   3704    634 3.85
3.99/4.04	o -6029
4.09/4.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.09/4.15	c     2535     60     3885   133707   34     9178    3720   3855    627 4.04
4.09/4.15	o -6037
4.09/4.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.09/4.17	c     2590     60     1983    67540   34     5053    3720   1953    623 4.16
4.09/4.17	o -6082
4.09/4.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.09/4.19	c     2591     60     1985    67656   34     5080    3720   1955    620 4.17
4.09/4.19	o -6096
4.48/4.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.48/4.54	c     2591     60     1986    67716   34     5105    3720   1956    618 4.19
4.48/4.54	c     2691     60     2139    71974   33     5467    4093   2109    614 4.38
4.48/4.54	o -6149
4.79/4.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.79/4.86	c     2770     60     2280    75793   33     5682    3720   2250    610 4.54
4.79/4.86	c     2870     60     2430    80737   33     5984    4093   2400    613 4.68
4.79/4.86	o -6154
5.88/5.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.88/5.94	c     2963     60     2576    85079   33     6410    3720   2546    609 4.86
5.88/5.94	c     3063     60     2735    88980   32     6519    4093   2705    607 5.04
5.88/5.94	c     3317     60     3065   100493   32     7422    4503   3035    619 5.36
5.88/5.94	o -6244
6.39/6.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.39/6.45	c     3662     60     3614   116550   32     8427    3720   3584    615 5.95
6.39/6.45	c     3764     60     1891    58876   31     4836    4093   1861    613 6.14
6.39/6.45	o -6252
7.09/7.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.12	c     3914     60     2153    65035   30     5414    3720   2123    607 6.45
7.09/7.12	c     4014     60     2330    68951   29     5699    4093   2300    603 6.65
7.09/7.12	c     4264     60     2745    80177   29     6571    4503   2715    603 7.07
7.09/7.12	o -6255
7.09/7.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.18	c     4289     60     2780    81415   29     6708    3720   2750    602 7.12
7.09/7.18	o -6348
8.08/8.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.08/8.16	c     4332     60     2833    83567   29     6809    3720   2803    603 7.18
8.08/8.16	c     4432     60     2992    87625   29     7081    4093   2962    602 7.36
8.08/8.16	c     4682     60     3390    99350   29     7911    4503   3360    601 7.78
8.08/8.16	o -6404
8.28/8.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.28/8.37	c     4912     60     3757   110574   29     8674    3720   3727    602 8.15
8.28/8.37	c     5013     60     2052    61092   29     5124    4093   2022    600 8.34
8.28/8.37	o -6470
9.29/9.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.29/9.39	c     5021     60     2065    61438   29     5157    3720   2035    600 8.37
9.29/9.39	c     5121     60     2236    66444   29     5405    4093   2206    598 8.56
9.29/9.39	c     5371     60     2652    78648   29     6272    4503   2622    597 8.99
9.29/9.39	o -6578
9.79/9.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.79/9.81	c     5611     60     3021    90657   30     7138    3720   2991    597 9.39
9.79/9.81	c     5712     60     3179    95311   29     7501    4093   3149    597 9.56
9.79/9.81	o -6651
9.89/9.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.89/9.95	c     5874     60     3394   102277   30     8003    3720   3364    598 9.81
9.89/9.95	o -6752
10.08/10.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.08/10.20	c     5931     60     3501   104972   29     8145    3720   3471    596 9.95
10.08/10.20	c     6031     60     3665   109360   29     8512    4093   3635    594 10.14
10.08/10.20	o -6778
10.19/10.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.19/10.21	c     6058     60     3704   110790   29     8585    3720   3674    594 10.19
10.19/10.21	o -6981
10.69/10.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.69/10.73	c     6059     60     3706   110905   29     8621    3720   3676    593 10.21
10.69/10.73	c     6160     60     1991    59838   30     5033    4093   1961    590 10.43
10.69/10.73	o -7049
10.89/10.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.89/10.98	c     6301     60     2218    67273   30     5575    3720   2188    587 10.72
10.89/10.98	c     6401     60     2405    71862   29     5762    4093   2375    584 10.96
10.89/10.98	o -7061
11.99/12.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.99/12.03	c     6406     60     2412    72161   29     5883    3720   2382    583 10.98
11.99/12.03	c     6506     60     2573    77106   29     6256    4093   2543    582 11.17
11.99/12.03	c     6756     60     3031    88974   29     7141    4503   3001    577 11.70
11.99/12.03	o -7224
12.79/12.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.79/12.88	c     6906     60     3290    95950   29     7700    3720   3260    574 12.03
12.79/12.88	c     7012     60     3468   101307   29     8071    4093   3438    573 12.23
12.79/12.88	c     7262     60     3876   113117   29     8815    4503   3846    571 12.71
12.79/12.88	o -7391
13.78/13.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.78/13.84	c     7338     60     4001   116439   29     9133    3720   3971    569 12.88
13.78/13.84	c     7438     60     2073    60487   29     5094    4093   2043    564 13.17
13.78/13.84	c     7692     60     2496    73351   29     6079    4503   2466    561 13.70
13.78/13.84	o -7404
14.78/14.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.78/14.82	c     7751     60     2599    75862   29     6261    3720   2569    559 13.84
14.78/14.82	c     7853     60     2756    80427   29     6587    4093   2726    560 14.01
14.78/14.82	c     8103     60     3143    91721   29     7338    4503   3113    562 14.41
14.78/14.82	o -7445
15.68/15.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.68/15.75	c     8295     60     3454   100264   29     7992    3720   3424    559 14.81
15.68/15.75	c     8396     60     3637   104164   28     8344    4093   3607    557 15.06
15.68/15.75	c     8646     60     4065   115193   28     9187    4503   4035    556 15.55
15.68/15.75	o -7448
19.29/19.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.29/19.30	c     8753     60     4229   119726   28     9604    3720   4199    555 15.75
19.29/19.30	c     8853     60     2053    59607   29     4916    4093   2023    554 15.97
19.29/19.30	c     9103     60     2468    70713   28     5871    4503   2438    552 16.49
19.29/19.30	c     9578     60     3231    93062   28     7506    4954   3201    553 17.30
19.29/19.30	c    10391     60     4521   132377   29     9998    5450   4491    556 18.66
19.29/19.30	o -7458
20.79/20.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.79/20.85	c    10739     60     5067   150142   29    11267    3720   5037    556 19.29
20.79/20.85	c    10839     60     2072    63415   30     5085    4093   2042    554 19.56
20.79/20.85	c    11090     60     2521    74591   29     6138    4503   2491    550 20.14
20.79/20.85	o -7503
29.68/29.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.68/29.73	c    11521     60     3181    95693   30     7444    3720   3151    552 20.85
29.68/29.73	c    11621     60     3354   100023   29     7733    4093   3324    551 21.07
29.68/29.73	c    11879     60     3777   111440   29     8662    4503   3747    551 21.56
29.68/29.73	c    12354     60     4485   133574   29     9993    4954   4455    552 22.34
29.68/29.73	c    13167     60     3275   100218   30     7534    5450   3245    556 23.66
29.68/29.73	c    14487     60     5308   168776   31    11575    5996   5278    564 25.66
29.68/29.73	c    16568     60     5546   183600   33    12108    6596   5516    565 29.30
29.68/29.73	o -7530
31.58/31.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.58/31.62	c    16792     60     5899   193617   32    12802    3720   5869    564 29.73
31.58/31.62	c    16894     60     2081    67484   32     5070    4093   2051    563 30.01
31.58/31.62	c    17144     60     2475    78989   31     5954    4503   2445    563 30.45
31.58/31.62	c    17619     60     3285   104575   31     7537    4954   3255    562 31.35
31.58/31.62	o -7545
31.68/31.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.68/31.77	c    17763     60     3513   111380   31     8029    3720   3483    561 31.61
31.68/31.77	o -7563
34.08/34.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
34.08/34.13	c    17837     60     3634   114789   31     8259    3720   3604    561 31.76
34.08/34.13	c    17940     60     1891    58694   31     4738    4093   1861    560 31.98
34.08/34.13	c    18200     60     2345    71021   30     5722    4503   2315    559 32.53
34.08/34.13	c    18683     60     3157    94260   29     7220    4954   3127    560 33.36
34.08/34.13	o -7568
36.48/36.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
36.48/36.53	c    19061     60     3791   112574   29     8554    3720   3761    558 34.13
36.48/36.53	c    19162     60     2073    62459   30     5107    4093   2043    557 34.35
36.48/36.53	c    19412     60     2493    77152   30     5951    4503   2463    557 34.81
36.48/36.53	c    19887     60     3332   101724   30     7592    4954   3302    556 35.76
36.48/36.53	o -7572
41.58/41.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.58/41.62	c    20297     60     4034   121348   30     9021    3720   4004    555 36.52
41.58/41.62	c    20397     60     2073    61306   29     5105    4093   2043    555 36.75
41.58/41.62	c    20647     60     2502    74656   29     6048    4503   2472    553 37.27
41.58/41.62	c    21122     60     3336    98701   29     7533    4954   3306    553 38.14
41.58/41.62	c    21935     60     4783   138897   29    10536    5450   4753    548 39.98
41.58/41.62	o -7600
48.28/48.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
48.28/48.32	c    22814     60     3498   101943   29     8052    3720   3468    548 41.62
48.28/48.32	c    22914     60     3680   105909   28     8276    4093   3650    547 41.88
48.28/48.32	c    23164     60     4101   117422   28     9194    4503   4071    546 42.38
48.28/48.32	c    23640     60     2594    75469   29     6184    4954   2564    546 43.27
48.28/48.32	c    24453     60     3991   118168   29     8903    5450   3961    544 44.89
48.28/48.32	c    25773     60     3590   107206   29     8082    5996   3560    539 47.74
48.28/48.32	o -7625
51.37/51.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
51.37/51.40	c    26030     60     4044   120243   29     9058    3720   4014    538 48.31
51.37/51.40	c    26130     60     2066    62205   30     4999    4093   2036    538 48.54
51.37/51.40	c    26380     60     2488    75321   30     5975    4503   2458    537 49.04
51.37/51.40	c    26856     60     3323   101773   30     7674    4954   3293    536 50.03
51.37/51.40	o -7626
53.78/53.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
53.78/53.85	c    27544     60     4514   135747   30    10136    3720   4484    536 51.39
53.78/53.85	c    27644     60     2046    61604   30     5023    4093   2016    536 51.57
53.78/53.85	c    27894     60     2478    75451   30     5875    4503   2448    535 52.05
53.78/53.85	c    28374     60     3348   100387   29     7689    4954   3318    533 53.19
53.78/53.85	o -7634
57.97/58.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
57.97/58.03	c    28667     60     3838   115779   30     8714    3720   3808    532 53.84
57.97/58.03	c    28768     60     2062    61699   29     5132    4093   2032    532 54.07
57.97/58.03	c    29018     60     2474    73984   29     5921    4503   2444    532 54.54
57.97/58.03	c    29493     60     3284    98971   30     7479    4954   3254    531 55.48
57.97/58.03	c    30306     60     4615   140507   30    10247    5450   4585    532 56.92
57.97/58.03	o -7636
63.87/63.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.87/63.99	c    30863     60     2801    89080   31     6620    3720   2771    531 58.02
63.87/63.99	c    30967     60     2997    93897   31     7060    4093   2967    531 58.25
63.87/63.99	c    31224     60     3422   107511   31     7867    4503   3392    531 58.76
63.87/63.99	c    31702     60     4255   132714   31     9530    4954   4225    531 59.67
63.87/63.99	c    32515     60     3162    98533   31     7367    5450   3132    529 61.38
63.87/63.99	o -7647
65.78/65.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
65.78/65.82	c    33829     60     5405   170876   31    11839    3720   5375    528 63.98
65.78/65.82	c    33929     60     2077    64825   31     5177    4093   2047    527 64.27
65.78/65.82	c    34179     60     2526    76685   30     6035    4503   2496    527 64.82
65.78/65.82	o -7655
67.67/67.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
67.67/67.79	c    34631     60     3323    99907   30     7642    3720   3293    526 65.81
67.67/67.79	c    34731     59     3478   103754   29     8028    4093   3448    526 66.01
67.67/67.79	c    34981     59     3898   115803   29     8679    4503   3868    526 66.50
67.67/67.79	c    35459     59     2428    76414   31     5867    4954   2398    526 67.39
67.67/67.79	o -7658
68.27/68.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
68.27/68.39	c    35664     59     2772    86239   31     6565    3718   2742    526 67.78
68.27/68.39	c    35765     59     2947    90582   30     6955    4090   2917    526 67.99
68.27/68.39	o -7662
68.87/68.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
68.87/68.90	c    35990     59     3293   103016   31     7685    3718   3263    526 68.38
68.87/68.90	c    36097     59     3480   108597   31     8057    4090   3450    526 68.62
68.87/68.90	o -7679
69.08/69.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
69.08/69.12	c    36217     59     3688   113495   30     8482    3718   3658    525 68.88
69.08/69.12	c    36317     59     1986    60894   30     4818    4090   1956    525 69.09
69.08/69.12	o -7713
70.68/70.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
70.68/70.71	c    36319     59     1989    61046   30     4969    3718   1959    525 69.10
70.68/70.71	c    36419     59     2161    66470   30     5287    4090   2131    525 69.31
70.68/70.71	c    36669     59     2576    79374   30     6163    4500   2546    525 69.76
70.68/70.71	c    37144     57     3393   101746   29     7792    4951   3363    525 70.65
70.68/70.71	o -7719
71.87/71.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
71.87/71.99	c    37161     57     3421   102756   30     7904    3714   3391    525 70.69
71.87/71.99	c    37266     57     3605   107058   29     8328    4086   3575    525 70.94
71.87/71.99	c    37516     57     4032   119709   29     9175    4495   4002    525 71.42
71.87/71.99	o -7725
71.97/72.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
71.97/72.04	c    37828     57     2282    68733   30     5539    3714   2252    525 71.99
71.97/72.04	o -7738
72.77/72.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
72.77/72.87	c    37844     56     2303    69106   30     5622    3712   2273    525 72.02
72.77/72.87	c    37944     55     2471    73813   29     5956    4084   2441    525 72.21
72.77/72.87	c    38194     55     2885    86725   30     6740    4493   2855    526 72.59
72.77/72.87	o -7739
75.27/75.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
75.27/75.39	c    38322     55     3102    92908   29     7299    3710   3072    526 72.85
75.27/75.39	c    38425     55     3280    97167   29     7633    4082   3250    525 73.08
75.27/75.39	c    38675     55     3711   108307   29     8511    4491   3681    525 73.62
75.27/75.39	c    39150     54     4517   130028   28    10112    4941   4487    525 74.53
75.27/75.39	o -7761
76.98/77.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
76.98/77.08	c    39607     51     2787    79455   28     6638    3702   2757    525 75.38
76.98/77.08	c    39707     51     2965    82637   27     6917    4073   2935    525 75.57
76.98/77.08	c    39957     49     3384    92526   27     7740    4481   3354    525 76.00
76.98/77.08	c    40432     43     4159   111088   26     9338    4930   4129    526 76.78
76.98/77.08	o -7772
77.07/77.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
77.07/77.16	c    40637     34     4467   117585   26     9992    3668   4437    527 77.06
77.07/77.16	v -x1 x12 -x23 -x34 x45 -x56 -x58 x59 x60 -x2 x3 -x4 x5 x6 -x7 x8 -x9 x10 x11 -x13 x14 -x15 -x16 -x17 x18 -x19 x20 -x21 -x22 x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x35 -x36 -x37 -x38 -x39 -x40 x41 x42 -x43 -x44 -x46 -x47 -x48 x49 -x50 -x51 x52 -x53 -x54 x55 -x57 
77.07/77.16	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
77.07/77.16	c  173    40687    161    42577     1963    48245   1933    527 77.14
77.07/77.16	c Objective: -7772
77.07/77.16	s OPTIMUM FOUND
77.07/77.16	c Total time: 77.142 s

Verifier Data 

OK	-7772

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878987-1245133695/watcher-1878987-1245133695 -o /tmp/evaluation-result-1878987-1245133695/solver-1878987-1245133695 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878987-1245133695.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.92 0.98 0.99 3/64 7567
/proc/meminfo: memFree=1463976/2055920 swapFree=4192812/4192956
[pid=7567] ppid=7565 vsize=26332 CPUtime=0
/proc/7567/stat : 7567 (bsolo) R 7565 7567 7424 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 180969062 26963968 242 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7567/statm: 6583 242 189 640 0 5939 0

[startup+0.041953 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 7567
/proc/meminfo: memFree=1463976/2055920 swapFree=4192812/4192956
[pid=7567] ppid=7565 vsize=26884 CPUtime=0.03
/proc/7567/stat : 7567 (bsolo) R 7565 7567 7424 0 -1 4194304 1072 0 0 0 3 0 0 0 18 0 1 0 180969062 27529216 389 1992294400 134512640 137136520 4294956256 18446744073709551615 135447703 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7567/statm: 6721 389 292 640 0 6077 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 26884

[startup+0.101956 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 7567
/proc/meminfo: memFree=1463976/2055920 swapFree=4192812/4192956
[pid=7567] ppid=7565 vsize=26900 CPUtime=0.09
/proc/7567/stat : 7567 (bsolo) R 7565 7567 7424 0 -1 4194304 2444 0 0 0 9 0 0 0 18 0 1 0 180969062 27545600 404 1992294400 134512640 137136520 4294956256 18446744073709551615 135442568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7567/statm: 6725 404 292 640 0 6081 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26900

[startup+0.301969 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 7567
/proc/meminfo: memFree=1463976/2055920 swapFree=4192812/4192956
[pid=7567] ppid=7565 vsize=19220 CPUtime=0.29
/proc/7567/stat : 7567 (bsolo) R 7565 7567 7424 0 -1 4194304 6970 0 0 0 27 2 0 0 19 0 1 0 180969062 19681280 415 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7567/statm: 4805 416 292 640 0 4161 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19220

[startup+0.701995 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 7567
/proc/meminfo: memFree=1463976/2055920 swapFree=4192812/4192956
[pid=7567] ppid=7565 vsize=18964 CPUtime=0.69
/proc/7567/stat : 7567 (bsolo) R 7565 7567 7424 0 -1 4194304 16305 0 0 0 63 6 0 0 22 0 1 0 180969062 19419136 462 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7567/statm: 4741 462 292 640 0 4097 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18964

[startup+1.50105 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 7568
/proc/meminfo: memFree=1463016/2055920 swapFree=4192812/4192956
[pid=7567] ppid=7565 vsize=19896 CPUtime=1.49
/proc/7567/stat : 7567 (bsolo) R 7565 7567 7424 0 -1 4194304 34053 0 0 0 137 12 0 0 25 0 1 0 180969062 20373504 586 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7567/statm: 4974 586 292 640 0 4330 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19896

[startup+3.10115 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 7568
/proc/meminfo: memFree=1462184/2055920 swapFree=4192812/4192956
[pid=7567] ppid=7565 vsize=20776 CPUtime=3.09
/proc/7567/stat : 7567 (bsolo) R 7565 7567 7424 0 -1 4194304 68257 0 0 0 285 24 0 0 25 0 1 0 180969062 21274624 808 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7567/statm: 5194 808 292 640 0 4550 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20776

[startup+6.30136 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 7568
/proc/meminfo: memFree=1461160/2055920 swapFree=4192812/4192956
[pid=7567] ppid=7565 vsize=21244 CPUtime=6.29
/proc/7567/stat : 7567 (bsolo) R 7565 7567 7424 0 -1 4194304 120192 0 0 0 585 44 0 0 25 0 1 0 180969062 21753856 907 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7567/statm: 5311 907 292 640 0 4667 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21244

[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 7568
/proc/meminfo: memFree=1461096/2055920 swapFree=4192812/4192956
[pid=7567] ppid=7565 vsize=21240 CPUtime=12.69
/proc/7567/stat : 7567 (bsolo) R 7565 7567 7424 0 -1 4194304 212134 0 0 0 1191 78 0 0 25 0 1 0 180969062 21749760 901 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7567/statm: 5310 901 292 640 0 4666 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21240

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 7568
/proc/meminfo: memFree=1460776/2055920 swapFree=4192812/4192956
[pid=7567] ppid=7565 vsize=21764 CPUtime=25.49
/proc/7567/stat : 7567 (bsolo) R 7565 7567 7424 0 -1 4194304 401806 0 0 0 2395 154 0 0 25 0 1 0 180969062 22286336 1038 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7567/statm: 5441 1038 292 640 0 4797 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21764

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 7568
/proc/meminfo: memFree=1460072/2055920 swapFree=4192812/4192956
[pid=7567] ppid=7565 vsize=21708 CPUtime=51.08
/proc/7567/stat : 7567 (bsolo) R 7565 7567 7424 0 -1 4194304 773398 0 0 0 4810 298 0 0 25 0 1 0 180969062 22228992 1149 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7567/statm: 5427 1149 292 640 0 4783 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 21708

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

[startup+63.9011 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 7568
/proc/meminfo: memFree=1460136/2055920 swapFree=4192812/4192956
[pid=7567] ppid=7565 vsize=21708 CPUtime=63.87
/proc/7567/stat : 7567 (bsolo) R 7565 7567 7424 0 -1 4194304 959955 0 0 0 6015 372 0 0 25 0 1 0 180969062 22228992 1149 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7567/statm: 5427 1149 292 640 0 4783 0
Current children cumulated CPU time (s) 63.87
Current children cumulated vsize (KiB) 21708

[startup+70.3015 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 7568
/proc/meminfo: memFree=1460136/2055920 swapFree=4192812/4192956
[pid=7567] ppid=7565 vsize=22204 CPUtime=70.27
/proc/7567/stat : 7567 (bsolo) R 7565 7567 7424 0 -1 4194304 1046676 0 0 0 6619 408 0 0 25 0 1 0 180969062 22736896 1162 1992294400 134512640 137136520 4294956256 18446744073709551615 135447703 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7567/statm: 5551 1163 292 640 0 4907 0
Current children cumulated CPU time (s) 70.27
Current children cumulated vsize (KiB) 22204

[startup+73.5017 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 7568
/proc/meminfo: memFree=1460136/2055920 swapFree=4192812/4192956
[pid=7567] ppid=7565 vsize=22212 CPUtime=73.47
/proc/7567/stat : 7567 (bsolo) R 7565 7567 7424 0 -1 4194304 1089600 0 0 0 6919 428 0 0 25 0 1 0 180969062 22745088 1159 1992294400 134512640 137136520 4294956256 18446744073709551615 135467556 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7567/statm: 5553 1159 292 640 0 4909 0
Current children cumulated CPU time (s) 73.47
Current children cumulated vsize (KiB) 22212

[startup+75.1018 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 7568
/proc/meminfo: memFree=1460136/2055920 swapFree=4192812/4192956
[pid=7567] ppid=7565 vsize=22216 CPUtime=75.07
/proc/7567/stat : 7567 (bsolo) R 7565 7567 7424 0 -1 4194304 1111088 0 0 0 7070 437 0 0 25 0 1 0 180969062 22749184 1161 1992294400 134512640 137136520 4294956256 18446744073709551615 135448333 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7567/statm: 5554 1161 292 640 0 4910 0
Current children cumulated CPU time (s) 75.07
Current children cumulated vsize (KiB) 22216

[startup+75.9059 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 7568
/proc/meminfo: memFree=1460136/2055920 swapFree=4192812/4192956
[pid=7567] ppid=7565 vsize=22208 CPUtime=75.87
/proc/7567/stat : 7567 (bsolo) R 7565 7567 7424 0 -1 4194304 1122507 0 0 0 7146 441 0 0 25 0 1 0 180969062 22740992 1158 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7567/statm: 5552 1158 292 640 0 4908 0
Current children cumulated CPU time (s) 75.87
Current children cumulated vsize (KiB) 22208

[startup+76.7019 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 7568
/proc/meminfo: memFree=1460136/2055920 swapFree=4192812/4192956
[pid=7567] ppid=7565 vsize=21704 CPUtime=76.68
/proc/7567/stat : 7567 (bsolo) R 7565 7567 7424 0 -1 4194304 1134153 0 0 0 7221 447 0 0 25 0 1 0 180969062 22224896 1149 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7567/statm: 5551 1154 292 640 0 4907 0
Current children cumulated CPU time (s) 76.68
Current children cumulated vsize (KiB) 21704

[startup+77.102 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 7568
/proc/meminfo: memFree=1460136/2055920 swapFree=4192812/4192956
[pid=7567] ppid=7565 vsize=21704 CPUtime=77.07
/proc/7567/stat : 7567 (bsolo) R 7565 7567 7424 0 -1 4194304 1140141 0 0 0 7258 449 0 0 25 0 1 0 180969062 22224896 1149 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7567/statm: 5426 1149 292 640 0 4782 0
Current children cumulated CPU time (s) 77.07
Current children cumulated vsize (KiB) 21704

Child status: 0
Real time (s): 77.1656
CPU time (s): 77.1443
CPU user time (s): 72.644
CPU system time (s): 4.50031
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 26900

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

runsolver used 0.06299 second user time and 0.168974 second system time

The end

Launcher Data 

Begin job on node30 at 2009-06-16 08:28:15
IDJOB=1878987
IDBENCH=1857
IDSOLVER=700
FILE ID=node30/1878987-1245133695
PBS_JOBID= 9363688
Free space on /tmp= 66244 MiB

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

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

MD5SUM BENCH= d0f46c7e79d3309033cc6b73ceacef6c
RANDOM SEED=1767342868

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:       1464392 kB
Buffers:         58960 kB
Cached:         445664 kB
SwapCached:        140 kB
Active:         150800 kB
Inactive:       367788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1464392 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3952 kB
Writeback:           0 kB
Mapped:          23704 kB
Slab:            58988 kB
Committed_AS:   147724 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:29:32