Trace number 3708072

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 1798.28

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 benchmark4
Best CPU time to get the best result obtained on this benchmark1791.03
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-3708072-1338157396.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.001 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      0 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   4857 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   5900 0.01
0.00/0.01	o 400
0.02/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.02	c      113    146      170     9583   56     1409    1760    158   6647 0.02
0.02/0.02	o 293
0.02/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.03	c      159    146      223    11907   53     1578    1760    211   6625 0.02
0.02/0.03	o 292
0.02/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.04	c      211    146      291    15265   52     1799    1760    279   6593 0.03
0.02/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   6761 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   6277 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   6219 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   6211 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   6160 0.11
0.09/0.15	c      790    146      961    46082   47     3772    1937    949   6171 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   6143 0.15
0.09/0.17	c     1041    146     1241    57357   46     4442    1937   1229   6196 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   6176 0.17
0.19/0.20	c     1150    146     1372    64499   47     4971    1937   1360   6117 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   6199 0.21
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   6128 0.22
0.19/0.27	c     1436    146     1695    77435   45     5958    1937   1683   6084 0.24
0.19/0.27	o 254
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c     1646    146      982    48430   49     2855    1760    970   5920 0.28
0.19/0.29	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   5993 0.29
0.29/0.31	c     1826    146     1190    57199   48     3440    1937   1178   5986 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   5990 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   6003 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   6006 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   6009 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   5987 0.32
0.29/0.32	o 130
0.29/0.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.34	c     1941    146     1331    62756   47     4273    1760   1319   5990 0.32
0.29/0.34	o 118
0.29/0.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.34	c     2023    146     1430    66309   46     4597    1760   1418   6002 0.34
0.29/0.34	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   5979 0.34
0.79/0.81	c     2127    144     1543    70564   45     4939    1934   1531   5957 0.36
0.79/0.81	c     2377    141     1800    79039   43     5442    2128   1788   5972 0.40
0.79/0.81	c     2852    140     1198    43249   36     3045    2341   1186   6004 0.47
0.79/0.81	c     3665    139     2054    72923   35     4758    2576   2042   6077 0.60
0.79/0.81	c     4985    136     2089    70374   33     4726    2834   2077   6139 0.81
0.79/0.81	o 115
0.79/0.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.82	c     4990    136     2095    70699   33     4819    1740   2083   6137 0.81
0.79/0.82	o 113
0.79/0.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.88	c     5000    136      906    30264   33     2427    1740    894   6119 0.82
0.79/0.88	c     5100    136     1012    34365   33     2717    1915   1000   6129 0.83
0.79/0.88	c     5350    136     1280    44848   35     3332    2107   1268   6107 0.88
0.79/0.88	o 112
0.89/0.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.91	c     5389    136     1324    47124   35     3557    1740   1312   6116 0.88
0.89/0.91	c     5489    136     1440    52428   36     3906    1915   1428   6126 0.90
0.89/0.91	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   6134 0.91
0.89/0.91	o 104
0.89/0.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.92	c     5604    136     1567    57296   36     4385    1740   1555   6138 0.91
0.89/0.92	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   6130 0.92
1.19/1.24	c     5728    136     1699    62103   36     4745    1915   1687   6139 0.93
1.19/1.24	c     5979    136      981    35910   36     2512    2107    969   6157 0.97
1.19/1.24	c     6454    136     1481    52210   35     3518    2318   1469   6211 1.04
1.19/1.24	c     7267    136     2312    78877   34     5194    2550   2300   6286 1.16
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   6319 1.24
1.19/1.24	o 94
2.20/2.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.20/2.29	c     7867    135     1615    50637   31     3949    1738   1603   6318 1.25
2.20/2.29	c     7967    135     1718    53888   31     4151    1912   1706   6328 1.26
2.20/2.29	c     8219    135      980    30584   31     2499    2104    968   6322 1.30
2.20/2.29	c     8694    135     1472    47551   32     3487    2315   1460   6359 1.37
2.20/2.29	c     9507    135     2308    73292   31     5184    2547   2296   6427 1.48
2.20/2.29	c    10827    135     2354    73653   31     5290    2802   2342   6483 1.67
2.20/2.29	c    12908    134     1642    49991   30     3822    3083   1630   6562 1.97
2.20/2.29	o 93
2.59/2.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.68	c    14993    134     2240    75649   33     5117    1736   2228   6544 2.29
2.59/2.68	c    15093    134      998    32195   32     2545    1910    986   6542 2.31
2.59/2.68	c    15344    134     1270    41507   32     3095    2102   1258   6548 2.34
2.59/2.68	c    15819    134     1757    57494   32     4081    2313   1745   6558 2.41
2.59/2.68	c    16632    134     1412    47388   33     3370    2545   1400   6537 2.54
2.59/2.68	o 92
2.59/2.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.68	c    17568    134     2386    79241   33     5418    1736   2374   6560 2.68
2.59/2.68	o 90
2.69/2.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.72	c    17598    134      926    29837   32     2490    1736    914   6549 2.69
2.69/2.72	c    17698    134     1027    32479   31     2689    1910   1015   6557 2.70
2.69/2.72	o 88
2.69/2.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.75	c    17856    134     1192    37636   31     3106    1736   1180   6567 2.72
2.69/2.75	c    17956    134     1297    41277   31     3332    1910   1285   6574 2.73
2.69/2.75	o 85
8.19/8.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.19/8.21	c    18123    134     1468    46432   31     3755    1736   1456   6587 2.75
8.19/8.21	c    18223    134     1575    50677   32     3986    1910   1563   6581 2.77
8.19/8.21	c    18473    134     1836    58622   31     4499    2102   1824   6590 2.80
8.19/8.21	c    18949    134     1241    39617   31     3018    2313   1229   6595 2.87
8.19/8.21	c    19762    134     2076    66473   32     4679    2545   2064   6611 2.99
8.19/8.21	c    21082    134     2136    68967   32     4807    2800   2124   6617 3.19
8.19/8.21	c    23163    134     1425    46026   32     3372    3081   1413   6558 3.53
8.19/8.21	c    26386    134     1591    50429   31     3705    3390   1579   6540 4.03
8.19/8.21	c    31322    134     3257   105221   32     7069    3730   3245   6562 4.77
8.19/8.21	c    38828    134     3452   111454   32     7442    4104   3440   6503 5.97
8.19/8.21	c    50191    134     2562    81249   31     5663    4515   2550   6545 7.67
8.19/8.21	o 69
8.19/8.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.19/8.23	c    53404    134     3635   117296   32     7900    1736   3623   6500 8.22
8.19/8.23	o 65
9.19/9.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.19/9.21	c    53483    134      996    34669   34     2824    1736    984   6496 8.23
9.19/9.21	c    53583    134     1097    37648   34     3022    1910   1085   6498 8.25
9.19/9.21	c    53835    134     1355    46942   34     3527    2102   1343   6495 8.29
9.19/9.21	c    54311    134     1838    63371   34     4490    2313   1826   6489 8.37
9.19/9.21	c    55127    134     1462    49666   33     3446    2545   1450   6479 8.51
9.19/9.21	c    56447    134     1488    50087   33     3499    2800   1476   6463 8.73
9.19/9.21	c    58528    134     2167    73565   33     4876    3081   2155   6443 9.08
9.19/9.21	o 52
9.19/9.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.19/9.21	c    59258    134     2908    97638   33     6452    1736   2896   6435 9.21
9.19/9.21	o 50
9.79/9.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.79/9.89	c    59263    131      899    29252   32     2413    1730    887   6431 9.21
9.79/9.89	c    59363    128     1000    32872   32     2617    1904    988   6431 9.23
9.79/9.89	c    59614    127     1251    42156   33     3121    2095   1239   6429 9.27
9.79/9.89	c    60089    123     1733    58318   33     4080    2305   1721   6423 9.35
9.79/9.89	c    60902    122     1362    45815   33     3247    2536   1350   6409 9.50
9.79/9.89	c    62223    122     1394    47477   34     3311    2790   1382   6393 9.73
9.79/9.89	o 47
9.89/9.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.89/9.93	c    63163    122     2350    82889   35     5344    1712   2338   6383 9.89
9.89/9.93	c    63264    122      999    36285   36     2516    1884    987   6380 9.91
9.89/9.93	o 46
9.89/9.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.89/9.93	c    63382    122     1129    41957   37     2946    1712   1117   6382 9.93
9.89/9.93	o 42
16.49/16.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.49/16.56	c    63401    122     1151    42813   37     3074    1712   1139   6382 9.93
16.49/16.56	c    63502    122     1263    49074   38     3380    1884   1251   6382 9.95
16.49/16.56	c    63752    122     1519    57671   37     3901    2073   1507   6383 9.99
16.49/16.56	c    64227    122     1996    75098   37     4855    2281   1984   6385 10.06
16.49/16.56	c    65040    122     1625    58151   35     3764    2510   1613   6386 10.18
16.49/16.56	c    66360    122     1664    61154   36     3835    2762   1652   6391 10.38
16.49/16.56	c    68441    122     2327    84006   36     5162    3039   2315   6388 10.71
16.49/16.56	c    71665    122     2442    94632   38     5386    3343   2430   6384 11.22
16.49/16.56	c    76601    122     2257    83604   37     5023    3678   2245   6358 12.05
16.49/16.56	c    84107    122     2288    84077   36     5086    4046   2276   6333 13.28
16.49/16.56	c    95468    122     3433   127561   37     7381    4451   3421   6265 15.24
16.49/16.56	o 40
18.38/18.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.38/18.49	c   102941    122     4157   153012   36     8898    1712   4145   6215 16.56
18.38/18.49	c   103042    122      996    36159   36     2504    1884    984   6212 16.59
18.38/18.49	c   103292    122     1247    44504   35     3010    2073   1235   6213 16.62
18.38/18.49	c   103767    122     1724    60864   35     3957    2281   1712   6215 16.70
18.38/18.49	c   104580    122     1365    47590   34     3238    2510   1353   6216 16.82
18.38/18.49	c   105900    122     1398    50795   36     3300    2762   1386   6219 17.03
18.38/18.49	c   107984    122     2084    76517   36     4688    3039   2072   6227 17.34
18.38/18.49	c   111207    122     2204    79811   36     4917    3343   2192   6228 17.85
18.38/18.49	o 38
18.48/18.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.48/18.50	c   115311    122     2921   106538   36     6431    1712   2909   6235 18.49
18.48/18.50	o 36
36.18/36.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
36.18/36.23	c   115342    122      927    34679   37     2444    1712    915   6234 18.50
36.18/36.23	c   115442    122     1030    38169   37     2651    1884   1018   6235 18.51
36.18/36.23	c   115692    122     1282    47105   36     3153    2073   1270   6236 18.55
36.18/36.23	c   116168    122     1771    64975   36     4142    2281   1759   6237 18.62
36.18/36.23	c   116981    122     1410    49389   35     3329    2510   1398   6236 18.76
36.18/36.23	c   118301    122     1450    49275   33     3413    2762   1438   6233 18.98
36.18/36.23	c   120382    122     2117    75079   35     4746    3039   2105   6229 19.32
36.18/36.23	c   123606    122     2250    80207   35     5009    3343   2238   6221 19.87
36.18/36.23	c   128542    122     2087    73725   35     4682    3678   2075   6213 20.69
36.18/36.23	c   136048    122     2116    73640   34     4741    4046   2104   6203 21.93
36.18/36.23	c   147409    122     3233   119199   36     6981    4451   3221   6186 23.83
36.18/36.23	c   164553    122     2382    84434   35     5278    4897   2370   6146 26.77
36.18/36.23	c   190372    122     3486   117274   33     7488    5387   3474   6101 31.20
36.18/36.23	o 27
36.18/36.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
36.18/36.25	c   217966    122     3959   139374   35     8540    1712   3947   6016 36.23
36.18/36.25	o 25
74.38/74.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
74.38/74.43	c   218037    112      965    32790   33     2490    1692    953   6015 36.25
74.38/74.43	c   218137    111     1067    37202   34     2719    1862   1055   6015 36.26
74.38/74.43	c   218390    111     1322    47565   35     3232    2049   1310   6016 36.30
74.38/74.43	c   218865    110     1802    66218   36     4190    2254   1790   6016 36.38
74.38/74.43	c   219678    110     1453    57512   39     3402    2480   1441   6017 36.50
74.38/74.43	c   220998    110     1490    57937   38     3481    2729   1478   6018 36.72
74.38/74.43	c   223080    110     2170    86349   39     4834    3002   2158   6025 37.02
74.38/74.43	c   226303    110     2322    93223   40     5136    3303   2310   6027 37.55
74.38/74.43	c   231240    110     2190    89218   40     4875    3634   2178   6024 38.38
74.38/74.43	c   238747    110     2279    91623   40     5048    3998   2267   6022 39.65
74.38/74.43	c   250109    110     3457   136767   39     7406    4398   3445   6015 41.57
74.38/74.43	c   267253    110     2730   106534   39     5943    4838   2718   5973 44.74
74.38/74.43	c   293073    110     4030   161648   40     8543    5322   4018   5940 49.34
74.38/74.43	c   331905    110     5156   200194   38    10802    5855   5144   5869 56.55
74.38/74.43	c   390257    110     4331   175920   40     9152    6441   4319   5755 67.81
74.38/74.43	o 23
156.27/156.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
156.27/156.35	c   422579    110     4152   168953   40     8874    1688   4140   5678 74.42
156.27/156.35	c   422679    110      994    39012   39     2495    1857    982   5677 74.45
156.27/156.35	c   422930    110     1246    48849   39     2999    2043   1234   5677 74.49
156.27/156.35	c   423406    110     1723    67935   39     3955    2248   1711   5679 74.56
156.27/156.35	c   424219    110     1381    54304   39     3262    2473   1369   5680 74.68
156.27/156.35	c   425539    110     1431    54085   37     3357    2721   1419   5682 74.89
156.27/156.35	c   427620    110     2117    81804   38     4722    2994   2105   5685 75.21
156.27/156.35	c   430844    110     2289    89918   39     5065    3294   2277   5688 75.73
156.27/156.35	c   435780    110     2197    85212   38     4888    3624   2185   5691 76.56
156.27/156.35	c   443286    110     2322    91324   39     5135    3987   2310   5695 77.83
156.27/156.35	c   454648    110     3583   140834   39     7659    4386   3571   5690 79.90
156.27/156.35	c   471792    110     2931   114251   38     6345    4825   2919   5684 82.99
156.27/156.35	c   497611    110     4311   166778   38     9113    5308   4299   5674 87.69
156.27/156.36	c   536443    110     2863   113335   39     6215    5839   2851   5668 94.64
156.27/156.36	c   594795    110     5186   209119   40    10865    6423   5174   5589 106.42
156.27/156.36	c   682427    110     5276   213699   40    11041    7066   5264   5491 124.28
156.27/156.36	c   813981    110     4968   201477   40    10431    7773   4956   5376 151.41
156.27/156.36	o 22
194.16/194.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
194.16/194.24	c   837987    110     5464   219948   40    11489    1688   5452   5360 156.33
194.16/194.24	c   838088    110      994    38058   38     2497    1857    982   5359 156.37
194.16/194.24	c   838338    110     1245    47029   37     2990    2043   1233   5360 156.40
194.16/194.24	c   838813    110     1721    63315   36     3934    2248   1709   5361 156.46
194.16/194.24	c   839626    110     1379    47074   34     3234    2473   1367   5362 156.56
194.16/194.24	c   840946    110     1430    49761   34     3338    2721   1418   5365 156.74
194.16/194.24	c   843029    110     2119    77343   36     4727    2994   2107   5368 157.02
194.16/194.24	c   846252    110     2290    88233   38     5065    3294   2278   5373 157.49
194.16/194.24	c   851188    110     2193    84097   38     4875    3624   2181   5377 158.28
194.16/194.24	c   858694    110     2322    89442   38     5134    3987   2310   5383 159.51
194.16/194.24	c   870056    110     3548   139115   39     7592    4386   3536   5387 161.48
194.16/194.24	c   887203    110     2890   111670   38     6271    4825   2878   5391 164.55
194.16/194.24	c   913023    110     4255   166504   39     8989    5308   4243   5401 169.02
194.16/194.24	c   951855    110     2814   107733   38     6114    5839   2802   5409 175.97
194.16/194.24	c  1010207    110     5072   203172   40    10632    6423   5060   5397 187.16
194.16/194.24	o 21
294.85/294.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
294.85/294.92	c  1045494    110     4684   189636   40     9921    1688   4672   5383 194.21
294.85/294.92	c  1045594    110      993    39456   39     2473    1857    981   5383 194.24
294.85/294.92	c  1045844    110     1243    49527   39     2983    2043   1231   5383 194.28
294.85/294.92	c  1046319    110     1720    68179   39     3931    2248   1708   5383 194.35
294.85/294.92	c  1047132    110     1394    54560   39     3278    2473   1382   5384 194.47
294.85/294.92	c  1048452    110     1445    57438   39     3377    2721   1433   5385 194.68
294.85/294.92	c  1050534    110     2140    80787   37     4773    2994   2128   5386 195.03
294.85/294.92	c  1053757    110     2294    90227   39     5081    3294   2282   5387 195.58
294.85/294.92	c  1058693    110     2207    87123   39     4902    3624   2195   5391 196.37
294.85/294.92	c  1066199    110     2349    91827   39     5195    3987   2337   5394 197.66
294.85/294.92	c  1077560    110     3568   139645   39     7622    4386   3556   5397 199.66
294.85/294.92	c  1094704    110     2913   114644   39     6314    4825   2901   5399 202.75
294.85/294.92	c  1120524    110     4295   164484   38     9077    5308   4283   5400 207.50
294.85/294.92	c  1159357    110     2851   109290   38     6190    5839   2839   5393 214.94
294.85/294.92	c  1217710    110     5196   195654   37    10872    6423   5184   5406 225.23
294.85/294.92	c  1305342    110     5269   199153   37    11011    7066   5257   5393 242.00
294.85/294.92	c  1436895    110     5004   176304   35    10491    7773   4992   5374 267.34
294.85/294.92	o 17
480.31/480.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
480.31/480.40	c  1570154    110     5181   193010   37    10910    1688   5169   5324 294.88
480.31/480.40	c  1570254    110      993    37600   37     2478    1857    981   5324 294.90
480.31/480.40	c  1570505    110     1244    46920   37     2977    2043   1232   5324 294.93
480.31/480.40	c  1570980    110     1720    64707   37     3925    2248   1708   5325 295.00
480.31/480.40	c  1571793    110     1384    51024   36     3254    2473   1372   5325 295.12
480.31/480.40	c  1573113    110     1431    54991   38     3356    2721   1419   5326 295.33
480.31/480.40	c  1575194    110     2115    81310   38     4717    2994   2103   5327 295.66
480.31/480.40	c  1578417    110     2269    87484   38     5024    3294   2257   5329 296.18
480.31/480.40	c  1583353    110     2172    85019   39     4827    3624   2160   5330 297.04
480.31/480.40	c  1590859    110     2313    89200   38     5115    3987   2301   5332 298.31
480.31/480.40	c  1602221    110     3535   131855   37     7558    4386   3523   5338 300.15
480.31/480.40	c  1619365    110     2852   111683   39     6203    4825   2840   5340 303.20
480.31/480.40	c  1645185    110     4209   164268   39     8905    5308   4197   5343 307.87
480.31/480.40	c  1684018    110     2703   105109   38     5898    5839   2691   5343 315.16
480.31/480.40	c  1742370    110     4998   199113   39    10482    6423   4986   5337 326.41
480.31/480.40	c  1830002    110     5183   201499   38    10869    7066   5171   5324 343.69
480.31/480.40	c  1961556    110     4924   194920   39    10338    7773   4912   5299 370.15
480.31/480.40	c  2158989    110     6551   260389   39    13598    8551   6539   5233 412.57
480.31/480.40	c  2455242    110     5725   226618   39    11937    9407   5713   5144 477.25
480.31/480.40	o 12
1388.18/1388.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1388.18/1388.41	c  2469363    110     5648   221878   39    11860    1688   5636   5141 480.33
1388.18/1388.41	c  2469464    102      994    37021   37     2480    1857    982   5140 480.36
1388.18/1388.41	c  2469715    101     1246    46712   37     2983    2043   1234   5140 480.40
1388.18/1388.41	c  2470190    100     1723    65248   37     3928    2248   1711   5141 480.47
1388.18/1388.41	c  2471005    100     1384    52791   38     3238    2473   1372   5141 480.59
1388.18/1388.41	c  2472325     99     1435    54451   37     3342    2721   1423   5142 480.80
1388.18/1388.41	c  2474407     98     2135    81984   38     4742    2994   2123   5143 481.12
1388.18/1388.41	c  2477631     98     2288    88695   38     5045    3294   2276   5144 481.65
1388.18/1388.41	c  2482567     98     2177    84876   38     4821    3624   2165   5145 482.47
1388.18/1388.41	c  2490073     98     2298    89664   39     5072    3987   2286   5147 483.77
1388.18/1388.41	c  2501435     98     3537   140548   39     7548    4386   3525   5149 485.81
1388.18/1388.41	c  2518580     98     2863   113922   39     6198    4825   2851   5151 488.89
1388.18/1388.41	c  2544399     98     4216   163093   38     8901    5308   4204   5153 493.72
1388.18/1388.41	c  2583231     98     2760   107813   39     5997    5839   2748   5156 501.00
1388.18/1388.41	c  2641583     98     5029   197461   39    10529    6423   5017   5154 512.51
1388.18/1388.41	c  2729215     98     5083   196245   38    10631    7066   5071   5156 529.26
1388.18/1388.41	c  2860768     98     4755   179580   37     9970    7773   4743   5129 557.66
1388.18/1388.41	c  3058201     98     6245   244041   39    12959    8551   6233   5082 601.77
1388.18/1388.41	c  3354454     98     5306   214646   40    11086    9407   5294   5040 665.46
1388.18/1388.41	c  3798937     98     9450   379434   40    19371   10348   9438   4949 767.47
1388.18/1388.41	c  4465764     98    10099   410643   40    20667   11383  10087   4812 927.94
1388.18/1388.41	c  5466109     98     9083   364709   40    18641   12522   9071   4625 1181.69
1388.18/1388.41	o 10
1797.92/1798.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1798.27	c  6251136     98     7478   300123   40    15487    1664   7466   4503 1388.20
1797.92/1798.27	c  6251236     98      993    37887   38     2459    1831    981   4502 1388.25
1797.92/1798.27	c  6251487     98     1245    47661   38     2964    2015   1233   4503 1388.28
1797.92/1798.27	c  6251963     98     1721    66007   38     3915    2217   1709   4503 1388.36
1797.92/1798.27	c  6252777     98     1396    53641   38     3247    2439   1384   4503 1388.48
1797.92/1798.27	c  6254097     98     1458    55262   37     3372    2683   1446   4503 1388.69
1797.92/1798.27	c  6256178     98     2167    83810   38     4793    2952   2155   4503 1389.03
1797.92/1798.27	c  6259401     98     2373    92070   38     5206    3248   2361   4504 1389.56
1797.92/1798.27	c  6264337     98     2348    92047   39     5151    3573   2336   4505 1390.39
1797.92/1798.27	c  6271843     98     2590   101606   39     5634    3931   2578   4506 1391.70
1797.92/1798.27	c  6283205     98     3950   154810   39     8361    4325   3938   4508 1393.70
1797.92/1798.27	c  6300349     98     3519   136909   38     7499    4758   3507   4510 1396.72
1797.92/1798.27	c  6326168     98     2818   111484   39     6100    5234   2806   4514 1401.37
1797.92/1798.27	c  6365000     98     4563   181382   39     9586    5758   4551   4517 1408.86
1797.92/1798.27	c  6423352     98     4679   186355   39     9816    6334   4667   4523 1420.06
1797.92/1798.27	c  6510986     98     5900   230406   39    12257    6968   5888   4528 1437.87
1797.92/1798.27	c  6642538     98     3900   151684   38     8254    7665   3888   4533 1465.30
1797.92/1798.27	c  6839971     98     4258   166504   39     8974    8432   4246   4538 1506.95
1797.92/1798.27	c  7136223     98     7345   296031   40    15145    9276   7333   4534 1573.73
1797.92/1798.27	c  7580705     98     8314   333322   40    17090   10204   8302   4522 1676.21
1797.92/1798.27	c Resources Exceeded
1797.92/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 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/1798.27	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1798.27	c  255  8085475  90385  8193621     9986   401300   9974   4496 1798.00
1797.92/1798.27	c Objective: 10
1797.92/1798.27	s SATISFIABLE
1797.92/1798.27	c Total time: 1798 s

Verifier Data

OK	10

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-3708072-1338157396/watcher-3708072-1338157396 -o /tmp/evaluation-result-3708072-1338157396/solver-3708072-1338157396 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708072-1338157396.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: 1.99 1.91 1.93 3/176 8841
/proc/meminfo: memFree=29877640/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=18608 CPUtime=0 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 297 0 0 0 0 0 0 0 20 0 1 0 281863936 19054592 248 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 4652 248 192 642 0 4008 0

[startup+0.0232911 s]
/proc/loadavg: 1.99 1.91 1.93 3/176 8841
/proc/meminfo: memFree=29877640/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=10920 CPUtime=0.02 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 333 0 0 0 2 0 0 0 20 0 1 0 281863936 11182080 284 33554432000 134512640 137138936 4293274240 4293272664 134606885 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 2730 284 192 642 0 2086 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10920

[startup+0.100302 s]
/proc/loadavg: 1.99 1.91 1.93 3/176 8841
/proc/meminfo: memFree=29877640/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=11296 CPUtime=0.09 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 431 0 0 0 9 0 0 0 20 0 1 0 281863936 11567104 382 33554432000 134512640 137138936 4293274240 4293273168 134542525 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 2824 382 192 642 0 2180 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11296

[startup+0.30028 s]
/proc/loadavg: 1.99 1.91 1.93 3/176 8841
/proc/meminfo: memFree=29877640/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=12184 CPUtime=0.29 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 668 0 0 0 29 0 0 0 20 0 1 0 281863936 12476416 619 33554432000 134512640 137138936 4293274240 4293273168 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 3046 619 192 642 0 2402 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12184

[startup+0.700268 s]
/proc/loadavg: 1.99 1.91 1.93 3/176 8841
/proc/meminfo: memFree=29877640/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=12184 CPUtime=0.69 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 669 0 0 0 69 0 0 0 20 0 1 0 281863936 12476416 620 33554432000 134512640 137138936 4293274240 4293273236 134555589 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 3046 620 192 642 0 2402 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12184

[startup+1.50027 s]
/proc/loadavg: 1.99 1.91 1.93 3/177 8842
/proc/meminfo: memFree=29876136/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=12184 CPUtime=1.49 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 669 0 0 0 149 0 0 0 20 0 1 0 281863936 12476416 620 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 3046 620 192 642 0 2402 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12184

[startup+3.10027 s]
/proc/loadavg: 1.99 1.91 1.93 3/177 8842
/proc/meminfo: memFree=29875764/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=12436 CPUtime=3.09 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 709 0 0 0 308 1 0 0 20 0 1 0 281863936 12734464 660 33554432000 134512640 137138936 4293274240 4293273168 134542202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 3109 660 192 642 0 2465 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12436

[startup+6.30027 s]
/proc/loadavg: 1.99 1.91 1.93 3/177 8842
/proc/meminfo: memFree=29875268/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=12932 CPUtime=6.29 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 834 0 0 0 627 2 0 0 20 0 1 0 281863936 13242368 785 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 3233 785 192 642 0 2589 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12932

[startup+12.7003 s]
/proc/loadavg: 1.99 1.91 1.93 3/177 8842
/proc/meminfo: memFree=29874096/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=13184 CPUtime=12.69 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 893 0 0 0 1265 4 0 0 20 0 1 0 281863936 13500416 843 33554432000 134512640 137138936 4293274240 4293273168 134542164 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 3296 843 192 642 0 2652 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13184

[startup+25.5003 s]
/proc/loadavg: 1.99 1.92 1.93 3/177 8842
/proc/meminfo: memFree=29874104/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=13340 CPUtime=25.48 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 964 0 0 0 2540 8 0 0 20 0 1 0 281863936 13660160 909 33554432000 134512640 137138936 4293274240 4293272992 134575833 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 3335 909 192 642 0 2691 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 13340

[startup+51.1003 s]
/proc/loadavg: 1.99 1.92 1.93 3/177 8842
/proc/meminfo: memFree=29872924/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=14092 CPUtime=51.08 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 1152 0 0 0 5091 17 0 0 20 0 1 0 281863936 14430208 1097 33554432000 134512640 137138936 4293274240 4293273136 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 3523 1097 192 642 0 2879 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 14092

[startup+102.306 s]
/proc/loadavg: 1.99 1.93 1.93 3/177 8842
/proc/meminfo: memFree=29871560/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=14920 CPUtime=102.28 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 1344 0 0 0 10194 34 0 0 20 0 1 0 281863936 15278080 1289 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 3730 1289 192 642 0 3086 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 14920

[startup+162.3 s]
/proc/loadavg: 1.99 1.94 1.93 3/177 8843
/proc/meminfo: memFree=29870752/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=15624 CPUtime=162.27 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 1542 0 0 0 16175 52 0 0 20 0 1 0 281863936 15998976 1480 33554432000 134512640 137138936 4293274240 4293273136 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 3906 1480 192 642 0 3262 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 15624

[startup+222.3 s]
/proc/loadavg: 1.99 1.95 1.93 3/177 8843
/proc/meminfo: memFree=29870380/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=15332 CPUtime=222.25 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 1542 0 0 0 22155 70 0 0 20 0 1 0 281863936 15699968 1407 33554432000 134512640 137138936 4293274240 4293273168 134542202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 3833 1407 192 642 0 3189 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 15332

[startup+282.3 s]
/proc/loadavg: 1.99 1.95 1.93 3/177 8843
/proc/meminfo: memFree=29870380/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=15676 CPUtime=282.25 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 1615 0 0 0 28137 88 0 0 20 0 1 0 281863936 16052224 1480 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 3919 1480 192 642 0 3275 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 15676

[startup+342.3 s]
/proc/loadavg: 1.99 1.96 1.93 3/177 8843
/proc/meminfo: memFree=29870380/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=15612 CPUtime=342.24 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 1615 0 0 0 34118 106 0 0 20 0 1 0 281863936 15986688 1477 33554432000 134512640 137138936 4293274240 4293273160 135984567 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 3903 1477 192 642 0 3259 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 15612

[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.93 3/177 8843
/proc/meminfo: memFree=29870008/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=15712 CPUtime=402.23 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 1634 0 0 0 40100 123 0 0 20 0 1 0 281863936 16089088 1496 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 3928 1496 192 642 0 3284 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 15712

[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.93 3/178 8847
/proc/meminfo: memFree=29869380/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=16304 CPUtime=462.22 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 1766 0 0 0 46081 141 0 0 20 0 1 0 281863936 16695296 1628 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 4076 1628 192 642 0 3432 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 16304

[startup+522.3 s]
/proc/loadavg: 1.99 1.97 1.93 3/177 8847
/proc/meminfo: memFree=29868892/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=16652 CPUtime=522.21 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 1870 0 0 0 52063 158 0 0 20 0 1 0 281863936 17051648 1732 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 4163 1732 192 642 0 3519 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 16652

[startup+582.3 s]
/proc/loadavg: 1.99 1.97 1.93 3/177 8847
/proc/meminfo: memFree=29869016/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=16652 CPUtime=582.2 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 1870 0 0 0 58044 176 0 0 20 0 1 0 281863936 17051648 1732 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 4163 1732 192 642 0 3519 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 16652

[startup+642.3 s]

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

/proc/meminfo: memFree=29867588/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=18108 CPUtime=1122.12 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2236 0 0 0 111897 315 0 0 20 0 1 0 281863936 18542592 2097 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 4527 2097 192 642 0 3883 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 18108

[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/177 8852
/proc/meminfo: memFree=29867276/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=18104 CPUtime=1182.11 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2236 0 0 0 117883 328 0 0 20 0 1 0 281863936 18538496 2097 33554432000 134512640 137138936 4293274240 4293273136 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 4526 2097 192 642 0 3882 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 18104

[startup+1242.3 s]
/proc/loadavg: 2.04 2.00 1.94 3/177 8852
/proc/meminfo: memFree=29866532/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=18844 CPUtime=1242.1 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2416 0 0 0 123868 342 0 0 20 0 1 0 281863936 19296256 2277 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 4711 2277 192 642 0 4067 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 18844

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/177 8852
/proc/meminfo: memFree=29866284/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=18844 CPUtime=1302.1 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2416 0 0 0 129854 356 0 0 20 0 1 0 281863936 19296256 2277 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 4711 2277 192 642 0 4067 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 18844

[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 1.95 3/176 8852
/proc/meminfo: memFree=29867036/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=18820 CPUtime=1362.08 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2417 0 0 0 135837 371 0 0 20 0 1 0 281863936 19271680 2278 33554432000 134512640 137138936 4293274240 4293271736 134599876 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 4705 2278 192 642 0 4061 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 18820

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 8854
/proc/meminfo: memFree=29866160/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=18828 CPUtime=1422.08 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 141821 387 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 4707 2280 192 642 0 4063 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 18828

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 8854
/proc/meminfo: memFree=29866036/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=18828 CPUtime=1482.06 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 147801 405 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293273136 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 4707 2280 192 642 0 4063 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 18828

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 8930
/proc/meminfo: memFree=29852344/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=18828 CPUtime=1542.06 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 153784 422 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293272756 134551006 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 4707 2280 192 642 0 4063 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 18828

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 8930
/proc/meminfo: memFree=29816852/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=18828 CPUtime=1602.04 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 159768 436 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 4707 2280 192 642 0 4063 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 18828

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 8933
/proc/meminfo: memFree=29797100/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=18828 CPUtime=1662.04 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 165754 450 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293273168 134542972 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 4707 2280 192 642 0 4063 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 18828

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 8934
/proc/meminfo: memFree=29779844/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=18828 CPUtime=1722.03 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 171738 465 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293272952 136504096 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 4707 2280 192 642 0 4063 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 18828

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 8934
/proc/meminfo: memFree=29763228/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=18828 CPUtime=1782.02 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 177723 479 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293273168 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 4707 2280 192 642 0 4063 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 18828

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 8934
/proc/meminfo: memFree=29760996/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=18828 CPUtime=1791.62 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 178682 480 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 4707 2280 192 642 0 4063 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 18828

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 8934
/proc/meminfo: memFree=29760500/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=18828 CPUtime=1794.82 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 179001 481 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 4707 2280 192 642 0 4063 0
Current children cumulated CPU time (s) 1794.82
Current children cumulated vsize (KiB) 18828

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 8934
/proc/meminfo: memFree=29760252/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=18828 CPUtime=1796.41 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 179160 481 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 4707 2280 192 642 0 4063 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 18828

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 8934
/proc/meminfo: memFree=29760004/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=18828 CPUtime=1797.22 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 179241 481 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293272664 134606982 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 4707 2280 192 642 0 4063 0
Current children cumulated CPU time (s) 1797.22
Current children cumulated vsize (KiB) 18828

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 8934
/proc/meminfo: memFree=29760004/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=18828 CPUtime=1797.62 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 179280 482 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293273168 134542793 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 4707 2280 192 642 0 4063 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (KiB) 18828

[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 8934
/proc/meminfo: memFree=29760004/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=18828 CPUtime=1797.82 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 179300 482 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293273356 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 4707 2280 192 642 0 4063 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 18828

[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 8934
/proc/meminfo: memFree=29760004/32873844 swapFree=7628/7628
[pid=8841] ppid=8839 vsize=18828 CPUtime=1797.92 cores=0,2,4,6
/proc/8841/stat : 8841 (bsolo) R 8839 8841 8717 0 -1 4202496 2419 0 0 0 179310 482 0 0 20 0 1 0 281863936 19279872 2280 33554432000 134512640 137138936 4293274240 4293273136 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/8841/statm: 4707 2280 192 642 0 4063 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 18828

Child status: 0
Real time (s): 1798.28
CPU time (s): 1798
CPU user time (s): 1793.18
CPU system time (s): 4.82527
CPU usage (%): 99.9847
Max. virtual memory (cumulated for all children) (KiB): 18904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.18
system time used= 4.82527
maximum resident set size= 9124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2420
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= 6
involuntary context switches= 1895

runsolver used 3.9154 second user time and 8.13376 second system time

The end

Launcher Data

Begin job on node145 at 2012-05-28 00:23:16
IDJOB=3708072
IDBENCH=2910
IDSOLVER=2286
FILE ID=node145/3708072-1338157396
RUNJOBID= node145-1338157126-8733
PBS_JOBID= 14624528
Free space on /tmp= 71552 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-3708072-1338157396/watcher-3708072-1338157396 -o /tmp/evaluation-result-3708072-1338157396/solver-3708072-1338157396 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708072-1338157396.opb

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

MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca
RANDOM SEED=1230847037

node145.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		: 2667.149
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	: 5334.29
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		: 2667.149
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		: 2667.149
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	: 5313.38
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		: 2667.149
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.149
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.91
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		: 2667.149
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		: 2667.149
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.91
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		: 2667.149
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.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29878352 kB
Buffers:          326452 kB
Cached:          1834080 kB
SwapCached:            0 kB
Active:           685308 kB
Inactive:        1492424 kB
Active(anon):       8680 kB
Inactive(anon):    10912 kB
Active(file):     676628 kB
Inactive(file):  1481512 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3888 kB
Writeback:             0 kB
AnonPages:         24424 kB
Mapped:            14828 kB
Shmem:               200 kB
Slab:             678348 kB
SReclaimable:     120096 kB
SUnreclaim:       558252 kB
KernelStack:        1472 kB
PageTables:         4044 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     139088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71548 MiB
End job on node145 at 2012-05-28 00:53:14