Trace number 1877185

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.1OPT2 1244.46 1244.79

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_3.opb
MD5SUMd26b3b10be20d9248aac462b86b1f040
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark47.0908
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables94
Total number of constraints8
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 constraints8
Minimum length of a constraint45
Maximum length of a constraint46
Number of terms in the objective function 64
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 940
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3331
Number of bits of the biggest sum of numbers12
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: Cardinality Constraint 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-1877185-1245174190.opb
0.00/0.00	c File size is 3596 bytes.
0.00/0.00	c Highest Coefficient sum: 3331
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: 94 Constr: 8 0/0/8 Lit: 366 Watch. Lit: 108
0.00/0.00	c Obj. Vars: 64 (68.0851 % of total variables)
0.00/0.00	c Pre-processing Time: 0.002 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     94        8      366   45      112     732      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 780
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     94        9      430   47      302     860      1      0 0.00
0.00/0.00	o 550
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       48     94       60     2436   40      453     860     52   6857 0.01
0.00/0.00	o 394
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       49     94       62     2520   40      508     860     54   6125 0.01
0.00/0.01	o 390
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       61     94       75     2955   39      576     860     67   6777 0.01
0.00/0.01	o 382
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       68     94       83     3170   38      636     860     75   6800 0.01
0.00/0.01	o 380
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       68     94       84     3234   38      692     860     76   6181 0.01
0.00/0.01	o 372
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       69     94       86     3352   38      751     860     78   6272 0.01
0.00/0.01	o 325
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       98     94      116     4200   36      847     860    108   6125 0.02
0.00/0.02	o 302
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      156     94      176     5860   33     1024     860    168   6240 0.03
0.00/0.02	o 281
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      164     94      185     6174   33     1095     860    177   6074 0.03
0.00/0.02	o 275
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      173     94      195     6461   33     1163     860    187   6178 0.03
0.00/0.03	o 126
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      210     94      234     7709   32     1272     860    226   6000 0.04
0.00/0.03	o 124
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      211     94      236     7825   33     1329     860    228   6028 0.04
0.00/0.03	o 115
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      211     94      237     7889   33     1344     860    229   5861 0.04
0.00/0.03	o 103
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      213     94      240     8045   33     1400     860    232   5916 0.04
0.00/0.04	o 101
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      250     92      278     8931   32     1477     856    270   5952 0.04
0.00/0.06	c      351     90      382    11539   30     1729     942    374   6157 0.06
0.00/0.06	o 99
0.07/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.07/0.07	c      424     89      457    13049   28     1899     850    449   6144 0.07
0.07/0.07	o 69
0.07/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.07/0.08	c      463     89      498    14024   28     2009     850    490   6173 0.07
0.07/0.08	o 65
0.07/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.07/0.09	c      493     89      531    15410   29     2092     850    523   6162 0.08
0.07/0.09	o 46
0.07/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.07/0.09	c      557     89      596    16527   27     2395     850    588   6188 0.09
0.07/0.09	o 44
0.07/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.07/0.09	c      558     89      598    16634   27     2453     850    590   6199 0.09
0.07/0.09	o 42
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c      570     86      611    16962   27     2504     844    603   6195 0.09
0.09/0.19	c      670     81      711    18934   26     2680     929    703   6090 0.11
0.09/0.19	c      920     80      488    10607   21     1242    1022    480   6133 0.15
0.09/0.19	o 37
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c     1227     78      799    16960   21     1914     828    791   6390 0.19
0.09/0.19	o 35
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c     1228     78      801    17039   21     1964     828    793   6362 0.19
0.19/0.23	c     1328     78      462     9176   19     1187     911    454   6354 0.21
0.19/0.23	o 32
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c     1530     78      665    13146   19     1639     828    657   6455 0.24
0.19/0.24	o 26
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c     1580     70      716    14216   19     1765     812    708   6448 0.24
0.29/0.32	c     1680     70      816    16574   20     1965     894    808   6461 0.26
0.29/0.32	c     1930     70      604    12928   21     1455     984    596   6454 0.30
0.29/0.32	o 23
0.29/0.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.34	c     2076     70      751    16289   21     1782     812    743   6427 0.32
0.29/0.34	c     2176     70      439     9631   21     1119     894    431   6400 0.34
0.29/0.34	o 20
0.29/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.37	c     2228     70      493    10763   21     1265     812    485   6402 0.35
0.29/0.37	c     2328     70      593    13016   21     1468     894    585   6430 0.36
0.29/0.37	o 18
0.39/0.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.50	c     2405     70      671    14836   22     1659     812    663   6447 0.37
0.39/0.50	c     2505     70      771    17018   22     1860     894    763   6439 0.39
0.39/0.50	c     2755     70      559    11848   21     1361     984    551   6436 0.43
0.39/0.50	o 14
0.49/0.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.52	c     3228     70      525    11292   21     1296     812    517   6443 0.50
0.49/0.52	c     3328     65      628    13303   21     1489     894    620   6474 0.51
0.49/0.52	o 11
1.29/1.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.34	c     3408     65      709    15130   21     1688     802    701   6479 0.53
1.29/1.34	c     3508     63      809    17314   21     1883     883    801   6496 0.54
1.29/1.34	c     3758     62      606    12759   21     1434     972    598   6501 0.58
1.29/1.34	c     4234     62      584    12569   21     1393    1070    576   6493 0.65
1.29/1.34	c     5049     62      851    18413   21     1928    1178    843   6548 0.77
1.29/1.34	c     6369     62      968    20729   21     2160    1296    960   6648 0.96
1.29/1.34	c     8451     62     1069    23573   22     2364    1426   1061   6607 1.28
1.29/1.34	o 9
1.39/1.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.42	c     8833     62     1452    32191   22     3162     796   1444   6596 1.34
1.39/1.42	c     8933     62      539    11573   21     1302     876    531   6582 1.36
1.39/1.42	c     9184     62      790    17201   21     1801     964    782   6597 1.39
1.39/1.42	o 6
1.69/1.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.75	c     9433     62      545    11660   21     1343     796    537   6605 1.43
1.69/1.75	c     9533     58      645    13758   21     1533     876    637   6615 1.44
1.69/1.75	c     9783     57      895    19093   21     2035     964    887   6623 1.48
1.69/1.75	c    10258     57      869    18350   21     1957    1061    861   6630 1.55
1.69/1.75	c    11071     55      601    12591   20     1407    1168    593   6609 1.68
1.69/1.75	o 3
79.57/79.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
79.57/79.69	c    11598     55     1132    24415   21     2497     782   1124   6627 1.75
79.57/79.69	c    11698     53      542    11123   20     1280     861    534   6624 1.77
79.57/79.69	c    11948     52      792    16685   21     1783     948    784   6641 1.80
79.57/79.69	c    12424     52      783    16344   20     1763    1043    775   6658 1.87
79.57/79.69	c    13237     52     1063    23046   21     2321    1148   1055   6681 1.98
79.57/79.69	c    14557     51      626    13422   21     1443    1263    618   6683 2.18
79.57/79.69	c    16638     50      780    16639   21     1755    1390    772   6695 2.48
79.57/79.69	c    19861     50     1167    24891   21     2522    1530   1159   6689 2.97
79.57/79.69	c    24797     48     1419    30656   21     3028    1684   1411   6619 3.75
79.57/79.69	c    32303     48     1183    25454   21     2558    1853   1175   6489 4.98
79.57/79.69	c    43664     48     1215    26516   21     2623    2039   1207   6376 6.85
79.57/79.69	c    60808     48     1756    38315   21     3703    2243   1748   6170 9.86
79.57/79.69	c    86627     48     1362    29760   21     2909    2468   1354   6013 14.41
79.57/79.69	c   125459     46     1373    29765   21     2930    2715   1365   5811 21.59
79.57/79.69	c   183813     46     1958    42663   21     4101    2987   1950   5499 33.42
79.57/79.69	c   271447     46     1974    43665   22     4132    3286   1966   5279 51.42
79.57/79.69	o 2
1244.36/1244.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1244.36/1244.78	c   396522     46     2472    54294   21     5142     764   2464   4976 79.67
1244.36/1244.78	c   396622     46      539    11054   20     1254     841    531   4976 79.70
1244.36/1244.78	c   396872     45      789    16380   20     1752     926    781   4977 79.73
1244.36/1244.78	c   397348     45      787    16109   20     1751    1019    779   4979 79.80
1244.36/1244.78	c   398161     45      568    11385   20     1307    1121    560   4981 79.92
1244.36/1244.78	c   399481     45      749    15512   20     1676    1234    741   4986 80.11
1244.36/1244.78	c   401563     44      944    19678   20     2061    1358    936   4992 80.43
1244.36/1244.78	c   404786     44     1405    29478   20     2982    1494   1397   5002 80.92
1244.36/1244.78	c   409724     44      998    20816   20     2163    1644    990   5015 81.69
1244.36/1244.78	c   417230     44      944    19721   20     2058    1809    936   5035 82.85
1244.36/1244.78	c   428591     44     1250    26746   21     2671    1990   1242   5057 84.74
1244.36/1244.78	c   445737     44     1180    25499   21     2534    2190   1172   5085 87.65
1244.36/1244.78	c   471556     44     1419    30865   21     3013    2410   1411   5110 92.27
1244.36/1244.78	c   510388     43     2326    48683   20     4826    2652   2318   5142 99.25
1244.36/1244.78	c   568740     42     1571    34262   21     3311    2918   1563   5160 110.21
1244.36/1244.78	c   656372     41     2030    43917   21     4231    3210   2022   5125 128.05
1244.36/1244.78	c   787924     39     2088    45831   21     4340    3532   2080   5066 155.51
1244.36/1244.78	c   985358     38     3297    72793   22     6750    3886   3289   4962 198.58
1244.36/1244.78	c  1281610     38     3475    76716   22     7111    4275   3467   4763 269.02
1244.36/1244.78	c  1726093     38     4158    91764   22     8478    4703   4150   4596 375.56
1244.36/1244.78	c  2392920     38     3024    65726   21     6212    5174   3016   4365 548.10
1244.36/1244.78	c  3393265     38     3479    74877   21     7121    5692   3471   4137 820.05
1244.36/1244.78	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 
1244.36/1244.79	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1244.36/1244.79	c   94  4830181  15805  4848792     4090    59254   4082   3881 1244.45
1244.36/1244.79	c Objective: 2
1244.36/1244.79	s OPTIMUM FOUND
1244.36/1244.79	c Total time: 1244.45 s

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877185-1245174190/watcher-1877185-1245174190 -o /tmp/evaluation-result-1877185-1245174190/solver-1877185-1245174190 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877185-1245174190.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.91 0.97 0.99 3/64 9445
/proc/meminfo: memFree=1853912/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=26200 CPUtime=0
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 185016193 26828800 240 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 6550 240 196 640 0 5906 0

[startup+0.0742701 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 9445
/proc/meminfo: memFree=1853912/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=18644 CPUtime=0.07
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 317 0 0 0 7 0 0 0 18 0 1 0 185016193 19091456 300 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 4661 300 197 640 0 4017 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 18644

[startup+0.101273 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 9445
/proc/meminfo: memFree=1853912/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=18768 CPUtime=0.09
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 335 0 0 0 9 0 0 0 18 0 1 0 185016193 19218432 318 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 4692 319 197 640 0 4048 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18768

[startup+0.301294 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 9445
/proc/meminfo: memFree=1853912/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=18896 CPUtime=0.29
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 364 0 0 0 29 0 0 0 19 0 1 0 185016193 19349504 347 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 4724 347 197 640 0 4080 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18896

[startup+0.701339 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 9445
/proc/meminfo: memFree=1853912/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=18900 CPUtime=0.69
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 365 0 0 0 69 0 0 0 22 0 1 0 185016193 19353600 348 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 4725 348 197 640 0 4081 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18900

[startup+1.50143 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 9446
/proc/meminfo: memFree=1853264/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=19028 CPUtime=1.49
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 400 0 0 0 149 0 0 0 25 0 1 0 185016193 19484672 383 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 4757 383 197 640 0 4113 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19028

[startup+3.1016 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 9446
/proc/meminfo: memFree=1853008/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=19028 CPUtime=3.09
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 411 0 0 0 307 2 0 0 25 0 1 0 185016193 19484672 394 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 4757 394 197 640 0 4113 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19028

[startup+6.30196 s]
/proc/loadavg: 0.92 0.97 0.99 2/65 9446
/proc/meminfo: memFree=1852752/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=19156 CPUtime=6.29
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 450 0 0 0 625 4 0 0 25 0 1 0 185016193 19615744 433 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 4789 433 197 640 0 4145 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19156

[startup+12.7017 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 9446
/proc/meminfo: memFree=1852520/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=19416 CPUtime=12.68
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 490 0 0 0 1261 7 0 0 25 0 1 0 185016193 19881984 473 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 4854 473 197 640 0 4210 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19416

[startup+25.5011 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 9446
/proc/meminfo: memFree=1852328/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=19544 CPUtime=25.49
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 540 0 0 0 2536 13 0 0 25 0 1 0 185016193 20013056 523 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 4886 523 197 640 0 4242 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19544

[startup+51.1019 s]
/proc/loadavg: 0.96 0.97 0.99 2/65 9446
/proc/meminfo: memFree=1852264/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=19676 CPUtime=51.08
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 567 0 0 0 5083 25 0 0 25 0 1 0 185016193 20148224 550 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 4919 550 197 640 0 4275 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19676

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.99 2/65 9446
/proc/meminfo: memFree=1852200/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=19736 CPUtime=102.27
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 598 0 0 0 10182 45 0 0 25 0 1 0 185016193 20209664 580 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 4934 580 197 640 0 4290 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 19736

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9446
/proc/meminfo: memFree=1852136/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=19864 CPUtime=162.24
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 620 0 0 0 16154 70 0 0 25 0 1 0 185016193 20340736 602 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 4966 602 197 640 0 4322 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 19864

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9446
/proc/meminfo: memFree=1851944/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=19992 CPUtime=222.24
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 661 0 0 0 22132 92 0 0 25 0 1 0 185016193 20471808 643 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 4998 643 197 640 0 4354 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 19992

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9446
/proc/meminfo: memFree=1851816/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=20240 CPUtime=282.22
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 700 0 0 0 28111 111 0 0 25 0 1 0 185016193 20725760 682 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 5060 682 197 640 0 4416 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 20240

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9446
/proc/meminfo: memFree=1851752/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=20240 CPUtime=342.2
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 700 0 0 0 34089 131 0 0 25 0 1 0 185016193 20725760 682 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 5060 682 197 640 0 4416 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 20240

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9446
/proc/meminfo: memFree=1851624/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=20368 CPUtime=402.18
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 743 0 0 0 40067 151 0 0 25 0 1 0 185016193 20856832 725 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 5092 725 197 640 0 4448 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 20368

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9446
/proc/meminfo: memFree=1851560/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=20368 CPUtime=462.17
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 743 0 0 0 46047 170 0 0 25 0 1 0 185016193 20856832 725 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 5092 725 197 640 0 4448 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 20368

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9446
/proc/meminfo: memFree=1851560/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=20368 CPUtime=522.16
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 745 0 0 0 52028 188 0 0 25 0 1 0 185016193 20856832 727 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 5092 727 197 640 0 4448 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 20368

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9448
/proc/meminfo: memFree=1851112/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=20604 CPUtime=582.13
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 791 0 0 0 58005 208 0 0 25 0 1 0 185016193 21098496 773 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 5151 773 197 640 0 4507 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 20604

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9448
/proc/meminfo: memFree=1851112/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=20604 CPUtime=642.12
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 793 0 0 0 63986 226 0 0 25 0 1 0 185016193 21098496 775 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 5151 775 197 640 0 4507 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 20604

[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9448
/proc/meminfo: memFree=1851112/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=20604 CPUtime=702.1
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 793 0 0 0 69966 244 0 0 25 0 1 0 185016193 21098496 775 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 5151 775 197 640 0 4507 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 20604

[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9448
/proc/meminfo: memFree=1851112/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=20604 CPUtime=762.09
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 794 0 0 0 75948 261 0 0 25 0 1 0 185016193 21098496 776 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 5151 776 197 640 0 4507 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 20604

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9448
/proc/meminfo: memFree=1851112/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=20732 CPUtime=822.07
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 833 0 0 0 81930 277 0 0 25 0 1 0 185016193 21229568 815 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 5183 815 197 640 0 4539 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 20732

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9448
/proc/meminfo: memFree=1851048/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=20732 CPUtime=882.05
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 844 0 0 0 87910 295 0 0 25 0 1 0 185016193 21229568 826 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 5183 826 197 640 0 4539 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 20732

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9448
/proc/meminfo: memFree=1850984/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=20732 CPUtime=942.04
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 844 0 0 0 93893 311 0 0 25 0 1 0 185016193 21229568 826 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 5183 826 197 640 0 4539 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 20732

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9448
/proc/meminfo: memFree=1850984/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=20732 CPUtime=1002.03
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 844 0 0 0 99875 328 0 0 25 0 1 0 185016193 21229568 826 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 5183 826 197 640 0 4539 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 20732

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9448
/proc/meminfo: memFree=1850984/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=20732 CPUtime=1062.01
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 844 0 0 0 105857 344 0 0 25 0 1 0 185016193 21229568 826 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 5183 826 197 640 0 4539 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 20732

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9454
/proc/meminfo: memFree=1850784/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=20732 CPUtime=1121.99
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 844 0 0 0 111837 362 0 0 25 0 1 0 185016193 21229568 826 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 5183 826 197 640 0 4539 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 20732

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9454
/proc/meminfo: memFree=1850784/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=20732 CPUtime=1181.97
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 844 0 0 0 117818 379 0 0 25 0 1 0 185016193 21229568 826 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 5183 826 197 640 0 4539 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 20732

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9454
/proc/meminfo: memFree=1850784/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=20732 CPUtime=1241.96
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 844 0 0 0 123801 395 0 0 25 0 1 0 185016193 21229568 826 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 5183 826 197 640 0 4539 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 20732

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

[startup+1243.1 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9454
/proc/meminfo: memFree=1850784/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=20732 CPUtime=1242.76
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 844 0 0 0 123881 395 0 0 25 0 1 0 185016193 21229568 826 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 5183 826 197 640 0 4539 0
Current children cumulated CPU time (s) 1242.76
Current children cumulated vsize (KiB) 20732

[startup+1243.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9454
/proc/meminfo: memFree=1850784/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=20732 CPUtime=1243.55
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 844 0 0 0 123960 395 0 0 25 0 1 0 185016193 21229568 826 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 5183 826 197 640 0 4539 0
Current children cumulated CPU time (s) 1243.55
Current children cumulated vsize (KiB) 20732

[startup+1244.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9454
/proc/meminfo: memFree=1850784/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=20732 CPUtime=1243.96
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 844 0 0 0 124000 396 0 0 25 0 1 0 185016193 21229568 826 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 5183 826 197 640 0 4539 0
Current children cumulated CPU time (s) 1243.96
Current children cumulated vsize (KiB) 20732

[startup+1244.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9454
/proc/meminfo: memFree=1850784/2055920 swapFree=4191900/4192956
[pid=9445] ppid=9443 vsize=20732 CPUtime=1244.36
/proc/9445/stat : 9445 (bsolo) R 9443 9445 9402 0 -1 4194304 844 0 0 0 124040 396 0 0 25 0 1 0 185016193 21229568 826 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9445/statm: 5183 826 197 640 0 4539 0
Current children cumulated CPU time (s) 1244.36
Current children cumulated vsize (KiB) 20732

Child status: 0
Real time (s): 1244.79
CPU time (s): 1244.46
CPU user time (s): 1240.49
CPU system time (s): 3.9624
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 20732

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

runsolver used 0.931858 second user time and 2.6116 second system time

The end

Launcher Data 

Begin job on node38 at 2009-06-16 19:43:10
IDJOB=1877185
IDBENCH=2896
IDSOLVER=699
FILE ID=node38/1877185-1245174190
PBS_JOBID= 9363918
Free space on /tmp= 66236 MiB

SOLVER NAME= bsolo 3.1
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_3.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877185-1245174190/watcher-1877185-1245174190 -o /tmp/evaluation-result-1877185-1245174190/solver-1877185-1245174190 -C 1800 -W 2000 -M 1800  bsolo -l2 -t1800 -m1800 HOME/instance-1877185-1245174190.opb

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

MD5SUM BENCH= d26b3b10be20d9248aac462b86b1f040
RANDOM SEED=383132817

node38.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.232
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.232
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:       1854456 kB
Buffers:         50428 kB
Cached:          65796 kB
SwapCached:        260 kB
Active:          44024 kB
Inactive:        85380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1854456 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            4064 kB
Writeback:           0 kB
Mapped:          22368 kB
Slab:            58048 kB
Committed_AS:   161336 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877185-1245174190.opb

Free space on /tmp at the end= 66232 MiB
End job on node38 at 2009-06-16 20:03:55