Trace number 4115275

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-d91742bOPT164393 64.9221 64.9313

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-pipex.opb
MD5SUMed5b5ce3af44efa2d285a6206b4187fd
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark164393
Best CPU time to get the best result obtained on this benchmark0.249961
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 164393
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 22495
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 524314
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 22495
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 524314
Number of bits of the biggest sum of numbers20
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.02	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.10	|  Eliminated clauses:           0.07 Mb                                      |
0.09/0.10	============================[ Search Statistics ]==============================
0.09/0.10	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.10	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.09/0.10	===============================================================================
0.09/0.10	|       100 |    2424     9270    26235 |     3399      100     14 |  0.600 % |
0.09/0.10	|       250 |    2424     9270    26235 |     3738      250     20 |  0.600 % |
0.09/0.10	|       475 |    2424     9270    26235 |     4112      475     21 |  0.600 % |
0.09/0.10	|       812 |    2424     9270    26235 |     4524      812     22 |  0.600 % |
0.09/0.10	===============================================================================
0.09/0.10	c Found solution: 183170
0.09/0.10	c ---[   0]---> Sorter-cost:12609     Base: 3 3 3 5 5 3 3
3.09/3.14	|  Eliminated clauses:           0.24 Mb                                      |
3.09/3.14	============================[ Search Statistics ]==============================
3.09/3.14	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.09/3.14	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
3.09/3.14	===============================================================================
3.09/3.14	===============================================================================
3.09/3.14	c Found solution: 181422
3.09/3.14	c ---[   0]---> Sorter-cost:    9     Base: 3 3 3 5 5 3 3
6.09/6.16	|  Eliminated clauses:           0.26 Mb                                      |
6.09/6.16	============================[ Search Statistics ]==============================
6.09/6.16	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.09/6.16	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
6.09/6.16	===============================================================================
6.09/6.16	|       992 |    9602    38690   105709 |    14186      992     23 |  0.171 % |
6.09/6.16	|      1142 |    9602    38690   105709 |    15604     1142     25 |  0.171 % |
6.09/6.16	===============================================================================
6.09/6.16	c Found solution: 180081
6.09/6.16	c ---[   0]---> Sorter-cost:    9     Base: 3 3 3 5 5 3 3
9.19/9.26	|  Eliminated clauses:           0.26 Mb                                      |
9.19/9.26	============================[ Search Statistics ]==============================
9.19/9.26	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
9.19/9.26	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
9.19/9.26	===============================================================================
9.19/9.26	|      1272 |    9635    38806   106222 |    14228     1272     25 |  0.176 % |
9.19/9.26	|      1422 |    9635    38806   106222 |    15651     1422     26 |  0.176 % |
9.19/9.26	|      1647 |    9635    38806   106222 |    17216     1647     26 |  0.176 % |
9.19/9.26	===============================================================================
9.19/9.26	c Found solution: 176470
9.19/9.26	c ---[   0]---> Sorter-cost:   11     Base: 3 3 3 5 5 3 3
12.19/12.22	|  Eliminated clauses:           0.27 Mb                                      |
12.19/12.22	============================[ Search Statistics ]==============================
12.19/12.22	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.19/12.22	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
12.19/12.22	===============================================================================
12.19/12.22	===============================================================================
12.19/12.22	c Found solution: 175942
12.19/12.22	c ---[   0]---> Sorter-cost:   10     Base: 3 3 3 5 5 3 3
15.09/15.18	|  Eliminated clauses:           0.28 Mb                                      |
15.09/15.18	============================[ Search Statistics ]==============================
15.09/15.18	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
15.09/15.18	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
15.09/15.18	===============================================================================
15.09/15.18	===============================================================================
15.09/15.18	c Found solution: 175802
15.09/15.18	c ---[   0]---> Sorter-cost:   10     Base: 3 3 3 5 5 3 3
18.09/18.16	|  Eliminated clauses:           0.28 Mb                                      |
18.09/18.16	============================[ Search Statistics ]==============================
18.09/18.16	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
18.09/18.16	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
18.09/18.16	===============================================================================
18.09/18.16	|      2033 |    9807    39454   108820 |    14466     2033     28 |  0.185 % |
18.09/18.16	===============================================================================
18.09/18.16	c Found solution: 174151
18.09/18.16	c ---[   0]---> Sorter-cost:    9     Base: 3 3 3 5 5 3 3
21.18/21.28	|  Eliminated clauses:           0.28 Mb                                      |
21.18/21.28	============================[ Search Statistics ]==============================
21.18/21.28	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
21.18/21.28	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
21.18/21.28	===============================================================================
21.18/21.28	|      2135 |    9810    39468   108971 |    14471     2135     31 |  0.191 % |
21.18/21.28	|      2285 |    9810    39468   108971 |    15918     2285     30 |  0.191 % |
21.18/21.28	|      2510 |    9810    39468   108971 |    17510     2510     29 |  0.191 % |
21.18/21.28	|      2847 |    9810    39468   108971 |    19261     2847     28 |  0.191 % |
21.18/21.28	===============================================================================
21.18/21.28	c Found solution: 171314
21.18/21.28	c ---[   0]---> Sorter-cost:    8     Base: 3 3 3 5 5 3 3
24.19/24.26	|  Eliminated clauses:           0.28 Mb                                      |
24.19/24.26	============================[ Search Statistics ]==============================
24.19/24.26	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
24.19/24.26	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
24.19/24.26	===============================================================================
24.19/24.26	===============================================================================
24.19/24.26	c Found solution: 169249
24.19/24.26	c ---[   0]---> Sorter-cost:   11     Base: 3 3 3 5 5 3 3
27.38/27.40	|  Eliminated clauses:           0.28 Mb                                      |
27.38/27.40	============================[ Search Statistics ]==============================
27.38/27.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
27.38/27.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
27.38/27.40	===============================================================================
27.38/27.40	|      3134 |    9847    39596   109442 |    14518     3134     30 |  0.200 % |
27.38/27.40	|      3284 |    9847    39596   109442 |    15970     3284     31 |  0.200 % |
27.38/27.40	|      3509 |    9847    39596   109442 |    17567     3509     31 |  0.200 % |
27.38/27.40	|      3846 |    9847    39596   109442 |    19324     3846     32 |  0.200 % |
27.38/27.40	===============================================================================
27.38/27.40	c Found solution: 168047
27.38/27.40	c ---[   0]---> Sorter-cost:    7     Base: 3 3 3 5 5 3 3
30.38/30.43	|  Eliminated clauses:           0.28 Mb                                      |
30.38/30.43	============================[ Search Statistics ]==============================
30.38/30.43	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
30.38/30.43	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
30.38/30.43	===============================================================================
30.38/30.43	|      4011 |    9849    39605   109543 |    14521     4011     34 |  0.206 % |
30.38/30.43	===============================================================================
30.38/30.43	c Found solution: 167296
30.38/30.43	c ---[   0]---> Sorter-cost:    8     Base: 3 3 3 5 5 3 3
37.08/37.12	|  Eliminated clauses:           0.28 Mb                                      |
37.08/37.12	============================[ Search Statistics ]==============================
37.08/37.12	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
37.08/37.12	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
37.08/37.12	===============================================================================
37.08/37.12	|      4230 |    9851    39619   109662 |    14526     4230     34 |  0.212 % |
37.08/37.12	|      4380 |    9851    39619   109662 |    15979     4380     34 |  0.212 % |
37.08/37.12	|      4605 |    9851    39619   109662 |    17577     4605     34 |  0.212 % |
37.08/37.12	|      4942 |    9851    39619   109662 |    19335     4942     34 |  0.212 % |
37.08/37.12	|      5448 |    9851    39619   109662 |    21268     5448     34 |  0.212 % |
37.08/37.12	|      6207 |    9851    39619   109662 |    23395     6207     34 |  0.212 % |
37.08/37.12	|      7346 |    9819    39619   109662 |    25735     7345     33 |  0.400 % |
37.08/37.12	|      9054 |    9755    39619   109662 |    28308     9040     34 |  0.776 % |
37.08/37.12	|     11616 |    9672    39619   109662 |    31139    11590     33 |  1.263 % |
37.08/37.12	|     15460 |    9672    39619   109662 |    34253    15434     31 |  1.263 % |
37.08/37.12	===============================================================================
37.08/37.12	c Found solution: 165242
37.08/37.12	c ---[   0]---> Sorter-cost:    5     Base: 3 3 3 5 5 3 3
46.89/46.91	|  Eliminated clauses:           0.29 Mb                                      |
46.89/46.91	============================[ Search Statistics ]==============================
46.89/46.91	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
46.89/46.91	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
46.89/46.91	===============================================================================
46.89/46.91	|     21203 |    9540    38419   106419 |    14086    10639     24 |  1.269 % |
46.89/46.91	|     21353 |    9540    38419   106419 |    15495    10789     24 |  1.269 % |
46.89/46.91	|     21578 |    9540    38419   106419 |    17045    11014     24 |  1.269 % |
46.89/46.91	|     21915 |    9540    38419   106419 |    18749    11351     24 |  1.269 % |
46.89/46.91	|     22421 |    9540    38419   106419 |    20624    11857     24 |  1.269 % |
46.89/46.91	|     23180 |    9540    38419   106419 |    22687    12616     24 |  1.269 % |
46.89/46.91	|     24319 |    9540    38419   106419 |    24955    13755     24 |  1.269 % |
46.89/46.91	|     26027 |    9540    38419   106419 |    27451    15463     25 |  1.269 % |
46.89/46.91	|     28589 |    9540    38419   106419 |    30196    18025     25 |  1.268 % |
46.89/46.91	|     32433 |    9540    38419   106419 |    33216    21869     25 |  1.269 % |
46.89/46.91	|     38199 |    9540    38419   106419 |    36537    27635     25 |  1.269 % |
46.89/46.91	|     46848 |    9540    38419   106419 |    40191    36284     24 |  1.269 % |
46.89/46.91	===============================================================================
46.89/46.91	c Found solution: 165022
46.89/46.91	c ---[   0]---> Sorter-cost:    9     Base: 3 3 3 5 5 3 3
49.99/50.02	|  Eliminated clauses:           0.29 Mb                                      |
49.99/50.02	============================[ Search Statistics ]==============================
49.99/50.02	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
49.99/50.02	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
49.99/50.02	===============================================================================
49.99/50.02	|     49356 |    9541    38429   106494 |    14090     8683     19 |  1.272 % |
49.99/50.02	|     49506 |    9541    38429   106494 |    15499     8833     19 |  1.272 % |
49.99/50.02	|     49731 |    9541    38429   106494 |    17049     9058     19 |  1.272 % |
49.99/50.02	===============================================================================
49.99/50.02	c Found solution: 164731
49.99/50.02	c ---[   0]---> Sorter-cost:    7     Base: 3 3 3 5 5 3 3
55.29/55.30	|  Eliminated clauses:           0.29 Mb                                      |
55.29/55.30	============================[ Search Statistics ]==============================
55.29/55.30	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
55.29/55.30	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
55.29/55.30	===============================================================================
55.29/55.30	|     49905 |    9544    38447   106689 |    14097     9232     19 |  1.275 % |
55.29/55.30	|     50055 |    9544    38447   106689 |    15506     9382     19 |  1.275 % |
55.29/55.30	|     50280 |    9544    38447   106689 |    17057     9607     19 |  1.275 % |
55.29/55.30	|     50617 |    9544    38447   106689 |    18763     9944     20 |  1.275 % |
55.29/55.30	|     51123 |    9544    38447   106689 |    20639    10450     20 |  1.275 % |
55.29/55.30	|     51882 |    9544    38447   106689 |    22703    11209     20 |  1.275 % |
55.29/55.30	|     53021 |    9544    38447   106689 |    24974    12348     21 |  1.275 % |
55.29/55.30	|     54729 |    9544    38447   106689 |    27471    14056     21 |  1.275 % |
55.29/55.30	|     57291 |    9544    38447   106689 |    30218    16618     22 |  1.275 % |
55.29/55.30	===============================================================================
55.29/55.30	c Found solution: 164419
55.29/55.30	c ---[   0]---> Sorter-cost:    8     Base: 3 3 3 5 5 3 3
62.38/62.45	|  Eliminated clauses:           0.29 Mb                                      |
62.38/62.45	============================[ Search Statistics ]==============================
62.38/62.45	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
62.38/62.45	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
62.38/62.45	===============================================================================
62.38/62.45	|     60314 |    9545    38457   106761 |    14100     9871     21 |  1.278 % |
62.38/62.45	|     60464 |    9545    38457   106761 |    15510    10021     21 |  1.278 % |
62.38/62.45	|     60689 |    9545    38457   106761 |    17062    10246     21 |  1.278 % |
62.38/62.45	|     61026 |    9545    38457   106761 |    18768    10583     21 |  1.278 % |
62.38/62.45	|     61532 |    9545    38457   106761 |    20645    11089     22 |  1.278 % |
62.38/62.45	|     62291 |    9545    38457   106761 |    22709    11848     22 |  1.278 % |
62.38/62.45	|     63430 |    9545    38457   106761 |    24980    12987     22 |  1.278 % |
62.38/62.45	|     65138 |    9545    38457   106761 |    27478    14695     22 |  1.278 % |
62.38/62.45	|     67700 |    9545    38457   106761 |    30226    17257     22 |  1.278 % |
62.38/62.45	|     71544 |    9545    38457   106761 |    33249    21101     22 |  1.278 % |
62.38/62.45	|     77310 |    9324    38457   106761 |    36574    12491     20 |  2.562 % |
62.38/62.45	===============================================================================
62.38/62.45	c Found solution: 164393
62.38/62.45	c ---[   0]---> Sorter-cost: 7960     Base: 3 3 3 3 3 3 3 3
64.89/64.92	|  Eliminated clauses:           0.42 Mb                                      |
64.89/64.92	============================[ Search Statistics ]==============================
64.89/64.92	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
64.89/64.92	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
64.89/64.92	===============================================================================
64.89/64.92	|     78539 |    8066    50244   137271 |    18422     5587     18 | 22.296 % |
64.89/64.92	===============================================================================
64.89/64.92	c Optimal solution: 164393
64.89/64.92	s OPTIMUM FOUND
64.89/64.92	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
64.89/64.92	c _______________________________________________________________________________
64.89/64.92	c 
64.89/64.92	restarts              : 318
64.89/64.92	conflicts             : 78577          (1211 /sec)
64.89/64.92	decisions             : 104601         (0.00 % random) (1612 /sec)
64.89/64.92	propagations          : 91801775       (1414356 /sec)
64.89/64.92	conflict literals     : 1993487        (59.94 % deleted)
64.89/64.92	Memory used           : 23.11 MB
64.89/64.92	CPU time              : 64.9071 s
64.89/64.92	c _______________________________________________________________________________

Verifier Data 

OK	164393

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-4115275-1466526687/watcher-4115275-1466526687 -o /tmp/evaluation-result-4115275-1466526687/solver-4115275-1466526687 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466515278-25741 --watchdog 1960 minisatp HOME/instance-4115275-1466526687.opb 

pid=28309
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.00 2.00 2.00 3/176 28312
/proc/meminfo: memFree=31703680/32872528 swapFree=249320/249320
[pid=28312] ppid=28309 vsize=6332 CPUtime=0 cores=0,2,4,6
/proc/28312/stat : 28312 (minisatp) R 28309 28312 25725 0 -1 4202496 313 0 0 0 0 0 0 0 20 0 1 0 54719110 6483968 189 33554432000 4194304 5646918 140734548193056 140733751263384 4953168 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28312/statm: 1583 189 118 355 0 1224 0

[startup+0.100158 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28312
/proc/meminfo: memFree=31703680/32872528 swapFree=249320/249320
[pid=28312] ppid=28309 vsize=4176 CPUtime=0.09 cores=0,2,4,6
/proc/28312/stat : 28312 (minisatp) R 28309 28312 25725 0 -1 4202496 979 0 0 0 9 0 0 0 20 0 1 0 54719110 4276224 750 33554432000 4194304 5646918 140734548193056 140733751263384 4402684 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28312/statm: 1044 750 150 355 0 685 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4176

[startup+0.200278 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28312
/proc/meminfo: memFree=31703680/32872528 swapFree=249320/249320
[pid=28312] ppid=28309 vsize=8244 CPUtime=0.19 cores=0,2,4,6
/proc/28312/stat : 28312 (minisatp) R 28309 28312 25725 0 -1 4202496 1948 0 0 0 19 0 0 0 20 0 1 0 54719110 8441856 1719 33554432000 4194304 5646918 140734548193056 140733751263384 4823342 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28312/statm: 2061 1719 151 355 0 1702 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8244

[startup+0.300282 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28312
/proc/meminfo: memFree=31703680/32872528 swapFree=249320/249320
[pid=28312] ppid=28309 vsize=8244 CPUtime=0.29 cores=0,2,4,6
/proc/28312/stat : 28312 (minisatp) R 28309 28312 25725 0 -1 4202496 1948 0 0 0 29 0 0 0 20 0 1 0 54719110 8441856 1719 33554432000 4194304 5646918 140734548193056 140733751263384 4831366 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28312/statm: 2061 1719 151 355 0 1702 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8244

[startup+0.700232 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 28312
/proc/meminfo: memFree=31703680/32872528 swapFree=249320/249320
[pid=28312] ppid=28309 vsize=8244 CPUtime=0.69 cores=0,2,4,6
/proc/28312/stat : 28312 (minisatp) R 28309 28312 25725 0 -1 4202496 1948 0 0 0 69 0 0 0 20 0 1 0 54719110 8441856 1719 33554432000 4194304 5646918 140734548193056 140734548172280 4560688 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28312/statm: 2061 1719 151 355 0 1702 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8244

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28313
/proc/meminfo: memFree=31695292/32872528 swapFree=249320/249320
[pid=28312] ppid=28309 vsize=8244 CPUtime=1.49 cores=0,2,4,6
/proc/28312/stat : 28312 (minisatp) R 28309 28312 25725 0 -1 4202496 1948 0 0 0 149 0 0 0 20 0 1 0 54719110 8441856 1719 33554432000 4194304 5646918 140734548193056 140734548172280 4476955 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28312/statm: 2061 1719 151 355 0 1702 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8244

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28313
/proc/meminfo: memFree=31694812/32872528 swapFree=249320/249320
[pid=28312] ppid=28309 vsize=9512 CPUtime=3.09 cores=0,2,4,6
/proc/28312/stat : 28312 (minisatp) R 28309 28312 25725 0 -1 4202496 2365 0 0 0 309 0 0 0 20 0 1 0 54719110 9740288 2054 33554432000 4194304 5646918 140734548193056 140734548172280 4419702 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28312/statm: 2378 2055 151 355 0 2019 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9512

[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28313
/proc/meminfo: memFree=31689756/32872528 swapFree=249320/249320
[pid=28312] ppid=28309 vsize=13824 CPUtime=6.29 cores=0,2,4,6
/proc/28312/stat : 28312 (minisatp) R 28309 28312 25725 0 -1 4202496 3694 0 0 0 629 0 0 0 20 0 1 0 54719110 14155776 3069 33554432000 4194304 5646918 140734548193056 140734548172216 4823276 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28312/statm: 3456 3069 152 355 0 3097 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13824

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28313
/proc/meminfo: memFree=31689096/32872528 swapFree=249320/249320
[pid=28312] ppid=28309 vsize=13824 CPUtime=12.69 cores=0,2,4,6
/proc/28312/stat : 28312 (minisatp) R 28309 28312 25725 0 -1 4202496 3736 0 0 0 1269 0 0 0 20 0 1 0 54719110 14155776 3109 33554432000 4194304 5646918 140734548193056 140734548191720 4817373 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28312/statm: 3456 3109 152 355 0 3097 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13824

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28313
/proc/meminfo: memFree=31685256/32872528 swapFree=249320/249320
[pid=28312] ppid=28309 vsize=15268 CPUtime=25.48 cores=0,2,4,6
/proc/28312/stat : 28312 (minisatp) R 28309 28312 25725 0 -1 4202496 3988 0 0 0 2548 0 0 0 20 0 1 0 54719110 15634432 3359 33554432000 4194304 5646918 140734548193056 140734548191720 4817383 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28312/statm: 3817 3359 152 355 0 3458 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15268

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28313
/proc/meminfo: memFree=31668488/32872528 swapFree=249320/249320
[pid=28312] ppid=28309 vsize=23372 CPUtime=51.09 cores=0,2,4,6
/proc/28312/stat : 28312 (minisatp) R 28309 28312 25725 0 -1 4202496 5578 0 0 0 5108 1 0 0 20 0 1 0 54719110 23932928 5442 33554432000 4194304 5646918 140734548193056 140734548191720 4460844 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28312/statm: 5843 5442 152 355 0 5484 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 23372

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

[startup+51.2003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28313
/proc/meminfo: memFree=31668488/32872528 swapFree=249320/249320
[pid=28312] ppid=28309 vsize=23372 CPUtime=51.19 cores=0,2,4,6
/proc/28312/stat : 28312 (minisatp) R 28309 28312 25725 0 -1 4202496 5578 0 0 0 5118 1 0 0 20 0 1 0 54719110 23932928 5442 33554432000 4194304 5646918 140734548193056 140734548191720 4831331 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28312/statm: 5843 5442 152 355 0 5484 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 23372

[startup+57.6002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28313
/proc/meminfo: memFree=31663952/32872528 swapFree=249320/249320
[pid=28312] ppid=28309 vsize=23372 CPUtime=57.58 cores=0,2,4,6
/proc/28312/stat : 28312 (minisatp) R 28309 28312 25725 0 -1 4202496 5579 0 0 0 5757 1 0 0 20 0 1 0 54719110 23932928 5443 33554432000 4194304 5646918 140734548193056 140734548191720 4817699 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28312/statm: 5843 5443 152 355 0 5484 0
Current children cumulated CPU time (s) 57.58
Current children cumulated vsize (KiB) 23372

[startup+60.8002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28314
/proc/meminfo: memFree=31664080/32872528 swapFree=249320/249320
[pid=28312] ppid=28309 vsize=23372 CPUtime=60.78 cores=0,2,4,6
/proc/28312/stat : 28312 (minisatp) R 28309 28312 25725 0 -1 4202496 5579 0 0 0 6077 1 0 0 20 0 1 0 54719110 23932928 5443 33554432000 4194304 5646918 140734548193056 140734548191336 4402818 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28312/statm: 5843 5443 152 355 0 5484 0
Current children cumulated CPU time (s) 60.78
Current children cumulated vsize (KiB) 23372

[startup+62.4002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28314
/proc/meminfo: memFree=31663948/32872528 swapFree=249320/249320
[pid=28312] ppid=28309 vsize=23372 CPUtime=62.38 cores=0,2,4,6
/proc/28312/stat : 28312 (minisatp) R 28309 28312 25725 0 -1 4202496 5581 0 0 0 6237 1 0 0 20 0 1 0 54719110 23932928 5445 33554432000 4194304 5646918 140734548193056 140734548191336 4403225 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28312/statm: 5843 5445 154 355 0 5484 0
Current children cumulated CPU time (s) 62.38
Current children cumulated vsize (KiB) 23372

[startup+64.0003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28314
/proc/meminfo: memFree=31663448/32872528 swapFree=249320/249320
[pid=28312] ppid=28309 vsize=23372 CPUtime=63.98 cores=0,2,4,6
/proc/28312/stat : 28312 (minisatp) R 28309 28312 25725 0 -1 4202496 5581 0 0 0 6397 1 0 0 20 0 1 0 54719110 23932928 5445 33554432000 4194304 5646918 140734548193056 140734548191720 4817701 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28312/statm: 5843 5445 154 355 0 5484 0
Current children cumulated CPU time (s) 63.98
Current children cumulated vsize (KiB) 23372

[startup+64.4002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28314
/proc/meminfo: memFree=31663448/32872528 swapFree=249320/249320
[pid=28312] ppid=28309 vsize=23372 CPUtime=64.38 cores=0,2,4,6
/proc/28312/stat : 28312 (minisatp) R 28309 28312 25725 0 -1 4202496 5581 0 0 0 6437 1 0 0 20 0 1 0 54719110 23932928 5445 33554432000 4194304 5646918 140734548193056 140734548191720 4823259 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28312/statm: 5843 5445 154 355 0 5484 0
Current children cumulated CPU time (s) 64.38
Current children cumulated vsize (KiB) 23372

[startup+64.8002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28314
/proc/meminfo: memFree=31663448/32872528 swapFree=249320/249320
[pid=28312] ppid=28309 vsize=23372 CPUtime=64.78 cores=0,2,4,6
/proc/28312/stat : 28312 (minisatp) R 28309 28312 25725 0 -1 4202496 5581 0 0 0 6477 1 0 0 20 0 1 0 54719110 23932928 5445 33554432000 4194304 5646918 140734548193056 140734548191720 4817485 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28312/statm: 5843 5445 154 355 0 5484 0
Current children cumulated CPU time (s) 64.78
Current children cumulated vsize (KiB) 23372

[startup+64.9002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28314
/proc/meminfo: memFree=31661152/32872528 swapFree=249320/249320
[pid=28312] ppid=28309 vsize=23656 CPUtime=64.89 cores=0,2,4,6
/proc/28312/stat : 28312 (minisatp) R 28309 28312 25725 0 -1 4202496 5668 0 0 0 6488 1 0 0 20 0 1 0 54719110 24223744 5532 33554432000 4194304 5646918 140734548193056 140734548191720 4402764 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/28312/statm: 5914 5532 154 355 0 5555 0
Current children cumulated CPU time (s) 64.89
Current children cumulated vsize (KiB) 23656

Child status: 0
Real time (s): 64.9313
CPU time (s): 64.9221
CPU user time (s): 64.9071
CPU system time (s): 0.014997
CPU usage (%): 99.9858
Max. virtual memory (cumulated for all children) (KiB): 23656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.9071
system time used= 0.014997
maximum resident set size= 22164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5677
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= 67

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.172973 second user time and 0.247962 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-21 18:31:27
IDJOB=4115275
IDBENCH=1733
IDSOLVER=2555
FILE ID=node103/4115275-1466526687
RUNJOBID= node103-1466515278-25741
PBS_JOBID= 19942890
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= ed5b5ce3af44efa2d285a6206b4187fd
RANDOM SEED=1559267683

node103.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		: 2667.278
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	: 5334.55
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		: 2667.278
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		: 2667.278
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		: 2667.278
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		: 2667.278
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		: 2667.278
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		: 2667.278
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		: 2667.278
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:        31704744 kB
Buffers:           11796 kB
Cached:            55400 kB
SwapCached:         1184 kB
Active:           166124 kB
Inactive:          44120 kB
Active(anon):     142876 kB
Inactive(anon):     2036 kB
Active(file):      23248 kB
Inactive(file):    42084 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67100264 kB
Dirty:              3500 kB
Writeback:             0 kB
AnonPages:        434036 kB
Mapped:             8856 kB
Shmem:                 0 kB
Slab:             568404 kB
SReclaimable:      12632 kB
SUnreclaim:       555772 kB
KernelStack:        1472 kB
PageTables:         4420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     527708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     92160 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-4115275-1466526687.opb

Free space on /tmp at the end= 71724 MiB
End job on node103 at 2016-06-21 18:32:32