Trace number 4113960

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
minisatp 2012-10-02 git-d91742bOPT-40 1697.66 1697.92

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
MD5SUM5249f5f1c551add7f5b5b920fc1c3b9c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-40
Best CPU time to get the best result obtained on this benchmark82.3515
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41263
Number of constraints which are clauses41263
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 760
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 760
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 760
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
0.29/0.38	c Converting 41263 PB-constraints to clauses...
0.29/0.39	c   -- Unit propagations: (none)
0.29/0.39	c   -- Detecting intervals from adjacent constraints: (none)
0.29/0.39	c   -- Clauses(.)/Splits(s): ...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.39/0.45	============================[ Search Statistics ]==============================
0.39/0.45	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.45	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.39/0.45	===============================================================================
0.39/0.45	===============================================================================
0.39/0.45	c Found solution: -29
0.39/0.45	c ---[   0]---> Sorter-cost:35010     Base:
1.39/1.45	|  Eliminated clauses:           0.37 Mb                                      |
1.39/1.45	============================[ Search Statistics ]==============================
1.39/1.45	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.39/1.45	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.39/1.45	===============================================================================
1.39/1.45	|       100 |   13174    67511   191925 |    24754       96     31 |  0.158 % |
1.39/1.45	|       250 |   13082    67511   191925 |    27229      238     33 |  0.530 % |
1.39/1.45	|       475 |   12963    67511   191925 |    29952      454     36 |  1.011 % |
1.39/1.45	|       812 |   12616    67511   191925 |    32947      714     38 |  2.413 % |
1.39/1.45	|      1318 |   12099    67511   191925 |    36242     1180     37 |  4.503 % |
1.39/1.45	|      2077 |   11548    67511   191925 |    39866     1881     38 |  6.730 % |
1.39/1.45	|      3216 |   10975    67511   191925 |    43853     2930     41 |  9.047 % |
1.39/1.45	|      4924 |   10003    67511   191925 |    48238     4517     45 | 12.975 % |
1.39/1.45	===============================================================================
1.39/1.45	c Found solution: -30
1.39/1.45	c ---[   0]---> Sorter-cost:    0     Base:
1.69/1.72	|  Eliminated clauses:           0.38 Mb                                      |
1.69/1.72	============================[ Search Statistics ]==============================
1.69/1.72	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.69/1.72	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.69/1.72	===============================================================================
1.69/1.72	|      7442 |    8906    58454   152127 |    21433     6885     47 | 16.409 % |
1.69/1.72	|      7592 |    8890    58454   152127 |    23576     7033     48 | 16.473 % |
1.69/1.72	|      7817 |    8808    58454   152127 |    25934     7254     48 | 16.805 % |
1.69/1.72	|      8154 |    8757    58454   152127 |    28527     7565     48 | 17.011 % |
1.69/1.72	|      8660 |    8663    58454   152127 |    31380     8066     51 | 17.391 % |
1.69/1.72	|      9419 |    8530    58454   152127 |    34518     8791     53 | 17.928 % |
1.69/1.72	===============================================================================
1.69/1.72	c Found solution: -31
1.69/1.73	c ---[   0]---> Sorter-cost:    0     Base:
3.29/3.33	|  Eliminated clauses:           0.40 Mb                                      |
3.29/3.33	============================[ Search Statistics ]==============================
3.29/3.33	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.29/3.33	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.29/3.33	===============================================================================
3.29/3.33	|      9762 |    8490    57622   149391 |    21128     9133     54 | 18.164 % |
3.29/3.33	|      9912 |    8490    57622   149391 |    23240     9283     54 | 18.164 % |
3.29/3.33	|     10137 |    8490    57622   149391 |    25564     9508     55 | 18.164 % |
3.29/3.33	|     10474 |    8490    57622   149391 |    28121     9845     56 | 18.164 % |
3.29/3.33	|     10980 |    8419    57622   149391 |    30933    10347     57 | 18.444 % |
3.29/3.33	|     11739 |    8385    57622   149391 |    34026    11092     59 | 18.578 % |
3.29/3.33	|     12878 |    8262    57622   149391 |    37429    12222     61 | 19.063 % |
3.29/3.33	|     14586 |    7970    57622   149391 |    41172    13840     63 | 20.215 % |
3.29/3.33	|     17148 |    7758    57622   149391 |    45289    16307     70 | 21.051 % |
3.29/3.33	|     20992 |    7344    57622   149391 |    49818    20128     78 | 22.683 % |
3.29/3.33	===============================================================================
3.29/3.33	c Found solution: -33
3.29/3.33	c ---[   0]---> Sorter-cost:    0     Base:
3.49/3.50	|  Eliminated clauses:           0.40 Mb                                      |
3.49/3.50	============================[ Search Statistics ]==============================
3.49/3.50	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.49/3.50	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.49/3.50	===============================================================================
3.49/3.50	|     23825 |    7155    54780   137780 |    20086    22871     82 | 22.715 % |
3.49/3.50	|     23975 |    7155    54780   137780 |    22094    23021     82 | 22.715 % |
3.49/3.50	|     24200 |    7121    54780   137780 |    24304    23244     82 | 22.849 % |
3.49/3.50	|     24537 |    7121    54780   137780 |    26734    23581     83 | 22.849 % |
3.49/3.50	===============================================================================
3.49/3.50	c Found solution: -34
3.49/3.50	c ---[   0]---> Sorter-cost:    0     Base:
19.49/19.59	|  Eliminated clauses:           0.40 Mb                                      |
19.49/19.59	============================[ Search Statistics ]==============================
19.49/19.59	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
19.49/19.59	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
19.49/19.59	===============================================================================
19.49/19.59	|     24923 |    7103    54681   137330 |    20049    23967     83 | 22.868 % |
19.49/19.59	|     25073 |    7103    54681   137330 |    22054    24117     83 | 22.869 % |
19.49/19.59	|     25298 |    7089    54681   137330 |    24260    24341     83 | 22.924 % |
19.49/19.59	|     25635 |    7089    54681   137330 |    26686    24678     84 | 22.924 % |
19.49/19.59	|     26141 |    7089    54681   137330 |    29354    25184     84 | 22.923 % |
19.49/19.59	|     26900 |    7089    54681   137330 |    32290    25943     85 | 22.924 % |
19.49/19.59	|     28039 |    7006    54681   137330 |    35519    27076     87 | 23.250 % |
19.49/19.59	|     29747 |    6858    54681   137330 |    39071    28294     86 | 23.833 % |
19.49/19.59	|     32309 |    6675    54681   137330 |    42978    30846     89 | 24.553 % |
19.49/19.59	|     36153 |    6541    54681   137330 |    47276    34681     92 | 25.080 % |
19.49/19.59	|     41919 |    6432    54681   137330 |    52003    40301    100 | 25.509 % |
19.49/19.59	|     50568 |    6277    54681   137330 |    57204    48942    107 | 26.119 % |
19.49/19.59	|     63542 |    6117    54681   137330 |    62924    61906    116 | 26.748 % |
19.49/19.59	|     83003 |    5758    54681   137330 |    69217    34098    121 | 28.161 % |
19.49/19.59	===============================================================================
19.49/19.59	c Found solution: -35
19.49/19.59	c ---[   0]---> Sorter-cost:    0     Base:
32.39/32.46	|  Eliminated clauses:           0.41 Mb                                      |
32.39/32.46	============================[ Search Statistics ]==============================
32.39/32.46	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
32.39/32.46	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
32.39/32.46	===============================================================================
32.39/32.46	|    105595 |    5362    51019   122657 |    18706    23150    110 | 29.463 % |
32.39/32.46	|    105745 |    5362    51019   122657 |    20577    23300    110 | 29.463 % |
32.39/32.46	|    105970 |    5362    51019   122657 |    22635    23525    111 | 29.463 % |
32.39/32.46	|    106307 |    5344    51019   122657 |    24898    23861    111 | 29.533 % |
32.39/32.46	|    106813 |    5330    51019   122657 |    27388    24366    112 | 29.587 % |
32.39/32.46	|    107572 |    5315    51019   122657 |    30127    25123    112 | 29.645 % |
32.39/32.46	|    108711 |    5274    51019   122657 |    33140    26259    114 | 29.803 % |
32.39/32.46	|    110419 |    5248    51019   122657 |    36454    27965    115 | 29.904 % |
32.39/32.46	|    112981 |    5211    51019   122657 |    40100    30524    119 | 30.047 % |
32.39/32.46	|    116825 |    5184    51019   122657 |    44110    34253    121 | 30.152 % |
32.39/32.46	|    122591 |    5098    51019   122657 |    48521    40012    125 | 30.485 % |
32.39/32.46	|    131240 |    5036    51019   122657 |    53373    48656    131 | 30.725 % |
32.39/32.46	|    144214 |    4951    51019   122657 |    58710    61375    140 | 31.054 % |
32.39/32.46	|    163675 |    4767    51019   122657 |    64581    36018    135 | 31.766 % |
32.39/32.46	===============================================================================
32.39/32.46	c Found solution: -36
32.39/32.47	c ---[   0]---> Sorter-cost:    0     Base:
77.98/78.06	|  Eliminated clauses:           0.42 Mb                                      |
77.98/78.06	============================[ Search Statistics ]==============================
77.98/78.06	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
77.98/78.06	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
77.98/78.06	===============================================================================
77.98/78.06	|    168255 |    4620    49484   116292 |    18144    20348    119 | 31.891 % |
77.98/78.06	|    168405 |    4592    49484   116292 |    19958    20495    119 | 31.999 % |
77.98/78.06	|    168630 |    4583    49484   116292 |    21954    20719    119 | 32.034 % |
77.98/78.06	|    168967 |    4583    49484   116292 |    24149    21056    119 | 32.034 % |
77.98/78.06	|    169473 |    4583    49484   116292 |    26564    21562    120 | 32.034 % |
77.98/78.06	|    170232 |    4582    49484   116292 |    29221    22320    121 | 32.038 % |
77.98/78.06	|    171371 |    4545    49484   116292 |    32143    23456    122 | 32.181 % |
77.98/78.06	|    173079 |    4533    49484   116292 |    35357    25162    124 | 32.228 % |
77.98/78.06	|    175641 |    4533    49484   116292 |    38893    27724    126 | 32.228 % |
77.98/78.06	|    179485 |    4519    49484   116292 |    42782    31567    130 | 32.282 % |
77.98/78.06	|    185251 |    4505    49484   116292 |    47061    36565    131 | 32.336 % |
77.98/78.06	|    193900 |    4451    49484   116292 |    51767    45211    135 | 32.545 % |
77.98/78.06	|    206874 |    4419    49484   116292 |    56944    58183    140 | 32.669 % |
77.98/78.06	|    226335 |    4252    49484   116292 |    62638    33067    135 | 33.315 % |
77.98/78.06	|    255527 |    4110    49484   116292 |    68902    62249    146 | 33.865 % |
77.98/78.06	|    299316 |    3868    49484   116292 |    75792    50793    143 | 34.802 % |
77.98/78.06	|    365000 |    3715    49484   116292 |    83371    54715    141 | 35.394 % |
77.98/78.06	===============================================================================
77.98/78.06	c Found solution: -37
77.98/78.06	c ---[   0]---> Sorter-cost:    0     Base:
199.76/199.80	|  Eliminated clauses:           0.42 Mb                                      |
199.76/199.80	============================[ Search Statistics ]==============================
199.76/199.80	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.76/199.80	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
199.76/199.80	===============================================================================
199.76/199.80	|    370130 |    3582    47266   107479 |    17330    19739    137 | 35.376 % |
199.76/199.80	|    370280 |    3569    47266   107479 |    19063    19888    137 | 35.426 % |
199.76/199.80	|    370505 |    3569    47266   107479 |    20970    20113    137 | 35.426 % |
199.76/199.80	|    370842 |    3568    47266   107479 |    23067    20449    137 | 35.430 % |
199.76/199.80	|    371348 |    3568    47266   107479 |    25374    20955    138 | 35.430 % |
199.76/199.80	|    372107 |    3568    47266   107479 |    27911    21714    138 | 35.430 % |
199.76/199.80	|    373246 |    3548    47266   107479 |    30702    22851    137 | 35.507 % |
199.76/199.80	|    374954 |    3540    47266   107479 |    33772    24558    138 | 35.538 % |
199.76/199.80	|    377516 |    3539    47266   107479 |    37150    27119    140 | 35.542 % |
199.76/199.80	|    381360 |    3525    47266   107479 |    40865    30954    142 | 35.596 % |
199.76/199.80	|    387126 |    3503    47266   107479 |    44951    36718    143 | 35.681 % |
199.76/199.80	|    395775 |    3432    47266   107479 |    49446    45363    143 | 35.955 % |
199.76/199.80	|    408749 |    3364    47266   107479 |    54391    58291    143 | 36.217 % |
199.76/199.80	|    428210 |    3321    47266   107479 |    59830    34259    130 | 36.383 % |
199.76/199.80	|    457402 |    3272    47266   107479 |    65813    63447    140 | 36.572 % |
199.76/199.80	|    501191 |    3104    47266   107479 |    72395    51098    137 | 37.220 % |
199.76/199.80	|    566875 |    2871    47266   107479 |    79634    57153    137 | 38.119 % |
199.76/199.80	|    665401 |    2731    47266   107479 |    87598    86481    139 | 38.660 % |
199.76/199.80	|    813190 |    2488    47266   107479 |    96358    86502    128 | 39.597 % |
199.76/199.80	===============================================================================
199.76/199.80	c Found solution: -38
199.76/199.81	c ---[   0]---> Sorter-cost:    0     Base:
358.64/358.72	|  Eliminated clauses:           0.43 Mb                                      |
358.64/358.72	============================[ Search Statistics ]==============================
358.64/358.72	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
358.64/358.72	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
358.64/358.72	===============================================================================
358.64/358.72	|    902821 |    2256    44482    96532 |    16310    22679    111 | 39.948 % |
358.64/358.72	|    902971 |    2256    44482    96532 |    17941    22829    112 | 39.948 % |
358.64/358.72	|    903196 |    2256    44482    96532 |    19735    23054    112 | 39.948 % |
358.64/358.72	|    903533 |    2255    44482    96532 |    21708    23390    112 | 39.952 % |
358.64/358.72	|    904039 |    2255    44482    96532 |    23879    23896    111 | 39.952 % |
358.64/358.72	|    904798 |    2255    44482    96532 |    26267    24655    111 | 39.952 % |
358.64/358.72	|    905937 |    2255    44482    96532 |    28894    25794    112 | 39.952 % |
358.64/358.72	|    907645 |    2255    44482    96532 |    31783    27502    112 | 39.952 % |
358.64/358.73	|    910207 |    2255    44482    96532 |    34962    30064    112 | 39.952 % |
358.64/358.73	|    914051 |    2255    44482    96532 |    38458    33908    112 | 39.952 % |
358.64/358.73	|    919817 |    2255    44482    96532 |    42304    39674    113 | 39.952 % |
358.64/358.73	|    928466 |    2255    44482    96532 |    46534    48323    113 | 39.952 % |
358.64/358.73	|    941440 |    2248    44482    96532 |    51187    24920    107 | 39.979 % |
358.64/358.73	|    960901 |    2215    44482    96532 |    56306    44377    102 | 40.107 % |
358.64/358.73	|    990093 |    2191    44482    96532 |    61937    28652     97 | 40.199 % |
358.64/358.73	|   1033882 |    2183    44482    96532 |    68131    23500     96 | 40.230 % |
358.64/358.73	|   1099566 |    2156    44482    96532 |    74944    33504     83 | 40.334 % |
358.64/358.73	|   1198092 |    2107    44482    96532 |    82438    70626     78 | 40.523 % |
358.64/358.73	|   1345881 |    2074    44482    96532 |    90682    83158     64 | 40.650 % |
358.64/358.73	|   1567564 |    2006    44482    96532 |    99750    66906     81 | 40.913 % |
358.64/358.73	===============================================================================
358.64/358.73	c Found solution: -39
358.64/358.73	c ---[   0]---> Sorter-cost:    0     Base:
958.15/958.30	|  Eliminated clauses:           0.43 Mb                                      |
958.15/958.30	============================[ Search Statistics ]==============================
958.15/958.30	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
958.15/958.30	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
958.15/958.30	===============================================================================
958.15/958.30	|   1775042 |    1948    43835    94058 |    16072    13811    104 | 42.269 % |
958.15/958.30	|   1775192 |    1948    43835    94058 |    17680    13961    103 | 42.269 % |
958.15/958.30	|   1775417 |    1948    43835    94058 |    19448    14186    103 | 42.269 % |
958.15/958.30	|   1775754 |    1948    43835    94058 |    21392    14523    102 | 42.269 % |
958.15/958.30	|   1776260 |    1948    43835    94058 |    23532    15029    101 | 42.269 % |
958.15/958.30	|   1777019 |    1939    43835    94058 |    25885    15787     99 | 42.303 % |
958.15/958.30	|   1778158 |    1939    43835    94058 |    28474    16926     97 | 42.303 % |
958.15/958.30	|   1779866 |    1939    43835    94058 |    31321    18634     95 | 42.303 % |
958.15/958.30	|   1782428 |    1939    43835    94058 |    34453    21196     92 | 42.303 % |
958.15/958.30	|   1786272 |    1939    43835    94058 |    37898    25040     89 | 42.303 % |
958.15/958.30	|   1792038 |    1939    43835    94058 |    41688    30806     85 | 42.303 % |
958.15/958.30	|   1800687 |    1939    43835    94058 |    45857    39455     80 | 42.303 % |
958.15/958.30	|   1813661 |    1939    43835    94058 |    50443    52429     75 | 42.303 % |
958.15/958.30	|   1833122 |    1939    43835    94058 |    55487    33473     73 | 42.303 % |
958.15/958.30	|   1862314 |    1939    43835    94058 |    61036    62665     68 | 42.303 % |
958.15/958.30	|   1906103 |    1939    43835    94058 |    67140    56403     74 | 42.303 % |
958.15/958.30	|   1971787 |    1929    43835    94058 |    73854    69220     70 | 42.340 % |
958.15/958.30	|   2070313 |    1920    43835    94058 |    81239    42772     75 | 42.374 % |
958.15/958.30	|   2218102 |    1878    43835    94058 |    89363    63337     67 | 42.531 % |
958.15/958.30	|   2439785 |    1862    43835    94058 |    98299    62594     62 | 42.591 % |
958.15/958.30	|   2772310 |    1815    43835    94058 |   108129    39282     92 | 42.766 % |
958.15/958.30	|   3271098 |    1680    43835    94058 |   118942    57755     82 | 43.270 % |
958.15/958.30	|   4019280 |    1600    43835    94058 |   130837    50091     76 | 43.569 % |
958.15/958.30	===============================================================================
958.15/958.30	c Found solution: -40
958.15/958.31	c ---[   0]---> Sorter-cost:34022     Base:
1697.62/1697.92	|  Eliminated clauses:           0.73 Mb                                      |
1697.62/1697.92	============================[ Search Statistics ]==============================
1697.62/1697.92	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1697.62/1697.92	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1697.62/1697.92	===============================================================================
1697.62/1697.92	|   4963598 |   10557    61572   169291 |    22576    21248    103 | 33.632 % |
1697.62/1697.92	|   4963748 |   10557    61572   169291 |    24834    21398    102 | 33.632 % |
1697.62/1697.92	|   4963973 |   10557    61572   169291 |    27317    21623    102 | 33.632 % |
1697.62/1697.92	|   4964310 |   10557    61572   169291 |    30049    21960    101 | 33.632 % |
1697.62/1697.92	|   4964816 |   10557    61572   169291 |    33054    22466    101 | 33.632 % |
1697.62/1697.92	|   4965575 |   10557    61572   169291 |    36359    23225    100 | 33.632 % |
1697.62/1697.92	|   4966714 |   10557    61572   169291 |    39995    24364     99 | 33.632 % |
1697.62/1697.92	|   4968422 |   10557    61572   169291 |    43995    26072     98 | 33.632 % |
1697.62/1697.92	|   4970984 |   10557    61572   169291 |    48394    28634     97 | 33.632 % |
1697.62/1697.92	|   4974828 |   10557    61572   169291 |    53233    32478     95 | 33.632 % |
1697.62/1697.92	|   4980594 |   10557    61572   169291 |    58557    38244     92 | 33.632 % |
1697.62/1697.92	|   4989243 |   10557    61572   169291 |    64413    46893     89 | 33.632 % |
1697.62/1697.92	|   5002217 |   10557    61572   169291 |    70854    59867     85 | 33.632 % |
1697.62/1697.92	|   5021678 |   10557    61572   169291 |    77939    79328     84 | 33.632 % |
1697.62/1697.92	|   5050870 |   10557    61572   169291 |    85733    41959     86 | 33.632 % |
1697.62/1697.92	|   5094659 |   10512    61572   169291 |    94307    84138     82 | 33.721 % |
1697.62/1697.92	|   5160343 |   10458    61572   169291 |   103737    69676     80 | 33.828 % |
1697.62/1697.92	|   5258869 |   10428    61572   169291 |   114111    73638     79 | 33.888 % |
1697.62/1697.92	|   5406658 |   10401    61572   169291 |   125522   124504     76 | 33.941 % |
1697.62/1697.92	|   5628341 |   10357    61572   169291 |   138075    97334     83 | 34.028 % |
1697.62/1697.92	|   5960866 |   10334    61572   169291 |   151882    48898     88 | 34.074 % |
1697.62/1697.92	|   6459654 |   10262    61572   169291 |   167071   117448     83 | 34.216 % |
1697.62/1697.92	|   7207836 |    9919    61572   169291 |   183778   165924     83 | 34.895 % |
1697.62/1697.92	===============================================================================
1697.62/1697.92	c Optimal solution: -40
1697.62/1697.92	s OPTIMUM FOUND
1697.62/1697.92	v -x760 -x759 -x758 -x757 -x756 -x755 -x754 x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 x496 -x495 x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 x268 -x267 -x266 -x265 x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1697.62/1697.92	c _______________________________________________________________________________
1697.62/1697.92	c 
1697.62/1697.92	restarts              : 13767
1697.62/1697.92	conflicts             : 7310696        (4308 /sec)
1697.62/1697.92	decisions             : 8946241        (0.00 % random) (5272 /sec)
1697.62/1697.92	propagations          : 2195388155     (1293617 /sec)
1697.62/1697.92	conflict literals     : 600512221      (41.77 % deleted)
1697.62/1697.92	Memory used           : 193.89 MB
1697.62/1697.92	CPU time              : 1697.09 s
1697.62/1697.92	c _______________________________________________________________________________

Verifier Data 

OK	-40

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4113960-1466539741/watcher-4113960-1466539741 -o /tmp/evaluation-result-4113960-1466539741/solver-4113960-1466539741 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466514783-26469 --watchdog 1960 minisatp HOME/instance-4113960-1466539741.opb 

pid=31197
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.20 2.22 2.18 3/176 31200
/proc/meminfo: memFree=30246940/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=6588 CPUtime=0 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 56020716 6746112 251 33554432000 4194304 5646918 140737257268976 140736265688296 4953072 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 1647 251 94 355 0 1288 0

[startup+0.100164 s]
/proc/loadavg: 2.20 2.22 2.18 3/176 31200
/proc/meminfo: memFree=30246940/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=12300 CPUtime=0.09 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 1797 0 0 0 9 0 0 0 20 0 1 0 56020716 12595200 1674 33554432000 4194304 5646918 140737257268976 140736265688296 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 3075 1674 94 355 0 2716 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12300

[startup+0.200321 s]
/proc/loadavg: 2.20 2.22 2.18 3/176 31200
/proc/meminfo: memFree=30246940/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=18484 CPUtime=0.19 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 3325 0 0 0 18 1 0 0 20 0 1 0 56020716 18927616 3202 33554432000 4194304 5646918 140737257268976 140736265688296 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 4621 3202 94 355 0 4262 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18484

[startup+0.30033 s]
/proc/loadavg: 2.20 2.22 2.18 3/176 31200
/proc/meminfo: memFree=30246940/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=24684 CPUtime=0.29 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 4843 0 0 0 28 1 0 0 20 0 1 0 56020716 25276416 4720 33554432000 4194304 5646918 140737257268976 140736265688296 4953072 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 6171 4722 94 355 0 5812 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24684

[startup+0.700321 s]
/proc/loadavg: 2.20 2.22 2.18 3/176 31200
/proc/meminfo: memFree=30246940/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=36868 CPUtime=0.69 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 9044 0 0 0 66 3 0 0 20 0 1 0 56020716 37752832 8659 33554432000 4194304 5646918 140737257268976 140737257267416 4389088 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 9217 8659 154 355 0 8858 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36868

[startup+1.50024 s]
/proc/loadavg: 2.20 2.22 2.18 3/177 31201
/proc/meminfo: memFree=30207744/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=38416 CPUtime=1.49 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 9474 0 0 0 146 3 0 0 20 0 1 0 56020716 39337984 9083 33554432000 4194304 5646918 140737257268976 140737257267416 4403495 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 9604 9083 155 355 0 9245 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38416

[startup+3.10031 s]
/proc/loadavg: 2.20 2.22 2.18 3/177 31201
/proc/meminfo: memFree=30197896/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=47232 CPUtime=3.09 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 10338 0 0 0 306 3 0 0 20 0 1 0 56020716 48365568 10448 33554432000 4194304 5646918 140737257268976 140737257267672 4403454 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 11808 10448 156 355 0 11449 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47232

[startup+6.30034 s]
/proc/loadavg: 2.26 2.23 2.19 4/177 31201
/proc/meminfo: memFree=30174888/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=54412 CPUtime=6.29 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 11379 0 0 0 625 4 0 0 20 0 1 0 56020716 55717888 13014 33554432000 4194304 5646918 140737257268976 140737257267672 4403176 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 13603 13014 156 355 0 13244 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54412

[startup+12.7003 s]
/proc/loadavg: 2.24 2.23 2.19 3/176 31201
/proc/meminfo: memFree=30208320/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=47232 CPUtime=12.69 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 12148 0 0 0 1265 4 0 0 20 0 1 0 56020716 48365568 11080 33554432000 4194304 5646918 140737257268976 140737257267672 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 11808 11080 156 355 0 11449 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47232

[startup+25.5003 s]
/proc/loadavg: 2.19 2.22 2.18 3/177 31202
/proc/meminfo: memFree=30215840/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=66088 CPUtime=25.49 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 15592 0 0 0 2543 6 0 0 20 0 1 0 56020716 67674112 15477 33554432000 4194304 5646918 140737257268976 140737257267672 4403184 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 16522 15477 157 355 0 16163 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66088

[startup+51.1004 s]
/proc/loadavg: 2.26 2.23 2.19 4/177 31202
/proc/meminfo: memFree=30173756/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=134080 CPUtime=51.08 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 21084 0 0 0 5099 9 0 0 20 0 1 0 56020716 137297920 25085 33554432000 4194304 5646918 140737257268976 140737257267272 4403184 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 33520 25085 157 355 0 33161 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 134080

[startup+102.3 s]
/proc/loadavg: 2.18 2.21 2.18 3/178 31206
/proc/meminfo: memFree=30199044/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=84760 CPUtime=102.28 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 23204 0 0 0 10215 13 0 0 20 0 1 0 56020716 86794240 16325 33554432000 4194304 5646918 140737257268976 140737257267688 4397982 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 21190 16325 157 355 0 20831 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 84760

[startup+162.3 s]
/proc/loadavg: 2.28 2.22 2.18 4/177 31207
/proc/meminfo: memFree=30115040/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=147156 CPUtime=162.27 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 26270 0 0 0 16210 17 0 0 20 0 1 0 56020716 150687744 34562 33554432000 4194304 5646918 140737257268976 140737257267272 4403091 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 36789 34562 157 355 0 36430 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 147156

[startup+222.307 s]
/proc/loadavg: 2.26 2.22 2.18 3/177 31208
/proc/meminfo: memFree=30149976/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=97836 CPUtime=222.26 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 27974 0 0 0 22206 20 0 0 20 0 1 0 56020716 100184064 24021 33554432000 4194304 5646918 140737257268976 140737257267688 4403167 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 24459 24021 157 355 0 24100 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 97836

[startup+282.3 s]
/proc/loadavg: 2.27 2.22 2.18 3/177 31209
/proc/meminfo: memFree=30149980/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=97836 CPUtime=282.24 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 27974 0 0 0 28204 20 0 0 20 0 1 0 56020716 100184064 24021 33554432000 4194304 5646918 140737257268976 140737257267688 4403368 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 24459 24021 157 355 0 24100 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 97836

[startup+342.3 s]
/proc/loadavg: 2.34 2.24 2.19 3/177 31211
/proc/meminfo: memFree=30149712/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=97836 CPUtime=342.23 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 28609 0 0 0 34202 21 0 0 20 0 1 0 56020716 100184064 24021 33554432000 4194304 5646918 140737257268976 140737257267688 4402751 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 24459 24021 157 355 0 24100 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 97836

[startup+402.3 s]
/proc/loadavg: 2.38 2.26 2.19 3/177 31212
/proc/meminfo: memFree=30149552/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=97836 CPUtime=402.23 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 28944 0 0 0 40201 22 0 0 20 0 1 0 56020716 100184064 24039 33554432000 4194304 5646918 140737257268976 140737257267256 4403416 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 24459 24039 158 355 0 24100 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 97836

[startup+462.3 s]
/proc/loadavg: 2.25 2.24 2.19 4/177 31213
/proc/meminfo: memFree=30149652/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=97836 CPUtime=462.22 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 28944 0 0 0 46200 22 0 0 20 0 1 0 56020716 100184064 24039 33554432000 4194304 5646918 140737257268976 140737257267256 4403472 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 24459 24039 158 355 0 24100 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 97836

[startup+522.3 s]
/proc/loadavg: 2.23 2.24 2.19 3/177 31214
/proc/meminfo: memFree=30149888/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=97836 CPUtime=522.21 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 28944 0 0 0 52199 22 0 0 20 0 1 0 56020716 100184064 24039 33554432000 4194304 5646918 140737257268976 140737257267256 4403118 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 24459 24039 158 355 0 24100 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 97836

[startup+582.3 s]
/proc/loadavg: 2.31 2.25 2.19 3/177 31215
/proc/meminfo: memFree=30131328/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=97836 CPUtime=582.2 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 29580 0 0 0 58197 23 0 0 20 0 1 0 56020716 100184064 24039 33554432000 4194304 5646918 140737257268976 140737257267688 4403411 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 24459 24039 158 355 0 24100 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 97836


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

/proc/loadavg: 2.18 2.23 2.18 3/177 31230
/proc/meminfo: memFree=30055580/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=167724 CPUtime=1182.1 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 37986 0 0 0 118171 39 0 0 20 0 1 0 56020716 171749376 39973 33554432000 4194304 5646918 140737257268976 140737257267272 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 41931 39973 158 355 0 41572 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 167724

[startup+1242.3 s]
/proc/loadavg: 2.27 2.24 2.19 3/177 31232
/proc/meminfo: memFree=30098256/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=118404 CPUtime=1242.09 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 39373 0 0 0 124168 41 0 0 20 0 1 0 56020716 121245696 29040 33554432000 4194304 5646918 140737257268976 140737257267688 4402684 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 29601 29040 158 355 0 29242 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 118404

[startup+1302.3 s]
/proc/loadavg: 2.32 2.26 2.19 4/178 31291
/proc/meminfo: memFree=30033692/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=167724 CPUtime=1302.08 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 40368 0 0 0 130164 44 0 0 20 0 1 0 56020716 171749376 38437 33554432000 4194304 5646918 140737257268976 140737257267272 4402684 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 41931 38437 158 355 0 41572 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 167724

[startup+1362.3 s]
/proc/loadavg: 2.29 2.25 2.19 3/177 31292
/proc/meminfo: memFree=29976612/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=198544 CPUtime=1362.07 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 41612 0 0 0 136161 46 0 0 20 0 1 0 56020716 203309056 41440 33554432000 4194304 5646918 140737257268976 140737257267272 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 49636 41440 158 355 0 49277 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 198544

[startup+1422.3 s]
/proc/loadavg: 2.28 2.25 2.19 3/177 31293
/proc/meminfo: memFree=29932048/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=118404 CPUtime=1422.07 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 42543 0 0 0 142159 48 0 0 20 0 1 0 56020716 121245696 29040 33554432000 4194304 5646918 140737257268976 140737257267688 4403408 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 29601 29040 158 355 0 29242 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 118404

[startup+1482.3 s]
/proc/loadavg: 2.28 2.25 2.19 4/177 31294
/proc/meminfo: memFree=30044968/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=118404 CPUtime=1482.06 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 43341 0 0 0 148156 50 0 0 20 0 1 0 56020716 121245696 29040 33554432000 4194304 5646918 140737257268976 140737257267688 4403464 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 29601 29040 158 355 0 29242 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 118404

[startup+1542.31 s]
/proc/loadavg: 2.10 2.20 2.17 3/177 31296
/proc/meminfo: memFree=29954404/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=118404 CPUtime=1542.05 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 44134 0 0 0 154154 51 0 0 20 0 1 0 56020716 121245696 29040 33554432000 4194304 5646918 140737257268976 140737257267688 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 29601 29040 158 355 0 29242 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 118404

[startup+1602.3 s]
/proc/loadavg: 2.04 2.16 2.16 3/177 31297
/proc/meminfo: memFree=29862028/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=118404 CPUtime=1602.04 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 44929 0 0 0 160150 54 0 0 20 0 1 0 56020716 121245696 29040 33554432000 4194304 5646918 140737257268976 140737257267688 4403178 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 29601 29040 158 355 0 29242 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 118404

[startup+1662.3 s]
/proc/loadavg: 2.01 2.13 2.15 3/177 31298
/proc/meminfo: memFree=30024904/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=198544 CPUtime=1662.03 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 45723 0 0 0 166148 55 0 0 20 0 1 0 56020716 203309056 43624 33554432000 4194304 5646918 140737257268976 140737257267672 4403416 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 49636 43624 158 355 0 49277 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 198544

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 31200 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1664 s]
/proc/loadavg: 2.01 2.13 2.15 3/177 31298
/proc/meminfo: memFree=30022856/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=198544 CPUtime=1663.73 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 45723 0 0 0 166318 55 0 0 20 0 1 0 56020716 203309056 43624 33554432000 4194304 5646918 140737257268976 140737257267672 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 49636 43624 158 355 0 49277 0
Current children cumulated CPU time (s) 1663.73
Current children cumulated vsize (KiB) 198544

[startup+1676.8 s]
/proc/loadavg: 2.01 2.12 2.15 3/177 31299
/proc/meminfo: memFree=29981584/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=198544 CPUtime=1676.52 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 45726 0 0 0 167597 55 0 0 20 0 1 0 56020716 203309056 45160 33554432000 4194304 5646918 140737257268976 140737257267672 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 49636 45160 158 355 0 49277 0
Current children cumulated CPU time (s) 1676.52
Current children cumulated vsize (KiB) 198544

[startup+1689.6 s]
/proc/loadavg: 2.09 2.13 2.15 3/177 31299
/proc/meminfo: memFree=30021404/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=118404 CPUtime=1689.32 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 45727 0 0 0 168877 55 0 0 20 0 1 0 56020716 121245696 29040 33554432000 4194304 5646918 140737257268976 140737257267688 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 29601 29040 158 355 0 29242 0
Current children cumulated CPU time (s) 1689.32
Current children cumulated vsize (KiB) 118404

[startup+1692.8 s]
/proc/loadavg: 2.08 2.13 2.15 3/177 31299
/proc/meminfo: memFree=30017308/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=118404 CPUtime=1692.52 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 45727 0 0 0 169197 55 0 0 20 0 1 0 56020716 121245696 29040 33554432000 4194304 5646918 140737257268976 140737257267688 4402821 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 29601 29040 158 355 0 29242 0
Current children cumulated CPU time (s) 1692.52
Current children cumulated vsize (KiB) 118404

[startup+1696 s]
/proc/loadavg: 2.08 2.13 2.15 3/177 31299
/proc/meminfo: memFree=30011228/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=118404 CPUtime=1695.72 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 45727 0 0 0 169517 55 0 0 20 0 1 0 56020716 121245696 29040 33554432000 4194304 5646918 140737257268976 140737257267688 4403464 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 29601 29040 158 355 0 29242 0
Current children cumulated CPU time (s) 1695.72
Current children cumulated vsize (KiB) 118404

[startup+1696.8 s]
/proc/loadavg: 2.07 2.13 2.15 3/177 31299
/proc/meminfo: memFree=30009056/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=118404 CPUtime=1696.52 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 45727 0 0 0 169597 55 0 0 20 0 1 0 56020716 121245696 29040 33554432000 4194304 5646918 140737257268976 140737257267688 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 29601 29040 158 355 0 29242 0
Current children cumulated CPU time (s) 1696.52
Current children cumulated vsize (KiB) 118404

[startup+1697.6 s]
/proc/loadavg: 2.07 2.13 2.15 3/177 31299
/proc/meminfo: memFree=30006884/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=118404 CPUtime=1697.32 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 45727 0 0 0 169677 55 0 0 20 0 1 0 56020716 121245696 29040 33554432000 4194304 5646918 140737257268976 140737257267688 4403091 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 29601 29040 158 355 0 29242 0
Current children cumulated CPU time (s) 1697.32
Current children cumulated vsize (KiB) 118404

[startup+1697.8 s]
/proc/loadavg: 2.07 2.13 2.15 3/177 31299
/proc/meminfo: memFree=30006884/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=118404 CPUtime=1697.52 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 45727 0 0 0 169697 55 0 0 20 0 1 0 56020716 121245696 29040 33554432000 4194304 5646918 140737257268976 140737257267688 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 29601 29040 158 355 0 29242 0
Current children cumulated CPU time (s) 1697.52
Current children cumulated vsize (KiB) 118404

[startup+1697.9 s]
/proc/loadavg: 2.07 2.13 2.15 3/177 31299
/proc/meminfo: memFree=30006884/32872528 swapFree=1543496/1696796
[pid=31200] ppid=31197 vsize=118404 CPUtime=1697.62 cores=1,3,5,7
/proc/31200/stat : 31200 (minisatp) R 31197 31200 26452 0 -1 4202496 45727 0 0 0 169707 55 0 0 20 0 1 0 56020716 121245696 29040 33554432000 4194304 5646918 140737257268976 140737257267688 4402947 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/31200/statm: 29601 29040 158 355 0 29242 0
Current children cumulated CPU time (s) 1697.62
Current children cumulated vsize (KiB) 118404

Child status: 0
Real time (s): 1697.92
CPU time (s): 1697.66
CPU user time (s): 1697.09
CPU system time (s): 0.561914
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 198544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1697.09
system time used= 0.561914
maximum resident set size= 182688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45736
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= 17
involuntary context switches= 1867

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.04723 second user time and 6.83996 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-21 22:09:01
IDJOB=4113960
IDBENCH=2242
IDSOLVER=2555
FILE ID=node125/4113960-1466539741
RUNJOBID= node125-1466514783-26469
PBS_JOBID= 19942882
Free space on /tmp= 71740 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4113960-1466539741/watcher-4113960-1466539741 -o /tmp/evaluation-result-4113960-1466539741/solver-4113960-1466539741 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466514783-26469 --watchdog 1960  minisatp HOME/instance-4113960-1466539741.opb

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

MD5SUM BENCH= 5249f5f1c551add7f5b5b920fc1c3b9c
RANDOM SEED=1746999639

node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30247368 kB
Buffers:           22468 kB
Cached:            71944 kB
SwapCached:         2388 kB
Active:           148588 kB
Inactive:          65692 kB
Active(anon):     120764 kB
Inactive(anon):     1816 kB
Active(file):      27824 kB
Inactive(file):    63876 kB
Unevictable:     1696796 kB
Mlocked:         1543496 kB
SwapTotal:      67108856 kB
SwapFree:       67097080 kB
Dirty:              4664 kB
Writeback:             0 kB
AnonPages:       1799480 kB
Mapped:             8880 kB
Shmem:                 0 kB
Slab:             567276 kB
SReclaimable:      10992 kB
SUnreclaim:       556284 kB
KernelStack:        1440 kB
PageTables:         7620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1963660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    243712 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4113960-1466539741.opb

Free space on /tmp at the end= 71732 MiB
End job on node125 at 2016-06-21 22:37:19