Trace number 4112539

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
MD5SUMc9380923d34e254cfa512f89027f1d42
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 benchmark884.979
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41095
Number of constraints which are clauses41095
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 760
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 760
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 760
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
0.29/0.38	c Converting 41095 PB-constraints to clauses...
0.29/0.38	c   -- Unit propagations: (none)
0.29/0.38	c   -- Detecting intervals from adjacent constraints: (none)
0.29/0.38	c   -- Clauses(.)/Splits(s): .......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.39/0.44	============================[ Search Statistics ]==============================
0.39/0.44	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.44	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.39/0.44	===============================================================================
0.39/0.44	===============================================================================
0.39/0.44	c Found solution: -31
0.39/0.45	c ---[   0]---> Sorter-cost:35010     Base:
2.99/3.05	|  Eliminated clauses:           0.38 Mb                                      |
2.99/3.05	============================[ Search Statistics ]==============================
2.99/3.05	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.99/3.05	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.99/3.05	===============================================================================
2.99/3.05	|       100 |   13267    67418   192346 |    24719       96     55 |  0.129 % |
2.99/3.05	|       250 |   13187    67418   192346 |    27191      239     39 |  0.451 % |
2.99/3.05	|       475 |   12935    67418   192346 |    29911      437     40 |  1.465 % |
2.99/3.05	|       812 |   12662    67418   192346 |    32902      731     42 |  2.564 % |
2.99/3.05	|      1318 |   12129    67418   192346 |    36192     1185     39 |  4.710 % |
2.99/3.05	|      2077 |   11518    67418   192346 |    39811     1853     39 |  7.169 % |
2.99/3.05	|      3216 |   10474    67418   192346 |    43792     2854     38 | 11.371 % |
2.99/3.05	|      4924 |    9800    67418   192346 |    48172     4500     42 | 14.084 % |
2.99/3.05	|      7486 |    8921    67418   192346 |    52989     6940     53 | 17.622 % |
2.99/3.05	|     11330 |    8433    67418   192346 |    58288    10597     66 | 19.586 % |
2.99/3.05	|     17096 |    7441    67418   192346 |    64117    16074     77 | 23.578 % |
2.99/3.05	===============================================================================
2.99/3.05	c Found solution: -32
2.99/3.05	c ---[   0]---> Sorter-cost:    0     Base:
3.59/3.60	|  Eliminated clauses:           0.39 Mb                                      |
3.59/3.60	============================[ Search Statistics ]==============================
3.59/3.60	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.59/3.60	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.59/3.60	===============================================================================
3.59/3.60	|     21108 |    6677    53605   133065 |    19655    19885     89 | 25.118 % |
3.59/3.60	|     21258 |    6677    53605   133065 |    21620    20035     89 | 25.118 % |
3.59/3.60	|     21483 |    6660    53605   133065 |    23782    20259     89 | 25.186 % |
3.59/3.60	|     21820 |    6659    53605   133065 |    26161    20595     90 | 25.190 % |
3.59/3.60	|     22326 |    6659    53605   133065 |    28777    21101     90 | 25.190 % |
3.59/3.60	|     23085 |    6509    53605   133065 |    31654    21853     90 | 25.794 % |
3.59/3.60	|     24224 |    6434    53605   133065 |    34820    22988     95 | 26.096 % |
3.59/3.60	===============================================================================
3.59/3.60	c Found solution: -33
3.59/3.60	c ---[   0]---> Sorter-cost:    0     Base:
4.19/4.24	|  Eliminated clauses:           0.39 Mb                                      |
4.19/4.24	============================[ Search Statistics ]==============================
4.19/4.24	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.19/4.24	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
4.19/4.24	===============================================================================
4.19/4.24	|     25050 |    6382    52958   130643 |    19417    23813     97 | 26.117 % |
4.19/4.24	|     25200 |    6354    52958   130643 |    21359    23961     96 | 26.230 % |
4.19/4.24	|     25425 |    6354    52958   130643 |    23495    24186     96 | 26.230 % |
4.19/4.24	|     25762 |    6353    52958   130643 |    25845    24522     96 | 26.234 % |
4.19/4.24	|     26268 |    6340    52958   130643 |    28429    25027     97 | 26.286 % |
4.19/4.24	|     27027 |    6300    52958   130643 |    31272    25784     97 | 26.446 % |
4.19/4.24	|     28166 |    6250    52958   130643 |    34400    26696     98 | 26.647 % |
4.19/4.24	===============================================================================
4.19/4.24	c Found solution: -34
4.19/4.24	c ---[   0]---> Sorter-cost:    0     Base:
26.98/27.04	|  Eliminated clauses:           0.39 Mb                                      |
26.98/27.04	============================[ Search Statistics ]==============================
26.98/27.04	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
26.98/27.04	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
26.98/27.04	===============================================================================
26.98/27.04	|     29540 |    6166    52475   128884 |    19240    14085     94 | 26.739 % |
26.98/27.04	|     29690 |    6140    52475   128884 |    21164    14234     94 | 26.844 % |
26.98/27.04	|     29915 |    6140    52475   128884 |    23281    14459     94 | 26.844 % |
26.98/27.04	|     30252 |    6140    52475   128884 |    25609    14796     95 | 26.844 % |
26.98/27.04	|     30758 |    6112    52475   128884 |    28170    15300     96 | 26.956 % |
26.98/27.04	|     31517 |    6055    52475   128884 |    30987    16055     97 | 27.185 % |
26.98/27.04	|     32656 |    6000    52475   128884 |    34086    17189     99 | 27.406 % |
26.98/27.04	|     34364 |    5966    52475   128884 |    37494    18895    100 | 27.542 % |
26.98/27.04	|     36926 |    5909    52475   128884 |    41244    21452    104 | 27.771 % |
26.98/27.04	|     40770 |    5757    52475   128884 |    45368    24960    112 | 28.381 % |
26.98/27.04	|     46536 |    5567    52475   128884 |    49905    30711    118 | 29.144 % |
26.98/27.04	|     55185 |    5457    52475   128884 |    54896    38971    125 | 29.585 % |
26.98/27.04	|     68159 |    5277    52475   128884 |    60385    51930    133 | 30.308 % |
26.98/27.04	|     87620 |    5050    52475   128884 |    66424    26076    108 | 31.219 % |
26.98/27.04	|    116812 |    4739    52475   128884 |    73067    55243    139 | 32.468 % |
26.98/27.04	===============================================================================
26.98/27.04	c Found solution: -35
26.98/27.05	c ---[   0]---> Sorter-cost:    0     Base:
77.48/77.58	|  Eliminated clauses:           0.40 Mb                                      |
77.48/77.58	============================[ Search Statistics ]==============================
77.48/77.58	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
77.48/77.58	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
77.48/77.58	===============================================================================
77.48/77.58	|    138643 |    4419    48904   114179 |    17931    23986    121 | 33.704 % |
77.48/77.58	|    138793 |    4419    48904   114179 |    19724    24136    121 | 33.704 % |
77.48/77.58	|    139018 |    4419    48904   114179 |    21697    24361    122 | 33.704 % |
77.48/77.58	|    139355 |    4411    48904   114179 |    23866    24697    122 | 33.735 % |
77.48/77.58	|    139861 |    4411    48904   114179 |    26253    25203    122 | 33.735 % |
77.48/77.58	|    140620 |    4329    48904   114179 |    28878    25957    122 | 34.057 % |
77.48/77.58	|    141759 |    4289    48904   114179 |    31766    27094    124 | 34.214 % |
77.48/77.58	|    143467 |    4260    48904   114179 |    34943    28799    124 | 34.328 % |
77.48/77.58	|    146029 |    4227    48904   114179 |    38437    31359    127 | 34.458 % |
77.48/77.58	|    149873 |    4124    48904   114179 |    42281    35195    129 | 34.862 % |
77.48/77.58	|    155639 |    4106    48904   114179 |    46509    40959    133 | 34.933 % |
77.48/77.58	|    164288 |    4030    48904   114179 |    51160    49601    137 | 35.231 % |
77.48/77.58	|    177262 |    3938    48904   114179 |    56276    24276    118 | 35.593 % |
77.48/77.58	|    196723 |    3788    48904   114179 |    61904    43726    143 | 36.182 % |
77.48/77.58	|    225915 |    3524    48904   114179 |    68094    24002    117 | 37.218 % |
77.48/77.58	|    269704 |    3413    48904   114179 |    74904    67709    151 | 37.654 % |
77.48/77.58	|    335388 |    3082    48904   114179 |    82394    71367    152 | 38.954 % |
77.48/77.58	===============================================================================
77.48/77.58	c Found solution: -36
77.48/77.58	c ---[   0]---> Sorter-cost:    0     Base:
176.95/177.08	|  Eliminated clauses:           0.41 Mb                                      |
176.95/177.08	============================[ Search Statistics ]==============================
176.95/177.08	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
176.95/177.08	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
176.95/177.08	===============================================================================
176.95/177.08	|    359533 |    2895    45665   101246 |    16743    21173    172 | 39.069 % |
176.95/177.08	|    359683 |    2895    45665   101246 |    18418    21323    172 | 39.069 % |
176.95/177.08	|    359908 |    2895    45665   101246 |    20260    21548    172 | 39.069 % |
176.95/177.08	|    360245 |    2895    45665   101246 |    22286    21885    171 | 39.069 % |
176.95/177.08	|    360751 |    2895    45665   101246 |    24514    22391    170 | 39.069 % |
176.95/177.08	|    361510 |    2895    45665   101246 |    26966    23150    168 | 39.069 % |
176.95/177.08	|    362649 |    2895    45665   101246 |    29662    24289    167 | 39.069 % |
176.95/177.08	|    364357 |    2895    45665   101246 |    32628    25997    164 | 39.069 % |
176.95/177.08	|    366919 |    2874    45665   101246 |    35891    28557    164 | 39.151 % |
176.95/177.08	|    370763 |    2858    45665   101246 |    39481    32400    162 | 39.214 % |
176.95/177.08	|    376529 |    2820    45665   101246 |    43429    38163    158 | 39.363 % |
176.95/177.08	|    385178 |    2800    45665   101246 |    47772    46809    157 | 39.442 % |
176.95/177.08	|    398152 |    2767    45665   101246 |    52549    21085    136 | 39.571 % |
176.95/177.08	|    417613 |    2675    45665   101246 |    57804    40538    142 | 39.932 % |
176.95/177.08	|    446805 |    2631    45665   101246 |    63584    22849    137 | 40.105 % |
176.95/177.08	|    490594 |    2489    45665   101246 |    69943    66561    147 | 40.663 % |
176.95/177.08	|    556278 |    2456    45665   101246 |    76937    71413    147 | 40.792 % |
176.95/177.08	|    654804 |    2279    45665   101246 |    84631    37853    135 | 41.487 % |
176.95/177.08	|    802593 |    2182    45665   101246 |    93094    39787    148 | 41.868 % |
176.95/177.08	===============================================================================
176.95/177.08	c Found solution: -37
176.95/177.08	c ---[   0]---> Sorter-cost:    0     Base:
673.67/673.82	|  Eliminated clauses:           0.41 Mb                                      |
673.67/673.82	============================[ Search Statistics ]==============================
673.67/673.82	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
673.67/673.82	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
673.67/673.82	===============================================================================
673.67/673.82	|    829926 |    2058    43906    94444 |    16098    18696    161 | 41.919 % |
673.67/673.82	|    830076 |    2058    43906    94444 |    17708    18846    161 | 41.919 % |
673.67/673.82	|    830301 |    2058    43906    94444 |    19479    19071    160 | 41.919 % |
673.67/673.82	|    830638 |    2058    43906    94444 |    21427    19408    159 | 41.919 % |
673.67/673.82	|    831144 |    2058    43906    94444 |    23570    19896    159 | 41.919 % |
673.67/673.82	|    831903 |    2057    43906    94444 |    25927    20654    156 | 41.923 % |
673.67/673.82	|    833042 |    2057    43906    94444 |    28520    21793    154 | 41.923 % |
673.67/673.82	|    834750 |    2049    43906    94444 |    31372    23500    151 | 41.954 % |
673.67/673.82	|    837312 |    2049    43906    94444 |    34509    26062    149 | 41.954 % |
673.67/673.82	|    841156 |    2023    43906    94444 |    37960    29904    147 | 42.056 % |
673.67/673.82	|    846922 |    1998    43906    94444 |    41756    35668    144 | 42.154 % |
673.67/673.82	|    855571 |    1988    43906    94444 |    45931    44258    139 | 42.193 % |
673.67/673.82	|    868545 |    1988    43906    94444 |    50525    20332    133 | 42.193 % |
673.67/673.82	|    888006 |    1928    43906    94444 |    55577    39789    130 | 42.428 % |
673.67/673.82	|    917198 |    1927    43906    94444 |    61135    23078    125 | 42.432 % |
673.67/673.82	|    960987 |    1910    43906    94444 |    67248    66859    126 | 42.499 % |
673.67/673.82	|   1026671 |    1874    43906    94444 |    73973    75963    119 | 42.640 % |
673.67/673.82	|   1125197 |    1841    43906    94444 |    81371    42996    125 | 42.769 % |
673.67/673.82	|   1272986 |    1799    43906    94444 |    89508    54998    113 | 42.933 % |
673.67/673.82	|   1494669 |    1728    43906    94444 |    98459    39621    110 | 43.211 % |
673.67/673.82	|   1827194 |    1583    43906    94444 |   108305   108831    102 | 43.779 % |
673.67/673.82	|   2325982 |    1502    43906    94444 |   119135   118716     91 | 44.096 % |
673.67/673.82	|   3074164 |    1464    43906    94444 |   131049   116926    137 | 44.245 % |
673.67/673.82	===============================================================================
673.67/673.82	c Found solution: -38
673.67/673.82	c ---[   0]---> Sorter-cost:    0     Base:
1800.00/1800.30	|  Eliminated clauses:           0.42 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	|   3621864 |    1372    42399    88619 |    15546    18185    142 | 44.290 % |
1800.00/1800.30	|   3622014 |    1372    42399    88619 |    17100    18335    142 | 44.290 % |
1800.00/1800.30	|   3622239 |    1372    42399    88619 |    18811    18560    141 | 44.290 % |
1800.00/1800.30	|   3622576 |    1372    42399    88619 |    20692    18897    140 | 44.290 % |
1800.00/1800.30	|   3623082 |    1372    42399    88619 |    22761    19403    138 | 44.290 % |
1800.00/1800.30	|   3623841 |    1372    42399    88619 |    25037    20162    136 | 44.290 % |
1800.00/1800.30	|   3624980 |    1372    42399    88619 |    27541    21301    134 | 44.290 % |
1800.00/1800.30	|   3626688 |    1372    42399    88619 |    30295    23009    130 | 44.290 % |
1800.00/1800.30	|   3629250 |    1372    42399    88619 |    33324    25571    127 | 44.290 % |
1800.00/1800.30	|   3633094 |    1372    42399    88619 |    36657    29415    122 | 44.290 % |
1800.00/1800.30	|   3638860 |    1372    42399    88619 |    40323    35181    117 | 44.290 % |
1800.00/1800.30	|   3647509 |    1372    42399    88619 |    44355    43830    111 | 44.290 % |
1800.00/1800.30	|   3660483 |    1372    42399    88619 |    48790    20540    119 | 44.290 % |
1800.00/1800.30	|   3679944 |    1372    42399    88619 |    53670    40001    103 | 44.290 % |
1800.00/1800.30	|   3709136 |    1372    42399    88619 |    59037    26025    106 | 44.290 % |
1800.00/1800.30	|   3752925 |    1372    42399    88619 |    64940    69814     94 | 44.290 % |
1800.00/1800.30	|   3818609 |    1372    42399    88619 |    71434    27881    103 | 44.290 % |
1800.00/1800.30	|   3917135 |    1372    42399    88619 |    78578    66225     88 | 44.290 % |
1800.00/1800.30	|   4064924 |    1372    42399    88619 |    86436    81122     90 | 44.290 % |
1800.00/1800.30	|   4286607 |    1370    42399    88619 |    95079    70358     93 | 44.297 % |
1800.00/1800.30	|   4619132 |    1370    42399    88619 |   104587    70717     93 | 44.297 % |
1800.00/1800.30	|   5117920 |    1358    42399    88619 |   115046   108238     82 | 44.344 % |
1800.00/1800.30	|   5866102 |    1357    42399    88619 |   126551    44705     78 | 44.348 % |
1800.00/1800.30	|   6988376 |    1346    42399    88619 |   139206    37137     86 | 44.391 % |
1800.00/1800.30	|   8671787 |    1340    42399    88619 |   153126   105046    118 | 44.415 % |
1800.00/1800.30	c 
1800.00/1800.30	c *** TERMINATED ***
1800.00/1800.30	s SATISFIABLE
1800.00/1800.30	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	-38

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-4112539-1466539735/watcher-4112539-1466539735 -o /tmp/evaluation-result-4112539-1466539735/solver-4112539-1466539735 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466515264-21134 --watchdog 1960 minisatp HOME/instance-4112539-1466539735.opb 

pid=26075
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.04 2.03 2.00 3/176 26078
/proc/meminfo: memFree=31753720/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=6588 CPUtime=0 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 378 0 0 0 0 0 0 0 20 0 1 0 56024094 6746112 254 33554432000 4194304 5646918 140736037034032 140735375194440 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 1647 254 94 355 0 1288 0

[startup+0.100158 s]
/proc/loadavg: 2.04 2.03 2.00 3/176 26078
/proc/meminfo: memFree=31753720/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=12300 CPUtime=0.09 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 1804 0 0 0 9 0 0 0 20 0 1 0 56024094 12595200 1680 33554432000 4194304 5646918 140736037034032 140735375194440 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 3075 1680 94 355 0 2716 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12300

[startup+0.200321 s]
/proc/loadavg: 2.04 2.03 2.00 3/176 26078
/proc/meminfo: memFree=31753720/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=18616 CPUtime=0.19 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 3335 0 0 0 19 0 0 0 20 0 1 0 56024094 19062784 3211 33554432000 4194304 5646918 140736037034032 140735375194440 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 4654 3211 94 355 0 4295 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18616

[startup+0.300289 s]
/proc/loadavg: 2.04 2.03 2.00 3/176 26078
/proc/meminfo: memFree=31753720/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=24684 CPUtime=0.29 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 4862 0 0 0 29 0 0 0 20 0 1 0 56024094 25276416 4738 33554432000 4194304 5646918 140736037034032 140735375194440 4251039 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 6171 4738 94 355 0 5812 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24684

[startup+0.700284 s]
/proc/loadavg: 2.04 2.03 2.00 3/176 26078
/proc/meminfo: memFree=31753720/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=36736 CPUtime=0.69 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 9560 0 0 0 67 2 0 0 20 0 1 0 56024094 37617664 8634 33554432000 4194304 5646918 140736037034032 140735375194440 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 9184 8634 154 355 0 8825 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36736

[startup+1.50024 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 26079
/proc/meminfo: memFree=31715124/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=39440 CPUtime=1.48 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 9926 0 0 0 146 2 0 0 20 0 1 0 56024094 40386560 8989 33554432000 4194304 5646918 140736037034032 140736037032792 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 9860 8989 155 355 0 9501 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 39440

[startup+3.10029 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 26079
/proc/meminfo: memFree=31708052/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=47100 CPUtime=3.09 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 10939 0 0 0 306 3 0 0 20 0 1 0 56024094 48230400 10508 33554432000 4194304 5646918 140736037034032 140736037032728 4438185 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 11775 10508 155 355 0 11416 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47100

[startup+6.30027 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 26079
/proc/meminfo: memFree=31696688/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=54280 CPUtime=6.29 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 12327 0 0 0 626 3 0 0 20 0 1 0 56024094 55582720 11812 33554432000 4194304 5646918 140736037034032 140736037032728 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 13570 11812 157 355 0 13211 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 54280

[startup+12.7003 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 26079
/proc/meminfo: memFree=31719436/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=84924 CPUtime=12.69 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 13408 0 0 0 1265 4 0 0 20 0 1 0 56024094 86962176 16974 33554432000 4194304 5646918 140736037034032 140736037032728 4403176 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 21231 16974 157 355 0 20872 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84924

[startup+25.5004 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 26079
/proc/meminfo: memFree=31687096/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=115092 CPUtime=25.48 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 14647 0 0 0 2543 5 0 0 20 0 1 0 56024094 117854208 24467 33554432000 4194304 5646918 140736037034032 140736037032728 4397501 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 28773 24467 157 355 0 28414 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 115092

[startup+51.1003 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 26079
/proc/meminfo: memFree=31701532/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=96124 CPUtime=51.08 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 16345 0 0 0 5100 8 0 0 20 0 1 0 56024094 98430976 20973 33554432000 4194304 5646918 140736037034032 140736037032328 4416553 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 24031 20973 157 355 0 23672 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 96124

[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 26083
/proc/meminfo: memFree=31697264/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=115092 CPUtime=102.28 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 20802 0 0 0 10215 13 0 0 20 0 1 0 56024094 117854208 21939 33554432000 4194304 5646918 140736037034032 140736037032728 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 28773 21939 157 355 0 28414 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 115092

[startup+162.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 26084
/proc/meminfo: memFree=31662712/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=115092 CPUtime=162.25 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 24321 0 0 0 16206 19 0 0 20 0 1 0 56024094 117854208 22509 33554432000 4194304 5646918 140736037034032 140736037032728 4388960 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 28773 22509 157 355 0 28414 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 115092

[startup+222.307 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 26086
/proc/meminfo: memFree=31647408/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=149176 CPUtime=222.25 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 27648 0 0 0 22202 23 0 0 20 0 1 0 56024094 152756224 34058 33554432000 4194304 5646918 140736037034032 140736037032328 4402751 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 37294 34058 157 355 0 36935 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 149176

[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 26087
/proc/meminfo: memFree=31673416/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=99856 CPUtime=282.23 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 28795 0 0 0 28197 26 0 0 20 0 1 0 56024094 102252544 24576 33554432000 4194304 5646918 140736037034032 140736037032744 4403178 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 24964 24576 157 355 0 24605 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 99856

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 26088
/proc/meminfo: memFree=31672980/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=99856 CPUtime=342.23 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 29941 0 0 0 34194 29 0 0 20 0 1 0 56024094 102252544 24576 33554432000 4194304 5646918 140736037034032 140736037032744 4403478 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 24964 24576 157 355 0 24605 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 99856

[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 26089
/proc/meminfo: memFree=31602904/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=149176 CPUtime=402.21 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 31887 0 0 0 40189 32 0 0 20 0 1 0 56024094 152756224 34570 33554432000 4194304 5646918 140736037034032 140736037032328 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 37294 34570 157 355 0 36935 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 149176

[startup+462.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/177 26090
/proc/meminfo: memFree=31672800/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=99856 CPUtime=462.2 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 32749 0 0 0 46186 34 0 0 20 0 1 0 56024094 102252544 24576 33554432000 4194304 5646918 140736037034032 140736037032744 4403384 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 24964 24576 157 355 0 24605 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 99856

[startup+522.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 26092
/proc/meminfo: memFree=31673196/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=99856 CPUtime=522.2 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 33615 0 0 0 52183 37 0 0 20 0 1 0 56024094 102252544 24576 33554432000 4194304 5646918 140736037034032 140736037032744 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 24964 24576 157 355 0 24605 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 99856

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 26093
/proc/meminfo: memFree=31642012/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=149176 CPUtime=582.19 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 35356 0 0 0 58178 41 0 0 20 0 1 0 56024094 152756224 32522 33554432000 4194304 5646918 140736037034032 140736037032328 4402821 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 37294 32522 157 355 0 36935 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 149176


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


[startup+942.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 26103
/proc/meminfo: memFree=31610776/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=99856 CPUtime=942.13 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 41382 0 0 0 94160 53 0 0 20 0 1 0 56024094 102252544 24576 33554432000 4194304 5646918 140736037034032 140736037032744 4403178 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 24964 24576 157 355 0 24605 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 99856

[startup+1002.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26104
/proc/meminfo: memFree=31619260/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=99856 CPUtime=1002.12 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 42234 0 0 0 100157 55 0 0 20 0 1 0 56024094 102252544 24576 33554432000 4194304 5646918 140736037034032 140736037032744 4402784 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 24964 24576 157 355 0 24605 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 99856

[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26105
/proc/meminfo: memFree=31569084/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=149176 CPUtime=1062.12 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 43360 0 0 0 106155 57 0 0 20 0 1 0 56024094 152756224 33034 33554432000 4194304 5646918 140736037034032 140736037032328 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 37294 33034 157 355 0 36935 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 149176

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 26107
/proc/meminfo: memFree=31614860/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=99856 CPUtime=1122.1 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 44223 0 0 0 112151 59 0 0 20 0 1 0 56024094 102252544 24576 33554432000 4194304 5646918 140736037034032 140736037032744 4403136 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 24964 24576 157 355 0 24605 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 99856

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26108
/proc/meminfo: memFree=31585956/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=99856 CPUtime=1182.1 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 45160 0 0 0 118149 61 0 0 20 0 1 0 56024094 102252544 24576 33554432000 4194304 5646918 140736037034032 140736037032744 4399555 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 24964 24576 157 355 0 24605 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 99856

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26165
/proc/meminfo: memFree=31688292/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=99856 CPUtime=1242.08 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 46020 0 0 0 124146 62 0 0 20 0 1 0 56024094 102252544 24576 33554432000 4194304 5646918 140736037034032 140736037032744 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 24964 24576 157 355 0 24605 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 99856

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26169
/proc/meminfo: memFree=31677160/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=99856 CPUtime=1302.08 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 46881 0 0 0 130143 65 0 0 20 0 1 0 56024094 102252544 24576 33554432000 4194304 5646918 140736037034032 140736037032744 4402821 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 24964 24576 157 355 0 24605 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 99856

[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 26170
/proc/meminfo: memFree=31656512/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=99856 CPUtime=1362.07 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 47742 0 0 0 136140 67 0 0 20 0 1 0 56024094 102252544 24576 33554432000 4194304 5646918 140736037034032 140736037032744 4402827 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 24964 24576 157 355 0 24605 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 99856

[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26172
/proc/meminfo: memFree=31567072/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=149176 CPUtime=1422.06 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 48875 0 0 0 142137 69 0 0 20 0 1 0 56024094 152756224 36883 33554432000 4194304 5646918 140736037034032 140736037032328 4403176 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 37294 36883 157 355 0 36935 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 149176

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26173
/proc/meminfo: memFree=31616588/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=99856 CPUtime=1482.05 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 50956 0 0 0 148132 73 0 0 20 0 1 0 56024094 102252544 24576 33554432000 4194304 5646918 140736037034032 140736037032744 4403167 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 24964 24576 157 355 0 24605 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 99856

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26174
/proc/meminfo: memFree=31541236/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=179996 CPUtime=1542.04 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 52720 0 0 0 154128 76 0 0 20 0 1 0 56024094 184315904 41805 33554432000 4194304 5646918 140736037034032 140736037032728 4402821 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 44999 41805 157 355 0 44640 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 179996

[startup+1602.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/177 26175
/proc/meminfo: memFree=31628972/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=149176 CPUtime=1602.03 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 53894 0 0 0 160124 79 0 0 20 0 1 0 56024094 152756224 36106 33554432000 4194304 5646918 140736037034032 140736037032328 4403552 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 37294 36106 157 355 0 36935 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 149176

[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 26176
/proc/meminfo: memFree=31635112/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=99856 CPUtime=1662.02 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 56232 0 0 0 166119 83 0 0 20 0 1 0 56024094 102252544 24576 33554432000 4194304 5646918 140736037034032 140736037032744 4402827 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 24964 24576 157 355 0 24605 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 99856

[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/176 26177
/proc/meminfo: memFree=31592272/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=99856 CPUtime=1722.01 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 57979 0 0 0 172115 86 0 0 20 0 1 0 56024094 102252544 24576 33554432000 4194304 5646918 140736037034032 140736037032744 4403167 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 24964 24576 157 355 0 24605 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 99856

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 26179
/proc/meminfo: memFree=31581044/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=99856 CPUtime=1782 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 58777 0 0 0 178113 87 0 0 20 0 1 0 56024094 102252544 24576 33554432000 4194304 5646918 140736037034032 140736037032744 4403495 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 24964 24576 157 355 0 24605 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 99856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 26179
/proc/meminfo: memFree=31673932/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=99856 CPUtime=1800 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 59066 0 0 0 179912 88 0 0 20 0 1 0 56024094 102252544 24576 33554432000 4194304 5646918 140736037034032 140736037032744 4400560 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 24964 24576 157 355 0 24605 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 99856

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

[startup+1800.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 26179
/proc/meminfo: memFree=31673932/32872528 swapFree=190484/190484
[pid=26078] ppid=26075 vsize=99856 CPUtime=1800 cores=0,2,4,6
/proc/26078/stat : 26078 (minisatp) R 26075 26078 21118 0 -1 4202496 59066 0 0 0 179912 88 0 0 20 0 1 0 56024094 102252544 24576 33554432000 4194304 5646918 140736037034032 140736037032744 4400560 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26078/statm: 24964 24576 157 355 0 24605 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 99856

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.12
system time used= 0.886865
maximum resident set size= 175412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59066
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= 22
involuntary context switches= 1875

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.33634 second user time and 7.66183 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-21 22:08:56
IDJOB=4112539
IDBENCH=2241
IDSOLVER=2555
FILE ID=node102/4112539-1466539735
RUNJOBID= node102-1466515264-21134
PBS_JOBID= 19942887
Free space on /tmp= 71724 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-3.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112539-1466539735/watcher-4112539-1466539735 -o /tmp/evaluation-result-4112539-1466539735/solver-4112539-1466539735 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466515264-21134 --watchdog 1960  minisatp HOME/instance-4112539-1466539735.opb

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

MD5SUM BENCH= c9380923d34e254cfa512f89027f1d42
RANDOM SEED=328360154

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.746
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:        31754784 kB
Buffers:           20208 kB
Cached:            78648 kB
SwapCached:         1232 kB
Active:           136084 kB
Inactive:          71464 kB
Active(anon):     109476 kB
Inactive(anon):     1936 kB
Active(file):      26608 kB
Inactive(file):    69528 kB
Unevictable:      190484 kB
Mlocked:          190484 kB
SwapTotal:      67108856 kB
SwapFree:       67099880 kB
Dirty:              4672 kB
Writeback:             0 kB
AnonPages:        323364 kB
Mapped:             8816 kB
Shmem:                 0 kB
Slab:             566764 kB
SReclaimable:      10696 kB
SUnreclaim:       556068 kB
KernelStack:        1440 kB
PageTables:         4472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     457644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 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-4112539-1466539735.opb

Free space on /tmp at the end= 71720 MiB
End job on node102 at 2016-06-21 22:38:56