Trace number 3693326

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 standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed? 1796.84 1797.15

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_14.opb
MD5SUM308ce6e771b8240fefc971d6e27a7575
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark144
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 142
Optimality of the best value was proved NO
Number of variables3297
Total number of constraints6383
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 constraints6383
Minimum length of a constraint16
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1411
Number of bits of the biggest sum of numbers11
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 SCIP version 2.1.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.6.0.3] [GitHash: a3bf3a4-dirty]
0.00/0.00	c Copyright (c) 2002-2012 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-3693326-1338032619.opb>
0.06/0.07	c original problem has 3297 variables (3297 bin, 0 int, 0 impl, 0 cont) and 6383 constraints
0.06/0.07	c problem read in 0.08
0.09/0.15	c presolving:
0.19/0.20	c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 182 chg sides, 182 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.19/0.23	c (round 2) 0 del vars, 3094 del conss, 0 add conss, 0 chg bounds, 182 chg sides, 182 chg coeffs, 104 upgd conss, 0 impls, 0 clqs
0.19/0.26	c (round 3) 0 del vars, 3094 del conss, 0 add conss, 0 chg bounds, 182 chg sides, 182 chg coeffs, 195 upgd conss, 1092 impls, 0 clqs
0.19/0.27	c    (0.3s) probing: 51/3297 (1.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.27	c    (0.3s) probing aborted: 50/50 successive totally useless probings
0.19/0.28	c presolving (4 rounds):
0.19/0.28	c  0 deleted vars, 3094 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 182 changed sides, 182 changed coefficients
0.19/0.28	c  1092 implications, 0 cliques
0.19/0.28	c presolved problem has 3297 variables (3297 bin, 0 int, 0 impl, 0 cont) and 3289 constraints
0.19/0.28	c     195 constraints of type <knapsack>
0.19/0.28	c    3094 constraints of type <linear>
0.19/0.28	c transformed objective value is always integral (scale: 1)
0.19/0.28	c Presolving Time: 0.19
0.19/0.28	c - non default parameters ----------------------------------------------------------------------
0.19/0.28	c # SCIP version 2.1.1.4
0.19/0.28	c 
0.19/0.28	c # maximal time in seconds to run
0.19/0.28	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28	c limits/time = 1797
0.19/0.28	c 
0.19/0.28	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.28	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28	c limits/memory = 13950
0.19/0.28	c 
0.19/0.28	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.19/0.28	c # [type: int, range: [1,2], default: 1]
0.19/0.28	c timing/clocktype = 2
0.19/0.28	c 
0.19/0.28	c # belongs reading time to solving time?
0.19/0.28	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28	c timing/reading = TRUE
0.19/0.28	c 
0.19/0.28	c -----------------------------------------------------------------------------------------------
0.19/0.28	c start solving
0.19/0.28	c 
0.49/0.54	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.49/0.54	c   0.5s|     1 |     0 |    96 |     - |  27M|   0 | 503 |3297 |3304 |3297 |3289 |   0 |  15 |   0 | 1.300000e+01 |      --      |    Inf 
1.69/1.75	c   1.7s|     1 |     0 |  6095 |     - |  28M|   0 | 537 |3297 |3304 |3297 |3426 | 137 |  15 |   0 | 1.300000e+01 |      --      |    Inf 
1.98/2.01	c   2.0s|     1 |     0 |  6175 |     - |  29M|   0 | 526 |3297 |3304 |3297 |3509 | 220 |  15 |   0 | 1.300000e+01 |      --      |    Inf 
2.29/2.35	c   2.4s|     1 |     0 |  6392 |     - |  30M|   0 | 546 |3297 |3304 |3297 |3637 | 348 |  15 |   0 | 1.300000e+01 |      --      |    Inf 
2.79/2.81	c   2.8s|     1 |     0 |  6895 |     - |  30M|   0 | 657 |3297 |3304 |3297 |3770 | 481 |  15 |   0 | 1.300170e+01 |      --      |    Inf 
3.29/3.38	c   3.4s|     1 |     0 |  7526 |     - |  31M|   0 | 665 |3297 |3304 |3297 |3911 | 622 |  15 |   0 | 1.300170e+01 |      --      |    Inf 
3.89/3.97	c   4.0s|     1 |     0 |  7989 |     - |  32M|   0 | 654 |3297 |3304 |3297 |4039 | 750 |  15 |   0 | 1.300170e+01 |      --      |    Inf 
4.58/4.60	c   4.6s|     1 |     0 |  9290 |     - |  32M|   0 | 672 |3297 |3304 |3297 |4170 | 881 |  15 |   0 | 1.301190e+01 |      --      |    Inf 
5.19/5.23	c   5.2s|     1 |     0 |  9663 |     - |  33M|   0 | 667 |3297 |3304 |3297 |4303 |1014 |  15 |   0 | 1.301408e+01 |      --      |    Inf 
5.99/6.06	c   6.1s|     1 |     0 | 11199 |     - |  33M|   0 | 694 |3297 |3304 |3297 |4433 |1144 |  15 |   0 | 1.301818e+01 |      --      |    Inf 
6.78/6.86	c   6.9s|     1 |     0 | 12257 |     - |  34M|   0 | 698 |3297 |3304 |3297 |4554 |1265 |  15 |   0 | 1.301818e+01 |      --      |    Inf 
7.19/7.27	c   7.3s|     1 |     0 | 13256 |     - |  34M|   0 | 686 |3297 |3304 |3297 |4597 |1308 |  15 |   0 | 1.316667e+01 |      --      |    Inf 
7.59/7.67	c   7.7s|     1 |     0 | 14246 |     - |  34M|   0 | 672 |3297 |3304 |3297 |4467 |1333 |  15 |   0 | 1.318182e+01 |      --      |    Inf 
7.98/8.04	c   8.0s|     1 |     0 | 15109 |     - |  34M|   0 | 668 |3297 |3304 |3297 |4487 |1353 |  15 |   0 | 1.318182e+01 |      --      |    Inf 
8.29/8.36	c   8.4s|     1 |     0 | 15963 |     - |  34M|   0 | 601 |3297 |3304 |3297 |4524 |1390 |  15 |   0 | 1.400000e+01 |      --      |    Inf 
8.58/8.64	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
8.58/8.64	c   8.6s|     1 |     0 | 16637 |     - |  34M|   0 | 593 |3297 |3304 |3297 |4545 |1411 |  15 |   0 | 1.400000e+01 |      --      |    Inf 
8.98/9.00	c   9.0s|     1 |     0 | 17559 |     - |  34M|   0 | 599 |3297 |3304 |3297 |4574 |1440 |  15 |   0 | 1.400000e+01 |      --      |    Inf 
9.29/9.32	c   9.3s|     1 |     0 | 18411 |     - |  34M|   0 | 594 |3297 |3304 |3297 |4595 |1461 |  15 |   0 | 1.400000e+01 |      --      |    Inf 
9.69/9.70	c   9.7s|     1 |     0 | 20144 |     - |  34M|   0 | 588 |3297 |3304 |3297 |3908 |1490 |  15 |   0 | 1.400000e+01 |      --      |    Inf 
9.79/9.88	c   9.9s|     1 |     0 | 20508 |     - |  34M|   0 | 668 |3297 |3304 |3297 |3925 |1507 |  15 |   0 | 1.400000e+01 |      --      |    Inf 
16.28/16.32	c  16.3s|     1 |     2 | 20508 |     - |  34M|   0 | 668 |3297 |3304 |3297 |3925 |1507 |  15 |  29 | 1.400000e+01 |      --      |    Inf 
77.08/77.12	c  77.1s|   100 |    79 |371720 |3547.6 |  35M|  21 | 765 |3297 |3826 |3297 |3580 |1507 | 537 | 312 | 1.400000e+01 |      --      |    Inf 
83.28/83.36	c  83.4s|   200 |   151 |402454 |1919.3 |  36M|  31 | 395 |3297 |3863 |3297 |3580 |1507 | 574 | 358 | 1.400000e+01 |      --      |    Inf 
106.87/106.97	c   107s|   300 |   221 |551613 |1776.3 |  36M|  31 |   - |3297 |4069 |3297 |3580 |1507 | 780 | 428 | 1.400000e+01 |      --      |    Inf 
114.38/114.42	c   114s|   400 |   309 |585732 |1416.6 |  36M|  31 | 420 |3297 |4101 |3297 |3580 |1507 | 812 | 454 | 1.500000e+01 |      --      |    Inf 
122.87/122.95	c   123s|   500 |   391 |628355 |1218.1 |  36M|  31 | 512 |3297 |4123 |3297 |3580 |1507 | 834 | 506 | 1.500000e+01 |      --      |    Inf 
132.37/132.40	c   132s|   600 |   475 |670686 |1085.4 |  37M|  31 | 506 |3297 |4150 |3297 |3580 |1507 | 861 | 542 | 1.500000e+01 |      --      |    Inf 
135.27/135.36	c   135s|   700 |   533 |680925 | 944.8 |  37M|  42 |   - |3297 |4179 |3297 |3580 |1507 | 890 | 566 | 1.500000e+01 |      --      |    Inf 
138.77/138.88	c   139s|   800 |   583 |693146 | 841.8 |  37M|  50 |   - |3297 |4262 |3297 |3580 |1507 | 973 | 591 | 1.500000e+01 |      --      |    Inf 
149.27/149.37	c   149s|   900 |   653 |771514 | 835.4 |  37M|  50 | 465 |3297 |4333 |3297 |3580 |1507 |1044 | 627 | 1.500000e+01 |      --      |    Inf 
153.07/153.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
153.07/153.18	c   153s|  1000 |   706 |787996 | 768.3 |  37M|  53 | 318 |3297 |4404 |3297 |3580 |1507 |1115 | 637 | 1.500000e+01 |      --      |    Inf 
155.96/156.06	c   156s|  1100 |   734 |795445 | 705.1 |  37M|  53 | 787 |3297 |4466 |3297 |3580 |1507 |1177 | 662 | 1.500000e+01 |      --      |    Inf 
159.37/159.48	c   159s|  1200 |   796 |803783 | 653.3 |  38M|  54 | 420 |3297 |4527 |3297 |3580 |1507 |1238 | 693 | 1.500000e+01 |      --      |    Inf 
163.47/163.56	c   164s|  1300 |   890 |815746 | 612.2 |  38M|  54 | 316 |3297 |4532 |3297 |3580 |1507 |1243 | 723 | 1.500000e+01 |      --      |    Inf 
172.57/172.67	c   173s|  1400 |   966 |858966 | 599.3 |  38M|  54 | 365 |3297 |4567 |3297 |3580 |1507 |1278 | 768 | 1.500000e+01 |      --      |    Inf 
179.86/179.96	c   180s|  1500 |  1044 |893825 | 582.6 |  38M|  54 | 446 |3297 |4596 |3297 |3580 |1507 |1307 | 845 | 1.500000e+01 |      --      |    Inf 
184.86/184.90	c   185s|  1600 |  1130 |917677 | 561.1 |  39M|  54 | 564 |3297 |4627 |3297 |3580 |1507 |1338 | 866 | 1.500000e+01 |      --      |    Inf 
191.56/191.61	c   192s|  1700 |  1223 |952355 | 548.5 |  39M|  54 | 550 |3297 |4645 |3297 |3580 |1507 |1356 | 900 | 1.500000e+01 |      --      |    Inf 
195.86/195.92	c   196s|  1800 |  1295 |975011 | 530.6 |  39M|  54 | 547 |3297 |4665 |3297 |3580 |1507 |1376 | 924 | 1.500000e+01 |      --      |    Inf 
199.76/199.84	c   200s|  1900 |  1361 |992708 | 512.0 |  39M|  54 |   - |3297 |4710 |3297 |3580 |1507 |1421 | 947 | 1.500000e+01 |      --      |    Inf 
205.86/205.95	c   206s|  2000 |  1427 |  1016k| 498.5 |  39M|  54 | 732 |3297 |4757 |3297 |3580 |1507 |1468 | 989 | 1.500000e+01 |      --      |    Inf 
212.95/213.03	c   213s|  2100 |  1523 |  1057k| 494.1 |  40M|  54 | 628 |3297 |4816 |3297 |3580 |1507 |1527 |1041 | 1.500000e+01 |      --      |    Inf 
220.36/220.44	c   220s|  2200 |  1617 |  1090k| 486.7 |  40M|  54 | 715 |3297 |4820 |3297 |3580 |1507 |1531 |1085 | 1.500000e+01 |      --      |    Inf 
226.46/226.52	c   227s|  2300 |  1705 |  1123k| 479.7 |  40M|  54 | 598 |3297 |4842 |3297 |3580 |1507 |1553 |1119 | 1.500000e+01 |      --      |    Inf 
235.26/235.40	c   235s|  2400 |  1799 |  1167k| 477.9 |  40M|  54 | 644 |3297 |4853 |3297 |3580 |1507 |1564 |1180 | 1.500000e+01 |      --      |    Inf 
241.75/241.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
241.75/241.85	c   242s|  2500 |  1860 |  1212k| 477.0 |  41M|  54 | 739 |3297 |4951 |3297 |3580 |1507 |1662 |1210 | 1.600000e+01 |      --      |    Inf 
247.45/247.54	c   248s|  2600 |  1946 |  1240k| 469.5 |  41M|  54 |   - |3297 |4969 |3297 |3580 |1507 |1680 |1252 | 1.600000e+01 |      --      |    Inf 
252.94/253.06	c   253s|  2700 |  2020 |  1267k| 462.0 |  41M|  54 | 638 |3297 |5033 |3297 |3580 |1507 |1744 |1283 | 1.600000e+01 |      --      |    Inf 
258.23/258.38	c   258s|  2800 |  2082 |  1297k| 456.2 |  41M|  54 |   - |3297 |5095 |3297 |3580 |1507 |1807 |1305 | 1.600000e+01 |      --      |    Inf 
264.03/264.13	c   264s|  2900 |  2146 |  1331k| 452.1 |  42M|  54 |   - |3297 |5174 |   0 |   0 |1507 |1889 |1346 | 1.600000e+01 |      --      |    Inf 
268.93/269.05	c   269s|  3000 |  2219 |  1357k| 446.0 |  42M|  54 | 534 |3297 |5229 |3297 |3580 |1507 |1946 |1376 | 1.600000e+01 |      --      |    Inf 
272.33/272.45	c   272s|  3100 |  2273 |  1371k| 436.1 |  42M|  54 | 484 |3297 |5323 |3297 |3580 |1507 |2042 |1406 | 1.600000e+01 |      --      |    Inf 
278.73/278.83	c   279s|  3200 |  2332 |  1407k| 433.7 |  42M|  54 | 691 |3297 |5374 |3297 |3580 |1507 |2095 |1436 | 1.600000e+01 |      --      |    Inf 
284.33/284.44	c   284s|  3300 |  2405 |  1441k| 430.7 |  43M|  54 | 470 |3297 |5418 |3297 |3580 |1507 |2146 |1467 | 1.600000e+01 |      --      |    Inf 
289.73/289.88	c   290s|  3400 |  2479 |  1474k| 427.7 |  43M|  54 | 557 |3297 |5454 |3297 |3580 |1507 |2189 |1507 | 1.600000e+01 |      --      |    Inf 
295.93/296.07	c   296s|  3500 |  2556 |  1507k| 425.1 |  43M|  54 | 644 |3297 |5538 |3297 |3580 |1507 |2280 |1548 | 1.600000e+01 |      --      |    Inf 
303.23/303.37	c   303s|  3600 |  2645 |  1560k| 427.9 |  44M|  54 | 570 |3297 |5625 |3297 |3580 |1507 |2378 |1589 | 1.600000e+01 |      --      |    Inf 
311.63/311.72	c   312s|  3700 |  2711 |  1615k| 431.2 |  44M|  54 | 637 |3297 |5792 |3297 |3580 |1507 |2563 |1629 | 1.600000e+01 |      --      |    Inf 
316.92/317.06	c   317s|  3800 |  2773 |  1648k| 428.6 |  44M|  54 | 628 |3297 |5877 |3297 |3580 |1507 |2658 |1660 | 1.600000e+01 |      --      |    Inf 
322.33/322.46	c   322s|  3900 |  2837 |  1681k| 425.9 |  45M|  54 |   - |3297 |5911 |3297 |3580 |1507 |2705 |1701 | 1.600000e+01 |      --      |    Inf 
327.22/327.38	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
327.22/327.38	c   327s|  4000 |  2898 |  1711k| 423.0 |  45M|  54 | 685 |3297 |5963 |3297 |3580 |1507 |2790 |1721 | 1.600000e+01 |      --      |    Inf 
337.63/337.76	c   338s|  4100 |  2968 |  1771k| 427.1 |  45M|  54 |   - |3297 |6355 |3297 |3580 |1507 |3237 |1761 | 1.600000e+01 |      --      |    Inf 
341.52/341.65	c   342s|  4200 |  3003 |  1793k| 422.2 |  46M|  54 | 573 |3297 |6463 |3297 |3580 |1507 |3394 |1789 | 1.600000e+01 |      --      |    Inf 
347.82/347.94	c   348s|  4300 |  3070 |  1829k| 420.8 |  46M|  54 |   - |3297 |6464 |   0 |   0 |1507 |3461 |1839 | 1.600000e+01 |      --      |    Inf 
357.02/357.13	c   357s|  4400 |  3156 |  1883k| 423.4 |  46M|  54 | 489 |3297 |6442 |3297 |3580 |1507 |3481 |1869 | 1.600000e+01 |      --      |    Inf 
361.51/361.67	c   362s|  4500 |  3189 |  1908k| 419.5 |  47M|  54 | 446 |3297 |6525 |3297 |3580 |1507 |3647 |1899 | 1.600000e+01 |      --      |    Inf 
372.83/372.96	c   373s|  4600 |  3254 |  1974k| 425.0 |  47M|  54 | 550 |3297 |7185 |3297 |3580 |1507 |4503 |1935 | 1.600000e+01 |      --      |    Inf 
376.72/376.86	c   377s|  4700 |  3312 |  1994k| 420.1 |  48M|  54 | 773 |3297 |7110 |3297 |3580 |1507 |4587 |1975 | 1.600000e+01 |      --      |    Inf 
381.32/381.48	c   381s|  4800 |  3343 |  2018k| 416.4 |  48M|  54 | 501 |3297 |7102 |3297 |3580 |1507 |4726 |2014 | 1.600000e+01 |      --      |    Inf 
388.52/388.60	c   389s|  4900 |  3407 |  2058k| 416.0 |  48M|  54 | 626 |3297 |7021 |3297 |3580 |1507 |4845 |2072 | 1.600000e+01 |      --      |    Inf 
393.91/394.01	c   394s|  5000 |  3470 |  2093k| 414.6 |  49M|  54 |   - |3297 |6950 |3297 |3580 |1507 |4894 |2108 | 1.600000e+01 |      --      |    Inf 
397.21/397.30	c   397s|  5100 |  3508 |  2111k| 410.1 |  49M|  54 | 496 |3297 |6789 |3297 |3580 |1507 |4999 |2128 | 1.600000e+01 |      --      |    Inf 
399.81/399.99	c   400s|  5200 |  3546 |  2126k| 405.1 |  49M|  54 | 462 |3297 |6791 |3297 |3580 |1507 |5109 |2144 | 1.600000e+01 |      --      |    Inf 
405.52/405.68	c   406s|  5300 |  3565 |  2159k| 403.7 |  50M|  54 | 557 |3297 |6618 |3297 |3580 |1507 |5321 |2171 | 1.650000e+01 |      --      |    Inf 
410.91/411.09	c   411s|  5400 |  3601 |  2189k| 401.8 |  50M|  54 | 563 |3297 |6360 |3297 |3580 |1507 |5417 |2215 | 1.660665e+01 |      --      |    Inf 
415.92/416.05	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
415.92/416.05	c   416s|  5500 |  3645 |  2216k| 399.3 |  50M|  54 | 557 |3297 |6194 |3297 |3580 |1507 |5516 |2247 | 1.700000e+01 |      --      |    Inf 
419.11/419.28	c   419s|  5600 |  3668 |  2233k| 395.2 |  50M|  54 | 459 |3297 |6146 |3297 |3580 |1507 |5630 |2286 | 1.700000e+01 |      --      |    Inf 
422.61/422.72	c   423s|  5700 |  3679 |  2247k| 390.8 |  50M|  55 |   - |3297 |6052 |3297 |3580 |1507 |5805 |2310 | 1.700000e+01 |      --      |    Inf 
427.01/427.18	c   427s|  5800 |  3714 |  2272k| 388.3 |  50M|  55 |   - |3297 |5895 |3297 |3580 |1507 |5953 |2339 | 1.700000e+01 |      --      |    Inf 
431.21/431.36	c   431s|  5900 |  3768 |  2297k| 386.0 |  51M|  55 | 521 |3297 |5727 |3297 |3580 |1507 |6045 |2376 | 1.700000e+01 |      --      |    Inf 
434.61/434.76	c   435s|  6000 |  3801 |  2318k| 383.0 |  51M|  55 | 469 |3297 |5523 |3297 |3580 |1507 |6145 |2386 | 1.700000e+01 |      --      |    Inf 
441.51/441.63	c   442s|  6100 |  3843 |  2359k| 383.5 |  51M|  55 | 568 |3297 |5361 |3297 |3580 |1507 |6250 |2443 | 1.700000e+01 |      --      |    Inf 
446.60/446.75	c   447s|  6200 |  3899 |  2389k| 382.1 |  52M|  55 |   - |3297 |5331 |3297 |3580 |1507 |6452 |2470 | 1.700000e+01 |      --      |    Inf 
450.81/450.93	c   451s|  6300 |  3920 |  2409k| 379.2 |  52M|  55 | 595 |3297 |5279 |3297 |3580 |1507 |6593 |2497 | 1.700000e+01 |      --      |    Inf 
456.71/456.87	c   457s|  6400 |  3967 |  2442k| 378.5 |  52M|  55 | 641 |3297 |5222 |3297 |3580 |1507 |6723 |2535 | 1.700000e+01 |      --      |    Inf 
462.91/463.08	c   463s|  6500 |  4016 |  2481k| 378.7 |  52M|  55 | 485 |3297 |5187 |3297 |3580 |1507 |6846 |2561 | 1.700000e+01 |      --      |    Inf 
466.81/466.98	c   467s|  6600 |  4046 |  2504k| 376.4 |  53M|  55 | 398 |3297 |5217 |3297 |3580 |1507 |6976 |2571 | 1.700000e+01 |      --      |    Inf 
470.81/470.92	c   471s|  6700 |  4081 |  2522k| 373.4 |  53M|  55 |   - |3297 |5223 |3297 |3580 |1507 |7078 |2615 | 1.700000e+01 |      --      |    Inf 
474.71/474.88	c   475s|  6800 |  4124 |  2543k| 371.1 |  53M|  55 | 574 |3297 |5233 |3297 |3580 |1507 |7201 |2653 | 1.700000e+01 |      --      |    Inf 
479.51/479.68	c   480s|  6900 |  4145 |  2568k| 369.3 |  53M|  55 | 765 |3297 |5242 |3297 |3580 |1507 |7325 |2679 | 1.700000e+01 |      --      |    Inf 
491.00/491.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
491.00/491.15	c   491s|  7000 |  4176 |  2616k| 370.9 |  54M|  55 | 581 |3297 |5767 |3297 |3580 |1507 |8193 |2728 | 1.700000e+01 |      --      |    Inf 
494.10/494.26	c   494s|  7100 |  4224 |  2632k| 368.0 |  54M|  55 |   - |3297 |5808 |3297 |3580 |1507 |8277 |2765 | 1.700000e+01 |      --      |    Inf 
496.80/496.95	c   497s|  7200 |  4250 |  2649k| 365.2 |  54M|  55 | 527 |3297 |5841 |3297 |3580 |1507 |8370 |2777 | 1.700000e+01 |      --      |    Inf 
504.30/504.46	c   504s|  7300 |  4274 |  2686k| 365.3 |  55M|  55 |   - |3297 |5793 |3297 |3580 |1507 |8503 |2848 | 1.700000e+01 |      --      |    Inf 
508.90/509.08	c   509s|  7400 |  4331 |  2715k| 364.3 |  55M|  55 | 496 |3297 |5732 |3297 |3580 |1507 |8581 |2876 | 1.700000e+01 |      --      |    Inf 
512.70/512.84	c   513s|  7500 |  4355 |  2737k| 362.4 |  55M|  55 |   - |3297 |5750 |3297 |3580 |1507 |8719 |2906 | 1.700000e+01 |      --      |    Inf 
515.70/515.89	c   516s|  7600 |  4383 |  2753k| 359.7 |  55M|  55 | 501 |3297 |5821 |3297 |3580 |1507 |8861 |2926 | 1.700000e+01 |      --      |    Inf 
518.90/519.00	c   519s|  7700 |  4418 |  2772k| 357.4 |  56M|  55 |   - |3297 |5829 |3297 |3580 |1507 |8952 |2943 | 1.700000e+01 |      --      |    Inf 
521.20/521.39	c   521s|  7800 |  4446 |  2786k| 354.7 |  56M|  55 | 644 |3297 |5812 |3297 |3580 |1507 |9051 |2953 | 1.700000e+01 |      --      |    Inf 
525.80/525.95	c   526s|  7900 |  4473 |  2814k| 353.7 |  56M|  55 | 596 |3297 |5769 |3297 |3580 |1507 |9172 |2989 | 1.700000e+01 |      --      |    Inf 
529.59/529.70	c   530s|  8000 |  4515 |  2831k| 351.5 |  56M|  55 | 612 |3297 |5805 |3297 |3580 |1507 |9304 |3022 | 1.700000e+01 |      --      |    Inf 
533.99/534.13	c   534s|  8100 |  4560 |  2860k| 350.6 |  57M|  55 | 533 |3297 |5760 |3297 |3580 |1507 |9398 |3042 | 1.700000e+01 |      --      |    Inf 
537.99/538.18	c   538s|  8200 |  4591 |  2881k| 349.0 |  57M|  55 | 502 |3297 |5799 |3297 |3580 |1507 |9568 |3070 | 1.700000e+01 |      --      |    Inf 
541.39/541.54	c   542s|  8300 |  4596 |  2900k| 347.0 |  57M|  55 |   - |3297 |5826 |3297 |3580 |1507 |9733 |3094 | 1.700000e+01 |      --      |    Inf 
546.50/546.64	c   547s|  8400 |  4628 |  2924k| 345.8 |  57M|  55 | 583 |3297 |5637 |3297 |3580 |1507 |9845 |3133 | 1.700000e+01 |      --      |    Inf 
552.29/552.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
552.29/552.48	c   552s|  8500 |  4644 |  2958k| 345.7 |  58M|  55 | 557 |3297 |5590 |3297 |3580 |1507 |  10k|3184 | 1.700000e+01 |      --      |    Inf 
557.09/557.24	c   557s|  8600 |  4685 |  2985k| 344.9 |  58M|  55 | 497 |3297 |5539 |3297 |3580 |1507 |  10k|3218 | 1.700000e+01 |      --      |    Inf 
560.39/560.52	c   561s|  8700 |  4717 |  3007k| 343.4 |  58M|  55 |   - |3297 |5562 |3297 |3580 |1507 |  10k|3236 | 1.700000e+01 |      --      |    Inf 
565.59/565.75	c   566s|  8800 |  4752 |  3037k| 342.8 |  59M|  55 | 623 |3297 |5537 |3297 |3580 |1507 |  10k|3273 | 1.700000e+01 |      --      |    Inf 
571.39/571.58	c   572s|  8900 |  4778 |  3071k| 342.8 |  59M|  55 | 514 |3297 |5609 |3297 |3580 |1507 |  10k|3307 | 1.700000e+01 |      --      |    Inf 
576.19/576.35	c   576s|  9000 |  4811 |  3096k| 341.9 |  59M|  55 | 584 |3297 |5531 |3297 |3580 |1507 |  10k|3338 | 1.700000e+01 |      --      |    Inf 
580.18/580.37	c   580s|  9100 |  4823 |  3123k| 341.0 |  59M|  55 | 634 |3297 |5516 |3297 |3580 |1507 |  10k|3357 | 1.700000e+01 |      --      |    Inf 
584.18/584.33	c   584s|  9200 |  4880 |  3144k| 339.6 |  60M|  55 | 599 |3297 |5454 |3297 |3580 |1507 |  10k|3386 | 1.700000e+01 |      --      |    Inf 
587.38/587.50	c   587s|  9300 |  4909 |  3163k| 338.0 |  60M|  55 | 623 |3297 |5405 |3297 |3580 |1507 |  11k|3405 | 1.700000e+01 |      --      |    Inf 
594.29/594.42	c   594s|  9400 |  4964 |  3211k| 339.5 |  61M|  55 | 562 |3297 |5319 |3297 |3580 |1507 |  11k|3433 | 1.700000e+01 |      --      |    Inf 
600.39/600.58	c   601s|  9500 |  4983 |  3251k| 340.1 |  61M|  55 | 632 |3297 |5379 |3297 |3580 |1507 |  11k|3471 | 1.700000e+01 |      --      |    Inf 
605.08/605.27	c   605s|  9600 |  5009 |  3278k| 339.4 |  61M|  55 |   - |3297 |5305 |3297 |3580 |1507 |  11k|3490 | 1.700000e+01 |      --      |    Inf 
609.08/609.23	c   609s|  9700 |  5052 |  3301k| 338.3 |  61M|  55 | 513 |3297 |5295 |3297 |3580 |1507 |  11k|3518 | 1.700000e+01 |      --      |    Inf 
613.98/614.19	c   614s|  9800 |  5084 |  3336k| 338.4 |  62M|  55 | 594 |3297 |5346 |3297 |3580 |1507 |  11k|3543 | 1.700000e+01 |      --      |    Inf 
617.28/617.49	c   617s|  9900 |  5117 |  3351k| 336.5 |  62M|  55 | 600 |3297 |5395 |3297 |3580 |1507 |  11k|3567 | 1.700000e+01 |      --      |    Inf 
620.38/620.51	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
620.38/620.51	c   621s| 10000 |  5140 |  3365k| 334.5 |  63M|  55 | 412 |3297 |5451 |3297 |3580 |1507 |  12k|3585 | 1.700000e+01 |      --      |    Inf 
624.88/625.02	c   625s| 10100 |  5170 |  3391k| 333.8 |  63M|  55 |   - |3297 |5492 |3297 |3580 |1507 |  12k|3620 | 1.700000e+01 |      --      |    Inf 
628.38/628.50	c   628s| 10200 |  5184 |  3404k| 331.8 |  63M|  55 | 470 |3297 |5467 |3297 |3580 |1507 |  12k|3660 | 1.700000e+01 |      --      |    Inf 
633.49/633.62	c   634s| 10300 |  5242 |  3436k| 331.7 |  63M|  55 |   - |3297 |5376 |3297 |3580 |1507 |  12k|3687 | 1.700000e+01 |      --      |    Inf 
641.28/641.42	c   641s| 10400 |  5282 |  3487k| 333.4 |  64M|  55 |   - |3297 |5406 |3297 |3580 |1507 |  12k|3730 | 1.700000e+01 |      --      |    Inf 
645.97/646.10	c   646s| 10500 |  5302 |  3520k| 333.4 |  64M|  55 | 774 |3297 |5416 |3297 |3580 |1507 |  12k|3758 | 1.700000e+01 |      --      |    Inf 
649.18/649.39	c   649s| 10600 |  5321 |  3539k| 332.0 |  64M|  55 | 432 |3297 |5423 |3297 |3580 |1507 |  13k|3775 | 1.700000e+01 |      --      |    Inf 
652.97/653.10	c   653s| 10700 |  5345 |  3560k| 330.9 |  64M|  55 | 557 |3297 |5463 |3297 |3580 |1507 |  13k|3803 | 1.700000e+01 |      --      |    Inf 
657.68/657.83	c   658s| 10800 |  5373 |  3585k| 330.2 |  65M|  55 | 671 |3297 |5458 |3297 |3580 |1507 |  13k|3840 | 1.700000e+01 |      --      |    Inf 
667.87/668.05	c   668s| 10900 |  5396 |  3648k| 332.9 |  65M|  55 | 547 |3297 |5609 |3297 |3580 |1507 |  13k|3855 | 1.700000e+01 |      --      |    Inf 
674.57/674.70	c   675s| 11000 |  5412 |  3691k| 333.7 |  65M|  55 | 581 |3297 |5570 |3297 |3580 |1507 |  14k|3893 | 1.700000e+01 |      --      |    Inf 
679.07/679.25	c   679s| 11100 |  5452 |  3717k| 333.1 |  66M|  55 |   - |3297 |5491 |3297 |3580 |1507 |  14k|3920 | 1.700000e+01 |      --      |    Inf 
684.07/684.23	c   684s| 11200 |  5480 |  3744k| 332.6 |  66M|  55 | 393 |3297 |5373 |3297 |3580 |1507 |  14k|3956 | 1.700000e+01 |      --      |    Inf 
687.87/688.08	c   688s| 11300 |  5506 |  3762k| 331.2 |  66M|  55 |   - |3297 |5387 |3297 |3580 |1507 |  14k|3987 | 1.700000e+01 |      --      |    Inf 
692.26/692.47	c   692s| 11400 |  5536 |  3782k| 330.0 |  66M|  55 |   - |3297 |5358 |3297 |3580 |1507 |  14k|4022 | 1.700000e+01 |      --      |    Inf 
696.77/696.92	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
696.77/696.92	c   697s| 11500 |  5564 |  3809k| 329.5 |  66M|  55 | 651 |3297 |5319 |3297 |3580 |1507 |  14k|4048 | 1.700000e+01 |      --      |    Inf 
701.27/701.43	c   701s| 11600 |  5605 |  3836k| 329.0 |  67M|  55 |   - |3297 |5296 |3297 |3580 |1507 |  14k|4077 | 1.700000e+01 |      --      |    Inf 
706.76/706.98	c   707s| 11700 |  5661 |  3867k| 328.9 |  67M|  55 | 755 |3297 |5271 |3297 |3580 |1507 |  15k|4105 | 1.700000e+01 |      --      |    Inf 
710.07/710.22	c   710s| 11800 |  5692 |  3887k| 327.8 |  67M|  55 |   - |3297 |5263 |   0 |   0 |1507 |  15k|4125 | 1.700000e+01 |      --      |    Inf 
715.16/715.33	c   715s| 11900 |  5711 |  3919k| 327.7 |  67M|  55 |   - |3297 |5287 |3297 |3580 |1507 |  15k|4154 | 1.700000e+01 |      --      |    Inf 
720.06/720.25	c   720s| 12000 |  5735 |  3946k| 327.2 |  67M|  55 | 520 |3297 |5282 |3297 |3580 |1507 |  15k|4179 | 1.700000e+01 |      --      |    Inf 
723.57/723.79	c   724s| 12100 |  5748 |  3963k| 325.9 |  68M|  55 | 482 |3297 |5331 |3297 |3580 |1507 |  15k|4226 | 1.700000e+01 |      --      |    Inf 
728.36/728.59	c   729s| 12200 |  5773 |  3989k| 325.3 |  68M|  55 | 548 |3297 |5280 |3297 |3580 |1507 |  15k|4253 | 1.700000e+01 |      --      |    Inf 
733.66/733.89	c   734s| 12300 |  5806 |  4022k| 325.4 |  68M|  55 |   - |3297 |5283 |3297 |3580 |1507 |  15k|4292 | 1.700000e+01 |      --      |    Inf 
737.16/737.36	c   737s| 12400 |  5836 |  4044k| 324.5 |  68M|  55 |   - |3297 |5338 |3297 |3580 |1507 |  15k|4313 | 1.700000e+01 |      --      |    Inf 
742.27/742.48	c   742s| 12500 |  5852 |  4071k| 324.1 |  69M|  55 |   - |3297 |5374 |3297 |3580 |1507 |  16k|4380 | 1.700000e+01 |      --      |    Inf 
746.36/746.54	c   747s| 12600 |  5875 |  4091k| 323.2 |  69M|  55 |   - |3297 |5347 |3297 |3580 |1507 |  16k|4406 | 1.700000e+01 |      --      |    Inf 
749.76/749.94	c   750s| 12700 |  5886 |  4104k| 321.6 |  69M|  55 |   - |3297 |5340 |3297 |3580 |1507 |  16k|4432 | 1.700000e+01 |      --      |    Inf 
753.46/753.64	c   754s| 12800 |  5924 |  4128k| 321.0 |  69M|  55 | 597 |3297 |5306 |3297 |3580 |1507 |  16k|4457 | 1.700000e+01 |      --      |    Inf 
760.55/760.76	c   761s| 12900 |  5981 |  4172k| 321.9 |  70M|  55 | 510 |3297 |5305 |3297 |3580 |1507 |  16k|4502 | 1.700000e+01 |      --      |    Inf 
764.26/764.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
764.26/764.49	c   764s| 13000 |  6011 |  4196k| 321.2 |  70M|  55 | 489 |3297 |5334 |3297 |3580 |1507 |  16k|4530 | 1.700000e+01 |      --      |    Inf 
768.76/768.96	c   769s| 13100 |  6023 |  4218k| 320.5 |  70M|  55 | 602 |3297 |5289 |3297 |3580 |1507 |  16k|4557 | 1.700000e+01 |      --      |    Inf 
777.55/777.78	c   778s| 13200 |  6044 |  4264k| 321.6 |  70M|  55 | 489 |3297 |5865 |3297 |3580 |1507 |  17k|4566 | 1.700000e+01 |      --      |    Inf 
781.45/781.66	c   782s| 13300 |  6063 |  4286k| 320.8 |  70M|  55 |   - |3297 |5821 |3297 |3580 |1507 |  17k|4584 | 1.700000e+01 |      --      |    Inf 
786.16/786.35	c   786s| 13400 |  6091 |  4313k| 320.4 |  71M|  55 |   - |3297 |5831 |   0 |   0 |1507 |  18k|4616 | 1.700000e+01 |      --      |    Inf 
790.66/790.88	c   791s| 13500 |  6104 |  4342k| 320.2 |  71M|  55 | 434 |3297 |5862 |3297 |3580 |1507 |  18k|4644 | 1.700000e+01 |      --      |    Inf 
795.45/795.63	c   796s| 13600 |  6124 |  4365k| 319.5 |  71M|  55 | 534 |3297 |5877 |3297 |3580 |1507 |  18k|4671 | 1.700000e+01 |      --      |    Inf 
800.75/800.94	c   801s| 13700 |  6163 |  4402k| 319.9 |  71M|  55 | 564 |3297 |5835 |3297 |3580 |1507 |  18k|4695 | 1.700000e+01 |      --      |    Inf 
806.15/806.37	c   806s| 13800 |  6187 |  4431k| 319.7 |  72M|  55 |   - |3297 |5836 |3297 |3580 |1507 |  18k|4718 | 1.700000e+01 |      --      |    Inf 
812.45/812.69	c   813s| 13900 |  6210 |  4463k| 319.7 |  72M|  55 |   - |3297 |5730 |3297 |3580 |1507 |  18k|4736 | 1.700000e+01 |      --      |    Inf 
815.14/815.31	c   815s| 14000 |  6238 |  4478k| 318.4 |  72M|  55 | 447 |3297 |5681 |3297 |3580 |1507 |  19k|4754 | 1.700000e+01 |      --      |    Inf 
819.64/819.86	c   820s| 14100 |  6272 |  4507k| 318.2 |  72M|  55 |   - |3297 |5715 |   0 |   0 |1507 |  19k|4772 | 1.700000e+01 |      --      |    Inf 
823.85/824.02	c   824s| 14200 |  6292 |  4531k| 317.7 |  73M|  55 |   - |3297 |5674 |3297 |3580 |1507 |  19k|4790 | 1.700000e+01 |      --      |    Inf 
827.64/827.83	c   828s| 14300 |  6308 |  4552k| 316.9 |  73M|  55 | 631 |3297 |5540 |3297 |3580 |1507 |  19k|4808 | 1.700000e+01 |      --      |    Inf 
831.84/832.04	c   832s| 14400 |  6346 |  4578k| 316.5 |  73M|  55 |   - |3297 |5494 |3297 |3580 |1507 |  19k|4837 | 1.700000e+01 |      --      |    Inf 
835.24/835.48	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
835.24/835.48	c   835s| 14500 |  6369 |  4597k| 315.7 |  74M|  55 | 557 |3297 |5560 |3297 |3580 |1507 |  19k|4874 | 1.700000e+01 |      --      |    Inf 
838.84/839.06	c   839s| 14600 |  6412 |  4618k| 315.0 |  74M|  55 |   - |3297 |5496 |3297 |3580 |1507 |  19k|4892 | 1.700000e+01 |      --      |    Inf 
842.94/843.18	c   843s| 14700 |  6436 |  4646k| 314.7 |  74M|  55 |   - |3297 |5518 |3297 |3580 |1507 |  20k|4926 | 1.700000e+01 |      --      |    Inf 
848.14/848.35	c   848s| 14800 |  6479 |  4677k| 314.7 |  75M|  55 | 695 |3297 |5572 |3297 |3580 |1507 |  20k|4961 | 1.700000e+01 |      --      |    Inf 
851.94/852.15	c   852s| 14900 |  6494 |  4698k| 314.0 |  75M|  55 |   - |3297 |5624 |   0 |   0 |1507 |  20k|4996 | 1.700000e+01 |      --      |    Inf 
856.14/856.37	c   856s| 15000 |  6501 |  4720k| 313.4 |  75M|  55 |   - |3297 |5517 |3297 |3580 |1507 |  20k|5022 | 1.700000e+01 |      --      |    Inf 
863.24/863.47	c   863s| 15100 |  6542 |  4763k| 314.1 |  75M|  55 | 664 |3297 |5442 |3297 |3580 |1507 |  20k|5074 | 1.700000e+01 |      --      |    Inf 
867.75/867.97	c   868s| 15200 |  6588 |  4790k| 313.9 |  76M|  55 | 469 |3297 |5366 |3297 |3580 |1507 |  20k|5101 | 1.700000e+01 |      --      |    Inf 
871.53/871.74	c   872s| 15300 |  6585 |  4811k| 313.2 |  76M|  55 |   - |3297 |5165 |3297 |3580 |1507 |  21k|5127 | 1.700000e+01 |      --      |    Inf 
875.14/875.38	c   875s| 15400 |  6606 |  4830k| 312.4 |  76M|  55 | 437 |3297 |5213 |3297 |3580 |1507 |  21k|5154 | 1.700000e+01 |      --      |    Inf 
882.64/882.81	c   883s| 15500 |  6646 |  4876k| 313.3 |  76M|  55 |   - |3297 |5258 |3297 |3580 |1507 |  21k|5190 | 1.700000e+01 |      --      |    Inf 
887.23/887.49	c   887s| 15600 |  6670 |  4904k| 313.1 |  77M|  55 |   - |3297 |5265 |3297 |3580 |1507 |  21k|5226 | 1.700000e+01 |      --      |    Inf 
892.03/892.23	c   892s| 15700 |  6703 |  4936k| 313.1 |  77M|  55 | 535 |3297 |5336 |3297 |3580 |1507 |  21k|5257 | 1.700000e+01 |      --      |    Inf 
897.94/898.10	c   898s| 15800 |  6748 |  4977k| 313.7 |  77M|  55 |   - |3297 |5328 |3297 |3580 |1507 |  21k|5289 | 1.700000e+01 |      --      |    Inf 
903.84/904.01	c   904s| 15900 |  6780 |  5010k| 313.9 |  78M|  55 | 515 |3297 |5279 |3297 |3580 |1507 |  22k|5337 | 1.700000e+01 |      --      |    Inf 
906.14/906.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
906.14/906.36	c   906s| 16000 |  6785 |  5023k| 312.7 |  78M|  55 | 460 |3297 |5362 |3297 |3580 |1507 |  22k|5353 | 1.700000e+01 |      --      |    Inf 
910.94/911.17	c   911s| 16100 |  6775 |  5045k| 312.2 |  78M|  55 |   - |3297 |5425 |3297 |3580 |1507 |  22k|5404 | 1.700000e+01 |      --      |    Inf 
913.44/913.62	c   914s| 16200 |  6782 |  5059k| 311.1 |  78M|  55 |   - |3297 |5471 |3297 |3580 |1507 |  22k|5420 | 1.700000e+01 |      --      |    Inf 
918.03/918.27	c   918s| 16300 |  6796 |  5079k| 310.4 |  78M|  55 | 441 |3297 |5523 |3297 |3580 |1507 |  22k|5456 | 1.700000e+01 |      --      |    Inf 
919.64/919.86	c   920s| 16400 |  6799 |  5088k| 309.0 |  79M|  55 |   - |3297 |5614 |   0 |   0 |1507 |  22k|5456 | 1.700000e+01 |      --      |    Inf 
928.83/929.01	c   929s| 16500 |  6842 |  5144k| 310.6 |  79M|  55 | 654 |3297 |5499 |3297 |3580 |1507 |  23k|5511 | 1.700000e+01 |      --      |    Inf 
934.32/934.50	c   934s| 16600 |  6868 |  5169k| 310.2 |  79M|  55 | 497 |3297 |5361 |3297 |3580 |1507 |  23k|5545 | 1.700000e+01 |      --      |    Inf 
940.63/940.81	c   941s| 16700 |  6910 |  5205k| 310.5 |  80M|  55 | 642 |3297 |5239 |3297 |3580 |1507 |  23k|5588 | 1.700000e+01 |      --      |    Inf 
951.72/951.92	c   952s| 16800 |  6998 |  5276k| 312.9 |  80M|  55 |   - |3297 |5170 |   0 |   0 |1507 |  23k|5663 | 1.700000e+01 |      --      |    Inf 
959.12/959.39	c   959s| 16900 |  7037 |  5321k| 313.7 |  81M|  55 | 496 |3297 |5141 |3297 |3580 |1507 |  23k|5721 | 1.700000e+01 |      --      |    Inf 
962.72/962.93	c   963s| 17000 |  7073 |  5343k| 313.1 |  81M|  55 | 498 |3297 |5166 |3297 |3580 |1507 |  23k|5737 | 1.700000e+01 |      --      |    Inf 
965.32/965.51	c   966s| 17100 |  7067 |  5359k| 312.2 |  81M|  55 |   - |3297 |5293 |   0 |   0 |1507 |  23k|5760 | 1.700000e+01 |      --      |    Inf 
970.72/970.93	c   971s| 17200 |  7075 |  5390k| 312.2 |  81M|  55 | 477 |3297 |5312 |3297 |3580 |1507 |  24k|5790 | 1.700000e+01 |      --      |    Inf 
975.12/975.32	c   975s| 17300 |  7094 |  5414k| 311.8 |  82M|  55 |   - |3297 |5134 |   0 |   0 |1507 |  24k|5832 | 1.700000e+01 |      --      |    Inf 
983.12/983.35	c   983s| 17400 |  7123 |  5451k| 312.1 |  82M|  55 | 420 |3297 |5284 |3297 |3580 |1507 |  24k|5878 | 1.700000e+01 |      --      |    Inf 
988.73/988.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
988.73/988.97	c   989s| 17500 |  7147 |  5489k| 312.5 |  83M|  55 | 392 |3297 |5314 |3297 |3580 |1507 |  24k|5902 | 1.700000e+01 |      --      |    Inf 
992.92/993.18	c   993s| 17600 |  7162 |  5517k| 312.3 |  83M|  55 | 453 |3297 |5465 |3297 |3580 |1507 |  25k|5941 | 1.700000e+01 |      --      |    Inf 
996.42/996.61	c   997s| 17700 |  7157 |  5540k| 311.9 |  83M|  55 |   - |3297 |5515 |   0 |   0 |1507 |  25k|5959 | 1.700683e+01 |      --      |    Inf 
999.62/999.85	c  1000s| 17800 |  7175 |  5558k| 311.2 |  83M|  55 | 503 |3297 |5565 |3297 |3580 |1507 |  25k|5983 | 1.700683e+01 |      --      |    Inf 
1004.31/1004.55	c  1005s| 17900 |  7179 |  5583k| 310.8 |  83M|  55 |   - |3297 |5509 |3297 |3580 |1507 |  25k|6008 | 1.701010e+01 |      --      |    Inf 
1009.12/1009.31	c  1009s| 18000 |  7222 |  5608k| 310.5 |  84M|  55 |   - |3297 |5466 |   0 |   0 |1507 |  25k|6034 | 1.701015e+01 |      --      |    Inf 
1011.72/1011.93	c  1012s| 18100 |  7224 |  5620k| 309.4 |  84M|  55 | 535 |3297 |5500 |3297 |3580 |1507 |  25k|6062 | 1.701015e+01 |      --      |    Inf 
1015.51/1015.78	c  1016s| 18200 |  7236 |  5644k| 309.0 |  84M|  55 | 430 |3297 |5568 |3297 |3580 |1507 |  26k|6080 | 1.703030e+01 |      --      |    Inf 
1020.11/1020.31	c  1020s| 18300 |  7252 |  5674k| 309.0 |  85M|  55 |   - |3297 |5655 |   0 |   0 |1507 |  26k|6106 | 1.703030e+01 |      --      |    Inf 
1024.51/1024.73	c  1025s| 18400 |  7270 |  5699k| 308.6 |  85M|  55 | 455 |3297 |5636 |3297 |3580 |1507 |  26k|6148 | 1.745958e+01 |      --      |    Inf 
1027.92/1028.14	c  1028s| 18500 |  7277 |  5720k| 308.1 |  85M|  55 |   - |3297 |5629 |3297 |3580 |1507 |  26k|6167 | 1.750000e+01 |      --      |    Inf 
1034.31/1034.52	c  1035s| 18600 |  7286 |  5753k| 308.3 |  85M|  55 | 498 |3297 |5429 |3297 |3580 |1507 |  26k|6207 | 1.750000e+01 |      --      |    Inf 
1039.51/1039.75	c  1040s| 18700 |  7302 |  5783k| 308.2 |  85M|  55 | 659 |3297 |5368 |3297 |3580 |1507 |  26k|6241 | 1.750000e+01 |      --      |    Inf 
1043.51/1043.78	c  1044s| 18800 |  7315 |  5806k| 307.8 |  85M|  55 | 510 |3297 |5333 |3297 |3580 |1507 |  27k|6265 | 1.750000e+01 |      --      |    Inf 
1047.81/1048.05	c  1048s| 18900 |  7325 |  5829k| 307.4 |  85M|  55 | 480 |3297 |5434 |3297 |3580 |1507 |  27k|6289 | 1.750000e+01 |      --      |    Inf 
1057.51/1057.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1057.51/1057.76	c  1058s| 19000 |  7359 |  5888k| 308.9 |  85M|  55 | 572 |3297 |5525 |3297 |3580 |1507 |  27k|6321 | 1.750000e+01 |      --      |    Inf 
1065.71/1065.97	c  1066s| 19100 |  7399 |  5937k| 309.8 |  86M|  55 | 549 |3297 |5610 |3297 |3580 |1507 |  27k|6371 | 1.752964e+01 |      --      |    Inf 
1070.11/1070.36	c  1070s| 19200 |  7436 |  5962k| 309.5 |  86M|  55 | 455 |3297 |5590 |3297 |3580 |1507 |  28k|6409 | 1.757143e+01 |      --      |    Inf 
1075.91/1076.15	c  1076s| 19300 |  7463 |  6000k| 309.9 |  87M|  55 |   - |3297 |5555 |3297 |3580 |1507 |  28k|6446 | 1.800000e+01 |      --      |    Inf 
1080.11/1080.39	c  1080s| 19400 |  7482 |  6027k| 309.7 |  87M|  55 | 590 |3297 |5484 |3297 |3580 |1507 |  28k|6475 | 1.800000e+01 |      --      |    Inf 
1085.80/1086.00	c  1086s| 19500 |  7503 |  6062k| 309.8 |  87M|  55 | 392 |3297 |5501 |3297 |3580 |1507 |  28k|6523 | 1.800000e+01 |      --      |    Inf 
1090.40/1090.65	c  1091s| 19600 |  7525 |  6088k| 309.6 |  88M|  55 | 606 |3297 |5376 |3297 |3580 |1507 |  28k|6567 | 1.800000e+01 |      --      |    Inf 
1095.70/1095.94	c  1096s| 19700 |  7534 |  6111k| 309.2 |  88M|  55 | 588 |3297 |5324 |3297 |3580 |1507 |  28k|6604 | 1.800000e+01 |      --      |    Inf 
1098.40/1098.66	c  1099s| 19800 |  7529 |  6127k| 308.5 |  88M|  55 | 591 |3297 |5376 |3297 |3580 |1507 |  29k|6615 | 1.800000e+01 |      --      |    Inf 
1105.80/1106.04	c  1106s| 19900 |  7563 |  6177k| 309.4 |  89M|  55 | 631 |3297 |5348 |3297 |3580 |1507 |  29k|6652 | 1.800000e+01 |      --      |    Inf 
1109.61/1109.90	c  1110s| 20000 |  7606 |  6204k| 309.2 |  90M|  55 | 709 |3297 |5306 |3297 |3580 |1507 |  29k|6681 | 1.800000e+01 |      --      |    Inf 
1112.00/1112.22	c  1112s| 20100 |  7605 |  6220k| 308.5 |  90M|  55 |   - |3297 |5331 |   0 |   0 |1507 |  29k|6689 | 1.800000e+01 |      --      |    Inf 
1118.20/1118.47	c  1118s| 20200 |  7624 |  6251k| 308.5 |  90M|  55 | 637 |3297 |5235 |3297 |3580 |1507 |  29k|6734 | 1.800000e+01 |      --      |    Inf 
1123.50/1123.70	c  1124s| 20300 |  7636 |  6280k| 308.4 |  90M|  55 | 642 |3297 |5219 |3297 |3580 |1507 |  29k|6782 | 1.800000e+01 |      --      |    Inf 
1126.11/1126.37	c  1126s| 20400 |  7650 |  6293k| 307.5 |  91M|  55 | 482 |3297 |5233 |3297 |3580 |1507 |  30k|6795 | 1.800000e+01 |      --      |    Inf 
1129.50/1129.78	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1129.50/1129.78	c  1130s| 20500 |  7655 |  6316k| 307.1 |  91M|  55 |   - |3297 |5238 |3297 |3580 |1507 |  30k|6815 | 1.800000e+01 |      --      |    Inf 
1133.49/1133.72	c  1134s| 20600 |  7688 |  6336k| 306.6 |  91M|  55 |   - |3297 |5178 |3297 |3580 |1507 |  30k|6844 | 1.800000e+01 |      --      |    Inf 
1136.70/1136.94	c  1137s| 20700 |  7679 |  6355k| 306.1 |  91M|  55 | 511 |3297 |5231 |3297 |3580 |1507 |  30k|6857 | 1.800000e+01 |      --      |    Inf 
1143.00/1143.21	c  1143s| 20800 |  7705 |  6391k| 306.3 |  91M|  55 | 532 |3297 |5152 |3297 |3580 |1507 |  30k|6905 | 1.800000e+01 |      --      |    Inf 
1146.39/1146.61	c  1147s| 20900 |  7726 |  6404k| 305.5 |  92M|  55 |   - |3297 |5012 |   0 |   0 |1507 |  30k|6944 | 1.800000e+01 |      --      |    Inf 
1150.59/1150.87	c  1151s| 21000 |  7747 |  6431k| 305.3 |  92M|  55 | 620 |3297 |4890 |3297 |3580 |1507 |  30k|6966 | 1.800000e+01 |      --      |    Inf 
1156.39/1156.66	c  1157s| 21100 |  7791 |  6466k| 305.5 |  92M|  55 | 694 |3297 |4842 |3297 |3580 |1507 |  31k|7016 | 1.800000e+01 |      --      |    Inf 
1162.09/1162.38	c  1162s| 21200 |  7822 |  6506k| 306.0 |  93M|  55 | 473 |3297 |4887 |3297 |3580 |1507 |  31k|7020 | 1.800000e+01 |      --      |    Inf 
1171.39/1171.65	c  1172s| 21300 |  7843 |  6564k| 307.2 |  93M|  55 | 540 |3297 |5089 |3297 |3580 |1507 |  31k|7065 | 1.800000e+01 |      --      |    Inf 
1174.09/1174.36	c  1174s| 21400 |  7838 |  6581k| 306.6 |  93M|  55 | 479 |3297 |5134 |3297 |3580 |1507 |  31k|7078 | 1.800000e+01 |      --      |    Inf 
1176.09/1176.33	c  1176s| 21500 |  7861 |  6596k| 305.9 |  93M|  55 | 459 |3297 |5213 |3297 |3580 |1507 |  31k|7078 | 1.800000e+01 |      --      |    Inf 
1179.00/1179.21	c  1179s| 21600 |  7880 |  6621k| 305.6 |  93M|  55 | 709 |3297 |5288 |3297 |3580 |1507 |  32k|7082 | 1.800000e+01 |      --      |    Inf 
1183.30/1183.58	c  1184s| 21700 |  7897 |  6644k| 305.3 |  93M|  55 | 807 |3297 |5263 |3297 |3580 |1507 |  32k|7119 | 1.800000e+01 |      --      |    Inf 
1185.89/1186.11	c  1186s| 21800 |  7908 |  6664k| 304.8 |  94M|  55 |   - |3297 |5284 |3297 |3580 |1507 |  32k|7122 | 1.800000e+01 |      --      |    Inf 
1190.08/1190.36	c  1190s| 21900 |  7924 |  6699k| 305.0 |  94M|  55 | 755 |3297 |5207 |3297 |3580 |1507 |  32k|7137 | 1.800000e+01 |      --      |    Inf 
1196.19/1196.46	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1196.19/1196.46	c  1196s| 22000 |  7946 |  6732k| 305.1 |  94M|  55 |   - |3297 |5115 |   0 |   0 |1507 |  32k|7194 | 1.800000e+01 |      --      |    Inf 
1201.59/1201.83	c  1202s| 22100 |  7987 |  6768k| 305.4 |  94M|  55 | 418 |3297 |5061 |3297 |3580 |1507 |  32k|7216 | 1.800000e+01 |      --      |    Inf 
1204.79/1205.00	c  1205s| 22200 |  8001 |  6794k| 305.2 |  95M|  55 |   - |3297 |5109 |   0 |   0 |1507 |  32k|7223 | 1.800000e+01 |      --      |    Inf 
1213.48/1213.73	c  1214s| 22300 |  8021 |  6832k| 305.5 |  95M|  55 | 656 |3297 |5068 |3297 |3580 |1507 |  33k|7303 | 1.800000e+01 |      --      |    Inf 
1218.79/1219.04	c  1219s| 22400 |  8059 |  6852k| 305.0 |  95M|  55 | 609 |3297 |5040 |3297 |3580 |1507 |  33k|7373 | 1.800000e+01 |      --      |    Inf 
1221.09/1221.31	c  1221s| 22500 |  8083 |  6872k| 304.5 |  95M|  55 | 531 |3297 |5076 |3297 |3580 |1507 |  33k|7373 | 1.800000e+01 |      --      |    Inf 
1226.58/1226.87	c  1227s| 22600 |  8124 |  6921k| 305.4 |  96M|  55 |1072 |3297 |5077 |3297 |3580 |1507 |  33k|7376 | 1.800000e+01 |      --      |    Inf 
1231.68/1231.99	c  1232s| 22700 |  8139 |  6942k| 305.0 |  96M|  55 | 526 |3297 |5061 |3297 |3580 |1507 |  33k|7449 | 1.800000e+01 |      --      |    Inf 
1236.08/1236.38	c  1236s| 22800 |  8143 |  6972k| 304.9 |  96M|  55 | 403 |3297 |5061 |3297 |3580 |1507 |  33k|7471 | 1.800000e+01 |      --      |    Inf 
1237.88/1238.16	c  1238s| 22900 |  8148 |  6984k| 304.1 |  96M|  55 | 455 |3297 |5053 |3297 |3580 |1507 |  34k|7471 | 1.800000e+01 |      --      |    Inf 
1240.88/1241.11	c  1241s| 23000 |  8163 |  7008k| 303.8 |  97M|  55 | 411 |3297 |5199 |3297 |3580 |1507 |  34k|7472 | 1.800000e+01 |      --      |    Inf 
1242.88/1243.11	c  1243s| 23100 |  8148 |  7022k| 303.1 |  97M|  55 |   - |3297 |5268 |   0 |   0 |1507 |  34k|7472 | 1.800000e+01 |      --      |    Inf 
1245.98/1246.23	c  1246s| 23200 |  8155 |  7045k| 302.8 |  97M|  55 |   - |3297 |5232 |   0 |   0 |1507 |  34k|7472 | 1.800000e+01 |      --      |    Inf 
1248.98/1249.21	c  1249s| 23300 |  8169 |  7064k| 302.4 |  97M|  55 | 484 |3297 |5147 |3297 |3580 |1507 |  34k|7478 | 1.800000e+01 |      --      |    Inf 
1251.78/1252.05	c  1252s| 23400 |  8193 |  7088k| 302.0 |  97M|  55 | 711 |3297 |5168 |3297 |3580 |1507 |  34k|7478 | 1.800000e+01 |      --      |    Inf 
1254.48/1254.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1254.48/1254.76	c  1255s| 23500 |  8206 |  7112k| 301.8 |  97M|  55 | 613 |3297 |5075 |3297 |3580 |1507 |  35k|7478 | 1.800000e+01 |      --      |    Inf 
1257.57/1257.89	c  1258s| 23600 |  8243 |  7138k| 301.6 |  97M|  55 | 619 |3297 |5133 |3297 |3580 |1507 |  35k|7485 | 1.800000e+01 |      --      |    Inf 
1260.77/1261.04	c  1261s| 23700 |  8262 |  7161k| 301.3 |  97M|  55 | 526 |3297 |5101 |3297 |3580 |1507 |  35k|7491 | 1.800000e+01 |      --      |    Inf 
1262.98/1263.26	c  1263s| 23800 |  8297 |  7178k| 300.8 |  98M|  55 | 621 |3297 |5156 |3297 |3580 |1507 |  35k|7491 | 1.800000e+01 |      --      |    Inf 
1265.58/1265.81	c  1266s| 23900 |  8314 |  7197k| 300.3 |  98M|  55 | 572 |3297 |5330 |3297 |3580 |1507 |  35k|7491 | 1.800000e+01 |      --      |    Inf 
1267.99/1268.27	c  1268s| 24000 |  8335 |  7216k| 299.8 |  98M|  55 | 584 |3297 |5343 |3297 |3580 |1507 |  35k|7491 | 1.800000e+01 |      --      |    Inf 
1270.08/1270.36	c  1270s| 24100 |  8341 |  7234k| 299.3 |  98M|  55 | 506 |3297 |5340 |3297 |3580 |1507 |  36k|7491 | 1.800000e+01 |      --      |    Inf 
1272.38/1272.70	c  1273s| 24200 |  8355 |  7255k| 299.0 |  98M|  55 | 635 |3297 |5342 |3297 |3580 |1507 |  36k|7491 | 1.800000e+01 |      --      |    Inf 
1275.47/1275.73	c  1276s| 24300 |  8387 |  7280k| 298.8 |  99M|  55 | 588 |3297 |5244 |3297 |3580 |1507 |  36k|7493 | 1.800000e+01 |      --      |    Inf 
1278.78/1279.05	c  1279s| 24400 |  8418 |  7306k| 298.6 |  99M|  55 | 553 |3297 |5247 |3297 |3580 |1507 |  36k|7493 | 1.800000e+01 |      --      |    Inf 
1280.28/1280.50	c  1281s| 24500 |  8419 |  7316k| 297.8 |  99M|  55 | 565 |3297 |5343 |3297 |3580 |1507 |  36k|7493 | 1.800000e+01 |      --      |    Inf 
1283.68/1283.92	c  1284s| 24600 |  8450 |  7341k| 297.6 |  99M|  55 | 916 |3297 |5368 |3297 |3580 |1507 |  36k|7501 | 1.800000e+01 |      --      |    Inf 
1286.38/1286.60	c  1287s| 24700 |  8470 |  7365k| 297.4 | 100M|  55 |   - |3297 |5308 |3297 |3580 |1507 |  37k|7504 | 1.800000e+01 |      --      |    Inf 
1297.57/1297.87	c  1298s| 24800 |  8490 |  7435k| 299.0 | 100M|  55 |   - |3297 |5903 |   0 |   0 |1507 |  38k|7508 | 1.800000e+01 |      --      |    Inf 
1299.88/1300.17	c  1300s| 24900 |  8496 |  7454k| 298.6 | 100M|  55 |   - |3297 |5978 |   0 |   0 |1507 |  38k|7508 | 1.800000e+01 |      --      |    Inf 
1302.87/1303.18	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1302.87/1303.18	c  1303s| 25000 |  8515 |  7479k| 298.4 | 101M|  55 |   - |3297 |6032 |   0 |   0 |1507 |  38k|7508 | 1.800000e+01 |      --      |    Inf 
1308.37/1308.60	c  1309s| 25100 |  8549 |  7512k| 298.5 | 101M|  55 | 560 |3297 |5791 |3297 |3580 |1507 |  38k|7538 | 1.800000e+01 |      --      |    Inf 
1311.27/1311.58	c  1312s| 25200 |  8556 |  7536k| 298.3 | 101M|  55 | 398 |3297 |5742 |3297 |3580 |1507 |  38k|7538 | 1.800000e+01 |      --      |    Inf 
1314.18/1314.44	c  1314s| 25300 |  8577 |  7555k| 297.9 | 101M|  55 | 559 |3297 |5815 |3297 |3580 |1507 |  38k|7550 | 1.800000e+01 |      --      |    Inf 
1319.17/1319.45	c  1319s| 25400 |  8582 |  7590k| 298.0 | 101M|  55 | 556 |3297 |5970 |3297 |3580 |1507 |  39k|7571 | 1.800000e+01 |      --      |    Inf 
1321.37/1321.65	c  1322s| 25500 |  8581 |  7607k| 297.5 | 101M|  55 | 662 |3297 |6017 |3297 |3580 |1507 |  39k|7571 | 1.800000e+01 |      --      |    Inf 
1323.56/1323.84	c  1324s| 25600 |  8606 |  7623k| 297.0 | 101M|  55 |1026 |3297 |5987 |3297 |3580 |1507 |  39k|7571 | 1.800000e+01 |      --      |    Inf 
1328.26/1328.52	c  1329s| 25700 |  8643 |  7659k| 297.2 | 102M|  55 | 699 |3297 |5867 |3297 |3580 |1507 |  39k|7581 | 1.800000e+01 |      --      |    Inf 
1330.68/1330.93	c  1331s| 25800 |  8655 |  7678k| 296.8 | 102M|  55 | 554 |3297 |5844 |3297 |3580 |1507 |  39k|7581 | 1.800000e+01 |      --      |    Inf 
1332.36/1332.66	c  1333s| 25900 |  8662 |  7690k| 296.1 | 102M|  55 | 761 |3297 |5934 |3297 |3580 |1507 |  39k|7581 | 1.800000e+01 |      --      |    Inf 
1334.16/1334.47	c  1334s| 26000 |  8663 |  7701k| 295.4 | 102M|  55 |   - |3297 |5982 |   0 |   0 |1507 |  40k|7581 | 1.800000e+01 |      --      |    Inf 
1337.37/1337.68	c  1338s| 26100 |  8683 |  7728k| 295.3 | 102M|  55 | 613 |3297 |6033 |3297 |3580 |1507 |  40k|7581 | 1.800000e+01 |      --      |    Inf 
1341.67/1341.91	c  1342s| 26200 |  8737 |  7765k| 295.6 | 103M|  55 | 773 |3297 |5899 |3297 |3580 |1507 |  40k|7581 | 1.800000e+01 |      --      |    Inf 
1344.46/1344.77	c  1345s| 26300 |  8766 |  7789k| 295.4 | 103M|  55 | 505 |3297 |5855 |3297 |3580 |1507 |  40k|7581 | 1.800000e+01 |      --      |    Inf 
1347.57/1347.81	c  1348s| 26400 |  8788 |  7817k| 295.3 | 104M|  55 | 541 |3297 |5778 |3297 |3580 |1507 |  40k|7581 | 1.800000e+01 |      --      |    Inf 
1350.76/1351.06	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1350.76/1351.06	c  1351s| 26500 |  8832 |  7847k| 295.4 | 104M|  55 | 649 |3297 |5630 |3297 |3580 |1507 |  40k|7581 | 1.800000e+01 |      --      |    Inf 
1353.36/1353.65	c  1354s| 26600 |  8867 |  7865k| 295.0 | 104M|  55 |   - |3297 |5637 |   0 |   0 |1507 |  40k|7596 | 1.800000e+01 |      --      |    Inf 
1361.96/1362.24	c  1362s| 26700 |  8894 |  7922k| 296.0 | 105M|  55 | 559 |3297 |6074 |3297 |3580 |1507 |  41k|7596 | 1.800000e+01 |      --      |    Inf 
1365.66/1365.94	c  1366s| 26800 |  8935 |  7958k| 296.2 | 105M|  55 | 602 |3297 |6013 |3297 |3580 |1507 |  41k|7596 | 1.800000e+01 |      --      |    Inf 
1368.26/1368.56	c  1369s| 26900 |  8953 |  7982k| 296.0 | 106M|  55 | 498 |3297 |6009 |3297 |3580 |1507 |  41k|7597 | 1.800000e+01 |      --      |    Inf 
1370.16/1370.42	c  1370s| 27000 |  8964 |  7995k| 295.4 | 106M|  55 | 557 |3297 |6058 |3297 |3580 |1507 |  41k|7597 | 1.800000e+01 |      --      |    Inf 
1372.86/1373.17	c  1373s| 27100 |  8972 |  8021k| 295.2 | 106M|  55 | 517 |3297 |6127 |3297 |3580 |1507 |  42k|7597 | 1.800000e+01 |      --      |    Inf 
1378.86/1379.17	c  1379s| 27200 |  8996 |  8066k| 295.8 | 106M|  55 |   - |3297 |6004 |3297 |3580 |1507 |  42k|7629 | 1.800000e+01 |      --      |    Inf 
1381.46/1381.79	c  1382s| 27300 |  8999 |  8086k| 295.5 | 106M|  55 |   - |3297 |5870 |3297 |3580 |1507 |  42k|7635 | 1.800000e+01 |      --      |    Inf 
1385.26/1385.57	c  1386s| 27400 |  9050 |  8112k| 295.3 | 106M|  55 | 530 |3297 |5857 |3297 |3580 |1507 |  42k|7656 | 1.800000e+01 |      --      |    Inf 
1388.26/1388.52	c  1389s| 27500 |  9066 |  8132k| 295.0 | 107M|  55 | 594 |3297 |5941 |3297 |3580 |1507 |  42k|7674 | 1.800000e+01 |      --      |    Inf 
1393.16/1393.46	c  1393s| 27600 |  9068 |  8161k| 295.0 | 107M|  55 | 557 |3297 |5955 |3297 |3580 |1507 |  42k|7702 | 1.800000e+01 |      --      |    Inf 
1396.77/1397.05	c  1397s| 27700 |  9090 |  8191k| 295.0 | 107M|  57 | 636 |3297 |6001 |3297 |3580 |1507 |  43k|7709 | 1.800000e+01 |      --      |    Inf 
1399.76/1400.01	c  1400s| 27800 |  9096 |  8205k| 294.4 | 107M|  57 | 384 |3297 |6060 |3297 |3580 |1507 |  43k|7741 | 1.800000e+01 |      --      |    Inf 
1403.85/1404.10	c  1404s| 27900 |  9103 |  8232k| 294.3 | 107M|  57 |   - |3297 |6051 |   0 |   0 |1507 |  43k|7753 | 1.800000e+01 |      --      |    Inf 
1406.15/1406.47	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1406.15/1406.47	c  1406s| 28000 |  9099 |  8246k| 293.8 | 107M|  57 | 764 |3297 |5982 |3297 |3580 |1507 |  43k|7761 | 1.800000e+01 |      --      |    Inf 
1411.15/1411.47	c  1411s| 28100 |  9125 |  8274k| 293.8 | 107M|  57 | 741 |3297 |5926 |3297 |3580 |1507 |  43k|7830 | 1.800000e+01 |      --      |    Inf 
1417.05/1417.35	c  1417s| 28200 |  9147 |  8321k| 294.4 | 108M|  57 | 622 |3297 |6037 |3297 |3580 |1507 |  43k|7852 | 1.800000e+01 |      --      |    Inf 
1422.85/1423.10	c  1423s| 28300 |  9181 |  8365k| 294.9 | 108M|  57 | 622 |3297 |6138 |3297 |3580 |1507 |  44k|7882 | 1.800000e+01 |      --      |    Inf 
1426.85/1427.19	c  1427s| 28400 |  9206 |  8391k| 294.8 | 108M|  57 |   - |3297 |6131 |   0 |   0 |1507 |  44k|7912 | 1.800000e+01 |      --      |    Inf 
1432.85/1433.15	c  1433s| 28500 |  9258 |  8432k| 295.2 | 109M|  57 | 435 |3297 |6015 |3297 |3580 |1507 |  44k|7942 | 1.800000e+01 |      --      |    Inf 
1436.94/1437.20	c  1437s| 28600 |  9279 |  8457k| 295.0 | 109M|  57 | 430 |3297 |6077 |3297 |3580 |1507 |  44k|7970 | 1.800000e+01 |      --      |    Inf 
1439.55/1439.82	c  1440s| 28700 |  9301 |  8477k| 294.7 | 110M|  57 | 367 |3297 |6179 |3297 |3580 |1507 |  44k|7984 | 1.800000e+01 |      --      |    Inf 
1443.34/1443.67	c  1444s| 28800 |  9313 |  8504k| 294.6 | 110M|  57 | 641 |3297 |6198 |3297 |3580 |1507 |  44k|8010 | 1.800000e+01 |      --      |    Inf 
1446.34/1446.61	c  1447s| 28900 |  9327 |  8526k| 294.3 | 110M|  57 | 574 |3297 |6246 |3297 |3580 |1507 |  45k|8032 | 1.800000e+01 |      --      |    Inf 
1453.14/1453.48	c  1453s| 29000 |  9369 |  8574k| 295.0 | 111M|  57 | 696 |3297 |6248 |3297 |3580 |1507 |  45k|8063 | 1.800000e+01 |      --      |    Inf 
1458.25/1458.52	c  1459s| 29100 |  9397 |  8606k| 295.0 | 111M|  57 | 629 |3297 |6212 |3297 |3580 |1507 |  45k|8100 | 1.800000e+01 |      --      |    Inf 
1461.94/1462.28	c  1462s| 29200 |  9425 |  8636k| 295.1 | 111M|  57 | 679 |3297 |6051 |3297 |3580 |1507 |  45k|8114 | 1.800000e+01 |      --      |    Inf 
1466.73/1467.04	c  1467s| 29300 |  9455 |  8668k| 295.2 | 112M|  57 | 531 |3297 |6040 |3297 |3580 |1507 |  45k|8137 | 1.800000e+01 |      --      |    Inf 
1471.94/1472.29	c  1472s| 29400 |  9489 |  8701k| 295.3 | 112M|  57 | 482 |3297 |6046 |3297 |3580 |1507 |  45k|8170 | 1.800000e+01 |      --      |    Inf 
1474.84/1475.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1474.84/1475.12	c  1475s| 29500 |  9489 |  8717k| 294.8 | 113M|  57 | 466 |3297 |6045 |3297 |3580 |1507 |  46k|8186 | 1.800000e+01 |      --      |    Inf 
1478.14/1478.45	c  1478s| 29600 |  9526 |  8742k| 294.7 | 113M|  57 | 485 |3297 |5951 |3297 |3580 |1507 |  46k|8201 | 1.800000e+01 |      --      |    Inf 
1481.93/1482.28	c  1482s| 29700 |  9547 |  8765k| 294.5 | 113M|  57 | 370 |3297 |5936 |3297 |3580 |1507 |  46k|8235 | 1.835714e+01 |      --      |    Inf 
1484.83/1485.16	c  1485s| 29800 |  9547 |  8784k| 294.1 | 113M|  57 |   - |3297 |5993 |   0 |   0 |1507 |  46k|8256 | 1.835714e+01 |      --      |    Inf 
1494.03/1494.30	c  1494s| 29900 |  9566 |  8828k| 294.6 | 114M|  57 | 349 |3297 |6241 |3297 |3580 |1507 |  47k|8271 | 1.835714e+01 |      --      |    Inf 
1496.63/1496.97	c  1497s| 30000 |  9571 |  8845k| 294.2 | 114M|  57 | 678 |3297 |6285 |3297 |3580 |1507 |  47k|8284 | 1.835714e+01 |      --      |    Inf 
1500.74/1501.02	c  1501s| 30100 |  9588 |  8874k| 294.2 | 114M|  57 | 582 |3297 |6395 |3297 |3580 |1507 |  47k|8303 | 1.835714e+01 |      --      |    Inf 
1505.43/1505.74	c  1506s| 30200 |  9603 |  8905k| 294.2 | 114M|  57 | 536 |3297 |6515 |3297 |3580 |1507 |  47k|8332 | 1.835714e+01 |      --      |    Inf 
1509.83/1510.14	c  1510s| 30300 |  9617 |  8939k| 294.4 | 114M|  57 | 548 |3297 |6424 |3297 |3580 |1507 |  48k|8354 | 1.835714e+01 |      --      |    Inf 
1513.43/1513.77	c  1514s| 30400 |  9643 |  8967k| 294.3 | 115M|  57 |   - |3297 |6319 |   0 |   0 |1507 |  48k|8377 | 1.835714e+01 |      --      |    Inf 
1517.83/1518.19	c  1518s| 30500 |  9668 |  8992k| 294.2 | 115M|  57 | 790 |3297 |6242 |3297 |3580 |1507 |  48k|8415 | 1.850000e+01 |      --      |    Inf 
1522.03/1522.34	c  1522s| 30600 |  9703 |  9023k| 294.2 | 115M|  57 | 539 |3297 |6169 |3297 |3580 |1507 |  48k|8429 | 1.850000e+01 |      --      |    Inf 
1524.93/1525.21	c  1525s| 30700 |  9716 |  9041k| 293.9 | 116M|  57 |   - |3297 |6178 |   0 |   0 |1507 |  48k|8447 | 1.850000e+01 |      --      |    Inf 
1529.63/1530.00	c  1530s| 30800 |  9736 |  9068k| 293.8 | 116M|  57 |   - |3297 |6142 |3297 |3580 |1507 |  48k|8496 | 1.850000e+01 |      --      |    Inf 
1534.03/1534.32	c  1534s| 30900 |  9745 |  9099k| 293.8 | 116M|  57 | 722 |3297 |6375 |3297 |3580 |1507 |  49k|8505 | 1.850000e+01 |      --      |    Inf 
1539.03/1539.34	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1539.03/1539.34	c  1539s| 31000 |  9760 |  9132k| 293.9 | 116M|  57 | 727 |3297 |6116 |3297 |3580 |1507 |  49k|8547 | 1.850000e+01 |      --      |    Inf 
1541.83/1542.13	c  1542s| 31100 |  9768 |  9152k| 293.6 | 117M|  57 | 550 |3297 |6040 |3297 |3580 |1507 |  49k|8558 | 1.850000e+01 |      --      |    Inf 
1547.03/1547.33	c  1547s| 31200 |  9759 |  9178k| 293.5 | 116M|  57 | 589 |3297 |5814 |3297 |3580 |1507 |  49k|8605 | 1.850000e+01 |      --      |    Inf 
1552.42/1552.73	c  1553s| 31300 |  9800 |  9219k| 293.9 | 117M|  57 | 489 |3297 |5720 |3297 |3580 |1507 |  49k|8629 | 1.850000e+01 |      --      |    Inf 
1556.13/1556.43	c  1556s| 31400 |  9822 |  9241k| 293.7 | 117M|  57 | 534 |3297 |5644 |3297 |3580 |1507 |  49k|8647 | 1.857143e+01 |      --      |    Inf 
1560.32/1560.69	c  1561s| 31500 |  9841 |  9266k| 293.5 | 117M|  57 |   - |3297 |5663 |   0 |   0 |1507 |  50k|8671 | 1.857143e+01 |      --      |    Inf 
1565.32/1565.63	c  1566s| 31600 |  9862 |  9289k| 293.3 | 117M|  57 |   - |3297 |5577 |   0 |   0 |1507 |  50k|8711 | 1.857143e+01 |      --      |    Inf 
1569.33/1569.65	c  1570s| 31700 |  9880 |  9320k| 293.4 | 117M|  57 |   - |3297 |5530 |3297 |3580 |1507 |  50k|8720 | 1.857143e+01 |      --      |    Inf 
1572.02/1572.36	c  1572s| 31800 |  9913 |  9338k| 293.0 | 117M|  57 | 722 |3297 |5543 |3297 |3580 |1507 |  50k|8732 | 1.857143e+01 |      --      |    Inf 
1575.92/1576.30	c  1576s| 31900 |  9909 |  9364k| 292.9 | 118M|  57 | 553 |3297 |5567 |3297 |3580 |1507 |  50k|8754 | 1.885714e+01 |      --      |    Inf 
1580.52/1580.86	c  1581s| 32000 |  9936 |  9392k| 292.9 | 118M|  57 | 834 |3297 |5664 |3297 |3580 |1507 |  50k|8775 | 1.885714e+01 |      --      |    Inf 
1585.83/1586.17	c  1586s| 32100 |  9964 |  9424k| 293.0 | 118M|  57 | 524 |3297 |5525 |3297 |3580 |1507 |  51k|8807 | 1.885714e+01 |      --      |    Inf 
1588.62/1588.96	c  1589s| 32200 |  9979 |  9445k| 292.7 | 118M|  57 | 496 |3297 |5555 |3297 |3580 |1507 |  51k|8828 | 1.885714e+01 |      --      |    Inf 
1597.32/1597.67	c  1598s| 32300 |  9989 |  9495k| 293.4 | 118M|  57 |   - |3297 |5559 |   0 |   0 |1507 |  51k|8852 | 1.885714e+01 |      --      |    Inf 
1603.22/1603.54	c  1604s| 32400 |  9996 |  9530k| 293.5 | 118M|  57 |   - |3297 |5526 |   0 |   0 |1507 |  51k|8891 | 1.885714e+01 |      --      |    Inf 
1606.42/1606.71	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1606.42/1606.71	c  1607s| 32500 | 10023 |  9557k| 293.4 | 119M|  57 | 516 |3297 |5518 |3297 |3580 |1507 |  51k|8896 | 1.885714e+01 |      --      |    Inf 
1611.02/1611.38	c  1611s| 32600 | 10040 |  9582k| 293.3 | 119M|  57 |   - |3297 |5568 |   0 |   0 |1507 |  51k|8934 | 1.885714e+01 |      --      |    Inf 
1614.91/1615.28	c  1615s| 32700 | 10067 |  9606k| 293.2 | 119M|  57 |   - |3297 |5633 |   0 |   0 |1507 |  52k|8963 | 1.885714e+01 |      --      |    Inf 
1620.21/1620.53	c  1621s| 32800 | 10074 |  9628k| 292.9 | 119M|  57 | 591 |3297 |5531 |3297 |3580 |1507 |  52k|8990 | 1.885714e+01 |      --      |    Inf 
1625.42/1625.79	c  1626s| 32900 | 10094 |  9662k| 293.1 | 119M|  57 | 685 |3297 |5568 |3297 |3580 |1507 |  52k|9009 | 1.900000e+01 |      --      |    Inf 
1629.51/1629.86	c  1630s| 33000 | 10126 |  9689k| 293.0 | 119M|  57 |   - |3297 |5477 |3297 |3580 |1507 |  52k|9021 | 1.900000e+01 |      --      |    Inf 
1634.41/1634.74	c  1635s| 33100 | 10144 |  9720k| 293.0 | 120M|  57 | 406 |3297 |5347 |3297 |3580 |1507 |  52k|9052 | 1.900000e+01 |      --      |    Inf 
1638.72/1639.03	c  1639s| 33200 | 10151 |  9736k| 292.7 | 119M|  57 |   - |3297 |5281 |   0 |   0 |1507 |  52k|9098 | 1.900000e+01 |      --      |    Inf 
1642.91/1643.21	c  1643s| 33300 | 10175 |  9773k| 292.9 | 120M|  57 | 511 |3297 |5341 |3297 |3580 |1507 |  53k|9100 | 1.900000e+01 |      --      |    Inf 
1644.62/1644.96	c  1645s| 33400 | 10175 |  9784k| 292.4 | 120M|  57 |   - |3297 |5342 |   0 |   0 |1507 |  53k|9100 | 1.900000e+01 |      --      |    Inf 
1647.52/1647.83	c  1648s| 33500 | 10182 |  9802k| 292.0 | 120M|  57 | 535 |3297 |5469 |3297 |3580 |1507 |  53k|9117 | 1.900000e+01 |      --      |    Inf 
1657.61/1657.95	c  1658s| 33600 | 10209 |  9844k| 292.4 | 120M|  57 |   - |3297 |5950 |   0 |   0 |1507 |  54k|9148 | 1.900000e+01 |      --      |    Inf 
1663.51/1663.87	c  1664s| 33700 | 10244 |  9887k| 292.8 | 121M|  57 | 475 |3297 |5829 |3297 |3580 |1507 |  54k|9182 | 1.900000e+01 |      --      |    Inf 
1667.32/1667.61	c  1668s| 33800 | 10270 |  9916k| 292.8 | 121M|  57 | 627 |3297 |5870 |3297 |3580 |1507 |  54k|9205 | 1.900000e+01 |      --      |    Inf 
1674.61/1674.92	c  1675s| 33900 | 10307 |  9964k| 293.4 | 121M|  57 | 458 |3297 |5857 |3297 |3580 |1507 |  54k|9266 | 1.900000e+01 |      --      |    Inf 
1677.40/1677.72	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1677.40/1677.72	c  1678s| 34000 | 10318 |  9985k| 293.1 | 122M|  57 |   - |3297 |5858 |3297 |3580 |1507 |  54k|9266 | 1.900000e+01 |      --      |    Inf 
1679.91/1680.23	c  1680s| 34100 | 10337 | 10007k| 292.9 | 122M|  57 | 852 |3297 |5932 |3297 |3580 |1507 |  55k|9267 | 1.900000e+01 |      --      |    Inf 
1684.71/1685.01	c  1685s| 34200 | 10374 | 10039k| 293.0 | 123M|  57 | 561 |3297 |5911 |3297 |3580 |1507 |  55k|9291 | 1.900000e+01 |      --      |    Inf 
1687.31/1687.67	c  1688s| 34300 | 10383 | 10057k| 292.6 | 123M|  57 | 522 |3297 |5927 |3297 |3580 |1507 |  55k|9303 | 1.900000e+01 |      --      |    Inf 
1690.31/1690.63	c  1691s| 34400 | 10375 | 10072k| 292.2 | 123M|  57 |   - |3297 |6032 |   0 |   0 |1507 |  55k|9324 | 1.900000e+01 |      --      |    Inf 
1695.30/1695.61	c  1696s| 34500 | 10387 | 10106k| 292.4 | 123M|  57 |   - |3297 |6160 |3297 |3580 |1507 |  55k|9340 | 1.900000e+01 |      --      |    Inf 
1700.51/1700.84	c  1701s| 34600 | 10407 | 10143k| 292.6 | 123M|  57 | 577 |3297 |6223 |3297 |3580 |1507 |  56k|9368 | 1.900000e+01 |      --      |    Inf 
1703.30/1703.69	c  1704s| 34700 | 10419 | 10163k| 292.3 | 124M|  57 | 600 |3297 |6293 |3297 |3580 |1507 |  56k|9387 | 1.900000e+01 |      --      |    Inf 
1706.30/1706.67	c  1707s| 34800 | 10415 | 10180k| 292.0 | 124M|  57 | 536 |3297 |6304 |3297 |3580 |1507 |  56k|9416 | 1.900000e+01 |      --      |    Inf 
1709.40/1709.76	c  1710s| 34900 | 10418 | 10198k| 291.6 | 124M|  57 | 449 |3297 |6358 |3297 |3580 |1507 |  56k|9433 | 1.900000e+01 |      --      |    Inf 
1712.50/1712.86	c  1713s| 35000 | 10434 | 10217k| 291.4 | 124M|  57 | 525 |3297 |6347 |3297 |3580 |1507 |  56k|9450 | 1.900000e+01 |      --      |    Inf 
1715.90/1716.22	c  1716s| 35100 | 10460 | 10240k| 291.2 | 124M|  57 | 453 |3297 |6298 |3297 |3580 |1507 |  57k|9466 | 1.900000e+01 |      --      |    Inf 
1718.40/1718.80	c  1719s| 35200 | 10447 | 10261k| 290.9 | 124M|  57 | 609 |3297 |6192 |3297 |3580 |1507 |  57k|9466 | 1.900000e+01 |      --      |    Inf 
1721.40/1721.75	c  1722s| 35300 | 10443 | 10277k| 290.6 | 124M|  57 | 464 |3297 |6226 |3297 |3580 |1507 |  57k|9491 | 1.900000e+01 |      --      |    Inf 
1724.10/1724.46	c  1724s| 35400 | 10447 | 10288k| 290.1 | 124M|  57 |   - |3297 |6234 |   0 |   0 |1507 |  57k|9520 | 1.900000e+01 |      --      |    Inf 
1728.40/1728.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1728.40/1728.79	c  1729s| 35500 | 10456 | 10320k| 290.2 | 124M|  57 | 707 |3297 |6112 |3297 |3580 |1507 |  57k|9542 | 1.900000e+01 |      --      |    Inf 
1732.50/1732.85	c  1733s| 35600 | 10474 | 10343k| 290.0 | 125M|  57 |   - |3297 |6165 |   0 |   0 |1507 |  58k|9584 | 1.900000e+01 |      --      |    Inf 
1736.40/1736.76	c  1737s| 35700 | 10497 | 10370k| 289.9 | 125M|  57 | 464 |3297 |6223 |3297 |3580 |1507 |  58k|9603 | 1.900000e+01 |      --      |    Inf 
1739.70/1740.06	c  1740s| 35800 | 10492 | 10389k| 289.6 | 125M|  57 | 694 |3297 |6235 |3297 |3580 |1507 |  58k|9634 | 1.900000e+01 |      --      |    Inf 
1744.60/1744.91	c  1745s| 35900 | 10527 | 10429k| 289.9 | 125M|  57 |   - |3297 |6126 |   0 |   0 |1507 |  58k|9651 | 1.900000e+01 |      --      |    Inf 
1749.40/1749.72	c  1750s| 36000 | 10562 | 10459k| 290.0 | 125M|  57 | 547 |3297 |6111 |3297 |3580 |1507 |  58k|9696 | 1.900000e+01 |      --      |    Inf 
1752.70/1753.07	c  1753s| 36100 | 10574 | 10477k| 289.7 | 126M|  57 | 478 |3297 |6212 |3297 |3580 |1507 |  58k|9733 | 1.900000e+01 |      --      |    Inf 
1756.00/1756.34	c  1756s| 36200 | 10574 | 10498k| 289.4 | 126M|  57 |   - |3297 |6206 |3297 |3580 |1507 |  59k|9738 | 1.900000e+01 |      --      |    Inf 
1761.90/1762.25	c  1762s| 36300 | 10597 | 10529k| 289.5 | 127M|  57 |   - |3297 |6222 |   0 |   0 |1507 |  59k|9807 | 1.900000e+01 |      --      |    Inf 
1766.20/1766.59	c  1767s| 36400 | 10608 | 10567k| 289.8 | 127M|  57 |   - |3297 |6166 |   0 |   0 |1507 |  59k|9809 | 1.900000e+01 |      --      |    Inf 
1769.69/1770.08	c  1770s| 36500 | 10646 | 10594k| 289.7 | 127M|  57 | 536 |3297 |6039 |3297 |3580 |1507 |  59k|9821 | 1.900000e+01 |      --      |    Inf 
1773.09/1773.46	c  1773s| 36600 | 10657 | 10614k| 289.4 | 127M|  57 | 510 |3297 |6100 |3297 |3580 |1507 |  59k|9841 | 1.900000e+01 |      --      |    Inf 
1777.20/1777.57	c  1778s| 36700 | 10663 | 10640k| 289.4 | 127M|  57 | 652 |3297 |6154 |3297 |3580 |1507 |  59k|9863 | 1.900000e+01 |      --      |    Inf 
1780.09/1780.44	c  1780s| 36800 | 10665 | 10658k| 289.1 | 128M|  57 | 511 |3297 |6202 |3297 |3580 |1507 |  60k|9887 | 1.900000e+01 |      --      |    Inf 
1783.80/1784.11	c  1784s| 36900 | 10671 | 10682k| 288.9 | 128M|  57 | 785 |3297 |6222 |3297 |3580 |1507 |  60k|9918 | 1.900000e+01 |      --      |    Inf 
1788.79/1789.10	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1788.79/1789.10	c  1789s| 37000 | 10679 | 10710k| 288.9 | 128M|  57 | 613 |3297 |6234 |3297 |3580 |1507 |  60k|9954 | 1.900000e+01 |      --      |    Inf 
1793.69/1794.00	c  1794s| 37100 | 10699 | 10743k| 289.0 | 129M|  57 | 650 |3297 |6297 |3297 |3580 |1507 |  60k|9985 | 1.900000e+01 |      --      |    Inf 
1796.68/1797.01	c 
1796.68/1797.01	c SCIP Status        : solving was interrupted [time limit reached]
1796.68/1797.01	c Solving Time (sec) : 1797.01
1796.68/1797.01	c Solving Nodes      : 37183
1796.68/1797.01	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.68/1797.01	c Dual Bound         : +1.90000000000000e+01
1796.68/1797.01	c Gap                : infinite
1796.68/1797.01	s UNKNOWN
1796.68/1797.01	c SCIP Status        : solving was interrupted [time limit reached]
1796.68/1797.01	c Total Time         :    1797.01
1796.68/1797.01	c   solving          :    1797.01
1796.68/1797.01	c   presolving       :       0.19 (included in solving)
1796.68/1797.01	c   reading          :       0.08 (included in solving)
1796.68/1797.01	c   copying          :       0.03 (1 #copies) (minimal 0.03, maximal 0.03, average 0.03)
1796.68/1797.01	c Original Problem   :
1796.68/1797.01	c   Problem name     : HOME/instance-3693326-1338032619.opb
1796.68/1797.01	c   Variables        : 3297 (3297 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01	c   Constraints      : 6383 initial, 6383 maximal
1796.68/1797.01	c   Objective sense  : minimize
1796.68/1797.01	c Presolved Problem  :
1796.68/1797.01	c   Problem name     : t_HOME/instance-3693326-1338032619.opb
1796.68/1797.01	c   Variables        : 3297 (3297 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.68/1797.01	c   Constraints      : 3289 initial, 7262 maximal
1796.68/1797.01	c Presolvers         :   ExecTime  SetupTime  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1796.68/1797.01	c   domcol           :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   trivial          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   dualfix          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   boundshift       :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   inttobinary      :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   convertinttobin  :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   gateextraction   :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   implics          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   components       :       0.01       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   pseudoobj        :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   probing          :       0.01       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   knapsack         :       0.01       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   linear           :       0.10       0.00          0          0          0          0          0       3094          0        182        182
1796.68/1797.01	c   logicor          :       0.00       0.00          0          0          0          0          0          0          0          0          0
1796.68/1797.01	c   root node        :          -          -          0          -          -          0          -          -          -          -          -
1796.68/1797.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #ResProp    Cutoffs    DomReds       Cuts      Conss   Children
1796.68/1797.01	c   integral         :          0          0          0          0      26984          0          4          0         63       2218          0          0      52524
1796.68/1797.01	c   knapsack         :        195        195         19     178096          0          1          3     461726       2298     188030       2658          0          0
1796.68/1797.01	c   linear           :       3094       3094         19     175798          0          1          0      70187       6465    5652983          6          0          0
1796.68/1797.01	c   logicor          :          0+      3973         19      95565          0          0          0     172619        561      83867          8          0          0
1796.68/1797.01	c   countsols        :          0          0          0          0          0          1          0          0          0          0          0          0          0
1796.68/1797.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS      Check    ResProp
1796.68/1797.01	c   integral         :     476.12       0.00       0.00       0.00     476.12       0.00       0.00       0.00
1796.68/1797.01	c   knapsack         :      18.61       0.00       0.05      18.22       0.00       0.00       0.00       0.34
1796.68/1797.01	c   linear           :      66.37       0.00       0.01      66.20       0.00       0.00       0.00       0.17
1796.68/1797.01	c   logicor          :       6.56       0.00       0.00       6.33       0.00       0.00       0.00       0.23
1796.68/1797.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1796.68/1797.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
1796.68/1797.01	c   rootredcost      :          0          0          0          0
1796.68/1797.01	c   pseudoobj        :     204980          0          0          0
1796.68/1797.01	c   vbounds          :          0          0          0          0
1796.68/1797.01	c   redcost          :      27036          0          0         49
1796.68/1797.01	c   probing          :          0          0          0          0
1796.68/1797.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp
1796.68/1797.01	c   rootredcost      :       0.08       0.00       0.00       0.08       0.00
1796.68/1797.01	c   pseudoobj        :       0.34       0.00       0.00       0.34       0.00
1796.68/1797.01	c   vbounds          :       0.07       0.00       0.00       0.07       0.00
1796.68/1797.01	c   redcost          :       1.40       0.00       0.00       1.40       0.00
1796.68/1797.01	c   probing          :       0.01       0.00       0.01       0.00       0.00
1796.68/1797.01	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.68/1797.01	c   propagation      :       1.14       9324       9316      95619       39.2        481       22.7          -
1796.68/1797.01	c   infeasible LP    :       6.62      12396      12396      50679       27.3       1120       15.9          0
1796.68/1797.01	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.68/1797.01	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.68/1797.01	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.68/1797.01	c   applied globally :          -          -          -      61002       27.0          -          -          -
1796.68/1797.01	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.68/1797.01	c Separators         :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss
1796.68/1797.01	c   cut pool         :       0.01                    18          -          -       3452          -    (maximal pool size: 6658)
1796.68/1797.01	c   closecuts        :       0.00       0.00          0          0          0          0          0
1796.68/1797.01	c   impliedbounds    :       0.00       0.00         19          0          0         41          0
1796.68/1797.01	c   intobj           :       0.00       0.00          0          0          0          0          0
1796.68/1797.01	c   gomory           :       0.32       0.00         10          0          0         59          0
1796.68/1797.01	c   cgmip            :       0.00       0.00          0          0          0          0          0
1796.68/1797.01	c   strongcg         :       1.03       0.00         19          0          0         50          0
1796.68/1797.01	c   cmir             :       1.95       0.00         10          0          0       5000          0
1796.68/1797.01	c   flowcover        :       1.08       0.00         10          0          0       2000          0
1796.68/1797.01	c   clique           :       0.00       0.00          1          0          0          0          0
1796.68/1797.01	c   zerohalf         :       0.00       0.00          0          0          0          0          0
1796.68/1797.01	c   mcf              :       0.00       0.00          1          0          0          0          0
1796.68/1797.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0
1796.68/1797.01	c   rapidlearning    :       0.00       0.00          0          0          0          0          0
1796.68/1797.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
1796.68/1797.01	c   problem variables:       0.00          -          0          0
1796.68/1797.01	c Branching Rules    :   ExecTime  SetupTime      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1796.68/1797.01	c   relpscost        :     476.05       0.00      26984         63       2218          0          0      52524
1796.68/1797.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.01	c   inference        :       0.00       0.00          1          0          0          0          0          2
1796.68/1797.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.01	c   random           :       0.00       0.00          0          0          0          0          0          0
1796.68/1797.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found
1796.68/1797.01	c   LP solutions     :       0.00          -          -          0
1796.68/1797.01	c   pseudo solutions :       0.00          -          -          0
1796.68/1797.01	c   oneopt           :       0.03       0.00          0          0
1796.68/1797.01	c   crossover        :       0.03       0.00          0          0
1796.68/1797.01	c   guideddiving     :       0.00       0.00          0          0
1796.68/1797.01	c   pscostdiving     :      50.02       0.00        136          0
1796.68/1797.01	c   veclendiving     :      45.30       0.00        171          0
1796.68/1797.01	c   linesearchdiving :      52.34       0.00        247          0
1796.68/1797.01	c   smallcard        :       0.00       0.00          0          0
1796.68/1797.01	c   trivial          :       0.00       0.00          2          0
1796.68/1797.01	c   shiftandpropagate:       0.21       0.00          1          0
1796.68/1797.01	c   simplerounding   :       0.02       0.00          0          0
1796.68/1797.01	c   zirounding       :       0.60       0.00       1000          0
1796.68/1797.01	c   rounding         :       1.72       0.00       2287          0
1796.68/1797.01	c   shifting         :       7.01       0.00        695          0
1796.68/1797.01	c   intshifting      :       0.00       0.00          0          0
1796.68/1797.01	c   twoopt           :       0.00       0.00          0          0
1796.68/1797.01	c   indoneopt        :       0.03       0.00          0          0
1796.68/1797.01	c   indtwoopt        :       0.00       0.00          0          0
1796.68/1797.01	c   fixandinfer      :       0.00       0.00          0          0
1796.68/1797.01	c   feaspump         :      27.94       0.00         34          0
1796.68/1797.01	c   clique           :       0.00       0.00          0          0
1796.68/1797.01	c   indcoefdiving    :       0.00       0.00          0          0
1796.68/1797.01	c   coefdiving       :      62.24       0.00         32          0
1796.68/1797.01	c   indrounding      :       0.00       0.00          0          0
1796.68/1797.01	c   fracdiving       :      76.63       0.00         42          0
1796.68/1797.01	c   nlpdiving        :       0.00       0.00          0          0
1796.68/1797.01	c   intdiving        :       0.00       0.00          0          0
1796.68/1797.01	c   actconsdiving    :       0.00       0.00          0          0
1796.68/1797.01	c   objpscostdiving  :      23.65       0.00         13          0
1796.68/1797.01	c   rootsoldiving    :      17.48       0.00         40          0
1796.68/1797.01	c   octane           :       0.00       0.00          0          0
1796.68/1797.01	c   rens             :       0.86       0.00          1          0
1796.68/1797.01	c   rins             :       0.00       0.00          0          0
1796.68/1797.01	c   localbranching   :       0.00       0.00          0          0
1796.68/1797.01	c   mutation         :       0.00       0.00          0          0
1796.68/1797.01	c   dins             :       0.00       0.00          0          0
1796.68/1797.01	c   vbounds          :       0.00       0.00          0          0
1796.68/1797.01	c   undercover       :       0.00       0.00          0          0
1796.68/1797.01	c   subnlp           :       0.02       0.00          0          0
1796.68/1797.01	c   trysol           :       0.03       0.00          0          0
1796.68/1797.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It
1796.68/1797.01	c   primal LP        :       0.05          3          0       0.00       0.00       0.05          3
1796.68/1797.01	c   dual LP          :     785.70      33144    8064322     245.83   10263.81       1.18        340
1796.68/1797.01	c   lex dual LP      :       0.00          0          0       0.00          -
1796.68/1797.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
1796.68/1797.01	c   diving/probing LP:     311.65      22122    2698607     121.99    8659.18
1796.68/1797.01	c   strong branching :     471.19       9997    3637035     363.81    7718.90
1796.68/1797.01	c     (at root node) :          -         29      18938     653.03          -
1796.68/1797.01	c   conflict analysis:       0.00          0          0       0.00          -
1796.68/1797.01	c B&B Tree           :
1796.68/1797.01	c   number of runs   :          1
1796.68/1797.01	c   nodes            :      37183
1796.68/1797.01	c   nodes (total)    :      37183
1796.68/1797.01	c   nodes left       :      10709
1796.68/1797.01	c   max depth        :         57
1796.68/1797.01	c   max depth (total):         57
1796.68/1797.01	c   backtracks       :       8350 (22.5%)
1796.68/1797.01	c   delayed cutoffs  :       4635
1796.68/1797.01	c   repropagations   :      37734 (1897649 domain reductions, 2883 cutoffs)
1796.68/1797.01	c   avg switch length:       8.43
1796.68/1797.01	c   switching time   :      51.40
1796.68/1797.01	c Solution           :
1796.68/1797.01	c   Solutions found  :          0 (0 improvements)
1796.68/1797.01	c   Primal Bound     :          -
1796.68/1797.01	c   Dual Bound       : +1.90000000000000e+01
1796.68/1797.01	c   Gap              :   infinite
1796.68/1797.01	c   Root Dual Bound  : +1.40000000000000e+01
1796.68/1797.01	c   Root Iterations  :      20508
1796.78/1797.14	c Time complete: 1796.84.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3693326-1338032619/watcher-3693326-1338032619 -o /tmp/evaluation-result-3693326-1338032619/solver-3693326-1338032619 -C 1800 -W 1900 -M 15500 HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693326-1338032619.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: 2.00 2.00 1.94 3/175 32043
/proc/meminfo: memFree=26885416/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=9820 CPUtime=0 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 1222 0 0 0 0 0 0 0 20 0 1 0 269390460 10055680 1177 33554432000 4194304 10169799 140734076823328 140736556479672 7543003 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 2455 1177 412 1459 0 987 0

[startup+0.070333 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 32043
/proc/meminfo: memFree=26885416/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=18464 CPUtime=0.06 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 3370 0 0 0 6 0 0 0 20 0 1 0 269390460 18907136 3325 33554432000 4194304 10169799 140734076823328 140736556479672 8982256 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 4616 3325 412 1459 0 3148 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18464

[startup+0.100346 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 32043
/proc/meminfo: memFree=26885416/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=31744 CPUtime=0.09 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 6429 0 0 0 8 1 0 0 20 0 1 0 269390460 32505856 6384 33554432000 4194304 10169799 140734076823328 140734076820344 7543003 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 7936 6397 500 1459 0 6468 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31744

[startup+0.300331 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 32043
/proc/meminfo: memFree=26885416/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=79904 CPUtime=0.29 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 18392 0 0 0 25 4 0 0 20 0 1 0 269390460 81821696 18090 33554432000 4194304 10169799 140734076823328 140734076820344 5079600 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 19976 18090 651 1459 0 18508 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 79904

[startup+0.700313 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 32043
/proc/meminfo: memFree=26885416/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=99484 CPUtime=0.68 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 24700 0 0 0 63 5 0 0 20 0 1 0 269390460 101871616 22903 33554432000 4194304 10169799 140734076823328 140734076820344 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 24871 22903 780 1459 0 23403 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 99484

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 32044
/proc/meminfo: memFree=26797344/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=99484 CPUtime=1.49 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 24709 0 0 0 143 6 0 0 20 0 1 0 269390460 101871616 22912 33554432000 4194304 10169799 140734076823328 140734076816008 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 24871 22912 780 1459 0 23403 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 99484

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 1.94 3/176 32044
/proc/meminfo: memFree=26789344/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=113844 CPUtime=3.09 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 28094 0 0 0 302 7 0 0 20 0 1 0 269390460 116576256 26632 33554432000 4194304 10169799 140734076823328 140734076819864 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 28461 26632 804 1459 0 26993 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 113844

[startup+6.30024 s]
/proc/loadavg: 2.08 2.02 1.94 3/176 32044
/proc/meminfo: memFree=26767516/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=130852 CPUtime=6.29 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 32635 0 0 0 620 9 0 0 20 0 1 0 269390460 133992448 30392 33554432000 4194304 10169799 140734076823328 140734076820408 8961143 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 32713 30392 805 1459 0 31245 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 130852

[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 1.94 3/176 32044
/proc/meminfo: memFree=26760580/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=135332 CPUtime=12.69 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 45876 0 0 0 1253 16 0 0 20 0 1 0 269390460 138579968 31547 33554432000 4194304 10169799 140734076823328 140734076817928 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 33833 31547 855 1459 0 32365 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 135332

[startup+25.5003 s]
/proc/loadavg: 2.06 2.01 1.94 3/177 32045
/proc/meminfo: memFree=26761580/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=135436 CPUtime=25.48 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 47817 0 0 0 2526 22 0 0 20 0 1 0 269390460 138686464 31390 33554432000 4194304 10169799 140734076823328 140734076817656 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 33859 31390 855 1459 0 32391 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 135436

[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 1.94 3/177 32045
/proc/meminfo: memFree=26769948/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=134900 CPUtime=51.08 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 72593 0 0 0 5064 44 0 0 20 0 1 0 269390460 138137600 31138 33554432000 4194304 10169799 140734076823328 140734076819304 8030352 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 33725 31138 856 1459 0 32257 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 134900

[startup+102.307 s]
/proc/loadavg: 2.08 2.02 1.95 3/177 32045
/proc/meminfo: memFree=26758228/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=134728 CPUtime=102.28 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 81516 0 0 0 10137 91 0 0 20 0 1 0 269390460 137961472 31103 33554432000 4194304 10169799 140734076823328 140734076818104 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 33682 31103 856 1459 0 32214 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 134728

[startup+162.3 s]
/proc/loadavg: 2.15 2.05 1.96 3/177 32045
/proc/meminfo: memFree=26754568/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=136016 CPUtime=162.27 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 111257 0 0 0 16091 136 0 0 20 0 1 0 269390460 139280384 31502 33554432000 4194304 10169799 140734076823328 140734076817832 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 34004 31502 856 1459 0 32536 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 136016

[startup+222.3 s]
/proc/loadavg: 2.13 2.05 1.96 3/176 32045
/proc/meminfo: memFree=26740776/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=140680 CPUtime=222.25 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 130959 0 0 0 22042 183 0 0 20 0 1 0 269390460 144056320 32960 33554432000 4194304 10169799 140734076823328 140734076818312 8030352 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 35170 32960 856 1459 0 33702 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 140680

[startup+282.3 s]
/proc/loadavg: 2.09 2.06 1.97 3/177 32046
/proc/meminfo: memFree=26730828/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=141916 CPUtime=282.23 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 131269 0 0 0 27988 235 0 0 20 0 1 0 269390460 145321984 34148 33554432000 4194304 10169799 140734076823328 140734076817464 8030352 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 35479 34148 856 1459 0 34011 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 141916

[startup+342.3 s]
/proc/loadavg: 2.03 2.04 1.97 3/177 32046
/proc/meminfo: memFree=26721440/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=144204 CPUtime=342.22 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 131733 0 0 0 33932 290 0 0 20 0 1 0 269390460 147664896 34877 33554432000 4194304 10169799 140734076823328 140734076818152 8030352 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 36051 34877 856 1459 0 34583 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 144204

[startup+402.3 s]
/proc/loadavg: 2.01 2.03 1.97 3/178 32049
/proc/meminfo: memFree=26610444/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=146384 CPUtime=402.21 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 134388 0 0 0 39882 339 0 0 20 0 1 0 269390460 149897216 35442 33554432000 4194304 10169799 140734076823328 140734076817000 8030352 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 36596 35442 856 1459 0 35128 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 146384

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/177 32049
/proc/meminfo: memFree=26599732/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=155172 CPUtime=462.2 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 141516 0 0 0 45828 392 0 0 20 0 1 0 269390460 158896128 37749 33554432000 4194304 10169799 140734076823328 140734076816248 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 38793 37749 856 1459 0 37325 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 155172

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/177 32049
/proc/meminfo: memFree=26597748/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=158156 CPUtime=522.19 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 169968 0 0 0 51775 444 0 0 20 0 1 0 269390460 161951744 38233 33554432000 4194304 10169799 140734076823328 140734076820952 8030352 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 39539 38233 856 1459 0 38071 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 158156

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 32050
/proc/meminfo: memFree=26593028/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=161912 CPUtime=582.18 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 193760 0 0 0 57713 505 0 0 20 0 1 0 269390460 165797888 39417 33554432000 4194304 10169799 140734076823328 140734076818120 8030352 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 40478 39417 856 1459 0 39010 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 161912

[startup+642.3 s]

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

/proc/meminfo: memFree=26776376/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=212004 CPUtime=1062.11 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 330280 0 0 0 105266 945 0 0 20 0 1 0 269390460 217092096 51911 33554432000 4194304 10169799 140734076823328 140734076817784 8030352 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 53001 51911 856 1459 0 51533 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 212004

[startup+1122.3 s]
/proc/loadavg: 2.06 2.03 1.99 3/177 32115
/proc/meminfo: memFree=26718948/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=219188 CPUtime=1122.1 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 344684 0 0 0 111213 997 0 0 20 0 1 0 269390460 224448512 53668 33554432000 4194304 10169799 140734076823328 140734076817784 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 54797 53668 856 1459 0 53329 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 219188

[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/177 32116
/proc/meminfo: memFree=26658464/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=228928 CPUtime=1182.09 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 348946 0 0 0 117157 1052 0 0 20 0 1 0 269390460 234422272 56164 33554432000 4194304 10169799 140734076823328 140734076817464 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 57232 56164 856 1459 0 55764 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 228928

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/177 32116
/proc/meminfo: memFree=26609512/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=235904 CPUtime=1242.08 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 361232 0 0 0 123097 1111 0 0 20 0 1 0 269390460 241565696 57923 33554432000 4194304 10169799 140734076823328 140734076821848 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 58976 57923 856 1459 0 57508 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 235904

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 32116
/proc/meminfo: memFree=26559164/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=241936 CPUtime=1302.08 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 369923 0 0 0 129039 1169 0 0 20 0 1 0 269390460 247742464 59370 33554432000 4194304 10169799 140734076823328 140734076817784 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 60484 59370 856 1459 0 59016 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 241936

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 32116
/proc/meminfo: memFree=26505720/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=253772 CPUtime=1362.06 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 375073 0 0 0 134982 1224 0 0 20 0 1 0 269390460 259862528 62187 33554432000 4194304 10169799 140734076823328 140734076817128 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 63443 62187 856 1459 0 61975 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 253772

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 32116
/proc/meminfo: memFree=26458660/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=260620 CPUtime=1422.05 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 380151 0 0 0 140920 1285 0 0 20 0 1 0 269390460 266874880 63731 33554432000 4194304 10169799 140734076823328 140734076818120 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 65155 63731 856 1459 0 63687 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 260620

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 32117
/proc/meminfo: memFree=26412036/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=265668 CPUtime=1482.04 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 386445 0 0 0 146856 1348 0 0 20 0 1 0 269390460 272044032 65036 33554432000 4194304 10169799 140734076823328 140734076818120 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 66417 65036 856 1459 0 64949 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 265668

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 32117
/proc/meminfo: memFree=26365660/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=272164 CPUtime=1542.03 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 394764 0 0 0 152801 1402 0 0 20 0 1 0 269390460 278695936 66930 33554432000 4194304 10169799 140734076823328 140734076821848 8030352 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 68041 66930 856 1459 0 66573 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 272164

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 32120
/proc/meminfo: memFree=26320888/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=277284 CPUtime=1602.01 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 423970 0 0 0 158738 1463 0 0 20 0 1 0 269390460 283938816 68274 33554432000 4194304 10169799 140734076823328 140734076816664 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 69321 68274 856 1459 0 67853 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 277284

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 32120
/proc/meminfo: memFree=26270552/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=285032 CPUtime=1662.01 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 440434 0 0 0 164684 1517 0 0 20 0 1 0 269390460 291872768 70211 33554432000 4194304 10169799 140734076823328 140734076817144 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 71258 70211 856 1459 0 69790 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 285032

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32120
/proc/meminfo: memFree=26231616/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=288252 CPUtime=1722 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 443128 0 0 0 170626 1574 0 0 20 0 1 0 269390460 295170048 70686 33554432000 4194304 10169799 140734076823328 140734076817416 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 72063 70686 856 1459 0 70595 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 288252

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32121
/proc/meminfo: memFree=26188256/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=293156 CPUtime=1781.99 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 456496 0 0 0 176566 1633 0 0 20 0 1 0 269390460 300191744 72243 33554432000 4194304 10169799 140734076823328 140734076817352 8030352 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 73289 72243 856 1459 0 71821 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 293156

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32121
/proc/meminfo: memFree=26187016/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=293408 CPUtime=1785.19 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 456543 0 0 0 176883 1636 0 0 20 0 1 0 269390460 300449792 72290 33554432000 4194304 10169799 140734076823328 140734076818312 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 73352 72290 856 1459 0 71884 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 293408

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32121
/proc/meminfo: memFree=26184892/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=291544 CPUtime=1791.59 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 457744 0 0 0 177517 1642 0 0 20 0 1 0 269390460 298541056 71661 33554432000 4194304 10169799 140734076823328 140734076818152 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 72886 71661 856 1459 0 71418 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 291544

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32121
/proc/meminfo: memFree=26181544/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=293948 CPUtime=1794.79 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 458407 0 0 0 177834 1645 0 0 20 0 1 0 269390460 301002752 72324 33554432000 4194304 10169799 140734076823328 140734076817000 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 73487 72324 856 1459 0 72019 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 293948

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32121
/proc/meminfo: memFree=26181544/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=293948 CPUtime=1795.59 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 458433 0 0 0 177913 1646 0 0 20 0 1 0 269390460 301002752 72346 33554432000 4194304 10169799 140734076823328 140734076817000 8030352 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 73487 72346 856 1459 0 72019 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (KiB) 293948

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32121
/proc/meminfo: memFree=26181420/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=293948 CPUtime=1796.39 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 458519 0 0 0 177992 1647 0 0 20 0 1 0 269390460 301002752 72432 33554432000 4194304 10169799 140734076823328 140734076821848 8979322 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 73487 72432 856 1459 0 72019 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 293948

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32121
/proc/meminfo: memFree=26181420/32873844 swapFree=6088/6088
[pid=32043] ppid=32041 vsize=292704 CPUtime=1796.78 cores=1,3,5,7
/proc/32043/stat : 32043 (scip-2.1.1.4sfi) R 32041 32043 30587 0 -1 4202496 458523 0 0 0 178031 1647 0 0 20 0 1 0 269390460 299728896 72083 33554432000 4194304 10169799 140734076823328 140734076822408 4425377 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32043/statm: 73176 72083 858 1459 0 71708 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 292704

Child status: 0
Real time (s): 1797.15
CPU time (s): 1796.84
CPU user time (s): 1780.35
CPU system time (s): 16.4905
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 295092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.35
system time used= 16.4905
maximum resident set size= 290880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 458525
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= 43
involuntary context switches= 1973

runsolver used 3.2985 second user time and 8.98963 second system time

The end

Launcher Data 

Begin job on node108 at 2012-05-26 13:43:39
IDJOB=3693326
IDBENCH=2631
IDSOLVER=2272
FILE ID=node108/3693326-1338032619
RUNJOBID= node108-1338029023-31811
PBS_JOBID= 14624363
Free space on /tmp= 71696 MiB

SOLVER NAME= SCIP spx standard SCIP 2.1.1.4. with SoPlex 1.6.0.3 standard fixed
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_14.opb
COMMAND LINE= HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3693326-1338032619/watcher-3693326-1338032619 -o /tmp/evaluation-result-3693326-1338032619/solver-3693326-1338032619 -C 1800 -W 1900 -M 15500  HOME/scip-2.1.1.4sfix.linux.x86_64.gnu.opt.spx -f HOME/instance-3693326-1338032619.opb -t 1800 -m 15500

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

MD5SUM BENCH= 308ce6e771b8240fefc971d6e27a7575
RANDOM SEED=2085231402

node108.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
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	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
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	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
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	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.273
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26886168 kB
Buffers:          230344 kB
Cached:          4515720 kB
SwapCached:            0 kB
Active:          1028620 kB
Inactive:        4186516 kB
Active(anon):     471792 kB
Inactive(anon):        0 kB
Active(file):     556828 kB
Inactive(file):  4186516 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             15184 kB
Writeback:             0 kB
AnonPages:        563196 kB
Mapped:            17396 kB
Shmem:               200 kB
Slab:             633912 kB
SReclaimable:      76280 kB
SUnreclaim:       557632 kB
KernelStack:        1464 kB
PageTables:         4704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     588160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    456704 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71680 MiB
End job on node108 at 2012-05-26 14:13:36