Trace number 1878988

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 clOPT1523 48.2217 48.2423

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: 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-1878988-1245133750.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.003 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.02	c      100    195      233     6794   29      898    3591    100   4545 0.02
0.00/0.02	o 2550
0.08/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.10	c      152    195      286     9791   34     1185    3654    153   5241 0.03
0.08/0.10	o 2530
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c      152    195      287     9986   34     1342    3654    154   1535 0.10
0.09/0.18	o 2510
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c      152    195      288    10181   35     1531    3654    155    849 0.18
0.19/0.24	o 2500
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c      152    195      289    10376   35     1690    3654    156    615 0.25
0.29/0.32	o 2488
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c      153    195      292    10858   37     1850    3654    159    470 0.33
0.39/0.42	o 2454
0.49/0.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.52	c      159    195      305    12764   41     2089    3654    172    376 0.42
0.49/0.52	o 2450
0.59/0.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.63	c      172    195      327    15390   47     2279    3654    194    327 0.53
0.59/0.63	o 2442
0.69/0.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.72	c      179    195      340    16659   48     2516    3654    207    283 0.63
0.69/0.72	o 2424
0.79/0.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.89	c      186    195      354    18051   50     2737    3654    221    256 0.73
0.79/0.89	o 2418
0.89/1.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/1.00	c      247    195      475    30590   64     3126    3654    342    277 0.89
0.89/1.00	o 2414
1.10/1.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.10	c      263    195      505    34575   68     3388    3654    372    263 1.00
1.10/1.10	o 2402
1.19/1.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.20	c      286    195      548    40276   73     3646    3654    415    258 1.10
1.19/1.20	o 2390
1.19/1.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.29	c      303    195      581    44407   76     3887    3654    448    252 1.20
1.19/1.29	o 2382
1.39/1.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.47	c      317    195      610    48357   79     4141    3654    477    246 1.29
1.39/1.47	o 2364
1.49/1.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.56	c      387    195      745    66011   88     4560    3654    612    262 1.48
1.49/1.56	o 2362
1.59/1.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.63	c      396    195      764    68662   89     4764    3654    631    253 1.56
1.59/1.63	o 2352
1.69/1.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.76	c      401    195      773    69862   90     4959    3654    640    245 1.63
1.69/1.76	o 2344
2.09/2.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.14	c      437    195      838    76700   91     5343    3654    705    248 1.76
2.09/2.14	c      537    195      938    82210   87     5361    4020    805    271 1.98
2.09/2.14	o 2263
2.20/2.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.20/2.23	c      557    195      959    83349   86     5639    3654    826    259 2.15
2.20/2.23	o 2183
2.29/2.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.31	c      558    195      962    83636   86     5817    3654    829    250 2.23
2.29/2.31	o 2087
2.29/2.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.37	c      564    195      969    84010   86     5966    3654    836    243 2.31
2.29/2.37	o 2061
2.39/2.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.39/2.44	c      566    195      974    84656   86     6152    3654    841    238 2.37
2.39/2.44	o 2049
2.49/2.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.51	c      573    195      988    86558   87     6343    3654    855    234 2.44
2.49/2.51	o 2047
2.49/2.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.57	c      578    195      997    87897   88     6509    3654    864    230 2.51
2.49/2.57	o 2037
2.59/2.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.67	c      584    195     1006    88922   88     6716    3654    873    226 2.58
2.59/2.67	o 2029
2.69/2.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.74	c      603    195     1035    92170   89     6885    3654    902    225 2.67
2.69/2.74	o 2017
2.79/2.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.87	c      614    195     1054    94492   89     7106    3654    921    223 2.74
2.79/2.87	o 1999
2.99/3.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.07	c      649    195     1101    98817   89     7361    3654    968    225 2.87
2.99/3.07	o 1994
4.88/4.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.88/4.93	c      722    195     1218   113078   92     7748    3654   1085    235 3.07
4.88/4.93	c      823    195     1324   119130   89     7927    4020   1191    251 3.27
4.88/4.93	c     1073    195     1574   132036   83     8463    4423   1441    295 3.63
4.88/4.93	c     1549    195     2067   160568   77     9388    4866   1934    356 4.34
4.88/4.93	o 1947
5.18/5.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.18/5.27	c     1835    195     2437   194655   79    10335    3654   2304    371 4.93
5.18/5.27	c     1936    195     2620   217768   83    10675    4020   2487    372 5.20
5.18/5.27	o 1944
5.29/5.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.29/5.35	c     1938    195     2625   218439   83    10999    3654   2492    367 5.27
5.29/5.35	o 1932
5.49/5.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.49/5.55	c     1942    195     2633   219317   83    11232    3654   2500    362 5.36
5.49/5.55	o 1931
5.59/5.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.59/5.64	c     1972    195     2690   225760   83    11483    3654   2557    355 5.55
5.59/5.64	o 1922
5.69/5.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.80	c     1990    195     2723   229132   84    11735    3654   2590    352 5.65
5.69/5.80	o 1919
5.89/5.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.89/5.93	c     2015    195     2769   234724   84    12000    3654   2636    347 5.80
5.89/5.93	o 1907
5.99/6.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.99/6.01	c     2033    195     2803   238398   85    12276    3654   2670    342 5.93
5.99/6.01	o 1897
6.09/6.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.09/6.11	c     2041    195     2820   240234   85    12468    3654   2687    339 6.01
6.09/6.11	o 1885
6.19/6.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.19/6.27	c     2063    195     2864   244740   85    12739    3654   2731    337 6.11
6.19/6.27	o 1869
7.69/7.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.69/7.72	c     2111    195     2951   254748   86    12986    3654   2818    336 6.28
7.69/7.72	c     2211    195     3140   272718   86    13221    4020   3007    334 6.60
7.69/7.72	c     2461    195     3588   320694   89    14210    4423   3455    342 7.19
7.69/7.72	o 1866
8.09/8.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.09/8.16	c     2675    195     3982   361927   90    15229    3654   3849    346 7.72
8.09/8.16	c     2776    195     2153   171972   79     4931    4020   2020    346 8.01
8.09/8.16	o 1859
8.29/8.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.29/8.36	c     2818    195     2228   179383   80     5271    3654   2095    345 8.16
8.29/8.36	o 1852
9.79/9.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.79/9.82	c     2882    195     2347   193581   82     5671    3654   2214    344 8.36
9.79/9.82	c     2984    195     2549   213793   83     6063    4020   2416    344 8.67
9.79/9.82	c     3234    195     3033   267130   88     7057    4423   2900    344 9.38
9.79/9.82	o 1837
9.89/9.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.89/9.94	c     3400    195     3352   302290   90     7880    3654   3219    346 9.82
9.89/9.94	o 1831
9.99/10.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.99/10.02	c     3411    195     3370   304308   90     8084    3654   3237    343 9.94
9.99/10.02	o 1804
10.09/10.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.09/10.11	c     3416    195     3380   305466   90     8289    3654   3247    340 10.02
10.09/10.11	o 1799
10.19/10.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.19/10.21	c     3425    195     3399   307754   90     8511    3654   3266    338 10.11
10.19/10.21	o 1797
10.29/10.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.29/10.30	c     3441    195     3427   310987   90     8744    3654   3294    336 10.21
10.29/10.30	o 1791
10.39/10.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.39/10.47	c     3448    195     3442   313020   90     8959    3654   3309    334 10.30
10.39/10.47	o 1787
10.59/10.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.59/10.60	c     3497    195     3534   324665   91     9314    3654   3401    334 10.47
10.59/10.60	o 1781
10.69/10.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.69/10.71	c     3523    195     3579   329443   92     9577    3654   3446    332 10.60
10.69/10.71	o 1779
10.79/10.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.79/10.80	c     3549    195     3622   335039   92     9832    3654   3489    331 10.71
10.79/10.80	o 1774
11.09/11.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.09/11.10	c     3558    195     3639   337065   92    10052    3654   3506    329 10.80
11.09/11.10	o 1765
11.18/11.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.18/11.28	c     3653    195     1965   189878   96     4565    3654   1832    328 11.11
11.18/11.28	o 1757
11.49/11.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.49/11.56	c     3709    195     2057   201867   98     4931    3654   1924    328 11.28
11.49/11.56	o 1747
11.59/11.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.59/11.64	c     3787    195     2205   214087   97     5403    3654   2072    327 11.56
11.59/11.64	o 1744
12.09/12.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.09/12.11	c     3798    195     2225   216005   97     5603    3654   2092    326 11.64
12.09/12.11	c     3898    195     2423   233602   96     6010    4020   2290    325 11.97
12.09/12.11	o 1739
12.59/12.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.59/12.68	c     3934    195     2491   239920   96     6328    3654   2358    324 12.11
12.59/12.68	c     4034    195     2683   256875   95     6711    4020   2550    324 12.45
12.59/12.68	o 1730
12.78/12.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.78/12.87	c     4110    195     2820   270614   95     7165    3654   2687    324 12.68
12.78/12.87	o 1724
13.19/13.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.19/13.25	c     4174    195     2945   284536   96     7595    3654   2812    324 12.87
13.19/13.25	c     4276    195     3136   306077   97     7947    4020   3003    325 13.14
13.19/13.25	o 1719
13.38/13.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.38/13.46	c     4301    195     3185   310121   97     8236    3654   3052    324 13.25
13.38/13.46	o 1707
13.89/13.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.89/13.96	c     4374    195     3330   326264   97     8739    3654   3197    325 13.46
13.89/13.96	c     4481    195     3524   345559   98     9091    4020   3391    326 13.73
13.89/13.96	o 1704
14.58/14.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.58/14.60	c     4560    195     3677   360701   98     9598    3654   3544    326 13.96
14.58/14.60	c     4663    195     1964   175749   89     4559    4020   1831    326 14.26
14.58/14.60	o 1696
14.98/15.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.98/15.08	c     4794    195     2222   206573   92     5274    3654   2089    328 14.60
14.98/15.08	c     4899    195     2428   225767   92     5683    4020   2295    329 14.87
14.98/15.08	o 1686
15.29/15.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.29/15.31	c     4982    195     2582   243116   94     6172    3654   2449    330 15.07
15.29/15.31	o 1682
15.59/15.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.59/15.66	c     5063    195     2734   258050   94     6647    3654   2601    330 15.31
15.59/15.66	c     5165    195     2934   278820   95     7066    4020   2801    331 15.59
15.59/15.66	o 1679
15.79/15.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.79/15.80	c     5174    195     2953   280616   95     7289    3654   2820    330 15.66
15.79/15.80	o 1667
16.08/16.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.08/16.18	c     5210    195     3024   286291   94     7609    3654   2891    329 15.80
16.08/16.18	c     5313    195     3220   306323   95     8011    4020   3087    330 16.07
16.08/16.18	o 1657
16.68/16.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.68/16.72	c     5341    195     3277   312119   95     8281    3654   3144    330 16.18
16.68/16.72	c     5441    195     3475   330524   95     8678    4020   3342    330 16.46
16.68/16.72	o 1654
17.59/17.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.59/17.60	c     5532    195     3650   349370   95     9181    3654   3517    330 16.72
17.59/17.60	c     5632    195     1984   174587   87     4609    4020   1851    330 17.03
17.59/17.60	o 1651
19.98/20.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.98/20.05	c     5843    195     2400   216294   90     5618    3654   2267    332 17.60
19.98/20.05	c     5947    195     2602   235827   90     6034    4020   2469    332 17.86
19.98/20.05	c     6198    195     3096   287010   92     7025    4423   2963    335 18.50
19.98/20.05	c     6673    195     3975   376600   94     8784    4866   3842    339 19.64
19.98/20.05	o 1643
20.18/20.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.18/20.24	c     6802    195     4224   400813   94     9440    3654   4091    339 20.04
20.18/20.24	o 1635
20.68/20.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.68/20.79	c     6867    195     2098   185588   88     5024    3654   1965    339 20.24
20.68/20.79	c     6967    195     2296   202965   88     5411    4020   2163    339 20.52
20.68/20.79	o 1629
20.89/20.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.89/20.91	c     7050    195     2459   216636   88     5926    3654   2326    339 20.79
20.89/20.91	o 1625
20.98/21.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.98/21.01	c     7073    195     2504   220521   88     6195    3654   2371    338 20.90
20.98/21.01	o 1623
21.18/21.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.18/21.23	c     7093    195     2543   224784   88     6441    3654   2410    337 21.01
21.18/21.23	o 1617
21.28/21.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.28/21.32	c     7157    195     2668   238735   89     6817    3654   2535    337 21.23
21.28/21.32	o 1611
21.48/21.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.48/21.54	c     7169    195     2692   241791   89     7094    3654   2559    336 21.31
21.48/21.54	o 1607
22.18/22.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.18/22.21	c     7229    195     2809   255095   90     7500    3654   2676    335 21.53
22.18/22.21	c     7330    195     3010   271147   90     7854    4020   2877    334 21.91
22.18/22.21	o 1599
22.28/22.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.28/22.31	c     7414    195     3177   286833   90     8431    3654   3044    333 22.20
22.28/22.31	o 1595
22.28/22.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.28/22.36	c     7434    195     3218   291519   90     8690    3654   3085    333 22.31
22.28/22.36	o 1587
22.68/22.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.68/22.75	c     7438    195     3227   292834   90     8884    3654   3094    332 22.36
22.68/22.75	c     7538    195     3424   313602   91     9170    4020   3291    332 22.68
22.68/22.75	o 1583
22.78/22.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.78/22.81	c     7543    195     3435   314945   91     9477    3654   3302    331 22.75
22.78/22.81	o 1575
23.48/23.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
23.48/23.51	c     7547    195     3444   316202   91     9672    3654   3311    331 22.80
23.48/23.51	c     7649    195     3644   334874   91     9956    4020   3511    330 23.14
23.48/23.51	o 1563
24.58/24.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.58/24.60	c     7757    195     3857   353764   91    10685    3654   3724    329 23.51
24.58/24.60	c     7864    195     2190   187858   85     5016    4020   2057    329 23.84
24.58/24.60	o 1561
26.78/26.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.78/26.87	c     8083    195     2624   227511   86     6074    3654   2491    328 24.60
26.78/26.87	c     8183    195     2820   245539   87     6448    4020   2687    328 24.91
26.78/26.87	c     8433    195     3300   284971   86     7389    4423   3167    327 25.79
26.78/26.87	o 1551
40.57/40.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.57/40.61	c     8779    195     3967   344855   86     8937    3654   3834    326 26.86
40.57/40.61	c     8884    195     2201   167745   76     5019    4020   2068    325 27.31
40.57/40.61	c     9137    195     2701   203234   75     6025    4423   2568    324 28.17
40.57/40.61	c     9614    195     3629   272787   75     7884    4866   3496    321 29.91
40.57/40.61	c    10427    195     2744   201865   73     6127    5353   2611    318 32.71
40.57/40.61	c    11748    195     5317   401575   75    11272    5889   5184    316 37.08
40.57/40.61	o 1547
40.98/41.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.98/41.05	c    12864    195     4451   332497   74     9733    3654   4318    316 40.59
40.98/41.05	o 1535
41.17/41.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.17/41.24	c    12943    195     2116   141770   66     5061    3654   1983    315 41.03
41.17/41.24	o 1533
41.97/42.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.97/42.06	c    12999    195     2217   151232   68     5434    3654   2084    315 41.22
41.97/42.06	c    13099    195     2408   165595   68     5799    4020   2275    314 41.61
41.97/42.06	o 1523
48.17/48.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
48.17/48.24	c    13233    195     2658   184410   69     6485    3654   2525    314 42.05
48.17/48.24	c    13336    195     2841   196409   69     6835    4020   2708    314 42.36
48.17/48.24	c    13586    195     3312   222574   67     7755    4423   3179    314 43.26
48.17/48.24	c    14063    195     4240   293654   69     9634    4866   4107    312 44.94
48.17/48.24	c    14885    180     3258   210961   64     7171    5353   3125    314 47.35
48.17/48.24	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 
48.17/48.24	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
48.17/48.24	c  131    15232    656    23972     3941   267488   3808    315 48.22
48.17/48.24	c Objective: 1523
48.17/48.24	s OPTIMUM FOUND
48.17/48.24	c Total time: 48.218 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-1878988-1245133750/watcher-1878988-1245133750 -o /tmp/evaluation-result-1878988-1245133750/solver-1878988-1245133750 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878988-1245133750.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: 1.00 1.00 0.99 3/64 1015
/proc/meminfo: memFree=1472448/2055920 swapFree=4192812/4192956
[pid=1015] ppid=1013 vsize=10708 CPUtime=0
/proc/1015/stat : 1015 (bsolo) R 1013 1015 826 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 180975667 10964992 243 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1015/statm: 2677 243 189 640 0 2033 0

[startup+0.091684 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 1015
/proc/meminfo: memFree=1472448/2055920 swapFree=4192812/4192956
[pid=1015] ppid=1013 vsize=11636 CPUtime=0.08
/proc/1015/stat : 1015 (bsolo) R 1013 1015 826 0 -1 4194304 1972 0 0 0 8 0 0 0 18 0 1 0 180975667 11915264 442 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1015/statm: 2909 442 299 640 0 2265 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11636

[startup+0.101686 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 1015
/proc/meminfo: memFree=1472448/2055920 swapFree=4192812/4192956
[pid=1015] ppid=1013 vsize=11628 CPUtime=0.09
/proc/1015/stat : 1015 (bsolo) R 1013 1015 826 0 -1 4194304 2246 0 0 0 9 0 0 0 18 0 1 0 180975667 11907072 431 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1015/statm: 2907 431 293 640 0 2263 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11628

[startup+0.301729 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 1015
/proc/meminfo: memFree=1472448/2055920 swapFree=4192812/4192956
[pid=1015] ppid=1013 vsize=11528 CPUtime=0.29
/proc/1015/stat : 1015 (bsolo) R 1013 1015 826 0 -1 4194304 6615 0 0 0 27 2 0 0 19 0 1 0 180975667 11804672 432 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1015/statm: 2882 432 293 640 0 2238 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11528

[startup+0.701815 s]
/proc/loadavg: 1.00 1.00 0.99 3/64 1015
/proc/meminfo: memFree=1472448/2055920 swapFree=4192812/4192956
[pid=1015] ppid=1013 vsize=11764 CPUtime=0.69
/proc/1015/stat : 1015 (bsolo) R 1013 1015 826 0 -1 4194304 13760 0 0 0 65 4 0 0 23 0 1 0 180975667 12046336 536 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1015/statm: 2941 536 293 640 0 2297 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11764

[startup+1.50198 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1016
/proc/meminfo: memFree=1471032/2055920 swapFree=4192812/4192956
[pid=1015] ppid=1013 vsize=11924 CPUtime=1.49
/proc/1015/stat : 1015 (bsolo) R 1013 1015 826 0 -1 4194304 18860 0 0 0 142 7 0 0 25 0 1 0 180975667 12210176 666 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1015/statm: 2981 666 293 640 0 2337 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11924

[startup+3.10133 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1016
/proc/meminfo: memFree=1470520/2055920 swapFree=4192812/4192956
[pid=1015] ppid=1013 vsize=13176 CPUtime=3.09
/proc/1015/stat : 1015 (bsolo) R 1013 1015 826 0 -1 4194304 34163 0 0 0 297 12 0 0 25 0 1 0 180975667 13492224 847 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1015/statm: 3294 847 293 640 0 2650 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13176

[startup+6.30201 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1016
/proc/meminfo: memFree=1468024/2055920 swapFree=4192812/4192956
[pid=1015] ppid=1013 vsize=15092 CPUtime=6.29
/proc/1015/stat : 1015 (bsolo) R 1013 1015 826 0 -1 4194304 62696 0 0 0 605 24 0 0 25 0 1 0 180975667 15454208 1410 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1015/statm: 3773 1410 293 640 0 3129 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15092

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1016
/proc/meminfo: memFree=1466232/2055920 swapFree=4192812/4192956
[pid=1015] ppid=1013 vsize=16548 CPUtime=12.69
/proc/1015/stat : 1015 (bsolo) R 1013 1015 826 0 -1 4194304 136142 0 0 0 1216 53 0 0 25 0 1 0 180975667 16945152 1706 1992294400 134512640 137136520 4294956256 18446744073709551615 135442575 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1015/statm: 4137 1706 293 640 0 3493 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16548

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1016
/proc/meminfo: memFree=1465976/2055920 swapFree=4192812/4192956
[pid=1015] ppid=1013 vsize=16892 CPUtime=25.48
/proc/1015/stat : 1015 (bsolo) R 1013 1015 826 0 -1 4194304 286920 0 0 0 2434 114 0 0 25 0 1 0 180975667 17297408 1781 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1015/statm: 4223 1781 293 640 0 3579 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16892

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

[startup+38.3019 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1016
/proc/meminfo: memFree=1465272/2055920 swapFree=4192812/4192956
[pid=1015] ppid=1013 vsize=17960 CPUtime=38.28
/proc/1015/stat : 1015 (bsolo) R 1013 1015 826 0 -1 4194304 365028 0 0 0 3684 144 0 0 25 0 1 0 180975667 18391040 2143 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1015/statm: 4490 2143 293 640 0 3846 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 17960

[startup+44.7013 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1016
/proc/meminfo: memFree=1464568/2055920 swapFree=4192812/4192956
[pid=1015] ppid=1013 vsize=18032 CPUtime=44.67
/proc/1015/stat : 1015 (bsolo) R 1013 1015 826 0 -1 4194304 398761 0 0 0 4306 161 0 0 25 0 1 0 180975667 18464768 2111 1992294400 134512640 137136520 4294956256 18446744073709551615 135387467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1015/statm: 4508 2111 293 640 0 3864 0
Current children cumulated CPU time (s) 44.67
Current children cumulated vsize (KiB) 18032

[startup+46.3016 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1016
/proc/meminfo: memFree=1464568/2055920 swapFree=4192812/4192956
[pid=1015] ppid=1013 vsize=17704 CPUtime=46.27
/proc/1015/stat : 1015 (bsolo) R 1013 1015 826 0 -1 4194304 407310 0 0 0 4462 165 0 0 25 0 1 0 180975667 18128896 2107 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1015/statm: 4426 2107 293 640 0 3782 0
Current children cumulated CPU time (s) 46.27
Current children cumulated vsize (KiB) 17704

[startup+47.1018 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1016
/proc/meminfo: memFree=1464568/2055920 swapFree=4192812/4192956
[pid=1015] ppid=1013 vsize=18016 CPUtime=47.08
/proc/1015/stat : 1015 (bsolo) R 1013 1015 826 0 -1 4194304 412109 0 0 0 4539 169 0 0 25 0 1 0 180975667 18448384 2110 1992294400 134512640 137136520 4294956256 18446744073709551615 135249135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1015/statm: 4504 2110 293 640 0 3860 0
Current children cumulated CPU time (s) 47.08
Current children cumulated vsize (KiB) 18016

[startup+47.9019 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1016
/proc/meminfo: memFree=1464568/2055920 swapFree=4192812/4192956
[pid=1015] ppid=1013 vsize=17704 CPUtime=47.87
/proc/1015/stat : 1015 (bsolo) R 1013 1015 826 0 -1 4194304 416837 0 0 0 4615 172 0 0 25 0 1 0 180975667 18128896 2108 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1015/statm: 4426 2108 293 640 0 3782 0
Current children cumulated CPU time (s) 47.87
Current children cumulated vsize (KiB) 17704

[startup+48.102 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1016
/proc/meminfo: memFree=1464568/2055920 swapFree=4192812/4192956
[pid=1015] ppid=1013 vsize=18016 CPUtime=48.07
/proc/1015/stat : 1015 (bsolo) R 1013 1015 826 0 -1 4194304 418060 0 0 0 4635 172 0 0 25 0 1 0 180975667 18448384 2113 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1015/statm: 4504 2113 293 640 0 3860 0
Current children cumulated CPU time (s) 48.07
Current children cumulated vsize (KiB) 18016

[startup+48.202 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 1016
/proc/meminfo: memFree=1464568/2055920 swapFree=4192812/4192956
[pid=1015] ppid=1013 vsize=17704 CPUtime=48.17
/proc/1015/stat : 1015 (bsolo) R 1013 1015 826 0 -1 4194304 418722 0 0 0 4644 173 0 0 25 0 1 0 180975667 18128896 2108 1992294400 134512640 137136520 4294956256 18446744073709551615 134623606 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1015/statm: 4426 2108 293 640 0 3782 0
Current children cumulated CPU time (s) 48.17
Current children cumulated vsize (KiB) 17704

Child status: 0
Real time (s): 48.2423
CPU time (s): 48.2217
CPU user time (s): 46.4849
CPU system time (s): 1.73673
CPU usage (%): 99.9573
Max. virtual memory (cumulated for all children) (KiB): 18044

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

runsolver used 0.037994 second user time and 0.116982 second system time

The end

Launcher Data 

Begin job on node10 at 2009-06-16 08:29:10
IDJOB=1878988
IDBENCH=1858
IDSOLVER=700
FILE ID=node10/1878988-1245133750
PBS_JOBID= 9363683
Free space on /tmp= 65988 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-p0201.opb
COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878988-1245133750/watcher-1878988-1245133750 -o /tmp/evaluation-result-1878988-1245133750/solver-1878988-1245133750 -C 1800 -W 2000 -M 1800  bsolo -l1 -t1800 -m1800 HOME/instance-1878988-1245133750.opb

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

MD5SUM BENCH= 303eaeab4b7ccd67c7fab31d13d20bc2
RANDOM SEED=246977098

node10.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.263
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.263
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:       1472864 kB
Buffers:         37552 kB
Cached:         476052 kB
SwapCached:          0 kB
Active:          76776 kB
Inactive:       450208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1472864 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4096 kB
Writeback:           0 kB
Mapped:          23172 kB
Slab:            42152 kB
Committed_AS:   174956 kB
PageTables:       1376 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= 65984 MiB
End job on node10 at 2009-06-16 08:29:58