Trace number 3450685

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
SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4? (TO) 1800.09 1800.03

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_2.opb
MD5SUM1af848a7208b60f67c27d4022c7b5abe
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-125
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -151
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint25
Maximum length of a constraint50
Number of terms in the objective function 1000
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 1000
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 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31544
Sum of products size (including duplicates)63088
Number of different products15772
Sum of products size31544

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3450685-1307107024.opb>
0.01/0.09	c original problem has 16772 variables (16772 bin, 0 int, 0 impl, 0 cont) and 17772 constraints
0.01/0.09	c problem read
0.01/0.09	c presolving settings loaded
0.09/0.18	o 0
0.09/0.18	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.09/0.18	c presolving:
0.29/0.32	c (round 1) 15772 del vars, 2000 del conss, 0 add conss, 15772 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 63088 impls, 0 clqs
0.29/0.37	c (round 2) 15772 del vars, 2000 del conss, 0 add conss, 15772 chg bounds, 0 chg sides, 0 chg coeffs, 15772 upgd conss, 94632 impls, 0 clqs
0.39/0.41	c    (0.4s) probing: 101/1000 (10.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.41	c    (0.4s) probing aborted: 100/100 successive totally useless probings
0.39/0.41	c presolving (3 rounds):
0.39/0.41	c  15772 deleted vars, 2000 deleted constraints, 0 added constraints, 15772 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.41	c  94632 implications, 0 cliques
0.39/0.41	c presolved problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 15772 constraints
0.39/0.41	c   15772 constraints of type <logicor>
0.39/0.41	c transformed objective value is always integral (scale: 1)
0.39/0.41	c Presolving Time: 0.26
0.39/0.41	c - non default parameters ----------------------------------------------------------------------
0.39/0.41	c # SCIP version 2.0.1.5
0.39/0.41	c 
0.39/0.41	c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.39/0.41	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.41	c conflict/interconss = 0
0.39/0.41	c 
0.39/0.41	c # should binary conflicts be preferred?
0.39/0.41	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41	c conflict/preferbinary = TRUE
0.39/0.41	c 
0.39/0.41	c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.39/0.41	c # [type: int, range: [-1,2147483647], default: 0]
0.39/0.41	c constraints/agelimit = 1
0.39/0.41	c 
0.39/0.41	c # should enforcement of pseudo solution be disabled?
0.39/0.41	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41	c constraints/disableenfops = TRUE
0.39/0.41	c 
0.39/0.41	c # frequency for displaying node information lines
0.39/0.41	c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.41	c display/freq = 10000
0.39/0.41	c 
0.39/0.41	c # maximal time in seconds to run
0.39/0.41	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.41	c limits/time = 1800
0.39/0.41	c 
0.39/0.41	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.41	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.41	c limits/memory = 13950
0.39/0.41	c 
0.39/0.41	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.41	c # [type: int, range: [1,2], default: 1]
0.39/0.41	c timing/clocktype = 2
0.39/0.41	c 
0.39/0.41	c # belongs reading time to solving time?
0.39/0.41	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41	c timing/reading = TRUE
0.39/0.41	c 
0.39/0.41	c # should presolving try to simplify inequalities
0.39/0.41	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41	c constraints/linear/simplifyinequalities = TRUE
0.39/0.41	c 
0.39/0.41	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.41	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41	c constraints/indicator/addCouplingCons = TRUE
0.39/0.41	c 
0.39/0.41	c # should presolving try to simplify knapsacks
0.39/0.41	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.41	c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.41	c 
0.39/0.41	c -----------------------------------------------------------------------------------------------
0.39/0.41	c start solving
0.39/0.41	c 
0.59/0.63	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.59/0.63	c t 0.6s|     1 |     0 |  1041 |     - |  52M|   0 |1000 |1000 |  15k|1000 |  15k|   0 |   0 |   0 |-5.000000e+02 | 0.000000e+00 | 100.00%
0.59/0.66	o -1
0.59/0.66	c R 0.7s|     1 |     0 |  1041 |     - |  52M|   0 |1000 |1000 |  15k|1000 |  15k|   0 |   0 |   0 |-5.000000e+02 |-1.000000e+00 |  99.80%
0.69/0.70	o -2
0.69/0.70	c s 0.7s|     1 |     0 |  1041 |     - |  52M|   0 |1000 |1000 |  15k|1000 |  15k|   0 |   0 |   0 |-5.000000e+02 |-2.000000e+00 |  99.60%
0.89/1.01	c   1.0s|     1 |     0 |  1261 |     - |  52M|   0 | 991 |1000 |  15k|1000 |  15k|  12 |   0 |   0 |-4.955000e+02 |-2.000000e+00 |  99.60%
0.89/1.01	o -102
0.89/1.01	c b 1.0s|     1 |     0 |  1261 |     - |  53M|   0 | 991 |1000 |  15k|1000 |  15k|  12 |   0 |   0 |-4.955000e+02 |-1.020000e+02 |  79.41%
1.29/1.38	c   1.4s|     1 |     0 |  1445 |     - |  53M|   0 | 987 |1000 |  15k|1000 |  15k|  20 |   0 |   0 |-4.930000e+02 |-1.020000e+02 |  79.31%
1.69/1.79	c   1.8s|     1 |     0 |  1663 |     - |  53M|   0 | 981 |1000 |  15k|1000 |  15k|  28 |   0 |   0 |-4.905000e+02 |-1.020000e+02 |  79.20%
2.21/2.23	c   2.2s|     1 |     0 |  2013 |     - |  53M|   0 | 975 |1000 |  15k|1000 |  15k|  40 |   0 |   0 |-4.875000e+02 |-1.020000e+02 |  79.08%
2.59/2.64	c   2.6s|     1 |     0 |  2268 |     - |  53M|   0 | 968 |1000 |  15k|1000 |  15k|  51 |   0 |   0 |-4.840000e+02 |-1.020000e+02 |  78.93%
2.99/3.06	c   3.1s|     1 |     0 |  2530 |     - |  53M|   0 | 965 |1000 |  15k|1000 |  15k|  65 |   0 |   0 |-4.815000e+02 |-1.020000e+02 |  78.82%
3.69/3.73	c   3.7s|     1 |     0 |  3366 |     - |  53M|   0 | 954 |1000 |  15k|1000 |  15k|  78 |   0 |   0 |-4.770000e+02 |-1.020000e+02 |  78.62%
4.19/4.24	c   4.2s|     1 |     0 |  3816 |     - |  53M|   0 | 948 |1000 |  15k|1000 |  15k|  89 |   0 |   0 |-4.735000e+02 |-1.020000e+02 |  78.46%
4.69/4.76	c   4.8s|     1 |     0 |  4337 |     - |  53M|   0 | 941 |1000 |  15k|1000 |  15k| 100 |   0 |   0 |-4.700000e+02 |-1.020000e+02 |  78.30%
5.29/5.35	c   5.3s|     1 |     0 |  4983 |     - |  53M|   0 | 937 |1000 |  15k|1000 |  15k| 109 |   0 |   0 |-4.680000e+02 |-1.020000e+02 |  78.21%
6.19/6.23	c   6.2s|     1 |     0 |  6398 |     - |  53M|   0 | 936 |1000 |  15k|1000 |1723 | 118 |   0 |   0 |-4.666250e+02 |-1.020000e+02 |  78.14%
6.40/6.40	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
6.40/6.40	c   6.4s|     1 |     0 |  6714 |     - |  54M|   0 | 931 |1000 |  15k|1000 |1735 | 130 |   0 |   0 |-4.641250e+02 |-1.020000e+02 |  78.02%
6.61/6.64	c   6.6s|     1 |     0 |  7250 |     - |  54M|   0 | 927 |1000 |  15k|1000 |1742 | 137 |   0 |   0 |-4.629792e+02 |-1.020000e+02 |  77.97%
6.79/6.88	c   6.9s|     1 |     0 |  7750 |     - |  55M|   0 | 912 |1000 |  15k|1000 |2023 | 418 |   0 |   0 |-4.614167e+02 |-1.020000e+02 |  77.89%
7.09/7.13	c   7.1s|     1 |     0 |  8349 |     - |  55M|   0 | 928 |1000 |  15k|1000 |2198 | 593 |   0 |   0 |-4.604167e+02 |-1.020000e+02 |  77.85%
7.39/7.47	c   7.5s|     1 |     0 |  8995 |     - |  58M|   0 | 923 |1000 |  15k|1000 |2348 | 743 |   0 |   0 |-4.594583e+02 |-1.020000e+02 |  77.80%
7.79/7.88	c   7.9s|     1 |     0 | 10257 |     - |  59M|   0 | 907 |1000 |  15k|1000 |2108 | 903 |   0 |   0 |-4.565000e+02 |-1.020000e+02 |  77.66%
8.09/8.13	c   8.1s|     1 |     0 | 10999 |     - |  60M|   0 | 896 |1000 |  15k|1000 |2191 | 986 |   0 |   0 |-4.535000e+02 |-1.020000e+02 |  77.51%
8.19/8.29	c   8.3s|     1 |     0 | 11200 |     - |  60M|   0 | 900 |1000 |  15k|1000 |2379 |1174 |   0 |   0 |-4.530000e+02 |-1.020000e+02 |  77.48%
8.59/8.63	c   8.6s|     1 |     0 | 12258 |     - |  61M|   0 | 878 |1000 |  15k|1000 |2463 |1258 |   0 |   0 |-4.505000e+02 |-1.020000e+02 |  77.36%
8.80/8.86	c   8.9s|     1 |     0 | 12771 |     - |  61M|   0 | 896 |1000 |  15k|1000 |2785 |1580 |   0 |   0 |-4.494000e+02 |-1.020000e+02 |  77.30%
9.09/9.19	c   9.2s|     1 |     0 | 14168 |     - |  62M|   0 | 891 |1000 |  15k|1000 |2987 |1782 |   0 |   0 |-4.475000e+02 |-1.020000e+02 |  77.21%
9.49/9.50	c   9.5s|     1 |     0 | 15325 |     - |  62M|   0 | 872 |1000 |  15k|1000 |2804 |1859 |   0 |   0 |-4.460000e+02 |-1.020000e+02 |  77.13%
9.69/9.79	c   9.8s|     1 |     0 | 16226 |     - |  62M|   0 | 892 |1000 |  15k|1000 |3050 |2105 |   0 |   0 |-4.450000e+02 |-1.020000e+02 |  77.08%
10.09/10.10	c  10.1s|     1 |     0 | 17367 |     - |  62M|   0 | 880 |1000 |  15k|1000 |3151 |2206 |   0 |   0 |-4.430000e+02 |-1.020000e+02 |  76.98%
10.39/10.46	c  10.5s|     1 |     0 | 19039 |     - |  63M|   0 | 893 |1000 |  15k|1000 |3241 |2296 |   0 |   0 |-4.412500e+02 |-1.020000e+02 |  76.88%
10.79/10.80	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
10.79/10.80	c  10.8s|     1 |     0 | 19876 |     - |  63M|   0 | 896 |1000 |  15k|1000 |3490 |2545 |   0 |   0 |-4.407500e+02 |-1.020000e+02 |  76.86%
11.19/11.28	c  11.3s|     1 |     0 | 21856 |     - |  63M|   0 | 870 |1000 |  15k|1000 |3560 |2615 |   0 |   0 |-4.397500e+02 |-1.020000e+02 |  76.81%
11.69/11.74	c  11.7s|     1 |     0 | 23773 |     - |  63M|   0 | 891 |1000 |  15k|1000 |2556 |2728 |   0 |   0 |-4.386875e+02 |-1.020000e+02 |  76.75%
12.00/12.02	c  12.0s|     1 |     0 | 24507 |     - |  64M|   0 | 866 |1000 |  15k|1000 |2818 |2990 |   0 |   0 |-4.366667e+02 |-1.020000e+02 |  76.64%
12.29/12.33	c  12.3s|     1 |     0 | 26019 |     - |  64M|   0 | 923 |1000 |  15k|1000 |2967 |3139 |   0 |   0 |-4.349722e+02 |-1.020000e+02 |  76.55%
12.89/12.99	c  13.0s|     1 |     0 | 26160 |     - |  66M|   0 | 873 |1000 |  15k|1000 |4967 |5139 |   0 |   0 |-4.347500e+02 |-1.020000e+02 |  76.54%
13.39/13.42	c  13.4s|     1 |     0 | 27656 |     - |  67M|   0 | 866 |1000 |  15k|1000 |4979 |5151 |   0 |   0 |-4.322500e+02 |-1.020000e+02 |  76.40%
13.69/13.72	c  13.7s|     1 |     0 | 28325 |     - |  67M|   0 | 869 |1000 |  15k|1000 |5008 |5180 |   0 |   0 |-4.313750e+02 |-1.020000e+02 |  76.35%
13.89/13.95	c  13.9s|     1 |     0 | 28777 |     - |  67M|   0 | 859 |1000 |  15k|1000 |3972 |5190 |   0 |   0 |-4.305000e+02 |-1.020000e+02 |  76.31%
14.20/14.22	c  14.2s|     1 |     0 | 29654 |     - |  67M|   0 | 851 |1000 |  15k|1000 |4007 |5225 |   0 |   0 |-4.285000e+02 |-1.020000e+02 |  76.20%
14.49/14.55	c  14.6s|     1 |     0 | 30820 |     - |  67M|   0 | 840 |1000 |  15k|1000 |4077 |5295 |   0 |   0 |-4.270000e+02 |-1.020000e+02 |  76.11%
14.79/14.82	c  14.8s|     1 |     0 | 31644 |     - |  67M|   0 | 835 |1000 |  15k|1000 |4258 |5476 |   0 |   0 |-4.265000e+02 |-1.020000e+02 |  76.08%
15.09/15.16	c  15.2s|     1 |     0 | 32986 |     - |  68M|   0 | 841 |1000 |  15k|1000 |4464 |5682 |   0 |   0 |-4.245000e+02 |-1.020000e+02 |  75.97%
15.59/15.66	c  15.7s|     1 |     0 | 35514 |     - |  68M|   0 | 845 |1000 |  15k|1000 |4572 |5790 |   0 |   0 |-4.210000e+02 |-1.020000e+02 |  75.77%
16.09/16.12	c  16.1s|     1 |     0 | 37493 |     - |  68M|   0 | 836 |1000 |  15k|1000 |3845 |6034 |   0 |   0 |-4.187500e+02 |-1.020000e+02 |  75.64%
16.40/16.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
16.40/16.45	c  16.4s|     1 |     0 | 38892 |     - |  68M|   0 | 815 |1000 |  15k|1000 |3875 |6064 |   0 |   0 |-4.180000e+02 |-1.020000e+02 |  75.60%
16.59/16.67	c  16.7s|     1 |     0 | 39445 |     - |  68M|   0 | 833 |1000 |  15k|1000 |4163 |6352 |   0 |   0 |-4.170000e+02 |-1.020000e+02 |  75.54%
17.00/17.05	c  17.1s|     1 |     0 | 40767 |     - |  70M|   0 | 825 |1000 |  15k|1000 |4196 |6385 |   0 |   0 |-4.170000e+02 |-1.020000e+02 |  75.54%
18.29/18.37	c  18.4s|     1 |     0 | 48324 |     - |  71M|   0 | 830 |1000 |  15k|1000 |4348 |6537 |   0 |   0 |-4.143333e+02 |-1.020000e+02 |  75.38%
18.71/18.72	c  18.7s|     1 |     0 | 49117 |     - |  73M|   0 | 824 |1000 |  15k|1000 |4773 |6962 |   0 |   0 |-4.132500e+02 |-1.020000e+02 |  75.32%
19.19/19.29	c  19.3s|     1 |     0 | 51440 |     - |  74M|   0 | 822 |1000 |  15k|1000 |2893 |7063 |   0 |   0 |-4.112500e+02 |-1.020000e+02 |  75.20%
19.70/19.76	c  19.8s|     1 |     0 | 53716 |     - |  74M|   0 | 843 |1000 |  15k|1000 |3132 |7302 |   0 |   0 |-4.106250e+02 |-1.020000e+02 |  75.16%
20.29/20.35	c  20.3s|     1 |     0 | 55970 |     - |  75M|   0 | 830 |1000 |  15k|1000 |3547 |7717 |   0 |   0 |-4.090000e+02 |-1.020000e+02 |  75.06%
21.09/21.13	c  21.1s|     1 |     0 | 59626 |     - |  75M|   0 | 834 |1000 |  15k|1000 |3892 |8062 |   0 |   0 |-4.080000e+02 |-1.020000e+02 |  75.00%
21.90/21.93	c  21.9s|     1 |     0 | 63752 |     - |  76M|   0 | 839 |1000 |  15k|1000 |4004 |8174 |   0 |   0 |-4.071250e+02 |-1.020000e+02 |  74.95%
23.19/23.20	c  23.2s|     1 |     0 | 71021 |     - |  77M|   0 | 906 |1000 |  15k|1000 |4243 |8413 |   0 |   0 |-4.060087e+02 |-1.020000e+02 |  74.88%
23.69/23.70	c  23.7s|     1 |     0 | 71967 |     - |  78M|   0 | 841 |1000 |  15k|1000 |5345 |  10k|   0 |   0 |-4.056597e+02 |-1.020000e+02 |  74.86%
24.39/24.48	c  24.5s|     1 |     0 | 74618 |     - |  79M|   0 | 831 |1000 |  15k|1000 |5381 |  10k|   0 |   0 |-4.037143e+02 |-1.020000e+02 |  74.73%
24.90/24.98	c  25.0s|     1 |     0 | 76366 |     - |  80M|   0 | 822 |1000 |  15k|1000 |5441 |  10k|   0 |   0 |-4.024167e+02 |-1.020000e+02 |  74.65%
25.99/26.02	c  26.0s|     1 |     0 | 80844 |     - |  80M|   0 | 825 |1000 |  15k|1000 |5502 |  10k|   0 |   0 |-4.011000e+02 |-1.020000e+02 |  74.57%
26.60/26.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
26.60/26.62	c  26.6s|     1 |     0 | 82889 |     - |  81M|   0 | 791 |1000 |  15k|1000 |5613 |  10k|   0 |   0 |-3.990000e+02 |-1.020000e+02 |  74.44%
26.79/26.85	c  26.8s|     1 |     0 | 83167 |     - |  81M|   0 | 801 |1000 |  15k|1000 |5705 |  10k|   0 |   0 |-3.985000e+02 |-1.020000e+02 |  74.40%
27.99/28.06	c  28.1s|     1 |     0 | 88228 |     - |  82M|   0 | 798 |1000 |  15k|1000 |4714 |  10k|   0 |   0 |-3.965000e+02 |-1.020000e+02 |  74.27%
28.39/28.41	c  28.4s|     1 |     0 | 89338 |     - |  83M|   0 | 797 |1000 |  15k|1000 |4724 |  10k|   0 |   0 |-3.955000e+02 |-1.020000e+02 |  74.21%
28.79/28.88	c  28.9s|     1 |     0 | 91271 |     - |  83M|   0 | 801 |1000 |  15k|1000 |4808 |  10k|   0 |   0 |-3.950000e+02 |-1.020000e+02 |  74.18%
29.71/29.78	c  29.8s|     1 |     0 | 95122 |     - |  84M|   0 | 823 |1000 |  15k|1000 |4817 |  10k|   0 |   0 |-3.938333e+02 |-1.020000e+02 |  74.10%
30.19/30.22	c  30.2s|     1 |     0 | 96329 |     - |  85M|   0 | 796 |1000 |  15k|1000 |5034 |  11k|   0 |   0 |-3.935000e+02 |-1.020000e+02 |  74.08%
30.59/30.63	c  30.6s|     1 |     0 | 97572 |     - |  85M|   0 | 783 |1000 |  15k|1000 |5088 |  11k|   0 |   0 |-3.927500e+02 |-1.020000e+02 |  74.03%
31.59/31.60	c  31.6s|     1 |     0 |101005 |     - |  85M|   0 | 792 |1000 |  15k|1000 |3748 |  11k|   0 |   0 |-3.917500e+02 |-1.020000e+02 |  73.96%
32.19/32.20	c  32.2s|     1 |     0 |103995 |     - |  86M|   0 | 843 |1000 |  15k|1000 |3791 |  11k|   0 |   0 |-3.912143e+02 |-1.020000e+02 |  73.93%
32.69/32.73	c  32.7s|     1 |     0 |106139 |     - |  87M|   0 | 814 |1000 |  15k|1000 |4170 |  11k|   0 |   0 |-3.905000e+02 |-1.020000e+02 |  73.88%
33.39/33.47	c  33.5s|     1 |     0 |109437 |     - |  89M|   0 | 773 |1000 |  15k|1000 |4352 |  11k|   0 |   0 |-3.892500e+02 |-1.020000e+02 |  73.80%
34.10/34.17	c  34.2s|     1 |     0 |112774 |     - |  89M|   0 | 784 |1000 |  15k|1000 |4436 |  11k|   0 |   0 |-3.883125e+02 |-1.020000e+02 |  73.73%
34.49/34.58	c  34.6s|     1 |     0 |114063 |     - |  89M|   0 | 822 |1000 |  15k|1000 |4525 |  12k|   0 |   0 |-3.880000e+02 |-1.020000e+02 |  73.71%
35.39/35.45	c  35.5s|     1 |     0 |117127 |     - |  90M|   0 | 781 |1000 |  15k|1000 |4265 |  12k|   0 |   0 |-3.877500e+02 |-1.020000e+02 |  73.69%
36.20/36.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
36.20/36.23	c  36.2s|     1 |     0 |120987 |     - |  92M|   0 | 846 |1000 |  15k|1000 |4322 |  12k|   0 |   0 |-3.870948e+02 |-1.020000e+02 |  73.65%
36.59/36.68	c  36.7s|     1 |     0 |122575 |     - |  93M|   0 | 853 |1000 |  15k|1000 |4459 |  12k|   0 |   0 |-3.866162e+02 |-1.020000e+02 |  73.62%
37.80/37.85	c  37.8s|     1 |     0 |126759 |     - |  96M|   0 | 852 |1000 |  15k|1000 |4885 |  12k|   0 |   0 |-3.856771e+02 |-1.020000e+02 |  73.55%
38.40/38.44	c  38.4s|     1 |     0 |128479 |     - |  97M|   0 | 875 |1000 |  15k|1000 |4977 |  12k|   0 |   0 |-3.854404e+02 |-1.020000e+02 |  73.54%
39.19/39.25	c  39.2s|     1 |     0 |129913 |     - |  98M|   0 | 886 |1000 |  15k|1000 |5138 |  13k|   0 |   0 |-3.852285e+02 |-1.020000e+02 |  73.52%
40.60/40.67	c  40.7s|     1 |     0 |133442 |     - |  98M|   0 | 889 |1000 |  15k|1000 |4608 |  13k|   0 |   0 |-3.840480e+02 |-1.020000e+02 |  73.44%
41.49/41.51	c  41.5s|     1 |     0 |135330 |     - | 100M|   0 | 845 |1000 |  15k|1000 |4701 |  13k|   0 |   0 |-3.828353e+02 |-1.020000e+02 |  73.36%
42.09/42.10	c  42.1s|     1 |     0 |136798 |     - | 103M|   0 | 824 |1000 |  15k|1000 |4798 |  13k|   0 |   0 |-3.818333e+02 |-1.020000e+02 |  73.29%
43.49/43.57	c  43.6s|     1 |     0 |141743 |     - | 105M|   0 | 875 |1000 |  15k|1000 |4870 |  13k|   0 |   0 |-3.803825e+02 |-1.020000e+02 |  73.18%
44.29/44.35	c  44.4s|     1 |     0 |144196 |     - | 108M|   0 | 881 |1000 |  15k|1000 |4986 |  13k|   0 |   0 |-3.789417e+02 |-1.020000e+02 |  73.08%
44.89/44.97	c  45.0s|     1 |     0 |146199 |     - | 111M|   0 | 895 |1000 |  15k|1000 |5140 |  13k|   0 |   0 |-3.780944e+02 |-1.020000e+02 |  73.02%
45.59/45.67	c  45.7s|     1 |     0 |147673 |     - | 114M|   0 | 885 |1000 |  15k|1000 |4952 |  13k|   0 |   0 |-3.772283e+02 |-1.020000e+02 |  72.96%
46.49/46.58	c  46.6s|     1 |     0 |149774 |     - | 115M|   0 | 890 |1000 |  15k|1000 |4977 |  13k|   0 |   0 |-3.768228e+02 |-1.020000e+02 |  72.93%
47.59/47.68	c  47.7s|     1 |     0 |152079 |     - | 116M|   0 | 901 |1000 |  15k|1000 |5055 |  13k|   0 |   0 |-3.760797e+02 |-1.020000e+02 |  72.88%
48.59/48.64	c  48.6s|     1 |     0 |153529 |     - | 116M|   0 | 892 |1000 |  15k|1000 |5122 |  14k|   0 |   0 |-3.757222e+02 |-1.020000e+02 |  72.85%
49.79/49.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
49.79/49.89	c  49.9s|     1 |     0 |156160 |     - | 116M|   0 | 889 |1000 |  15k|1000 |5137 |  14k|   0 |   0 |-3.754899e+02 |-1.020000e+02 |  72.84%
51.19/51.23	c  51.2s|     1 |     0 |158991 |     - | 116M|   0 | 901 |1000 |  15k|1000 |5158 |  14k|   0 |   0 |-3.749194e+02 |-1.020000e+02 |  72.79%
53.29/53.35	c  53.4s|     1 |     0 |165312 |     - | 116M|   0 | 910 |1000 |  15k|1000 |4749 |  14k|   0 |   0 |-3.738298e+02 |-1.020000e+02 |  72.71%
54.69/54.70	c  54.7s|     1 |     0 |167787 |     - | 116M|   0 | 906 |1000 |  15k|1000 |4915 |  14k|   0 |   0 |-3.728006e+02 |-1.020000e+02 |  72.64%
56.00/56.05	c  56.1s|     1 |     0 |170731 |     - | 116M|   0 | 912 |1000 |  15k|1000 |5072 |  14k|   0 |   0 |-3.719495e+02 |-1.020000e+02 |  72.58%
57.79/57.87	c  57.9s|     1 |     0 |175227 |     - | 117M|   0 | 923 |1000 |  15k|1000 |5111 |  14k|   0 |   0 |-3.710019e+02 |-1.020000e+02 |  72.51%
59.49/59.53	c  59.5s|     1 |     0 |178287 |     - | 117M|   0 | 907 |1000 |  15k|1000 |5256 |  14k|   0 |   0 |-3.701879e+02 |-1.020000e+02 |  72.45%
60.89/60.96	c  61.0s|     1 |     0 |180636 |     - | 117M|   0 | 917 |1000 |  15k|1000 |5277 |  14k|   0 |   0 |-3.696791e+02 |-1.020000e+02 |  72.41%
62.39/62.48	c  62.5s|     1 |     0 |182913 |     - | 117M|   0 | 918 |1000 |  15k|1000 |4984 |  14k|   0 |   0 |-3.690773e+02 |-1.020000e+02 |  72.36%
63.89/63.95	c  64.0s|     1 |     0 |185412 |     - | 117M|   0 | 915 |1000 |  15k|1000 |5002 |  14k|   0 |   0 |-3.681867e+02 |-1.020000e+02 |  72.30%
65.49/65.59	c  65.6s|     1 |     0 |188889 |     - | 118M|   0 | 903 |1000 |  15k|1000 |5117 |  14k|   0 |   0 |-3.668449e+02 |-1.020000e+02 |  72.20%
67.99/68.00	c  68.0s|     1 |     0 |195481 |     - | 118M|   0 | 886 |1000 |  15k|1000 |5166 |  14k|   0 |   0 |-3.647155e+02 |-1.020000e+02 |  72.03%
69.79/69.85	c  69.8s|     1 |     0 |199927 |     - | 118M|   0 | 925 |1000 |  15k|1000 |5220 |  14k|   0 |   0 |-3.636597e+02 |-1.020000e+02 |  71.95%
71.40/71.49	c  71.5s|     1 |     0 |202683 |     - | 118M|   0 | 910 |1000 |  15k|1000 |5346 |  15k|   0 |   0 |-3.628047e+02 |-1.020000e+02 |  71.89%
73.60/73.65	c  73.6s|     1 |     0 |207601 |     - | 119M|   0 | 906 |1000 |  15k|1000 |5217 |  15k|   0 |   0 |-3.620806e+02 |-1.020000e+02 |  71.83%
75.19/75.23	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
75.19/75.23	c  75.2s|     1 |     0 |210509 |     - | 119M|   0 | 897 |1000 |  15k|1000 |5228 |  15k|   0 |   0 |-3.612913e+02 |-1.020000e+02 |  71.77%
76.69/76.74	c  76.7s|     1 |     0 |213693 |     - | 119M|   0 | 924 |1000 |  15k|1000 |5309 |  15k|   0 |   0 |-3.600343e+02 |-1.020000e+02 |  71.67%
78.29/78.34	c  78.3s|     1 |     0 |216446 |     - | 119M|   0 | 922 |1000 |  15k|1000 |5434 |  15k|   0 |   0 |-3.594631e+02 |-1.020000e+02 |  71.62%
80.49/80.56	c  80.6s|     1 |     0 |221490 |     - | 119M|   0 | 934 |1000 |  15k|1000 |5532 |  15k|   0 |   0 |-3.586509e+02 |-1.020000e+02 |  71.56%
82.29/82.34	c  82.3s|     1 |     0 |224339 |     - | 119M|   0 | 918 |1000 |  15k|1000 |5688 |  15k|   0 |   0 |-3.578697e+02 |-1.020000e+02 |  71.50%
84.19/84.20	c  84.2s|     1 |     0 |227755 |     - | 119M|   0 | 927 |1000 |  15k|1000 |5536 |  15k|   0 |   0 |-3.570756e+02 |-1.020000e+02 |  71.43%
85.99/86.06	c  86.1s|     1 |     0 |230765 |     - | 119M|   0 | 912 |1000 |  15k|1000 |5564 |  15k|   0 |   0 |-3.559048e+02 |-1.020000e+02 |  71.34%
87.79/87.86	c  87.9s|     1 |     0 |233758 |     - | 118M|   0 | 905 |1000 |  15k|1000 |5605 |  15k|   0 |   0 |-3.547219e+02 |-1.020000e+02 |  71.25%
89.79/89.82	c  89.8s|     1 |     0 |237505 |     - | 118M|   0 | 925 |1000 |  15k|1000 |5658 |  15k|   0 |   0 |-3.538173e+02 |-1.020000e+02 |  71.17%
91.59/91.65	c  91.7s|     1 |     0 |240660 |     - | 118M|   0 | 911 |1000 |  15k|1000 |5710 |  15k|   0 |   0 |-3.532374e+02 |-1.020000e+02 |  71.12%
92.69/92.72	c  92.7s|     1 |     0 |242861 |     - | 120M|   0 | 934 |1000 |  15k|1000 |5775 |  15k|   0 |   0 |-3.527987e+02 |-1.020000e+02 |  71.09%
94.39/94.47	c  94.5s|     1 |     0 |245233 |     - | 120M|   0 | 921 |1000 |  15k|1000 |5598 |  16k|   0 |   0 |-3.524438e+02 |-1.020000e+02 |  71.06%
96.19/96.22	c  96.2s|     1 |     0 |247993 |     - | 120M|   0 | 916 |1000 |  15k|1000 |5643 |  16k|   0 |   0 |-3.518675e+02 |-1.020000e+02 |  71.01%
98.19/98.25	c  98.2s|     1 |     0 |252087 |     - | 119M|   0 | 941 |1000 |  15k|1000 |5699 |  16k|   0 |   0 |-3.512342e+02 |-1.020000e+02 |  70.96%
100.69/100.76	c   101s|     1 |     0 |257282 |     - | 119M|   0 | 942 |1000 |  15k|1000 |5777 |  16k|   0 |   0 |-3.501743e+02 |-1.020000e+02 |  70.87%
102.79/102.89	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
102.79/102.89	c   103s|     1 |     0 |260432 |     - | 117M|   0 | 942 |1000 |  15k|1000 |5899 |  16k|   0 |   0 |-3.492848e+02 |-1.020000e+02 |  70.80%
104.69/104.72	c   105s|     1 |     0 |262291 |     - | 115M|   0 | 950 |1000 |  15k|1000 |5981 |  16k|   0 |   0 |-3.488277e+02 |-1.020000e+02 |  70.76%
106.99/107.00	c   107s|     1 |     0 |265783 |     - | 115M|   0 | 950 |1000 |  15k|1000 |5809 |  16k|   0 |   0 |-3.482757e+02 |-1.020000e+02 |  70.71%
109.09/109.16	c   109s|     1 |     0 |268993 |     - | 115M|   0 | 960 |1000 |  15k|1000 |5864 |  16k|   0 |   0 |-3.476128e+02 |-1.020000e+02 |  70.66%
111.69/111.72	c   112s|     1 |     0 |273586 |     - | 114M|   0 | 967 |1000 |  15k|1000 |5956 |  16k|   0 |   0 |-3.468706e+02 |-1.020000e+02 |  70.59%
114.69/114.76	c   115s|     1 |     0 |279277 |     - | 114M|   0 | 970 |1000 |  15k|1000 |6011 |  16k|   0 |   0 |-3.457433e+02 |-1.020000e+02 |  70.50%
116.89/116.97	c   117s|     1 |     0 |281694 |     - | 113M|   0 | 956 |1000 |  15k|1000 |6082 |  16k|   0 |   0 |-3.452467e+02 |-1.020000e+02 |  70.46%
119.09/119.10	c   119s|     1 |     0 |283887 |     - | 113M|   0 | 962 |1000 |  15k|1000 |6132 |  16k|   0 |   0 |-3.449535e+02 |-1.020000e+02 |  70.43%
121.49/121.58	c   122s|     1 |     0 |287424 |     - | 113M|   0 | 972 |1000 |  15k|1000 |6006 |  16k|   0 |   0 |-3.443130e+02 |-1.020000e+02 |  70.38%
124.59/124.64	c   125s|     1 |     0 |292669 |     - | 113M|   0 | 976 |1000 |  15k|1000 |6145 |  16k|   0 |   0 |-3.434852e+02 |-1.020000e+02 |  70.30%
127.19/127.24	c   127s|     1 |     0 |296153 |     - | 113M|   0 | 973 |1000 |  15k|1000 |6241 |  16k|   0 |   0 |-3.426586e+02 |-1.020000e+02 |  70.23%
129.89/129.97	c   130s|     1 |     0 |300337 |     - | 113M|   0 | 986 |1000 |  15k|1000 |6294 |  17k|   0 |   0 |-3.420318e+02 |-1.020000e+02 |  70.18%
132.89/132.91	c   133s|     1 |     0 |304271 |     - | 113M|   0 | 986 |1000 |  15k|1000 |6381 |  17k|   0 |   0 |-3.416520e+02 |-1.020000e+02 |  70.15%
135.49/135.52	c   136s|     1 |     0 |307206 |     - | 112M|   0 | 991 |1000 |  15k|1000 |6443 |  17k|   0 |   0 |-3.413871e+02 |-1.020000e+02 |  70.12%
138.09/138.12	c   138s|     1 |     0 |309777 |     - | 112M|   0 | 986 |1000 |  15k|1000 |6302 |  17k|   0 |   0 |-3.411380e+02 |-1.020000e+02 |  70.10%
141.09/141.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
141.09/141.15	c   141s|     1 |     0 |313541 |     - | 112M|   0 | 988 |1000 |  15k|1000 |6374 |  17k|   0 |   0 |-3.405295e+02 |-1.020000e+02 |  70.05%
143.69/143.75	c   144s|     1 |     0 |315925 |     - | 111M|   0 | 989 |1000 |  15k|1000 |6411 |  17k|   0 |   0 |-3.401612e+02 |-1.020000e+02 |  70.01%
146.59/146.68	c   147s|     1 |     0 |319216 |     - | 111M|   0 | 985 |1000 |  15k|1000 |6483 |  17k|   0 |   0 |-3.397831e+02 |-1.020000e+02 |  69.98%
149.29/149.32	c   149s|     1 |     0 |321908 |     - | 111M|   0 | 989 |1000 |  15k|1000 |6507 |  17k|   0 |   0 |-3.392460e+02 |-1.020000e+02 |  69.93%
152.19/152.28	c   152s|     1 |     0 |324948 |     - | 110M|   0 | 988 |1000 |  15k|1000 |6567 |  17k|   0 |   0 |-3.385374e+02 |-1.020000e+02 |  69.87%
155.20/155.24	c   155s|     1 |     0 |327822 |     - | 110M|   0 | 988 |1000 |  15k|1000 |6445 |  17k|   0 |   0 |-3.378318e+02 |-1.020000e+02 |  69.81%
157.60/157.69	c   158s|     1 |     0 |329402 |     - | 110M|   0 | 990 |1000 |  15k|1000 |6473 |  17k|   0 |   0 |-3.373531e+02 |-1.020000e+02 |  69.76%
160.69/160.77	c   161s|     1 |     0 |332960 |     - | 110M|   0 | 991 |1000 |  15k|1000 |6516 |  17k|   0 |   0 |-3.368541e+02 |-1.020000e+02 |  69.72%
163.69/163.70	c   164s|     1 |     0 |335865 |     - | 110M|   0 | 991 |1000 |  15k|1000 |6553 |  17k|   0 |   0 |-3.364949e+02 |-1.020000e+02 |  69.69%
167.21/167.23	c   167s|     1 |     0 |340328 |     - | 110M|   0 | 991 |1000 |  15k|1000 |6575 |  17k|   0 |   0 |-3.357268e+02 |-1.020000e+02 |  69.62%
170.19/170.29	c   170s|     1 |     0 |343266 |     - | 109M|   0 | 992 |1000 |  15k|1000 |6613 |  17k|   0 |   0 |-3.350771e+02 |-1.020000e+02 |  69.56%
173.19/173.27	c   173s|     1 |     0 |345955 |     - | 109M|   0 | 992 |1000 |  15k|1000 |6554 |  17k|   0 |   0 |-3.347097e+02 |-1.020000e+02 |  69.53%
175.90/175.95	c   176s|     1 |     0 |348121 |     - | 109M|   0 | 992 |1000 |  15k|1000 |6581 |  17k|   0 |   0 |-3.344060e+02 |-1.020000e+02 |  69.50%
178.89/178.91	c   179s|     1 |     0 |350999 |     - | 108M|   0 | 993 |1000 |  15k|1000 |6608 |  17k|   0 |   0 |-3.340775e+02 |-1.020000e+02 |  69.47%
182.20/182.25	c   182s|     1 |     0 |355095 |     - | 106M|   0 | 991 |1000 |  15k|1000 |6645 |  17k|   0 |   0 |-3.336728e+02 |-1.020000e+02 |  69.43%
185.00/185.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
185.00/185.05	c   185s|     1 |     0 |357494 |     - | 105M|   0 | 994 |1000 |  15k|1000 |6675 |  17k|   0 |   0 |-3.332184e+02 |-1.020000e+02 |  69.39%
187.89/187.95	c   188s|     1 |     0 |360047 |     - | 104M|   0 | 993 |1000 |  15k|1000 |6712 |  17k|   0 |   0 |-3.329381e+02 |-1.020000e+02 |  69.36%
190.50/190.55	c   191s|     1 |     0 |361503 |     - | 104M|   0 | 994 |1000 |  15k|1000 |6651 |  17k|   0 |   0 |-3.326278e+02 |-1.020000e+02 |  69.34%
193.19/193.20	c   193s|     1 |     0 |363234 |     - | 103M|   0 | 994 |1000 |  15k|1000 |6676 |  17k|   0 |   0 |-3.323479e+02 |-1.020000e+02 |  69.31%
196.00/196.09	c   196s|     1 |     0 |365652 |     - | 103M|   0 | 992 |1000 |  15k|1000 |6700 |  17k|   0 |   0 |-3.319430e+02 |-1.020000e+02 |  69.27%
198.89/198.94	c   199s|     1 |     0 |367820 |     - | 102M|   0 | 991 |1000 |  15k|1000 |6718 |  17k|   0 |   0 |-3.315515e+02 |-1.020000e+02 |  69.24%
201.40/201.46	c   201s|     1 |     0 |368946 |     - | 101M|   0 | 990 |1000 |  15k|1000 |6737 |  18k|   0 |   0 |-3.313393e+02 |-1.020000e+02 |  69.22%
204.09/204.19	c   204s|     1 |     0 |370621 |     - | 101M|   0 | 993 |1000 |  15k|1000 |6753 |  18k|   0 |   0 |-3.309832e+02 |-1.020000e+02 |  69.18%
206.90/206.97	c   207s|     1 |     0 |372608 |     - |  99M|   0 | 993 |1000 |  15k|1000 |6671 |  18k|   0 |   0 |-3.307007e+02 |-1.020000e+02 |  69.16%
209.59/209.69	c   210s|     1 |     0 |374280 |     - |  99M|   0 | 993 |1000 |  15k|1000 |6699 |  18k|   0 |   0 |-3.304571e+02 |-1.020000e+02 |  69.13%
212.50/212.59	c   213s|     1 |     0 |376218 |     - |  98M|   0 | 994 |1000 |  15k|1000 |6723 |  18k|   0 |   0 |-3.301128e+02 |-1.020000e+02 |  69.10%
215.39/215.45	c   215s|     1 |     0 |377828 |     - |  98M|   0 | 995 |1000 |  15k|1000 |6753 |  18k|   0 |   0 |-3.296417e+02 |-1.020000e+02 |  69.06%
218.20/218.29	c   218s|     1 |     0 |379846 |     - |  97M|   0 | 994 |1000 |  15k|1000 |6783 |  18k|   0 |   0 |-3.293352e+02 |-1.020000e+02 |  69.03%
220.79/220.81	c   221s|     1 |     0 |380640 |     - |  97M|   0 | 995 |1000 |  15k|1000 |6808 |  18k|   0 |   0 |-3.292532e+02 |-1.020000e+02 |  69.02%
224.10/224.15	c   224s|     1 |     0 |383676 |     - |  96M|   0 | 997 |1000 |  15k|1000 |6761 |  18k|   0 |   0 |-3.286805e+02 |-1.020000e+02 |  68.97%
227.49/227.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
227.49/227.56	c   228s|     1 |     0 |387147 |     - |  95M|   0 | 992 |1000 |  15k|1000 |6788 |  18k|   0 |   0 |-3.282689e+02 |-1.020000e+02 |  68.93%
230.30/230.33	c   230s|     1 |     0 |388505 |     - |  95M|   0 | 996 |1000 |  15k|1000 |6813 |  18k|   0 |   0 |-3.279773e+02 |-1.020000e+02 |  68.90%
233.00/233.08	c   233s|     1 |     0 |389900 |     - |  95M|   0 | 996 |1000 |  15k|1000 |6828 |  18k|   0 |   0 |-3.277935e+02 |-1.020000e+02 |  68.88%
235.90/235.94	c   236s|     1 |     0 |391379 |     - |  94M|   0 | 998 |1000 |  15k|1000 |6843 |  18k|   0 |   0 |-3.275026e+02 |-1.020000e+02 |  68.86%
238.89/238.95	c   239s|     1 |     0 |393347 |     - |  93M|   0 | 996 |1000 |  15k|1000 |6859 |  18k|   0 |   0 |-3.272045e+02 |-1.020000e+02 |  68.83%
242.39/242.40	c   242s|     1 |     0 |396578 |     - |  93M|   0 | 997 |1000 |  15k|1000 |6831 |  18k|   0 |   0 |-3.268395e+02 |-1.020000e+02 |  68.79%
245.32/245.39	c   245s|     1 |     0 |398408 |     - |  93M|   0 | 995 |1000 |  15k|1000 |6847 |  18k|   0 |   0 |-3.264090e+02 |-1.020000e+02 |  68.75%
248.09/248.19	c   248s|     1 |     0 |399890 |     - |  92M|   0 | 998 |1000 |  15k|1000 |6875 |  18k|   0 |   0 |-3.261245e+02 |-1.020000e+02 |  68.72%
250.90/250.96	c   251s|     1 |     0 |401065 |     - |  90M|   0 | 998 |1000 |  15k|1000 |6896 |  18k|   0 |   0 |-3.259014e+02 |-1.020000e+02 |  68.70%
253.59/253.65	c   254s|     1 |     0 |402210 |     - |  90M|   0 | 998 |1000 |  15k|1000 |6913 |  18k|   0 |   0 |-3.256001e+02 |-1.020000e+02 |  68.67%
256.40/256.45	c   256s|     1 |     0 |403724 |     - |  89M|   0 | 998 |1000 |  15k|1000 |6928 |  18k|   0 |   0 |-3.254151e+02 |-1.020000e+02 |  68.66%
259.20/259.22	c   259s|     1 |     0 |405029 |     - |  88M|   0 | 996 |1000 |  15k|1000 |6890 |  18k|   0 |   0 |-3.250662e+02 |-1.020000e+02 |  68.62%
261.81/261.85	c   262s|     1 |     0 |405883 |     - |  87M|   0 | 996 |1000 |  15k|1000 |6897 |  18k|   0 |   0 |-3.249138e+02 |-1.020000e+02 |  68.61%
264.49/264.54	c   265s|     1 |     0 |407114 |     - |  85M|   0 | 997 |1000 |  15k|1000 |6915 |  18k|   0 |   0 |-3.247843e+02 |-1.020000e+02 |  68.59%
267.10/267.17	c   267s|     1 |     0 |408119 |     - |  83M|   0 | 996 |1000 |  15k|1000 |6931 |  18k|   0 |   0 |-3.246169e+02 |-1.020000e+02 |  68.58%
269.70/269.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
269.70/269.79	c   270s|     1 |     0 |409062 |     - |  81M|   0 | 995 |1000 |  15k|1000 |6942 |  18k|   0 |   0 |-3.244575e+02 |-1.020000e+02 |  68.56%
272.60/272.69	c   273s|     1 |     0 |410920 |     - |  81M|   0 | 997 |1000 |  15k|1000 |6952 |  18k|   0 |   0 |-3.242294e+02 |-1.020000e+02 |  68.54%
275.19/275.27	c   275s|     1 |     0 |411898 |     - |  80M|   0 | 997 |1000 |  15k|1000 |6909 |  18k|   0 |   0 |-3.240765e+02 |-1.020000e+02 |  68.53%
277.90/277.96	c   278s|     1 |     0 |413137 |     - |  80M|   0 | 998 |1000 |  15k|1000 |6921 |  18k|   0 |   0 |-3.239114e+02 |-1.020000e+02 |  68.51%
280.40/280.47	c   280s|     1 |     0 |414007 |     - |  77M|   0 | 998 |1000 |  15k|1000 |6937 |  18k|   0 |   0 |-3.237784e+02 |-1.020000e+02 |  68.50%
282.90/282.96	c   283s|     1 |     0 |414784 |     - |  74M|   0 | 998 |1000 |  15k|1000 |6950 |  18k|   0 |   0 |-3.237095e+02 |-1.020000e+02 |  68.49%
285.50/285.50	c   286s|     1 |     0 |415755 |     - |  70M|   0 | 997 |1000 |  15k|1000 |6960 |  18k|   0 |   0 |-3.236574e+02 |-1.020000e+02 |  68.49%
288.11/288.16	c   288s|     1 |     0 |417065 |     - |  68M|   0 | 998 |1000 |  15k|1000 |6973 |  18k|   0 |   0 |-3.235870e+02 |-1.020000e+02 |  68.48%
290.89/290.93	c   291s|     1 |     0 |418749 |     - |  65M|   0 | 999 |1000 |  15k|1000 |6925 |  18k|   0 |   0 |-3.233758e+02 |-1.020000e+02 |  68.46%
293.29/293.34	c   293s|     1 |     0 |419398 |     - |  63M|   0 | 997 |1000 |  15k|1000 |6936 |  18k|   0 |   0 |-3.232995e+02 |-1.020000e+02 |  68.45%
295.70/295.79	c   296s|     1 |     0 |420221 |     - |  63M|   0 | 997 |1000 |  15k|1000 |6950 |  18k|   0 |   0 |-3.232352e+02 |-1.020000e+02 |  68.44%
298.12/298.17	c   298s|     1 |     0 |420733 |     - |  63M|   0 | 999 |1000 |  15k|1000 |6963 |  18k|   0 |   0 |-3.231862e+02 |-1.020000e+02 |  68.44%
300.40/300.42	c   300s|     1 |     0 |420935 |     - |  63M|   0 | 999 |1000 |  15k|1000 |6970 |  18k|   0 |   0 |-3.231761e+02 |-1.020000e+02 |  68.44%
303.09/303.10	c   303s|     1 |     0 |422472 |     - |  63M|   0 | 997 |1000 |  15k|1000 |6981 |  18k|   0 |   0 |-3.230731e+02 |-1.020000e+02 |  68.43%
305.50/305.58	c   306s|     1 |     0 |423329 |     - |  63M|   0 | 966 |1000 |  15k|1000 |6933 |  18k|   0 |   0 |-3.230000e+02 |-1.020000e+02 |  68.42%
307.60/307.61	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
307.60/307.61	c   308s|     1 |     0 |423330 |     - |  63M|   0 | 968 |1000 |  15k|1000 |6938 |  18k|   0 |   0 |-3.230000e+02 |-1.020000e+02 |  68.42%
309.50/309.59	c   310s|     1 |     0 |423332 |     - |  63M|   0 | 977 |1000 |  15k|1000 |6943 |  18k|   0 |   0 |-3.230000e+02 |-1.020000e+02 |  68.42%
311.60/311.60	c   312s|     1 |     0 |423334 |     - |  62M|   0 | 967 |1000 |  15k|1000 |6944 |  18k|   0 |   0 |-3.230000e+02 |-1.020000e+02 |  68.42%
313.51/313.58	c   314s|     1 |     0 |423335 |     - |  62M|   0 | 969 |1000 |  15k|1000 |6946 |  18k|   0 |   0 |-3.230000e+02 |-1.020000e+02 |  68.42%
333.60/333.65	c   334s|     1 |     2 |423335 |     - |  62M|   0 | 969 |1000 |  15k|1000 |6946 |  18k|   0 |  52 |-3.230000e+02 |-1.020000e+02 |  68.42%
1022.12/1022.14	c  1022s| 10000 | 10001 |  5158k| 473.5 |  81M|  71 | 150 |1000 |  15k|1000 |1144 |1085k|   0 |4134 |-3.188306e+02 |-1.020000e+02 |  68.01%
1452.23/1452.22	c  1452s| 20000 | 20001 |  8752k| 416.5 |  99M|  71 | 263 |1000 |  15k|1000 |1146 |2018k|   0 |6009 |-3.181419e+02 |-1.020000e+02 |  67.94%
1800.04/1800.01	c 
1800.04/1800.01	c SCIP Status        : solving was interrupted [time limit reached]
1800.04/1800.01	c Solving Time (sec) : 1800.01
1800.04/1800.01	c Solving Nodes      : 29363
1800.04/1800.01	c Primal Bound       : -1.02000000000000e+02 (419 solutions)
1800.04/1800.01	c Dual Bound         : -3.17679344404389e+02
1800.04/1800.01	c Gap                : 67.89 %

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3450685-1307107024/watcher-3450685-1307107024 -o /tmp/evaluation-result-3450685-1307107024/solver-3450685-1307107024 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450685-1307107024.opb -t 1800 -m 15500 

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: 1.92 2.02 1.99 2/498 21879
/proc/meminfo: memFree=26452132/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=14524 CPUtime=0 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 2639 0 0 0 0 0 0 0 25 0 1 0 900933129 14872576 2592 33554432000 4194304 9163163 140733244693424 18446744073709551615 8045195 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21879/statm: 3631 2592 415 1214 0 2413 0

[startup+0.021234 s]
/proc/loadavg: 1.92 2.02 1.99 2/498 21879
/proc/meminfo: memFree=26452132/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=19468 CPUtime=0.01 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 3885 0 0 0 1 0 0 0 25 0 1 0 900933129 19935232 3838 33554432000 4194304 9163163 140733244693424 18446744073709551615 4339518 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21879/statm: 4867 3838 415 1214 0 3649 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 19468

[startup+0.100212 s]
/proc/loadavg: 1.92 2.02 1.99 2/498 21879
/proc/meminfo: memFree=26452132/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=39020 CPUtime=0.09 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 8697 0 0 0 9 0 0 0 25 0 1 0 900933129 39956480 8649 33554432000 4194304 9163163 140733244693424 18446744073709551615 6922376 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 9755 8650 447 1214 0 8537 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39020

[startup+0.301196 s]
/proc/loadavg: 1.92 2.02 1.99 2/498 21879
/proc/meminfo: memFree=26452132/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=73124 CPUtime=0.29 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 17151 0 0 0 28 1 0 0 25 0 1 0 900933129 74878976 16750 33554432000 4194304 9163163 140733244693424 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 18281 16750 526 1214 0 17063 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 73124

[startup+0.701109 s]
/proc/loadavg: 1.92 2.02 1.99 2/498 21879
/proc/meminfo: memFree=26452132/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=102760 CPUtime=0.69 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 25503 0 0 0 66 3 0 0 25 0 1 0 900933129 105226240 23717 33554432000 4194304 9163163 140733244693424 18446744073709551615 4693616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 25690 23717 721 1214 0 24472 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 102760

[startup+1.50097 s]
/proc/loadavg: 1.92 2.02 1.99 3/499 21880
/proc/meminfo: memFree=26358260/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=104024 CPUtime=1.49 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 28605 0 0 0 145 4 0 0 25 0 1 0 900933129 106520576 24454 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 26006 24454 729 1214 0 24788 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 104024

[startup+3.10067 s]
/proc/loadavg: 1.92 2.02 1.99 3/499 21880
/proc/meminfo: memFree=26350204/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=112028 CPUtime=3.09 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 30830 0 0 0 304 5 0 0 25 0 1 0 900933129 114716672 26648 33554432000 4194304 9163163 140733244693424 18446744073709551615 4684206 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 28007 26648 814 1214 0 26789 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 112028

[startup+6.30108 s]
/proc/loadavg: 2.01 2.04 2.00 3/499 21880
/proc/meminfo: memFree=26343024/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=117620 CPUtime=6.29 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 32185 0 0 0 621 8 0 0 25 0 1 0 900933129 120442880 27881 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 29405 27881 701 1214 0 28187 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 117620

[startup+12.7009 s]
/proc/loadavg: 2.01 2.04 2.00 3/499 21880
/proc/meminfo: memFree=26313792/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=144896 CPUtime=12.69 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 39272 0 0 0 1249 20 0 0 25 0 1 0 900933129 148373504 34719 33554432000 4194304 9163163 140733244693424 18446744073709551615 6652401 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 36224 34719 744 1214 0 35006 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 144896

[startup+25.5005 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 21881
/proc/meminfo: memFree=26299552/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=159932 CPUtime=25.49 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 42960 0 0 0 2506 43 0 0 25 0 1 0 900933129 163770368 38217 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 39983 38217 724 1214 0 38765 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 159932

[startup+51.1008 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 21881
/proc/meminfo: memFree=26260512/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=200024 CPUtime=51.09 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 52938 0 0 0 5024 85 0 0 25 0 1 0 900933129 204824576 47949 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 50006 47949 702 1214 0 48788 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 200024

[startup+102.318 s]
/proc/loadavg: 2.04 2.04 2.00 3/499 21883
/proc/meminfo: memFree=26255588/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=203268 CPUtime=102.31 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 53779 0 0 0 10085 146 0 0 25 0 1 0 900933129 208146432 48781 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 50817 48781 702 1214 0 49599 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 203268

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 21884
/proc/meminfo: memFree=26254284/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=203268 CPUtime=162.29 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 53797 0 0 0 16024 205 0 0 25 0 1 0 900933129 208146432 48799 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 50817 48799 702 1214 0 49599 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 203268

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 21886
/proc/meminfo: memFree=26257088/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=203268 CPUtime=222.3 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 53805 0 0 0 21978 252 0 0 25 0 1 0 900933129 208146432 48807 33554432000 4194304 9163163 140733244693424 18446744073709551615 6611656 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 50817 48807 702 1214 0 49599 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 203268

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 21888
/proc/meminfo: memFree=26258644/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=203268 CPUtime=282.29 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 53810 0 0 0 27932 297 0 0 25 0 1 0 900933129 208146432 48812 33554432000 4194304 9163163 140733244693424 18446744073709551615 6668685 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 50817 48812 702 1214 0 49599 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 203268

[startup+342.301 s]
/proc/loadavg: 2.09 2.04 2.01 3/499 21889
/proc/meminfo: memFree=26257344/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=204592 CPUtime=342.3 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 54176 0 0 0 33870 360 0 0 25 0 1 0 900933129 209502208 49178 33554432000 4194304 9163163 140733244693424 18446744073709551615 7390540 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 51148 49178 722 1214 0 49930 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 204592

[startup+402.301 s]
/proc/loadavg: 2.07 2.04 2.01 3/499 21891
/proc/meminfo: memFree=26257060/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=204592 CPUtime=402.3 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 54177 0 0 0 39678 552 0 0 25 0 1 0 900933129 209502208 49179 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 51148 49179 723 1214 0 49930 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 204592

[startup+462.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/499 21892
/proc/meminfo: memFree=26258536/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=202544 CPUtime=462.3 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 55634 0 0 0 45474 756 0 0 25 0 1 0 900933129 207405056 48724 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 50636 48724 731 1214 0 49418 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 202544

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/499 21894
/proc/meminfo: memFree=26258640/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=202544 CPUtime=522.3 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 55635 0 0 0 51254 976 0 0 25 0 1 0 900933129 207405056 48725 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 50636 48725 731 1214 0 49418 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 202544

[startup+582.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/499 21896
/proc/meminfo: memFree=26255140/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=202544 CPUtime=582.31 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 57838 0 0 0 57035 1196 0 0 25 0 1 0 900933129 207405056 48731 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 50636 48731 731 1214 0 49418 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 202544

[startup+642.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 21902
/proc/meminfo: memFree=26245008/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=202544 CPUtime=822.31 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 70860 0 0 0 80125 2106 0 0 25 0 1 0 900933129 207405056 48747 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 50636 48747 731 1214 0 49418 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 202544

[startup+882.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/499 21904
/proc/meminfo: memFree=26244124/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=203604 CPUtime=882.32 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 70869 0 0 0 85895 2337 0 0 25 0 1 0 900933129 208490496 48756 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 50901 48756 731 1214 0 49683 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 203604

[startup+942.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/499 21905
/proc/meminfo: memFree=26239760/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=203604 CPUtime=942.32 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 70873 0 0 0 91660 2572 0 0 25 0 1 0 900933129 208490496 48760 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 50901 48760 731 1214 0 49683 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 203604

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/499 21907
/proc/meminfo: memFree=26235652/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=204440 CPUtime=1002.32 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 71054 0 0 0 97431 2801 0 0 25 0 1 0 900933129 209346560 48941 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 51110 48941 731 1214 0 49892 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 204440

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 21908
/proc/meminfo: memFree=26231044/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=207384 CPUtime=1062.33 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 71796 0 0 0 103203 3030 0 0 25 0 1 0 900933129 212361216 49674 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 51846 49674 731 1214 0 50628 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 207384

[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/499 21910
/proc/meminfo: memFree=26224572/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=211136 CPUtime=1122.33 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 72765 0 0 0 108971 3262 0 0 25 0 1 0 900933129 216203264 50625 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 52784 50625 731 1214 0 51566 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 211136

[startup+1182.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/499 21912
/proc/meminfo: memFree=26218728/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=212676 CPUtime=1182.33 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 73166 0 0 0 114730 3503 0 0 25 0 1 0 900933129 217780224 51025 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 53169 51025 731 1214 0 51951 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 212676

[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/499 21913
/proc/meminfo: memFree=26214368/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=214912 CPUtime=1242.33 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 73748 0 0 0 120489 3744 0 0 25 0 1 0 900933129 220069888 51606 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 53728 51606 731 1214 0 52510 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 214912

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 21915
/proc/meminfo: memFree=26208400/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=215564 CPUtime=1302.34 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 73899 0 0 0 126244 3990 0 0 25 0 1 0 900933129 220737536 51757 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 53891 51757 731 1214 0 52673 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 215564

[startup+1362.3 s]
/proc/loadavg: 1.51 1.89 1.96 2/493 21937
/proc/meminfo: memFree=26454736/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=219876 CPUtime=1362.33 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 81464 0 0 0 131938 4295 0 0 25 0 1 0 900933129 225153024 52834 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 54969 52834 731 1214 0 53751 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 219876

[startup+1422.32 s]
/proc/loadavg: 1.19 1.72 1.89 2/493 21939
/proc/meminfo: memFree=26450876/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=223544 CPUtime=1422.35 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 82433 0 0 0 137601 4634 0 0 25 0 1 0 900933129 228909056 53783 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 55886 53783 731 1214 0 54668 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 223544

[startup+1482.3 s]
/proc/loadavg: 1.07 1.59 1.84 2/493 21941
/proc/meminfo: memFree=26446140/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=228212 CPUtime=1482.33 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 83635 0 0 0 143272 4961 0 0 25 0 1 0 900933129 233689088 54954 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 57053 54954 731 1214 0 55835 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 228212

[startup+1542.3 s]
/proc/loadavg: 1.02 1.48 1.78 2/493 21942
/proc/meminfo: memFree=26442148/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=233432 CPUtime=1542.34 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 84911 0 0 0 148918 5316 0 0 25 0 1 0 900933129 239034368 56229 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 58358 56229 731 1214 0 57140 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 233432

[startup+1602.3 s]
/proc/loadavg: 1.01 1.39 1.73 2/493 21944
/proc/meminfo: memFree=26439768/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=235452 CPUtime=1602.34 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 92110 0 0 0 154566 5668 0 0 25 0 1 0 900933129 241102848 56783 33554432000 4194304 9163163 140733244693424 18446744073709551615 7447691 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 58863 56783 731 1214 0 57645 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 235452

[startup+1662.3 s]
/proc/loadavg: 1.10 1.35 1.69 2/493 21945
/proc/meminfo: memFree=26436260/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=239268 CPUtime=1662.34 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 93067 0 0 0 160229 6005 0 0 25 0 1 0 900933129 245010432 57740 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 59817 57740 731 1214 0 58599 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 239268

[startup+1722.3 s]
/proc/loadavg: 1.08 1.29 1.65 2/493 21947
/proc/meminfo: memFree=26433636/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=241756 CPUtime=1722.34 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 93688 0 0 0 165886 6348 0 0 25 0 1 0 900933129 247558144 58342 33554432000 4194304 9163163 140733244693424 18446744073709551615 6390986 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 60439 58342 731 1214 0 59221 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 241756

[startup+1782.3 s]
/proc/loadavg: 1.03 1.24 1.61 2/493 21949
/proc/meminfo: memFree=26430012/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=244020 CPUtime=1782.34 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 100733 0 0 0 171549 6685 0 0 25 0 1 0 900933129 249876480 58931 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 61005 58931 731 1214 0 59787 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 244020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.02 1.22 1.59 2/493 21949
/proc/meminfo: memFree=26430752/32950928 swapFree=34421304/67111528
[pid=21879] ppid=21877 vsize=244020 CPUtime=1800.05 cores=1,3,5,7
/proc/21879/stat : 21879 (scip-2.0.1.4b.l) R 21877 21879 20254 0 -1 4202496 100743 0 0 0 173221 6784 0 0 25 0 1 0 900933129 249876480 58941 33554432000 4194304 9163163 140733244693424 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/21879/statm: 61005 58941 731 1214 0 59787 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 244020

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

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.03
CPU time (s): 1800.09
CPU user time (s): 1732.23
CPU system time (s): 67.8587
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 266532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1732.23
system time used= 67.8587
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100743
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= 5
involuntary context switches= 20830

runsolver used 8.02578 second user time and 20.8978 second system time

The end

Launcher Data 

Begin job on node113 at 2011-06-03 15:17:05
IDJOB=3450685
IDBENCH=48209
IDSOLVER=1948
FILE ID=node113/3450685-1307107024
RUNJOBID= node113-1307092553-20273
PBS_JOBID= 13497976
Free space on /tmp= 73764 MiB

SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_25_2.opb
COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450685-1307107024/watcher-3450685-1307107024 -o /tmp/evaluation-result-3450685-1307107024/solver-3450685-1307107024 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450685-1307107024.opb -t 1800 -m 15500

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

MD5SUM BENCH= 1af848a7208b60f67c27d4022c7b5abe
RANDOM SEED=46121023

node113.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.846
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26452412 kB
Buffers:        235316 kB
Cached:         713292 kB
SwapCached:      13476 kB
Active:        5575480 kB
Inactive:       601912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26452412 kB
SwapTotal:    67111528 kB
SwapFree:     34421304 kB
Dirty:           12472 kB
Writeback:           0 kB
AnonPages:     5226376 kB
Mapped:          23976 kB
Slab:           134520 kB
PageTables:     117060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 154992908 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73764 MiB
End job on node113 at 2011-06-03 15:47:07