Trace number 4112535

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)-34 1800.01 1800.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
MD5SUM907943cf03e4e0f899b19858f5690e6e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-35
Best CPU time to get the best result obtained on this benchmark65.593
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -35
Optimality of the best value was proved NO
Number of variables595
Total number of constraints27847
Number of constraints which are clauses27847
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 595
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 595
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 595
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.18/0.26	c Converting 27847 PB-constraints to clauses...
0.18/0.27	c   -- Unit propagations: (none)
0.18/0.27	c   -- Detecting intervals from adjacent constraints: (none)
0.18/0.27	c   -- Clauses(.)/Splits(s): .......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.28/0.30	============================[ Search Statistics ]==============================
0.28/0.30	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.28/0.30	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.28/0.30	===============================================================================
0.28/0.30	===============================================================================
0.28/0.30	c Found solution: -24
0.28/0.31	c ---[   0]---> Sorter-cost:26814     Base:
0.38/0.47	|  Eliminated clauses:           0.29 Mb                                      |
0.38/0.47	============================[ Search Statistics ]==============================
0.38/0.47	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.38/0.47	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.38/0.47	===============================================================================
0.38/0.47	|       100 |   10189    48394   141446 |    17744       88     31 |  0.730 % |
0.38/0.47	|       250 |   10097    48394   141446 |    19518      230     44 |  1.205 % |
0.38/0.47	===============================================================================
0.38/0.47	c Found solution: -26
0.38/0.47	c ---[   0]---> Sorter-cost:    0     Base:
1.09/1.19	|  Eliminated clauses:           0.29 Mb                                      |
1.09/1.19	============================[ Search Statistics ]==============================
1.09/1.19	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.09/1.19	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.09/1.19	===============================================================================
1.09/1.19	|       410 |    9967    47871   139469 |    17552      384     62 |  1.717 % |
1.09/1.19	|       560 |    9832    47871   139469 |    19307      501     60 |  2.414 % |
1.09/1.19	|       785 |    9729    47871   139469 |    21238      710     61 |  2.945 % |
1.09/1.19	|      1122 |    9662    47871   139469 |    23362     1043     68 |  3.290 % |
1.09/1.19	|      1628 |    9263    47871   139469 |    25698     1524     60 |  5.349 % |
1.09/1.19	|      2387 |    8605    47871   139469 |    28268     2214     56 |  8.742 % |
1.09/1.19	|      3526 |    8207    47871   139469 |    31095     3317     60 | 10.794 % |
1.09/1.19	|      5234 |    7482    47871   139469 |    34205     4905     63 | 14.534 % |
1.19/1.24	===============================================================================
1.19/1.24	c Found solution: -27
1.19/1.24	c ---[   0]---> Sorter-cost:    0     Base:
1.58/1.67	|  Eliminated clauses:           0.31 Mb                                      |
1.58/1.67	============================[ Search Statistics ]==============================
1.58/1.67	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.58/1.67	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.58/1.67	===============================================================================
1.58/1.67	|      7575 |    6847    41117   110286 |    15076     7185     77 | 16.890 % |
1.58/1.67	|      7725 |    6834    41117   110286 |    16583     7334     76 | 16.955 % |
1.58/1.67	|      7950 |    6800    41117   110286 |    18242     7513     79 | 17.128 % |
1.58/1.67	|      8287 |    6766    41117   110286 |    20066     7848     79 | 17.301 % |
1.58/1.67	|      8793 |    6739    41117   110286 |    22073     8351     80 | 17.438 % |
1.58/1.67	|      9552 |    6576    41117   110286 |    24280     9099     81 | 18.266 % |
1.58/1.67	|     10691 |    6498    41117   110286 |    26708    10184     86 | 18.662 % |
1.58/1.67	===============================================================================
1.58/1.67	c Found solution: -28
1.58/1.67	c ---[   0]---> Sorter-cost:    0     Base:
3.19/3.21	|  Eliminated clauses:           0.31 Mb                                      |
3.19/3.21	============================[ Search Statistics ]==============================
3.19/3.21	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.19/3.21	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.19/3.21	===============================================================================
3.19/3.21	|     11802 |    6235    39786   104769 |    14588    11283     87 | 19.594 % |
3.19/3.21	|     11952 |    6195    39786   104769 |    16047    11429     87 | 19.797 % |
3.19/3.21	|     12177 |    6166    39786   104769 |    17651    11652     87 | 19.944 % |
3.19/3.21	|     12514 |    6150    39786   104769 |    19416    11988     89 | 20.025 % |
3.19/3.21	|     13020 |    6053    39786   104769 |    21358    12488     91 | 20.518 % |
3.19/3.21	|     13779 |    6038    39786   104769 |    23494    13246     93 | 20.594 % |
3.19/3.21	|     14918 |    5877    39786   104769 |    25843    14173     95 | 21.412 % |
3.19/3.21	|     16626 |    5746    39786   104769 |    28428    15872     96 | 22.077 % |
3.19/3.21	|     19188 |    5588    39786   104769 |    31271    18426    105 | 22.879 % |
3.19/3.21	|     23032 |    5553    39786   104769 |    34398    21998    111 | 23.057 % |
3.19/3.21	===============================================================================
3.19/3.21	c Found solution: -29
3.19/3.21	c ---[   0]---> Sorter-cost:    0     Base:
5.28/5.36	|  Eliminated clauses:           0.31 Mb                                      |
5.28/5.36	============================[ Search Statistics ]==============================
5.28/5.36	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
5.28/5.36	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
5.28/5.36	===============================================================================
5.28/5.36	|     23781 |    5467    38143    98007 |    13985    11424    104 | 23.035 % |
5.28/5.36	|     23931 |    5466    38143    98007 |    15384    11573    105 | 23.040 % |
5.28/5.36	|     24156 |    5453    38143    98007 |    16922    11797    105 | 23.105 % |
5.28/5.36	|     24493 |    5453    38143    98007 |    18615    12134    105 | 23.105 % |
5.28/5.36	|     24999 |    5453    38143    98007 |    20476    12640    107 | 23.105 % |
5.28/5.36	|     25758 |    5356    38143    98007 |    22524    13394    109 | 23.597 % |
5.28/5.36	|     26897 |    5314    38143    98007 |    24776    14531    113 | 23.810 % |
5.28/5.36	|     28605 |    5194    38143    98007 |    27254    16234    115 | 24.418 % |
5.28/5.36	|     31167 |    5002    38143    98007 |    29979    18784    118 | 25.390 % |
5.28/5.36	|     35011 |    4886    38143    98007 |    32977    22484    122 | 25.978 % |
5.28/5.36	===============================================================================
5.28/5.36	c Found solution: -30
5.28/5.36	c ---[   0]---> Sorter-cost:    0     Base:
38.67/38.71	|  Eliminated clauses:           0.32 Mb                                      |
38.67/38.71	============================[ Search Statistics ]==============================
38.67/38.71	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
38.67/38.71	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
38.67/38.71	===============================================================================
38.67/38.71	|     39755 |    4625    36356    90613 |    13330    13658    110 | 26.845 % |
38.67/38.71	|     39905 |    4603    36356    90613 |    14663    13807    109 | 26.956 % |
38.67/38.71	|     40130 |    4603    36356    90613 |    16129    14032    110 | 26.956 % |
38.67/38.71	|     40467 |    4603    36356    90613 |    17742    14369    110 | 26.956 % |
38.67/38.71	|     40973 |    4603    36356    90613 |    19517    14875    110 | 26.956 % |
38.67/38.71	|     41732 |    4595    36356    90613 |    21468    15633    111 | 26.997 % |
38.67/38.71	|     42871 |    4551    36356    90613 |    23615    16770    113 | 27.220 % |
38.67/38.71	|     44579 |    4551    36356    90613 |    25977    18478    114 | 27.219 % |
38.67/38.71	|     47141 |    4486    36356    90613 |    28575    21035    118 | 27.549 % |
38.67/38.71	|     50985 |    4429    36356    90613 |    31432    24874    121 | 27.837 % |
38.67/38.71	|     56751 |    4375    36356    90613 |    34575    30592    127 | 28.111 % |
38.67/38.71	|     65400 |    4212    36356    90613 |    38033    39228    133 | 28.936 % |
38.67/38.71	|     78374 |    4092    36356    90613 |    41836    27954    119 | 29.544 % |
38.67/38.71	|     97835 |    3969    36356    90613 |    46020    47351    134 | 30.167 % |
38.67/38.71	|    127027 |    3709    36356    90613 |    50622    44177    133 | 31.483 % |
38.67/38.71	|    170816 |    3445    36356    90613 |    55684    47575    146 | 32.820 % |
38.67/38.71	===============================================================================
38.67/38.71	c Found solution: -31
38.67/38.71	c ---[   0]---> Sorter-cost:    0     Base:
59.17/59.23	|  Eliminated clauses:           0.32 Mb                                      |
59.17/59.23	============================[ Search Statistics ]==============================
59.17/59.23	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
59.17/59.23	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
59.17/59.23	===============================================================================
59.17/59.23	|    217293 |    3090    33140    77568 |    12151    10508    121 | 34.729 % |
59.17/59.23	|    217443 |    3090    33140    77568 |    13366    10658    121 | 34.730 % |
59.17/59.23	|    217668 |    3090    33140    77568 |    14703    10883    121 | 34.729 % |
59.17/59.23	|    218005 |    3090    33140    77568 |    16173    11220    120 | 34.730 % |
59.17/59.23	|    218511 |    3090    33140    77568 |    17790    11726    122 | 34.729 % |
59.17/59.23	|    219270 |    3090    33140    77568 |    19569    12485    123 | 34.729 % |
59.17/59.23	|    220409 |    3065    33140    77568 |    21526    13622    122 | 34.853 % |
59.17/59.23	|    222117 |    3042    33140    77568 |    23679    15328    122 | 34.966 % |
59.17/59.23	|    224679 |    3029    33140    77568 |    26047    17889    123 | 35.030 % |
59.17/59.23	|    228523 |    3012    33140    77568 |    28652    21732    124 | 35.114 % |
59.17/59.23	|    234289 |    2991    33140    77568 |    31517    27496    127 | 35.217 % |
59.17/59.23	|    242938 |    2943    33140    77568 |    34669    36141    129 | 35.454 % |
59.17/59.23	|    255912 |    2915    33140    77568 |    38136    26264    124 | 35.592 % |
59.17/59.23	|    275373 |    2697    33140    77568 |    41949    20991    103 | 36.666 % |
59.17/59.23	|    304565 |    2640    33140    77568 |    46144    50120    129 | 36.947 % |
59.17/59.23	===============================================================================
59.17/59.23	c Found solution: -32
59.17/59.23	c ---[   0]---> Sorter-cost:    0     Base:
247.04/247.12	|  Eliminated clauses:           0.33 Mb                                      |
247.04/247.12	============================[ Search Statistics ]==============================
247.04/247.12	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
247.04/247.12	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
247.04/247.12	===============================================================================
247.04/247.12	|    337802 |    2525    31919    72597 |    11703     9987    133 | 37.170 % |
247.04/247.12	|    337952 |    2525    31919    72597 |    12873    10137    132 | 37.170 % |
247.04/247.12	|    338177 |    2525    31919    72597 |    14161    10362    132 | 37.170 % |
247.04/247.12	|    338514 |    2511    31919    72597 |    15577    10698    131 | 37.239 % |
247.04/247.12	|    339020 |    2486    31919    72597 |    17135    11202    131 | 37.362 % |
247.04/247.12	|    339779 |    2469    31919    72597 |    18848    11960    130 | 37.446 % |
247.04/247.12	|    340918 |    2451    31919    72597 |    20733    13098    129 | 37.535 % |
247.04/247.12	|    342626 |    2440    31919    72597 |    22807    14805    127 | 37.589 % |
247.04/247.12	|    345188 |    2440    31919    72597 |    25087    17367    128 | 37.589 % |
247.04/247.12	|    349032 |    2438    31919    72597 |    27596    21210    127 | 37.599 % |
247.04/247.12	|    354798 |    2437    31919    72597 |    30356    26975    128 | 37.604 % |
247.04/247.12	|    363447 |    2428    31919    72597 |    33391    35623    130 | 37.648 % |
247.04/247.12	|    376421 |    2389    31919    72597 |    36731    26027    124 | 37.840 % |
247.04/247.12	|    395882 |    2340    31919    72597 |    40404    20676    109 | 38.081 % |
247.04/247.12	|    425074 |    2285    31919    72597 |    44444    20501    112 | 38.352 % |
247.04/247.12	|    468863 |    2236    31919    72597 |    48888    31430    113 | 38.594 % |
247.04/247.12	|    534547 |    2084    31919    72597 |    53777    24705    110 | 39.343 % |
247.04/247.12	|    633073 |    2001    31919    72597 |    59155    38655    121 | 39.752 % |
247.04/247.12	|    780862 |    1900    31919    72597 |    65071    41648    104 | 40.249 % |
247.04/247.12	|   1002545 |    1820    31919    72597 |    71578    49651    103 | 40.644 % |
247.04/247.12	|   1335070 |    1709    31919    72597 |    78736    38362     87 | 41.190 % |
247.04/247.12	===============================================================================
247.04/247.12	c Found solution: -33
247.04/247.12	c ---[   0]---> Sorter-cost:    0     Base:
1517.14/1517.43	|  Eliminated clauses:           0.33 Mb                                      |
1517.14/1517.43	============================[ Search Statistics ]==============================
1517.14/1517.43	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1517.14/1517.43	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1517.14/1517.43	===============================================================================
1517.14/1517.43	|   1411914 |    1607    29995    65179 |    10998    17633    108 | 41.195 % |
1517.14/1517.43	|   1412064 |    1607    29995    65179 |    12097    17783    108 | 41.195 % |
1517.14/1517.43	|   1412289 |    1607    29995    65179 |    13307    18008    108 | 41.195 % |
1517.14/1517.43	|   1412626 |    1607    29995    65179 |    14638    18345    107 | 41.195 % |
1517.14/1517.43	|   1413132 |    1607    29995    65179 |    16102    18851    107 | 41.195 % |
1517.14/1517.43	|   1413891 |    1607    29995    65179 |    17712    19610    106 | 41.195 % |
1517.14/1517.43	|   1415030 |    1607    29995    65179 |    19483    20749    106 | 41.195 % |
1517.14/1517.43	|   1416738 |    1607    29995    65179 |    21432    22457    104 | 41.195 % |
1517.14/1517.43	|   1419300 |    1607    29995    65179 |    23575    25019    103 | 41.195 % |
1517.14/1517.43	|   1423144 |    1607    29995    65179 |    25933    28863    103 | 41.195 % |
1517.14/1517.43	|   1428910 |    1607    29995    65179 |    28526    34629    101 | 41.195 % |
1517.14/1517.43	|   1437559 |    1606    29995    65179 |    31379    22470    108 | 41.200 % |
1517.14/1517.43	|   1450533 |    1591    29995    65179 |    34516    35442    103 | 41.274 % |
1517.14/1517.43	|   1469994 |    1556    29995    65179 |    37968    29052     99 | 41.446 % |
1517.14/1517.43	|   1499186 |    1547    29995    65179 |    41765    31101     97 | 41.490 % |
1517.14/1517.43	|   1542975 |    1540    29995    65179 |    45942    43919     90 | 41.524 % |
1517.14/1517.43	|   1608659 |    1533    29995    65179 |    50536    40408     89 | 41.558 % |
1517.14/1517.43	|   1707185 |    1524    29995    65179 |    55589    57307     96 | 41.602 % |
1517.14/1517.43	|   1854974 |    1514    29995    65179 |    61148    33558     88 | 41.652 % |
1517.14/1517.43	|   2076657 |    1504    29995    65179 |    67263    53029     84 | 41.701 % |
1517.14/1517.43	|   2409182 |    1483    29995    65179 |    73990    59632     92 | 41.804 % |
1517.14/1517.43	|   2907970 |    1440    29995    65179 |    81389    55438     84 | 42.015 % |
1517.14/1517.43	|   3656152 |    1378    29995    65179 |    89528    47727     77 | 42.319 % |
1517.14/1517.43	|   4778426 |    1337    29995    65179 |    98480    93800     78 | 42.520 % |
1517.14/1517.43	|   6461837 |    1276    29995    65179 |   108329    70316    132 | 42.819 % |
1517.14/1517.43	|   8986953 |    1209    29995    65179 |   119161    62802     65 | 43.148 % |
1517.14/1517.43	===============================================================================
1517.14/1517.43	c Found solution: -34
1517.14/1517.44	c ---[   0]---> Sorter-cost:    0     Base:
1800.00/1800.30	|  Eliminated clauses:           0.33 Mb                                      |
1800.00/1800.30	============================[ Search Statistics ]==============================
1800.00/1800.30	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.00/1800.30	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.00/1800.30	===============================================================================
1800.00/1800.30	|   9111617 |    1141    29002    61341 |    10634    11454    119 | 43.156 % |
1800.00/1800.30	|   9111767 |    1141    29002    61341 |    11697    11604    118 | 43.156 % |
1800.00/1800.30	|   9111992 |    1141    29002    61341 |    12867    11829    117 | 43.156 % |
1800.00/1800.30	|   9112329 |    1141    29002    61341 |    14153    12166    116 | 43.156 % |
1800.00/1800.30	|   9112835 |    1141    29002    61341 |    15569    12672    114 | 43.156 % |
1800.00/1800.30	|   9113594 |    1133    29002    61341 |    17126    13430    111 | 43.195 % |
1800.00/1800.30	|   9114733 |    1133    29002    61341 |    18838    14569    108 | 43.195 % |
1800.00/1800.30	|   9116441 |    1133    29002    61341 |    20722    16277    103 | 43.195 % |
1800.00/1800.30	|   9119003 |    1133    29002    61341 |    22795    18839     99 | 43.195 % |
1800.00/1800.30	|   9122847 |    1133    29002    61341 |    25074    22683     94 | 43.195 % |
1800.00/1800.30	|   9128613 |    1133    29002    61341 |    27582    28449     89 | 43.195 % |
1800.00/1800.30	|   9137262 |    1133    29002    61341 |    30340    17798     93 | 43.195 % |
1800.00/1800.30	|   9150236 |    1123    29002    61341 |    33374    30771     79 | 43.244 % |
1800.00/1800.30	|   9169697 |    1123    29002    61341 |    36711    27022     77 | 43.244 % |
1800.00/1800.30	|   9198889 |    1123    29002    61341 |    40382    31510     74 | 43.244 % |
1800.00/1800.30	|   9242678 |    1123    29002    61341 |    44421    46048     68 | 43.244 % |
1800.00/1800.30	|   9308362 |    1116    29002    61341 |    48863    49468     66 | 43.278 % |
1800.00/1800.30	|   9406888 |    1084    29002    61341 |    53749    38700     63 | 43.435 % |
1800.00/1800.30	|   9554677 |    1084    29002    61341 |    59124    23288     68 | 43.435 % |
1800.00/1800.30	|   9776360 |    1083    29002    61341 |    65036    26711     72 | 43.440 % |
1800.00/1800.30	|  10108885 |    1082    29002    61341 |    71540    60763     55 | 43.445 % |
1800.00/1800.30	|  10607673 |    1082    29002    61341 |    78694    55664     63 | 43.445 % |
1800.00/1800.30	|  11355855 |    1053    29002    61341 |    86564    57255     67 | 43.587 % |
1800.00/1800.30	c 
1800.00/1800.30	c *** TERMINATED ***
1800.00/1800.30	s SATISFIABLE
1800.00/1800.30	v -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	-34

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

pid=30179
running on 4 cores: 1,3,5,7

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

[startup+0 s]
/proc/loadavg: 1.97 1.99 1.99 3/176 30182
/proc/meminfo: memFree=31673600/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=24328 CPUtime=0 cores=1,3,5,7
/proc/30182/stat : 30182 (runsolver) R 30179 25729 25729 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 1 0 56205460 24911872 50 33554432000 4194304 4338465 140735709888224 140735709885760 262962572144 0 0 4096 24578 0 0 0 17 7 0 0 0 0 0
/proc/30182/statm: 6082 50 3 36 0 2655 0
Current StackSize limit: 10240 KiB


[startup+0.100156 s]
/proc/loadavg: 1.97 1.99 1.99 3/176 30182
/proc/meminfo: memFree=31673600/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=11868 CPUtime=0.08 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 1680 0 0 0 8 0 0 0 20 0 1 0 56205460 12152832 1557 33554432000 4194304 5646918 140736590626176 140736590625432 4953072 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/30182/statm: 2967 1557 94 355 0 2608 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11868

[startup+0.200341 s]
/proc/loadavg: 1.97 1.99 1.99 3/176 30182
/proc/meminfo: memFree=31673600/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=18068 CPUtime=0.18 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 3209 0 0 0 18 0 0 0 20 0 1 0 56205460 18501632 3086 33554432000 4194304 5646918 140736590626176 140736590625432 4953072 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/30182/statm: 4517 3086 94 355 0 4158 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 18068

[startup+0.300304 s]
/proc/loadavg: 1.97 1.99 1.99 3/176 30182
/proc/meminfo: memFree=31673600/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=24284 CPUtime=0.28 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 4839 0 0 0 27 1 0 0 20 0 1 0 56205460 24866816 5227 33554432000 4194304 5646918 140736590626176 140736590625432 4438223 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/30182/statm: 6071 5227 114 355 0 5712 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 24284

[startup+0.700249 s]
/proc/loadavg: 1.97 1.99 1.99 3/176 30182
/proc/meminfo: memFree=31673600/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=26644 CPUtime=0.68 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 6526 0 0 0 67 1 0 0 20 0 1 0 56205460 27283456 6186 33554432000 4194304 5646918 140736590626176 140736590623768 4402829 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/30182/statm: 6661 6186 155 355 0 6302 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 26644

[startup+1.50024 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 30183
/proc/meminfo: memFree=31648476/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=29348 CPUtime=1.48 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 7250 0 0 0 146 2 0 0 20 0 1 0 56205460 30052352 6899 33554432000 4194304 5646918 140736590626176 140736590624456 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 7337 6899 157 355 0 6978 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 29348

[startup+3.10029 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 30183
/proc/meminfo: memFree=31643516/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=36488 CPUtime=3.09 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 8377 0 0 0 306 3 0 0 20 0 1 0 56205460 37363712 8530 33554432000 4194304 5646918 140736590626176 140736590624872 4403147 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 9122 8531 157 355 0 8763 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 36488

[startup+6.30026 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 30183
/proc/meminfo: memFree=31643640/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=44500 CPUtime=6.29 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 10695 0 0 0 625 4 0 0 20 0 1 0 56205460 45568000 8902 33554432000 4194304 5646918 140736590626176 140736590624424 4403136 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 11125 8902 157 355 0 10766 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44500

[startup+12.7003 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 30183
/proc/meminfo: memFree=31630744/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=44500 CPUtime=12.68 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 11355 0 0 0 1264 4 0 0 20 0 1 0 56205460 45568000 10685 33554432000 4194304 5646918 140736590626176 140736590624888 4397505 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 11125 10685 157 355 0 10766 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 44500

[startup+25.5004 s]
/proc/loadavg: 1.98 1.99 1.99 3/178 30186
/proc/meminfo: memFree=31600160/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=74960 CPUtime=25.47 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 11824 0 0 0 2542 5 0 0 20 0 1 0 56205460 76759040 18272 33554432000 4194304 5646918 140736590626176 140736590624888 4403178 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 18740 18272 157 355 0 18381 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 74960

[startup+51.1004 s]
/proc/loadavg: 1.99 1.99 1.99 4/178 30186
/proc/meminfo: memFree=31600716/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=74960 CPUtime=51.07 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 11875 0 0 0 5101 6 0 0 20 0 1 0 56205460 76759040 18287 33554432000 4194304 5646918 140736590626176 140736590624456 4397622 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 18740 18287 157 355 0 18381 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 74960

[startup+102.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/178 30188
/proc/meminfo: memFree=31596836/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=75272 CPUtime=102.28 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 13206 0 0 0 10220 8 0 0 20 0 1 0 56205460 77078528 18143 33554432000 4194304 5646918 140736590626176 140736590624456 4403091 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 18818 18143 157 355 0 18459 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 75272

[startup+162.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/177 30189
/proc/meminfo: memFree=31595576/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=75272 CPUtime=162.26 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 13429 0 0 0 16218 8 0 0 20 0 1 0 56205460 77078528 18363 33554432000 4194304 5646918 140736590626176 140736590624456 4402736 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 18818 18363 157 355 0 18459 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 75272

[startup+222.307 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 30191
/proc/meminfo: memFree=31594068/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=75272 CPUtime=222.25 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 13543 0 0 0 22215 10 0 0 20 0 1 0 56205460 77078528 18433 33554432000 4194304 5646918 140736590626176 140736590624888 4402776 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 18818 18433 157 355 0 18459 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 75272

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 30192
/proc/meminfo: memFree=31594184/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=75272 CPUtime=282.23 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 13544 0 0 0 28213 10 0 0 20 0 1 0 56205460 77078528 18434 33554432000 4194304 5646918 140736590626176 140736590624456 4402776 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 18818 18434 157 355 0 18459 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 75272

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30193
/proc/meminfo: memFree=31594420/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=75272 CPUtime=342.22 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 13544 0 0 0 34212 10 0 0 20 0 1 0 56205460 77078528 18434 33554432000 4194304 5646918 140736590626176 140736590624456 4402829 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 18818 18434 157 355 0 18459 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 75272

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30194
/proc/meminfo: memFree=31594536/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=75272 CPUtime=402.21 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 13544 0 0 0 40211 10 0 0 20 0 1 0 56205460 77078528 18434 33554432000 4194304 5646918 140736590626176 140736590624456 4403147 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 18818 18434 157 355 0 18459 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 75272

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30195
/proc/meminfo: memFree=31594532/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=75272 CPUtime=462.2 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 13614 0 0 0 46209 11 0 0 20 0 1 0 56205460 77078528 18434 33554432000 4194304 5646918 140736590626176 140736590624888 4402736 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 18818 18434 157 355 0 18459 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 75272

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 30196
/proc/meminfo: memFree=31594408/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=75272 CPUtime=522.19 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 13614 0 0 0 52208 11 0 0 20 0 1 0 56205460 77078528 18434 33554432000 4194304 5646918 140736590626176 140736590624888 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 18818 18434 157 355 0 18459 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 75272

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 30198
/proc/meminfo: memFree=31596264/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=75272 CPUtime=582.19 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 13648 0 0 0 58207 12 0 0 20 0 1 0 56205460 77078528 18434 33554432000 4194304 5646918 140736590626176 140736590624888 4400576 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 18818 18434 157 355 0 18459 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 75272


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


[startup+942.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 30264
/proc/meminfo: memFree=31282160/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=82332 CPUtime=942.13 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 14797 0 0 0 94195 18 0 0 20 0 1 0 56205460 84307968 20199 33554432000 4194304 5646918 140736590626176 140736590624888 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 20583 20199 157 355 0 20224 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 82332

[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 30265
/proc/meminfo: memFree=31277384/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=82332 CPUtime=1002.12 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 14963 0 0 0 100191 21 0 0 20 0 1 0 56205460 84307968 20199 33554432000 4194304 5646918 140736590626176 140736590624888 4397505 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 20583 20199 157 355 0 20224 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 82332

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 30266
/proc/meminfo: memFree=31274864/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=82332 CPUtime=1062.11 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 15337 0 0 0 106185 26 0 0 20 0 1 0 56205460 84307968 20199 33554432000 4194304 5646918 140736590626176 140736590624888 4403408 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 20583 20199 157 355 0 20224 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 82332

[startup+1122.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 30267
/proc/meminfo: memFree=31259560/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=94276 CPUtime=1122.1 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 16035 0 0 0 112180 30 0 0 20 0 1 0 56205460 96538624 23185 33554432000 4194304 5646918 140736590626176 140736590624888 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 23569 23185 157 355 0 23210 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 94276

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 30269
/proc/meminfo: memFree=31225176/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=143596 CPUtime=1182.09 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 16167 0 0 0 118177 32 0 0 20 0 1 0 56205460 147042304 31394 33554432000 4194304 5646918 140736590626176 140736590624472 4402784 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 35899 31394 157 355 0 35540 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 143596

[startup+1242.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 30273
/proc/meminfo: memFree=31255972/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=94276 CPUtime=1242.08 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 16273 0 0 0 124174 34 0 0 20 0 1 0 56205460 96538624 23185 33554432000 4194304 5646918 140736590626176 140736590624888 4402889 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 23569 23185 157 355 0 23210 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 94276

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 30296
/proc/meminfo: memFree=31252280/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=94276 CPUtime=1302.08 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 16343 0 0 0 130172 36 0 0 20 0 1 0 56205460 96538624 23185 33554432000 4194304 5646918 140736590626176 140736590624888 4402966 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 23569 23185 157 355 0 23210 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 94276

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 30297
/proc/meminfo: memFree=31251860/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=94276 CPUtime=1362.07 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 16441 0 0 0 136170 37 0 0 20 0 1 0 56205460 96538624 23185 33554432000 4194304 5646918 140736590626176 140736590624888 4403091 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 23569 23185 157 355 0 23210 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 94276

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30298
/proc/meminfo: memFree=31217980/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=143596 CPUtime=1422.06 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 16577 0 0 0 142167 39 0 0 20 0 1 0 56205460 147042304 31394 33554432000 4194304 5646918 140736590626176 140736590624472 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 35899 31394 157 355 0 35540 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 143596

[startup+1482.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/177 30300
/proc/meminfo: memFree=31248176/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=94276 CPUtime=1482.05 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 16680 0 0 0 148164 41 0 0 20 0 1 0 56205460 96538624 23185 33554432000 4194304 5646918 140736590626176 140736590624888 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 23569 23185 157 355 0 23210 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 94276

[startup+1542.31 s]
/proc/loadavg: 2.15 2.07 2.02 3/177 30301
/proc/meminfo: memFree=31248060/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=94276 CPUtime=1542.05 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 16747 0 0 0 154163 42 0 0 20 0 1 0 56205460 96538624 23185 33554432000 4194304 5646918 140736590626176 140736590624456 4403178 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 23569 23185 157 355 0 23210 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 94276

[startup+1602.3 s]
/proc/loadavg: 2.13 2.08 2.02 3/177 30302
/proc/meminfo: memFree=31246936/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=94276 CPUtime=1602.03 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 16747 0 0 0 160161 42 0 0 20 0 1 0 56205460 96538624 23185 33554432000 4194304 5646918 140736590626176 140736590624456 4402784 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 23569 23185 157 355 0 23210 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 94276

[startup+1662.3 s]
/proc/loadavg: 2.11 2.09 2.03 3/177 30303
/proc/meminfo: memFree=31244516/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=94276 CPUtime=1662.02 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 16747 0 0 0 166160 42 0 0 20 0 1 0 56205460 96538624 23185 33554432000 4194304 5646918 140736590626176 140736590624456 4403159 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 23569 23185 157 355 0 23210 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 94276

[startup+1722.3 s]
/proc/loadavg: 2.04 2.07 2.02 3/177 30304
/proc/meminfo: memFree=31243640/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=94276 CPUtime=1722.01 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 16747 0 0 0 172159 42 0 0 20 0 1 0 56205460 96538624 23185 33554432000 4194304 5646918 140736590626176 140736590624456 4403043 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 23569 23185 157 355 0 23210 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 94276

[startup+1782.3 s]
/proc/loadavg: 2.01 2.06 2.01 3/177 30306
/proc/meminfo: memFree=31242644/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=94276 CPUtime=1782 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 16747 0 0 0 178158 42 0 0 20 0 1 0 56205460 96538624 23185 33554432000 4194304 5646918 140736590626176 140736590624456 4389003 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 23569 23185 157 355 0 23210 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 94276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/177 30306
/proc/meminfo: memFree=31242900/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=94276 CPUtime=1800 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 16747 0 0 0 179957 43 0 0 20 0 1 0 56205460 96538624 23185 33554432000 4194304 5646918 140736590626176 140736590624456 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 23569 23185 157 355 0 23210 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 94276

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 30182 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/177 30306
/proc/meminfo: memFree=31242900/32872528 swapFree=303544/319896
[pid=30182] ppid=30179 vsize=94276 CPUtime=1800 cores=1,3,5,7
/proc/30182/stat : 30182 (minisatp) R 30179 30182 25729 0 -1 4202496 16747 0 0 0 179957 43 0 0 20 0 1 0 56205460 96538624 23185 33554432000 4194304 5646918 140736590626176 140736590624456 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/30182/statm: 23569 23185 157 355 0 23210 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 94276

Child status: 0
Real time (s): 1800.3
CPU time (s): 1800.01
CPU user time (s): 1799.58
CPU system time (s): 0.431934
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 174416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.431934
maximum resident set size= 154516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16747
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= 14
involuntary context switches= 1951

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.18221 second user time and 6.93394 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-21 22:39:48
IDJOB=4112535
IDBENCH=2274
IDSOLVER=2555
FILE ID=node128/4112535-1466541588
RUNJOBID= node128-1466515259-25746
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/frb35-17-opb/normalized-frb35-17-2.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112535-1466541588/watcher-4112535-1466541588 -o /tmp/evaluation-result-4112535-1466541588/solver-4112535-1466541588 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466515259-25746 --watchdog 1960  minisatp HOME/instance-4112535-1466541588.opb

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

MD5SUM BENCH= 907943cf03e4e0f899b19858f5690e6e
RANDOM SEED=889706910

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:        31674424 kB
Buffers:           18396 kB
Cached:            68048 kB
SwapCached:         2172 kB
Active:           115140 kB
Inactive:          59952 kB
Active(anon):      89424 kB
Inactive(anon):     1820 kB
Active(file):      25716 kB
Inactive(file):    58132 kB
Unevictable:      319896 kB
Mlocked:          303544 kB
SwapTotal:      67108856 kB
SwapFree:       67098916 kB
Dirty:              4708 kB
Writeback:             0 kB
AnonPages:        407944 kB
Mapped:             8788 kB
Shmem:                 0 kB
Slab:             572256 kB
SReclaimable:      15776 kB
SUnreclaim:       556480 kB
KernelStack:        1424 kB
PageTables:         4720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     530320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     65536 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-4112535-1466541588.opb

Free space on /tmp at the end= 71688 MiB
End job on node128 at 2016-06-21 23:09:49