Trace number 4114561

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-d91742bOPT788263 109.904 109.921

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-pipex.opb
MD5SUM3e6a99258fbc02bc052cab2d6151884d
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark788263
Best CPU time to get the best result obtained on this benchmark6.14806
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 788263
Optimality of the best value was proved YES
Number of variables48
Total number of constraints25
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)16
Number of constraints which are nor clauses,nor cardinality constraints9
Minimum length of a constraint3
Maximum length of a constraint16
Number of terms in the objective function 48
Biggest coefficient in the objective function 107865
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 2514082
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 107865
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 2514082
Number of bits of the biggest sum of numbers22
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.00/0.00	c Converting 41 PB-constraints to clauses...
0.00/0.00	c   -- Unit propagations: (none)
0.00/0.00	c   -- Detecting intervals from adjacent constraints: ################
0.00/0.00	c   -- Clauses(.)/Splits(s): (none)
0.00/0.00	c ---[  40]---> Sorter-cost:  709     Base: 2 5 2
0.00/0.00	c ---[  39]---> Sorter-cost:  709     Base: 2 5 2
0.00/0.00	c ---[  38]---> Sorter-cost:  709     Base: 2 5 2
0.00/0.00	c ---[  37]---> Sorter-cost:  485     Base: 2 5 2
0.00/0.01	c ---[  36]---> Sorter-cost:  485     Base: 2 5 2
0.00/0.01	c ---[  35]---> Sorter-cost:  485     Base: 2 5 2
0.00/0.01	c ---[  34]---> BDD-cost:  145
0.00/0.01	c ---[  33]---> Sorter-cost:  847     Base: 2 5 3 3
0.00/0.03	c ---[  32]---> Sorter-cost:  846     Base: 2 5 3 3
0.00/0.04	c ---[  30]---> BDD-cost:    3
0.00/0.04	c ---[  28]---> BDD-cost:    3
0.00/0.04	c ---[  26]---> BDD-cost:    3
0.00/0.04	c ---[  24]---> BDD-cost:    3
0.00/0.04	c ---[  22]---> BDD-cost:    3
0.00/0.04	c ---[  20]---> BDD-cost:    3
0.00/0.04	c ---[  18]---> BDD-cost:    3
0.00/0.04	c ---[  16]---> BDD-cost:    3
0.00/0.04	c ---[  14]---> BDD-cost:    3
0.00/0.04	c ---[  12]---> BDD-cost:    3
0.00/0.04	c ---[  10]---> BDD-cost:    3
0.00/0.04	c ---[   8]---> BDD-cost:    3
0.00/0.04	c ---[   6]---> BDD-cost:    3
0.00/0.04	c ---[   4]---> BDD-cost:    3
0.00/0.04	c ---[   2]---> BDD-cost:    3
0.00/0.04	c ---[   0]---> BDD-cost:    3
0.09/0.11	|  Eliminated clauses:           0.07 Mb                                      |
0.09/0.11	============================[ Search Statistics ]==============================
0.09/0.11	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.11	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.09/0.11	===============================================================================
0.09/0.11	|       100 |    2424     9270    26235 |     3399      100     14 |  0.600 % |
0.09/0.11	|       250 |    2424     9270    26235 |     3738      250     20 |  0.600 % |
0.09/0.11	|       475 |    2424     9270    26235 |     4112      475     21 |  0.600 % |
0.09/0.11	|       812 |    2424     9270    26235 |     4524      812     22 |  0.600 % |
0.09/0.11	===============================================================================
0.09/0.11	c Found solution: 878296
0.09/0.11	c ---[   0]---> Sorter-cost: 9869     Base: 2 5 3 3 2 2 3 3 3 3
8.39/8.45	|  Eliminated clauses:           0.21 Mb                                      |
8.39/8.45	============================[ Search Statistics ]==============================
8.39/8.45	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.39/8.45	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
8.39/8.45	===============================================================================
8.39/8.45	===============================================================================
8.39/8.45	c Found solution: 869921
8.39/8.45	c ---[   0]---> Sorter-cost:   16     Base: 2 5 3 3 2 2 3 3 3 3
16.79/16.82	|  Eliminated clauses:           0.21 Mb                                      |
16.79/16.82	============================[ Search Statistics ]==============================
16.79/16.82	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
16.79/16.82	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
16.79/16.82	===============================================================================
16.79/16.82	|       992 |    8094    31850    87592 |    11678      992     23 |  0.203 % |
16.79/16.82	|      1142 |    8094    31850    87592 |    12846     1142     24 |  0.203 % |
16.79/16.82	===============================================================================
16.79/16.82	c Found solution: 863491
16.79/16.82	c ---[   0]---> Sorter-cost:   12     Base: 2 5 3 3 2 2 3 3 3 3
25.29/25.37	|  Eliminated clauses:           0.22 Mb                                      |
25.29/25.37	============================[ Search Statistics ]==============================
25.29/25.37	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
25.29/25.37	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
25.29/25.37	===============================================================================
25.29/25.37	|      1302 |    8129    31965    88127 |    11720     1302     24 |  0.209 % |
25.29/25.37	|      1452 |    8129    31965    88127 |    12892     1452     24 |  0.209 % |
25.29/25.37	|      1677 |    8129    31965    88127 |    14181     1677     24 |  0.209 % |
25.29/25.37	|      2014 |    8129    31965    88127 |    15599     2014     24 |  0.209 % |
25.29/25.37	|      2520 |    8129    31965    88127 |    17159     2520     25 |  0.209 % |
25.29/25.37	===============================================================================
25.29/25.37	c Found solution: 815404
25.29/25.37	c ---[   0]---> Sorter-cost:   12     Base: 2 5 3 3 2 2 3 3 3 3
34.38/34.45	|  Eliminated clauses:           0.22 Mb                                      |
34.38/34.45	============================[ Search Statistics ]==============================
34.38/34.45	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
34.38/34.45	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
34.38/34.45	===============================================================================
34.38/34.45	|      2976 |    8141    32008    88388 |    11736     2976     25 |  0.215 % |
34.38/34.45	|      3126 |    8141    32008    88388 |    12909     3126     27 |  0.215 % |
34.38/34.45	|      3351 |    8141    32008    88388 |    14200     3351     27 |  0.215 % |
34.38/34.45	|      3688 |    8141    32008    88388 |    15620     3688     27 |  0.215 % |
34.38/34.45	|      4194 |    8141    32008    88388 |    17183     4194     27 |  0.215 % |
34.38/34.45	|      4953 |    8141    32008    88388 |    18901     4953     27 |  0.215 % |
34.38/34.45	|      6092 |    8141    32008    88388 |    20791     6092     26 |  0.215 % |
34.38/34.45	===============================================================================
34.38/34.45	c Found solution: 811551
34.38/34.45	c ---[   0]---> Sorter-cost:   13     Base: 2 5 3 3 2 2 3 3 3 3
43.18/43.22	|  Eliminated clauses:           0.22 Mb                                      |
43.18/43.22	============================[ Search Statistics ]==============================
43.18/43.22	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
43.18/43.22	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
43.18/43.22	===============================================================================
43.18/43.22	|      7815 |    8147    32028    88506 |    11743     7815     26 |  0.222 % |
43.18/43.22	|      7965 |    8147    32028    88506 |    12917     7965     27 |  0.222 % |
43.18/43.22	|      8190 |    8138    32028    88506 |    14209     8189     27 |  0.289 % |
43.18/43.22	|      8527 |    8138    32028    88506 |    15630     8526     27 |  0.289 % |
43.18/43.22	|      9033 |    8138    32028    88506 |    17193     9032     27 |  0.289 % |
43.18/43.22	|      9792 |    8138    32028    88506 |    18913     9791     27 |  0.289 % |
43.18/43.22	===============================================================================
43.18/43.22	c Found solution: 805784
43.18/43.22	c ---[   0]---> Sorter-cost:   11     Base: 2 5 3 3 2 2 3 3 3 3
51.48/51.58	|  Eliminated clauses:           0.22 Mb                                      |
51.48/51.58	============================[ Search Statistics ]==============================
51.48/51.58	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
51.48/51.58	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
51.48/51.58	===============================================================================
51.48/51.58	|     10478 |    8133    31993    88394 |    11730    10477     28 |  0.296 % |
51.48/51.58	===============================================================================
51.48/51.58	c Found solution: 802184
51.48/51.58	c ---[   0]---> Sorter-cost:    7     Base: 2 5 3 3 2 2 3 3 3 3
63.79/63.84	|  Eliminated clauses:           0.22 Mb                                      |
63.79/63.84	============================[ Search Statistics ]==============================
63.79/63.84	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
63.79/63.84	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
63.79/63.84	===============================================================================
63.79/63.84	|     10617 |    8134    32002    88453 |    11734    10616     28 |  0.303 % |
63.79/63.84	|     10767 |    8134    32002    88453 |    12907    10766     28 |  0.303 % |
63.79/63.84	|     10992 |    8134    32002    88453 |    14198    10991     28 |  0.303 % |
63.79/63.84	|     11329 |    8134    32002    88453 |    15618    11328     28 |  0.303 % |
63.79/63.84	|     11835 |    8134    32002    88453 |    17179    11834     28 |  0.303 % |
63.79/63.84	|     12594 |    8128    32002    88453 |    18897    12592     29 |  0.347 % |
63.79/63.84	|     13733 |    8128    32002    88453 |    20787    13731     29 |  0.347 % |
63.79/63.84	|     15441 |    8128    32002    88453 |    22866    15439     29 |  0.347 % |
63.79/63.84	|     18003 |    8128    32002    88453 |    25153    18001     29 |  0.347 % |
63.79/63.84	|     21847 |    8128    32002    88453 |    27668    21845     29 |  0.347 % |
63.79/63.84	|     27613 |    8122    32002    88453 |    30435    27610     29 |  0.391 % |
63.79/63.84	===============================================================================
63.79/63.84	c Found solution: 793728
63.79/63.84	c ---[   0]---> Sorter-cost:   12     Base: 2 5 3 3 2 2 3 3 3 3
73.28/73.30	|  Eliminated clauses:           0.22 Mb                                      |
73.28/73.30	============================[ Search Statistics ]==============================
73.28/73.30	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
73.28/73.30	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
73.28/73.30	===============================================================================
73.28/73.30	|     29498 |    8118    31943    88334 |    11712     7440     22 |  0.398 % |
73.28/73.30	|     29648 |    8118    31943    88334 |    12883     7590     22 |  0.398 % |
73.28/73.30	|     29873 |    8118    31943    88334 |    14172     7815     22 |  0.398 % |
73.28/73.30	|     30210 |    8118    31943    88334 |    15589     8152     22 |  0.398 % |
73.28/73.30	|     30716 |    8118    31943    88334 |    17148     8658     22 |  0.398 % |
73.28/73.30	|     31475 |    8118    31943    88334 |    18862     9417     22 |  0.398 % |
73.28/73.30	|     32614 |    8118    31943    88334 |    20749    10556     23 |  0.398 % |
73.28/73.30	|     34322 |    8118    31943    88334 |    22824    12264     22 |  0.398 % |
73.28/73.30	===============================================================================
73.28/73.30	c Found solution: 791277
73.28/73.30	c ---[   0]---> Sorter-cost:   11     Base: 2 5 3 3 2 2 3 3 3 3
81.58/81.68	|  Eliminated clauses:           0.22 Mb                                      |
81.58/81.68	============================[ Search Statistics ]==============================
81.58/81.68	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
81.58/81.68	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
81.58/81.68	===============================================================================
81.58/81.68	|     36018 |    8098    31854    88211 |    11679     7030     20 |  0.498 % |
81.58/81.68	|     36168 |    8098    31854    88211 |    12847     7180     20 |  0.498 % |
81.58/81.68	===============================================================================
81.58/81.68	c Found solution: 789882
81.58/81.68	c ---[   0]---> Sorter-cost:   14     Base: 2 5 3 3 2 2 3 3 3 3
99.68/99.76	|  Eliminated clauses:           0.22 Mb                                      |
99.68/99.76	============================[ Search Statistics ]==============================
99.68/99.76	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
99.68/99.76	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
99.68/99.76	===============================================================================
99.68/99.76	|     36284 |    8100    31869    88340 |    11685     7296     20 |  0.504 % |
99.68/99.76	|     36434 |    8100    31869    88340 |    12853     7446     20 |  0.504 % |
99.68/99.76	|     36659 |    8100    31869    88340 |    14139     7671     20 |  0.504 % |
99.68/99.76	|     36996 |    8100    31869    88340 |    15553     8008     21 |  0.504 % |
99.68/99.76	|     37502 |    8100    31869    88340 |    17108     8514     21 |  0.504 % |
99.68/99.76	|     38261 |    8100    31869    88340 |    18819     9273     21 |  0.504 % |
99.68/99.76	|     39400 |    8100    31869    88340 |    20701    10412     22 |  0.504 % |
99.68/99.76	|     41108 |    8100    31869    88340 |    22771    12120     22 |  0.504 % |
99.68/99.76	|     43670 |    8100    31869    88340 |    25048    14682     22 |  0.504 % |
99.68/99.76	|     47514 |    8100    31869    88340 |    27553    18526     22 |  0.504 % |
99.68/99.76	|     53280 |    8100    31869    88340 |    30308    24292     22 |  0.504 % |
99.68/99.76	|     61929 |    8100    31869    88340 |    33339    16430     21 |  0.504 % |
99.68/99.76	|     74903 |    8100    31869    88340 |    36673    29404     21 |  0.504 % |
99.68/99.76	===============================================================================
99.68/99.76	c Found solution: 788263
99.68/99.76	c ---[   0]---> Sorter-cost:   12     Base: 2 5 3 3 2 2 3 3 3 3
109.87/109.91	|  Eliminated clauses:           0.22 Mb                                      |
109.87/109.91	============================[ Search Statistics ]==============================
109.87/109.91	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
109.87/109.91	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
109.87/109.91	===============================================================================
109.87/109.91	|     89314 |    8099    31879    88425 |    11688    10171     19 |  0.518 % |
109.87/109.91	|     89464 |    8099    31879    88425 |    12857    10321     19 |  0.518 % |
109.87/109.91	|     89689 |    8099    31879    88425 |    14143    10546     19 |  0.518 % |
109.87/109.91	|     90026 |    8099    31879    88425 |    15558    10883     19 |  0.518 % |
109.87/109.91	|     90532 |    8099    31879    88425 |    17113    11389     19 |  0.518 % |
109.87/109.91	|     91291 |    8099    31879    88425 |    18825    12148     19 |  0.518 % |
109.87/109.91	|     92430 |    8099    31879    88425 |    20707    13287     19 |  0.518 % |
109.87/109.91	|     94138 |    8099    31879    88425 |    22778    14995     19 |  0.518 % |
109.87/109.91	|     96700 |    8099    31879    88425 |    25056    17557     19 |  0.518 % |
109.87/109.91	===============================================================================
109.87/109.91	c Optimal solution: 788263
109.87/109.91	s OPTIMUM FOUND
109.87/109.91	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 x24 -x25 -x26 -x27 x28 -x29 x30 x31 x32 -x33 -x34 x35 x36 x37 x38 -x39 -x40 x41 x42 -x43 -x44 -x45 -x46 -x47 -x48
109.87/109.91	c _______________________________________________________________________________
109.87/109.91	c 
109.87/109.91	restarts              : 359
109.87/109.91	conflicts             : 98450          (896 /sec)
109.87/109.91	decisions             : 126476         (0.00 % random) (1151 /sec)
109.87/109.91	propagations          : 92822924       (844703 /sec)
109.87/109.91	conflict literals     : 2295157        (57.39 % deleted)
109.87/109.91	Memory used           : 19.62 MB
109.87/109.91	CPU time              : 109.888 s
109.87/109.91	c _______________________________________________________________________________

Verifier Data 

OK	788263

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-4114561-1466517466/watcher-4114561-1466517466 -o /tmp/evaluation-result-4114561-1466517466/solver-4114561-1466517466 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466514771-19973 --watchdog 1960 minisatp HOME/instance-4114561-1466517466.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.12 2.14 2.11 3/174 22203
/proc/meminfo: memFree=30463184/32872528 swapFree=1316768/1463936
[pid=22203] ppid=22200 vsize=6332 CPUtime=0 cores=1,3,5,7
/proc/22203/stat : 22203 (minisatp) R 22200 22203 19956 0 -1 4202496 312 0 0 0 0 0 0 0 20 0 1 0 53793532 6483968 188 33554432000 4194304 5646918 140736596724896 140736577218952 4953168 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 1583 188 118 355 0 1224 0

[startup+0.10015 s]
/proc/loadavg: 2.12 2.14 2.11 3/174 22203
/proc/meminfo: memFree=30463184/32872528 swapFree=1316768/1463936
[pid=22203] ppid=22200 vsize=4176 CPUtime=0.09 cores=1,3,5,7
/proc/22203/stat : 22203 (minisatp) R 22200 22203 19956 0 -1 4202496 978 0 0 0 9 0 0 0 20 0 1 0 53793532 4276224 749 33554432000 4194304 5646918 140736596724896 140736577218952 4402764 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 1044 749 150 355 0 685 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4176

[startup+0.200286 s]
/proc/loadavg: 2.12 2.14 2.11 3/174 22203
/proc/meminfo: memFree=30463184/32872528 swapFree=1316768/1463936
[pid=22203] ppid=22200 vsize=8504 CPUtime=0.19 cores=1,3,5,7
/proc/22203/stat : 22203 (minisatp) R 22200 22203 19956 0 -1 4202496 2030 0 0 0 19 0 0 0 20 0 1 0 53793532 8708096 1801 33554432000 4194304 5646918 140736596724896 140736577218952 4832079 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 2126 1801 151 355 0 1767 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8504

[startup+0.300287 s]
/proc/loadavg: 2.12 2.14 2.11 3/174 22203
/proc/meminfo: memFree=30463184/32872528 swapFree=1316768/1463936
[pid=22203] ppid=22200 vsize=8504 CPUtime=0.29 cores=1,3,5,7
/proc/22203/stat : 22203 (minisatp) R 22200 22203 19956 0 -1 4202496 2030 0 0 0 29 0 0 0 20 0 1 0 53793532 8708096 1801 33554432000 4194304 5646918 140736596724896 140736577218952 4832048 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 2126 1801 151 355 0 1767 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8504

[startup+0.700237 s]
/proc/loadavg: 2.12 2.14 2.11 3/174 22203
/proc/meminfo: memFree=30463184/32872528 swapFree=1316768/1463936
[pid=22203] ppid=22200 vsize=8504 CPUtime=0.69 cores=1,3,5,7
/proc/22203/stat : 22203 (minisatp) R 22200 22203 19956 0 -1 4202496 2030 0 0 0 69 0 0 0 20 0 1 0 53793532 8708096 1801 33554432000 4194304 5646918 140736596724896 140736596703672 4832127 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 2126 1801 151 355 0 1767 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8504

[startup+1.50024 s]
/proc/loadavg: 2.12 2.14 2.11 3/175 22204
/proc/meminfo: memFree=30450672/32872528 swapFree=1316768/1463936
[pid=22203] ppid=22200 vsize=8504 CPUtime=1.49 cores=1,3,5,7
/proc/22203/stat : 22203 (minisatp) R 22200 22203 19956 0 -1 4202496 2030 0 0 0 149 0 0 0 20 0 1 0 53793532 8708096 1801 33554432000 4194304 5646918 140736596724896 140736596703672 4831344 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 2126 1801 151 355 0 1767 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8504

[startup+3.10022 s]
/proc/loadavg: 2.12 2.14 2.11 3/175 22204
/proc/meminfo: memFree=30446896/32872528 swapFree=1316768/1463936
[pid=22203] ppid=22200 vsize=8504 CPUtime=3.09 cores=1,3,5,7
/proc/22203/stat : 22203 (minisatp) R 22200 22203 19956 0 -1 4202496 2030 0 0 0 309 0 0 0 20 0 1 0 53793532 8708096 1801 33554432000 4194304 5646918 140736596724896 140736596703672 4817444 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 2126 1801 151 355 0 1767 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8504

[startup+6.30024 s]
/proc/loadavg: 2.11 2.13 2.11 3/175 22204
/proc/meminfo: memFree=30433852/32872528 swapFree=1316768/1463936
[pid=22203] ppid=22200 vsize=8504 CPUtime=6.29 cores=1,3,5,7
/proc/22203/stat : 22203 (minisatp) R 22200 22203 19956 0 -1 4202496 2030 0 0 0 629 0 0 0 20 0 1 0 53793532 8708096 1801 33554432000 4194304 5646918 140736596724896 140736596703672 4817468 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 2126 1801 151 355 0 1767 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8504

[startup+12.7002 s]
/proc/loadavg: 2.10 2.13 2.11 3/175 22204
/proc/meminfo: memFree=30412012/32872528 swapFree=1316768/1463936
[pid=22203] ppid=22200 vsize=13172 CPUtime=12.69 cores=1,3,5,7
/proc/22203/stat : 22203 (minisatp) R 22200 22203 19956 0 -1 4202496 3478 0 0 0 1269 0 0 0 20 0 1 0 53793532 13488128 2907 33554432000 4194304 5646918 140736596724896 140736596705320 4817360 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 3293 2907 151 355 0 2934 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13172

[startup+25.5003 s]
/proc/loadavg: 2.15 2.14 2.11 3/175 22204
/proc/meminfo: memFree=30387084/32872528 swapFree=1316768/1463936
[pid=22203] ppid=22200 vsize=13568 CPUtime=25.48 cores=1,3,5,7
/proc/22203/stat : 22203 (minisatp) R 22200 22203 19956 0 -1 4202496 3644 0 0 0 2548 0 0 0 20 0 1 0 53793532 13893632 3069 33554432000 4194304 5646918 140736596724896 140736596723176 4831331 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 3392 3069 152 355 0 3033 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 13568

[startup+51.1004 s]
/proc/loadavg: 2.17 2.14 2.11 3/175 22204
/proc/meminfo: memFree=30360352/32872528 swapFree=1316768/1463936
[pid=22203] ppid=22200 vsize=17472 CPUtime=51.08 cores=1,3,5,7
/proc/22203/stat : 22203 (minisatp) R 22200 22203 19956 0 -1 4202496 4352 0 0 0 5108 0 0 0 20 0 1 0 53793532 17891328 3769 33554432000 4194304 5646918 140736596724896 140736596723560 4817699 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 4368 3769 152 355 0 4009 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17472

[startup+102.3 s]
/proc/loadavg: 2.13 2.13 2.11 3/175 22206
/proc/meminfo: memFree=30391304/32872528 swapFree=1316768/1463936
[pid=22203] ppid=22200 vsize=20084 CPUtime=102.28 cores=1,3,5,7
/proc/22203/stat : 22203 (minisatp) R 22200 22203 19956 0 -1 4202496 5295 0 0 0 10227 1 0 0 20 0 1 0 53793532 20566016 4706 33554432000 4194304 5646918 140736596724896 140736596723560 4831305 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 5021 4706 152 355 0 4662 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 20084

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

[startup+102.407 s]
/proc/loadavg: 2.13 2.13 2.11 3/175 22206
/proc/meminfo: memFree=30391304/32872528 swapFree=1316768/1463936
[pid=22203] ppid=22200 vsize=20084 CPUtime=102.38 cores=1,3,5,7
/proc/22203/stat : 22203 (minisatp) R 22200 22203 19956 0 -1 4202496 5295 0 0 0 10237 1 0 0 20 0 1 0 53793532 20566016 4706 33554432000 4194304 5646918 140736596724896 140736596723560 4824677 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 5021 4706 152 355 0 4662 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 20084

[startup+105.6 s]
/proc/loadavg: 2.13 2.13 2.11 3/175 22206
/proc/meminfo: memFree=30385160/32872528 swapFree=1316768/1463936
[pid=22203] ppid=22200 vsize=20084 CPUtime=105.58 cores=1,3,5,7
/proc/22203/stat : 22203 (minisatp) R 22200 22203 19956 0 -1 4202496 5295 0 0 0 10557 1 0 0 20 0 1 0 53793532 20566016 4706 33554432000 4194304 5646918 140736596724896 140736596723560 4817614 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 5021 4706 152 355 0 4662 0
Current children cumulated CPU time (s) 105.58
Current children cumulated vsize (KiB) 20084

[startup+107.2 s]
/proc/loadavg: 2.13 2.13 2.11 3/175 22206
/proc/meminfo: memFree=30383112/32872528 swapFree=1316768/1463936
[pid=22203] ppid=22200 vsize=20084 CPUtime=107.17 cores=1,3,5,7
/proc/22203/stat : 22203 (minisatp) R 22200 22203 19956 0 -1 4202496 5295 0 0 0 10716 1 0 0 20 0 1 0 53793532 20566016 4706 33554432000 4194304 5646918 140736596724896 140736596723560 4817409 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 5021 4706 152 355 0 4662 0
Current children cumulated CPU time (s) 107.17
Current children cumulated vsize (KiB) 20084

[startup+108.8 s]
/proc/loadavg: 2.20 2.15 2.11 3/175 22206
/proc/meminfo: memFree=30381748/32872528 swapFree=1316768/1463936
[pid=22203] ppid=22200 vsize=20084 CPUtime=108.77 cores=1,3,5,7
/proc/22203/stat : 22203 (minisatp) R 22200 22203 19956 0 -1 4202496 5296 0 0 0 10876 1 0 0 20 0 1 0 53793532 20566016 4707 33554432000 4194304 5646918 140736596724896 140736596723176 4397545 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 5021 4707 152 355 0 4662 0
Current children cumulated CPU time (s) 108.77
Current children cumulated vsize (KiB) 20084

[startup+109.6 s]
/proc/loadavg: 2.20 2.15 2.11 3/175 22206
/proc/meminfo: memFree=30379204/32872528 swapFree=1316768/1463936
[pid=22203] ppid=22200 vsize=20084 CPUtime=109.57 cores=1,3,5,7
/proc/22203/stat : 22203 (minisatp) R 22200 22203 19956 0 -1 4202496 5296 0 0 0 10956 1 0 0 20 0 1 0 53793532 20566016 4707 33554432000 4194304 5646918 140736596724896 140736596723176 4399261 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 5021 4707 152 355 0 4662 0
Current children cumulated CPU time (s) 109.57
Current children cumulated vsize (KiB) 20084

[startup+109.8 s]
/proc/loadavg: 2.20 2.15 2.11 3/175 22206
/proc/meminfo: memFree=30379204/32872528 swapFree=1316768/1463936
[pid=22203] ppid=22200 vsize=20084 CPUtime=109.77 cores=1,3,5,7
/proc/22203/stat : 22203 (minisatp) R 22200 22203 19956 0 -1 4202496 5296 0 0 0 10976 1 0 0 20 0 1 0 53793532 20566016 4707 33554432000 4194304 5646918 140736596724896 140736596723176 4402661 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 5021 4707 152 355 0 4662 0
Current children cumulated CPU time (s) 109.77
Current children cumulated vsize (KiB) 20084

[startup+109.9 s]
/proc/loadavg: 2.20 2.15 2.11 3/175 22206
/proc/meminfo: memFree=30379204/32872528 swapFree=1316768/1463936
[pid=22203] ppid=22200 vsize=20084 CPUtime=109.87 cores=1,3,5,7
/proc/22203/stat : 22203 (minisatp) R 22200 22203 19956 0 -1 4202496 5296 0 0 0 10986 1 0 0 20 0 1 0 53793532 20566016 4707 33554432000 4194304 5646918 140736596724896 140736596723176 4402947 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22203/statm: 5021 4707 152 355 0 4662 0
Current children cumulated CPU time (s) 109.87
Current children cumulated vsize (KiB) 20084

Child status: 0
Real time (s): 109.921
CPU time (s): 109.904
CPU user time (s): 109.888
CPU system time (s): 0.015997
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 20084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 109.888
system time used= 0.015997
maximum resident set size= 18864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5305
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= 1
involuntary context switches= 116

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.254961 second user time and 0.353946 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-21 15:57:46
IDJOB=4114561
IDBENCH=1513
IDSOLVER=2555
FILE ID=node121/4114561-1466517466
RUNJOBID= node121-1466514771-19973
PBS_JOBID= 19942880
Free space on /tmp= 71716 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-pipex.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4114561-1466517466/watcher-4114561-1466517466 -o /tmp/evaluation-result-4114561-1466517466/solver-4114561-1466517466 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466514771-19973 --watchdog 1960  minisatp HOME/instance-4114561-1466517466.opb

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

MD5SUM BENCH= 3e6a99258fbc02bc052cab2d6151884d
RANDOM SEED=1212657172

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30464340 kB
Buffers:            4564 kB
Cached:            41716 kB
SwapCached:         1532 kB
Active:           223132 kB
Inactive:          23180 kB
Active(anon):     201712 kB
Inactive(anon):      548 kB
Active(file):      21420 kB
Inactive(file):    22632 kB
Unevictable:     1463936 kB
Mlocked:         1316768 kB
SwapTotal:      67108856 kB
SwapFree:       67099484 kB
Dirty:              3504 kB
Writeback:             0 kB
AnonPages:       1780576 kB
Mapped:             7820 kB
Shmem:                 0 kB
Slab:             564368 kB
SReclaimable:       8852 kB
SUnreclaim:       555516 kB
KernelStack:        1456 kB
PageTables:         7896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1778272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    331776 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-4114561-1466517466.opb

Free space on /tmp at the end= 71712 MiB
End job on node121 at 2016-06-21 15:59:36