Trace number 3708068

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.2SAT3 1798 1798.28

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_3.opb
MD5SUM455599f2e36aed56b051b7169c43fa6c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark305.689
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables120
Total number of constraints10
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 constraints10
Minimum length of a constraint55
Maximum length of a constraint56
Number of terms in the objective function 80
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 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1162
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3997
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-3708068-1338310748.opb
0.00/0.00	c File size is 5435 bytes.
0.00/0.00	c Highest Coefficient sum: 3997
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 120 Constr: 10 0/0/10 Lit: 554 Watch. Lit: 164
0.00/0.00	c Obj. Vars: 80 (66.6667 % 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    120       10      554   55      164    1108      0 -2147483648 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 924
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    120       11      634   57      416    1268      1 -2147483648 0.00
0.00/0.00	o 716
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       25    120       41     2090   50      569    1268     31   6250 0.00
0.00/0.00	o 390
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       25    120       42     2170   51      593    1268     32   6250 0.00
0.00/0.00	o 283
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       42    120       77     3835   49      848    1268     67   8400 0.01
0.00/0.01	o 281
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       65    120      106     4882   46     1055    1268     96   8125 0.01
0.00/0.01	o 279
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       71    120      114     5284   46     1138    1268    104   7888 0.01
0.00/0.01	o 277
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       84    120      128     5804   45     1240    1268    118   8400 0.01
0.00/0.01	o 208
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       92    120      139     6252   44     1288    1268    129   7666 0.01
0.00/0.01	o 204
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       93    120      141     6354   45     1371    1268    131   7750 0.01
0.00/0.01	o 200
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       94    120      143     6505   45     1449    1268    133   7230 0.01
0.00/0.01	o 192
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      115    120      165     7178   43     1607    1268    155   7666 0.01
0.00/0.02	o 158
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      152    120      209     8850   42     1736    1268    199   7600 0.02
0.00/0.02	o 150
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      153    120      211     8968   42     1820    1268    201   7650 0.02
0.00/0.03	o 144
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      238    120      310    12224   39     2117    1268    300   7677 0.03
0.00/0.03	o 142
0.04/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.05	c      252    120      329    12898   39     2229    1268    319   7636 0.03
0.04/0.05	c      352    120      442    16448   37     2508    1395    432   7489 0.05
0.04/0.05	o 139
0.04/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.05	c      371    120      469    17498   37     2585    1268    459   7420 0.05
0.04/0.05	o 135
0.04/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.09	c      373    120      473    17751   37     2675    1268    463   7460 0.05
0.04/0.09	c      473    120      590    22437   38     2927    1395    580   7166 0.07
0.04/0.09	o 93
0.04/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.09	c      656    120      797    29274   36     3426    1268    787   7208 0.09
0.04/0.09	o 89
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      677    118      821    30610   37     3533    1264    811   7126 0.10
0.09/0.10	o 87
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      720    118      867    31971   36     3713    1264    857   7200 0.10
0.09/0.10	o 76
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c      754    118      907    33513   36     3848    1264    897   7113 0.11
0.09/0.16	c      854    115     1011    36336   35     4147    1391   1001   7176 0.12
0.09/0.16	c     1104    113     1266    43041   33     4665    1531   1256   7168 0.15
0.09/0.16	o 74
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c     1136    113     1301    44157   33     4733    1254   1291   7055 0.16
0.09/0.17	o 56
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c     1203    111      714    21897   30     1915    1273    704   7118 0.17
0.09/0.17	o 54
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c     1204    111      716    22001   30     1989    1273    706   7124 0.17
0.19/0.23	c     1305    106      823    25553   31     2225    1401    813   7209 0.18
0.19/0.23	c     1555    103     1075    32570   30     2728    1542   1065   7266 0.21
0.19/0.23	o 48
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c     1649    102     1170    35269   30     2980    1255   1160   7264 0.23
0.19/0.23	o 46
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c     1650    102     1172    35391   30     3044    1255   1162   7268 0.23
0.19/0.27	c     1750    101     1277    38278   29     3251    1381   1267   7322 0.24
0.19/0.27	o 40
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c     1973    101      791    22057   27     2022    1230    781   7389 0.27
0.19/0.27	o 38
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c     1974    101      793    22151   27     2085    1230    783   7365 0.27
0.19/0.27	o 36
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c     1985    101      808    22841   28     2191    1230    798   7379 0.27
0.29/0.31	c     2086    101      913    25716   28     2407    1354    903   7423 0.28
0.29/0.31	o 28
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c     2318    100     1148    31826   27     2942    1228   1138   7501 0.31
0.29/0.33	c     2418     92     1249    34475   27     3130    1351   1239   7486 0.32
0.29/0.33	o 25
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c     2474     91     1307    36328   27     3311    1210   1297   7451 0.33
0.49/0.53	c     2575     90      746    19956   26     1849    1332    736   7420 0.35
0.49/0.53	c     2825     90      996    27336   27     2348    1466    986   7434 0.38
0.49/0.53	o 24
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c     3178     90     1350    37816   28     3107    1208   1340   7390 0.43
0.49/0.53	c     3278     90      749    21269   28     1861    1329    739   7399 0.44
0.49/0.53	o 21
0.79/0.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.83	c     3448     90      920    26328   28     2254    1208    910   7447 0.46
0.79/0.83	c     3548     90     1022    29406   28     2473    1329   1012   7469 0.47
0.79/0.83	c     3798     90     1272    36609   28     2974    1462   1262   7505 0.51
0.79/0.83	c     4273     90     1006    28731   28     2379    1609    996   7589 0.56
0.79/0.83	c     5086     90      985    28155   28     2326    1770    975   7636 0.67
0.79/0.83	o 19
2.19/2.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.24	c     6394     90     1387    40711   29     3189    1208   1377   7703 0.83
2.19/2.24	c     6494     90      747    21404   28     1849    1329    737   7694 0.84
2.19/2.24	c     6744     90      999    28775   28     2355    1462    989   7725 0.87
2.19/2.24	c     7219     90     1475    42703   28     3314    1609   1465   7712 0.94
2.19/2.24	c     8032     90     1458    41796   28     3275    1770   1448   7678 1.05
2.19/2.24	c     9353     90      957    27347   28     2272    1948    947   7635 1.23
2.19/2.24	c    11434     90     1043    29491   28     2445    2143   1033   7537 1.52
2.19/2.24	c    14659     90     2079    60274   28     4522    2358   2069   7490 1.96
2.19/2.24	o 14
2.19/2.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.19/2.25	c    16609     90     1620    47245   29     3655    1208   1610   7418 2.24
2.19/2.25	o 12
3.30/3.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.30/3.35	c    16671     82      709    20145   28     1808    1192    699   7415 2.25
3.30/3.35	c    16771     81      809    22999   28     2006    1312    799   7417 2.26
3.30/3.35	c    17021     81     1059    30294   28     2507    1444   1049   7423 2.29
3.30/3.35	c    17496     81      791    22501   28     1920    1589    781   7422 2.36
3.30/3.35	c    18309     80     1604    47039   29     3544    1748   1594   7442 2.46
3.30/3.35	c    19629     80     1134    31779   28     2603    1923   1124   7483 2.62
3.30/3.35	c    21710     80     1242    36302   29     2822    2116   1232   7530 2.88
3.30/3.35	c    24933     80     1213    35744   29     2767    2328   1203   7514 3.32
3.30/3.35	o 10
7.69/7.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.69/7.72	c    25154     80     1435    42168   29     3245    1188   1425   7515 3.35
7.69/7.72	c    25254     80      745    20947   28     1824    1307    735   7511 3.36
7.69/7.72	c    25505     80      996    28569   28     2325    1438    986   7523 3.39
7.69/7.72	c    25980     80     1471    42884   29     3277    1582   1461   7528 3.45
7.69/7.72	c    26793     80     1477    43245   29     3289    1741   1467   7530 3.56
7.69/7.72	c    28114     80     1012    28410   28     2358    1916   1002   7543 3.73
7.69/7.72	c    30195     80     1125    31627   28     2583    2108   1115   7554 4.00
7.69/7.72	c    33419     80     1111    32134   28     2554    2319   1101   7538 4.43
7.69/7.72	c    38356     80     1310    37906   28     2956    2551   1300   7485 5.12
7.69/7.72	c    45863     80     2320    69351   29     4974    2807   2310   7424 6.18
7.69/7.72	o 9
66.28/66.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
66.28/66.31	c    56174     80     2631    80797   30     5638    1188   2621   7275 7.72
66.28/66.31	c    56275     80      747    22317   29     1829    1307    737   7273 7.74
66.28/66.31	c    56526     80      998    30098   30     2334    1438    988   7278 7.77
66.28/66.31	c    57003     80     1476    44925   30     3288    1582   1466   7284 7.83
66.28/66.31	c    57817     80     1473    44180   29     3280    1741   1463   7291 7.93
66.28/66.31	c    59137     80     1000    29471   29     2334    1916    990   7299 8.10
66.28/66.31	c    61218     80     1111    32208   28     2551    2108   1101   7322 8.36
66.28/66.31	c    64441     80     1105    33224   30     2547    2319   1095   7325 8.80
66.28/66.31	c    69377     80     1310    40119   30     2958    2551   1300   7324 9.47
66.28/66.31	c    76884     80     2299    69499   30     4934    2807   2289   7288 10.55
66.28/66.31	c    88246     80     2238    66405   29     4809    3088   2228   7217 12.23
66.28/66.31	c   105391     80     2114    63411   29     4561    3397   2104   7114 14.81
66.28/66.31	c   131210     80     2101    61792   29     4536    3737   2091   6985 18.78
66.28/66.31	c   170043     80     3075    90926   29     6485    4111   3065   6915 24.59
66.28/66.31	c   228395     80     3176    93982   29     6687    4523   3166   6786 33.66
66.28/66.31	c   316027     80     3972   119235   30     8283    4976   3962   6566 48.12
66.28/66.31	o 8
73.47/73.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
73.47/73.53	c   418609     80     3588   108606   30     7551    1188   3578   6313 66.30
73.47/73.53	c   418711     78      747    22231   29     1828    1307    737   6313 66.32
73.47/73.53	c   418961     75      998    29410   29     2318    1438    988   6313 66.36
73.47/73.53	c   419437     75     1474    43405   29     3270    1582   1464   6315 66.42
73.47/73.53	c   420250     73     1472    42039   28     3267    1741   1462   6317 66.53
73.47/73.53	c   421571     73      999    28388   28     2323    1916    989   6321 66.69
73.47/73.53	c   423653     70     1108    31822   28     2534    2108   1098   6326 66.97
73.47/73.53	c   426876     70     1115    32178   28     2540    2319   1105   6334 67.39
73.47/73.53	c   431812     70     1313    38463   29     2944    2551   1303   6346 68.04
73.47/73.53	c   439318     70     2322    69287   29     4957    2807   2312   6362 69.04
73.47/73.53	c   450679     70     2255    66886   29     4824    3088   2245   6389 70.54
73.47/73.53	c   467824     70     2142    65069   30     4596    3397   2132   6407 73.01
73.47/73.53	o 7
281.35/281.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
281.35/281.44	c   471275     70     2136    63742   29     4619    1168   2126   6410 73.52
281.35/281.44	c   471376     70      746    21288   28     1800    1285    736   6410 73.53
281.35/281.44	c   471626     70      996    28744   28     2296    1414    986   6411 73.56
281.35/281.44	c   472102     70     1472    43039   29     3249    1556   1462   6412 73.62
281.35/281.44	c   472916     70     1487    43861   29     3283    1712   1477   6414 73.73
281.35/281.44	c   474236     70     1049    30753   29     2402    1884   1039   6417 73.90
281.35/281.44	c   476318     70     1199    35138   29     2704    2073   1189   6423 74.15
281.35/281.44	c   479543     70     1244    38017   30     2791    2281   1234   6434 74.53
281.35/281.44	c   484479     70     1507    45491   30     3311    2510   1497   6447 75.14
281.35/281.44	c   491985     70     1323    39766   30     2935    2762   1313   6467 76.07
281.35/281.44	c   503347     70     1442    44296   30     3183    3039   1432   6487 77.59
281.35/281.44	c   520491     70     1601    48008   29     3507    3343   1591   6508 79.97
281.35/281.44	c   546310     70     1964    61032   31     4229    3678   1954   6531 83.65
281.35/281.44	c   585142     70     3511   109471   31     7325    4046   3501   6549 89.34
281.35/281.44	c   643495     70     2482    76012   30     5272    4451   2472   6539 98.40
281.35/281.44	c   731127     70     2345    72944   31     4992    4897   2335   6557 111.49
281.35/281.44	c   862681     70     2819    84602   30     5939    5387   2809   6518 132.34
281.35/281.44	c  1060113     70     4552   135997   29     9408    5926   4542   6439 164.62
281.35/281.44	c  1356366     70     5081   153558   30    10468    6519   5071   6260 216.65
281.35/281.44	o 6
338.44/338.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
338.44/338.57	c  1697980     70     5146   154262   29    10629    1168   5136   6034 281.40
338.44/338.57	c  1698080     70      745    21144   28     1797    1285    735   6033 281.42
338.44/338.57	c  1698331     70      996    28446   28     2298    1414    986   6034 281.46
338.44/338.57	c  1698807     70     1472    42621   28     3250    1556   1462   6034 281.51
338.44/338.57	c  1699620     70     1481    42567   28     3269    1712   1471   6035 281.62
338.44/338.57	c  1700940     70     1036    30218   29     2375    1884   1026   6036 281.78
338.44/338.57	c  1703022     70     1187    35741   30     2671    2073   1177   6038 282.03
338.44/338.57	c  1706246     70     1218    37529   30     2736    2281   1208   6041 282.42
338.44/338.57	c  1711184     70     1481    46017   31     3262    2510   1471   6045 283.03
338.44/338.57	c  1718690     70     1316    38783   29     2937    2762   1306   6051 284.03
338.44/338.57	c  1730051     70     1442    42520   29     3193    3039   1432   6057 285.62
338.44/338.57	c  1747196     70     1597    49646   31     3497    3343   1587   6069 287.88
338.44/338.57	c  1773015     70     1980    59332   29     4267    3678   1970   6080 291.60
338.44/338.57	c  1811848     70     3514   108605   30     7336    4046   3504   6085 297.73
338.44/338.57	c  1870200     70     2470    73820   29     5246    4451   2460   6108 306.18
338.44/338.57	c  1957832     70     2313    70382   30     4929    4897   2303   6132 319.25
338.44/338.57	o 5
402.03/402.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
402.03/402.14	c  2082332     70     3157    91811   29     6648    1168   3147   6151 338.52
402.03/402.14	c  2082432     70      745    20763   27     1795    1285    735   6151 338.54
402.03/402.14	c  2082682     70      995    28148   28     2292    1414    985   6151 338.57
402.03/402.14	c  2083157     70     1470    41919   28     3244    1556   1460   6151 338.62
402.03/402.14	c  2083971     70     1478    42103   28     3262    1712   1468   6152 338.72
402.03/402.14	c  2085291     70     1031    29223   28     2368    1884   1021   6153 338.88
402.03/402.14	c  2087372     70     1191    34464   28     2692    2073   1181   6155 339.13
402.03/402.14	c  2090595     70     1239    36008   29     2779    2281   1229   6157 339.54
402.03/402.14	c  2095532     70     1513    43786   28     3334    2510   1503   6159 340.19
402.03/402.14	c  2103038     70     1340    39716   29     2988    2762   1330   6163 341.20
402.03/402.14	c  2114399     70     1451    43146   29     3203    3039   1441   6169 342.70
402.03/402.14	c  2131543     70     1612    47182   29     3529    3343   1602   6176 345.09
402.03/402.14	c  2157363     70     1993    58058   29     4292    3678   1983   6183 348.90
402.03/402.14	c  2196195     70     3563   103933   29     7432    4046   3553   6185 355.03
402.03/402.14	c  2254548     70     2533    74713   29     5373    4451   2523   6191 364.11
402.03/402.14	c  2342180     70     2470    74121   30     5249    4897   2460   6200 377.75
402.03/402.14	c  2473732     70     3048    91587   30     6404    5387   3038   6193 399.43
402.03/402.14	o 4
723.87/724.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
723.87/724.06	c  2490366     70     3384   101695   30     7105    1168   3374   6193 402.08
723.87/724.06	c  2490466     69      745    20759   27     1792    1285    735   6193 402.10
723.87/724.06	c  2490717     68      996    27874   27     2291    1414    986   6193 402.13
723.87/724.06	c  2491192     67     1471    41345   28     3242    1556   1461   6194 402.19
723.87/724.06	c  2492006     67     1489    41745   28     3277    1712   1479   6194 402.30
723.87/724.06	c  2493326     65     1058    29313   27     2413    1884   1048   6195 402.47
723.87/724.06	c  2495407     65     1216    34240   28     2728    2073   1206   6196 402.72
723.87/724.06	c  2498630     64     1259    35461   28     2811    2281   1249   6198 403.12
723.87/724.06	c  2503567     63     1540    44045   28     3369    2510   1530   6200 403.79
723.87/724.06	c  2511073     63     1375    39514   28     3042    2762   1365   6203 404.81
723.87/724.06	c  2522435     63     1485    42817   28     3262    3039   1475   6206 406.39
723.87/724.06	c  2539579     62     1659    47895   28     3610    3343   1649   6211 408.84
723.87/724.06	c  2565399     62     2035    61726   30     4362    3678   2025   6218 412.54
723.87/724.06	c  2604231     62     3597   106395   29     7486    4046   3587   6226 418.24
723.87/724.06	c  2662584     62     2576    75155   29     5447    4451   2566   6232 427.19
723.87/724.06	c  2750218     62     2482    73231   29     5256    4897   2472   6235 441.06
723.87/724.06	c  2881770     62     2985    88231   29     6262    5387   2975   6230 462.51
723.87/724.06	c  3079202     61     4744   141695   29     9780    5926   4734   6220 495.00
723.87/724.06	c  3375454     60     5249   156489   29    10787    6519   5239   6156 548.25
723.87/724.06	c  3819936     60     6543   195545   29    13376    7171   6533   6021 634.41
723.87/724.06	o 3
1797.91/1798.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.27	c  4282039     60     6679   199584   29    13663    1148   6669   5914 723.96
1797.91/1798.27	c  4282139     60      745    20858   27     1768    1263    735   5914 723.99
1797.91/1798.27	c  4282389     60      995    28289   28     2268    1390    985   5914 724.02
1797.91/1798.27	c  4282864     60      766    21151   27     1805    1530    756   5914 724.08
1797.91/1798.27	c  4283677     60     1579    45370   28     3436    1684   1569   5915 724.19
1797.91/1798.27	c  4284997     60     1171    33196   28     2615    1853   1161   5915 724.35
1797.91/1798.27	c  4287079     60     1351    38686   28     2980    2039   1341   5916 724.62
1797.91/1798.27	c  4290302     60     1440    41451   28     3161    2243   1430   5917 725.04
1797.91/1798.27	c  4295239     60     1796    51821   28     3870    2468   1786   5918 725.69
1797.91/1798.27	c  4302746     60     1753    51169   29     3781    2715   1743   5921 726.66
1797.91/1798.27	c  4314107     60     2060    60519   29     4400    2987   2050   5924 728.15
1797.91/1798.27	c  4331253     60     2506    73739   29     5289    3286   2496   5927 730.65
1797.91/1798.27	c  4357075     60     3320    97681   29     6919    3615   3310   5933 734.36
1797.91/1798.27	c  4395907     60     1879    55165   29     4036    3977   1869   5938 740.20
1797.91/1798.27	c  4454259     60     3871   110448   28     8020    4375   3861   5945 749.17
1797.91/1798.27	c  4541892     60     3015    87852   29     6310    4813   3005   5952 763.03
1797.91/1798.27	c  4673445     60     3340    99390   29     6960    5295   3330   5954 784.85
1797.91/1798.27	c  4870877     60     3130    92592   29     6534    5825   3120   5949 818.68
1797.91/1798.27	c  5167131     60     5765   173670   30    11806    6408   5755   5920 872.69
1797.91/1798.27	c  5611614     60     4780   142756   29     9835    7049   4770   5877 954.69
1797.91/1798.27	c  6278441     60     4678   139425   29     9636    7754   4668   5811 1080.32
1797.91/1798.27	c  7278787     60     6376   189896   29    13030    8530   6366   5675 1282.56
1797.91/1798.27	c  8779409     60     5995   180546   30    12269    9384   5985   5464 1606.72
1797.91/1798.27	c Resources Exceeded
1797.91/1798.27	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 x86 -x87 x88 -x89 x90 x91 x92 x93 x94 -x95 -x96 x97 x98 -x99 -x100 -x101 x102 -x103 x104 x105 -x106 x107 x108 x109 x110 x111 -x112 -x113 -x114 x115 -x116 x117 x118 -x119 -x120 
1797.91/1798.27	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.27	c  199  9659367  25548  9690704     8735   262536   8725   5372 1798.00
1797.91/1798.27	c Objective: 3
1797.91/1798.27	s SATISFIABLE
1797.91/1798.27	c Total time: 1798 s

Verifier Data

OK	3

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-3708068-1338310748/watcher-3708068-1338310748 -o /tmp/evaluation-result-3708068-1338310748/solver-3708068-1338310748 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708068-1338310748.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: 0.00 0.00 1.46 3/176 18340
/proc/meminfo: memFree=30787880/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=18604 CPUtime=0 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 291 0 0 0 0 0 0 0 20 0 1 0 297199181 19050496 242 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 4651 242 192 642 0 4007 0

[startup+0.0485521 s]
/proc/loadavg: 0.00 0.00 1.46 3/176 18340
/proc/meminfo: memFree=30787880/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=11044 CPUtime=0.04 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 355 0 0 0 4 0 0 0 20 0 1 0 297199181 11309056 306 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 2761 306 192 642 0 2117 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11044

[startup+0.100256 s]
/proc/loadavg: 0.00 0.00 1.46 3/176 18340
/proc/meminfo: memFree=30787880/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=11296 CPUtime=0.09 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 417 0 0 0 9 0 0 0 20 0 1 0 297199181 11567104 368 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 2824 368 192 642 0 2180 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11296

[startup+0.300224 s]
/proc/loadavg: 0.00 0.00 1.46 3/176 18340
/proc/meminfo: memFree=30787880/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=11424 CPUtime=0.29 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 474 0 0 0 29 0 0 0 20 0 1 0 297199181 11698176 425 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 2856 425 192 642 0 2212 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11424

[startup+0.70022 s]
/proc/loadavg: 0.00 0.00 1.46 3/176 18340
/proc/meminfo: memFree=30787880/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=11552 CPUtime=0.69 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 487 0 0 0 69 0 0 0 20 0 1 0 297199181 11829248 438 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 2888 438 192 642 0 2244 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11552

[startup+1.50022 s]
/proc/loadavg: 0.00 0.00 1.46 3/177 18341
/proc/meminfo: memFree=30785740/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=11680 CPUtime=1.49 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 530 0 0 0 149 0 0 0 20 0 1 0 297199181 11960320 481 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 2920 481 192 642 0 2276 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11680

[startup+3.10023 s]
/proc/loadavg: 0.00 0.00 1.46 3/177 18341
/proc/meminfo: memFree=30785120/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=11936 CPUtime=3.09 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 582 0 0 0 308 1 0 0 20 0 1 0 297199181 12222464 533 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 2984 533 192 642 0 2340 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11936

[startup+6.30022 s]
/proc/loadavg: 0.16 0.03 1.46 3/177 18341
/proc/meminfo: memFree=30779060/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=12188 CPUtime=6.29 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 646 0 0 0 627 2 0 0 20 0 1 0 297199181 12480512 597 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3047 597 192 642 0 2403 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12188

[startup+12.7002 s]
/proc/loadavg: 0.31 0.07 1.46 3/177 18341
/proc/meminfo: memFree=30768536/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=12320 CPUtime=12.69 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 679 0 0 0 1265 4 0 0 20 0 1 0 297199181 12615680 630 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3080 630 192 642 0 2436 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12320

[startup+25.5002 s]
/proc/loadavg: 0.68 0.16 1.47 3/177 18341
/proc/meminfo: memFree=30750480/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=12832 CPUtime=25.49 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 802 0 0 0 2540 9 0 0 20 0 1 0 297199181 13139968 753 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3208 753 192 642 0 2564 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 12832

[startup+51.1002 s]
/proc/loadavg: 1.13 0.31 1.48 3/177 18341
/proc/meminfo: memFree=30724688/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=13316 CPUtime=51.08 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 931 0 0 0 5093 15 0 0 20 0 1 0 297199181 13635584 882 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3329 882 192 642 0 2685 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13316

[startup+102.306 s]
/proc/loadavg: 1.62 0.56 1.51 3/178 18344
/proc/meminfo: memFree=30691384/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=13308 CPUtime=102.28 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 937 0 0 0 10196 32 0 0 20 0 1 0 297199181 13627392 887 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3327 887 192 642 0 2683 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 13308

[startup+162.3 s]
/proc/loadavg: 1.86 0.82 1.54 3/178 18367
/proc/meminfo: memFree=30659136/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=13568 CPUtime=162.26 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1005 0 0 0 16171 55 0 0 20 0 1 0 297199181 13893632 955 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3392 955 192 642 0 2748 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 13568

[startup+222.3 s]
/proc/loadavg: 1.95 1.04 1.56 3/177 18367
/proc/meminfo: memFree=30629328/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=14064 CPUtime=222.26 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1131 0 0 0 22150 76 0 0 20 0 1 0 297199181 14401536 1081 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3516 1081 192 642 0 2872 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 14064

[startup+282.3 s]
/proc/loadavg: 2.05 1.22 1.59 3/177 18368
/proc/meminfo: memFree=30607628/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=14064 CPUtime=282.25 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1134 0 0 0 28132 93 0 0 20 0 1 0 297199181 14401536 1084 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3516 1084 192 642 0 2872 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 14064

[startup+342.3 s]
/proc/loadavg: 2.05 1.38 1.62 3/177 18368
/proc/meminfo: memFree=30584156/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=14044 CPUtime=342.24 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1134 0 0 0 34109 115 0 0 20 0 1 0 297199181 14381056 1084 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3511 1084 192 642 0 2867 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 14044

[startup+402.3 s]
/proc/loadavg: 2.02 1.49 1.64 3/177 18368
/proc/meminfo: memFree=30566540/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=14032 CPUtime=402.23 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1134 0 0 0 40087 136 0 0 20 0 1 0 297199181 14368768 1081 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3508 1081 192 642 0 2864 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 14032

[startup+462.3 s]
/proc/loadavg: 2.00 1.58 1.66 3/177 18368
/proc/meminfo: memFree=30547320/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=13604 CPUtime=462.21 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1134 0 0 0 46066 155 0 0 20 0 1 0 297199181 13930496 974 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3401 974 192 642 0 2757 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 13604

[startup+522.3 s]
/proc/loadavg: 2.00 1.65 1.68 3/177 18368
/proc/meminfo: memFree=30528112/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=13844 CPUtime=522.21 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1177 0 0 0 52045 176 0 0 20 0 1 0 297199181 14176256 1014 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3461 1014 192 642 0 2817 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 13844

[startup+582.3 s]
/proc/loadavg: 2.00 1.71 1.69 3/176 18368
/proc/meminfo: memFree=30508032/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=14136 CPUtime=582.2 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1256 0 0 0 58026 194 0 0 20 0 1 0 297199181 14475264 1093 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3534 1093 192 642 0 2890 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 14136

[startup+642.3 s]

################
# More data... #
################

/proc/meminfo: memFree=30443088/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=14700 CPUtime=1122.11 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1470 0 0 0 111852 359 0 0 20 0 1 0 297199181 15052800 1247 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3675 1247 192 642 0 3031 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 14700

[startup+1182.3 s]
/proc/loadavg: 2.05 1.96 1.83 3/177 18373
/proc/meminfo: memFree=30443212/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=14772 CPUtime=1182.11 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1479 0 0 0 117834 377 0 0 20 0 1 0 297199181 15126528 1256 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3693 1256 192 642 0 3049 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 14772

[startup+1242.3 s]
/proc/loadavg: 2.02 1.97 1.83 3/177 18374
/proc/meminfo: memFree=30442964/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=14764 CPUtime=1242.09 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1479 0 0 0 123817 392 0 0 20 0 1 0 297199181 15118336 1256 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3691 1256 192 642 0 3047 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 14764

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/178 18377
/proc/meminfo: memFree=30442708/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=15132 CPUtime=1302.1 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1578 0 0 0 129800 410 0 0 20 0 1 0 297199181 15495168 1355 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3783 1355 192 642 0 3139 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 15132

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/177 18377
/proc/meminfo: memFree=30442592/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=15132 CPUtime=1362.08 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1578 0 0 0 135783 425 0 0 20 0 1 0 297199181 15495168 1355 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3783 1355 192 642 0 3139 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 15132

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.85 3/177 18377
/proc/meminfo: memFree=30442592/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=15100 CPUtime=1422.07 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1578 0 0 0 141766 441 0 0 20 0 1 0 297199181 15462400 1348 33554432000 134512640 137138936 4290204160 4290203200 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3775 1348 192 642 0 3131 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 15100

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.85 3/177 18377
/proc/meminfo: memFree=30442592/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=15100 CPUtime=1482.07 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1578 0 0 0 147750 457 0 0 20 0 1 0 297199181 15462400 1348 33554432000 134512640 137138936 4290204160 4290203088 134542752 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3775 1348 192 642 0 3131 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 15100

[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.86 3/177 18378
/proc/meminfo: memFree=30442716/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=15100 CPUtime=1542.05 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1578 0 0 0 153733 472 0 0 20 0 1 0 297199181 15462400 1348 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3775 1348 192 642 0 3131 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 15100

[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.87 3/177 18378
/proc/meminfo: memFree=30442716/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=15100 CPUtime=1602.05 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1578 0 0 0 159715 490 0 0 20 0 1 0 297199181 15462400 1348 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3775 1348 192 642 0 3131 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 15100

[startup+1662.3 s]
/proc/loadavg: 2.06 1.99 1.88 3/177 18378
/proc/meminfo: memFree=30442404/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=15488 CPUtime=1662.03 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1672 0 0 0 165700 503 0 0 20 0 1 0 297199181 15859712 1441 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3872 1441 192 642 0 3228 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 15488

[startup+1722.3 s]
/proc/loadavg: 2.02 1.99 1.88 3/177 18378
/proc/meminfo: memFree=30434592/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=15488 CPUtime=1722.02 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1672 0 0 0 171684 518 0 0 20 0 1 0 297199181 15859712 1441 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3872 1441 192 642 0 3228 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 15488

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/177 18378
/proc/meminfo: memFree=30418100/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=15488 CPUtime=1782.02 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1675 0 0 0 177669 533 0 0 20 0 1 0 297199181 15859712 1444 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3872 1444 192 642 0 3228 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 15488

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

[startup+1791.91 s]
/proc/loadavg: 2.08 2.00 1.90 3/177 18378
/proc/meminfo: memFree=30415992/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=15488 CPUtime=1791.62 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1675 0 0 0 178626 536 0 0 20 0 1 0 297199181 15859712 1444 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3872 1444 192 642 0 3228 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 15488

[startup+1795.1 s]
/proc/loadavg: 2.07 2.00 1.90 3/177 18378
/proc/meminfo: memFree=30415000/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=15488 CPUtime=1794.82 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1675 0 0 0 178946 536 0 0 20 0 1 0 297199181 15859712 1444 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3872 1444 192 642 0 3228 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 15488

[startup+1796.7 s]
/proc/loadavg: 2.07 2.00 1.90 3/177 18378
/proc/meminfo: memFree=30414752/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=15488 CPUtime=1796.41 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1675 0 0 0 179104 537 0 0 20 0 1 0 297199181 15859712 1444 33554432000 134512640 137138936 4290204160 4290203088 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3872 1444 192 642 0 3228 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 15488

[startup+1797.5 s]
/proc/loadavg: 2.07 2.00 1.90 3/177 18378
/proc/meminfo: memFree=30414504/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=15488 CPUtime=1797.21 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1675 0 0 0 179184 537 0 0 20 0 1 0 297199181 15859712 1444 33554432000 134512640 137138936 4290204160 4290203200 134540813 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3872 1444 192 642 0 3228 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 15488

[startup+1797.9 s]
/proc/loadavg: 2.07 2.00 1.90 3/177 18378
/proc/meminfo: memFree=30414504/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=15488 CPUtime=1797.61 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1675 0 0 0 179224 537 0 0 20 0 1 0 297199181 15859712 1444 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3872 1444 192 642 0 3228 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 15488

[startup+1798.1 s]
/proc/loadavg: 2.07 2.00 1.90 3/177 18378
/proc/meminfo: memFree=30414504/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=15488 CPUtime=1797.81 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1675 0 0 0 179244 537 0 0 20 0 1 0 297199181 15859712 1444 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3872 1444 192 642 0 3228 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 15488

[startup+1798.2 s]
/proc/loadavg: 2.07 2.00 1.90 3/177 18378
/proc/meminfo: memFree=30414504/32873844 swapFree=7632/7632
[pid=18340] ppid=18338 vsize=15488 CPUtime=1797.91 cores=1,3,5,7
/proc/18340/stat : 18340 (bsolo) R 18338 18340 18296 0 -1 4202496 1675 0 0 0 179254 537 0 0 20 0 1 0 297199181 15859712 1444 33554432000 134512640 137138936 4290204160 4290203276 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/18340/statm: 3872 1444 192 642 0 3228 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 15488

Child status: 0
Real time (s): 1798.28
CPU time (s): 1798
CPU user time (s): 1792.62
CPU system time (s): 5.37818
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 15488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.62
system time used= 5.37818
maximum resident set size= 5780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1676
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= 5
involuntary context switches= 1854

runsolver used 2.6106 second user time and 7.1989 second system time

The end

Launcher Data

Begin job on node141 at 2012-05-29 18:59:09
IDJOB=3708068
IDBENCH=2899
IDSOLVER=2286
FILE ID=node141/3708068-1338310748
RUNJOBID= node141-1338310748-18313
PBS_JOBID= 14632087
Free space on /tmp= 71072 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_3.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708068-1338310748/watcher-3708068-1338310748 -o /tmp/evaluation-result-3708068-1338310748/solver-3708068-1338310748 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708068-1338310748.opb

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

MD5SUM BENCH= 455599f2e36aed56b051b7169c43fa6c
RANDOM SEED=709189190

node141.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.744
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.48
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.744
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.744
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.93
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.744
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.92
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.744
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.92
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.744
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.91
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.744
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.92
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.744
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30789748 kB
Buffers:          282128 kB
Cached:           910540 kB
SwapCached:          216 kB
Active:           839200 kB
Inactive:         371024 kB
Active(anon):       8632 kB
Inactive(anon):    11304 kB
Active(file):     830568 kB
Inactive(file):   359720 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108640 kB
Dirty:              9384 kB
Writeback:            12 kB
AnonPages:         24880 kB
Mapped:            11064 kB
Shmem:               172 kB
Slab:             732228 kB
SReclaimable:     174808 kB
SUnreclaim:       557420 kB
KernelStack:        1408 kB
PageTables:         4096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     140240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71068 MiB
End job on node141 at 2012-05-29 19:29:07