Trace number 2657924

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 ClOPT1523 48.1017 48.1164

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/
MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb
MD5SUM303eaeab4b7ccd67c7fab31d13d20bc2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1523
Best CPU time to get the best result obtained on this benchmark0.309952
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1523
Optimality of the best value was proved YES
Number of variables201
Total number of constraints133
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)26
Number of constraints which are nor clauses,nor cardinality constraints87
Minimum length of a constraint3
Maximum length of a constraint67
Number of terms in the objective function 201
Biggest coefficient in the objective function 1920
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 19980
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1920
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 19980
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2657924-1276354954.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.006 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.03	c      100    195      233     6794   29      898    3591    100   4347 0.02
0.00/0.03	o 2550
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      152    195      286     9791   34     1185    3654    153   5066 0.03
0.09/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    472 0.32
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    378 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    328 0.52
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    284 0.63
0.69/0.72	o 2424
0.79/0.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.88	c      186    195      354    18051   50     2737    3654    221    257 0.72
0.79/0.88	o 2418
0.89/0.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.99	c      247    195      475    30590   64     3126    3654    342    278 0.89
0.89/0.99	o 2414
0.99/1.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.10	c      263    195      505    34575   68     3388    3654    372    263 1.00
0.99/1.10	o 2402
1.10/1.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.20	c      286    195      548    40276   73     3646    3654    415    259 1.10
1.10/1.20	o 2390
1.19/1.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.28	c      303    195      581    44407   76     3887    3654    448    252 1.20
1.19/1.28	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    254 1.56
1.59/1.63	o 2352
1.69/1.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.75	c      401    195      773    69862   90     4959    3654    640    245 1.63
1.69/1.75	o 2344
2.10/2.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.10/2.14	c      437    195      838    76700   91     5343    3654    705    249 1.75
2.10/2.14	c      537    195      938    82210   87     5361    4020    805    271 1.98
2.10/2.14	o 2263
2.19/2.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.22	c      557    195      959    83349   86     5639    3654    826    259 2.14
2.19/2.22	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    244 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.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.50	c      573    195      988    86558   87     6343    3654    855    234 2.44
2.49/2.50	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.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.66	c      584    195     1006    88922   88     6716    3654    873    227 2.57
2.59/2.66	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    226 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    224 2.74
2.79/2.87	o 1999
2.99/3.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.99/3.06	c      649    195     1101    98817   89     7361    3654    968    226 2.87
2.99/3.06	o 1994
4.89/4.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.89/4.92	c      722    195     1218   113078   92     7748    3654   1085    235 3.07
4.89/4.92	c      823    195     1324   119130   89     7927    4020   1191    252 3.26
4.89/4.92	c     1073    195     1574   132036   83     8463    4423   1441    295 3.63
4.89/4.92	c     1549    195     2067   160568   77     9388    4866   1934    356 4.34
4.89/4.92	o 1947
5.19/5.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.19/5.26	c     1835    195     2437   194655   79    10335    3654   2304    372 4.92
5.19/5.26	c     1936    195     2620   217768   83    10675    4020   2487    373 5.18
5.19/5.26	o 1944
5.29/5.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.29/5.34	c     1938    195     2625   218439   83    10999    3654   2492    368 5.26
5.29/5.34	o 1932
5.50/5.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.50/5.53	c     1942    195     2633   219317   83    11232    3654   2500    363 5.34
5.50/5.53	o 1931
5.59/5.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.59/5.63	c     1972    195     2690   225760   83    11483    3654   2557    356 5.53
5.59/5.63	o 1922
5.69/5.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.78	c     1990    195     2723   229132   84    11735    3654   2590    353 5.63
5.69/5.78	o 1919
5.89/5.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.89/5.91	c     2015    195     2769   234724   84    12000    3654   2636    348 5.78
5.89/5.91	o 1907
5.89/5.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.89/5.99	c     2033    195     2803   238398   85    12276    3654   2670    343 5.92
5.89/5.99	o 1897
5.99/6.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.99/6.09	c     2041    195     2820   240234   85    12468    3654   2687    340 5.99
5.99/6.09	o 1885
6.19/6.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.19/6.25	c     2063    195     2864   244740   85    12739    3654   2731    338 6.09
6.19/6.25	o 1869
7.60/7.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.60/7.68	c     2111    195     2951   254748   86    12986    3654   2818    337 6.25
7.60/7.68	c     2211    195     3140   272718   86    13221    4020   3007    336 6.58
7.60/7.68	c     2461    195     3588   320694   89    14210    4423   3455    343 7.16
7.60/7.68	o 1866
8.09/8.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.09/8.12	c     2675    195     3982   361927   90    15229    3654   3849    348 7.68
8.09/8.12	c     2776    195     2153   171972   79     4931    4020   2020    348 7.97
8.09/8.12	o 1859
8.29/8.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.29/8.32	c     2818    195     2228   179383   80     5271    3654   2095    347 8.12
8.29/8.32	o 1852
9.69/9.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.69/9.77	c     2882    195     2347   193581   82     5671    3654   2214    346 8.32
9.69/9.77	c     2984    195     2549   213793   83     6063    4020   2416    345 8.63
9.69/9.77	c     3234    195     3033   267130   88     7057    4423   2900    346 9.33
9.69/9.77	o 1837
9.80/9.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.80/9.89	c     3400    195     3352   302290   90     7880    3654   3219    347 9.78
9.80/9.89	o 1831
9.90/9.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.90/9.97	c     3411    195     3370   304308   90     8084    3654   3237    344 9.89
9.90/9.97	o 1804
9.99/10.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.99/10.06	c     3416    195     3380   305466   90     8289    3654   3247    342 9.97
9.99/10.06	o 1799
10.09/10.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.09/10.16	c     3425    195     3399   307754   90     8511    3654   3266    340 10.06
10.09/10.16	o 1797
10.18/10.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.18/10.25	c     3441    195     3427   310987   90     8744    3654   3294    338 10.16
10.18/10.25	o 1791
10.39/10.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.39/10.41	c     3448    195     3442   313020   90     8959    3654   3309    336 10.25
10.39/10.41	o 1787
10.49/10.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.49/10.55	c     3497    195     3534   324665   91     9314    3654   3401    335 10.41
10.49/10.55	o 1781
10.59/10.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.59/10.66	c     3523    195     3579   329443   92     9577    3654   3446    334 10.55
10.59/10.66	o 1779
10.69/10.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.69/10.75	c     3549    195     3622   335039   92     9832    3654   3489    332 10.66
10.69/10.75	o 1774
11.00/11.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.00/11.04	c     3558    195     3639   337065   92    10052    3654   3506    331 10.75
11.00/11.04	o 1765
11.19/11.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.19/11.22	c     3653    195     1965   189878   96     4565    3654   1832    330 11.05
11.19/11.22	o 1757
11.39/11.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.39/11.50	c     3709    195     2057   201867   98     4931    3654   1924    330 11.22
11.39/11.50	o 1747
11.49/11.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.49/11.58	c     3787    195     2205   214087   97     5403    3654   2072    329 11.50
11.49/11.58	o 1744
11.99/12.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.99/12.04	c     3798    195     2225   216005   97     5603    3654   2092    328 11.58
11.99/12.04	c     3898    195     2423   233602   96     6010    4020   2290    327 11.91
11.99/12.04	o 1739
12.59/12.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.59/12.61	c     3934    195     2491   239920   96     6328    3654   2358    326 12.04
12.59/12.61	c     4034    195     2683   256875   95     6711    4020   2550    325 12.38
12.59/12.61	o 1730
12.79/12.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.79/12.80	c     4110    195     2820   270614   95     7165    3654   2687    325 12.61
12.79/12.80	o 1724
13.09/13.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.09/13.18	c     4174    195     2945   284536   96     7595    3654   2812    325 12.80
13.09/13.18	c     4276    195     3136   306077   97     7947    4020   3003    327 13.07
13.09/13.18	o 1719
13.29/13.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.29/13.39	c     4301    195     3185   310121   97     8236    3654   3052    326 13.18
13.29/13.39	o 1707
13.79/13.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.79/13.88	c     4374    195     3330   326264   97     8739    3654   3197    326 13.39
13.79/13.88	c     4481    195     3524   345559   98     9091    4020   3391    328 13.66
13.79/13.88	o 1704
14.49/14.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.49/14.52	c     4560    195     3677   360701   98     9598    3654   3544    328 13.88
14.49/14.52	c     4663    195     1964   175749   89     4559    4020   1831    328 14.19
14.49/14.52	o 1696
14.99/15.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.99/15.00	c     4794    195     2222   206573   92     5274    3654   2089    330 14.52
14.99/15.00	c     4899    195     2428   225767   92     5683    4020   2295    331 14.79
14.99/15.00	o 1686
15.19/15.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.19/15.24	c     4982    195     2582   243116   94     6172    3654   2449    332 15.00
15.19/15.24	o 1682
15.49/15.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.49/15.59	c     5063    195     2734   258050   94     6647    3654   2601    332 15.23
15.49/15.59	c     5165    195     2934   278820   95     7066    4020   2801    332 15.52
15.49/15.59	o 1679
15.69/15.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.69/15.73	c     5174    195     2953   280616   95     7289    3654   2820    331 15.59
15.69/15.73	o 1667
16.09/16.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.09/16.11	c     5210    195     3024   286291   94     7609    3654   2891    331 15.73
16.09/16.11	c     5313    195     3220   306323   95     8011    4020   3087    331 16.00
16.09/16.11	o 1657
16.59/16.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.59/16.65	c     5341    195     3277   312119   95     8281    3654   3144    331 16.11
16.59/16.65	c     5441    195     3475   330524   95     8678    4020   3342    331 16.39
16.59/16.65	o 1654
17.50/17.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.50/17.54	c     5532    195     3650   349370   95     9181    3654   3517    332 16.65
17.50/17.54	c     5632    195     1984   174587   87     4609    4020   1851    331 16.97
17.50/17.54	o 1651
19.89/19.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.89/19.99	c     5843    195     2400   216294   90     5618    3654   2267    333 17.54
19.89/19.99	c     5947    195     2602   235827   90     6034    4020   2469    334 17.80
19.89/19.99	c     6198    195     3096   287010   92     7025    4423   2963    336 18.44
19.89/19.99	c     6673    195     3975   376600   94     8784    4866   3842    340 19.59
19.89/19.99	o 1643
20.08/20.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.08/20.19	c     6802    195     4224   400813   94     9440    3654   4091    340 19.99
20.08/20.19	o 1635
20.69/20.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.69/20.74	c     6867    195     2098   185588   88     5024    3654   1965    340 20.19
20.69/20.74	c     6967    195     2296   202965   88     5411    4020   2163    340 20.47
20.69/20.74	o 1629
20.80/20.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.80/20.85	c     7050    195     2459   216636   88     5926    3654   2326    339 20.74
20.80/20.85	o 1625
20.89/20.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.89/20.96	c     7073    195     2504   220521   88     6195    3654   2371    339 20.85
20.89/20.96	o 1623
21.08/21.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.08/21.18	c     7093    195     2543   224784   88     6441    3654   2410    338 20.96
21.08/21.18	o 1617
21.19/21.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.19/21.27	c     7157    195     2668   238735   89     6817    3654   2535    337 21.18
21.19/21.27	o 1611
21.39/21.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.39/21.49	c     7169    195     2692   241791   89     7094    3654   2559    337 21.26
21.39/21.49	o 1607
22.09/22.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.09/22.16	c     7229    195     2809   255095   90     7500    3654   2676    336 21.48
22.09/22.16	c     7330    195     3010   271147   90     7854    4020   2877    335 21.86
22.09/22.16	o 1599
22.19/22.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.19/22.26	c     7414    195     3177   286833   90     8431    3654   3044    334 22.16
22.19/22.26	o 1595
22.28/22.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.28/22.32	c     7434    195     3218   291519   90     8690    3654   3085    333 22.26
22.28/22.32	o 1587
22.68/22.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.68/22.70	c     7438    195     3227   292834   90     8884    3654   3094    333 22.31
22.68/22.70	c     7538    195     3424   313602   91     9170    4020   3291    332 22.64
22.68/22.70	o 1583
22.68/22.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.68/22.76	c     7543    195     3435   314945   91     9477    3654   3302    332 22.70
22.68/22.76	o 1575
23.39/23.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
23.39/23.47	c     7547    195     3444   316202   91     9672    3654   3311    331 22.75
23.39/23.47	c     7649    195     3644   334874   91     9956    4020   3511    331 23.09
23.39/23.47	o 1563
24.48/24.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.48/24.55	c     7757    195     3857   353764   91    10685    3654   3724    330 23.46
24.48/24.55	c     7864    195     2190   187858   85     5016    4020   2057    330 23.80
24.48/24.55	o 1561
26.78/26.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.78/26.80	c     8083    195     2624   227511   86     6074    3654   2491    329 24.55
26.78/26.80	c     8183    195     2820   245539   87     6448    4020   2687    329 24.86
26.78/26.80	c     8433    195     3300   284971   86     7389    4423   3167    327 25.73
26.78/26.80	o 1551
40.48/40.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.48/40.50	c     8779    195     3967   344855   86     8937    3654   3834    327 26.80
40.48/40.50	c     8884    195     2201   167745   76     5019    4020   2068    326 27.24
40.48/40.50	c     9137    195     2701   203234   75     6025    4423   2568    325 28.10
40.48/40.50	c     9614    195     3629   272787   75     7884    4866   3496    322 29.82
40.48/40.50	c    10427    195     2744   201865   73     6127    5353   2611    319 32.60
40.48/40.50	c    11748    195     5317   401575   75    11272    5889   5184    317 36.96
40.48/40.50	o 1547
40.88/40.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.88/40.94	c    12864    195     4451   332497   74     9733    3654   4318    317 40.49
40.88/40.94	o 1535
41.08/41.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.08/41.13	c    12943    195     2116   141770   66     5061    3654   1983    316 40.93
41.08/41.13	o 1533
41.88/41.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.88/41.95	c    12999    195     2217   151232   68     5434    3654   2084    316 41.12
41.88/41.95	c    13099    195     2408   165595   68     5799    4020   2275    315 41.50
41.88/41.95	o 1523
48.07/48.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
48.07/48.11	c    13233    195     2658   184410   69     6485    3654   2525    315 41.95
48.07/48.11	c    13336    195     2841   196409   69     6835    4020   2708    315 42.26
48.07/48.11	c    13586    195     3312   222574   67     7755    4423   3179    314 43.16
48.07/48.11	c    14063    195     4240   293654   69     9634    4866   4107    313 44.84
48.07/48.11	c    14885    180     3258   210961   64     7171    5353   3125    315 47.23
48.07/48.11	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.07/48.11	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
48.07/48.11	c  131    15232    656    23972     3941   267488   3808    316 48.10
48.07/48.11	c Objective: 1523
48.07/48.11	s OPTIMUM FOUND
48.07/48.11	c Total time: 48.099 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-2657924-1276354954/watcher-2657924-1276354954 -o /tmp/evaluation-result-2657924-1276354954/solver-2657924-1276354954 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657924-1276354954.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.40 2.03 1.80 3/106 11719
/proc/meminfo: memFree=1558984/2059040 swapFree=4192956/4192956
[pid=11719] ppid=11717 vsize=10792 CPUtime=0
/proc/11719/stat : 11719 (bsolo_pb10) R 11717 11719 11158 0 -1 4202496 397 0 0 0 0 0 0 0 20 0 1 0 11099103 11051008 310 1992294400 134512640 137138936 4291399984 18446744073709551615 135782512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11719/statm: 2698 312 232 642 0 2054 0

[startup+0.0538739 s]
/proc/loadavg: 1.40 2.03 1.80 3/106 11719
/proc/meminfo: memFree=1558984/2059040 swapFree=4192956/4192956
[pid=11719] ppid=11717 vsize=11604 CPUtime=0.05
/proc/11719/stat : 11719 (bsolo_pb10) R 11717 11719 11158 0 -1 4202496 1046 0 0 0 5 0 0 0 20 0 1 0 11099103 11882496 421 1992294400 134512640 137138936 4291399984 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11719/statm: 2901 421 285 642 0 2257 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11604

[startup+0.100879 s]
/proc/loadavg: 1.40 2.03 1.80 3/106 11719
/proc/meminfo: memFree=1558984/2059040 swapFree=4192956/4192956
[pid=11719] ppid=11717 vsize=11004 CPUtime=0.09
/proc/11719/stat : 11719 (bsolo_pb10) R 11717 11719 11158 0 -1 4202496 2266 0 0 0 9 0 0 0 20 0 1 0 11099103 11268096 405 1992294400 134512640 137138936 4291399984 18446744073709551615 134737610 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11719/statm: 2894 412 285 642 0 2250 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11004

[startup+0.300901 s]
/proc/loadavg: 1.40 2.03 1.80 3/106 11719
/proc/meminfo: memFree=1558984/2059040 swapFree=4192956/4192956
[pid=11719] ppid=11717 vsize=11612 CPUtime=0.29
/proc/11719/stat : 11719 (bsolo_pb10) R 11717 11719 11158 0 -1 4202496 6676 0 0 0 28 1 0 0 20 0 1 0 11099103 11890688 427 1992294400 134512640 137138936 4291399984 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11719/statm: 2903 427 286 642 0 2259 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11612

[startup+0.700945 s]
/proc/loadavg: 1.40 2.03 1.80 3/106 11719
/proc/meminfo: memFree=1558984/2059040 swapFree=4192956/4192956
[pid=11719] ppid=11717 vsize=11848 CPUtime=0.69
/proc/11719/stat : 11719 (bsolo_pb10) R 11717 11719 11158 0 -1 4202496 13822 0 0 0 66 3 0 0 20 0 1 0 11099103 12132352 532 1992294400 134512640 137138936 4291399984 18446744073709551615 135445765 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11719/statm: 2962 532 286 642 0 2318 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11848

[startup+1.50103 s]
/proc/loadavg: 1.40 2.03 1.80 2/107 11720
/proc/meminfo: memFree=1557612/2059040 swapFree=4192956/4192956
[pid=11719] ppid=11717 vsize=12552 CPUtime=1.49
/proc/11719/stat : 11719 (bsolo_pb10) R 11717 11719 11158 0 -1 4202496 18945 0 0 0 144 5 0 0 22 0 1 0 11099103 12853248 671 1992294400 134512640 137138936 4291399984 18446744073709551615 134851267 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11719/statm: 3138 671 286 642 0 2494 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12552

[startup+3.10121 s]
/proc/loadavg: 1.40 2.03 1.80 2/107 11720
/proc/meminfo: memFree=1556744/2059040 swapFree=4192956/4192956
[pid=11719] ppid=11717 vsize=13260 CPUtime=3.09
/proc/11719/stat : 11719 (bsolo_pb10) R 11717 11719 11158 0 -1 4202496 34260 0 0 0 298 11 0 0 25 0 1 0 11099103 13578240 850 1992294400 134512640 137138936 4291399984 18446744073709551615 135456393 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11719/statm: 3315 850 286 642 0 2671 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13260

[startup+6.30157 s]
/proc/loadavg: 1.37 2.01 1.80 2/107 11720
/proc/meminfo: memFree=1554388/2059040 swapFree=4192956/4192956
[pid=11719] ppid=11717 vsize=14984 CPUtime=6.29
/proc/11719/stat : 11719 (bsolo_pb10) R 11717 11719 11158 0 -1 4202496 62906 0 0 0 606 23 0 0 25 0 1 0 11099103 15343616 1403 1992294400 134512640 137138936 4291399984 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11719/statm: 3746 1403 286 642 0 3102 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14984

[startup+12.7013 s]
/proc/loadavg: 1.34 2.00 1.79 2/107 11720
/proc/meminfo: memFree=1552404/2059040 swapFree=4192956/4192956
[pid=11719] ppid=11717 vsize=16608 CPUtime=12.69
/proc/11719/stat : 11719 (bsolo_pb10) R 11717 11719 11158 0 -1 4202496 137038 0 0 0 1215 54 0 0 25 0 1 0 11099103 17006592 1693 1992294400 134512640 137138936 4291399984 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11719/statm: 4152 1694 286 642 0 3508 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16608

[startup+25.5007 s]
/proc/loadavg: 1.26 1.95 1.78 2/107 11722
/proc/meminfo: memFree=1552280/2059040 swapFree=4192956/4192956
[pid=11719] ppid=11717 vsize=16972 CPUtime=25.48
/proc/11719/stat : 11719 (bsolo_pb10) R 11717 11719 11158 0 -1 4202496 287550 0 0 0 2432 116 0 0 25 0 1 0 11099103 17379328 1782 1992294400 134512640 137138936 4291399984 18446744073709551615 135441484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11719/statm: 4243 1782 286 642 0 3599 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16972

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

[startup+38.3011 s]
/proc/loadavg: 1.22 1.92 1.77 2/107 11722
/proc/meminfo: memFree=1551412/2059040 swapFree=4192956/4192956
[pid=11719] ppid=11717 vsize=17784 CPUtime=38.28
/proc/11719/stat : 11719 (bsolo_pb10) R 11717 11719 11158 0 -1 4202496 365768 0 0 0 3684 144 0 0 25 0 1 0 11099103 18210816 2096 1992294400 134512640 137138936 4291399984 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11719/statm: 4446 2096 286 642 0 3802 0
Current children cumulated CPU time (s) 38.28
Current children cumulated vsize (KiB) 17784

[startup+44.7008 s]
/proc/loadavg: 1.19 1.88 1.76 2/107 11722
/proc/meminfo: memFree=1550792/2059040 swapFree=4192956/4192956
[pid=11719] ppid=11717 vsize=17788 CPUtime=44.68
/proc/11719/stat : 11719 (bsolo_pb10) R 11717 11719 11158 0 -1 4202496 399403 0 0 0 4304 164 0 0 25 0 1 0 11099103 18214912 2102 1992294400 134512640 137138936 4291399984 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11719/statm: 4447 2102 286 642 0 3803 0
Current children cumulated CPU time (s) 44.68
Current children cumulated vsize (KiB) 17788

[startup+46.301 s]
/proc/loadavg: 1.19 1.88 1.76 2/107 11722
/proc/meminfo: memFree=1550792/2059040 swapFree=4192956/4192956
[pid=11719] ppid=11717 vsize=17972 CPUtime=46.27
/proc/11719/stat : 11719 (bsolo_pb10) R 11717 11719 11158 0 -1 4202496 408044 0 0 0 4459 168 0 0 25 0 1 0 11099103 18403328 2104 1992294400 134512640 137138936 4291399984 18446744073709551615 135385846 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11719/statm: 4527 2106 286 642 0 3883 0
Current children cumulated CPU time (s) 46.27
Current children cumulated vsize (KiB) 17972

[startup+47.1011 s]
/proc/loadavg: 1.19 1.88 1.76 2/107 11722
/proc/meminfo: memFree=1550792/2059040 swapFree=4192956/4192956
[pid=11719] ppid=11717 vsize=17788 CPUtime=47.07
/proc/11719/stat : 11719 (bsolo_pb10) R 11717 11719 11158 0 -1 4202496 412883 0 0 0 4537 170 0 0 25 0 1 0 11099103 18214912 2103 1992294400 134512640 137138936 4291399984 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11719/statm: 4447 2103 286 642 0 3803 0
Current children cumulated CPU time (s) 47.07
Current children cumulated vsize (KiB) 17788

[startup+47.9012 s]
/proc/loadavg: 1.19 1.88 1.76 2/107 11722
/proc/meminfo: memFree=1550792/2059040 swapFree=4192956/4192956
[pid=11719] ppid=11717 vsize=18104 CPUtime=47.87
/proc/11719/stat : 11719 (bsolo_pb10) R 11717 11719 11158 0 -1 4202496 417644 0 0 0 4614 173 0 0 25 0 1 0 11099103 18538496 2109 1992294400 134512640 137138936 4291399984 18446744073709551615 135080782 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11719/statm: 4526 2109 286 642 0 3882 0
Current children cumulated CPU time (s) 47.87
Current children cumulated vsize (KiB) 18104

[startup+48.1012 s]
/proc/loadavg: 1.19 1.88 1.76 2/107 11722
/proc/meminfo: memFree=1550792/2059040 swapFree=4192956/4192956
[pid=11719] ppid=11717 vsize=18116 CPUtime=48.07
/proc/11719/stat : 11719 (bsolo_pb10) R 11717 11719 11158 0 -1 4202496 418922 0 0 0 4633 174 0 0 25 0 1 0 11099103 18550784 2106 1992294400 134512640 137138936 4291399984 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11719/statm: 4529 2106 286 642 0 3885 0
Current children cumulated CPU time (s) 48.07
Current children cumulated vsize (KiB) 18116

Child status: 0
Real time (s): 48.1164
CPU time (s): 48.1017
CPU user time (s): 46.351
CPU system time (s): 1.75073
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 18128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.351
system time used= 1.75073
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 419000
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= 1
involuntary context switches= 119

runsolver used 0.076988 second user time and 0.242963 second system time

The end

Launcher Data 

Begin job on node005 at 2010-06-12 17:02:34
IDJOB=2657924
IDBENCH=1858
IDSOLVER=1163
FILE ID=node005/2657924-1276354954
PBS_JOBID= 11173199
Free space on /tmp= 62532 MiB

SOLVER NAME= bsolo 3.2 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_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657924-1276354954/watcher-2657924-1276354954 -o /tmp/evaluation-result-2657924-1276354954/solver-2657924-1276354954 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657924-1276354954.opb

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

MD5SUM BENCH= 303eaeab4b7ccd67c7fab31d13d20bc2
RANDOM SEED=185324493

node005.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.246
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
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.246
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1559396 kB
Buffers:        128748 kB
Cached:         240988 kB
SwapCached:          0 kB
Active:         152996 kB
Inactive:       276144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1559396 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3996 kB
Writeback:           0 kB
AnonPages:       59468 kB
Mapped:          15408 kB
Slab:            48604 kB
PageTables:       3964 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181076 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62528 MiB
End job on node005 at 2010-06-12 17:03:22