Trace number 3736706

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB09: bsolo 3.1SAT12 1798 1798.34

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_4.opb
MD5SUM431de611ddaca60ef9395e6cd3a99cf2
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark4.32434
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 11
Optimality of the best value was proved NO
Number of variables100
Total number of constraints100
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 constraints100
Minimum length of a constraint11
Maximum length of a constraint19
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1258
Sum of products size (including duplicates)2516
Number of different products1258
Sum of products size2516

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3736706-1338728010.opb
0.00/0.00	c File size is 89648 bytes.
0.00/0.00	c Highest Coefficient sum: 100
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.005 s
0.00/0.00	c Var: 1358 Constr: 2616 1358/0/1258 Lit: 8906 Watch. Lit: 6490
0.00/0.00	c Obj. Vars: 100 (7.36377 % of total variables)
0.00/0.02	c Pre-processing Time: 0.022 s
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1358     2616     8906    3     6490    8000      0      0 0.02
0.00/0.02	c Switching off lower bounding mode.
0.00/0.02	o 99
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1358     2617     9006    3     6493    8067      1      0 0.02
0.00/0.02	o 98
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1358     2618     9106    3     6497    8167      2      0 0.02
0.00/0.02	o 97
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1358     2619     9206    3     6502    8300      3      0 0.02
0.00/0.02	o 96
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1358     2620     9306    3     6508    8467      4      0 0.03
0.00/0.02	o 95
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1358     2621     9406    3     6515    8667      5      0 0.03
0.00/0.02	o 94
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0   1358     2622     9506    3     6523    8900      6      0 0.03
0.00/0.02	o 93
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1358     2623     9606    3     6532    9167      7      0 0.03
0.00/0.03	o 92
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1358     2624     9706    3     6542    9467      8      0 0.03
0.00/0.03	o 91
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1358     2625     9806    3     6553    9800      9      0 0.03
0.00/0.03	o 90
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1358     2626     9906    3     6565   10167     10      0 0.03
0.00/0.03	o 89
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1358     2627    10006    3     6578   10567     11      0 0.03
0.00/0.03	o 88
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1358     2628    10106    3     6592   11000     12      0 0.03
0.00/0.03	o 87
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1358     2629    10206    3     6607   11467     13      0 0.03
0.00/0.03	o 86
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1358     2630    10306    3     6623   11967     14      0 0.03
0.00/0.03	o 85
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1358     2631    10406    3     6640   12500     15      0 0.03
0.00/0.03	o 84
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1358     2632    10506    3     6658   13067     16      0 0.04
0.00/0.03	o 83
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0   1358     2633    10606    4     6677   13667     17      0 0.04
0.00/0.03	o 82
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        0   1358     2634    10706    4     6697   14300     18      0 0.04
0.00/0.04	o 81
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        0   1358     2635    10806    4     6718   14967     19      0 0.04
0.00/0.04	o 80
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        0   1358     2636    10906    4     6740   15667     20      0 0.04
0.00/0.04	o 79
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        0   1358     2637    11006    4     6763   16400     21      0 0.04
0.00/0.04	o 78
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        0   1358     2638    11106    4     6787   17167     22      0 0.04
0.00/0.04	o 77
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        0   1358     2639    11206    4     6812   17967     23      0 0.04
0.00/0.04	o 76
0.04/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.04	c        0   1358     2640    11306    4     6838   18800     24      0 0.04
0.04/0.04	o 75
0.04/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.04	c        0   1358     2641    11406    4     6865   19667     25      0 0.04
0.04/0.04	o 74
0.04/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.04	c        0   1358     2642    11506    4     6893   20567     26      0 0.04
0.04/0.04	o 73
0.04/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.04	c        0   1358     2643    11606    4     6922   21500     27      0 0.05
0.04/0.04	o 72
0.04/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.04	c        0   1358     2644    11706    4     6952   22467     28      0 0.05
0.04/0.04	o 71
0.04/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.05	c        0   1358     2645    11806    4     6983   23467     29      0 0.05
0.04/0.05	o 70
0.04/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.05	c        0   1358     2646    11906    4     7015   24467     30      0 0.05
0.04/0.05	o 69
0.04/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.05	c        0   1358     2647    12006    4     7048   25467     31      0 0.05
0.04/0.05	o 68
0.04/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.05	c        0   1358     2648    12106    4     7082   26467     32      0 0.05
0.04/0.05	o 67
0.04/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.05	c        0   1358     2649    12206    4     7117   27467     33      0 0.05
0.04/0.05	o 66
0.04/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.05	c        0   1358     2650    12306    4     7153   28467     34      0 0.05
0.04/0.05	o 65
0.04/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.05	c        0   1358     2651    12406    4     7190   29467     35      0 0.05
0.04/0.05	o 64
0.04/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.05	c        0   1358     2652    12506    4     7228   30467     36      0 0.05
0.04/0.05	o 63
0.04/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.05	c        0   1358     2653    12606    4     7267   31467     37      0 0.05
0.04/0.05	o 62
0.04/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.05	c        0   1358     2654    12706    4     7307   32467     38      0 0.06
0.04/0.05	o 61
0.04/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.05	c        0   1358     2655    12806    4     7348   33467     39      0 0.06
0.04/0.05	o 60
0.04/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.06	c        0   1358     2656    12906    4     7390   34467     40      0 0.06
0.04/0.06	o 59
0.04/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.06	c        1   1358     2658    13066    4     7435   34467     42     17 0.06
0.04/0.06	o 17
0.04/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.06	c        1   1358     2659    13166    4     7520   34467     43     16 0.06
0.04/0.06	o 16
0.04/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.06	c        1   1358     2660    13266    4     7606   34467     44     16 0.06
0.04/0.06	o 15
0.04/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.06	c        2   1358     2662    13401    5     7695   34467     46     33 0.06
0.04/0.06	o 14
85.38/85.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
85.38/85.46	c       28   1358     2689    14902    5     7835   34467     73    430 0.07
85.38/85.46	c      129   1358     2791    19850    7     8039   37914    175   1573 0.08
85.38/85.46	c      379   1358     3044    31465   10     8545   41706    428   2937 0.13
85.38/85.46	c      854   1358     3531    57383   16     9523   45877    915   3713 0.23
85.38/85.46	c     1668   1358     4359    95410   21    11179   50465   1743   4244 0.39
85.38/85.46	c     2990   1358     5713   171239   29    14016   55512   3097   4283 0.70
85.38/85.46	c     5073   1358     7843   279339   35    18412   61064   5227   4081 1.24
85.38/85.46	c     8296   1358    11176   451577   40    25196   67171   8560   3436 2.41
85.38/85.46	c    13232   1358    16277   734245   45    35604   73889  13661   2785 4.75
85.38/85.46	c    20739   1358    24097  1166428   48    51868   81278  21481   2262 9.17
85.38/85.46	c    32100   1358    35847  1818138   50    76352   89406  33231   1728 18.57
85.38/85.46	c    49245   1358    53647  2736510   51   112703   98347  51031   1294 38.03
85.38/85.46	o 13
906.10/906.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
906.10/906.30	c    72507   1358    77703  4038373   51   162117   34467  75087    848 85.45
906.10/906.30	c    72608   1358    15260   665095   43    32637   37914  12644    829 87.50
906.10/906.30	c    72858   1358    15514   678486   43    33145   41706  12898    831 87.65
906.10/906.30	c    73334   1358    16004   701917   43    34125   45877  13388    834 87.92
906.10/906.30	c    74147   1358    16828   736878   43    35804   50465  14212    839 88.32
906.10/906.30	c    75467   1358    18172   801535   44    38547   55512  15556    847 89.04
906.10/906.30	c    77548   1358    20301   925811   45    43362   61064  17685    859 90.18
906.10/906.30	c    80771   1358    23681  1089853   46    50259   67171  21065    874 92.38
906.10/906.30	c    85710   1358    28776  1335842   46    61047   73889  26160    891 96.16
906.10/906.30	c    93216   1358    36525  1739869   47    78143   81278  33909    901 103.37
906.10/906.30	c   104577   1358    48307  2423704   50   103274   89406  45691    909 114.94
906.10/906.30	c   121722   1358    65993  3483223   52   141557   98347  63377    872 139.56
906.10/906.30	c   147545   1358    92829  4855187   52   197327  108182  90213    745 197.90
906.10/906.30	c   186377   1358    37050  1941361   52    82593  119001  34434    667 279.05
906.10/906.30	c   244729   1358    97624  5355088   54   210589  130902  95008    648 377.55
906.10/906.30	c   332361   1358    70249  4032885   57   155837  143993  67633    573 579.36
906.10/906.30	o 12
1797.96/1798.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.96/1798.33	c   411837   1358    20875   769393   36    44397    9000  18259    454 906.12
1797.96/1798.33	c   411938   1358     7219   215290   29    16936    9901   4603    454 906.27
1797.96/1798.33	c   412189   1358     7472   227035   30    17505   10892   4856    454 906.35
1797.96/1798.33	c   412664   1358     7952   246989   31    18465   11982   5336    455 906.50
1797.96/1798.33	c   413480   1358     8790   281469   32    20141   13181   6174    455 906.80
1797.96/1798.33	c   414801   1358    10128   343750   33    22817   14500   7512    457 907.27
1797.96/1798.33	c   416883   1358    12240   427795   34    27041   15951   9624    459 908.16
1797.96/1798.33	c   420106   1358    15565   582344   37    34018   17547  12949    461 909.64
1797.96/1798.33	c   425045   1358    11391   390674   34    24532   19302   8775    465 912.19
1797.96/1798.33	c   432551   1358    19093   741610   38    40131   21233  16477    472 915.05
1797.96/1798.33	c   443912   1358    19486   756909   38    40900   23357  16870    481 921.19
1797.96/1798.33	c   461057   1358    24370  1243701   51    54610   25693  21754    494 932.06
1797.96/1798.33	c   486876   1358    21249   935677   44    44482   28263  18633    512 949.49
1797.96/1798.33	c   525709   1358    25856  1068826   41    54005   31090  23240    538 975.80
1797.96/1798.33	c   584061   1358    25835  1045223   40    53384   34200  23219    571 1022.67
1797.96/1798.33	c   671694   1358    25007  1032050   41    52427   37621  22391    615 1091.87
1797.96/1798.33	c   803246   1358    29714  1308025   44    62147   41384  27098    662 1213.13
1797.96/1798.33	c  1000679   1358    24155  1017594   42    51545   45523  21539    712 1403.84
1797.96/1798.33	c  1296931   1358    23738  1007610   42    49291   50076  21122    775 1672.53
1797.96/1798.33	c Resources Exceeded
1797.96/1798.33	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 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 x400 x401 -x402 -x403 -x404 -x405 -x406 x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 x483 -x484 -x485 -x486 -x487 -x488 x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 x664 -x665 -x666 x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 x698 -x699 x700 -x701 x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 x913 x914 -x915 x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 -x975 x976 x977 -x978 -x979 -x980 -x981 -x982 x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 x1103 -x1104 -x1105 -x1106 -x1107 x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 x1161 -x1162 -x1163 -x1164 x1165 -x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 x1269 -x1270 -x1271 -x1272 -x1273 x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 -x1298 -x1299 x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1339 -x1340 x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 
1797.96/1798.33	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1798.33	c   91  1429976 463856  2326246    45608  1745875  42992    795 1798.00
1797.96/1798.33	c Objective: 12
1797.96/1798.33	s SATISFIABLE
1797.96/1798.33	c Total time: 1798 s

Verifier Data 

OK	12

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.15 2.06 2.01 3/175 11050
/proc/meminfo: memFree=26217848/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=11156 CPUtime=0 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 361 0 0 0 0 0 0 0 20 0 1 0 338925358 11423744 315 33554432000 134512640 137136520 4289248096 4289246488 136504651 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 2789 316 190 641 0 2123 0

[startup+0.0457809 s]
/proc/loadavg: 2.15 2.06 2.01 3/175 11050
/proc/meminfo: memFree=26217848/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=11424 CPUtime=0.04 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 503 0 0 0 4 0 0 0 20 0 1 0 338925358 11698176 434 33554432000 134512640 137136520 4289248096 4289247212 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 2856 434 195 641 0 2212 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11424

[startup+0.100261 s]
/proc/loadavg: 2.15 2.06 2.01 3/175 11050
/proc/meminfo: memFree=26217848/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=11660 CPUtime=0.09 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 540 0 0 0 9 0 0 0 20 0 1 0 338925358 11939840 471 33554432000 134512640 137136520 4289248096 4289247212 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 2915 471 197 641 0 2271 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11660

[startup+0.300232 s]
/proc/loadavg: 2.15 2.06 2.01 3/175 11050
/proc/meminfo: memFree=26217848/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=12480 CPUtime=0.29 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 741 0 0 0 28 1 0 0 20 0 1 0 338925358 12779520 672 33554432000 134512640 137136520 4289248096 4289246808 136502204 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 3120 672 197 641 0 2476 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12480

[startup+0.700231 s]
/proc/loadavg: 2.15 2.06 2.01 3/175 11050
/proc/meminfo: memFree=26217848/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=13856 CPUtime=0.69 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 1096 0 0 0 68 1 0 0 20 0 1 0 338925358 14188544 1027 33554432000 134512640 137136520 4289248096 4289247212 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 3464 1027 197 641 0 2820 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13856

[startup+1.50023 s]
/proc/loadavg: 2.15 2.06 2.01 3/176 11051
/proc/meminfo: memFree=26213912/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=16060 CPUtime=1.49 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 1663 0 0 0 148 1 0 0 20 0 1 0 338925358 16445440 1594 33554432000 134512640 137136520 4289248096 4289246472 136502025 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 4015 1594 197 641 0 3371 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16060

[startup+3.10023 s]
/proc/loadavg: 2.15 2.06 2.01 3/176 11051
/proc/meminfo: memFree=26210804/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=19748 CPUtime=3.08 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 2584 0 0 0 307 1 0 0 20 0 1 0 338925358 20221952 2515 33554432000 134512640 137136520 4289248096 4289246956 136518901 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 4937 2515 197 641 0 4293 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19748

[startup+6.30024 s]
/proc/loadavg: 2.14 2.06 2.01 3/177 11052
/proc/meminfo: memFree=26204844/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=24808 CPUtime=6.28 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 3838 0 0 0 626 2 0 0 20 0 1 0 338925358 25403392 3769 33554432000 134512640 137136520 4289248096 4289247024 134543831 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 6202 3769 197 641 0 5558 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 24808

[startup+12.7003 s]
/proc/loadavg: 2.13 2.06 2.01 3/177 11052
/proc/meminfo: memFree=26195816/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=33084 CPUtime=12.68 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 5891 0 0 0 1264 4 0 0 20 0 1 0 338925358 33878016 5822 33554432000 134512640 137136520 4289248096 4289247212 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 8271 5822 197 641 0 7627 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 33084

[startup+25.5003 s]
/proc/loadavg: 2.10 2.05 2.01 3/177 11052
/proc/meminfo: memFree=26183664/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=45016 CPUtime=25.49 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 8898 0 0 0 2542 7 0 0 20 0 1 0 338925358 46096384 8829 33554432000 134512640 137136520 4289248096 4289246688 134616694 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 11254 8829 197 641 0 10610 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45016

[startup+51.1003 s]
/proc/loadavg: 2.07 2.05 2.00 3/177 11052
/proc/meminfo: memFree=26169652/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=59476 CPUtime=51.08 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 12516 0 0 0 5097 11 0 0 20 0 1 0 338925358 60903424 12447 33554432000 134512640 137136520 4289248096 4289246992 134543819 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 14869 12447 197 641 0 14225 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 59476

[startup+102.307 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 11052
/proc/meminfo: memFree=26155392/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=72680 CPUtime=102.28 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 15869 0 0 0 10211 17 0 0 20 0 1 0 338925358 74424320 15726 33554432000 134512640 137136520 4289248096 4289247024 134544112 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 18170 15726 197 641 0 17526 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 72680

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 11052
/proc/meminfo: memFree=26147828/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=74668 CPUtime=162.27 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 16368 0 0 0 16204 23 0 0 20 0 1 0 338925358 76460032 16225 33554432000 134512640 137136520 4289248096 4289247024 134543881 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 18667 16225 197 641 0 18023 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 74668

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11052
/proc/meminfo: memFree=26129476/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=92756 CPUtime=222.26 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 20899 0 0 0 22196 30 0 0 20 0 1 0 338925358 94982144 20756 33554432000 134512640 137136520 4289248096 4289247024 134543831 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 23189 20756 197 641 0 22545 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 92756

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 11102
/proc/meminfo: memFree=26599628/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=100192 CPUtime=282.23 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 22891 0 0 0 28187 36 0 0 20 0 1 0 338925358 102596608 22625 33554432000 134512640 137136520 4289248096 4289247024 134544604 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 25048 22625 197 641 0 24404 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 100192

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11103
/proc/meminfo: memFree=26550388/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=100192 CPUtime=342.2 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 22918 0 0 0 34177 43 0 0 20 0 1 0 338925358 102596608 22625 33554432000 134512640 137136520 4289248096 4289247024 134544112 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 25048 22625 197 641 0 24404 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 100192

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11106
/proc/meminfo: memFree=26517292/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=101512 CPUtime=402.19 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 23251 0 0 0 40170 49 0 0 20 0 1 0 338925358 103948288 22958 33554432000 134512640 137136520 4289248096 4289247212 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 25378 22958 197 641 0 24734 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 101512

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11129
/proc/meminfo: memFree=26468492/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=119272 CPUtime=462.17 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 27667 0 0 0 46162 55 0 0 20 0 1 0 338925358 122134528 27374 33554432000 134512640 137136520 4289248096 4289247212 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 29818 27374 197 641 0 29174 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 119272

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11129
/proc/meminfo: memFree=26432588/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=125920 CPUtime=522.16 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 29464 0 0 0 52154 62 0 0 20 0 1 0 338925358 128942080 29031 33554432000 134512640 137136520 4289248096 4289247024 134543948 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 31480 29031 197 641 0 30836 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 125920

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11129
/proc/meminfo: memFree=26413484/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=125920 CPUtime=582.15 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 29464 0 0 0 58148 67 0 0 20 0 1 0 338925358 128942080 29031 33554432000 134512640 137136520 4289248096 4289246852 136500521 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 31480 29031 197 641 0 30836 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 125920

[startup+642.3 s]

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

/proc/meminfo: memFree=26308068/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=134852 CPUtime=1062.07 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 31859 0 0 0 106091 116 0 0 20 0 1 0 338925358 138088448 31279 33554432000 134512640 137136520 4289248096 4289247024 134544122 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 33713 31279 197 641 0 33069 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 134852

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11135
/proc/meminfo: memFree=26298024/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=134852 CPUtime=1122.06 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 31859 0 0 0 112083 123 0 0 20 0 1 0 338925358 138088448 31279 33554432000 134512640 137136520 4289248096 4289247212 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 33713 31279 197 641 0 33069 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 134852

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11135
/proc/meminfo: memFree=26287188/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=134852 CPUtime=1182.05 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 31859 0 0 0 118073 132 0 0 20 0 1 0 338925358 138088448 31279 33554432000 134512640 137136520 4289248096 4289247024 134543831 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 33713 31279 197 641 0 33069 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 134852

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11136
/proc/meminfo: memFree=26276272/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=134852 CPUtime=1242.04 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 31859 0 0 0 124065 139 0 0 20 0 1 0 338925358 138088448 31279 33554432000 134512640 137136520 4289248096 4289246688 134616688 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 33713 31279 197 641 0 33069 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 134852

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11136
/proc/meminfo: memFree=26266848/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=134852 CPUtime=1302.04 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 31859 0 0 0 130057 147 0 0 20 0 1 0 338925358 138088448 31279 33554432000 134512640 137136520 4289248096 4289247212 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 33713 31279 197 641 0 33069 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 134852

[startup+1362.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 11136
/proc/meminfo: memFree=26256804/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=134852 CPUtime=1362.03 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 31859 0 0 0 136047 156 0 0 20 0 1 0 338925358 138088448 31279 33554432000 134512640 137136520 4289248096 4289247024 134543954 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 33713 31279 197 641 0 33069 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 134852

[startup+1422.31 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 11136
/proc/meminfo: memFree=26248000/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=134852 CPUtime=1422.02 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 31859 0 0 0 142038 164 0 0 20 0 1 0 338925358 138088448 31279 33554432000 134512640 137136520 4289248096 4289247024 134544112 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 33713 31279 197 641 0 33069 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 134852

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 11136
/proc/meminfo: memFree=26239752/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=134852 CPUtime=1482.01 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 31859 0 0 0 148029 172 0 0 20 0 1 0 338925358 138088448 31279 33554432000 134512640 137136520 4289248096 4289247024 134544272 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 33713 31279 197 641 0 33069 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 134852

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11137
/proc/meminfo: memFree=26232392/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=134852 CPUtime=1541.99 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 31860 0 0 0 154019 180 0 0 20 0 1 0 338925358 138088448 31280 33554432000 134512640 137136520 4289248096 4289247212 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 33713 31280 198 641 0 33069 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 134852

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11140
/proc/meminfo: memFree=26225424/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=134852 CPUtime=1601.98 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 31860 0 0 0 160010 188 0 0 20 0 1 0 338925358 138088448 31280 33554432000 134512640 137136520 4289248096 4289247024 134543865 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 33713 31280 198 641 0 33069 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 134852

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11140
/proc/meminfo: memFree=26219372/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=134852 CPUtime=1661.98 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 31860 0 0 0 166001 197 0 0 20 0 1 0 338925358 138088448 31280 33554432000 134512640 137136520 4289248096 4289247024 134544157 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 33713 31280 198 641 0 33069 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 134852

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11140
/proc/meminfo: memFree=26210196/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=134852 CPUtime=1721.97 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 31860 0 0 0 171992 205 0 0 20 0 1 0 338925358 138088448 31280 33554432000 134512640 137136520 4289248096 4289247024 134543819 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 33713 31280 198 641 0 33069 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 134852

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11140
/proc/meminfo: memFree=26203376/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=134852 CPUtime=1781.96 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 31860 0 0 0 177982 214 0 0 20 0 1 0 338925358 138088448 31280 33554432000 134512640 137136520 4289248096 4289247212 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 33713 31280 198 641 0 33069 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 134852

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11140
/proc/meminfo: memFree=26202384/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=134852 CPUtime=1791.57 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 31860 0 0 0 178941 216 0 0 20 0 1 0 338925358 138088448 31280 33554432000 134512640 137136520 4289248096 4289247212 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 33713 31280 198 641 0 33069 0
Current children cumulated CPU time (s) 1791.57
Current children cumulated vsize (KiB) 134852

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11140
/proc/meminfo: memFree=26202136/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=134852 CPUtime=1794.76 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 31860 0 0 0 179260 216 0 0 20 0 1 0 338925358 138088448 31280 33554432000 134512640 137136520 4289248096 4289247212 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 33713 31280 198 641 0 33069 0
Current children cumulated CPU time (s) 1794.76
Current children cumulated vsize (KiB) 134852

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11140
/proc/meminfo: memFree=26201888/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=134852 CPUtime=1796.36 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 31860 0 0 0 179420 216 0 0 20 0 1 0 338925358 138088448 31280 33554432000 134512640 137136520 4289248096 4289247024 134544157 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 33713 31280 198 641 0 33069 0
Current children cumulated CPU time (s) 1796.36
Current children cumulated vsize (KiB) 134852

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11140
/proc/meminfo: memFree=26201764/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=134852 CPUtime=1797.16 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 31860 0 0 0 179500 216 0 0 20 0 1 0 338925358 138088448 31280 33554432000 134512640 137136520 4289248096 4289247212 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 33713 31280 198 641 0 33069 0
Current children cumulated CPU time (s) 1797.16
Current children cumulated vsize (KiB) 134852

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11140
/proc/meminfo: memFree=26201764/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=134852 CPUtime=1797.56 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 31860 0 0 0 179540 216 0 0 20 0 1 0 338925358 138088448 31280 33554432000 134512640 137136520 4289248096 4289247024 134544148 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 33713 31280 198 641 0 33069 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (KiB) 134852

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11140
/proc/meminfo: memFree=26201764/32873844 swapFree=7628/7628
[pid=11050] ppid=11048 vsize=134852 CPUtime=1797.96 cores=1,3,5,7
/proc/11050/stat : 11050 (bsolo) R 11048 11050 8349 0 -1 4202496 31860 0 0 0 179580 216 0 0 20 0 1 0 338925358 138088448 31280 33554432000 134512640 137136520 4289248096 4289247024 134544402 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11050/statm: 33713 31280 198 641 0 33069 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 134852

Child status: 0
Real time (s): 1798.34
CPU time (s): 1798
CPU user time (s): 1795.84
CPU system time (s): 2.16767
CPU usage (%): 99.9815
Max. virtual memory (cumulated for all children) (KiB): 135420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.83
system time used= 2.16767
maximum resident set size= 125684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31862
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= 60
involuntary context switches= 1877

runsolver used 3.43448 second user time and 8.48371 second system time

The end

Launcher Data 

Begin job on node145 at 2012-06-03 14:53:30
IDJOB=3736706
IDBENCH=48105
IDSOLVER=2320
FILE ID=node145/3736706-1338728010
RUNJOBID= node145-1338702833-8366
PBS_JOBID= 14636715
Free space on /tmp= 70920 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_4.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736706-1338728010/watcher-3736706-1338728010 -o /tmp/evaluation-result-3736706-1338728010/solver-3736706-1338728010 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3736706-1338728010.opb

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

MD5SUM BENCH= 431de611ddaca60ef9395e6cd3a99cf2
RANDOM SEED=2096636376

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:        26218392 kB
Buffers:          444008 kB
Cached:          4817656 kB
SwapCached:            0 kB
Active:          2187988 kB
Inactive:        3601828 kB
Active(anon):     519092 kB
Inactive(anon):    10916 kB
Active(file):    1668896 kB
Inactive(file):  3590912 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3892 kB
Writeback:             0 kB
AnonPages:        540904 kB
Mapped:            14880 kB
Shmem:               200 kB
Slab:             724896 kB
SReclaimable:     166520 kB
SUnreclaim:       558376 kB
KernelStack:        1464 kB
PageTables:         5064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     649364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    425984 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3736706-1338728010.opb

Free space on /tmp at the end= 70916 MiB
End job on node145 at 2012-06-03 15:23:28