Trace number 2665448

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
SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1802.14 1802.66

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_3.opb
MD5SUMf48abdef3d00ab6f87ca2e4f0d43c1d1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables51
Total number of constraints13
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint1
Maximum length of a constraint50
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1270
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3811
Number of bits of the biggest sum of numbers12
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 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00	c Copyright (c) 2002-2010 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-2665448-1276614909.opb>
0.00/0.01	c original problem has 51 variables (51 bin, 0 int, 0 impl, 0 cont) and 13 constraints
0.00/0.01	c problem read
0.00/0.01	c presolving settings loaded
0.00/0.01	c presolving:
0.00/0.01	c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.01	c (round 2) 1 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02	c presolving (3 rounds):
0.00/0.02	c  1 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02	c  0 implications, 0 cliques
0.00/0.02	c presolved problem has 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.02	c       6 constraints of type <linear>
0.00/0.02	c transformed objective value is always integral (scale: 1)
0.00/0.02	c Presolving Time: 0.01
0.00/0.02	c - non default parameters ----------------------------------------------------------------------
0.00/0.02	c # SCIP version 1.2.1.2
0.00/0.02	c 
0.00/0.02	c # frequency for displaying node information lines
0.00/0.02	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02	c display/freq = 10000
0.00/0.02	c 
0.00/0.02	c # maximal time in seconds to run
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/time = 1800
0.00/0.02	c 
0.00/0.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02	c limits/memory = 1620
0.00/0.02	c 
0.00/0.02	c # should presolving try to simplify inequalities
0.00/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02	c constraints/linear/simplifyinequalities = TRUE
0.00/0.02	c 
0.00/0.02	c # should presolving try to simplify knapsacks
0.00/0.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02	c 
0.00/0.02	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02	c separating/rapidlearning/freq = 0
0.00/0.02	c 
0.00/0.02	c -----------------------------------------------------------------------------------------------
0.00/0.02	c start solving
0.00/0.02	c 
0.00/0.02	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.02	c   0.0s|     1 |     0 |    29 |     - | 273k|   0 |   6 |  50 |   6 |  50 |   6 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.12	c   0.1s|     1 |     0 |    33 |     - | 329k|   0 |   9 |  50 |  18 |  50 |  13 |   7 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.13	c   0.1s|     1 |     0 |    40 |     - | 369k|   0 |  13 |  50 |  18 |  50 |  19 |  13 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.14	c   0.1s|     1 |     0 |    48 |     - | 403k|   0 |  17 |  50 |  18 |  50 |  23 |  17 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.15	c   0.1s|     1 |     0 |    61 |     - | 428k|   0 |  21 |  50 |  18 |  50 |  27 |  21 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.16	c   0.1s|     1 |     0 |    80 |     - | 439k|   0 |  17 |  50 |  18 |  50 |  29 |  23 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.18	c   0.2s|     1 |     0 |    98 |     - | 459k|   0 |  19 |  50 |  18 |  50 |  33 |  27 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.27	c   0.2s|     1 |     2 |    98 |     - | 460k|   0 |  19 |  50 |  18 |  50 |  33 |  27 |   0 |   9 | 0.000000e+00 |      --      |    Inf 
5.99/6.09	c   5.2s| 10000 |  3008 | 28054 |   2.8 |3646k|  42 |   - |  50 |2689 |  50 |  22 |  27 |4071 | 487 | 0.000000e+00 |      --      |    Inf 
11.68/11.79	c  10.2s| 20000 |  5398 | 54399 |   2.7 |5248k|  43 |   6 |  50 |1911 |  50 |  22 |  27 |8532 | 607 | 0.000000e+00 |      --      |    Inf 
17.18/17.26	c  14.9s| 30000 |  8030 | 80484 |   2.7 |7095k|  44 |   6 |  50 |1963 |  50 |  22 |  27 |  12k| 673 | 0.000000e+00 |      --      |    Inf 
22.79/22.84	c  19.7s| 40000 | 10323 |106169 |   2.7 |8931k|  44 |   6 |  50 |2360 |  50 |  22 |  27 |  17k| 747 | 0.000000e+00 |      --      |    Inf 
28.39/28.49	c  24.6s| 50000 | 12488 |131936 |   2.6 |  10M|  44 |   - |  50 |2395 |  50 |  22 |  27 |  21k| 812 | 0.000000e+00 |      --      |    Inf 
34.09/34.15	c  29.6s| 60000 | 14673 |157378 |   2.6 |  12M|  44 |   6 |  50 |2568 |  50 |  22 |  27 |  26k| 870 | 0.000000e+00 |      --      |    Inf 
39.88/39.98	c  34.6s| 70000 | 16655 |182200 |   2.6 |  14M|  44 |   - |  50 |2632 |  50 |  22 |  27 |  30k| 927 | 0.000000e+00 |      --      |    Inf 
45.68/45.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
45.68/45.77	c  39.7s| 80000 | 18717 |207780 |   2.6 |  15M|  44 |   6 |  50 |2832 |  50 |  22 |  27 |  34k| 998 | 0.000000e+00 |      --      |    Inf 
51.48/51.56	c  44.7s| 90000 | 20840 |234369 |   2.6 |  17M|  44 |   - |  50 |2707 |  50 |  22 |  27 |  39k|1033 | 0.000000e+00 |      --      |    Inf 
57.18/57.23	c  49.6s|100000 | 23163 |259201 |   2.6 |  19M|  44 |   6 |  50 |3146 |  50 |  22 |  27 |  43k|1068 | 0.000000e+00 |      --      |    Inf 
62.97/63.06	c  54.7s|110000 | 25475 |284719 |   2.6 |  20M|  44 |   - |  50 |3128 |  50 |  22 |  27 |  47k|1102 | 0.000000e+00 |      --      |    Inf 
68.97/69.06	c  59.9s|120000 | 27383 |309822 |   2.6 |  22M|  44 |   - |  50 |2928 |   0 |   0 |  27 |  52k|1144 | 0.000000e+00 |      --      |    Inf 
74.87/74.96	c  65.0s|130000 | 29400 |335537 |   2.6 |  23M|  44 |   - |  50 |3041 |  50 |  22 |  27 |  56k|1181 | 0.000000e+00 |      --      |    Inf 
80.87/80.99	c  70.2s|140000 | 31311 |361366 |   2.6 |  25M|  44 |   - |  50 |3204 |   0 |   0 |  27 |  60k|1240 | 0.000000e+00 |      --      |    Inf 
87.07/87.13	c  75.7s|150000 | 33224 |387031 |   2.6 |  27M|  44 |   6 |  50 |3282 |  50 |  22 |  27 |  65k|1281 | 0.000000e+00 |      --      |    Inf 
93.06/93.15	c  80.9s|160000 | 35274 |412305 |   2.6 |  28M|  44 |   - |  50 |3434 |   0 |   0 |  27 |  69k|1306 | 0.000000e+00 |      --      |    Inf 
99.26/99.38	c  86.4s|170000 | 37100 |437705 |   2.6 |  30M|  44 |   6 |  50 |3032 |  50 |  22 |  27 |  74k|1345 | 0.000000e+00 |      --      |    Inf 
105.36/105.47	c  91.7s|180000 | 38931 |462738 |   2.6 |  31M|  44 |   - |  50 |3106 |   0 |   0 |  27 |  78k|1377 | 0.000000e+00 |      --      |    Inf 
111.36/111.46	c  96.9s|190000 | 40955 |487839 |   2.6 |  33M|  44 |   6 |  50 |3574 |  50 |  22 |  27 |  83k|1400 | 0.000000e+00 |      --      |    Inf 
117.56/117.63	c   102s|200000 | 42784 |512426 |   2.6 |  35M|  44 |   6 |  50 |3037 |  50 |  22 |  27 |  87k|1426 | 0.000000e+00 |      --      |    Inf 
123.66/123.78	c   108s|210000 | 44562 |537570 |   2.6 |  36M|  44 |   6 |  50 |3137 |  50 |  22 |  27 |  92k|1449 | 0.000000e+00 |      --      |    Inf 
129.85/129.90	c   113s|220000 | 46510 |562535 |   2.6 |  38M|  44 |   6 |  50 |3642 |  50 |  22 |  27 |  96k|1472 | 0.000000e+00 |      --      |    Inf 
135.85/135.98	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
135.85/135.98	c   118s|230000 | 48508 |587653 |   2.6 |  39M|  44 |   6 |  50 |3620 |  50 |  22 |  27 | 101k|1496 | 0.000000e+00 |      --      |    Inf 
142.15/142.22	c   124s|240000 | 50578 |611389 |   2.5 |  41M|  44 |   6 |  50 |4031 |  50 |  22 |  27 | 105k|1520 | 0.000000e+00 |      --      |    Inf 
148.46/148.53	c   129s|250000 | 52531 |635843 |   2.5 |  43M|  44 |   - |  50 |3639 |  50 |  22 |  27 | 109k|1553 | 0.000000e+00 |      --      |    Inf 
154.55/154.64	c   135s|260000 | 54621 |660003 |   2.5 |  44M|  44 |   6 |  50 |4035 |  50 |  22 |  27 | 114k|1579 | 0.000000e+00 |      --      |    Inf 
160.84/160.98	c   140s|270000 | 56483 |683641 |   2.5 |  46M|  44 |   6 |  50 |3670 |  50 |  22 |  27 | 118k|1597 | 0.000000e+00 |      --      |    Inf 
167.05/167.17	c   146s|280000 | 58314 |708072 |   2.5 |  47M|  44 |   6 |  50 |3965 |  50 |  22 |  27 | 122k|1625 | 0.000000e+00 |      --      |    Inf 
173.44/173.57	c   152s|290000 | 60241 |733341 |   2.5 |  49M|  44 |   - |  50 |3828 |  50 |  22 |  27 | 127k|1646 | 0.000000e+00 |      --      |    Inf 
179.74/179.84	c   157s|300000 | 62161 |758181 |   2.5 |  50M|  44 |   - |  50 |4046 |  50 |  22 |  27 | 131k|1670 | 0.000000e+00 |      --      |    Inf 
186.24/186.33	c   163s|310000 | 63871 |782039 |   2.5 |  52M|  44 |   6 |  50 |3996 |  50 |  22 |  27 | 136k|1693 | 0.000000e+00 |      --      |    Inf 
192.63/192.74	c   168s|320000 | 65746 |807081 |   2.5 |  53M|  44 |   6 |  50 |4091 |  50 |  22 |  27 | 140k|1708 | 0.000000e+00 |      --      |    Inf 
199.14/199.23	c   174s|330000 | 67477 |832045 |   2.5 |  55M|  44 |   - |  50 |3330 |  50 |  22 |  27 | 144k|1727 | 0.000000e+00 |      --      |    Inf 
205.13/205.27	c   179s|340000 | 69403 |856252 |   2.5 |  57M|  44 |   6 |  50 |4152 |  50 |  22 |  27 | 148k|1741 | 0.000000e+00 |      --      |    Inf 
211.43/211.58	c   185s|350000 | 71394 |880469 |   2.5 |  58M|  44 |   6 |  50 |4312 |  50 |  22 |  27 | 153k|1762 | 0.000000e+00 |      --      |    Inf 
217.74/217.84	c   191s|360000 | 73414 |904690 |   2.5 |  60M|  44 |   - |  50 |4430 |   0 |   0 |  27 | 157k|1782 | 0.000000e+00 |      --      |    Inf 
224.13/224.25	c   196s|370000 | 75090 |928908 |   2.5 |  61M|  44 |   - |  50 |3974 |  50 |  22 |  27 | 161k|1797 | 0.000000e+00 |      --      |    Inf 
230.43/230.57	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
230.43/230.57	c   202s|380000 | 76913 |952717 |   2.5 |  62M|  44 |   - |  50 |3591 |  50 |  22 |  27 | 166k|1819 | 0.000000e+00 |      --      |    Inf 
236.82/236.99	c   207s|390000 | 78652 |977050 |   2.5 |  64M|  44 |   6 |  50 |3627 |  50 |  22 |  27 | 170k|1844 | 0.000000e+00 |      --      |    Inf 
243.12/243.28	c   213s|400000 | 80510 |  1000k|   2.5 |  66M|  44 |   6 |  50 |3785 |  50 |  22 |  27 | 174k|1863 | 0.000000e+00 |      --      |    Inf 
249.53/249.63	c   218s|410000 | 82268 |  1024k|   2.5 |  67M|  44 |   - |  50 |4264 |  50 |  22 |  27 | 178k|1878 | 0.000000e+00 |      --      |    Inf 
255.92/256.04	c   224s|420000 | 84424 |  1049k|   2.5 |  69M|  44 |   6 |  50 |4170 |  50 |  22 |  27 | 182k|1901 | 0.000000e+00 |      --      |    Inf 
262.21/262.39	c   230s|430000 | 86265 |  1072k|   2.5 |  70M|  44 |   - |  50 |4494 |  50 |  22 |  27 | 187k|1915 | 0.000000e+00 |      --      |    Inf 
268.91/269.09	c   236s|440000 | 87915 |  1096k|   2.5 |  71M|  44 |   - |  50 |3764 |  50 |  22 |  27 | 191k|1934 | 0.000000e+00 |      --      |    Inf 
275.41/275.54	c   241s|450000 | 89524 |  1119k|   2.5 |  73M|  44 |   6 |  50 |4105 |  50 |  22 |  27 | 195k|1948 | 0.000000e+00 |      --      |    Inf 
282.01/282.15	c   247s|460000 | 91133 |  1143k|   2.5 |  74M|  44 |   6 |  50 |3831 |  50 |  22 |  27 | 200k|1969 | 0.000000e+00 |      --      |    Inf 
288.41/288.59	c   253s|470000 | 92928 |  1166k|   2.5 |  76M|  44 |   - |  50 |3986 |  50 |  22 |  27 | 204k|1985 | 0.000000e+00 |      --      |    Inf 
294.62/294.73	c   258s|480000 | 95302 |  1191k|   2.5 |  77M|  44 |   - |  50 |4481 |  50 |  22 |  27 | 208k|1998 | 0.000000e+00 |      --      |    Inf 
300.71/300.88	c   264s|490000 | 97737 |  1216k|   2.5 |  79M|  44 |   - |  50 |4947 |  50 |  22 |  27 | 212k|2014 | 0.000000e+00 |      --      |    Inf 
307.41/307.55	c   270s|500000 | 99960 |  1239k|   2.5 |  81M|  44 |   6 |  50 |4017 |  50 |  22 |  27 | 216k|2031 | 0.000000e+00 |      --      |    Inf 
313.90/314.02	c   275s|510000 |102003 |  1264k|   2.5 |  82M|  44 |   6 |  50 |4393 |  50 |  22 |  27 | 220k|2046 | 0.000000e+00 |      --      |    Inf 
320.40/320.56	c   281s|520000 |103726 |  1287k|   2.5 |  84M|  44 |   6 |  50 |4166 |  50 |  22 |  27 | 224k|2056 | 0.000000e+00 |      --      |    Inf 
326.61/326.79	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
326.61/326.79	c   287s|530000 |106153 |  1312k|   2.5 |  85M|  44 |   - |  50 |4473 |  50 |  22 |  27 | 228k|2071 | 0.000000e+00 |      --      |    Inf 
333.11/333.26	c   292s|540000 |108368 |  1336k|   2.5 |  87M|  44 |   - |  50 |4886 |   0 |   0 |  27 | 232k|2091 | 0.000000e+00 |      --      |    Inf 
340.20/340.33	c   299s|550000 |109928 |  1359k|   2.5 |  88M|  44 |   6 |  50 |4514 |  50 |  22 |  27 | 236k|2112 | 0.000000e+00 |      --      |    Inf 
346.99/347.16	c   305s|560000 |111465 |  1382k|   2.5 |  90M|  44 |   6 |  50 |3919 |  50 |  22 |  27 | 241k|2127 | 0.000000e+00 |      --      |    Inf 
353.60/353.77	c   311s|570000 |113155 |  1406k|   2.5 |  91M|  44 |   6 |  50 |3906 |  50 |  22 |  27 | 245k|2143 | 0.000000e+00 |      --      |    Inf 
359.89/360.09	c   316s|580000 |115116 |  1429k|   2.5 |  93M|  44 |   - |  50 |4676 |  50 |  22 |  27 | 249k|2157 | 0.000000e+00 |      --      |    Inf 
366.69/366.83	c   322s|590000 |117010 |  1453k|   2.5 |  94M|  44 |   - |  50 |4321 |  50 |  22 |  27 | 253k|2176 | 0.000000e+00 |      --      |    Inf 
373.29/373.43	c   328s|600000 |118733 |  1477k|   2.5 |  95M|  44 |   - |  50 |3760 |  50 |  22 |  27 | 257k|2192 | 0.000000e+00 |      --      |    Inf 
379.58/379.79	c   334s|610000 |120533 |  1500k|   2.5 |  97M|  44 |   - |  50 |3505 |  50 |  22 |  27 | 262k|2209 | 0.000000e+00 |      --      |    Inf 
385.89/386.07	c   339s|620000 |122191 |  1523k|   2.5 |  98M|  44 |   6 |  50 |3606 |  50 |  22 |  27 | 266k|2232 | 0.000000e+00 |      --      |    Inf 
392.39/392.58	c   345s|630000 |123862 |  1546k|   2.5 | 100M|  44 |   6 |  50 |3986 |  50 |  22 |  27 | 270k|2244 | 0.000000e+00 |      --      |    Inf 
398.48/398.68	c   350s|640000 |125935 |  1571k|   2.5 | 102M|  44 |   6 |  50 |4817 |  50 |  22 |  27 | 274k|2260 | 0.000000e+00 |      --      |    Inf 
405.37/405.53	c   356s|650000 |127749 |  1594k|   2.5 | 103M|  44 |   - |  50 |3866 |  50 |  22 |  27 | 278k|2276 | 0.000000e+00 |      --      |    Inf 
411.48/411.63	c   362s|660000 |130026 |  1618k|   2.5 | 105M|  44 |   6 |  50 |4380 |  50 |  22 |  27 | 282k|2293 | 0.000000e+00 |      --      |    Inf 
417.78/417.98	c   367s|670000 |132003 |  1640k|   2.4 | 106M|  45 |   6 |  50 |4442 |  50 |  22 |  27 | 286k|2306 | 0.000000e+00 |      --      |    Inf 
424.27/424.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
424.27/424.45	c   373s|680000 |133850 |  1664k|   2.4 | 107M|  45 |   - |  50 |4461 |  50 |  22 |  27 | 290k|2320 | 0.000000e+00 |      --      |    Inf 
430.87/431.00	c   379s|690000 |135920 |  1688k|   2.4 | 109M|  45 |   6 |  50 |4264 |  50 |  22 |  27 | 294k|2342 | 0.000000e+00 |      --      |    Inf 
437.68/437.81	c   385s|700000 |137554 |  1711k|   2.4 | 110M|  45 |   - |  50 |3500 |  50 |  22 |  27 | 298k|2356 | 0.000000e+00 |      --      |    Inf 
443.66/443.89	c   390s|710000 |139467 |  1735k|   2.4 | 112M|  45 |   - |  50 |4263 |  50 |  22 |  27 | 302k|2366 | 0.000000e+00 |      --      |    Inf 
450.26/450.48	c   396s|720000 |141228 |  1758k|   2.4 | 113M|  45 |   - |  50 |4055 |  50 |  22 |  27 | 307k|2379 | 0.000000e+00 |      --      |    Inf 
457.06/457.22	c   402s|730000 |142826 |  1782k|   2.4 | 115M|  45 |   6 |  50 |3780 |  50 |  22 |  27 | 311k|2399 | 0.000000e+00 |      --      |    Inf 
463.46/463.69	c   408s|740000 |144680 |  1805k|   2.4 | 116M|  45 |   - |  50 |4179 |  50 |  22 |  27 | 315k|2417 | 0.000000e+00 |      --      |    Inf 
469.86/470.05	c   413s|750000 |146711 |  1829k|   2.4 | 118M|  45 |   6 |  50 |4734 |  50 |  22 |  27 | 319k|2429 | 0.000000e+00 |      --      |    Inf 
476.45/476.66	c   419s|760000 |148675 |  1852k|   2.4 | 119M|  45 |   6 |  50 |4341 |  50 |  22 |  27 | 323k|2444 | 0.000000e+00 |      --      |    Inf 
483.36/483.52	c   425s|770000 |150381 |  1875k|   2.4 | 121M|  45 |   6 |  50 |4091 |  50 |  22 |  27 | 327k|2462 | 0.000000e+00 |      --      |    Inf 
490.05/490.25	c   431s|780000 |152135 |  1899k|   2.4 | 122M|  45 |   6 |  50 |3798 |  50 |  22 |  27 | 331k|2483 | 0.000000e+00 |      --      |    Inf 
496.65/496.85	c   437s|790000 |153799 |  1923k|   2.4 | 124M|  45 |   6 |  50 |3672 |  50 |  22 |  27 | 335k|2497 | 0.000000e+00 |      --      |    Inf 
503.15/503.31	c   442s|800000 |155417 |  1946k|   2.4 | 125M|  45 |   6 |  50 |3849 |  50 |  22 |  27 | 339k|2513 | 0.000000e+00 |      --      |    Inf 
509.85/510.00	c   448s|810000 |157093 |  1969k|   2.4 | 126M|  45 |   - |  50 |3491 |  50 |  22 |  27 | 344k|2525 | 0.000000e+00 |      --      |    Inf 
516.05/516.24	c   454s|820000 |159082 |  1993k|   2.4 | 128M|  45 |   6 |  50 |4399 |  50 |  22 |  27 | 348k|2539 | 0.000000e+00 |      --      |    Inf 
522.65/522.87	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
522.65/522.87	c   460s|830000 |160964 |  2017k|   2.4 | 130M|  45 |   6 |  50 |4445 |  50 |  22 |  27 | 352k|2558 | 0.000000e+00 |      --      |    Inf 
529.64/529.84	c   466s|840000 |162477 |  2040k|   2.4 | 131M|  45 |   - |  50 |4239 |   0 |   0 |  27 | 356k|2576 | 0.000000e+00 |      --      |    Inf 
536.24/536.44	c   472s|850000 |164438 |  2064k|   2.4 | 132M|  45 |   6 |  50 |4535 |  50 |  22 |  27 | 360k|2591 | 0.000000e+00 |      --      |    Inf 
542.64/542.81	c   477s|860000 |166188 |  2087k|   2.4 | 134M|  45 |   - |  50 |4380 |  50 |  22 |  27 | 364k|2609 | 0.000000e+00 |      --      |    Inf 
549.13/549.39	c   483s|870000 |167980 |  2111k|   2.4 | 135M|  45 |   6 |  50 |4112 |  50 |  22 |  27 | 368k|2626 | 0.000000e+00 |      --      |    Inf 
555.53/555.72	c   489s|880000 |169860 |  2133k|   2.4 | 137M|  45 |   6 |  50 |4627 |  50 |  22 |  27 | 372k|2640 | 0.000000e+00 |      --      |    Inf 
562.23/562.49	c   495s|890000 |171460 |  2157k|   2.4 | 138M|  45 |   - |  50 |4230 |   0 |   0 |  27 | 376k|2652 | 0.000000e+00 |      --      |    Inf 
568.93/569.13	c   501s|900000 |173111 |  2180k|   2.4 | 140M|  45 |   6 |  50 |4480 |  50 |  22 |  27 | 380k|2667 | 0.000000e+00 |      --      |    Inf 
575.93/576.13	c   507s|910000 |174701 |  2204k|   2.4 | 141M|  45 |   6 |  50 |3887 |  50 |  22 |  27 | 384k|2686 | 0.000000e+00 |      --      |    Inf 
582.52/582.70	c   513s|920000 |176355 |  2228k|   2.4 | 142M|  45 |   6 |  50 |3976 |  50 |  22 |  27 | 389k|2698 | 0.000000e+00 |      --      |    Inf 
589.13/589.37	c   519s|930000 |177907 |  2251k|   2.4 | 143M|  45 |   6 |  50 |3789 |  50 |  22 |  27 | 393k|2717 | 0.000000e+00 |      --      |    Inf 
595.73/595.92	c   524s|940000 |179550 |  2275k|   2.4 | 145M|  45 |   6 |  50 |3764 |  50 |  22 |  27 | 397k|2733 | 0.000000e+00 |      --      |    Inf 
602.22/602.43	c   530s|950000 |181215 |  2298k|   2.4 | 146M|  45 |   - |  50 |4025 |  50 |  22 |  27 | 401k|2746 | 0.000000e+00 |      --      |    Inf 
608.82/609.02	c   536s|960000 |182759 |  2322k|   2.4 | 148M|  45 |   6 |  50 |4110 |  50 |  22 |  27 | 405k|2758 | 0.000000e+00 |      --      |    Inf 
615.42/615.70	c   542s|970000 |184550 |  2346k|   2.4 | 149M|  45 |   - |  50 |4302 |  50 |  22 |  27 | 409k|2770 | 0.000000e+00 |      --      |    Inf 
622.01/622.29	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
622.01/622.29	c   548s|980000 |186267 |  2370k|   2.4 | 151M|  45 |   - |  50 |4732 |  50 |  22 |  27 | 414k|2785 | 0.000000e+00 |      --      |    Inf 
629.11/629.34	c   554s|990000 |187702 |  2393k|   2.4 | 152M|  45 |   6 |  50 |4079 |  50 |  22 |  27 | 418k|2799 | 0.000000e+00 |      --      |    Inf 
635.72/635.99	c   560s|  1000k|189285 |  2416k|   2.4 | 153M|  45 |   - |  50 |4245 |  50 |  22 |  27 | 422k|2811 | 0.000000e+00 |      --      |    Inf 
642.51/642.78	c   566s|  1010k|190991 |  2438k|   2.4 | 155M|  45 |   6 |  50 |4524 |  50 |  22 |  27 | 426k|2824 | 0.000000e+00 |      --      |    Inf 
649.51/649.78	c   572s|  1020k|192590 |  2462k|   2.4 | 156M|  45 |   6 |  50 |4050 |  50 |  22 |  27 | 431k|2839 | 0.000000e+00 |      --      |    Inf 
656.11/656.35	c   578s|  1030k|194241 |  2485k|   2.4 | 158M|  45 |   6 |  50 |4109 |  50 |  22 |  27 | 435k|2854 | 0.000000e+00 |      --      |    Inf 
662.50/662.76	c   584s|  1040k|196072 |  2509k|   2.4 | 159M|  45 |   6 |  50 |4499 |  50 |  22 |  27 | 439k|2863 | 0.000000e+00 |      --      |    Inf 
668.90/669.18	c   589s|  1050k|197775 |  2532k|   2.4 | 161M|  45 |   6 |  50 |5518 |  50 |  22 |  27 | 443k|2879 | 0.000000e+00 |      --      |    Inf 
675.60/675.84	c   595s|  1060k|199668 |  2555k|   2.4 | 162M|  45 |   - |  50 |5621 |  50 |  22 |  27 | 447k|2892 | 0.000000e+00 |      --      |    Inf 
682.40/682.62	c   601s|  1070k|201610 |  2578k|   2.4 | 164M|  45 |   - |  50 |5464 |  50 |  22 |  27 | 451k|2905 | 0.000000e+00 |      --      |    Inf 
689.70/689.98	c   608s|  1080k|203042 |  2601k|   2.4 | 165M|  45 |   - |  50 |4621 |   0 |   0 |  27 | 455k|2915 | 0.000000e+00 |      --      |    Inf 
696.59/696.89	c   614s|  1090k|204498 |  2624k|   2.4 | 166M|  45 |   6 |  50 |4366 |  50 |  22 |  27 | 460k|2928 | 0.000000e+00 |      --      |    Inf 
703.40/703.60	c   620s|  1100k|206140 |  2647k|   2.4 | 168M|  45 |   6 |  50 |4430 |  50 |  22 |  27 | 464k|2939 | 0.000000e+00 |      --      |    Inf 
710.20/710.41	c   626s|  1110k|207717 |  2670k|   2.4 | 169M|  45 |   6 |  50 |4394 |  50 |  22 |  27 | 468k|2953 | 0.000000e+00 |      --      |    Inf 
716.39/716.65	c   631s|  1120k|209779 |  2693k|   2.4 | 171M|  45 |   - |  50 |5344 |   0 |   0 |  27 | 472k|2967 | 0.000000e+00 |      --      |    Inf 
723.60/723.87	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
723.60/723.87	c   638s|  1130k|211547 |  2717k|   2.4 | 172M|  45 |   6 |  50 |5071 |  50 |  22 |  27 | 476k|2981 | 0.000000e+00 |      --      |    Inf 
730.49/730.78	c   644s|  1140k|213246 |  2740k|   2.4 | 174M|  45 |   6 |  50 |4513 |  50 |  22 |  27 | 480k|2990 | 0.000000e+00 |      --      |    Inf 
737.29/737.54	c   650s|  1150k|215091 |  2764k|   2.4 | 175M|  45 |   6 |  50 |4415 |  50 |  22 |  27 | 484k|3000 | 0.000000e+00 |      --      |    Inf 
743.88/744.18	c   656s|  1160k|216882 |  2788k|   2.4 | 176M|  45 |   6 |  50 |4496 |  50 |  22 |  27 | 488k|3013 | 0.000000e+00 |      --      |    Inf 
750.68/750.92	c   662s|  1170k|218692 |  2811k|   2.4 | 178M|  45 |   6 |  50 |4967 |  50 |  22 |  27 | 493k|3027 | 0.000000e+00 |      --      |    Inf 
757.28/757.55	c   668s|  1180k|220482 |  2835k|   2.4 | 179M|  45 |   - |  50 |5166 |  50 |  22 |  27 | 497k|3040 | 0.000000e+00 |      --      |    Inf 
764.19/764.50	c   674s|  1190k|222207 |  2858k|   2.4 | 181M|  45 |   - |  50 |5079 |   0 |   0 |  27 | 501k|3052 | 0.000000e+00 |      --      |    Inf 
770.97/771.26	c   680s|  1200k|223882 |  2881k|   2.4 | 182M|  45 |   6 |  50 |4884 |  50 |  22 |  27 | 505k|3064 | 0.000000e+00 |      --      |    Inf 
778.08/778.36	c   686s|  1210k|225458 |  2905k|   2.4 | 183M|  45 |   6 |  50 |4313 |  50 |  22 |  27 | 509k|3080 | 0.000000e+00 |      --      |    Inf 
784.97/785.23	c   693s|  1220k|227093 |  2928k|   2.4 | 185M|  45 |   6 |  50 |4387 |  50 |  22 |  27 | 513k|3090 | 0.000000e+00 |      --      |    Inf 
791.87/792.12	c   699s|  1230k|228620 |  2951k|   2.4 | 186M|  45 |   6 |  50 |4228 |  50 |  22 |  27 | 517k|3101 | 0.000000e+00 |      --      |    Inf 
798.47/798.75	c   705s|  1240k|230383 |  2975k|   2.4 | 188M|  45 |   - |  50 |4936 |  50 |  22 |  27 | 521k|3111 | 0.000000e+00 |      --      |    Inf 
805.47/805.70	c   711s|  1250k|231978 |  2999k|   2.4 | 189M|  45 |   - |  50 |4239 |   0 |   0 |  27 | 525k|3123 | 0.000000e+00 |      --      |    Inf 
811.96/812.24	c   717s|  1260k|233878 |  3023k|   2.4 | 191M|  45 |   6 |  50 |4579 |  50 |  22 |  27 | 529k|3142 | 0.000000e+00 |      --      |    Inf 
818.96/819.28	c   723s|  1270k|235383 |  3046k|   2.4 | 192M|  45 |   6 |  50 |4025 |  50 |  22 |  27 | 533k|3151 | 0.000000e+00 |      --      |    Inf 
825.56/825.85	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
825.56/825.85	c   729s|  1280k|237062 |  3069k|   2.4 | 193M|  45 |   - |  50 |4237 |  50 |  22 |  27 | 537k|3166 | 0.000000e+00 |      --      |    Inf 
832.16/832.47	c   735s|  1290k|238629 |  3092k|   2.4 | 195M|  45 |   6 |  50 |4313 |  50 |  22 |  27 | 542k|3175 | 0.000000e+00 |      --      |    Inf 
838.65/838.97	c   740s|  1300k|240582 |  3116k|   2.4 | 196M|  45 |   - |  50 |4816 |   0 |   0 |  27 | 545k|3192 | 0.000000e+00 |      --      |    Inf 
845.67/845.91	c   747s|  1310k|242087 |  3138k|   2.4 | 198M|  45 |   - |  50 |4487 |  50 |  22 |  27 | 550k|3200 | 0.000000e+00 |      --      |    Inf 
852.75/853.01	c   753s|  1320k|243553 |  3161k|   2.4 | 199M|  45 |   6 |  50 |4136 |  50 |  22 |  27 | 554k|3212 | 0.000000e+00 |      --      |    Inf 
859.45/859.78	c   759s|  1330k|245177 |  3184k|   2.4 | 200M|  45 |   - |  50 |4057 |  50 |  22 |  27 | 558k|3222 | 0.000000e+00 |      --      |    Inf 
866.05/866.33	c   765s|  1340k|246933 |  3207k|   2.4 | 202M|  45 |   - |  50 |4855 |  50 |  22 |  27 | 562k|3236 | 0.000000e+00 |      --      |    Inf 
873.05/873.40	c   771s|  1350k|248469 |  3230k|   2.4 | 203M|  45 |   - |  50 |4651 |  50 |  22 |  27 | 566k|3247 | 0.000000e+00 |      --      |    Inf 
879.85/880.17	c   777s|  1360k|250189 |  3254k|   2.4 | 205M|  45 |   6 |  50 |4404 |  50 |  22 |  27 | 570k|3258 | 0.000000e+00 |      --      |    Inf 
886.74/887.08	c   783s|  1370k|251715 |  3277k|   2.4 | 206M|  45 |   - |  50 |4070 |  50 |  22 |  27 | 574k|3276 | 0.000000e+00 |      --      |    Inf 
893.44/893.79	c   789s|  1380k|253361 |  3300k|   2.4 | 207M|  45 |   6 |  50 |3986 |  50 |  22 |  27 | 578k|3288 | 0.000000e+00 |      --      |    Inf 
900.24/900.59	c   795s|  1390k|254870 |  3323k|   2.4 | 209M|  45 |   6 |  50 |4405 |  50 |  22 |  27 | 582k|3297 | 0.000000e+00 |      --      |    Inf 
907.24/907.55	c   801s|  1400k|256423 |  3347k|   2.4 | 210M|  45 |   - |  50 |4363 |  50 |  22 |  27 | 586k|3307 | 0.000000e+00 |      --      |    Inf 
914.23/914.56	c   808s|  1410k|257830 |  3370k|   2.4 | 211M|  45 |   6 |  50 |4081 |  50 |  22 |  27 | 591k|3316 | 0.000000e+00 |      --      |    Inf 
921.13/921.41	c   814s|  1420k|259247 |  3392k|   2.4 | 213M|  45 |   - |  50 |4195 |   0 |   0 |  27 | 595k|3324 | 0.000000e+00 |      --      |    Inf 
927.73/928.09	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
927.73/928.10	c   820s|  1430k|261020 |  3416k|   2.4 | 214M|  45 |   - |  50 |4440 |  50 |  22 |  27 | 599k|3337 | 0.000000e+00 |      --      |    Inf 
934.52/934.82	c   826s|  1440k|262813 |  3439k|   2.4 | 216M|  45 |   6 |  50 |4629 |  50 |  22 |  27 | 603k|3349 | 0.000000e+00 |      --      |    Inf 
941.13/941.48	c   832s|  1450k|264800 |  3462k|   2.4 | 217M|  45 |   6 |  50 |4651 |  50 |  22 |  27 | 606k|3363 | 0.000000e+00 |      --      |    Inf 
948.12/948.45	c   838s|  1460k|266344 |  3485k|   2.4 | 218M|  45 |   - |  50 |4382 |   0 |   0 |  27 | 611k|3370 | 0.000000e+00 |      --      |    Inf 
954.62/954.95	c   843s|  1470k|268121 |  3508k|   2.4 | 220M|  45 |   6 |  50 |4526 |  50 |  22 |  27 | 615k|3381 | 0.000000e+00 |      --      |    Inf 
961.32/961.66	c   849s|  1480k|269912 |  3531k|   2.4 | 221M|  45 |   6 |  50 |5411 |  50 |  22 |  27 | 619k|3389 | 0.000000e+00 |      --      |    Inf 
968.62/968.91	c   856s|  1490k|271382 |  3554k|   2.4 | 222M|  45 |   - |  50 |4579 |   0 |   0 |  27 | 623k|3401 | 0.000000e+00 |      --      |    Inf 
975.51/975.84	c   862s|  1500k|272917 |  3577k|   2.4 | 224M|  45 |   - |  50 |4760 |  50 |  22 |  27 | 627k|3415 | 0.000000e+00 |      --      |    Inf 
982.11/982.48	c   868s|  1510k|274802 |  3601k|   2.4 | 225M|  45 |   - |  50 |4978 |   0 |   0 |  27 | 631k|3425 | 0.000000e+00 |      --      |    Inf 
989.31/989.67	c   874s|  1520k|276299 |  3625k|   2.4 | 227M|  45 |   - |  50 |4245 |  50 |  22 |  27 | 635k|3435 | 0.000000e+00 |      --      |    Inf 
995.51/995.84	c   880s|  1530k|278253 |  3648k|   2.4 | 228M|  45 |   - |  50 |5009 |  50 |  22 |  27 | 639k|3442 | 0.000000e+00 |      --      |    Inf 
1002.30/1002.61	c   886s|  1540k|279881 |  3671k|   2.4 | 229M|  45 |   - |  50 |3925 |  50 |  22 |  27 | 643k|3453 | 0.000000e+00 |      --      |    Inf 
1009.01/1009.33	c   892s|  1550k|281344 |  3695k|   2.4 | 231M|  45 |   - |  50 |4097 |  50 |  22 |  27 | 647k|3466 | 0.000000e+00 |      --      |    Inf 
1015.91/1016.25	c   898s|  1560k|282794 |  3718k|   2.4 | 232M|  45 |   6 |  50 |3973 |  50 |  22 |  27 | 651k|3473 | 0.000000e+00 |      --      |    Inf 
1022.61/1023.00	c   904s|  1570k|284230 |  3741k|   2.4 | 233M|  45 |   6 |  50 |3948 |  50 |  22 |  27 | 655k|3483 | 0.000000e+00 |      --      |    Inf 
1029.40/1029.73	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1029.40/1029.73	c   910s|  1580k|285845 |  3764k|   2.4 | 235M|  45 |   6 |  50 |4098 |  50 |  22 |  27 | 659k|3494 | 0.000000e+00 |      --      |    Inf 
1035.99/1036.39	c   916s|  1590k|287356 |  3788k|   2.4 | 236M|  45 |   6 |  50 |4417 |  50 |  22 |  27 | 663k|3503 | 0.000000e+00 |      --      |    Inf 
1043.20/1043.56	c   922s|  1600k|288721 |  3810k|   2.4 | 237M|  45 |   - |  50 |4262 |  50 |  22 |  27 | 667k|3515 | 0.000000e+00 |      --      |    Inf 
1050.29/1050.66	c   929s|  1610k|290135 |  3833k|   2.4 | 239M|  45 |   - |  50 |3818 |   0 |   0 |  27 | 671k|3523 | 0.000000e+00 |      --      |    Inf 
1056.89/1057.28	c   935s|  1620k|291790 |  3856k|   2.4 | 240M|  45 |   - |  50 |4033 |  50 |  22 |  27 | 675k|3534 | 0.000000e+00 |      --      |    Inf 
1063.49/1063.89	c   941s|  1630k|293434 |  3879k|   2.4 | 241M|  45 |   6 |  50 |4261 |  50 |  22 |  27 | 679k|3551 | 0.000000e+00 |      --      |    Inf 
1070.29/1070.63	c   947s|  1640k|295025 |  3903k|   2.4 | 243M|  45 |   - |  50 |4754 |  50 |  22 |  27 | 683k|3565 | 0.000000e+00 |      --      |    Inf 
1076.89/1077.21	c   952s|  1650k|296931 |  3926k|   2.4 | 244M|  45 |   6 |  50 |4788 |  50 |  22 |  27 | 686k|3579 | 0.000000e+00 |      --      |    Inf 
1083.58/1083.97	c   958s|  1660k|298953 |  3950k|   2.4 | 246M|  45 |   6 |  50 |5994 |  50 |  22 |  27 | 690k|3588 | 0.000000e+00 |      --      |    Inf 
1091.09/1091.42	c   965s|  1670k|300547 |  3973k|   2.4 | 247M|  45 |   6 |  50 |4841 |  50 |  22 |  27 | 694k|3602 | 0.000000e+00 |      --      |    Inf 
1098.27/1098.61	c   971s|  1680k|301965 |  3996k|   2.4 | 248M|  45 |   6 |  50 |4515 |  50 |  22 |  27 | 698k|3610 | 0.000000e+00 |      --      |    Inf 
1105.17/1105.56	c   978s|  1690k|303516 |  4019k|   2.4 | 250M|  45 |   6 |  50 |4946 |  50 |  22 |  27 | 702k|3619 | 0.000000e+00 |      --      |    Inf 
1112.17/1112.54	c   984s|  1700k|305339 |  4043k|   2.4 | 251M|  45 |   6 |  50 |4783 |  50 |  22 |  27 | 706k|3627 | 0.000000e+00 |      --      |    Inf 
1118.66/1119.10	c   990s|  1710k|307405 |  4067k|   2.4 | 253M|  45 |   - |  50 |5175 |  50 |  22 |  27 | 709k|3634 | 0.000000e+00 |      --      |    Inf 
1125.67/1126.10	c   996s|  1720k|309043 |  4089k|   2.4 | 254M|  45 |   6 |  50 |4667 |  50 |  22 |  27 | 713k|3648 | 0.000000e+00 |      --      |    Inf 
1132.57/1133.00	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1132.57/1133.00	c  1002s|  1730k|310746 |  4113k|   2.4 | 255M|  45 |   - |  50 |4900 |  50 |  22 |  27 | 717k|3657 | 0.000000e+00 |      --      |    Inf 
1140.06/1140.43	c  1009s|  1740k|312184 |  4136k|   2.4 | 257M|  45 |   - |  50 |4502 |  50 |  22 |  27 | 721k|3668 | 0.000000e+00 |      --      |    Inf 
1146.65/1147.01	c  1015s|  1750k|314234 |  4159k|   2.4 | 258M|  45 |   6 |  50 |4666 |  50 |  22 |  27 | 725k|3681 | 0.000000e+00 |      --      |    Inf 
1153.16/1153.59	c  1020s|  1760k|316147 |  4183k|   2.4 | 260M|  45 |   6 |  50 |4761 |  50 |  22 |  27 | 728k|3689 | 0.000000e+00 |      --      |    Inf 
1160.56/1160.93	c  1027s|  1770k|317462 |  4206k|   2.4 | 261M|  45 |   6 |  50 |4225 |  50 |  22 |  27 | 733k|3703 | 0.000000e+00 |      --      |    Inf 
1166.66/1167.02	c  1032s|  1780k|319566 |  4229k|   2.4 | 262M|  45 |   6 |  50 |4920 |  50 |  22 |  27 | 736k|3710 | 0.000000e+00 |      --      |    Inf 
1173.26/1173.61	c  1038s|  1790k|321560 |  4252k|   2.4 | 264M|  45 |   6 |  50 |5140 |  50 |  22 |  27 | 740k|3721 | 0.000000e+00 |      --      |    Inf 
1180.25/1180.66	c  1044s|  1800k|323220 |  4275k|   2.4 | 265M|  45 |   6 |  50 |4337 |  50 |  22 |  27 | 744k|3727 | 0.000000e+00 |      --      |    Inf 
1186.94/1187.31	c  1050s|  1810k|324890 |  4298k|   2.4 | 266M|  45 |   6 |  50 |4623 |  50 |  22 |  27 | 748k|3744 | 0.000000e+00 |      --      |    Inf 
1193.55/1193.90	c  1056s|  1820k|326712 |  4321k|   2.4 | 268M|  45 |   6 |  50 |5662 |  50 |  22 |  27 | 752k|3753 | 0.000000e+00 |      --      |    Inf 
1200.65/1201.04	c  1062s|  1830k|328557 |  4344k|   2.4 | 270M|  45 |   - |  50 |5544 |   0 |   0 |  27 | 756k|3763 | 0.000000e+00 |      --      |    Inf 
1208.04/1208.43	c  1069s|  1840k|330198 |  4367k|   2.4 | 271M|  45 |   - |  50 |5280 |  50 |  22 |  27 | 760k|3770 | 0.000000e+00 |      --      |    Inf 
1215.05/1215.45	c  1075s|  1850k|331876 |  4391k|   2.4 | 272M|  45 |   6 |  50 |5702 |  50 |  22 |  27 | 764k|3779 | 0.000000e+00 |      --      |    Inf 
1222.34/1222.79	c  1082s|  1860k|333592 |  4414k|   2.4 | 274M|  45 |   6 |  50 |5772 |  50 |  22 |  27 | 768k|3790 | 0.000000e+00 |      --      |    Inf 
1230.14/1230.53	c  1089s|  1870k|334997 |  4438k|   2.4 | 275M|  45 |   6 |  50 |4919 |  50 |  22 |  27 | 772k|3802 | 0.000000e+00 |      --      |    Inf 
1237.23/1237.68	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1237.23/1237.68	c  1095s|  1880k|336388 |  4461k|   2.4 | 276M|  45 |   - |  50 |4547 |  50 |  22 |  27 | 776k|3810 | 0.000000e+00 |      --      |    Inf 
1244.24/1244.69	c  1101s|  1890k|337962 |  4484k|   2.4 | 277M|  45 |   6 |  50 |4710 |  50 |  22 |  27 | 780k|3825 | 0.000000e+00 |      --      |    Inf 
1251.03/1251.47	c  1107s|  1900k|339648 |  4508k|   2.4 | 279M|  45 |   6 |  50 |4801 |  50 |  22 |  27 | 784k|3834 | 0.000000e+00 |      --      |    Inf 
1257.94/1258.33	c  1114s|  1910k|341387 |  4531k|   2.4 | 280M|  45 |   6 |  50 |4359 |  50 |  22 |  27 | 787k|3847 | 0.000000e+00 |      --      |    Inf 
1264.63/1265.09	c  1120s|  1920k|343022 |  4555k|   2.4 | 282M|  45 |   6 |  50 |4821 |  50 |  22 |  27 | 791k|3858 | 0.000000e+00 |      --      |    Inf 
1271.83/1272.22	c  1126s|  1930k|344630 |  4578k|   2.4 | 283M|  45 |   6 |  50 |4288 |  50 |  22 |  27 | 796k|3864 | 0.000000e+00 |      --      |    Inf 
1278.42/1278.83	c  1132s|  1940k|346405 |  4601k|   2.4 | 284M|  45 |   6 |  50 |4473 |  50 |  22 |  27 | 799k|3876 | 0.000000e+00 |      --      |    Inf 
1284.82/1285.22	c  1137s|  1950k|348276 |  4625k|   2.4 | 286M|  45 |   6 |  50 |4833 |  50 |  22 |  27 | 803k|3884 | 0.000000e+00 |      --      |    Inf 
1291.62/1292.01	c  1143s|  1960k|349961 |  4648k|   2.4 | 287M|  45 |   6 |  50 |5293 |  50 |  22 |  27 | 807k|3892 | 0.000000e+00 |      --      |    Inf 
1298.91/1299.32	c  1150s|  1970k|351386 |  4671k|   2.4 | 289M|  45 |   6 |  50 |4831 |  50 |  22 |  27 | 811k|3901 | 0.000000e+00 |      --      |    Inf 
1305.52/1305.90	c  1156s|  1980k|353163 |  4695k|   2.4 | 290M|  45 |   - |  50 |6017 |  50 |  22 |  27 | 815k|3914 | 0.000000e+00 |      --      |    Inf 
1313.11/1313.52	c  1163s|  1990k|354605 |  4718k|   2.4 | 291M|  45 |   - |  50 |5097 |  50 |  22 |  27 | 819k|3925 | 0.000000e+00 |      --      |    Inf 
1320.12/1320.51	c  1169s|  2000k|356235 |  4742k|   2.4 | 293M|  45 |   - |  50 |4909 |  50 |  22 |  27 | 823k|3933 | 0.000000e+00 |      --      |    Inf 
1326.71/1327.10	c  1175s|  2010k|358412 |  4765k|   2.4 | 294M|  45 |   6 |  50 |5097 |  50 |  22 |  27 | 827k|3942 | 0.000000e+00 |      --      |    Inf 
1332.81/1333.23	c  1180s|  2020k|361074 |  4790k|   2.4 | 296M|  45 |   6 |  50 |5517 |  50 |  22 |  27 | 830k|3951 | 0.000000e+00 |      --      |    Inf 
1339.31/1339.74	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1339.31/1339.74	c  1186s|  2030k|363233 |  4814k|   2.4 | 298M|  45 |   - |  50 |5541 |   0 |   0 |  27 | 833k|3961 | 0.000000e+00 |      --      |    Inf 
1346.02/1346.44	c  1192s|  2040k|365205 |  4838k|   2.4 | 299M|  45 |   6 |  50 |5791 |  50 |  22 |  27 | 837k|3971 | 0.000000e+00 |      --      |    Inf 
1352.70/1353.11	c  1198s|  2050k|367131 |  4862k|   2.4 | 301M|  45 |   - |  50 |5912 |  50 |  22 |  27 | 840k|3980 | 0.000000e+00 |      --      |    Inf 
1359.70/1360.18	c  1204s|  2060k|368943 |  4886k|   2.4 | 302M|  45 |   6 |  50 |5673 |  50 |  22 |  27 | 843k|3992 | 0.000000e+00 |      --      |    Inf 
1367.20/1367.61	c  1211s|  2070k|370495 |  4909k|   2.4 | 303M|  45 |   - |  50 |5140 |  50 |  22 |  27 | 848k|4004 | 0.000000e+00 |      --      |    Inf 
1374.60/1375.06	c  1217s|  2080k|371952 |  4933k|   2.4 | 305M|  45 |   - |  50 |4838 |  50 |  22 |  27 | 852k|4017 | 0.000000e+00 |      --      |    Inf 
1381.99/1382.41	c  1224s|  2090k|373432 |  4956k|   2.4 | 306M|  45 |   - |  50 |4702 |   0 |   0 |  27 | 856k|4029 | 0.000000e+00 |      --      |    Inf 
1389.00/1389.47	c  1230s|  2100k|375062 |  4979k|   2.4 | 307M|  45 |   6 |  50 |4778 |  50 |  22 |  27 | 859k|4036 | 0.000000e+00 |      --      |    Inf 
1396.19/1396.64	c  1237s|  2110k|376486 |  5003k|   2.4 | 309M|  45 |   6 |  50 |4834 |  50 |  22 |  27 | 863k|4046 | 0.000000e+00 |      --      |    Inf 
1402.69/1403.17	c  1243s|  2120k|378492 |  5026k|   2.4 | 310M|  45 |   6 |  50 |5411 |  50 |  22 |  27 | 867k|4054 | 0.000000e+00 |      --      |    Inf 
1410.19/1410.66	c  1249s|  2130k|379940 |  5050k|   2.4 | 311M|  45 |   6 |  50 |4641 |  50 |  22 |  27 | 871k|4066 | 0.000000e+00 |      --      |    Inf 
1417.18/1417.60	c  1256s|  2140k|381684 |  5074k|   2.4 | 313M|  45 |   6 |  50 |4446 |  50 |  22 |  27 | 875k|4074 | 0.000000e+00 |      --      |    Inf 
1424.09/1424.52	c  1262s|  2150k|383403 |  5097k|   2.4 | 314M|  45 |   - |  50 |4180 |  50 |  22 |  27 | 879k|4082 | 0.000000e+00 |      --      |    Inf 
1430.18/1430.60	c  1267s|  2160k|386062 |  5121k|   2.4 | 316M|  45 |   - |  50 |5224 |  50 |  22 |  27 | 882k|4093 | 0.000000e+00 |      --      |    Inf 
1436.68/1437.18	c  1273s|  2170k|388159 |  5146k|   2.4 | 318M|  45 |   6 |  50 |5089 |  50 |  22 |  27 | 886k|4105 | 0.000000e+00 |      --      |    Inf 
1443.48/1443.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1443.48/1443.97	c  1279s|  2180k|390132 |  5170k|   2.4 | 319M|  45 |   6 |  50 |5274 |  50 |  22 |  27 | 889k|4113 | 0.000000e+00 |      --      |    Inf 
1451.27/1451.79	c  1286s|  2190k|391453 |  5193k|   2.4 | 320M|  45 |   - |  50 |4499 |  50 |  22 |  27 | 893k|4120 | 0.000000e+00 |      --      |    Inf 
1458.47/1458.97	c  1292s|  2200k|393050 |  5216k|   2.4 | 321M|  45 |   - |  50 |4464 |   0 |   0 |  27 | 897k|4130 | 0.000000e+00 |      --      |    Inf 
1465.67/1466.16	c  1299s|  2210k|394422 |  5239k|   2.4 | 323M|  45 |   - |  50 |4269 |  50 |  22 |  27 | 901k|4136 | 0.000000e+00 |      --      |    Inf 
1472.38/1472.82	c  1305s|  2220k|396129 |  5262k|   2.4 | 324M|  45 |   6 |  50 |4408 |  50 |  22 |  27 | 905k|4144 | 0.000000e+00 |      --      |    Inf 
1479.57/1480.04	c  1311s|  2230k|397564 |  5285k|   2.4 | 326M|  45 |   6 |  50 |4467 |  50 |  22 |  27 | 909k|4150 | 0.000000e+00 |      --      |    Inf 
1486.47/1486.99	c  1318s|  2240k|399007 |  5308k|   2.4 | 327M|  45 |   6 |  50 |4382 |  50 |  22 |  27 | 913k|4159 | 0.000000e+00 |      --      |    Inf 
1493.06/1493.51	c  1323s|  2250k|400781 |  5332k|   2.4 | 328M|  45 |   - |  50 |4628 |  50 |  22 |  27 | 917k|4167 | 0.000000e+00 |      --      |    Inf 
1499.56/1500.06	c  1329s|  2260k|402664 |  5355k|   2.4 | 330M|  45 |   - |  50 |5304 |  50 |  22 |  27 | 921k|4177 | 0.000000e+00 |      --      |    Inf 
1506.86/1507.34	c  1336s|  2270k|404196 |  5378k|   2.4 | 331M|  45 |   - |  50 |4817 |  50 |  22 |  27 | 925k|4186 | 0.000000e+00 |      --      |    Inf 
1514.36/1514.87	c  1342s|  2280k|405588 |  5401k|   2.4 | 332M|  45 |   6 |  50 |4208 |  50 |  22 |  27 | 929k|4192 | 0.000000e+00 |      --      |    Inf 
1520.96/1521.42	c  1348s|  2290k|407383 |  5423k|   2.4 | 334M|  45 |   - |  50 |5082 |  50 |  22 |  27 | 933k|4198 | 0.000000e+00 |      --      |    Inf 
1528.06/1528.50	c  1355s|  2300k|408922 |  5446k|   2.4 | 335M|  45 |   - |  50 |4810 |  50 |  22 |  27 | 937k|4203 | 0.000000e+00 |      --      |    Inf 
1534.66/1535.19	c  1360s|  2310k|410734 |  5469k|   2.4 | 337M|  45 |   - |  50 |4713 |  50 |  22 |  27 | 940k|4210 | 0.000000e+00 |      --      |    Inf 
1542.05/1542.51	c  1367s|  2320k|412163 |  5493k|   2.4 | 338M|  45 |   6 |  50 |3974 |  50 |  22 |  27 | 944k|4217 | 0.000000e+00 |      --      |    Inf 
1548.75/1549.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1548.75/1549.25	c  1373s|  2330k|413879 |  5516k|   2.4 | 339M|  45 |   6 |  50 |4812 |  50 |  22 |  27 | 948k|4225 | 0.000000e+00 |      --      |    Inf 
1555.85/1556.33	c  1379s|  2340k|415326 |  5539k|   2.4 | 341M|  45 |   6 |  50 |4233 |  50 |  22 |  27 | 952k|4235 | 0.000000e+00 |      --      |    Inf 
1562.25/1562.75	c  1385s|  2350k|417323 |  5563k|   2.4 | 342M|  45 |   6 |  50 |5152 |  50 |  22 |  27 | 956k|4245 | 0.000000e+00 |      --      |    Inf 
1569.55/1570.04	c  1391s|  2360k|418784 |  5586k|   2.4 | 344M|  45 |   6 |  50 |4755 |  50 |  22 |  27 | 960k|4252 | 0.000000e+00 |      --      |    Inf 
1576.74/1577.24	c  1398s|  2370k|420145 |  5609k|   2.4 | 345M|  45 |   6 |  50 |4415 |  50 |  22 |  27 | 964k|4261 | 0.000000e+00 |      --      |    Inf 
1583.74/1584.23	c  1404s|  2380k|421573 |  5632k|   2.4 | 346M|  45 |   6 |  50 |4690 |  50 |  22 |  27 | 968k|4269 | 0.000000e+00 |      --      |    Inf 
1590.84/1591.36	c  1410s|  2390k|423138 |  5655k|   2.4 | 347M|  45 |   - |  50 |4843 |  50 |  22 |  27 | 972k|4278 | 0.000000e+00 |      --      |    Inf 
1598.13/1598.67	c  1417s|  2400k|424539 |  5678k|   2.4 | 349M|  45 |   6 |  50 |4264 |  50 |  22 |  27 | 976k|4288 | 0.000000e+00 |      --      |    Inf 
1604.83/1605.30	c  1423s|  2410k|426228 |  5701k|   2.4 | 350M|  45 |   - |  50 |4740 |  50 |  22 |  27 | 980k|4297 | 0.000000e+00 |      --      |    Inf 
1612.23/1612.73	c  1430s|  2420k|427558 |  5724k|   2.4 | 351M|  45 |   6 |  50 |4034 |  50 |  22 |  27 | 984k|4308 | 0.000000e+00 |      --      |    Inf 
1619.03/1619.54	c  1436s|  2430k|428950 |  5747k|   2.4 | 353M|  45 |   6 |  50 |4487 |  50 |  22 |  27 | 988k|4316 | 0.000000e+00 |      --      |    Inf 
1626.03/1626.50	c  1442s|  2440k|430482 |  5770k|   2.4 | 354M|  45 |   6 |  50 |4286 |  50 |  22 |  27 | 992k|4325 | 0.000000e+00 |      --      |    Inf 
1633.13/1633.65	c  1448s|  2450k|431956 |  5793k|   2.4 | 355M|  45 |   6 |  50 |4229 |  50 |  22 |  27 | 996k|4330 | 0.000000e+00 |      --      |    Inf 
1639.82/1640.34	c  1454s|  2460k|433748 |  5816k|   2.4 | 357M|  45 |   6 |  50 |4832 |  50 |  22 |  27 |1000k|4339 | 0.000000e+00 |      --      |    Inf 
1646.52/1647.01	c  1460s|  2470k|435712 |  5841k|   2.4 | 358M|  45 |   6 |  50 |5645 |  50 |  22 |  27 |1003k|4345 | 0.000000e+00 |      --      |    Inf 
1653.72/1654.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1653.72/1654.25	c  1466s|  2480k|437584 |  5865k|   2.4 | 360M|  45 |   6 |  50 |5236 |  50 |  22 |  27 |1007k|4354 | 0.000000e+00 |      --      |    Inf 
1660.53/1661.09	c  1472s|  2490k|439389 |  5889k|   2.4 | 361M|  45 |   - |  50 |5740 |   0 |   0 |  27 |1011k|4364 | 0.000000e+00 |      --      |    Inf 
1668.02/1668.55	c  1479s|  2500k|440979 |  5912k|   2.4 | 362M|  45 |   6 |  50 |4771 |  50 |  22 |  27 |1015k|4371 | 0.000000e+00 |      --      |    Inf 
1675.02/1675.53	c  1485s|  2510k|442644 |  5935k|   2.4 | 364M|  45 |   6 |  50 |5424 |  50 |  22 |  27 |1018k|4379 | 0.000000e+00 |      --      |    Inf 
1682.12/1682.68	c  1492s|  2520k|444114 |  5958k|   2.4 | 365M|  45 |   - |  50 |5190 |  50 |  22 |  27 |1023k|4389 | 0.000000e+00 |      --      |    Inf 
1689.31/1689.87	c  1498s|  2530k|445597 |  5982k|   2.4 | 367M|  45 |   6 |  50 |4996 |  50 |  22 |  27 |1027k|4398 | 0.000000e+00 |      --      |    Inf 
1696.90/1697.44	c  1505s|  2540k|446926 |  6005k|   2.4 | 368M|  45 |   - |  50 |4395 |  50 |  22 |  27 |1031k|4405 | 0.000000e+00 |      --      |    Inf 
1703.91/1704.48	c  1511s|  2550k|448403 |  6028k|   2.4 | 369M|  45 |   6 |  50 |4885 |  50 |  22 |  27 |1035k|4415 | 0.000000e+00 |      --      |    Inf 
1711.20/1711.79	c  1518s|  2560k|449867 |  6051k|   2.4 | 370M|  45 |   - |  50 |4624 |  50 |  22 |  27 |1038k|4422 | 0.000000e+00 |      --      |    Inf 
1718.20/1718.76	c  1524s|  2570k|451374 |  6074k|   2.4 | 372M|  45 |   6 |  50 |5077 |  50 |  22 |  27 |1042k|4429 | 0.000000e+00 |      --      |    Inf 
1725.50/1726.06	c  1530s|  2580k|452945 |  6097k|   2.4 | 373M|  45 |   - |  50 |5389 |  50 |  22 |  27 |1047k|4436 | 0.000000e+00 |      --      |    Inf 
1732.10/1732.65	c  1536s|  2590k|455552 |  6121k|   2.4 | 375M|  45 |   - |  50 |6194 |  50 |  22 |  27 |1050k|4443 | 0.000000e+00 |      --      |    Inf 
1739.10/1739.67	c  1543s|  2600k|457664 |  6145k|   2.4 | 377M|  45 |   6 |  50 |6623 |  50 |  22 |  27 |1054k|4452 | 0.000000e+00 |      --      |    Inf 
1746.60/1747.17	c  1549s|  2610k|459416 |  6168k|   2.4 | 378M|  45 |   - |  50 |6848 |  50 |  22 |  27 |1058k|4461 | 0.000000e+00 |      --      |    Inf 
1754.00/1754.54	c  1556s|  2620k|461172 |  6191k|   2.4 | 380M|  45 |   6 |  50 |7218 |  50 |  22 |  27 |1062k|4464 | 0.000000e+00 |      --      |    Inf 
1762.49/1763.08	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1762.49/1763.08	c  1564s|  2630k|462592 |  6214k|   2.4 | 381M|  45 |   - |  50 |5863 |  50 |  22 |  27 |1066k|4480 | 0.000000e+00 |      --      |    Inf 
1769.89/1770.46	c  1570s|  2640k|464379 |  6237k|   2.4 | 382M|  45 |   6 |  50 |5354 |  50 |  22 |  27 |1070k|4489 | 0.000000e+00 |      --      |    Inf 
1777.19/1777.75	c  1577s|  2650k|466169 |  6260k|   2.4 | 383M|  45 |   - |  50 |4894 |   0 |   0 |  27 |1073k|4500 | 0.000000e+00 |      --      |    Inf 
1784.58/1785.17	c  1583s|  2660k|467585 |  6284k|   2.4 | 384M|  45 |   - |  50 |4357 |  50 |  22 |  27 |1077k|4510 | 0.000000e+00 |      --      |    Inf 
1791.58/1792.16	c  1590s|  2670k|469104 |  6307k|   2.4 | 386M|  45 |   6 |  50 |4691 |  50 |  22 |  27 |1081k|4518 | 0.000000e+00 |      --      |    Inf 
1797.99/1798.54	c  1595s|  2680k|471043 |  6330k|   2.4 | 388M|  45 |   - |  50 |5811 |   0 |   0 |  27 |1084k|4525 | 0.000000e+00 |      --      |    Inf 
1800.10/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.10/1800.61	c 
1800.10/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.61	c Solving Time (sec) : 1597.05
1800.10/1800.61	c Solving Nodes      : 2683355
1800.10/1800.61	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.10/1800.61	c Dual Bound         : +0.00000000000000e+00
1800.10/1800.61	c Gap                : infinite
1800.10/1800.61	s UNKNOWN
1800.10/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.10/1800.61	c Solving Time       :    1597.05
1800.10/1800.61	c Original Problem   :
1800.10/1800.61	c   Problem name     : HOME/instance-2665448-1276614909.opb
1800.10/1800.61	c   Variables        : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.61	c   Constraints      : 13 initial, 13 maximal
1800.10/1800.61	c Presolved Problem  :
1800.10/1800.61	c   Problem name     : t_HOME/instance-2665448-1276614909.opb
1800.10/1800.61	c   Variables        : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.10/1800.61	c   Constraints      : 6 initial, 7424 maximal
1800.10/1800.61	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.10/1800.61	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.61	c   dualfix          :       0.00          1          0          0          0          0          0          0          0
1800.10/1800.61	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.61	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.61	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.61	c   probing          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.61	c   linear           :       0.01          0          0          0          0          0          7          0          0
1800.10/1800.61	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.10/1800.61	c   root node        :          -          0          -          -          0          -          -          -          -
1800.10/1800.61	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.61	c   integral         :          0          0          0    1604479          0        374       1794          0          0    3204828
1800.10/1800.61	c   linear           :          6+         7    6186370          0          0     264400    4473389          0          0          0
1800.10/1800.61	c   logicor          :          0+         0    2557927          0          0       7749     877262          0          0          0
1800.10/1800.61	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.10/1800.61	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.10/1800.61	c   integral         :      20.67       0.00       0.00      20.67       0.00
1800.10/1800.61	c   linear           :     258.56       0.00     258.56       0.00       0.00
1800.10/1800.61	c   logicor          :     278.80       0.00     278.80       0.00       0.00
1800.10/1800.61	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.10/1800.61	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.10/1800.61	c   vbounds          :       3.03          2          0          0
1800.10/1800.61	c   rootredcost      :       2.55          0          0          0
1800.10/1800.61	c   pseudoobj        :       2.79          0          0          0
1800.10/1800.61	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.10/1800.61	c   propagation      :      25.28     272149     211564     725683       35.6         14       31.5          -
1800.10/1800.61	c   infeasible LP    :      42.52     857136     615450    1097362       23.9       2324       29.8          0
1800.10/1800.61	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.61	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.10/1800.61	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.10/1800.61	c   applied globally :          -          -          -     869521       21.1          -          -          -
1800.10/1800.61	c   applied locally  :          -          -          -     216502       34.0          -          -          -
1800.10/1800.61	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.10/1800.61	c   cut pool         :       0.00          5          -          -         24          -    (maximal pool size: 109)
1800.10/1800.61	c   redcost          :       3.94    1604484          0          0          0          0
1800.10/1800.61	c   impliedbounds    :       0.00          6          0          0          0          0
1800.10/1800.61	c   intobj           :       0.00          0          0          0          0          0
1800.10/1800.61	c   cgmip            :       0.00          0          0          0          0          0
1800.10/1800.61	c   gomory           :       0.00          6          0          0          0          0
1800.10/1800.61	c   strongcg         :       0.00          6          0          0         48          0
1800.10/1800.61	c   cmir             :       0.02          6          0          0         33          0
1800.10/1800.61	c   flowcover        :       0.02          6          0          0         47          0
1800.10/1800.61	c   clique           :       0.00          1          0          0          0          0
1800.10/1800.61	c   zerohalf         :       0.00          0          0          0          0          0
1800.10/1800.61	c   mcf              :       0.00          1          0          0          0          0
1800.10/1800.61	c   rapidlearning    :       0.08          1          0          0          0         12
1800.10/1800.61	c Pricers            :       Time      Calls       Vars
1800.10/1800.61	c   problem variables:       0.00          0          0
1800.10/1800.61	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.10/1800.61	c   relpscost        :      18.39    1604479        374       1794          0          0    3204828
1800.10/1800.61	c   pscost           :       0.00          0          0          0          0          0          0
1800.10/1800.61	c   inference        :       0.00          0          0          0          0          0          0
1800.10/1800.61	c   mostinf          :       0.00          0          0          0          0          0          0
1800.10/1800.61	c   leastinf         :       0.00          0          0          0          0          0          0
1800.10/1800.61	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.10/1800.61	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.10/1800.61	c   random           :       0.00          0          0          0          0          0          0
1800.10/1800.61	c Primal Heuristics  :       Time      Calls      Found
1800.10/1800.61	c   LP solutions     :       0.00          -          0
1800.10/1800.61	c   pseudo solutions :       0.00          -          0
1800.10/1800.61	c   oneopt           :       2.38          0          0
1800.10/1800.61	c   crossover        :       1.39          0          0
1800.10/1800.61	c   guideddiving     :       0.19          0          0
1800.10/1800.61	c   coefdiving       :       0.12         43          0
1800.10/1800.61	c   pscostdiving     :       0.27         43          0
1800.10/1800.61	c   veclendiving     :       0.14         43          0
1800.10/1800.61	c   linesearchdiving :       0.19         43          0
1800.10/1800.61	c   objpscostdiving  :       0.11         22          0
1800.10/1800.61	c   rootsoldiving    :       0.15         22          0
1800.10/1800.61	c   feaspump         :       0.18         22          0
1800.10/1800.61	c   fracdiving       :       0.19         44          0
1800.10/1800.61	c   trivial          :       0.00          2          0
1800.10/1800.61	c   simplerounding   :       0.84          0          0
1800.10/1800.61	c   zirounding       :       1.16       1000          0
1800.10/1800.61	c   rounding         :       1.90      17959          0
1800.10/1800.61	c   shifting         :       3.53       5352          0
1800.10/1800.61	c   intshifting      :       0.09          0          0
1800.10/1800.61	c   twoopt           :       0.00          0          0
1800.10/1800.61	c   fixandinfer      :       0.00          0          0
1800.10/1800.61	c   intdiving        :       0.00          0          0
1800.10/1800.61	c   actconsdiving    :       0.00          0          0
1800.10/1800.61	c   octane           :       0.00          0          0
1800.10/1800.61	c   rens             :       0.05          1          0
1800.10/1800.61	c   rins             :       0.00          0          0
1800.10/1800.61	c   localbranching   :       0.00          0          0
1800.10/1800.61	c   mutation         :       0.00          0          0
1800.10/1800.61	c   dins             :       0.00          0          0
1800.10/1800.61	c   undercover       :       0.00          0          0
1800.10/1800.61	c   nlp              :       1.09          0          0
1800.10/1800.61	c   trysol           :       1.85          0          0
1800.10/1800.61	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.10/1800.61	c   primal LP        :       0.00          0          0       0.00          -
1800.10/1800.61	c   dual LP          :     500.25    2371859    6337255       2.67   12668.18
1800.10/1800.61	c   lex dual LP      :       0.00          0          0       0.00          -
1800.10/1800.61	c   barrier LP       :       0.00          0          0       0.00          -
1800.10/1800.61	c   diving/probing LP:       0.13        729       1400       1.92   10769.23
1800.10/1800.61	c   strong branching :       1.41       4528      23901       5.28   16951.06
1800.10/1800.61	c     (at root node) :          -          9        447      49.67          -
1800.10/1800.61	c   conflict analysis:       0.00          0          0       0.00          -
1800.10/1800.61	c B&B Tree           :
1800.10/1800.61	c   number of runs   :          1
1800.10/1800.61	c   nodes            :    2683355
1800.10/1800.61	c   nodes (total)    :    2683355
1800.10/1800.61	c   nodes left       :     471769
1800.10/1800.61	c   max depth        :         45
1800.10/1800.61	c   max depth (total):         45
1800.10/1800.61	c   backtracks       :     368041 (13.7%)
1800.10/1800.61	c   delayed cutoffs  :      49705
1800.10/1800.61	c   repropagations   :    1952223 (1272292 domain reductions, 48203 cutoffs)
1800.10/1800.61	c   avg switch length:       5.03
1800.10/1800.61	c   switching time   :     264.39
1800.10/1800.61	c Solution           :
1800.10/1800.61	c   Solutions found  :          0 (0 improvements)
1800.10/1800.61	c   Primal Bound     :          -
1800.10/1800.61	c   Dual Bound       : +0.00000000000000e+00
1800.10/1800.61	c   Gap              :   infinite
1800.10/1800.61	c   Root Dual Bound  : +0.00000000000000e+00
1800.10/1800.61	c   Root Iterations  :         98

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665448-1276614909/watcher-2665448-1276614909 -o /tmp/evaluation-result-2665448-1276614909/solver-2665448-1276614909 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665448-1276614909.opb -t 1800 -m 1800 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.02 1.00 3/105 10305
/proc/meminfo: memFree=1761624/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=9288 CPUtime=0
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 1129 0 0 0 0 0 0 0 25 0 1 0 2784415 9510912 1050 1992294400 4194304 9819077 140736094172208 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10305/statm: 2322 1060 371 1374 0 943 0

[startup+0.0500669 s]
/proc/loadavg: 1.00 1.02 1.00 3/105 10305
/proc/meminfo: memFree=1761624/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=21572 CPUtime=0.04
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 5004 0 0 0 3 1 0 0 25 0 1 0 2784415 22089728 3790 1992294400 4194304 9819077 140736094172208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 5393 3790 676 1374 0 4014 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21572

[startup+0.101159 s]
/proc/loadavg: 1.00 1.02 1.00 3/105 10305
/proc/meminfo: memFree=1761624/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=21704 CPUtime=0.09
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 5016 0 0 0 8 1 0 0 25 0 1 0 2784415 22224896 3802 1992294400 4194304 9819077 140736094172208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 5426 3802 676 1374 0 4047 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21704

[startup+0.301091 s]
/proc/loadavg: 1.00 1.02 1.00 3/105 10305
/proc/meminfo: memFree=1761624/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=15472 CPUtime=0.29
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 10095 0 0 0 25 4 0 0 25 0 1 0 2784415 15843328 2619 1992294400 4194304 9819077 140736094172208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 4032 2622 721 1374 0 2653 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15472

[startup+0.701129 s]
/proc/loadavg: 1.00 1.02 1.00 3/105 10305
/proc/meminfo: memFree=1761624/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=15452 CPUtime=0.69
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 19178 0 0 0 56 13 0 0 25 0 1 0 2784415 15822848 2621 1992294400 4194304 9819077 140736094172208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 3863 2621 723 1374 0 2484 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15452

[startup+1.50121 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 10306
/proc/meminfo: memFree=1753060/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=16216 CPUtime=1.49
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 27780 0 0 0 124 25 0 0 25 0 1 0 2784415 16605184 2744 1992294400 4194304 9819077 140736094172208 18446744073709551615 6583457 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 4054 2744 723 1374 0 2675 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16216

[startup+3.10136 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 10306
/proc/meminfo: memFree=1752316/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=18292 CPUtime=3.09
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 44354 0 0 0 261 48 0 0 25 0 1 0 2784415 18731008 3254 1992294400 4194304 9819077 140736094172208 18446744073709551615 4999661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 4573 3254 723 1374 0 3194 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18292

[startup+6.30067 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 10306
/proc/meminfo: memFree=1749588/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=20404 CPUtime=6.29
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 74570 0 0 0 542 87 0 0 25 0 1 0 2784415 20893696 3766 1992294400 4194304 9819077 140736094172208 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 5101 3766 723 1374 0 3722 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20404

[startup+12.7013 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 10306
/proc/meminfo: memFree=1747232/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=22132 CPUtime=12.69
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 137831 0 0 0 1099 170 0 0 25 0 1 0 2784415 22663168 4184 1992294400 4194304 9819077 140736094172208 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 5333 4180 723 1374 0 3954 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22132

[startup+25.5005 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 10308
/proc/meminfo: memFree=1742520/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=26844 CPUtime=25.49
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 264573 0 0 0 2208 341 0 0 25 0 1 0 2784415 27488256 5464 1992294400 4194304 9819077 140736094172208 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 6751 5464 723 1374 0 5372 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26844

[startup+51.101 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 10308
/proc/meminfo: memFree=1732724/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=36280 CPUtime=51.08
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 510028 0 0 0 4431 677 0 0 25 0 1 0 2784415 37150720 7806 1992294400 4194304 9819077 140736094172208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 9070 7806 723 1374 0 7691 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36280

[startup+102.308 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 10310
/proc/meminfo: memFree=1716852/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=52124 CPUtime=102.27
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 984847 0 0 0 8891 1336 0 0 25 0 1 0 2784415 53374976 11755 1992294400 4194304 9819077 140736094172208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 13031 11755 723 1374 0 11652 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 52124

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10310
/proc/meminfo: memFree=1700732/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=67820 CPUtime=162.24
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 1510613 0 0 0 14167 2057 0 0 25 0 1 0 2784415 69447680 15801 1992294400 4194304 9819077 140736094172208 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 16995 15802 723 1374 0 15616 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 67820

[startup+222.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/106 10312
/proc/meminfo: memFree=1683124/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=87152 CPUtime=222.22
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 2030917 0 0 0 19447 2775 0 0 25 0 1 0 2784415 89243648 20121 1992294400 4194304 9819077 140736094172208 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 21788 20121 723 1374 0 20409 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 87152

[startup+282.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 10314
/proc/meminfo: memFree=1667996/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=101620 CPUtime=282.21
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 2538994 0 0 0 24738 3483 0 0 25 0 1 0 2784415 104058880 23845 1992294400 4194304 9819077 140736094172208 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 25445 23846 723 1374 0 24066 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 101620

[startup+342.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/106 10316
/proc/meminfo: memFree=1654728/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=114608 CPUtime=342.2
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 3038037 0 0 0 30036 4184 0 0 25 0 1 0 2784415 117358592 27138 1992294400 4194304 9819077 140736094172208 18446744073709551615 6628271 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 28532 27136 723 1374 0 27153 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 114608

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10318
/proc/meminfo: memFree=1639476/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=129484 CPUtime=402.18
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 3538397 0 0 0 35340 4878 0 0 25 0 1 0 2784415 132591616 30933 1992294400 4194304 9819077 140736094172208 18446744073709551615 4999902 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 32371 30933 723 1374 0 30992 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 129484

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10318
/proc/meminfo: memFree=1625216/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=142788 CPUtime=462.16
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 4040193 0 0 0 40628 5588 0 0 25 0 1 0 2784415 146214912 34532 1992294400 4194304 9819077 140736094172208 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 35937 34537 723 1374 0 34558 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 142788

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10320
/proc/meminfo: memFree=1610708/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=157832 CPUtime=522.14
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 4538941 0 0 0 45918 6296 0 0 25 0 1 0 2784415 161619968 38104 1992294400 4194304 9819077 140736094172208 18446744073709551615 4221452 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 39458 38104 723 1374 0 38079 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 157832

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10322
/proc/meminfo: memFree=1595208/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=172712 CPUtime=582.13
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 5027807 0 0 0 51238 6975 0 0 25 0 1 0 2784415 176857088 41912 1992294400 4194304 9819077 140736094172208 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 43178 41912 723 1374 0 41799 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 172712

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10324
/proc/meminfo: memFree=1581444/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=186204 CPUtime=642.12
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 5518234 0 0 0 56543 7669 0 0 25 0 1 0 2784415 190672896 45321 1992294400 4194304 9819077 140736094172208 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 46551 45321 723 1374 0 45172 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 186204

[startup+702.301 s]

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

/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 8397671 0 0 0 88566 11635 0 0 25 0 1 0 2784415 270077952 64003 1992294400 4194304 9819077 140736094172208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 65937 64003 723 1374 0 64558 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 263748

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 10337
/proc/meminfo: memFree=1480748/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=274460 CPUtime=1061.99
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 8877405 0 0 0 93906 12293 0 0 25 0 1 0 2784415 281047040 66751 1992294400 4194304 9819077 140736094172208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 68615 66751 723 1374 0 67236 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 274460

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10339
/proc/meminfo: memFree=1482244/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=286320 CPUtime=1121.97
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 9349234 0 0 0 99243 12954 0 0 25 0 1 0 2784415 293191680 69769 1992294400 4194304 9819077 140736094172208 18446744073709551615 4618395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 71580 69769 723 1374 0 70201 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 286320

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10341
/proc/meminfo: memFree=1471208/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=297668 CPUtime=1181.95
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 9828451 0 0 0 104577 13618 0 0 25 0 1 0 2784415 304812032 72681 1992294400 4194304 9819077 140736094172208 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 74417 72681 723 1374 0 73038 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 297668

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10343
/proc/meminfo: memFree=1456576/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=311804 CPUtime=1241.93
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 10287933 0 0 0 109932 14261 0 0 25 0 1 0 2784415 319287296 76207 1992294400 4194304 9819077 140736094172208 18446744073709551615 5955613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 77951 76207 723 1374 0 76572 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 311804

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10345
/proc/meminfo: memFree=1441696/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=326016 CPUtime=1301.92
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 10769207 0 0 0 115270 14922 0 0 25 0 1 0 2784415 333840384 79853 1992294400 4194304 9819077 140736094172208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 81504 79853 723 1374 0 80125 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 326016

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10345
/proc/meminfo: memFree=1430412/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=337176 CPUtime=1361.9
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 11258042 0 0 0 120599 15591 0 0 25 0 1 0 2784415 345268224 82669 1992294400 4194304 9819077 140736094172208 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 84294 82669 723 1374 0 82915 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 337176

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10347
/proc/meminfo: memFree=1414788/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=352372 CPUtime=1421.89
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 11723024 0 0 0 125968 16221 0 0 25 0 1 0 2784415 360828928 86543 1992294400 4194304 9819077 140736094172208 18446744073709551615 4926068 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 88093 86543 723 1374 0 86714 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 352372

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10349
/proc/meminfo: memFree=1401148/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=365900 CPUtime=1481.87
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 12193889 0 0 0 131334 16853 0 0 25 0 1 0 2784415 374681600 89890 1992294400 4194304 9819077 140736094172208 18446744073709551615 6181152 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 91475 89890 723 1374 0 90096 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 365900

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10351
/proc/meminfo: memFree=1387508/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=379280 CPUtime=1541.85
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 12661527 0 0 0 136684 17501 0 0 25 0 1 0 2784415 388382720 93310 1992294400 4194304 9819077 140736094172208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 94820 93310 723 1374 0 93441 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 379280

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10353
/proc/meminfo: memFree=1379572/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=386968 CPUtime=1601.83
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 13127301 0 0 0 142016 18167 0 0 25 0 1 0 2784415 396255232 95306 1992294400 4194304 9819077 140736094172208 18446744073709551615 4983350 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 96742 95306 723 1374 0 95363 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 386968

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10353
/proc/meminfo: memFree=1368288/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=397820 CPUtime=1661.82
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 13601492 0 0 0 147354 18828 0 0 25 0 1 0 2784415 407367680 98098 1992294400 4194304 9819077 140736094172208 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 99455 98098 723 1374 0 98076 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 397820

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10355
/proc/meminfo: memFree=1355268/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=410200 CPUtime=1721.8
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 14057991 0 0 0 152705 19475 0 0 25 0 1 0 2784415 420044800 101275 1992294400 4194304 9819077 140736094172208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 102550 101275 723 1374 0 101171 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 410200

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10357
/proc/meminfo: memFree=1343984/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=429296 CPUtime=1781.78
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 14498569 0 0 0 158075 20103 0 0 25 0 1 0 2784415 439599104 104057 1992294400 4194304 9819077 140736094172208 18446744073709551615 4224183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 107324 104057 723 1374 0 105945 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 429296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10357
/proc/meminfo: memFree=1341628/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=431492 CPUtime=1800.1
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 14646907 0 0 0 159705 20305 0 0 25 0 1 0 2784415 441847808 104631 1992294400 4194304 9819077 140736094172208 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10305/statm: 107873 104631 723 1374 0 106494 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 431492

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -10305

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 10357
/proc/meminfo: memFree=1341628/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=431492 CPUtime=1800.89
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 14646918 0 0 0 159784 20305 0 0 25 0 1 0 2784415 441847808 104632 1992294400 4194304 9819077 140736094172208 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10305/statm: 107873 104632 724 1374 0 106494 0
Current children cumulated CPU time (s) 1800.89
Current children cumulated vsize (KiB) 431492

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10358
/proc/meminfo: memFree=1341496/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=431492 CPUtime=1801.68
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 14646918 0 0 0 159863 20305 0 0 25 0 1 0 2784415 441847808 104632 1992294400 4194304 9819077 140736094172208 18446744073709551615 4212320 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10305/statm: 107873 104632 724 1374 0 106494 0
Current children cumulated CPU time (s) 1801.68
Current children cumulated vsize (KiB) 431492

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 10358
/proc/meminfo: memFree=1341496/2059040 swapFree=4192956/4192956
[pid=10305] ppid=10303 vsize=431492 CPUtime=1802.08
/proc/10305/stat : 10305 (pbscip.linux.x8) R 10303 10305 9685 0 -1 4202496 14646918 0 0 0 159903 20305 0 0 25 0 1 0 2784415 441847808 104632 1992294400 4194304 9819077 140736094172208 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10305/statm: 107873 104632 724 1374 0 106494 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 431492

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.66
CPU time (s): 1802.14
CPU user time (s): 1599.06
CPU system time (s): 203.089
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 431492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1599.06
system time used= 203.089
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14646918
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= 2
involuntary context switches= 21769

runsolver used 3.06553 second user time and 8.43272 second system time

The end

Launcher Data 

Begin job on node089 at 2010-06-15 17:15:09
IDJOB=2665448
IDBENCH=2919
IDSOLVER=1168
FILE ID=node089/2665448-1276614909
PBS_JOBID= 11172260
Free space on /tmp= 62556 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_3.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665448-1276614909/watcher-2665448-1276614909 -o /tmp/evaluation-result-2665448-1276614909/solver-2665448-1276614909 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665448-1276614909.opb -t 1800 -m 1800

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= f48abdef3d00ab6f87ca2e4f0d43c1d1
RANDOM SEED=1277705904

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.244
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1762152 kB
Buffers:         37672 kB
Cached:         136040 kB
SwapCached:          0 kB
Active:          81536 kB
Inactive:       151572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1762152 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            6228 kB
Writeback:           0 kB
AnonPages:       59404 kB
Mapped:          15532 kB
Slab:            42176 kB
PageTables:       3988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180524 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62552 MiB
End job on node089 at 2010-06-15 17:45:12