Trace number 4112541

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-d91742bSAT (TO)-39 1800.1 1800.4

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
MD5SUMf408a60720d5bae3e36cea0c41e2f7f1
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 benchmark39.736
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -39
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41619
Number of constraints which are clauses41619
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.39	c Converting 41619 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.38/0.45	============================[ Search Statistics ]==============================
0.38/0.45	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.38/0.45	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.38/0.45	===============================================================================
0.38/0.45	===============================================================================
0.38/0.45	c Found solution: -27
0.38/0.46	c ---[   0]---> Sorter-cost:35010     Base:
0.78/0.89	|  Eliminated clauses:           0.37 Mb                                      |
0.78/0.89	============================[ Search Statistics ]==============================
0.78/0.89	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.78/0.89	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.78/0.89	===============================================================================
0.78/0.89	|       100 |   13192    67826   192583 |    24869       94     66 |  0.219 % |
0.78/0.89	|       250 |   13122    67826   192583 |    27356      238     45 |  0.502 % |
0.78/0.89	|       475 |   12971    67826   192583 |    30092      442     44 |  1.112 % |
0.78/0.89	|       812 |   12727    67826   192583 |    33101      760     47 |  2.099 % |
0.78/0.89	|      1318 |   12449    67826   192583 |    36411     1240     45 |  3.224 % |
0.78/0.89	===============================================================================
0.78/0.89	c Found solution: -30
0.78/0.89	c ---[   0]---> Sorter-cost:    0     Base:
1.09/1.13	|  Eliminated clauses:           0.38 Mb                                      |
1.09/1.13	============================[ Search Statistics ]==============================
1.09/1.13	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.09/1.13	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.09/1.13	===============================================================================
1.09/1.13	|      2035 |   11481    64359   177071 |    23598     1890     43 |  6.554 % |
1.09/1.13	|      2185 |   11451    64359   177071 |    25958     2038     44 |  6.675 % |
1.09/1.13	|      2410 |   11273    64359   177071 |    28553     2229     42 |  7.393 % |
1.09/1.13	|      2747 |   11134    64359   177071 |    31409     2540     46 |  7.954 % |
1.09/1.13	|      3253 |   10868    64359   177071 |    34550     3021     46 |  9.027 % |
1.09/1.13	===============================================================================
1.09/1.13	c Found solution: -31
1.09/1.14	c ---[   0]---> Sorter-cost:    0     Base:
2.08/2.18	|  Eliminated clauses:           0.40 Mb                                      |
2.08/2.18	============================[ Search Statistics ]==============================
2.08/2.18	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.08/2.18	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.08/2.18	===============================================================================
2.08/2.18	|      3949 |   10650    62521   169497 |    22924     3691     46 |  9.825 % |
2.08/2.18	|      4099 |   10568    62521   169497 |    25216     3836     48 | 10.148 % |
2.08/2.18	|      4324 |   10508    62521   169497 |    27738     4035     48 | 10.385 % |
2.08/2.18	|      4661 |   10353    62521   169497 |    30512     4364     48 | 10.996 % |
2.08/2.18	|      5167 |   10200    62521   169497 |    33563     4842     50 | 11.599 % |
2.08/2.18	|      5926 |    9873    62521   169497 |    36919     5574     50 | 12.888 % |
2.08/2.18	|      7065 |    9500    62521   169497 |    40611     6613     51 | 14.358 % |
2.08/2.18	|      8773 |    9036    62521   169497 |    44673     8229     62 | 16.188 % |
2.08/2.18	|     11335 |    8646    62521   169497 |    49140    10681     70 | 17.725 % |
2.08/2.18	===============================================================================
2.08/2.18	c Found solution: -32
2.08/2.18	c ---[   0]---> Sorter-cost:    0     Base:
2.99/3.06	|  Eliminated clauses:           0.40 Mb                                      |
2.99/3.06	============================[ Search Statistics ]==============================
2.99/3.06	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.99/3.06	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.99/3.06	===============================================================================
2.99/3.06	|     13493 |    8127    57173   146877 |    20963    12822     75 | 18.887 % |
2.99/3.06	|     13643 |    8127    57173   146877 |    23059    12972     75 | 18.887 % |
2.99/3.06	|     13868 |    8106    57173   146877 |    25365    12987     72 | 18.970 % |
2.99/3.06	|     14205 |    8095    57173   146877 |    27902    13323     72 | 19.013 % |
2.99/3.06	|     14711 |    8079    57173   146877 |    30692    13828     74 | 19.076 % |
2.99/3.06	|     15470 |    8046    57173   146877 |    33761    14586     76 | 19.206 % |
2.99/3.06	|     16609 |    7871    57173   146877 |    37138    15714     76 | 19.896 % |
2.99/3.06	|     18317 |    7577    57173   146877 |    40851    17273     79 | 21.055 % |
2.99/3.06	===============================================================================
2.99/3.06	c Found solution: -33
2.99/3.06	c ---[   0]---> Sorter-cost:    0     Base:
18.99/19.06	|  Eliminated clauses:           0.41 Mb                                      |
18.99/19.06	============================[ Search Statistics ]==============================
18.99/19.06	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.99/19.06	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
18.99/19.06	===============================================================================
18.99/19.06	|     20641 |    7425    55687   141068 |    20418    19594     86 | 21.258 % |
18.99/19.06	|     20791 |    7425    55687   141068 |    22460    19744     86 | 21.258 % |
18.99/19.06	|     21016 |    7425    55687   141068 |    24706    19969     86 | 21.258 % |
18.99/19.06	|     21353 |    7425    55687   141068 |    27177    20306     86 | 21.258 % |
18.99/19.06	|     21859 |    7425    55687   141068 |    29894    20812     87 | 21.258 % |
18.99/19.06	|     22618 |    7258    55687   141068 |    32884    21563     87 | 21.915 % |
18.99/19.06	|     23757 |    7088    55687   141068 |    36172    22340     88 | 22.584 % |
18.99/19.06	|     25465 |    6959    55687   141068 |    39790    24040     90 | 23.091 % |
18.99/19.06	|     28027 |    6829    55687   141068 |    43769    26594     94 | 23.603 % |
18.99/19.06	|     31871 |    6686    55687   141068 |    48145    30083    100 | 24.165 % |
18.99/19.06	|     37637 |    6510    55687   141068 |    52960    35838    106 | 24.858 % |
18.99/19.06	|     46286 |    6348    55687   141068 |    58256    44478    116 | 25.495 % |
18.99/19.06	|     59260 |    6262    55687   141068 |    64082    57361    127 | 25.833 % |
18.99/19.06	|     78721 |    6056    55687   141068 |    70490    28885    129 | 26.643 % |
18.99/19.06	===============================================================================
18.99/19.06	c Found solution: -34
18.99/19.07	c ---[   0]---> Sorter-cost:    0     Base:
20.08/20.17	|  Eliminated clauses:           0.41 Mb                                      |
20.08/20.17	============================[ Search Statistics ]==============================
20.08/20.17	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
20.08/20.17	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
20.08/20.17	===============================================================================
20.08/20.17	|     99640 |    5624    51844   125186 |    19009    22172    123 | 27.570 % |
20.08/20.17	|     99790 |    5624    51844   125186 |    20910    22250    123 | 27.570 % |
20.08/20.17	|    100015 |    5612    51844   125186 |    23001    22474    123 | 27.618 % |
20.08/20.17	|    100352 |    5612    51844   125186 |    25301    22811    123 | 27.618 % |
20.08/20.17	|    100858 |    5612    51844   125186 |    27831    23317    124 | 27.618 % |
20.08/20.17	|    101617 |    5543    51844   125186 |    30614    24070    124 | 27.889 % |
20.08/20.17	|    102756 |    5543    51844   125186 |    33676    25209    125 | 27.889 % |
20.08/20.17	|    104464 |    5489    51844   125186 |    37044    26911    125 | 28.101 % |
20.08/20.17	===============================================================================
20.08/20.17	c Found solution: -35
20.08/20.18	c ---[   0]---> Sorter-cost:    0     Base:
108.05/108.12	|  Eliminated clauses:           0.42 Mb                                      |
108.05/108.12	============================[ Search Statistics ]==============================
108.05/108.12	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
108.05/108.12	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
108.05/108.12	===============================================================================
108.05/108.12	|    106035 |    5482    51612   124434 |    18924    14290     98 | 28.677 % |
108.05/108.12	|    106185 |    5426    51612   124434 |    20816    14437     98 | 28.892 % |
108.05/108.12	|    106410 |    5426    51612   124434 |    22898    14662     99 | 28.892 % |
108.05/108.12	|    106747 |    5361    51612   124434 |    25188    14994     99 | 29.143 % |
108.05/108.12	|    107253 |    5302    51612   124434 |    27707    15496     99 | 29.370 % |
108.05/108.12	|    108012 |    5281    51612   124434 |    30477    16253    100 | 29.451 % |
108.05/108.12	|    109151 |    5269    51612   124434 |    33525    17391    103 | 29.497 % |
108.05/108.12	|    110859 |    5219    51612   124434 |    36878    19095    104 | 29.690 % |
108.05/108.12	|    113421 |    5190    51612   124434 |    40566    21655    106 | 29.802 % |
108.05/108.12	|    117265 |    5100    51612   124434 |    44622    25333    111 | 30.148 % |
108.05/108.12	|    123031 |    5023    51612   124434 |    49085    31092    116 | 30.445 % |
108.05/108.12	|    131680 |    4983    51612   124434 |    53993    39616    127 | 30.599 % |
108.05/108.12	|    144654 |    4895    51612   124434 |    59392    52585    138 | 30.938 % |
108.05/108.12	|    164115 |    4699    51612   124434 |    65332    28341    118 | 31.693 % |
108.05/108.12	|    193307 |    4281    51612   124434 |    71865    57503    146 | 33.304 % |
108.05/108.12	|    237096 |    4038    51612   124434 |    79051    45484    140 | 34.240 % |
108.05/108.12	|    302780 |    3840    51612   124434 |    86957    47671    151 | 35.003 % |
108.05/108.12	|    401306 |    3546    51612   124434 |    95652    74699    163 | 36.136 % |
108.05/108.12	===============================================================================
108.05/108.12	c Found solution: -36
108.05/108.13	c ---[   0]---> Sorter-cost:    0     Base:
219.73/219.82	|  Eliminated clauses:           0.43 Mb                                      |
219.73/219.82	============================[ Search Statistics ]==============================
219.73/219.82	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
219.73/219.82	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
219.73/219.82	===============================================================================
219.73/219.82	|    436611 |    3184    46776   104786 |    17151    23618    169 | 36.665 % |
219.73/219.82	|    436761 |    3184    46776   104786 |    18866    23768    168 | 36.665 % |
219.73/219.82	|    436986 |    3163    46776   104786 |    20752    23992    168 | 36.745 % |
219.73/219.82	|    437323 |    3163    46776   104786 |    22828    24329    167 | 36.745 % |
219.73/219.82	|    437829 |    3163    46776   104786 |    25111    24835    166 | 36.745 % |
219.73/219.82	|    438588 |    3163    46776   104786 |    27622    25594    166 | 36.745 % |
219.73/219.82	|    439727 |    3163    46776   104786 |    30384    26733    165 | 36.745 % |
219.73/219.82	|    441435 |    3163    46776   104786 |    33422    28441    164 | 36.745 % |
219.73/219.82	|    443997 |    3136    46776   104786 |    36765    30995    162 | 36.849 % |
219.73/219.82	|    447841 |    3097    46776   104786 |    40441    34837    163 | 37.000 % |
219.73/219.82	|    453607 |    3071    46776   104786 |    44485    40601    161 | 37.100 % |
219.73/219.82	|    462256 |    2982    46776   104786 |    48934    49244    159 | 37.443 % |
219.73/219.82	|    475230 |    2928    46776   104786 |    53827    24397    139 | 37.651 % |
219.73/219.82	|    494691 |    2883    46776   104786 |    59210    43756    145 | 37.824 % |
219.73/219.82	|    523883 |    2786    46776   104786 |    65131    25096    136 | 38.198 % |
219.73/219.82	|    567672 |    2723    46776   104786 |    71644    68848    151 | 38.441 % |
219.73/219.82	|    633356 |    2631    46776   104786 |    78809    73167    151 | 38.795 % |
219.73/219.82	|    731882 |    2449    46776   104786 |    86690    37310    145 | 39.496 % |
219.73/219.82	|    879671 |    2292    46776   104786 |    95359    33130    143 | 40.101 % |
219.73/219.82	===============================================================================
219.73/219.82	c Found solution: -37
219.73/219.82	c ---[   0]---> Sorter-cost:    0     Base:
472.39/472.51	|  Eliminated clauses:           0.43 Mb                                      |
472.39/472.51	============================[ Search Statistics ]==============================
472.39/472.51	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
472.39/472.51	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
472.39/472.51	===============================================================================
472.39/472.51	|    914607 |    2147    44578    95955 |    16345    16960    185 | 40.233 % |
472.39/472.51	|    914757 |    2147    44578    95955 |    17979    17110    184 | 40.233 % |
472.39/472.51	|    914982 |    2147    44578    95955 |    19777    17335    183 | 40.233 % |
472.39/472.51	|    915319 |    2147    44578    95955 |    21755    17672    182 | 40.233 % |
472.39/472.51	|    915825 |    2147    44578    95955 |    23931    18178    180 | 40.233 % |
472.39/472.51	|    916584 |    2147    44578    95955 |    26324    18937    177 | 40.233 % |
472.39/472.51	|    917723 |    2147    44578    95955 |    28956    20076    175 | 40.233 % |
472.39/472.51	|    919431 |    2136    44578    95955 |    31852    21783    171 | 40.275 % |
472.39/472.51	|    921993 |    2136    44578    95955 |    35037    24345    165 | 40.275 % |
472.39/472.51	|    925837 |    2124    44578    95955 |    38541    28188    160 | 40.321 % |
472.39/472.51	|    931603 |    2067    44578    95955 |    42395    33950    155 | 40.540 % |
472.39/472.51	|    940252 |    2037    44578    95955 |    46634    42596    150 | 40.655 % |
472.39/472.51	|    953226 |    2025    44578    95955 |    51298    55569    146 | 40.702 % |
472.39/472.51	|    972687 |    1999    44578    95955 |    56428    31449    131 | 40.801 % |
472.39/472.51	|   1001879 |    1998    44578    95955 |    62071    60569    128 | 40.805 % |
472.39/472.51	|   1045668 |    1978    44578    95955 |    68278    50173    128 | 40.882 % |
472.39/472.51	|   1111352 |    1950    44578    95955 |    75106    59635    128 | 40.990 % |
472.39/472.51	|   1209878 |    1857    44578    95955 |    82616    26072    119 | 41.347 % |
472.39/472.51	|   1357667 |    1795    44578    95955 |    90878    28166    130 | 41.585 % |
472.39/472.51	|   1579350 |    1730    44578    95955 |    99966    87658    106 | 41.835 % |
472.39/472.51	|   1911875 |    1722    44578    95955 |   109962    70804    108 | 41.865 % |
472.39/472.51	===============================================================================
472.39/472.51	c Found solution: -38
472.39/472.51	c ---[   0]---> Sorter-cost:    0     Base:
686.06/686.22	|  Eliminated clauses:           0.43 Mb                                      |
686.06/686.22	============================[ Search Statistics ]==============================
686.06/686.22	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
686.06/686.22	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
686.06/686.22	===============================================================================
686.06/686.22	|   2187318 |    1636    43502    91967 |    15950    18654    133 | 41.891 % |
686.06/686.22	|   2187468 |    1636    43502    91967 |    17545    18804    133 | 41.891 % |
686.06/686.22	|   2187693 |    1636    43502    91967 |    19300    19029    133 | 41.891 % |
686.06/686.22	|   2188030 |    1636    43502    91967 |    21230    19366    132 | 41.891 % |
686.06/686.22	|   2188536 |    1636    43502    91967 |    23353    19872    131 | 41.891 % |
686.06/686.22	|   2189295 |    1636    43502    91967 |    25688    20631    130 | 41.891 % |
686.06/686.22	|   2190434 |    1636    43502    91967 |    28257    21770    128 | 41.891 % |
686.06/686.22	|   2192142 |    1636    43502    91967 |    31083    23478    126 | 41.891 % |
686.06/686.22	|   2194704 |    1636    43502    91967 |    34191    26040    123 | 41.891 % |
686.06/686.22	|   2198548 |    1636    43502    91967 |    37610    29884    119 | 41.891 % |
686.06/686.22	|   2204314 |    1612    43502    91967 |    41372    35647    115 | 41.983 % |
686.06/686.22	|   2212963 |    1612    43502    91967 |    45509    44296    111 | 41.983 % |
686.06/686.22	|   2225937 |    1601    43502    91967 |    50060    20181    126 | 42.025 % |
686.06/686.22	|   2245398 |    1601    43502    91967 |    55066    39624    109 | 42.025 % |
686.06/686.22	|   2274590 |    1601    43502    91967 |    60572    23070    114 | 42.025 % |
686.06/686.22	|   2318379 |    1595    43502    91967 |    66630    66501    103 | 42.049 % |
686.06/686.22	|   2384063 |    1560    43502    91967 |    73293    76370     99 | 42.183 % |
686.06/686.22	|   2482589 |    1543    43502    91967 |    80622    45981    111 | 42.248 % |
686.06/686.22	|   2630378 |    1541    43502    91967 |    88684    59668     95 | 42.256 % |
686.06/686.22	|   2852061 |    1527    43502    91967 |    97553    47938     90 | 42.310 % |
686.06/686.22	|   3184586 |    1481    43502    91967 |   107308    38967    110 | 42.486 % |
686.06/686.22	===============================================================================
686.06/686.22	c Found solution: -39
686.06/686.23	c ---[   0]---> Sorter-cost:    0     Base:
1800.09/1800.40	|  Eliminated clauses:           0.44 Mb                                      |
1800.09/1800.40	============================[ Search Statistics ]==============================
1800.09/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.09/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.09/1800.40	===============================================================================
1800.09/1800.40	|   3488457 |    1434    43075    90373 |    15794    22050    109 | 43.999 % |
1800.09/1800.40	|   3488607 |    1434    43075    90373 |    17373    22200    108 | 43.999 % |
1800.09/1800.40	|   3488832 |    1434    43075    90373 |    19110    22425    108 | 43.999 % |
1800.09/1800.40	|   3489169 |    1434    43075    90373 |    21022    22762    107 | 43.999 % |
1800.09/1800.40	|   3489675 |    1434    43075    90373 |    23124    23268    106 | 43.999 % |
1800.09/1800.40	|   3490434 |    1434    43075    90373 |    25436    24027    105 | 43.999 % |
1800.09/1800.40	|   3491573 |    1434    43075    90373 |    27980    25166    103 | 43.999 % |
1800.09/1800.40	|   3493281 |    1434    43075    90373 |    30778    26874    101 | 43.999 % |
1800.09/1800.40	|   3495843 |    1434    43075    90373 |    33856    29436     98 | 43.999 % |
1800.09/1800.40	|   3499687 |    1434    43075    90373 |    37241    33280     95 | 43.999 % |
1800.09/1800.40	|   3505453 |    1434    43075    90373 |    40966    39046     91 | 43.999 % |
1800.09/1800.40	|   3514102 |    1434    43075    90373 |    45062    47695     88 | 43.999 % |
1800.09/1800.40	|   3527076 |    1434    43075    90373 |    49568    26038     95 | 43.999 % |
1800.09/1800.40	|   3546537 |    1419    43075    90373 |    54525    45478     81 | 44.054 % |
1800.09/1800.40	|   3575729 |    1419    43075    90373 |    59978    32007     87 | 44.054 % |
1800.09/1800.40	|   3619518 |    1418    43075    90373 |    65976    28438     87 | 44.058 % |
1800.09/1800.40	|   3685202 |    1407    43075    90373 |    72573    41782     83 | 44.099 % |
1800.09/1800.40	|   3783728 |    1394    43075    90373 |    79831    82222     74 | 44.147 % |
1800.09/1800.40	|   3931517 |    1366    43075    90373 |    87814    32054    103 | 44.250 % |
1800.09/1800.40	|   4153200 |    1364    43075    90373 |    96595    28431     90 | 44.257 % |
1800.09/1800.40	|   4485725 |    1363    43075    90373 |   106255    28497    107 | 44.261 % |
1800.09/1800.40	|   4984513 |    1357    43075    90373 |   116880    57278     88 | 44.283 % |
1800.09/1800.40	|   5732695 |    1355    43075    90373 |   128568    79720    110 | 44.290 % |
1800.09/1800.40	|   6854969 |    1332    43075    90373 |   141425    80199     69 | 44.375 % |
1800.09/1800.40	|   8538380 |    1323    43075    90373 |   155568   105719    100 | 44.408 % |
1800.09/1800.40	c 
1800.09/1800.40	c *** TERMINATED ***
1800.09/1800.40	s SATISFIABLE
1800.09/1800.40	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

Verifier Data 

OK	-39

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-4112541-1466539720/watcher-4112541-1466539720 -o /tmp/evaluation-result-4112541-1466539720/solver-4112541-1466539720 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466515259-25745 --watchdog 1960 minisatp HOME/instance-4112541-1466539720.opb 

pid=29966
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.05 2.04 2.00 3/176 29969
/proc/meminfo: memFree=31713040/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=6456 CPUtime=0 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 314 0 0 0 0 0 0 0 20 0 1 0 56018610 6610944 191 33554432000 4194304 5646918 140735955670224 140735822612024 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 1614 191 94 355 0 1255 0

[startup+0.100174 s]
/proc/loadavg: 2.05 2.04 2.00 3/176 29969
/proc/meminfo: memFree=31713040/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=12168 CPUtime=0.09 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 1737 0 0 0 9 0 0 0 20 0 1 0 56018610 12460032 1614 33554432000 4194304 5646918 140735955670224 140735822612024 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 3042 1614 94 355 0 2683 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12168

[startup+0.200317 s]
/proc/loadavg: 2.05 2.04 2.00 3/176 29969
/proc/meminfo: memFree=31713040/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=18280 CPUtime=0.19 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 3269 0 0 0 19 0 0 0 20 0 1 0 56018610 18718720 3146 33554432000 4194304 5646918 140735955670224 140735822612024 4251320 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 4570 3146 94 355 0 4211 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18280

[startup+0.300293 s]
/proc/loadavg: 2.05 2.04 2.00 3/176 29969
/proc/meminfo: memFree=31713040/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=24348 CPUtime=0.29 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 4797 0 0 0 29 0 0 0 20 0 1 0 56018610 24932352 4674 33554432000 4194304 5646918 140735955670224 140735822612024 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 6120 4675 94 355 0 5761 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24348

[startup+0.700271 s]
/proc/loadavg: 2.05 2.04 2.00 3/176 29969
/proc/meminfo: memFree=31713040/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=37104 CPUtime=0.68 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 9532 0 0 0 66 2 0 0 20 0 1 0 56018610 37994496 8715 33554432000 4194304 5646918 140735955670224 140735955668296 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 9276 8715 154 355 0 8917 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 37104

[startup+1.50025 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 29970
/proc/meminfo: memFree=31678236/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=40328 CPUtime=1.48 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 10015 0 0 0 146 2 0 0 20 0 1 0 56018610 41295872 9184 33554432000 4194304 5646918 140735955670224 140735955668296 4403544 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 10082 9184 156 355 0 9723 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 40328

[startup+3.10026 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 29970
/proc/meminfo: memFree=31673896/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=47468 CPUtime=3.08 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 11407 0 0 0 305 3 0 0 20 0 1 0 56018610 48607232 11075 33554432000 4194304 5646918 140735955670224 140735955668504 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 11867 11075 157 355 0 11508 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 47468

[startup+6.30028 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 29970
/proc/meminfo: memFree=31660484/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=66324 CPUtime=6.28 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 12127 0 0 0 625 3 0 0 20 0 1 0 56018610 67915776 13325 33554432000 4194304 5646918 140735955670224 140735955668920 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 16581 13325 157 355 0 16222 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 66324

[startup+12.7003 s]
/proc/loadavg: 2.12 2.05 2.01 3/177 29970
/proc/meminfo: memFree=31642032/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=85292 CPUtime=12.69 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 12967 0 0 0 1265 4 0 0 20 0 1 0 56018610 87339008 18243 33554432000 4194304 5646918 140735955670224 140735955668920 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 21323 18243 157 355 0 20964 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 85292

[startup+25.5004 s]
/proc/loadavg: 2.10 2.05 2.01 3/177 29970
/proc/meminfo: memFree=31643792/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=66324 CPUtime=25.48 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 17310 0 0 0 2542 6 0 0 20 0 1 0 56018610 67915776 14396 33554432000 4194304 5646918 140735955670224 140735955668920 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 16581 14396 157 355 0 16222 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 66324

[startup+51.1004 s]
/proc/loadavg: 2.06 2.05 2.00 3/177 29970
/proc/meminfo: memFree=31618948/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=96496 CPUtime=51.06 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 19511 0 0 0 5097 9 0 0 20 0 1 0 56018610 98811904 20471 33554432000 4194304 5646918 140735955670224 140735955668520 4402840 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 24124 20471 157 355 0 23765 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 96496

[startup+102.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/178 30030
/proc/meminfo: memFree=31534468/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=146284 CPUtime=102.26 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 23081 0 0 0 10212 14 0 0 20 0 1 0 56018610 149794816 28772 33554432000 4194304 5646918 140735955670224 140735955668920 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 36571 28772 157 355 0 36212 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 146284

[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 30031
/proc/meminfo: memFree=31587448/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=106552 CPUtime=162.24 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 27213 0 0 0 16204 20 0 0 20 0 1 0 56018610 109109248 25879 33554432000 4194304 5646918 140735955670224 140735955668520 4402880 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 26638 25879 157 355 0 26279 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 106552

[startup+222.307 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 30032
/proc/meminfo: memFree=31552652/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=106552 CPUtime=222.24 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 31449 0 0 0 22198 26 0 0 20 0 1 0 56018610 109109248 23833 33554432000 4194304 5646918 140735955670224 140735955668936 4397505 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 26638 23833 157 355 0 26279 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 106552

[startup+282.3 s]
/proc/loadavg: 2.10 2.05 2.01 4/177 30034
/proc/meminfo: memFree=31572472/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=106552 CPUtime=282.23 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 34527 0 0 0 28192 31 0 0 20 0 1 0 56018610 109109248 24857 33554432000 4194304 5646918 140735955670224 140735955668520 4403454 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 26638 24857 157 355 0 26279 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 106552

[startup+342.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/177 30035
/proc/meminfo: memFree=31524036/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=106552 CPUtime=342.22 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 36998 0 0 0 34187 35 0 0 20 0 1 0 56018610 109109248 24857 33554432000 4194304 5646918 140735955670224 140735955668520 4403159 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 26638 24857 157 355 0 26279 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 106552

[startup+402.3 s]
/proc/loadavg: 2.11 2.06 2.00 3/177 30036
/proc/meminfo: memFree=31519868/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=125520 CPUtime=402.21 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 39428 0 0 0 40182 39 0 0 20 0 1 0 56018610 128532480 27971 33554432000 4194304 5646918 140735955670224 140735955668920 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 31380 27971 157 355 0 31021 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 125520

[startup+462.3 s]
/proc/loadavg: 2.16 2.08 2.01 3/177 30037
/proc/meminfo: memFree=31509664/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=125520 CPUtime=462.2 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 42132 0 0 0 46177 43 0 0 20 0 1 0 56018610 128532480 30019 33554432000 4194304 5646918 140735955670224 140735955668920 4416602 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 31380 30019 157 355 0 31021 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 125520

[startup+522.3 s]
/proc/loadavg: 2.06 2.06 2.00 3/177 30038
/proc/meminfo: memFree=31533164/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=106548 CPUtime=522.19 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 43195 0 0 0 52174 45 0 0 20 0 1 0 56018610 109105152 21972 33554432000 4194304 5646918 140735955670224 140735955668936 4402821 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 26637 21972 157 355 0 26278 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 106548

[startup+582.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/177 30040
/proc/meminfo: memFree=31581396/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=106548 CPUtime=582.18 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 43957 0 0 0 58171 47 0 0 20 0 1 0 56018610 109105152 21972 33554432000 4194304 5646918 140735955670224 140735955668936 4402827 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 26637 21972 157 355 0 26278 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 106548


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


[startup+882.307 s]
/proc/loadavg: 2.04 2.06 2.00 3/177 30049
/proc/meminfo: memFree=31564032/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=106548 CPUtime=882.13 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 46288 0 0 0 88160 53 0 0 20 0 1 0 56018610 109105152 26275 33554432000 4194304 5646918 140735955670224 140735955668936 4403043 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 26637 26275 158 355 0 26278 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 106548

[startup+942.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/177 30050
/proc/meminfo: memFree=31527748/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=106548 CPUtime=942.13 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 47051 0 0 0 94157 56 0 0 20 0 1 0 56018610 109105152 26275 33554432000 4194304 5646918 140735955670224 140735955668936 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 26637 26275 158 355 0 26278 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 106548

[startup+1002.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/177 30051
/proc/meminfo: memFree=31569628/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=106548 CPUtime=1002.11 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 47625 0 0 0 100154 57 0 0 20 0 1 0 56018610 109105152 26275 33554432000 4194304 5646918 140735955670224 140735955668936 4403454 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 26637 26275 158 355 0 26278 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 106548

[startup+1062.3 s]
/proc/loadavg: 2.02 2.05 2.00 4/177 30052
/proc/meminfo: memFree=31501672/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=155868 CPUtime=1062.1 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 48395 0 0 0 106150 60 0 0 20 0 1 0 56018610 159608832 37201 33554432000 4194304 5646918 140735955670224 140735955668520 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 38967 37201 158 355 0 38608 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 155868

[startup+1122.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 30053
/proc/meminfo: memFree=31511232/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=106548 CPUtime=1122.09 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 48779 0 0 0 112148 61 0 0 20 0 1 0 56018610 109105152 26275 33554432000 4194304 5646918 140735955670224 140735955668936 4402774 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 26637 26275 158 355 0 26278 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 106548

[startup+1182.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/177 30055
/proc/meminfo: memFree=31545240/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=106548 CPUtime=1182.09 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 49351 0 0 0 118146 63 0 0 20 0 1 0 56018610 109105152 26275 33554432000 4194304 5646918 140735955670224 140735955668936 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 26637 26275 158 355 0 26278 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 106548

[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 30056
/proc/meminfo: memFree=31512900/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=106548 CPUtime=1242.08 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 49923 0 0 0 124144 64 0 0 20 0 1 0 56018610 109105152 26275 33554432000 4194304 5646918 140735955670224 140735955668936 4403173 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 26637 26275 158 355 0 26278 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 106548

[startup+1302.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/178 30060
/proc/meminfo: memFree=31532104/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=106548 CPUtime=1302.07 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 50503 0 0 0 130141 66 0 0 20 0 1 0 56018610 109105152 26275 33554432000 4194304 5646918 140735955670224 140735955668936 4389083 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 26637 26275 158 355 0 26278 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 106548

[startup+1362.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 30061
/proc/meminfo: memFree=31449028/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=155868 CPUtime=1362.06 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 51085 0 0 0 136138 68 0 0 20 0 1 0 56018610 159608832 34641 33554432000 4194304 5646918 140735955670224 140735955668520 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 38967 34641 158 355 0 38608 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 155868

[startup+1422.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/177 30062
/proc/meminfo: memFree=31532324/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=106548 CPUtime=1422.05 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 51481 0 0 0 142136 69 0 0 20 0 1 0 56018610 109105152 26275 33554432000 4194304 5646918 140735955670224 140735955668936 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 26637 26275 158 355 0 26278 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 106548

[startup+1482.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/177 30064
/proc/meminfo: memFree=31502048/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=155868 CPUtime=1482.04 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 52057 0 0 0 148133 71 0 0 20 0 1 0 56018610 159608832 34641 33554432000 4194304 5646918 140735955670224 140735955668520 4402829 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 38967 34641 158 355 0 38608 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 155868

[startup+1542.31 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 30065
/proc/meminfo: memFree=31520900/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=118516 CPUtime=1542.03 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 52892 0 0 0 154131 72 0 0 20 0 1 0 56018610 121360384 29267 33554432000 4194304 5646918 140735955670224 140735955668936 4403136 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 29629 29267 158 355 0 29270 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 118516

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 30066
/proc/meminfo: memFree=31489080/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=118516 CPUtime=1602.03 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 53875 0 0 0 160128 75 0 0 20 0 1 0 56018610 121360384 29267 33554432000 4194304 5646918 140735955670224 140735955668936 4403164 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 29629 29267 158 355 0 29270 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 118516

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 30067
/proc/meminfo: memFree=31472212/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=198656 CPUtime=1662.01 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 55283 0 0 0 166124 77 0 0 20 0 1 0 56018610 203423744 41630 33554432000 4194304 5646918 140735955670224 140735955668520 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 49664 41630 158 355 0 49305 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 198656

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 30068
/proc/meminfo: memFree=31483500/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=167836 CPUtime=1722 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 55845 0 0 0 172121 79 0 0 20 0 1 0 56018610 171864064 39169 33554432000 4194304 5646918 140735955670224 140735955668520 4402829 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 41959 39169 158 355 0 41600 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 167836

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30070
/proc/meminfo: memFree=31477904/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=167836 CPUtime=1782 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 56238 0 0 0 178119 81 0 0 20 0 1 0 56018610 171864064 39681 33554432000 4194304 5646918 140735955670224 140735955668520 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 41959 39681 158 355 0 41600 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 167836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30070
/proc/meminfo: memFree=31519360/32872528 swapFree=303544/319896
[pid=29969] ppid=29966 vsize=118516 CPUtime=1800.09 cores=0,2,4,6
/proc/29969/stat : 29969 (minisatp) R 29966 29969 25729 0 -1 4202496 56241 0 0 0 179928 81 0 0 20 0 1 0 56018610 121360384 29267 33554432000 4194304 5646918 140735955670224 140735955668936 4402736 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/29969/statm: 29629 29267 158 355 0 29270 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 118516

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0
Real time (s): 1800.4
CPU time (s): 1800.1
CPU user time (s): 1799.29
CPU system time (s): 0.812876
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 198656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.812876
maximum resident set size= 193808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56241
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= 27
involuntary context switches= 1995

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.25435 second user time and 7.46586 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-21 22:08:40
IDJOB=4112541
IDBENCH=2240
IDSOLVER=2555
FILE ID=node128/4112541-1466539720
RUNJOBID= node128-1466515259-25745
PBS_JOBID= 19942886
Free space on /tmp= 71700 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-5.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112541-1466539720/watcher-4112541-1466539720 -o /tmp/evaluation-result-4112541-1466539720/solver-4112541-1466539720 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466515259-25745 --watchdog 1960  minisatp HOME/instance-4112541-1466539720.opb

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

MD5SUM BENCH= f408a60720d5bae3e36cea0c41e2f7f1
RANDOM SEED=2047046638

node128.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.768
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.53
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.768
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.768
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.56
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.768
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.55
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.768
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.57
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.768
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.56
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.768
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.56
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.768
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31713600 kB
Buffers:           17164 kB
Cached:            67364 kB
SwapCached:         2172 kB
Active:            75448 kB
Inactive:          58080 kB
Active(anon):      49972 kB
Inactive(anon):     1820 kB
Active(file):      25476 kB
Inactive(file):    56260 kB
Unevictable:      319896 kB
Mlocked:          303544 kB
SwapTotal:      67108856 kB
SwapFree:       67098916 kB
Dirty:              9036 kB
Writeback:             0 kB
AnonPages:        370692 kB
Mapped:             8780 kB
Shmem:                 0 kB
Slab:             572292 kB
SReclaimable:      15796 kB
SUnreclaim:       556496 kB
KernelStack:        1432 kB
PageTables:         4760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     501780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 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-4112541-1466539720.opb

Free space on /tmp at the end= 71696 MiB
End job on node128 at 2016-06-21 22:38:40