Trace number 3734971

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
PB09: bsolo 3.1OPT1 175.09 175.12

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_4.opb
MD5SUM1757d8d914b8f8f6b2c05049538ae81a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark22.1726
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
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 constraint44
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 869
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3118
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 15500 MB
0.00/0.00	c Instance file HOME/instance-3734971-1338718397.opb
0.00/0.00	c File size is 3578 bytes.
0.00/0.00	c Highest Coefficient sum: 3118
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 94 Constr: 8 0/0/8 Lit: 364 Watch. Lit: 106
0.00/0.00	c Obj. Vars: 64 (68.0851 % of total variables)
0.00/0.00	c Pre-processing Time: 0 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      364   45      110     728      0 -2147483648 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 844
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      428   47      301     856      1 -2147483648 0.00
0.00/0.00	o 790
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        2     94       12      552   46      364     856      4 -2147483648 0.00
0.00/0.00	o 329
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        3     94       14      652   46      401     856      6   3000 0.00
0.00/0.00	o 328
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       13     94       25      966   38      471     856     17  13000 0.00
0.00/0.00	o 207
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       15     94       28     1098   39      506     856     20  15000 0.00
0.00/0.00	o 205
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       16     94       30     1178   39      558     856     22   8000 0.00
0.00/0.00	o 201
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       16     94       31     1242   40      617     856     23   8000 0.00
0.00/0.00	o 178
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       23     94       40     1596   39      697     856     32   7666 0.00
0.00/0.00	o 170
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       80     94       98     2765   28      863     856     90  11428 0.01
0.00/0.00	o 166
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       85     94      104     3026   29      927     856     96  10625 0.01
0.00/0.01	o 150
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      122     94      145     4142   28     1089     856    137  11090 0.01
0.00/0.01	o 148
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      127     94      151     4385   29     1146     856    143  10583 0.01
0.00/0.01	o 146
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      128     94      153     4502   29     1212     856    145  10666 0.01
0.00/0.01	o 132
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      130     94      156     4661   29     1280     856    148  10000 0.01
0.00/0.01	o 130
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      132     94      159     4780   30     1346     856    151  10153 0.01
0.00/0.01	o 119
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      148     94      176     5201   29     1423     856    168   9866 0.01
0.00/0.01	o 109
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      156     94      185     5601   30     1504     856    177   9176 0.02
0.00/0.01	o 107
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      164     93      194     5871   30     1584     854    186   9111 0.02
0.00/0.02	o 105
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      173     93      204     6297   30     1664     854    196   9105 0.02
0.00/0.03	c      273     92      304     8766   28     1860     940    296   8806 0.03
0.00/0.03	o 103
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      296     91      328     9358   28     1962     850    320   8969 0.03
0.00/0.03	o 92
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      304     91      338     9595   28     2025     850    330   8941 0.03
0.00/0.03	o 90
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      314     91      350     9901   28     2105     850    342   8722 0.04
0.00/0.04	o 86
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      397     90      435    11617   26     2319     848    427   8822 0.04
0.00/0.04	o 82
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      405     90      444    11883   26     2387     848    436   8804 0.05
0.00/0.04	o 74
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      408     90      448    12017   26     2455     848    440   8869 0.05
0.00/0.04	o 72
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      408     90      449    12077   26     2500     848    441   8680 0.05
0.00/0.04	o 68
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      411     90      453    12293   27     2563     848    445   8744 0.05
0.00/0.05	o 66
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      483     88      527    13821   26     2780     844    519   8781 0.06
0.09/0.10	c      584     88      629    15720   24     3021     929    621   8716 0.07
0.09/0.10	c      837     88      882    20299   23     3522    1022    874   8904 0.09
0.09/0.10	o 59
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      866     87      912    20970   22     3590     842    904   8836 0.10
0.09/0.10	o 45
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      910     83      483     9837   20     1298     834    475   8834 0.10
0.09/0.10	o 41
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      911     83      485     9918   20     1353     834    477   8844 0.10
0.09/0.10	o 39
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      913     83      488    10052   20     1410     834    480   8864 0.10
0.09/0.10	o 34
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      931     82      507    10549   20     1496     832    499   8866 0.10
0.09/0.10	o 32
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c      938     82      515    10791   20     1562     832    507   8849 0.11
0.09/0.12	c     1039     78      617    13260   21     1762     916    609   8956 0.12
0.09/0.12	o 29
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c     1126     77      705    15259   21     1994     822    697   9080 0.12
0.09/0.15	c     1226     75      805    17619   21     2184     905    797   9149 0.13
0.09/0.15	o 16
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c     1372     72      484    11020   22     1222     812    476   9146 0.15
0.09/0.15	o 12
0.29/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.37	c     1444     65      559    12604   22     1393     798    551   9256 0.16
0.29/0.37	c     1544     64      660    14754   22     1589     878    652   9414 0.16
0.29/0.37	c     1794     63      910    20378   22     2084     966    902   9697 0.18
0.29/0.37	c     2269     63      884    19591   22     1997    1063    876  10084 0.23
0.29/0.37	c     3082     62      607    13239   21     1441    1170    599  10377 0.30
0.29/0.37	o 11
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c     3940     62      872    18815   21     1997     792    864  10619 0.37
0.39/0.43	c     4040     62      537    11447   21     1300     872    529  10631 0.38
0.39/0.43	c     4290     62      787    16654   21     1802     960    779  10725 0.40
0.39/0.43	o 10
0.49/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.54	c     4647     62      652    13230   20     1559     792    644  10756 0.43
0.49/0.54	c     4747     62      752    15400   20     1762     872    744  10788 0.44
0.49/0.54	c     4997     62      557    11377   20     1339     960    549  10792 0.46
0.49/0.54	c     5473     62      546    11047   20     1318    1057    538  10837 0.51
0.49/0.54	o 9
0.49/0.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.58	c     5909     62      983    20130   20     2222     792    975  10882 0.54
0.49/0.58	c     6010     62      538    10758   19     1305     872    530  10887 0.55
0.49/0.58	c     6262     62      790    16257   20     1805     960    782  10928 0.57
0.49/0.58	o 7
0.49/0.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.58	c     6324     62      853    17596   20     1960     792    845  10941 0.58
0.49/0.58	o 5
1.69/1.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.76	c     6344     59      458     9359   20     1162     786    450  10919 0.58
1.69/1.76	c     6444     56      559    11328   20     1361     865    551  10940 0.59
1.69/1.76	c     6695     55      810    16456   20     1864     952    802  10939 0.61
1.69/1.76	c     7170     55      800    16105   20     1807    1048    792  10980 0.65
1.69/1.76	c     7983     54     1078    22384   20     2364    1153   1070  11026 0.72
1.69/1.76	c     9303     54      638    13064   20     1481    1269    630  11048 0.84
1.69/1.76	c    11384     54      781    16191   20     1769    1396    773  10977 1.04
1.69/1.76	c    14607     54     1162    24274   20     2534    1536   1154  10900 1.34
1.69/1.76	o 3
10.49/10.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.49/10.50	c    18955     54      817    17097   20     1835     776    809  10745 1.76
10.49/10.50	c    19056     51      519    10623   20     1233     854    511  10753 1.77
10.49/10.50	c    19307     51      770    16025   20     1732     940    762  10773 1.79
10.49/10.50	c    19783     51      762    15444   20     1719    1035    754  10792 1.83
10.49/10.50	c    20596     51     1044    21293   20     2281    1139   1036  10834 1.90
10.49/10.50	c    21917     51      622    12227   19     1440    1253    614  10860 2.02
10.49/10.50	c    24000     49      787    16070   20     1766    1379    779  10909 2.20
10.49/10.50	c    27223     48     1209    24309   20     2607    1517   1201  10906 2.50
10.49/10.50	c    32159     46     1500    31096   20     3186    1669   1492  10905 2.95
10.49/10.50	c    39665     46     1359    27708   20     2902    1836   1351  10831 3.66
10.49/10.50	c    51026     46     1515    29798   19     3218    2020   1507  10794 4.73
10.49/10.50	c    68170     46     1236    25614   20     2703    2223   1228  10583 6.44
10.49/10.50	c    93990     46     2254    48745   21     4697    2446   2246  10318 9.11
10.49/10.50	o 2
13.28/13.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.28/13.34	c   106922     46     1586    33515   21     3398     760   1578  10181 10.50
13.28/13.34	c   107022     44      537    10635   19     1250     837    529  10181 10.51
13.28/13.34	c   107272     44      787    16016   20     1749     921    779  10188 10.53
13.28/13.34	c   107748     43      791    16001   20     1757    1014    783  10197 10.57
13.28/13.34	c   108561     43      567    11366   20     1308    1116    559  10211 10.63
13.28/13.34	c   109881     43      741    14943   20     1654    1228    733  10235 10.73
13.28/13.34	c   111962     42      946    18967   20     2066    1351    938  10269 10.90
13.28/13.34	c   115186     42      737    15047   20     1648    1487    729  10313 11.17
13.28/13.34	c   120123     42     1130    23119   20     2432    1636   1122  10359 11.60
13.28/13.34	c   127629     42     1133    23309   20     2439    1800   1125  10412 12.26
13.28/13.34	c   138990     41     1477    30603   20     3127    1981   1469  10470 13.28
13.28/13.34	o 1
175.06/175.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
175.06/175.11	c   139721     41     1197    24704   20     2573     750   1189  10470 13.34
175.06/175.11	c   139821     30      538    10519   19     1238     826    530  10471 13.35
175.06/175.11	c   140071     30      788    15625   19     1740     909    780  10476 13.37
175.06/175.11	c   140547     30      792    15518   19     1749    1000    784  10481 13.41
175.06/175.11	c   141360     30      564    10965   19     1286    1101    556  10493 13.47
175.06/175.11	c   142680     30      742    14915   20     1645    1212    734  10515 13.57
175.06/175.11	c   144764     30      943    19259   20     2050    1334    935  10538 13.74
175.06/175.11	c   147987     30      731    15011   20     1628    1468    723  10559 14.01
175.06/175.11	c   152926     30     1127    23017   20     2413    1615   1119  10597 14.43
175.06/175.11	c   160435     30     1152    23822   20     2459    1777   1144  10638 15.08
175.06/175.11	c   171799     30     1546    31811   20     3251    1955   1538  10695 16.06
175.06/175.11	c   188943     30     1658    35419   21     3479    2151   1650  10756 17.57
175.06/175.11	c   214762     30     2128    44225   20     4418    2367   2120  10869 19.76
175.06/175.11	c   253594     30     2276    47038   20     4715    2604   2268  10821 23.43
175.06/175.11	c   311947     30     2203    44339   20     4564    2865   2195  10575 29.50
175.06/175.11	c   399582     30     2436    49193   20     5032    3152   2428  10206 39.15
175.06/175.11	c   531135     30     2694    54284   20     5547    3468   2686   9856 53.89
175.06/175.11	c   728567     30     3057    64891   21     6270    3815   3049   9381 77.66
175.06/175.11	c  1024819     30     3645    74126   20     7452    4197   3637   9170 111.75
175.06/175.11	c  1469304     27     2516    44722   17     5183    4617   2508   8746 167.99
175.06/175.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 -x76 x77 x78 x79 x80 x81 -x82 x83 x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 x92 x93 -x75 x94 
175.06/175.11	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
175.06/175.11	c  109  1525867   2640  1531258     3197    48214   3189   8714 175.09
175.06/175.11	c Objective: 1
175.06/175.11	s OPTIMUM FOUND
175.06/175.11	c Total time: 175.089 s

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734971-1338718397/watcher-3734971-1338718397 -o /tmp/evaluation-result-3734971-1338718397/solver-3734971-1338718397 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3734971-1338718397.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.01 2.02 1.95 3/178 15143
/proc/meminfo: memFree=29155040/32873844 swapFree=7620/7620
[pid=15143] ppid=15141 vsize=26412 CPUtime=0 cores=1,3,5,7
/proc/15143/stat : 15143 (bsolo) R 15141 15143 13121 0 -1 4202496 295 0 0 0 0 0 0 0 20 0 1 0 337964455 27045888 247 33554432000 134512640 137136520 4292821648 4292820764 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15143/statm: 6603 247 196 641 0 5959 0

[startup+0.0723581 s]
/proc/loadavg: 2.01 2.02 1.95 3/178 15143
/proc/meminfo: memFree=29155040/32873844 swapFree=7620/7620
[pid=15143] ppid=15141 vsize=18848 CPUtime=0.07 cores=1,3,5,7
/proc/15143/stat : 15143 (bsolo) R 15141 15143 13121 0 -1 4202496 365 0 0 0 7 0 0 0 20 0 1 0 337964455 19300352 317 33554432000 134512640 137136520 4292821648 4292820764 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15143/statm: 4712 317 197 641 0 4068 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 18848

[startup+0.10027 s]
/proc/loadavg: 2.01 2.02 1.95 3/178 15143
/proc/meminfo: memFree=29155040/32873844 swapFree=7620/7620
[pid=15143] ppid=15141 vsize=18972 CPUtime=0.09 cores=1,3,5,7
/proc/15143/stat : 15143 (bsolo) R 15141 15143 13121 0 -1 4202496 387 0 0 0 9 0 0 0 20 0 1 0 337964455 19427328 339 33554432000 134512640 137136520 4292821648 4292820764 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15143/statm: 4743 339 197 641 0 4099 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18972

[startup+0.300212 s]
/proc/loadavg: 2.01 2.02 1.95 3/178 15143
/proc/meminfo: memFree=29155040/32873844 swapFree=7620/7620
[pid=15143] ppid=15141 vsize=18976 CPUtime=0.29 cores=1,3,5,7
/proc/15143/stat : 15143 (bsolo) R 15141 15143 13121 0 -1 4202496 398 0 0 0 29 0 0 0 20 0 1 0 337964455 19431424 350 33554432000 134512640 137136520 4292821648 4292820764 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15143/statm: 4744 350 197 641 0 4100 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18976

[startup+0.70024 s]
/proc/loadavg: 2.01 2.02 1.95 3/178 15143
/proc/meminfo: memFree=29155040/32873844 swapFree=7620/7620
[pid=15143] ppid=15141 vsize=18976 CPUtime=0.69 cores=1,3,5,7
/proc/15143/stat : 15143 (bsolo) R 15141 15143 13121 0 -1 4202496 407 0 0 0 69 0 0 0 20 0 1 0 337964455 19431424 359 33554432000 134512640 137136520 4292821648 4292820764 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15143/statm: 4744 359 197 641 0 4100 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18976

[startup+1.50021 s]
/proc/loadavg: 2.01 2.02 1.95 3/179 15144
/proc/meminfo: memFree=29154420/32873844 swapFree=7620/7620
[pid=15143] ppid=15141 vsize=19104 CPUtime=1.49 cores=1,3,5,7
/proc/15143/stat : 15143 (bsolo) R 15141 15143 13121 0 -1 4202496 440 0 0 0 148 1 0 0 20 0 1 0 337964455 19562496 392 33554432000 134512640 137136520 4292821648 4292820764 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15143/statm: 4776 392 197 641 0 4132 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19104

[startup+3.10021 s]
/proc/loadavg: 2.01 2.02 1.95 3/179 15144
/proc/meminfo: memFree=29153652/32873844 swapFree=7620/7620
[pid=15143] ppid=15141 vsize=19232 CPUtime=3.09 cores=1,3,5,7
/proc/15143/stat : 15143 (bsolo) R 15141 15143 13121 0 -1 4202496 453 0 0 0 307 2 0 0 20 0 1 0 337964455 19693568 405 33554432000 134512640 137136520 4292821648 4292820764 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15143/statm: 4808 405 197 641 0 4164 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19232

[startup+6.30021 s]
/proc/loadavg: 2.01 2.02 1.95 3/179 15144
/proc/meminfo: memFree=29153156/32873844 swapFree=7620/7620
[pid=15143] ppid=15141 vsize=19364 CPUtime=6.29 cores=1,3,5,7
/proc/15143/stat : 15143 (bsolo) R 15141 15143 13121 0 -1 4202496 491 0 0 0 626 3 0 0 20 0 1 0 337964455 19828736 443 33554432000 134512640 137136520 4292821648 4292820764 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15143/statm: 4841 443 197 641 0 4197 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19364

[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 1.95 3/179 15144
/proc/meminfo: memFree=29153064/32873844 swapFree=7620/7620
[pid=15143] ppid=15141 vsize=19488 CPUtime=12.69 cores=1,3,5,7
/proc/15143/stat : 15143 (bsolo) R 15141 15143 13121 0 -1 4202496 535 0 0 0 1262 7 0 0 20 0 1 0 337964455 19955712 487 33554432000 134512640 137136520 4292821648 4292820764 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15143/statm: 4872 487 197 641 0 4228 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19488

[startup+25.5002 s]
/proc/loadavg: 2.01 2.02 1.95 3/179 15144
/proc/meminfo: memFree=29152824/32873844 swapFree=7620/7620
[pid=15143] ppid=15141 vsize=19604 CPUtime=25.49 cores=1,3,5,7
/proc/15143/stat : 15143 (bsolo) R 15141 15143 13121 0 -1 4202496 547 0 0 0 2535 14 0 0 20 0 1 0 337964455 20074496 499 33554432000 134512640 137136520 4292821648 4292820764 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15143/statm: 4901 499 197 641 0 4257 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19604

[startup+51.1002 s]
/proc/loadavg: 2.07 2.03 1.95 3/179 15144
/proc/meminfo: memFree=29152576/32873844 swapFree=7620/7620
[pid=15143] ppid=15141 vsize=19736 CPUtime=51.09 cores=1,3,5,7
/proc/15143/stat : 15143 (bsolo) R 15141 15143 13121 0 -1 4202496 596 0 0 0 5080 29 0 0 20 0 1 0 337964455 20209664 548 33554432000 134512640 137136520 4292821648 4292820764 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15143/statm: 4934 548 197 641 0 4290 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19736

[startup+102.306 s]
/proc/loadavg: 2.02 2.02 1.95 3/179 15144
/proc/meminfo: memFree=29152452/32873844 swapFree=7620/7620
[pid=15143] ppid=15141 vsize=20092 CPUtime=102.28 cores=1,3,5,7
/proc/15143/stat : 15143 (bsolo) R 15141 15143 13121 0 -1 4202496 673 0 0 0 10177 51 0 0 20 0 1 0 337964455 20574208 625 33554432000 134512640 137136520 4292821648 4292820764 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15143/statm: 5023 625 197 641 0 4379 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 20092

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/178 15144
/proc/meminfo: memFree=29151840/32873844 swapFree=7620/7620
[pid=15143] ppid=15141 vsize=20204 CPUtime=162.27 cores=1,3,5,7
/proc/15143/stat : 15143 (bsolo) R 15141 15143 13121 0 -1 4202496 709 0 0 0 16146 81 0 0 20 0 1 0 337964455 20688896 661 33554432000 134512640 137136520 4292821648 4292820764 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15143/statm: 5051 661 197 641 0 4407 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 20204

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

[startup+166.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/179 15145
/proc/meminfo: memFree=29151840/32873844 swapFree=7620/7620
[pid=15143] ppid=15141 vsize=20204 CPUtime=166.26 cores=1,3,5,7
/proc/15143/stat : 15143 (bsolo) R 15141 15143 13121 0 -1 4202496 709 0 0 0 16543 83 0 0 20 0 1 0 337964455 20688896 661 33554432000 134512640 137136520 4292821648 4292820764 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15143/statm: 5051 661 197 641 0 4407 0
Current children cumulated CPU time (s) 166.26
Current children cumulated vsize (KiB) 20204

[startup+169.5 s]
/proc/loadavg: 2.01 2.02 1.95 3/179 15145
/proc/meminfo: memFree=29151832/32873844 swapFree=7620/7620
[pid=15143] ppid=15141 vsize=20204 CPUtime=169.46 cores=1,3,5,7
/proc/15143/stat : 15143 (bsolo) R 15141 15143 13121 0 -1 4202496 709 0 0 0 16862 84 0 0 20 0 1 0 337964455 20688896 661 33554432000 134512640 137136520 4292821648 4292820764 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15143/statm: 5051 661 197 641 0 4407 0
Current children cumulated CPU time (s) 169.46
Current children cumulated vsize (KiB) 20204

[startup+172.706 s]
/proc/loadavg: 2.01 2.02 1.95 3/179 15145
/proc/meminfo: memFree=29151832/32873844 swapFree=7620/7620
[pid=15143] ppid=15141 vsize=20204 CPUtime=172.67 cores=1,3,5,7
/proc/15143/stat : 15143 (bsolo) R 15141 15143 13121 0 -1 4202496 709 0 0 0 17181 86 0 0 20 0 1 0 337964455 20688896 661 33554432000 134512640 137136520 4292821648 4292820764 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15143/statm: 5051 661 197 641 0 4407 0
Current children cumulated CPU time (s) 172.67
Current children cumulated vsize (KiB) 20204

[startup+174.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/179 15145
/proc/meminfo: memFree=29151832/32873844 swapFree=7620/7620
[pid=15143] ppid=15141 vsize=20204 CPUtime=174.26 cores=1,3,5,7
/proc/15143/stat : 15143 (bsolo) R 15141 15143 13121 0 -1 4202496 709 0 0 0 17340 86 0 0 20 0 1 0 337964455 20688896 661 33554432000 134512640 137136520 4292821648 4292820764 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15143/statm: 5051 661 197 641 0 4407 0
Current children cumulated CPU time (s) 174.26
Current children cumulated vsize (KiB) 20204

[startup+174.7 s]
/proc/loadavg: 2.01 2.02 1.95 3/179 15145
/proc/meminfo: memFree=29151832/32873844 swapFree=7620/7620
[pid=15143] ppid=15141 vsize=20204 CPUtime=174.66 cores=1,3,5,7
/proc/15143/stat : 15143 (bsolo) R 15141 15143 13121 0 -1 4202496 709 0 0 0 17380 86 0 0 20 0 1 0 337964455 20688896 661 33554432000 134512640 137136520 4292821648 4292820764 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15143/statm: 5051 661 197 641 0 4407 0
Current children cumulated CPU time (s) 174.66
Current children cumulated vsize (KiB) 20204

[startup+175.1 s]
/proc/loadavg: 2.01 2.02 1.95 3/179 15145
/proc/meminfo: memFree=29151832/32873844 swapFree=7620/7620
[pid=15143] ppid=15141 vsize=20204 CPUtime=175.06 cores=1,3,5,7
/proc/15143/stat : 15143 (bsolo) R 15141 15143 13121 0 -1 4202496 709 0 0 0 17420 86 0 0 20 0 1 0 337964455 20688896 661 33554432000 134512640 137136520 4292821648 4292820416 134574232 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/15143/statm: 5051 661 197 641 0 4407 0
Current children cumulated CPU time (s) 175.06
Current children cumulated vsize (KiB) 20204

Child status: 0
Real time (s): 175.12
CPU time (s): 175.09
CPU user time (s): 174.222
CPU system time (s): 0.868867
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 20220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 174.222
system time used= 0.868867
maximum resident set size= 2648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 711
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= 188

runsolver used 0.227965 second user time and 0.735888 second system time

The end

Launcher Data 

Begin job on node135 at 2012-06-03 12:13:17
IDJOB=3734971
IDBENCH=2928
IDSOLVER=2320
FILE ID=node135/3734971-1338718397
RUNJOBID= node135-1338712994-13138
PBS_JOBID= 14636721
Free space on /tmp= 70976 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_4.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734971-1338718397/watcher-3734971-1338718397 -o /tmp/evaluation-result-3734971-1338718397/solver-3734971-1338718397 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3734971-1338718397.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 1757d8d914b8f8f6b2c05049538ae81a
RANDOM SEED=950327814

node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5238.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29154940 kB
Buffers:          361568 kB
Cached:          2498104 kB
SwapCached:         1672 kB
Active:          1166884 kB
Inactive:        1709940 kB
Active(anon):       7452 kB
Inactive(anon):    12036 kB
Active(file):    1159432 kB
Inactive(file):  1697904 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:              3888 kB
Writeback:             0 kB
AnonPages:         29084 kB
Mapped:            11232 kB
Shmem:               132 kB
Slab:             701716 kB
SReclaimable:     143632 kB
SUnreclaim:       558084 kB
KernelStack:        1488 kB
PageTables:         4024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     138272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3734971-1338718397.opb

Free space on /tmp at the end= 70972 MiB
End job on node135 at 2012-06-03 12:16:12