Trace number 3708065

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.2OPT1 227.252 227.286

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.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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3708065-1338158009.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       13      578   44      366     856      5 -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       16      709   44      406     856      8 -2147483648 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       29     1092   37      497     856     21  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       33     1257   38      543     856     25  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       35     1337   38      595     856     27   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       36     1401   38      654     856     28   8000 0.00
0.00/0.00	o 178
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       23     94       47     1812   38      744     856     39   7666 0.00
0.00/0.01	o 170
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       80     94      105     2981   28      910     856     97  11428 0.01
0.00/0.01	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      111     3242   29      974     856    103  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      156     4469   28     1155     856    148  10166 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      163     4741   29     1214     856    155   9769 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      165     4858   29     1280     856    157   9846 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      168     5017   29     1348     856    160   9285 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      171     5136   30     1414     856    163   9428 0.01
0.00/0.01	o 119
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      148     94      192     5639   29     1499     856    184   9250 0.02
0.00/0.02	o 109
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      156     94      201     6039   30     1580     856    193   8666 0.02
0.00/0.02	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      211     6342   30     1671     854    203   8631 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      225     6915   30     1780     854    217   8650 0.02
0.00/0.03	c      273     92      335     9692   28     2004     940    327   8272 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      362    10374   28     2132     850    354   8222 0.04
0.00/0.03	o 92
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      304     91      372    10611   28     2195     850    364   8216 0.04
0.00/0.04	o 90
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      314     91      385    10945   28     2277     850    377   8051 0.04
0.00/0.05	o 86
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      397     90      478    12906   27     2522     848    470   8270 0.05
0.00/0.05	o 82
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      405     90      488    13203   27     2592     848    480   8100 0.05
0.00/0.05	o 74
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      408     90      492    13337   27     2660     848    484   8160 0.05
0.00/0.05	o 72
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      408     90      493    13397   27     2705     848    485   8000 0.05
0.00/0.05	o 68
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      411     90      497    13613   27     2768     848    489   8058 0.05
0.00/0.06	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      574    15229   26     2991     844    566   8186 0.06
0.09/0.10	c      584     88      677    17155   25     3234     929    669   8225 0.07
0.09/0.10	c      837     88      936    21908   23     3755    1022    928   8454 0.10
0.09/0.10	o 59
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      866     87      968    22639   23     3829     842    960   8407 0.10
0.09/0.11	o 45
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      910     83      483     9837   20     1298     834    475   8425 0.11
0.09/0.11	o 41
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      911     83      485     9918   20     1353     834    477   8435 0.11
0.09/0.11	o 39
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      913     83      489    10093   20     1417     834    481   8453 0.11
0.09/0.11	o 34
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      931     82      510    10656   20     1516     832    502   8463 0.11
0.09/0.11	o 32
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c      938     82      518    10898   21     1582     832    510   8450 0.11
0.09/0.13	c     1039     78      620    13367   21     1782     916    612   8516 0.12
0.09/0.13	o 29
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c     1126     77      708    15366   21     2014     822    700   8595 0.13
0.09/0.16	c     1226     75      809    17755   21     2206     905    801   8633 0.14
0.09/0.16	o 16
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c     1372     72      484    11020   22     1222     812    476   8628 0.16
0.09/0.16	o 12
0.39/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.40	c     1444     65      559    12604   22     1393     798    551   8698 0.17
0.39/0.40	c     1544     64      660    14754   22     1589     878    652   8822 0.17
0.39/0.40	c     1794     63      910    20378   22     2084     966    902   9060 0.20
0.39/0.40	c     2269     63      884    19591   22     1997    1063    876   9376 0.24
0.39/0.40	c     3082     62      607    13239   21     1441    1170    599   9601 0.32
0.39/0.40	o 11
0.39/0.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.47	c     3940     62      872    18815   21     1997     792    864   9752 0.40
0.39/0.47	c     4040     62      537    11447   21     1300     872    529   9758 0.41
0.39/0.47	c     4290     62      787    16654   21     1802     960    779   9816 0.44
0.39/0.47	o 10
0.59/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.60	c     4647     62      652    13230   20     1559     792    644   9845 0.47
0.59/0.60	c     4747     62      752    15400   20     1762     872    744   9869 0.48
0.59/0.60	c     4997     62      557    11377   20     1339     960    549   9856 0.51
0.59/0.60	c     5473     62      546    11047   20     1318    1057    538   9861 0.56
0.59/0.60	o 9
0.59/0.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.64	c     5909     62      983    20130   20     2222     792    975   9864 0.60
0.59/0.64	c     6010     62      538    10758   19     1305     872    530   9884 0.61
0.59/0.64	c     6262     62      790    16257   20     1805     960    782   9908 0.63
0.59/0.64	o 7
0.59/0.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.64	c     6324     62      853    17596   20     1960     792    845   9912 0.64
0.59/0.64	o 5
1.89/1.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.98	c     6344     59      458     9359   20     1162     786    450   9897 0.64
1.89/1.98	c     6444     56      561    11388   20     1373     865    553   9898 0.65
1.89/1.98	c     6695     55      812    16516   20     1876     952    804   9889 0.68
1.89/1.98	c     7170     55      800    16105   20     1807    1048    792   9903 0.72
1.89/1.98	c     7983     54     1078    22384   20     2364    1153   1070   9916 0.81
1.89/1.98	c     9303     54      638    13064   20     1481    1269    630   9896 0.94
1.89/1.98	c    11384     54      781    16191   20     1769    1396    773   9805 1.16
1.89/1.98	c    14607     54     1169    24430   20     2548    1536   1161   9712 1.50
1.89/1.98	o 3
30.39/30.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.39/30.43	c    18955     54      831    17380   20     1890     776    823   9568 1.98
30.39/30.43	c    19055     51      537    10995   20     1275     854    529   9570 1.99
30.39/30.43	c    19305     51      787    16385   20     1767     940    779   9580 2.02
30.39/30.43	c    19780     51      778    15901   20     1752    1035    770   9601 2.06
30.39/30.43	c    20594     51     1064    21553   20     2325    1139   1056   9609 2.14
30.39/30.43	c    21915     51      643    12883   20     1483    1253    635   9620 2.28
30.39/30.43	c    23997     50      800    16295   20     1793    1379    792   9625 2.49
30.39/30.43	c    27220     49     1235    25886   20     2664    1517   1227   9625 2.83
30.39/30.43	c    32156     48     1527    31609   20     3243    1669   1519   9587 3.35
30.39/30.43	c    39666     48     1373    30002   21     2934    1836   1365   9551 4.15
30.39/30.43	c    51028     47     1524    31870   20     3234    2020   1516   9513 5.36
30.39/30.43	c    68173     46     1215    25014   20     2608    2223   1207   9253 7.37
30.39/30.43	c    93992     46     1169    24381   20     2523    2446   1161   8941 10.51
30.39/30.43	c   132824     46     1672    35700   21     3527    2691   1664   8668 15.32
30.39/30.43	c   191178     46     1411    30299   21     3009    2961   1403   8514 22.45
30.39/30.43	o 1
227.16/227.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
227.16/227.28	c   253470     46     2322    49502   21     4845     760   2314   8329 30.43
227.16/227.28	c   253570     30      538    10693   19     1253     837    530   8329 30.44
227.16/227.28	c   253821     30      789    15861   20     1758     921    781   8331 30.47
227.16/227.28	c   254297     30      781    15471   19     1742    1014    773   8334 30.51
227.16/227.28	c   255111     30     1062    21371   20     2301    1116   1054   8339 30.59
227.16/227.28	c   256431     30      634    12504   19     1444    1228    626   8348 30.71
227.16/227.28	c   258512     30      789    15581   19     1758    1351    781   8360 30.92
227.16/227.28	c   261736     30     1207    24806   20     2594    1487   1199   8377 31.24
227.16/227.28	c   266673     30     1508    30786   20     3191    1636   1500   8398 31.75
227.16/227.28	c   274179     30     1370    28466   20     2918    1800   1362   8423 32.55
227.16/227.28	c   285540     30     1562    32331   20     3301    1981   1554   8457 33.76
227.16/227.28	c   302685     30     1361    27596   20     2899    2180   1353   8501 35.60
227.16/227.28	c   328504     30     1406    28388   20     2983    2399   1398   8517 38.57
227.16/227.28	c   367336     30     2157    44157   20     4488    2639   2149   8530 43.06
227.16/227.28	c   425688     30     2490    50950   20     5155    2903   2482   8501 50.07
227.16/227.28	c   513321     30     2712    55582   20     5601    3194   2704   8397 61.13
227.16/227.28	c   644873     30     2434    50015   20     5041    3514   2426   8246 78.20
227.16/227.28	c   842305     30     3206    66660   20     6591    3866   3198   8032 104.86
227.16/227.28	c  1138558     30     2972    63739   21     6125    4253   2964   7797 146.01
227.16/227.28	c  1583040     28     3369    65413   19     6916    4679   3361   7517 210.58
227.16/227.28	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 
227.16/227.28	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
227.16/227.28	c  100  1691876  14712  1709449     3342    52887   3334   7445 227.25
227.16/227.28	c Objective: 1
227.16/227.28	s OPTIMUM FOUND
227.16/227.28	c Total time: 227.249 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-3708065-1338158009/watcher-3708065-1338158009 -o /tmp/evaluation-result-3708065-1338158009/solver-3708065-1338158009 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708065-1338158009.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.00 2.00 2.00 3/174 31385
/proc/meminfo: memFree=28494680/32873852 swapFree=6848/6848
[pid=31385] ppid=31383 vsize=26416 CPUtime=0 cores=1,3,5,7
/proc/31385/stat : 31385 (bsolo) R 31383 31385 26585 0 -1 4202496 292 0 0 0 0 0 0 0 20 0 1 0 281926306 27049984 244 33554432000 134512640 137138936 4291727472 4291726588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31385/statm: 6604 244 192 642 0 5960 0

[startup+0.00892002 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 31385
/proc/meminfo: memFree=28494680/32873852 swapFree=6848/6848
[pid=31385] ppid=31383 vsize=26416 CPUtime=0 cores=1,3,5,7
/proc/31385/stat : 31385 (bsolo) R 31383 31385 26585 0 -1 4202496 295 0 0 0 0 0 0 0 20 0 1 0 281926306 27049984 247 33554432000 134512640 137138936 4291727472 4291726588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31385/statm: 6604 247 192 642 0 5960 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26416

[startup+0.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 31385
/proc/meminfo: memFree=28494680/32873852 swapFree=6848/6848
[pid=31385] ppid=31383 vsize=18988 CPUtime=0.09 cores=1,3,5,7
/proc/31385/stat : 31385 (bsolo) R 31383 31385 26585 0 -1 4202496 387 0 0 0 9 0 0 0 20 0 1 0 281926306 19443712 339 33554432000 134512640 137138936 4291727472 4291726368 134542217 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31385/statm: 4747 339 192 642 0 4103 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18988

[startup+0.300235 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 31385
/proc/meminfo: memFree=28494680/32873852 swapFree=6848/6848
[pid=31385] ppid=31383 vsize=18992 CPUtime=0.29 cores=1,3,5,7
/proc/31385/stat : 31385 (bsolo) R 31383 31385 26585 0 -1 4202496 395 0 0 0 29 0 0 0 20 0 1 0 281926306 19447808 347 33554432000 134512640 137138936 4291727472 4291726400 134542525 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31385/statm: 4748 347 192 642 0 4104 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18992

[startup+0.700245 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 31385
/proc/meminfo: memFree=28494680/32873852 swapFree=6848/6848
[pid=31385] ppid=31383 vsize=18992 CPUtime=0.69 cores=1,3,5,7
/proc/31385/stat : 31385 (bsolo) R 31383 31385 26585 0 -1 4202496 403 0 0 0 69 0 0 0 20 0 1 0 281926306 19447808 355 33554432000 134512640 137138936 4291727472 4291726588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31385/statm: 4748 355 192 642 0 4104 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18992

[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31386
/proc/meminfo: memFree=28493888/32873852 swapFree=6848/6848
[pid=31385] ppid=31383 vsize=19120 CPUtime=1.49 cores=1,3,5,7
/proc/31385/stat : 31385 (bsolo) R 31383 31385 26585 0 -1 4202496 423 0 0 0 149 0 0 0 20 0 1 0 281926306 19578880 375 33554432000 134512640 137138936 4291727472 4291726588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31385/statm: 4780 375 192 642 0 4136 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19120

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31386
/proc/meminfo: memFree=28493392/32873852 swapFree=6848/6848
[pid=31385] ppid=31383 vsize=19120 CPUtime=3.09 cores=1,3,5,7
/proc/31385/stat : 31385 (bsolo) R 31383 31385 26585 0 -1 4202496 438 0 0 0 308 1 0 0 20 0 1 0 281926306 19578880 390 33554432000 134512640 137138936 4291727472 4291726008 136504129 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31385/statm: 4780 390 192 642 0 4136 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19120

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 31386
/proc/meminfo: memFree=28493392/32873852 swapFree=6848/6848
[pid=31385] ppid=31383 vsize=19376 CPUtime=6.29 cores=1,3,5,7
/proc/31385/stat : 31385 (bsolo) R 31383 31385 26585 0 -1 4202496 488 0 0 0 626 3 0 0 20 0 1 0 281926306 19841024 440 33554432000 134512640 137138936 4291727472 4291724760 136505831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31385/statm: 4844 440 192 642 0 4200 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19376

[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 31386
/proc/meminfo: memFree=28492688/32873852 swapFree=6848/6848
[pid=31385] ppid=31383 vsize=19504 CPUtime=12.69 cores=1,3,5,7
/proc/31385/stat : 31385 (bsolo) R 31383 31385 26585 0 -1 4202496 527 0 0 0 1262 7 0 0 20 0 1 0 281926306 19972096 479 33554432000 134512640 137138936 4291727472 4291725648 134603195 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31385/statm: 4876 479 192 642 0 4232 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19504

[startup+25.5002 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 31386
/proc/meminfo: memFree=28492812/32873852 swapFree=6848/6848
[pid=31385] ppid=31383 vsize=19764 CPUtime=25.49 cores=1,3,5,7
/proc/31385/stat : 31385 (bsolo) R 31383 31385 26585 0 -1 4202496 585 0 0 0 2535 14 0 0 20 0 1 0 281926306 20238336 537 33554432000 134512640 137138936 4291727472 4291726400 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31385/statm: 4941 537 192 642 0 4297 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19764

[startup+51.1002 s]
/proc/loadavg: 2.10 2.03 2.01 3/175 31386
/proc/meminfo: memFree=28492812/32873852 swapFree=6848/6848
[pid=31385] ppid=31383 vsize=19764 CPUtime=51.09 cores=1,3,5,7
/proc/31385/stat : 31385 (bsolo) R 31383 31385 26585 0 -1 4202496 585 0 0 0 5082 27 0 0 20 0 1 0 281926306 20238336 537 33554432000 134512640 137138936 4291727472 4291726588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31385/statm: 4941 537 192 642 0 4297 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19764

[startup+102.306 s]
/proc/loadavg: 2.10 2.04 2.01 3/175 31386
/proc/meminfo: memFree=28492068/32873852 swapFree=6848/6848
[pid=31385] ppid=31383 vsize=19892 CPUtime=102.28 cores=1,3,5,7
/proc/31385/stat : 31385 (bsolo) R 31383 31385 26585 0 -1 4202496 641 0 0 0 10181 47 0 0 20 0 1 0 281926306 20369408 593 33554432000 134512640 137138936 4291727472 4291726588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31385/statm: 4973 593 192 642 0 4329 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 19892

[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/175 31387
/proc/meminfo: memFree=28491820/32873852 swapFree=6848/6848
[pid=31385] ppid=31383 vsize=20260 CPUtime=162.26 cores=1,3,5,7
/proc/31385/stat : 31385 (bsolo) R 31383 31385 26585 0 -1 4202496 717 0 0 0 16153 73 0 0 20 0 1 0 281926306 20746240 669 33554432000 134512640 137138936 4291727472 4291725896 134606595 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31385/statm: 5065 669 192 642 0 4421 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 20260

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 31387
/proc/meminfo: memFree=28491944/32873852 swapFree=6848/6848
[pid=31385] ppid=31383 vsize=20260 CPUtime=222.26 cores=1,3,5,7
/proc/31385/stat : 31385 (bsolo) R 31383 31385 26585 0 -1 4202496 723 0 0 0 22128 98 0 0 20 0 1 0 281926306 20746240 675 33554432000 134512640 137138936 4291727472 4291725896 134606686 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31385/statm: 5065 675 192 642 0 4421 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 20260

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

[startup+223.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 31387
/proc/meminfo: memFree=28491944/32873852 swapFree=6848/6848
[pid=31385] ppid=31383 vsize=20260 CPUtime=223.85 cores=1,3,5,7
/proc/31385/stat : 31385 (bsolo) R 31383 31385 26585 0 -1 4202496 723 0 0 0 22286 99 0 0 20 0 1 0 281926306 20746240 675 33554432000 134512640 137138936 4291727472 4291726588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31385/statm: 5065 675 192 642 0 4421 0
Current children cumulated CPU time (s) 223.85
Current children cumulated vsize (KiB) 20260

[startup+225.506 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 31387
/proc/meminfo: memFree=28491944/32873852 swapFree=6848/6848
[pid=31385] ppid=31383 vsize=20260 CPUtime=225.46 cores=1,3,5,7
/proc/31385/stat : 31385 (bsolo) R 31383 31385 26585 0 -1 4202496 723 0 0 0 22446 100 0 0 20 0 1 0 281926306 20746240 675 33554432000 134512640 137138936 4291727472 4291726400 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31385/statm: 5065 675 192 642 0 4421 0
Current children cumulated CPU time (s) 225.46
Current children cumulated vsize (KiB) 20260

[startup+226.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 31387
/proc/meminfo: memFree=28491944/32873852 swapFree=6848/6848
[pid=31385] ppid=31383 vsize=20260 CPUtime=226.25 cores=1,3,5,7
/proc/31385/stat : 31385 (bsolo) R 31383 31385 26585 0 -1 4202496 723 0 0 0 22525 100 0 0 20 0 1 0 281926306 20746240 675 33554432000 134512640 137138936 4291727472 4291726312 136504020 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31385/statm: 5065 675 192 642 0 4421 0
Current children cumulated CPU time (s) 226.25
Current children cumulated vsize (KiB) 20260

[startup+226.7 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 31387
/proc/meminfo: memFree=28491944/32873852 swapFree=6848/6848
[pid=31385] ppid=31383 vsize=20260 CPUtime=226.65 cores=1,3,5,7
/proc/31385/stat : 31385 (bsolo) R 31383 31385 26585 0 -1 4202496 723 0 0 0 22565 100 0 0 20 0 1 0 281926306 20746240 675 33554432000 134512640 137138936 4291727472 4291726400 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31385/statm: 5065 675 192 642 0 4421 0
Current children cumulated CPU time (s) 226.65
Current children cumulated vsize (KiB) 20260

[startup+227.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 31387
/proc/meminfo: memFree=28491944/32873852 swapFree=6848/6848
[pid=31385] ppid=31383 vsize=20260 CPUtime=227.06 cores=1,3,5,7
/proc/31385/stat : 31385 (bsolo) R 31383 31385 26585 0 -1 4202496 723 0 0 0 22605 101 0 0 20 0 1 0 281926306 20746240 675 33554432000 134512640 137138936 4291727472 4291726588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31385/statm: 5065 675 192 642 0 4421 0
Current children cumulated CPU time (s) 227.06
Current children cumulated vsize (KiB) 20260

[startup+227.2 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 31387
/proc/meminfo: memFree=28491944/32873852 swapFree=6848/6848
[pid=31385] ppid=31383 vsize=20260 CPUtime=227.16 cores=1,3,5,7
/proc/31385/stat : 31385 (bsolo) R 31383 31385 26585 0 -1 4202496 723 0 0 0 22615 101 0 0 20 0 1 0 281926306 20746240 675 33554432000 134512640 137138936 4291727472 4291726400 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31385/statm: 5065 675 192 642 0 4421 0
Current children cumulated CPU time (s) 227.16
Current children cumulated vsize (KiB) 20260

Child status: 0
Real time (s): 227.286
CPU time (s): 227.252
CPU user time (s): 226.238
CPU system time (s): 1.01484
CPU usage (%): 99.9851
Max. virtual memory (cumulated for all children) (KiB): 26416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 226.238
system time used= 1.01484
maximum resident set size= 2704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 724
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= 3
involuntary context switches= 234

runsolver used 0.592909 second user time and 0.823874 second system time

The end

Launcher Data 

Begin job on node129 at 2012-05-28 00:33:29
IDJOB=3708065
IDBENCH=2928
IDSOLVER=2286
FILE ID=node129/3708065-1338158009
RUNJOBID= node129-1338138643-28482
PBS_JOBID= 14624488
Free space on /tmp= 71204 MiB

SOLVER NAME= bsolo 3.2
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 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708065-1338158009/watcher-3708065-1338158009 -o /tmp/evaluation-result-3708065-1338158009/solver-3708065-1338158009 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708065-1338158009.opb

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

MD5SUM BENCH= 1757d8d914b8f8f6b2c05049538ae81a
RANDOM SEED=1931480186

node129.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.957
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.91
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.957
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	: 5331.91
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.957
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	: 5331.91
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.957
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	: 5331.91
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.957
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	: 5331.90
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.957
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	: 5331.92
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.957
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	: 5331.90
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.957
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	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        28495416 kB
Buffers:          383388 kB
Cached:          3120424 kB
SwapCached:            0 kB
Active:          1241420 kB
Inactive:        2278504 kB
Active(anon):      18420 kB
Inactive(anon):        0 kB
Active(file):    1223000 kB
Inactive(file):  2278504 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3904 kB
Writeback:             0 kB
AnonPages:         41592 kB
Mapped:            15052 kB
Shmem:               204 kB
Slab:             719540 kB
SReclaimable:     162172 kB
SUnreclaim:       557368 kB
KernelStack:        1464 kB
PageTables:         4168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     136944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71200 MiB
End job on node129 at 2012-05-28 00:37:16