Trace number 3463186

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.2SAT10 1798 1797.98

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
MD5SUM8d16c34d0eecf3c16ca4b890652c15ca
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1798.37
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
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 constraints12
Minimum length of a constraint64
Maximum length of a constraint66
Number of terms in the objective function 96
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 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1270
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4321
Number of bits of the biggest sum of numbers13
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-3463186-1307179229.opb
0.00/0.00	c File size is 7734 bytes.
0.00/0.00	c Highest Coefficient sum: 4321
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 146 Constr: 12 0/0/12 Lit: 784 Watch. Lit: 220
0.00/0.00	c Obj. Vars: 96 (65.7534 % 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    146       12      784   65      226    1568      0 -2147483648 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 1114
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    146       13      880   67      564    1760      1      0 0.00
0.00/0.00	o 950
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       34    146       58     3951   68      767    1760     46   5666 0.01
0.00/0.01	o 452
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       59    146      109     7027   64     1154    1760     97   6555 0.01
0.00/0.01	o 400
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      113    146      170     9583   56     1409    1760    158   7062 0.02
0.00/0.02	o 293
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      159    146      223    11907   53     1578    1760    211   6913 0.02
0.00/0.03	o 292
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      211    146      291    15265   52     1799    1760    279   6806 0.03
0.00/0.04	o 291
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      284    146      369    18199   49     2067    1760    357   6926 0.04
0.09/0.10	c      384    146      488    24307   49     2321    1937    476   6857 0.06
0.09/0.10	c      634    146      772    37753   48     2978    2131    760   6404 0.10
0.09/0.10	o 283
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      653    146      797    38869   48     3110    1760    785   6339 0.10
0.09/0.11	o 281
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      677    146      825    40007   48     3255    1760    813   6268 0.11
0.09/0.11	o 279
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c      690    146      843    40967   48     3414    1760    831   6272 0.11
0.09/0.15	c      790    146      961    46082   47     3772    1937    949   6269 0.13
0.09/0.15	o 271
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c      940    146     1136    53726   47     4221    1760   1124   6225 0.15
0.09/0.17	c     1041    146     1241    57357   46     4442    1937   1229   6233 0.17
0.09/0.17	o 265
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c     1050    146     1254    58229   46     4577    1760   1242   6213 0.17
0.19/0.20	c     1150    146     1372    64499   47     4971    1937   1360   6182 0.19
0.19/0.20	o 258
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c     1277    146     1508    68875   45     5312    1760   1496   6259 0.20
0.19/0.22	o 256
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c     1336    146     1580    73081   46     5637    1760   1568   6185 0.22
0.19/0.27	c     1436    146     1695    77435   45     5958    1937   1683   6136 0.23
0.19/0.27	o 254
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c     1646    146      982    48430   49     2855    1760    970   5963 0.28
0.19/0.28	o 232
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c     1726    146     1069    51435   48     3121    1760   1057   6034 0.29
0.29/0.31	c     1826    146     1190    57199   48     3440    1937   1178   6046 0.30
0.29/0.31	o 192
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c     1875    146     1249    59259   47     3636    1760   1237   6048 0.31
0.29/0.31	o 187
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c     1885    146     1261    59711   47     3747    1760   1249   6041 0.31
0.29/0.32	o 179
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c     1922    146     1305    61470   47     3950    1760   1293   6063 0.32
0.29/0.32	o 175
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c     1923    146     1307    61620   47     4062    1760   1295   6066 0.32
0.29/0.32	o 151
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c     1928    146     1315    62087   47     4175    1760   1303   6043 0.32
0.29/0.32	o 130
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c     1941    146     1331    62756   47     4273    1760   1319   6027 0.32
0.29/0.33	o 118
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c     2023    146     1430    66309   46     4597    1760   1418   6056 0.33
0.29/0.33	o 116
0.79/0.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.81	c     2027    145     1435    66596   46     4698    1758   1423   6032 0.34
0.79/0.81	c     2127    144     1543    70564   45     4939    1934   1531   6008 0.35
0.79/0.81	c     2377    141     1800    79039   43     5442    2128   1788   6032 0.39
0.79/0.81	c     2852    140     1198    43249   36     3045    2341   1186   6055 0.47
0.79/0.81	c     3665    139     2054    72923   35     4758    2576   2042   6128 0.60
0.79/0.81	c     4985    136     2089    70374   33     4726    2834   2077   6177 0.81
0.79/0.81	o 115
0.79/0.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.81	c     4990    136     2095    70699   33     4819    1740   2083   6175 0.81
0.79/0.81	o 113
0.79/0.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.87	c     5000    136      906    30264   33     2427    1740    894   6157 0.81
0.79/0.87	c     5100    136     1012    34365   33     2717    1915   1000   6166 0.83
0.79/0.87	c     5350    136     1280    44848   35     3332    2107   1268   6149 0.87
0.79/0.87	o 112
0.89/0.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.90	c     5389    136     1324    47124   35     3557    1740   1312   6151 0.88
0.89/0.90	c     5489    136     1440    52428   36     3906    1915   1428   6167 0.89
0.89/0.90	o 106
0.89/0.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.91	c     5576    136     1536    55938   36     4227    1740   1524   6174 0.90
0.89/0.91	o 104
0.89/0.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.91	c     5604    136     1567    57296   36     4385    1740   1555   6178 0.91
0.89/0.91	o 102
1.19/1.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.24	c     5628    136     1594    58871   36     4539    1740   1582   6171 0.91
1.19/1.24	c     5728    136     1699    62103   36     4745    1915   1687   6179 0.93
1.19/1.24	c     5979    136      981    35910   36     2512    2107    969   6195 0.96
1.19/1.24	c     6454    136     1481    52210   35     3518    2318   1469   6253 1.03
1.19/1.24	c     7267    136     2312    78877   34     5194    2550   2300   6324 1.15
1.19/1.24	o 96
1.19/1.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.24	c     7861    135     1608    50313   31     3853    1738   1596   6354 1.24
1.19/1.24	o 94
2.20/2.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.20/2.28	c     7867    135     1615    50637   31     3949    1738   1603   6354 1.24
2.20/2.28	c     7967    135     1718    53888   31     4151    1912   1706   6363 1.25
2.20/2.28	c     8219    135      980    30584   31     2499    2104    968   6361 1.29
2.20/2.28	c     8694    135     1472    47551   32     3487    2315   1460   6397 1.36
2.20/2.28	c     9507    135     2308    73292   31     5184    2547   2296   6462 1.47
2.20/2.28	c    10827    135     2354    73653   31     5290    2802   2342   6518 1.66
2.20/2.28	c    12908    134     1642    49991   30     3822    3083   1630   6599 1.96
2.20/2.28	o 93
2.59/2.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.66	c    14993    134     2240    75649   33     5117    1736   2228   6581 2.28
2.59/2.66	c    15093    134      998    32195   32     2545    1910    986   6576 2.29
2.59/2.66	c    15344    134     1270    41507   32     3095    2102   1258   6585 2.33
2.59/2.66	c    15819    134     1757    57494   32     4081    2313   1745   6591 2.40
2.59/2.66	c    16632    134     1412    47388   33     3370    2545   1400   6573 2.53
2.59/2.66	o 92
2.59/2.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.67	c    17568    134     2386    79241   33     5418    1736   2374   6594 2.66
2.59/2.67	o 90
2.69/2.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.70	c    17598    134      926    29837   32     2490    1736    914   6583 2.67
2.69/2.70	c    17698    134     1027    32479   31     2689    1910   1015   6591 2.69
2.69/2.70	o 88
2.69/2.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.74	c    17856    134     1192    37636   31     3106    1736   1180   6601 2.71
2.69/2.74	c    17956    134     1297    41277   31     3332    1910   1285   6608 2.72
2.69/2.74	o 85
8.09/8.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.09/8.17	c    18123    134     1468    46432   31     3755    1736   1456   6621 2.74
8.09/8.17	c    18223    134     1575    50677   32     3986    1910   1563   6614 2.75
8.09/8.17	c    18473    134     1836    58622   31     4499    2102   1824   6625 2.79
8.09/8.17	c    18949    134     1241    39617   31     3018    2313   1229   6630 2.86
8.09/8.17	c    19762    134     2076    66473   32     4679    2545   2064   6647 2.97
8.09/8.17	c    21082    134     2136    68967   32     4807    2800   2124   6652 3.17
8.09/8.17	c    23163    134     1425    46026   32     3372    3081   1413   6591 3.51
8.09/8.17	c    26386    134     1591    50429   31     3705    3390   1579   6575 4.01
8.09/8.17	c    31322    134     3257   105221   32     7069    3730   3245   6596 4.75
8.09/8.17	c    38828    134     3452   111454   32     7442    4104   3440   6537 5.94
8.09/8.17	c    50191    134     2562    81249   31     5663    4515   2550   6578 7.63
8.09/8.17	o 69
8.09/8.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.09/8.19	c    53404    134     3635   117296   32     7900    1736   3623   6532 8.18
8.09/8.19	o 65
9.09/9.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.09/9.16	c    53483    134      996    34669   34     2824    1736    984   6528 8.19
9.09/9.16	c    53583    134     1097    37648   34     3022    1910   1085   6530 8.21
9.09/9.16	c    53835    134     1355    46942   34     3527    2102   1343   6527 8.25
9.09/9.16	c    54311    134     1838    63371   34     4490    2313   1826   6522 8.33
9.09/9.16	c    55127    134     1462    49666   33     3446    2545   1450   6512 8.46
9.09/9.16	c    56447    134     1488    50087   33     3499    2800   1476   6496 8.69
9.09/9.16	c    58528    134     2167    73565   33     4876    3081   2155   6476 9.04
9.09/9.16	o 52
9.09/9.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.09/9.17	c    59258    134     2908    97638   33     6452    1736   2896   6467 9.16
9.09/9.17	o 50
9.80/9.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.80/9.84	c    59263    131      899    29252   32     2413    1730    887   6464 9.17
9.80/9.84	c    59363    128     1000    32872   32     2617    1904    988   6464 9.18
9.80/9.84	c    59614    127     1251    42156   33     3121    2095   1239   6462 9.22
9.80/9.84	c    60089    123     1733    58318   33     4080    2305   1721   6455 9.31
9.80/9.84	c    60902    122     1362    45815   33     3247    2536   1350   6441 9.45
9.80/9.84	c    62223    122     1394    47477   34     3311    2790   1382   6425 9.68
9.80/9.84	o 47
9.80/9.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.80/9.88	c    63163    122     2350    82889   35     5344    1712   2338   6415 9.85
9.80/9.88	c    63264    122      999    36285   36     2516    1884    987   6412 9.87
9.80/9.88	o 46
9.80/9.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.80/9.88	c    63382    122     1129    41957   37     2946    1712   1117   6414 9.88
9.80/9.88	o 42
16.69/16.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.69/16.74	c    63401    122     1151    42813   37     3074    1712   1139   6414 9.88
16.69/16.74	c    63502    122     1263    49074   38     3380    1884   1251   6414 9.90
16.69/16.74	c    63752    122     1519    57671   37     3901    2073   1507   6415 9.94
16.69/16.74	c    64227    122     1996    75098   37     4855    2281   1984   6416 10.01
16.69/16.74	c    65040    122     1625    58151   35     3764    2510   1613   6417 10.13
16.69/16.74	c    66360    122     1664    61154   36     3835    2762   1652   6420 10.34
16.69/16.74	c    68441    122     2327    84006   36     5162    3039   2315   6410 10.68
16.69/16.74	c    71665    122     2442    94632   38     5386    3343   2430   6395 11.21
16.69/16.74	c    76601    122     2257    83604   37     5023    3678   2245   6354 12.05
16.69/16.74	c    84107    122     2288    84077   36     5086    4046   2276   6308 13.33
16.69/16.74	c    95468    122     3433   127561   37     7381    4451   3421   6213 15.37
16.69/16.74	o 40
18.70/18.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.70/18.74	c   102941    122     4157   153012   36     8898    1712   4145   6147 16.75
18.70/18.74	c   103042    122      996    36159   36     2504    1884    984   6142 16.77
18.70/18.74	c   103292    122     1247    44504   35     3010    2073   1235   6143 16.81
18.70/18.74	c   103767    122     1724    60864   35     3957    2281   1712   6145 16.89
18.70/18.74	c   104580    122     1365    47590   34     3238    2510   1353   6144 17.02
18.70/18.74	c   105900    122     1398    50795   36     3300    2762   1386   6146 17.23
18.70/18.74	c   107984    122     2084    76517   36     4688    3039   2072   6151 17.55
18.70/18.74	c   111207    122     2204    79811   36     4917    3343   2192   6150 18.08
18.70/18.74	o 38
18.70/18.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.70/18.75	c   115311    122     2921   106538   36     6431    1712   2909   6153 18.74
18.70/18.75	o 36
37.19/37.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.19/37.27	c   115342    122      927    34679   37     2444    1712    915   6152 18.75
37.19/37.27	c   115442    122     1030    38169   37     2651    1884   1018   6152 18.76
37.19/37.27	c   115692    122     1282    47105   36     3153    2073   1270   6153 18.80
37.19/37.27	c   116168    122     1771    64975   36     4142    2281   1759   6154 18.88
37.19/37.27	c   116981    122     1410    49389   35     3329    2510   1398   6152 19.01
37.19/37.27	c   118301    122     1450    49275   33     3413    2762   1438   6148 19.24
37.19/37.27	c   120382    122     2117    75079   35     4746    3039   2105   6143 19.59
37.19/37.27	c   123606    122     2250    80207   35     5009    3343   2238   6132 20.16
37.19/37.27	c   128542    122     2087    73725   35     4682    3678   2075   6119 21.00
37.19/37.27	c   136048    122     2116    73640   34     4741    4046   2104   6102 22.29
37.19/37.27	c   147409    122     3233   119199   36     6981    4451   3221   6075 24.26
37.19/37.27	c   164553    122     2382    84434   35     5278    4897   2370   6018 27.34
37.19/37.27	c   190372    122     3486   117274   33     7488    5387   3474   5950 31.99
37.19/37.27	o 27
37.19/37.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.19/37.29	c   217966    122     3959   139374   35     8540    1712   3947   5848 37.27
37.19/37.29	o 25
77.08/77.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
77.08/77.15	c   218037    112      965    32790   33     2490    1692    953   5846 37.30
77.08/77.15	c   218137    111     1067    37202   34     2719    1862   1055   5846 37.31
77.08/77.15	c   218390    111     1322    47565   35     3232    2049   1310   5846 37.35
77.08/77.15	c   218865    110     1802    66218   36     4190    2254   1790   5847 37.43
77.08/77.15	c   219678    110     1453    57512   39     3402    2480   1441   5848 37.56
77.08/77.15	c   220998    110     1490    57937   38     3481    2729   1478   5849 37.78
77.08/77.15	c   223080    110     2170    86349   39     4834    3002   2158   5856 38.09
77.08/77.15	c   226303    110     2322    93223   40     5136    3303   2310   5858 38.63
77.08/77.15	c   231240    110     2190    89218   40     4875    3634   2178   5855 39.49
77.08/77.15	c   238747    110     2279    91623   40     5048    3998   2267   5852 40.79
77.08/77.15	c   250109    110     3457   136767   39     7406    4398   3445   5844 42.79
77.08/77.15	c   267253    110     2730   106534   39     5943    4838   2718   5797 46.09
77.08/77.15	c   293073    110     4030   161648   40     8543    5322   4018   5759 50.89
77.08/77.15	c   331905    110     5156   200194   38    10802    5855   5144   5679 58.44
77.08/77.15	c   390257    110     4331   175920   40     9152    6441   4319   5557 70.22
77.08/77.15	o 23
163.38/163.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
163.38/163.46	c   422579    110     4152   168953   40     8874    1688   4140   5478 77.14
163.38/163.46	c   422679    110      994    39012   39     2495    1857    982   5477 77.17
163.38/163.46	c   422930    110     1246    48849   39     2999    2043   1234   5477 77.21
163.38/163.46	c   423406    110     1723    67935   39     3955    2248   1711   5479 77.28
163.38/163.46	c   424219    110     1381    54304   39     3262    2473   1369   5480 77.41
163.38/163.46	c   425539    110     1431    54085   37     3357    2721   1419   5482 77.62
163.38/163.46	c   427620    110     2117    81804   38     4722    2994   2105   5485 77.95
163.38/163.46	c   430844    110     2289    89918   39     5065    3294   2277   5489 78.49
163.38/163.46	c   435780    110     2197    85212   38     4888    3624   2185   5492 79.34
163.38/163.46	c   443286    110     2322    91324   39     5135    3987   2310   5496 80.65
163.38/163.46	c   454648    110     3583   140834   39     7659    4386   3571   5492 82.78
163.38/163.46	c   471792    110     2931   114251   38     6345    4825   2919   5486 85.99
163.38/163.46	c   497611    110     4311   166778   38     9113    5308   4299   5475 90.87
163.38/163.46	c   536443    110     2863   113335   39     6215    5839   2851   5466 98.13
163.38/163.46	c   594795    110     5186   209119   40    10865    6423   5174   5385 110.45
163.38/163.46	c   682427    110     5276   213699   40    11041    7066   5264   5283 129.16
163.38/163.46	c   813981    110     4968   201477   40    10431    7773   4956   5146 158.16
163.38/163.46	o 22
203.38/203.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
203.38/203.50	c   837987    110     5464   219948   40    11489    1688   5452   5126 163.45
203.38/203.50	c   838088    110      994    38058   38     2497    1857    982   5125 163.50
203.38/203.50	c   838338    110     1245    47029   37     2990    2043   1233   5126 163.53
203.38/203.50	c   838813    110     1721    63315   36     3934    2248   1709   5127 163.59
203.38/203.50	c   839626    110     1379    47074   34     3234    2473   1367   5128 163.70
203.38/203.50	c   840946    110     1430    49761   34     3338    2721   1418   5131 163.89
203.38/203.50	c   843029    110     2119    77343   36     4727    2994   2107   5135 164.17
203.38/203.50	c   846252    110     2290    88233   38     5065    3294   2278   5139 164.66
203.38/203.50	c   851188    110     2193    84097   38     4875    3624   2181   5143 165.47
203.38/203.50	c   858694    110     2322    89442   38     5134    3987   2310   5149 166.75
203.38/203.50	c   870056    110     3548   139115   39     7592    4386   3536   5154 168.81
203.38/203.50	c   887203    110     2890   111670   38     6271    4825   2878   5157 172.01
203.38/203.50	c   913023    110     4255   166504   39     8989    5308   4243   5166 176.72
203.38/203.50	c   951855    110     2814   107733   38     6114    5839   2802   5170 184.08
203.38/203.50	c  1010207    110     5072   203172   40    10632    6423   5060   5154 195.98
203.38/203.50	o 21
311.09/311.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
311.09/311.10	c  1045494    110     4684   189636   40     9921    1688   4672   5137 203.49
311.09/311.10	c  1045594    110      993    39456   39     2473    1857    981   5137 203.52
311.09/311.10	c  1045844    110     1243    49527   39     2983    2043   1231   5137 203.56
311.09/311.10	c  1046319    110     1720    68179   39     3931    2248   1708   5138 203.63
311.09/311.10	c  1047132    110     1394    54560   39     3278    2473   1382   5138 203.77
311.09/311.10	c  1048452    110     1445    57438   39     3377    2721   1433   5139 203.98
311.09/311.10	c  1050534    110     2140    80787   37     4773    2994   2128   5140 204.35
311.09/311.10	c  1053757    110     2294    90227   39     5081    3294   2282   5142 204.91
311.09/311.10	c  1058693    110     2207    87123   39     4902    3624   2195   5146 205.73
311.09/311.10	c  1066199    110     2349    91827   39     5195    3987   2337   5149 207.07
311.09/311.10	c  1077560    110     3568   139645   39     7622    4386   3556   5152 209.15
311.09/311.10	c  1094704    110     2913   114644   39     6314    4825   2901   5154 212.39
311.09/311.10	c  1120524    110     4295   164484   38     9077    5308   4283   5154 217.38
311.09/311.10	c  1159357    110     2851   109290   38     6190    5839   2839   5147 225.24
311.09/311.10	c  1217710    110     5196   195654   37    10872    6423   5184   5155 236.19
311.09/311.10	c  1305342    110     5269   199153   37    11011    7066   5257   5137 254.10
311.09/311.10	c  1436895    110     5004   176304   35    10491    7773   4992   5106 281.39
311.09/311.10	o 17
509.89/509.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
509.89/509.90	c  1570154    110     5181   193010   37    10910    1688   5169   5047 311.10
509.89/509.90	c  1570254    110      993    37600   37     2478    1857    981   5046 311.13
509.89/509.90	c  1570505    110     1244    46920   37     2977    2043   1232   5047 311.16
509.89/509.90	c  1570980    110     1720    64707   37     3925    2248   1708   5047 311.24
509.89/509.90	c  1571793    110     1384    51024   36     3254    2473   1372   5048 311.36
509.89/509.90	c  1573113    110     1431    54991   38     3356    2721   1419   5048 311.58
509.89/509.90	c  1575194    110     2115    81310   38     4717    2994   2103   5050 311.92
509.89/509.90	c  1578417    110     2269    87484   38     5024    3294   2257   5051 312.46
509.89/509.90	c  1583353    110     2172    85019   39     4827    3624   2160   5053 313.34
509.89/509.90	c  1590859    110     2313    89200   38     5115    3987   2301   5055 314.66
509.89/509.90	c  1602221    110     3535   131855   37     7558    4386   3523   5060 316.58
509.89/509.90	c  1619365    110     2852   111683   39     6203    4825   2840   5064 319.78
509.89/509.90	c  1645185    110     4209   164268   39     8905    5308   4197   5067 324.68
509.89/509.90	c  1684018    110     2703   105109   38     5898    5839   2691   5066 332.39
509.89/509.90	c  1742370    110     4998   199113   39    10482    6423   4986   5060 344.32
509.89/509.90	c  1830002    110     5183   201499   38    10869    7066   5171   5044 362.75
509.89/509.90	c  1961556    110     4924   194920   39    10338    7773   4912   5015 391.13
509.89/509.90	c  2158989    110     6551   260389   39    13598    8551   6539   4943 436.75
509.89/509.90	c  2455242    110     5725   226618   39    11937    9407   5713   4846 506.56
509.89/509.90	o 12
1504.11/1504.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1504.11/1504.11	c  2469363    110     5648   221878   39    11860    1688   5636   4842 509.90
1504.11/1504.11	c  2469464    102      994    37021   37     2480    1857    982   4842 509.95
1504.11/1504.11	c  2469715    101     1246    46712   37     2983    2043   1234   4842 509.98
1504.11/1504.11	c  2470190    100     1723    65248   37     3928    2248   1711   4842 510.06
1504.11/1504.11	c  2471005    100     1384    52791   38     3238    2473   1372   4843 510.19
1504.11/1504.11	c  2472325     99     1435    54451   37     3342    2721   1423   4843 510.40
1504.11/1504.11	c  2474407     98     2135    81984   38     4742    2994   2123   4844 510.73
1504.11/1504.11	c  2477631     98     2288    88695   38     5045    3294   2276   4845 511.28
1504.11/1504.11	c  2482567     98     2177    84876   38     4821    3624   2165   4847 512.12
1504.11/1504.11	c  2490073     98     2298    89664   39     5072    3987   2286   4849 513.48
1504.11/1504.11	c  2501435     98     3537   140548   39     7548    4386   3525   4851 515.60
1504.11/1504.11	c  2518580     98     2863   113922   39     6198    4825   2851   4854 518.82
1504.11/1504.11	c  2544399     98     4216   163093   38     8901    5308   4204   4856 523.89
1504.11/1504.11	c  2583231     98     2760   107813   39     5997    5839   2748   4859 531.58
1504.11/1504.11	c  2641583     98     5029   197461   39    10529    6423   5017   4857 543.78
1504.11/1504.11	c  2729215     98     5083   196245   38    10631    7066   5071   4858 561.68
1504.11/1504.11	c  2860768     98     4755   179580   37     9970    7773   4743   4831 592.16
1504.11/1504.11	c  3058201     98     6245   244041   39    12959    8551   6233   4781 639.66
1504.11/1504.11	c  3354454     98     5306   214646   40    11086    9407   5294   4735 708.39
1504.11/1504.11	c  3798937     98     9450   379434   40    19371   10348   9438   4639 818.79
1504.11/1504.11	c  4465764     98    10099   410643   40    20667   11383  10087   4486 995.28
1504.11/1504.11	c  5466109     98     9083   364709   40    18641   12522   9071   4285 1275.48
1504.11/1504.11	o 10
1797.92/1797.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1797.97	c  6251136     98     7478   300123   40    15487    1664   7466   4155 1504.14
1797.92/1797.97	c  6251236     98      993    37887   38     2459    1831    981   4155 1504.20
1797.92/1797.97	c  6251487     98     1245    47661   38     2964    2015   1233   4155 1504.24
1797.92/1797.97	c  6251963     98     1721    66007   38     3915    2217   1709   4156 1504.32
1797.92/1797.97	c  6252777     98     1396    53641   38     3247    2439   1384   4156 1504.45
1797.92/1797.97	c  6254097     98     1458    55262   37     3372    2683   1446   4156 1504.67
1797.92/1797.97	c  6256178     98     2167    83810   38     4793    2952   2155   4156 1505.01
1797.92/1797.97	c  6259401     98     2373    92070   38     5206    3248   2361   4157 1505.56
1797.92/1797.97	c  6264337     98     2348    92047   39     5151    3573   2336   4158 1506.42
1797.92/1797.97	c  6271843     98     2590   101606   39     5634    3931   2578   4159 1507.78
1797.92/1797.97	c  6283205     98     3950   154810   39     8361    4325   3938   4161 1509.86
1797.92/1797.97	c  6300349     98     3519   136909   38     7499    4758   3507   4164 1513.04
1797.92/1797.97	c  6326168     98     2818   111484   39     6100    5234   2806   4167 1517.93
1797.92/1797.97	c  6365000     98     4563   181382   39     9586    5758   4551   4171 1525.84
1797.92/1797.97	c  6423352     98     4679   186355   39     9816    6334   4667   4177 1537.71
1797.92/1797.97	c  6510986     98     5900   230406   39    12257    6968   5888   4182 1556.70
1797.92/1797.97	c  6642538     98     3900   151684   38     8254    7665   3888   4187 1586.17
1797.92/1797.97	c  6839971     98     4258   166504   39     8974    8432   4246   4193 1631.19
1797.92/1797.97	c  7136223     98     7345   296031   40    15145    9276   7333   4188 1703.70
1797.92/1797.97	c Resources Exceeded
1797.92/1797.97	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 x97 x98 x99 -x100 -x101 -x102 x103 -x104 x105 -x106 -x107 -x108 x109 x110 -x111 x112 -x113 -x114 -x115 x116 x117 x118 x119 x120 x121 -x122 -x123 -x124 x125 -x126 -x127 x128 -x129 x130 -x131 x132 -x133 x134 -x135 x136 x137 -x138 -x139 -x140 x141 x142 x143 -x144 x145 -x146 
1797.92/1797.97	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1797.97	c  254  7510421  85081  7613059     8042   314091   8030   4177 1798.00
1797.92/1797.97	c Objective: 10
1797.92/1797.97	s SATISFIABLE
1797.92/1797.97	c Total time: 1798 s

Verifier Data 

OK	10

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3463186-1307179229/watcher-3463186-1307179229 -o /tmp/evaluation-result-3463186-1307179229/solver-3463186-1307179229 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463186-1307179229.opb 

running on 4 cores: 0,2,4,6

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.01 2.00 3/400 9603
/proc/meminfo: memFree=29003212/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=18604 CPUtime=0 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 301 0 0 0 0 0 0 0 25 0 1 0 829522624 19050496 253 33554432000 134512640 137138936 4290116528 18446744073709551615 134602864 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 4651 253 192 642 0 4007 0

[startup+0.064523 s]
/proc/loadavg: 2.00 2.01 2.00 3/400 9603
/proc/meminfo: memFree=29003212/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=11164 CPUtime=0.06 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 388 0 0 0 6 0 0 0 25 0 1 0 829522624 11431936 340 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 2791 340 192 642 0 2147 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11164

[startup+0.100518 s]
/proc/loadavg: 2.00 2.01 2.00 3/400 9603
/proc/meminfo: memFree=29003212/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=11292 CPUtime=0.09 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 431 0 0 0 9 0 0 0 25 0 1 0 829522624 11563008 383 33554432000 134512640 137138936 4290116528 18446744073709551615 134575423 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 2823 383 192 642 0 2179 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11292

[startup+0.300478 s]
/proc/loadavg: 2.00 2.01 2.00 3/400 9603
/proc/meminfo: memFree=29003212/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=12180 CPUtime=0.29 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 667 0 0 0 29 0 0 0 25 0 1 0 829522624 12472320 619 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 3045 619 192 642 0 2401 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12180

[startup+0.700408 s]
/proc/loadavg: 2.00 2.01 2.00 3/400 9603
/proc/meminfo: memFree=29003212/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=12180 CPUtime=0.69 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 668 0 0 0 69 0 0 0 25 0 1 0 829522624 12472320 620 33554432000 134512640 137138936 4290116528 18446744073709551615 134575867 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 3045 620 192 642 0 2401 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12180

[startup+1.50026 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9604
/proc/meminfo: memFree=29001344/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=12180 CPUtime=1.49 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 668 0 0 0 149 0 0 0 25 0 1 0 829522624 12472320 620 33554432000 134512640 137138936 4290116528 18446744073709551615 136501699 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 3045 620 192 642 0 2401 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12180

[startup+3.10092 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9604
/proc/meminfo: memFree=29000476/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=12432 CPUtime=3.09 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 708 0 0 0 309 0 0 0 25 0 1 0 829522624 12730368 660 33554432000 134512640 137138936 4290116528 18446744073709551615 134617961 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 3108 660 192 642 0 2464 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12432

[startup+6.30041 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9604
/proc/meminfo: memFree=28999740/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=12928 CPUtime=6.29 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 833 0 0 0 627 2 0 0 25 0 1 0 829522624 13238272 785 33554432000 134512640 137138936 4290116528 18446744073709551615 136520979 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 3232 785 192 642 0 2588 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12928

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9604
/proc/meminfo: memFree=28998728/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=13180 CPUtime=12.68 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 891 0 0 0 1264 4 0 0 25 0 1 0 829522624 13496320 843 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 3295 843 192 642 0 2651 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 13180

[startup+25.501 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9605
/proc/meminfo: memFree=28998480/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=13336 CPUtime=25.49 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 962 0 0 0 2541 8 0 0 25 0 1 0 829522624 13656064 909 33554432000 134512640 137138936 4290116528 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 3334 909 192 642 0 2690 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13336

[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9605
/proc/meminfo: memFree=28994104/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=13960 CPUtime=51.08 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 1100 0 0 0 5092 16 0 0 25 0 1 0 829522624 14295040 1047 33554432000 134512640 137138936 4290116528 18446744073709551615 134542709 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 3490 1047 192 642 0 2846 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13960

[startup+102.314 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 9607
/proc/meminfo: memFree=28992596/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=14916 CPUtime=102.29 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 1342 0 0 0 10197 32 0 0 25 0 1 0 829522624 15273984 1289 33554432000 134512640 137138936 4290116528 18446744073709551615 134618423 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 3729 1289 192 642 0 3085 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 14916

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 9608
/proc/meminfo: memFree=28991436/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=15656 CPUtime=162.28 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 1539 0 0 0 16177 51 0 0 25 0 1 0 829522624 16031744 1486 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 3914 1486 192 642 0 3270 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 15656

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 9610
/proc/meminfo: memFree=28992280/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=15328 CPUtime=222.28 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 1539 0 0 0 22158 70 0 0 25 0 1 0 829522624 15695872 1407 33554432000 134512640 137138936 4290116528 18446744073709551615 134539030 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 3832 1407 192 642 0 3188 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 15328

[startup+282.3 s]
/proc/loadavg: 2.14 2.03 2.01 3/401 9665
/proc/meminfo: memFree=30036864/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=15328 CPUtime=282.28 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 1539 0 0 0 28138 90 0 0 25 0 1 0 829522624 15695872 1407 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 3832 1407 192 642 0 3188 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 15328

[startup+342.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/401 9667
/proc/meminfo: memFree=29980240/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=15608 CPUtime=342.28 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 1612 0 0 0 34119 109 0 0 25 0 1 0 829522624 15982592 1477 33554432000 134512640 137138936 4290116528 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 3902 1477 192 642 0 3258 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 15608

[startup+402.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/401 9669
/proc/meminfo: memFree=29952368/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=15708 CPUtime=402.28 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 1623 0 0 0 40102 126 0 0 25 0 1 0 829522624 16084992 1488 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 3927 1488 192 642 0 3283 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 15708

[startup+462.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/401 9670
/proc/meminfo: memFree=29927404/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=16204 CPUtime=462.28 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 1742 0 0 0 46082 146 0 0 25 0 1 0 829522624 16592896 1607 33554432000 134512640 137138936 4290116528 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 4051 1607 192 642 0 3407 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 16204

[startup+522.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/401 9672
/proc/meminfo: memFree=29910252/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=16652 CPUtime=522.29 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 1867 0 0 0 52064 165 0 0 25 0 1 0 829522624 17051648 1732 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 4163 1732 192 642 0 3519 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 16652

[startup+582.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 9673
/proc/meminfo: memFree=29890996/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=16648 CPUtime=582.29 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 1867 0 0 0 58045 184 0 0 25 0 1 0 829522624 17047552 1732 33554432000 134512640 137138936 4290116528 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 4162 1732 192 642 0 3518 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 16648

[startup+642.301 s]

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

/proc/meminfo: memFree=29779656/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=18168 CPUtime=1062.3 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2232 0 0 0 105916 314 0 0 25 0 1 0 829522624 18604032 2097 33554432000 134512640 137138936 4290116528 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 4542 2097 192 642 0 3898 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 18168

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/401 9688
/proc/meminfo: memFree=29768584/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=18120 CPUtime=1122.3 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2232 0 0 0 111900 330 0 0 25 0 1 0 829522624 18554880 2097 33554432000 134512640 137138936 4290116528 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 4530 2097 192 642 0 3886 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 18120

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 9689
/proc/meminfo: memFree=29759496/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=18108 CPUtime=1182.3 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2232 0 0 0 117885 345 0 0 25 0 1 0 829522624 18542592 2097 33554432000 134512640 137138936 4290116528 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 4527 2097 192 642 0 3883 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 18108

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 9691
/proc/meminfo: memFree=29750184/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=18104 CPUtime=1242.31 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2232 0 0 0 123870 361 0 0 25 0 1 0 829522624 18538496 2097 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 4526 2097 192 642 0 3882 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 18104

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 9693
/proc/meminfo: memFree=29737992/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=18840 CPUtime=1302.32 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2412 0 0 0 129855 377 0 0 25 0 1 0 829522624 19292160 2277 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 4710 2277 192 642 0 4066 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 18840

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 9694
/proc/meminfo: memFree=29729668/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=18840 CPUtime=1362.31 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2412 0 0 0 135840 391 0 0 25 0 1 0 829522624 19292160 2277 33554432000 134512640 137138936 4290116528 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 4710 2277 192 642 0 4066 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 18840

[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/401 9696
/proc/meminfo: memFree=29720724/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=18832 CPUtime=1422.32 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2412 0 0 0 141825 407 0 0 25 0 1 0 829522624 19283968 2277 33554432000 134512640 137138936 4290116528 18446744073709551615 134542460 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 4708 2277 192 642 0 4064 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 18832

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/401 9697
/proc/meminfo: memFree=29713004/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=18816 CPUtime=1482.31 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2413 0 0 0 147809 422 0 0 25 0 1 0 829522624 19267584 2278 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 4704 2278 192 642 0 4060 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 18816

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 9699
/proc/meminfo: memFree=29705532/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=18824 CPUtime=1542.31 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2415 0 0 0 153792 439 0 0 25 0 1 0 829522624 19275776 2280 33554432000 134512640 137138936 4290116528 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 4706 2280 192 642 0 4062 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 18824

[startup+1602.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/401 9701
/proc/meminfo: memFree=29696332/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=18824 CPUtime=1602.32 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2415 0 0 0 159774 458 0 0 25 0 1 0 829522624 19275776 2280 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 4706 2280 192 642 0 4062 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 18824

[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/401 9702
/proc/meminfo: memFree=29686992/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=18824 CPUtime=1662.32 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2415 0 0 0 165756 476 0 0 25 0 1 0 829522624 19275776 2280 33554432000 134512640 137138936 4290116528 18446744073709551615 136504259 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 4706 2280 192 642 0 4062 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 18824

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 9704
/proc/meminfo: memFree=29680508/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=18824 CPUtime=1722.31 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2415 0 0 0 171738 493 0 0 25 0 1 0 829522624 19275776 2280 33554432000 134512640 137138936 4290116528 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 4706 2280 192 642 0 4062 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 18824

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9705
/proc/meminfo: memFree=29671664/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=18824 CPUtime=1782.32 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2415 0 0 0 177722 510 0 0 25 0 1 0 829522624 19275776 2280 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 4706 2280 192 642 0 4062 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 18824

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9706
/proc/meminfo: memFree=29671168/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=18824 CPUtime=1785.52 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2415 0 0 0 178041 511 0 0 25 0 1 0 829522624 19275776 2280 33554432000 134512640 137138936 4290116528 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 4706 2280 192 642 0 4062 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 18824

[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9706
/proc/meminfo: memFree=29670284/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=18824 CPUtime=1791.93 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2415 0 0 0 178681 512 0 0 25 0 1 0 829522624 19275776 2280 33554432000 134512640 137138936 4290116528 18446744073709551615 136511212 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 4706 2280 192 642 0 4062 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 18824

[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9706
/proc/meminfo: memFree=29669912/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=18824 CPUtime=1795.12 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2415 0 0 0 178999 513 0 0 25 0 1 0 829522624 19275776 2280 33554432000 134512640 137138936 4290116528 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 4706 2280 192 642 0 4062 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 18824

[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9706
/proc/meminfo: memFree=29669788/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=18824 CPUtime=1796.72 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2415 0 0 0 179158 514 0 0 25 0 1 0 829522624 19275776 2280 33554432000 134512640 137138936 4290116528 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 4706 2280 192 642 0 4062 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 18824

[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9706
/proc/meminfo: memFree=29669416/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=18824 CPUtime=1797.52 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2415 0 0 0 179238 514 0 0 25 0 1 0 829522624 19275776 2280 33554432000 134512640 137138936 4290116528 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 4706 2280 192 642 0 4062 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 18824

[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9706
/proc/meminfo: memFree=29669416/32950904 swapFree=56615552/67111528
[pid=9603] ppid=9601 vsize=18824 CPUtime=1797.92 cores=0,2,4,6
/proc/9603/stat : 9603 (bsolo) R 9601 9603 8078 0 -1 4202496 2415 0 0 0 179278 514 0 0 25 0 1 0 829522624 19275776 2280 33554432000 134512640 137138936 4290116528 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9603/statm: 4706 2280 192 642 0 4062 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 18824

Child status: 0
Real time (s): 1797.98
CPU time (s): 1798
CPU user time (s): 1792.86
CPU system time (s): 5.14322
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 18900

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

runsolver used 7.27389 second user time and 15.1307 second system time

The end

Launcher Data 

Begin job on node121 at 2011-06-04 11:20:29
IDJOB=3463186
IDBENCH=2910
IDSOLVER=1955
FILE ID=node121/3463186-1307179229
RUNJOBID= node121-1307174965-9241
PBS_JOBID= 13508819
Free space on /tmp= 73952 MiB

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

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

MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca
RANDOM SEED=142119644

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      29003492 kB
Buffers:        323868 kB
Cached:         469724 kB
SwapCached:       9896 kB
Active:        3269604 kB
Inactive:       415216 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      29003492 kB
SwapTotal:    67111528 kB
SwapFree:     56615552 kB
Dirty:            3960 kB
Writeback:           0 kB
AnonPages:     2888712 kB
Mapped:          13912 kB
Slab:           141640 kB
PageTables:      53656 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 84576892 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73948 MiB
End job on node121 at 2011-06-04 11:50:27