Trace number 2665449

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.13 1802.67

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_8_70_4.opb
MD5SUMd78f5121f87a7bad7fc74d5d3eacc32f
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 variables71
Total number of constraints17
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 constraints16
Minimum length of a constraint1
Maximum length of a constraint70
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 1881
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5644
Number of bits of the biggest sum of numbers13
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-2665449-1276615750.opb>
0.00/0.01	c original problem has 71 variables (71 bin, 0 int, 0 impl, 0 cont) and 17 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.02	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.02	c (round 2) 1 del vars, 9 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03	c presolving (3 rounds):
0.00/0.03	c  1 deleted vars, 9 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03	c  0 implications, 0 cliques
0.00/0.03	c presolved problem has 70 variables (70 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.03	c       8 constraints of type <linear>
0.00/0.03	c transformed objective value is always integral (scale: 1)
0.00/0.03	c Presolving Time: 0.02
0.00/0.03	c - non default parameters ----------------------------------------------------------------------
0.00/0.03	c # SCIP version 1.2.1.2
0.00/0.03	c 
0.00/0.03	c # frequency for displaying node information lines
0.00/0.03	c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03	c display/freq = 10000
0.00/0.03	c 
0.00/0.03	c # maximal time in seconds to run
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03	c limits/time = 1800
0.00/0.03	c 
0.00/0.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03	c limits/memory = 1620
0.00/0.03	c 
0.00/0.03	c # should presolving try to simplify inequalities
0.00/0.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03	c constraints/linear/simplifyinequalities = TRUE
0.00/0.03	c 
0.00/0.03	c # should presolving try to simplify knapsacks
0.00/0.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03	c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03	c 
0.00/0.03	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03	c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03	c separating/rapidlearning/freq = 0
0.00/0.03	c 
0.00/0.03	c -----------------------------------------------------------------------------------------------
0.00/0.03	c start solving
0.00/0.03	c 
0.00/0.03	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.03	c   0.0s|     1 |     0 |    41 |     - | 364k|   0 |   8 |  70 |   8 |  70 |   8 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.16	c   0.1s|     1 |     0 |    48 |     - | 396k|   0 |  12 |  70 |   8 |  70 |  16 |   8 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.18	c   0.1s|     1 |     0 |    68 |     - | 436k|   0 |  17 |  70 |   8 |  70 |  21 |  13 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.19	c   0.2s|     1 |     0 |    92 |     - | 462k|   0 |  19 |  70 |   8 |  70 |  25 |  17 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.21	c   0.2s|     1 |     0 |   104 |     - | 471k|   0 |  21 |  70 |   8 |  70 |  28 |  20 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.24	c   0.2s|     1 |     0 |   134 |     - | 496k|   0 |  23 |  70 |   8 |  70 |  31 |  23 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.26	c   0.2s|     1 |     0 |   150 |     - | 505k|   0 |  24 |  70 |   8 |  70 |  34 |  26 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.29/0.36	c   0.3s|     1 |     2 |   150 |     - | 505k|   0 |  24 |  70 |   8 |  70 |  34 |  26 |   0 |   9 | 0.000000e+00 |      --      |    Inf 
7.70/7.71	c   6.7s| 10000 |  4773 | 43356 |   4.3 |3720k|  59 |   8 |  70 |1625 |  70 |  25 |  26 |2205 | 654 | 0.000000e+00 |      --      |    Inf 
14.79/14.82	c  12.9s| 20000 |  8351 | 81535 |   4.1 |5969k|  59 |   8 |  70 |1148 |  70 |  25 |  26 |5258 | 849 | 0.000000e+00 |      --      |    Inf 
21.58/21.69	c  19.0s| 30000 | 11803 |116864 |   3.9 |8148k|  60 |   - |  70 |1086 |   0 |   0 |  26 |8485 |1008 | 0.000000e+00 |      --      |    Inf 
28.49/28.52	c  24.9s| 40000 | 15313 |152817 |   3.8 |  10M|  60 |   8 |  70 |1550 |  70 |  25 |  26 |  11k|1133 | 0.000000e+00 |      --      |    Inf 
35.37/35.49	c  31.0s| 50000 | 18257 |188181 |   3.8 |  12M|  60 |   8 |  70 |1470 |  70 |  25 |  26 |  15k|1211 | 0.000000e+00 |      --      |    Inf 
42.38/42.48	c  37.1s| 60000 | 21306 |223727 |   3.7 |  14M|  60 |   8 |  70 |1369 |  70 |  25 |  26 |  18k|1289 | 0.000000e+00 |      --      |    Inf 
49.38/49.48	c  43.2s| 70000 | 24198 |259087 |   3.7 |  16M|  60 |   8 |  70 |1477 |  70 |  25 |  26 |  22k|1355 | 0.000000e+00 |      --      |    Inf 
56.47/56.50	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
56.47/56.50	c  49.4s| 80000 | 27219 |294455 |   3.7 |  18M|  61 |   8 |  70 |1475 |  70 |  25 |  26 |  25k|1404 | 0.000000e+00 |      --      |    Inf 
63.57/63.62	c  55.6s| 90000 | 30072 |330853 |   3.7 |  20M|  61 |   8 |  70 |1725 |  70 |  25 |  26 |  29k|1482 | 0.000000e+00 |      --      |    Inf 
70.46/70.58	c  61.7s|100000 | 33201 |366072 |   3.7 |  23M|  61 |   8 |  70 |2069 |  70 |  25 |  26 |  32k|1535 | 0.000000e+00 |      --      |    Inf 
77.66/77.71	c  67.9s|110000 | 36149 |401851 |   3.7 |  25M|  61 |   8 |  70 |1536 |  70 |  25 |  26 |  36k|1581 | 0.000000e+00 |      --      |    Inf 
84.67/84.79	c  74.1s|120000 | 39191 |437804 |   3.6 |  27M|  61 |   - |  70 |1726 |  70 |  25 |  26 |  39k|1635 | 0.000000e+00 |      --      |    Inf 
91.76/91.84	c  80.2s|130000 | 42209 |474111 |   3.6 |  29M|  61 |   - |  70 |1757 |   0 |   0 |  26 |  43k|1675 | 0.000000e+00 |      --      |    Inf 
98.97/99.03	c  86.5s|140000 | 44867 |509874 |   3.6 |  31M|  61 |   8 |  70 |2065 |  70 |  25 |  26 |  46k|1720 | 0.000000e+00 |      --      |    Inf 
106.05/106.15	c  92.7s|150000 | 47699 |545405 |   3.6 |  33M|  62 |   8 |  70 |1918 |  70 |  25 |  26 |  50k|1754 | 0.000000e+00 |      --      |    Inf 
113.26/113.34	c  99.0s|160000 | 50485 |581210 |   3.6 |  35M|  62 |   - |  70 |2167 |  70 |  25 |  26 |  54k|1794 | 0.000000e+00 |      --      |    Inf 
120.55/120.64	c   105s|170000 | 53150 |618481 |   3.6 |  37M|  62 |   8 |  70 |2276 |  70 |  25 |  26 |  57k|1848 | 0.000000e+00 |      --      |    Inf 
127.85/127.97	c   112s|180000 | 55801 |654990 |   3.6 |  39M|  62 |   - |  70 |1821 |  70 |  25 |  26 |  61k|1885 | 0.000000e+00 |      --      |    Inf 
135.05/135.14	c   118s|190000 | 58528 |690384 |   3.6 |  41M|  62 |   8 |  70 |1781 |  70 |  25 |  26 |  64k|1928 | 0.000000e+00 |      --      |    Inf 
142.04/142.15	c   124s|200000 | 61964 |727065 |   3.6 |  43M|  62 |   - |  70 |2176 |  70 |  25 |  26 |  67k|1981 | 0.000000e+00 |      --      |    Inf 
149.45/149.56	c   131s|210000 | 64549 |763032 |   3.6 |  45M|  62 |   - |  70 |2089 |  70 |  25 |  26 |  71k|2025 | 0.000000e+00 |      --      |    Inf 
156.73/156.81	c   137s|220000 | 67302 |798562 |   3.6 |  47M|  62 |   8 |  70 |2258 |  70 |  25 |  26 |  75k|2079 | 0.000000e+00 |      --      |    Inf 
164.04/164.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
164.04/164.15	c   144s|230000 | 69993 |835063 |   3.6 |  49M|  62 |   8 |  70 |2897 |  70 |  25 |  26 |  78k|2116 | 0.000000e+00 |      --      |    Inf 
171.44/171.60	c   150s|240000 | 72599 |870922 |   3.6 |  51M|  62 |   - |  70 |2267 |  70 |  25 |  26 |  82k|2143 | 0.000000e+00 |      --      |    Inf 
178.83/178.97	c   157s|250000 | 75046 |906612 |   3.6 |  53M|  62 |   - |  70 |2278 |  70 |  25 |  26 |  86k|2168 | 0.000000e+00 |      --      |    Inf 
186.03/186.11	c   163s|260000 | 77926 |942608 |   3.6 |  55M|  62 |   8 |  70 |2649 |  70 |  25 |  26 |  89k|2200 | 0.000000e+00 |      --      |    Inf 
193.53/193.61	c   170s|270000 | 80418 |977656 |   3.6 |  57M|  62 |   8 |  70 |2545 |  70 |  25 |  26 |  93k|2227 | 0.000000e+00 |      --      |    Inf 
201.02/201.10	c   176s|280000 | 82838 |  1012k|   3.6 |  58M|  62 |   8 |  70 |2352 |  70 |  25 |  26 |  96k|2261 | 0.000000e+00 |      --      |    Inf 
208.22/208.39	c   182s|290000 | 85481 |  1048k|   3.6 |  61M|  62 |   8 |  70 |2625 |  70 |  25 |  26 | 100k|2293 | 0.000000e+00 |      --      |    Inf 
215.61/215.79	c   189s|300000 | 88079 |  1084k|   3.6 |  62M|  62 |   - |  70 |2542 |  70 |  25 |  26 | 104k|2312 | 0.000000e+00 |      --      |    Inf 
223.02/223.19	c   195s|310000 | 90578 |  1119k|   3.6 |  64M|  62 |   - |  70 |2267 |   0 |   0 |  26 | 107k|2323 | 0.000000e+00 |      --      |    Inf 
230.51/230.65	c   202s|320000 | 93089 |  1155k|   3.6 |  66M|  62 |   8 |  70 |2578 |  70 |  25 |  26 | 111k|2336 | 0.000000e+00 |      --      |    Inf 
237.71/237.89	c   208s|330000 | 95974 |  1191k|   3.6 |  69M|  62 |   8 |  70 |2987 |  70 |  25 |  26 | 114k|2359 | 0.000000e+00 |      --      |    Inf 
245.21/245.35	c   215s|340000 | 98565 |  1227k|   3.6 |  70M|  62 |   8 |  70 |2669 |  70 |  25 |  26 | 118k|2381 | 0.000000e+00 |      --      |    Inf 
252.82/252.97	c   222s|350000 |100858 |  1263k|   3.6 |  72M|  62 |   8 |  70 |2015 |  70 |  25 |  26 | 122k|2398 | 0.000000e+00 |      --      |    Inf 
260.21/260.35	c   228s|360000 |103392 |  1299k|   3.6 |  74M|  62 |   - |  70 |2324 |  70 |  25 |  26 | 125k|2428 | 0.000000e+00 |      --      |    Inf 
267.51/267.69	c   235s|370000 |105961 |  1335k|   3.6 |  76M|  62 |   8 |  70 |2981 |  70 |  25 |  26 | 129k|2446 | 0.000000e+00 |      --      |    Inf 
274.81/274.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
274.81/274.99	c   241s|380000 |108821 |  1371k|   3.6 |  78M|  62 |   8 |  70 |2592 |  70 |  25 |  26 | 133k|2470 | 0.000000e+00 |      --      |    Inf 
282.20/282.31	c   247s|390000 |111572 |  1407k|   3.6 |  80M|  62 |   8 |  70 |2498 |  70 |  25 |  26 | 136k|2483 | 0.000000e+00 |      --      |    Inf 
289.50/289.68	c   254s|400000 |114123 |  1443k|   3.6 |  82M|  62 |   8 |  70 |2414 |  70 |  25 |  26 | 139k|2503 | 0.000000e+00 |      --      |    Inf 
296.90/297.09	c   260s|410000 |116632 |  1478k|   3.6 |  84M|  62 |   8 |  70 |2298 |  70 |  25 |  26 | 143k|2529 | 0.000000e+00 |      --      |    Inf 
304.29/304.43	c   267s|420000 |119207 |  1514k|   3.6 |  86M|  62 |   8 |  70 |2868 |  70 |  25 |  26 | 147k|2542 | 0.000000e+00 |      --      |    Inf 
311.99/312.10	c   274s|430000 |121591 |  1550k|   3.6 |  88M|  62 |   8 |  70 |2870 |  70 |  25 |  26 | 151k|2566 | 0.000000e+00 |      --      |    Inf 
319.48/319.68	c   280s|440000 |124053 |  1587k|   3.6 |  90M|  62 |   - |  70 |2653 |  70 |  25 |  26 | 154k|2589 | 0.000000e+00 |      --      |    Inf 
326.88/327.06	c   287s|450000 |126530 |  1622k|   3.6 |  92M|  62 |   - |  70 |2654 |  70 |  25 |  26 | 158k|2610 | 0.000000e+00 |      --      |    Inf 
334.29/334.48	c   293s|460000 |129114 |  1657k|   3.6 |  94M|  62 |   8 |  70 |2606 |  70 |  25 |  26 | 162k|2630 | 0.000000e+00 |      --      |    Inf 
341.78/341.96	c   300s|470000 |131664 |  1693k|   3.6 |  96M|  62 |   8 |  70 |2906 |  70 |  25 |  26 | 165k|2645 | 0.000000e+00 |      --      |    Inf 
349.18/349.40	c   306s|480000 |134240 |  1729k|   3.6 |  98M|  62 |   8 |  70 |3365 |  70 |  25 |  26 | 169k|2660 | 0.000000e+00 |      --      |    Inf 
356.88/357.06	c   313s|490000 |136596 |  1765k|   3.6 |  99M|  62 |   - |  70 |2821 |  70 |  25 |  26 | 172k|2686 | 0.000000e+00 |      --      |    Inf 
364.47/364.68	c   320s|500000 |138988 |  1802k|   3.6 | 101M|  62 |   8 |  70 |2771 |  70 |  25 |  26 | 176k|2704 | 0.000000e+00 |      --      |    Inf 
372.17/372.33	c   327s|510000 |141288 |  1838k|   3.6 | 103M|  62 |   - |  70 |2633 |  70 |  25 |  26 | 180k|2725 | 0.000000e+00 |      --      |    Inf 
379.67/379.89	c   333s|520000 |143539 |  1874k|   3.6 | 105M|  62 |   8 |  70 |2622 |  70 |  25 |  26 | 184k|2739 | 0.000000e+00 |      --      |    Inf 
386.97/387.20	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
386.97/387.20	c   340s|530000 |146059 |  1910k|   3.6 | 107M|  62 |   8 |  70 |3024 |  70 |  25 |  26 | 187k|2751 | 0.000000e+00 |      --      |    Inf 
394.46/394.60	c   346s|540000 |148718 |  1945k|   3.6 | 109M|  62 |   8 |  70 |3043 |  70 |  25 |  26 | 191k|2767 | 0.000000e+00 |      --      |    Inf 
401.96/402.13	c   353s|550000 |151284 |  1981k|   3.6 | 111M|  62 |   8 |  70 |3094 |  70 |  25 |  26 | 194k|2781 | 0.000000e+00 |      --      |    Inf 
409.47/409.62	c   359s|560000 |153812 |  2017k|   3.6 | 113M|  62 |   - |  70 |3824 |  70 |  25 |  26 | 198k|2788 | 0.000000e+00 |      --      |    Inf 
417.06/417.27	c   366s|570000 |156378 |  2053k|   3.6 | 115M|  62 |   8 |  70 |3372 |  70 |  25 |  26 | 202k|2805 | 0.000000e+00 |      --      |    Inf 
424.56/424.75	c   373s|580000 |158993 |  2089k|   3.6 | 117M|  62 |   8 |  70 |3119 |  70 |  25 |  26 | 205k|2822 | 0.000000e+00 |      --      |    Inf 
432.17/432.36	c   379s|590000 |161375 |  2125k|   3.6 | 119M|  62 |   8 |  70 |3005 |  70 |  25 |  26 | 209k|2846 | 0.000000e+00 |      --      |    Inf 
439.76/439.91	c   386s|600000 |163797 |  2160k|   3.6 | 121M|  62 |   - |  70 |2792 |  70 |  25 |  26 | 213k|2858 | 0.000000e+00 |      --      |    Inf 
447.15/447.40	c   393s|610000 |166364 |  2196k|   3.6 | 123M|  62 |   - |  70 |3448 |  70 |  25 |  26 | 216k|2869 | 0.000000e+00 |      --      |    Inf 
454.85/455.04	c   399s|620000 |168883 |  2231k|   3.6 | 125M|  62 |   8 |  70 |3180 |  70 |  25 |  26 | 220k|2879 | 0.000000e+00 |      --      |    Inf 
462.34/462.57	c   406s|630000 |171433 |  2267k|   3.6 | 127M|  62 |   - |  70 |3206 |  70 |  25 |  26 | 224k|2899 | 0.000000e+00 |      --      |    Inf 
469.94/470.12	c   413s|640000 |173959 |  2302k|   3.6 | 129M|  62 |   8 |  70 |2980 |  70 |  25 |  26 | 227k|2905 | 0.000000e+00 |      --      |    Inf 
477.64/477.85	c   419s|650000 |176205 |  2337k|   3.6 | 130M|  62 |   - |  70 |2915 |   0 |   0 |  26 | 231k|2909 | 0.000000e+00 |      --      |    Inf 
485.24/485.45	c   426s|660000 |178557 |  2373k|   3.6 | 132M|  62 |   - |  70 |2764 |   0 |   0 |  26 | 235k|2918 | 0.000000e+00 |      --      |    Inf 
492.84/493.00	c   433s|670000 |181003 |  2408k|   3.6 | 134M|  62 |   - |  70 |2810 |  70 |  25 |  26 | 238k|2927 | 0.000000e+00 |      --      |    Inf 
500.24/500.49	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
500.24/500.49	c   439s|680000 |183532 |  2444k|   3.6 | 136M|  62 |   8 |  70 |3206 |  70 |  25 |  26 | 242k|2975 | 0.000000e+00 |      --      |    Inf 
507.54/507.76	c   446s|690000 |186378 |  2480k|   3.6 | 138M|  62 |   8 |  70 |3466 |  70 |  25 |  26 | 246k|2983 | 0.000000e+00 |      --      |    Inf 
515.03/515.29	c   452s|700000 |189202 |  2516k|   3.6 | 140M|  62 |   8 |  70 |3711 |  70 |  25 |  26 | 249k|2994 | 0.000000e+00 |      --      |    Inf 
522.63/522.86	c   459s|710000 |191898 |  2552k|   3.6 | 142M|  62 |   8 |  70 |3828 |  70 |  25 |  26 | 252k|3008 | 0.000000e+00 |      --      |    Inf 
530.53/530.70	c   466s|720000 |194424 |  2589k|   3.6 | 144M|  62 |   - |  70 |3548 |  70 |  25 |  26 | 256k|3020 | 0.000000e+00 |      --      |    Inf 
538.33/538.57	c   473s|730000 |196708 |  2625k|   3.6 | 146M|  62 |   - |  70 |2689 |  70 |  25 |  26 | 260k|3026 | 0.000000e+00 |      --      |    Inf 
545.83/546.04	c   479s|740000 |199141 |  2660k|   3.6 | 148M|  62 |   8 |  70 |3187 |  70 |  25 |  26 | 263k|3040 | 0.000000e+00 |      --      |    Inf 
553.23/553.46	c   486s|750000 |201817 |  2695k|   3.6 | 150M|  62 |   8 |  70 |3533 |  70 |  25 |  26 | 267k|3064 | 0.000000e+00 |      --      |    Inf 
560.82/561.04	c   493s|760000 |204958 |  2730k|   3.6 | 152M|  62 |   8 |  70 |4211 |  70 |  25 |  26 | 270k|3495 | 0.000000e+00 |      --      |    Inf 
568.53/568.70	c   499s|770000 |207814 |  2765k|   3.6 | 154M|  62 |   - |  70 |4052 |  70 |  25 |  26 | 274k|3623 | 0.000000e+00 |      --      |    Inf 
576.22/576.47	c   506s|780000 |210320 |  2801k|   3.6 | 156M|  62 |   8 |  70 |2920 |  70 |  25 |  26 | 277k|3623 | 0.000000e+00 |      --      |    Inf 
583.61/583.84	c   513s|790000 |212943 |  2837k|   3.6 | 158M|  62 |   - |  70 |3664 |  70 |  25 |  26 | 281k|3623 | 0.000000e+00 |      --      |    Inf 
591.31/591.58	c   520s|800000 |215228 |  2872k|   3.6 | 160M|  62 |   8 |  70 |3076 |  70 |  25 |  26 | 285k|3623 | 0.000000e+00 |      --      |    Inf 
598.91/599.12	c   526s|810000 |217644 |  2908k|   3.6 | 162M|  62 |   - |  70 |3481 |  70 |  25 |  26 | 288k|3623 | 0.000000e+00 |      --      |    Inf 
606.21/606.41	c   533s|820000 |220353 |  2942k|   3.6 | 164M|  62 |   8 |  70 |4182 |  70 |  25 |  26 | 292k|3623 | 0.000000e+00 |      --      |    Inf 
614.00/614.25	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
614.00/614.25	c   540s|830000 |222717 |  2978k|   3.6 | 166M|  62 |   8 |  70 |3277 |  70 |  25 |  26 | 295k|3623 | 0.000000e+00 |      --      |    Inf 
621.50/621.73	c   546s|840000 |225223 |  3013k|   3.6 | 168M|  62 |   - |  70 |3687 |  70 |  25 |  26 | 299k|3623 | 0.000000e+00 |      --      |    Inf 
629.30/629.56	c   553s|850000 |227456 |  3048k|   3.6 | 169M|  62 |   8 |  70 |2726 |  70 |  25 |  26 | 303k|3623 | 0.000000e+00 |      --      |    Inf 
636.60/636.86	c   560s|860000 |230107 |  3083k|   3.6 | 171M|  62 |   8 |  70 |2870 |  70 |  25 |  26 | 306k|3623 | 0.000000e+00 |      --      |    Inf 
643.79/644.04	c   566s|870000 |233090 |  3117k|   3.6 | 173M|  62 |   8 |  70 |3315 |  70 |  25 |  26 | 310k|3623 | 0.000000e+00 |      --      |    Inf 
651.00/651.23	c   572s|880000 |236171 |  3152k|   3.6 | 176M|  62 |   8 |  70 |4137 |  70 |  25 |  26 | 313k|3623 | 0.000000e+00 |      --      |    Inf 
658.59/658.81	c   579s|890000 |238604 |  3187k|   3.6 | 177M|  62 |   - |  70 |4098 |  70 |  25 |  26 | 317k|3623 | 0.000000e+00 |      --      |    Inf 
666.18/666.47	c   586s|900000 |240924 |  3222k|   3.6 | 179M|  62 |   8 |  70 |4252 |  70 |  25 |  26 | 321k|3623 | 0.000000e+00 |      --      |    Inf 
673.89/674.16	c   593s|910000 |243316 |  3258k|   3.6 | 181M|  62 |   8 |  70 |3940 |  70 |  25 |  26 | 324k|3623 | 0.000000e+00 |      --      |    Inf 
681.28/681.50	c   599s|920000 |246367 |  3295k|   3.6 | 183M|  62 |   8 |  70 |4278 |  70 |  25 |  26 | 327k|3623 | 0.000000e+00 |      --      |    Inf 
689.28/689.53	c   606s|930000 |248683 |  3331k|   3.6 | 185M|  62 |   8 |  70 |3230 |  70 |  25 |  26 | 331k|3646 | 0.000000e+00 |      --      |    Inf 
696.98/697.21	c   613s|940000 |251207 |  3367k|   3.6 | 187M|  62 |   8 |  70 |2811 |  70 |  25 |  26 | 335k|3652 | 0.000000e+00 |      --      |    Inf 
704.37/704.65	c   620s|950000 |253843 |  3402k|   3.6 | 189M|  62 |   8 |  70 |3193 |  70 |  25 |  26 | 338k|3653 | 0.000000e+00 |      --      |    Inf 
712.17/712.47	c   627s|960000 |256145 |  3438k|   3.6 | 191M|  62 |   8 |  70 |2564 |  70 |  25 |  26 | 342k|3658 | 0.000000e+00 |      --      |    Inf 
719.57/719.88	c   633s|970000 |258644 |  3473k|   3.6 | 193M|  62 |   - |  70 |3026 |  70 |  25 |  26 | 345k|3666 | 0.000000e+00 |      --      |    Inf 
727.17/727.45	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
727.17/727.45	c   640s|980000 |260951 |  3507k|   3.6 | 195M|  62 |   - |  70 |3298 |  70 |  25 |  26 | 349k|3692 | 0.000000e+00 |      --      |    Inf 
734.67/734.99	c   646s|990000 |263451 |  3544k|   3.6 | 197M|  62 |   8 |  70 |3218 |  70 |  25 |  26 | 353k|3696 | 0.000000e+00 |      --      |    Inf 
741.97/742.23	c   653s|  1000k|266224 |  3578k|   3.6 | 199M|  62 |   8 |  70 |3325 |  70 |  25 |  26 | 356k|3707 | 0.000000e+00 |      --      |    Inf 
749.66/749.95	c   660s|  1010k|268990 |  3618k|   3.6 | 201M|  62 |   8 |  70 |2857 |  70 |  25 |  26 | 360k|3707 | 0.000000e+00 |      --      |    Inf 
757.57/757.84	c   667s|  1020k|271371 |  3664k|   3.6 | 202M|  62 |   - |  70 |2529 |  70 |  25 |  26 | 363k|3707 | 0.000000e+00 |      --      |    Inf 
765.27/765.59	c   674s|  1030k|273931 |  3711k|   3.6 | 204M|  62 |   - |  70 |2408 |  70 |  25 |  26 | 367k|3711 | 0.000000e+00 |      --      |    Inf 
772.96/773.25	c   680s|  1040k|276641 |  3759k|   3.6 | 206M|  62 |   8 |  70 |2434 |  70 |  25 |  26 | 370k|3729 | 0.000000e+00 |      --      |    Inf 
780.55/780.81	c   687s|  1050k|279390 |  3805k|   3.6 | 208M|  62 |   8 |  70 |2546 |  70 |  25 |  26 | 373k|3730 | 0.000000e+00 |      --      |    Inf 
788.15/788.40	c   694s|  1060k|282023 |  3851k|   3.6 | 210M|  62 |   - |  70 |2642 |  70 |  25 |  26 | 377k|3737 | 0.000000e+00 |      --      |    Inf 
795.85/796.15	c   701s|  1070k|284599 |  3899k|   3.6 | 212M|  62 |   8 |  70 |2356 |  70 |  25 |  26 | 380k|3752 | 0.000000e+00 |      --      |    Inf 
803.35/803.64	c   707s|  1080k|287364 |  3944k|   3.7 | 213M|  62 |   - |  70 |2207 |  70 |  25 |  26 | 384k|3752 | 0.000000e+00 |      --      |    Inf 
810.84/811.16	c   714s|  1090k|290013 |  3993k|   3.7 | 215M|  62 |   8 |  70 |2421 |  70 |  25 |  26 | 387k|3758 | 0.000000e+00 |      --      |    Inf 
818.44/818.75	c   721s|  1100k|292550 |  4041k|   3.7 | 217M|  62 |   8 |  70 |2819 |  70 |  25 |  26 | 391k|3761 | 0.000000e+00 |      --      |    Inf 
826.14/826.40	c   727s|  1110k|295267 |  4087k|   3.7 | 219M|  62 |   8 |  70 |2904 |  70 |  25 |  26 | 394k|3764 | 0.000000e+00 |      --      |    Inf 
833.84/834.13	c   734s|  1120k|297523 |  4126k|   3.7 | 221M|  62 |   8 |  70 |2804 |  70 |  25 |  26 | 398k|3771 | 0.000000e+00 |      --      |    Inf 
841.33/841.66	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
841.33/841.66	c   741s|  1130k|299895 |  4162k|   3.7 | 223M|  62 |   8 |  70 |2992 |  70 |  25 |  26 | 401k|3779 | 0.000000e+00 |      --      |    Inf 
848.84/849.17	c   747s|  1140k|302511 |  4198k|   3.7 | 225M|  62 |   - |  70 |3422 |  70 |  25 |  26 | 405k|3788 | 0.000000e+00 |      --      |    Inf 
856.24/856.59	c   754s|  1150k|305396 |  4233k|   3.7 | 227M|  62 |   - |  70 |3958 |  70 |  25 |  26 | 408k|3790 | 0.000000e+00 |      --      |    Inf 
863.84/864.15	c   761s|  1160k|308143 |  4272k|   3.7 | 229M|  62 |   - |  70 |3557 |  70 |  25 |  26 | 412k|3797 | 0.000000e+00 |      --      |    Inf 
871.53/871.89	c   768s|  1170k|310654 |  4308k|   3.7 | 231M|  62 |   - |  70 |3383 |  70 |  25 |  26 | 415k|3802 | 0.000000e+00 |      --      |    Inf 
879.33/879.69	c   775s|  1180k|313128 |  4344k|   3.7 | 232M|  62 |   8 |  70 |2734 |  70 |  25 |  26 | 419k|3802 | 0.000000e+00 |      --      |    Inf 
886.73/887.04	c   781s|  1190k|315762 |  4380k|   3.7 | 235M|  62 |   8 |  70 |3707 |  70 |  25 |  26 | 422k|3802 | 0.000000e+00 |      --      |    Inf 
894.42/894.71	c   788s|  1200k|318496 |  4417k|   3.7 | 237M|  62 |   - |  70 |3019 |  70 |  25 |  26 | 425k|3806 | 0.000000e+00 |      --      |    Inf 
902.12/902.48	c   795s|  1210k|320787 |  4454k|   3.7 | 238M|  62 |   - |  70 |3160 |  70 |  25 |  26 | 429k|3807 | 0.000000e+00 |      --      |    Inf 
909.52/909.84	c   801s|  1220k|323758 |  4493k|   3.7 | 241M|  62 |   8 |  70 |3914 |  70 |  25 |  26 | 432k|3807 | 0.000000e+00 |      --      |    Inf 
917.32/917.69	c   808s|  1230k|326301 |  4530k|   3.7 | 242M|  62 |   8 |  70 |3314 |  70 |  25 |  26 | 436k|3814 | 0.000000e+00 |      --      |    Inf 
925.02/925.38	c   815s|  1240k|328682 |  4566k|   3.7 | 244M|  62 |   - |  70 |2862 |  70 |  25 |  26 | 439k|3829 | 0.000000e+00 |      --      |    Inf 
932.81/933.14	c   822s|  1250k|330949 |  4602k|   3.7 | 246M|  62 |   8 |  70 |3034 |  70 |  25 |  26 | 443k|3831 | 0.000000e+00 |      --      |    Inf 
940.51/940.84	c   829s|  1260k|333309 |  4639k|   3.7 | 248M|  62 |   8 |  70 |2989 |  70 |  25 |  26 | 447k|3841 | 0.000000e+00 |      --      |    Inf 
947.92/948.29	c   835s|  1270k|336130 |  4675k|   3.7 | 250M|  62 |   8 |  70 |3530 |  70 |  25 |  26 | 450k|3841 | 0.000000e+00 |      --      |    Inf 
955.61/955.95	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
955.61/955.95	c   842s|  1280k|338668 |  4710k|   3.7 | 252M|  62 |   8 |  70 |3333 |  70 |  25 |  26 | 454k|3842 | 0.000000e+00 |      --      |    Inf 
963.31/963.69	c   849s|  1290k|341053 |  4746k|   3.7 | 254M|  62 |   - |  70 |2831 |  70 |  25 |  26 | 457k|3858 | 0.000000e+00 |      --      |    Inf 
971.10/971.49	c   856s|  1300k|343287 |  4783k|   3.7 | 256M|  62 |   8 |  70 |2629 |  70 |  25 |  26 | 461k|3858 | 0.000000e+00 |      --      |    Inf 
978.61/978.97	c   863s|  1310k|345866 |  4820k|   3.7 | 258M|  62 |   - |  70 |3296 |  70 |  25 |  26 | 465k|3858 | 0.000000e+00 |      --      |    Inf 
986.40/986.77	c   869s|  1320k|348156 |  4855k|   3.7 | 259M|  62 |   8 |  70 |2648 |  70 |  25 |  26 | 468k|3858 | 0.000000e+00 |      --      |    Inf 
993.89/994.27	c   876s|  1330k|350502 |  4892k|   3.7 | 261M|  62 |   - |  70 |3071 |  70 |  25 |  26 | 472k|3859 | 0.000000e+00 |      --      |    Inf 
1001.40/1001.78	c   883s|  1340k|352988 |  4927k|   3.7 | 263M|  62 |   - |  70 |3005 |  70 |  25 |  26 | 475k|3859 | 0.000000e+00 |      --      |    Inf 
1008.99/1009.36	c   889s|  1350k|355534 |  4963k|   3.7 | 265M|  62 |   - |  70 |3260 |  70 |  25 |  26 | 479k|3866 | 0.000000e+00 |      --      |    Inf 
1016.59/1016.93	c   896s|  1360k|358236 |  5000k|   3.7 | 267M|  62 |   8 |  70 |3031 |  70 |  25 |  26 | 482k|3871 | 0.000000e+00 |      --      |    Inf 
1024.29/1024.65	c   903s|  1370k|360626 |  5035k|   3.7 | 269M|  62 |   8 |  70 |3162 |  70 |  25 |  26 | 486k|3882 | 0.000000e+00 |      --      |    Inf 
1032.18/1032.52	c   910s|  1380k|362748 |  5072k|   3.7 | 271M|  62 |   8 |  70 |2926 |  70 |  25 |  26 | 489k|3889 | 0.000000e+00 |      --      |    Inf 
1039.68/1040.03	c   917s|  1390k|365334 |  5109k|   3.7 | 273M|  62 |   8 |  70 |3112 |  70 |  25 |  26 | 493k|3893 | 0.000000e+00 |      --      |    Inf 
1046.89/1047.26	c   923s|  1400k|368451 |  5145k|   3.7 | 275M|  62 |   8 |  70 |4096 |  70 |  25 |  26 | 496k|3897 | 0.000000e+00 |      --      |    Inf 
1054.17/1054.59	c   929s|  1410k|371359 |  5180k|   3.7 | 277M|  62 |   8 |  70 |4413 |  70 |  25 |  26 | 499k|3900 | 0.000000e+00 |      --      |    Inf 
1061.78/1062.19	c   936s|  1420k|373993 |  5215k|   3.7 | 279M|  63 |   - |  70 |4033 |  70 |  25 |  26 | 503k|3903 | 0.000000e+00 |      --      |    Inf 
1069.77/1070.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1069.77/1070.16	c   943s|  1430k|376185 |  5251k|   3.7 | 281M|  63 |   8 |  70 |3675 |  70 |  25 |  26 | 507k|3914 | 0.000000e+00 |      --      |    Inf 
1077.37/1077.73	c   950s|  1440k|378797 |  5286k|   3.7 | 283M|  63 |   8 |  70 |4420 |  70 |  25 |  26 | 510k|3927 | 0.000000e+00 |      --      |    Inf 
1085.47/1085.84	c   957s|  1450k|381245 |  5323k|   3.7 | 284M|  63 |   8 |  70 |3201 |  70 |  25 |  26 | 514k|3952 | 0.000000e+00 |      --      |    Inf 
1092.87/1093.22	c   964s|  1460k|383928 |  5360k|   3.7 | 286M|  63 |   - |  70 |3943 |  70 |  25 |  26 | 517k|3952 | 0.000000e+00 |      --      |    Inf 
1100.57/1100.91	c   971s|  1470k|386371 |  5395k|   3.7 | 288M|  63 |   8 |  70 |3488 |  70 |  25 |  26 | 521k|3953 | 0.000000e+00 |      --      |    Inf 
1108.36/1108.80	c   978s|  1480k|388637 |  5432k|   3.7 | 290M|  63 |   8 |  70 |2975 |  70 |  25 |  26 | 524k|3978 | 0.000000e+00 |      --      |    Inf 
1115.96/1116.36	c   984s|  1490k|391198 |  5468k|   3.7 | 292M|  63 |   8 |  70 |2976 |  70 |  25 |  26 | 528k|3978 | 0.000000e+00 |      --      |    Inf 
1123.87/1124.21	c   991s|  1500k|393347 |  5504k|   3.7 | 293M|  63 |   8 |  70 |2830 |  70 |  25 |  26 | 531k|3988 | 0.000000e+00 |      --      |    Inf 
1131.46/1131.86	c   998s|  1510k|395588 |  5540k|   3.7 | 295M|  63 |   - |  70 |2792 |  70 |  25 |  26 | 535k|3988 | 0.000000e+00 |      --      |    Inf 
1138.86/1139.22	c  1005s|  1520k|398123 |  5575k|   3.7 | 297M|  63 |   - |  70 |3347 |  70 |  25 |  26 | 539k|3990 | 0.000000e+00 |      --      |    Inf 
1146.46/1146.81	c  1011s|  1530k|400704 |  5611k|   3.7 | 299M|  63 |   8 |  70 |3453 |  70 |  25 |  26 | 542k|4002 | 0.000000e+00 |      --      |    Inf 
1154.15/1154.57	c  1018s|  1540k|403188 |  5648k|   3.7 | 301M|  63 |   - |  70 |3070 |  70 |  25 |  26 | 546k|4005 | 0.000000e+00 |      --      |    Inf 
1161.85/1162.20	c  1025s|  1550k|405627 |  5684k|   3.7 | 303M|  63 |   - |  70 |3359 |  70 |  25 |  26 | 549k|4016 | 0.000000e+00 |      --      |    Inf 
1169.55/1169.95	c  1032s|  1560k|408074 |  5720k|   3.7 | 305M|  63 |   8 |  70 |2651 |  70 |  25 |  26 | 553k|4020 | 0.000000e+00 |      --      |    Inf 
1176.94/1177.38	c  1038s|  1570k|410545 |  5757k|   3.7 | 307M|  63 |   - |  70 |3055 |  70 |  25 |  26 | 556k|4029 | 0.000000e+00 |      --      |    Inf 
1184.55/1184.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1184.55/1184.97	c  1045s|  1580k|413127 |  5793k|   3.7 | 309M|  63 |   - |  70 |3080 |  70 |  25 |  26 | 560k|4038 | 0.000000e+00 |      --      |    Inf 
1191.84/1192.25	c  1051s|  1590k|416087 |  5829k|   3.7 | 311M|  63 |   - |  70 |4139 |  70 |  25 |  26 | 563k|4040 | 0.000000e+00 |      --      |    Inf 
1199.34/1199.78	c  1058s|  1600k|418826 |  5865k|   3.7 | 313M|  63 |   - |  70 |4475 |  70 |  25 |  26 | 567k|4040 | 0.000000e+00 |      --      |    Inf 
1206.83/1207.24	c  1065s|  1610k|421643 |  5898k|   3.7 | 315M|  63 |   8 |  70 |5186 |  70 |  25 |  26 | 570k|4040 | 0.000000e+00 |      --      |    Inf 
1214.54/1214.91	c  1072s|  1620k|424395 |  5933k|   3.7 | 317M|  63 |   8 |  70 |5439 |  70 |  25 |  26 | 573k|4040 | 0.000000e+00 |      --      |    Inf 
1222.63/1223.00	c  1079s|  1630k|426974 |  5968k|   3.7 | 319M|  63 |   8 |  70 |4133 |  70 |  25 |  26 | 577k|4057 | 0.000000e+00 |      --      |    Inf 
1230.73/1231.19	c  1086s|  1640k|429145 |  6003k|   3.7 | 320M|  63 |   8 |  70 |3130 |  70 |  25 |  26 | 580k|4061 | 0.000000e+00 |      --      |    Inf 
1238.52/1238.96	c  1093s|  1650k|431519 |  6040k|   3.7 | 322M|  63 |   8 |  70 |3619 |  70 |  25 |  26 | 584k|4066 | 0.000000e+00 |      --      |    Inf 
1245.83/1246.25	c  1099s|  1660k|434373 |  6075k|   3.7 | 325M|  63 |   8 |  70 |4482 |  70 |  25 |  26 | 587k|4068 | 0.000000e+00 |      --      |    Inf 
1253.72/1254.17	c  1106s|  1670k|436702 |  6110k|   3.7 | 326M|  63 |   8 |  70 |3411 |  70 |  25 |  26 | 591k|4070 | 0.000000e+00 |      --      |    Inf 
1261.62/1262.04	c  1113s|  1680k|439134 |  6147k|   3.7 | 328M|  63 |   8 |  70 |3900 |  70 |  25 |  26 | 594k|4081 | 0.000000e+00 |      --      |    Inf 
1269.61/1270.08	c  1121s|  1690k|441418 |  6184k|   3.7 | 330M|  63 |   8 |  70 |3547 |  70 |  25 |  26 | 598k|4086 | 0.000000e+00 |      --      |    Inf 
1277.51/1277.96	c  1128s|  1700k|443706 |  6221k|   3.7 | 332M|  63 |   8 |  70 |3203 |  70 |  25 |  26 | 602k|4092 | 0.000000e+00 |      --      |    Inf 
1285.12/1285.59	c  1134s|  1710k|446242 |  6257k|   3.7 | 334M|  63 |   8 |  70 |3252 |  70 |  25 |  26 | 605k|4096 | 0.000000e+00 |      --      |    Inf 
1292.91/1293.32	c  1141s|  1720k|448567 |  6292k|   3.7 | 335M|  63 |   - |  70 |2964 |  70 |  25 |  26 | 609k|4098 | 0.000000e+00 |      --      |    Inf 
1300.71/1301.11	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1300.71/1301.11	c  1148s|  1730k|450901 |  6328k|   3.7 | 337M|  63 |   8 |  70 |2887 |  70 |  25 |  26 | 612k|4108 | 0.000000e+00 |      --      |    Inf 
1308.21/1308.66	c  1155s|  1740k|453371 |  6365k|   3.7 | 339M|  63 |   - |  70 |3296 |  70 |  25 |  26 | 616k|4112 | 0.000000e+00 |      --      |    Inf 
1315.91/1316.39	c  1162s|  1750k|455698 |  6401k|   3.7 | 341M|  63 |   8 |  70 |3239 |  70 |  25 |  26 | 620k|4117 | 0.000000e+00 |      --      |    Inf 
1323.50/1323.93	c  1168s|  1760k|458220 |  6437k|   3.7 | 343M|  63 |   8 |  70 |4150 |  70 |  25 |  26 | 623k|4117 | 0.000000e+00 |      --      |    Inf 
1331.50/1331.90	c  1175s|  1770k|460635 |  6473k|   3.7 | 345M|  63 |   8 |  70 |4059 |  70 |  25 |  26 | 627k|4118 | 0.000000e+00 |      --      |    Inf 
1339.40/1339.88	c  1183s|  1780k|462945 |  6509k|   3.7 | 347M|  63 |   8 |  70 |3261 |  70 |  25 |  26 | 630k|4129 | 0.000000e+00 |      --      |    Inf 
1346.70/1347.11	c  1189s|  1790k|465753 |  6545k|   3.7 | 349M|  63 |   - |  70 |4172 |  70 |  25 |  26 | 634k|4130 | 0.000000e+00 |      --      |    Inf 
1354.39/1354.84	c  1196s|  1800k|468161 |  6580k|   3.7 | 351M|  63 |   8 |  70 |4149 |  70 |  25 |  26 | 637k|4132 | 0.000000e+00 |      --      |    Inf 
1361.99/1362.47	c  1202s|  1810k|470796 |  6618k|   3.7 | 353M|  63 |   8 |  70 |4962 |  70 |  25 |  26 | 641k|4132 | 0.000000e+00 |      --      |    Inf 
1370.20/1370.67	c  1210s|  1820k|473010 |  6655k|   3.7 | 355M|  63 |   - |  70 |3354 |  70 |  25 |  26 | 644k|4150 | 0.000000e+00 |      --      |    Inf 
1377.89/1378.36	c  1217s|  1830k|475439 |  6692k|   3.7 | 356M|  63 |   8 |  70 |3322 |  70 |  25 |  26 | 648k|4150 | 0.000000e+00 |      --      |    Inf 
1385.59/1386.03	c  1223s|  1840k|477861 |  6729k|   3.7 | 358M|  63 |   8 |  70 |3629 |  70 |  25 |  26 | 652k|4151 | 0.000000e+00 |      --      |    Inf 
1393.48/1393.98	c  1231s|  1850k|480180 |  6765k|   3.7 | 360M|  63 |   - |  70 |3215 |  70 |  25 |  26 | 655k|4159 | 0.000000e+00 |      --      |    Inf 
1401.18/1401.64	c  1237s|  1860k|482593 |  6800k|   3.7 | 362M|  63 |   8 |  70 |3241 |  70 |  25 |  26 | 659k|4161 | 0.000000e+00 |      --      |    Inf 
1408.69/1409.18	c  1244s|  1870k|485127 |  6836k|   3.7 | 364M|  63 |   8 |  70 |3683 |  70 |  25 |  26 | 663k|4168 | 0.000000e+00 |      --      |    Inf 
1416.67/1417.16	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1416.67/1417.16	c  1251s|  1880k|487380 |  6872k|   3.7 | 366M|  63 |   8 |  70 |3678 |  70 |  25 |  26 | 666k|4172 | 0.000000e+00 |      --      |    Inf 
1424.37/1424.82	c  1258s|  1890k|489906 |  6909k|   3.7 | 368M|  63 |   8 |  70 |4072 |  70 |  25 |  26 | 670k|4177 | 0.000000e+00 |      --      |    Inf 
1432.47/1432.94	c  1265s|  1900k|492118 |  6945k|   3.7 | 369M|  63 |   - |  70 |3003 |  70 |  25 |  26 | 673k|4191 | 0.000000e+00 |      --      |    Inf 
1440.17/1440.67	c  1272s|  1910k|494429 |  6981k|   3.7 | 371M|  63 |   - |  70 |3356 |  70 |  25 |  26 | 677k|4193 | 0.000000e+00 |      --      |    Inf 
1447.66/1448.19	c  1279s|  1920k|497093 |  7018k|   3.7 | 373M|  63 |   8 |  70 |3640 |  70 |  25 |  26 | 680k|4196 | 0.000000e+00 |      --      |    Inf 
1455.46/1455.94	c  1286s|  1930k|499494 |  7055k|   3.7 | 375M|  63 |   8 |  70 |3824 |  70 |  25 |  26 | 684k|4207 | 0.000000e+00 |      --      |    Inf 
1463.36/1463.86	c  1293s|  1940k|501809 |  7090k|   3.7 | 377M|  63 |   - |  70 |3227 |   0 |   0 |  26 | 687k|4208 | 0.000000e+00 |      --      |    Inf 
1470.76/1471.24	c  1299s|  1950k|504348 |  7124k|   3.7 | 379M|  63 |   8 |  70 |4188 |  70 |  25 |  26 | 691k|4208 | 0.000000e+00 |      --      |    Inf 
1478.35/1478.84	c  1306s|  1960k|506839 |  7157k|   3.7 | 381M|  63 |   8 |  70 |4802 |  70 |  25 |  26 | 695k|4208 | 0.000000e+00 |      --      |    Inf 
1486.56/1487.08	c  1313s|  1970k|509029 |  7194k|   3.7 | 383M|  63 |   - |  70 |3350 |  70 |  25 |  26 | 698k|4215 | 0.000000e+00 |      --      |    Inf 
1494.25/1494.71	c  1320s|  1980k|511735 |  7232k|   3.7 | 385M|  63 |   8 |  70 |4034 |  70 |  25 |  26 | 701k|4222 | 0.000000e+00 |      --      |    Inf 
1501.94/1502.48	c  1327s|  1990k|514254 |  7268k|   3.7 | 387M|  63 |   8 |  70 |4068 |  70 |  25 |  26 | 705k|4231 | 0.000000e+00 |      --      |    Inf 
1509.85/1510.37	c  1334s|  2000k|516756 |  7306k|   3.7 | 388M|  63 |   8 |  70 |3414 |  70 |  25 |  26 | 708k|4240 | 0.000000e+00 |      --      |    Inf 
1517.64/1518.16	c  1341s|  2010k|519162 |  7342k|   3.7 | 390M|  63 |   8 |  70 |3493 |  70 |  25 |  26 | 712k|4240 | 0.000000e+00 |      --      |    Inf 
1525.44/1526.00	c  1348s|  2020k|521419 |  7380k|   3.7 | 392M|  63 |   8 |  70 |3645 |  70 |  25 |  26 | 716k|4242 | 0.000000e+00 |      --      |    Inf 
1533.24/1533.76	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1533.24/1533.76	c  1355s|  2030k|524280 |  7426k|   3.7 | 394M|  63 |   8 |  70 |3341 |  70 |  25 |  26 | 719k|4245 | 0.000000e+00 |      --      |    Inf 
1540.73/1541.30	c  1361s|  2040k|527094 |  7469k|   3.7 | 396M|  63 |   - |  70 |3517 |  70 |  25 |  26 | 722k|4245 | 0.000000e+00 |      --      |    Inf 
1548.34/1548.83	c  1368s|  2050k|530438 |  7516k|   3.7 | 398M|  63 |   8 |  70 |3354 |  70 |  25 |  26 | 725k|4245 | 0.000000e+00 |      --      |    Inf 
1556.04/1556.56	c  1375s|  2060k|533523 |  7565k|   3.7 | 400M|  63 |   8 |  70 |3402 |  70 |  25 |  26 | 729k|4245 | 0.000000e+00 |      --      |    Inf 
1563.93/1564.45	c  1382s|  2070k|536160 |  7612k|   3.7 | 402M|  63 |   8 |  70 |3447 |  70 |  25 |  26 | 732k|4245 | 0.000000e+00 |      --      |    Inf 
1571.92/1572.45	c  1389s|  2080k|538462 |  7659k|   3.7 | 404M|  63 |   8 |  70 |2849 |  70 |  25 |  26 | 736k|4251 | 0.000000e+00 |      --      |    Inf 
1579.83/1580.31	c  1396s|  2090k|540895 |  7707k|   3.7 | 405M|  63 |   - |  70 |3164 |  70 |  25 |  26 | 739k|4294 | 0.000000e+00 |      --      |    Inf 
1587.72/1588.25	c  1403s|  2100k|543376 |  7754k|   3.7 | 407M|  63 |   - |  70 |2828 |  70 |  25 |  26 | 743k|4294 | 0.000000e+00 |      --      |    Inf 
1595.63/1596.15	c  1410s|  2110k|545708 |  7800k|   3.7 | 409M|  63 |   - |  70 |2805 |  70 |  25 |  26 | 746k|4304 | 0.000000e+00 |      --      |    Inf 
1603.52/1604.07	c  1417s|  2120k|548136 |  7844k|   3.7 | 411M|  63 |   8 |  70 |2732 |  70 |  25 |  26 | 750k|4313 | 0.000000e+00 |      --      |    Inf 
1611.32/1611.81	c  1424s|  2130k|550457 |  7889k|   3.7 | 413M|  63 |   8 |  70 |2769 |  70 |  25 |  26 | 753k|4316 | 0.000000e+00 |      --      |    Inf 
1619.11/1619.60	c  1431s|  2140k|552947 |  7936k|   3.7 | 414M|  63 |   - |  70 |2860 |  70 |  25 |  26 | 757k|4326 | 0.000000e+00 |      --      |    Inf 
1627.00/1627.55	c  1438s|  2150k|555223 |  7982k|   3.7 | 416M|  63 |   8 |  70 |2783 |  70 |  25 |  26 | 760k|4326 | 0.000000e+00 |      --      |    Inf 
1634.91/1635.43	c  1445s|  2160k|557621 |  8027k|   3.7 | 418M|  63 |   8 |  70 |3178 |  70 |  25 |  26 | 764k|4330 | 0.000000e+00 |      --      |    Inf 
1642.91/1643.42	c  1452s|  2170k|559842 |  8071k|   3.7 | 420M|  63 |   - |  70 |2780 |  70 |  25 |  26 | 767k|4336 | 0.000000e+00 |      --      |    Inf 
1650.61/1651.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1650.61/1651.12	c  1459s|  2180k|562379 |  8117k|   3.7 | 422M|  63 |   - |  70 |3115 |  70 |  25 |  26 | 770k|4336 | 0.000000e+00 |      --      |    Inf 
1658.39/1658.94	c  1466s|  2190k|564716 |  8157k|   3.7 | 424M|  63 |   - |  70 |3088 |  70 |  25 |  26 | 774k|4346 | 0.000000e+00 |      --      |    Inf 
1666.00/1666.55	c  1473s|  2200k|567106 |  8191k|   3.7 | 425M|  63 |   8 |  70 |3106 |  70 |  25 |  26 | 778k|4349 | 0.000000e+00 |      --      |    Inf 
1673.70/1674.22	c  1479s|  2210k|569387 |  8227k|   3.7 | 427M|  63 |   8 |  70 |2729 |  70 |  25 |  26 | 781k|4351 | 0.000000e+00 |      --      |    Inf 
1681.39/1681.94	c  1486s|  2220k|571502 |  8262k|   3.7 | 429M|  63 |   8 |  70 |2552 |  70 |  25 |  26 | 785k|4356 | 0.000000e+00 |      --      |    Inf 
1688.69/1689.20	c  1493s|  2230k|574426 |  8297k|   3.7 | 431M|  63 |   8 |  70 |3551 |  70 |  25 |  26 | 788k|4356 | 0.000000e+00 |      --      |    Inf 
1695.98/1696.57	c  1499s|  2240k|577245 |  8332k|   3.7 | 433M|  63 |   8 |  70 |4244 |  70 |  25 |  26 | 792k|4356 | 0.000000e+00 |      --      |    Inf 
1703.78/1704.39	c  1506s|  2250k|579690 |  8366k|   3.7 | 435M|  63 |   - |  70 |3803 |  70 |  25 |  26 | 795k|4362 | 0.000000e+00 |      --      |    Inf 
1711.88/1712.42	c  1513s|  2260k|581894 |  8402k|   3.7 | 437M|  63 |   - |  70 |3159 |  70 |  25 |  26 | 799k|4368 | 0.000000e+00 |      --      |    Inf 
1719.28/1719.86	c  1520s|  2270k|584568 |  8438k|   3.7 | 439M|  63 |   8 |  70 |3872 |  70 |  25 |  26 | 802k|4379 | 0.000000e+00 |      --      |    Inf 
1727.18/1727.76	c  1527s|  2280k|586670 |  8474k|   3.7 | 441M|  63 |   8 |  70 |3926 |  70 |  25 |  26 | 806k|4382 | 0.000000e+00 |      --      |    Inf 
1735.18/1735.72	c  1534s|  2290k|588903 |  8511k|   3.7 | 443M|  63 |   8 |  70 |3256 |  70 |  25 |  26 | 810k|4390 | 0.000000e+00 |      --      |    Inf 
1742.57/1743.14	c  1540s|  2300k|591449 |  8547k|   3.7 | 445M|  63 |   - |  70 |4206 |  70 |  25 |  26 | 813k|4390 | 0.000000e+00 |      --      |    Inf 
1750.07/1750.65	c  1547s|  2310k|593910 |  8584k|   3.7 | 447M|  63 |   - |  70 |4859 |  70 |  25 |  26 | 817k|4390 | 0.000000e+00 |      --      |    Inf 
1758.17/1758.78	c  1554s|  2320k|596172 |  8619k|   3.7 | 448M|  63 |   - |  70 |3012 |  70 |  25 |  26 | 820k|4391 | 0.000000e+00 |      --      |    Inf 
1765.76/1766.31	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1765.76/1766.31	c  1561s|  2330k|598698 |  8654k|   3.7 | 450M|  63 |   - |  70 |3954 |   0 |   0 |  26 | 824k|4391 | 0.000000e+00 |      --      |    Inf 
1773.56/1774.19	c  1568s|  2340k|601045 |  8689k|   3.7 | 452M|  63 |   - |  70 |3320 |  70 |  25 |  26 | 827k|4395 | 0.000000e+00 |      --      |    Inf 
1781.46/1782.06	c  1575s|  2350k|603220 |  8725k|   3.7 | 454M|  63 |   - |  70 |2673 |  70 |  25 |  26 | 831k|4409 | 0.000000e+00 |      --      |    Inf 
1789.06/1789.64	c  1582s|  2360k|605686 |  8761k|   3.7 | 456M|  63 |   - |  70 |2975 |  70 |  25 |  26 | 834k|4412 | 0.000000e+00 |      --      |    Inf 
1796.66/1797.22	c  1588s|  2370k|608247 |  8797k|   3.7 | 458M|  63 |   - |  70 |3484 |  70 |  25 |  26 | 838k|4418 | 0.000000e+00 |      --      |    Inf 
1800.07/1800.61	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61	c 
1800.07/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.61	c Solving Time (sec) : 1591.36
1800.07/1800.61	c Solving Nodes      : 2374367
1800.07/1800.61	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.07/1800.61	c Dual Bound         : +0.00000000000000e+00
1800.07/1800.61	c Gap                : infinite
1800.07/1800.61	s UNKNOWN
1800.07/1800.61	c SCIP Status        : solving was interrupted [user interrupt]
1800.07/1800.61	c Solving Time       :    1591.36
1800.07/1800.61	c Original Problem   :
1800.07/1800.61	c   Problem name     : HOME/instance-2665449-1276615750.opb
1800.07/1800.61	c   Variables        : 71 (71 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61	c   Constraints      : 17 initial, 17 maximal
1800.07/1800.61	c Presolved Problem  :
1800.07/1800.61	c   Problem name     : t_HOME/instance-2665449-1276615750.opb
1800.07/1800.61	c   Variables        : 70 (70 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61	c   Constraints      : 8 initial, 5508 maximal
1800.07/1800.61	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.07/1800.61	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.61	c   dualfix          :       0.00          1          0          0          0          0          0          0          0
1800.07/1800.61	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.61	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.61	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.61	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.07/1800.61	c   linear           :       0.00          0          0          0          0          0          9          0          0
1800.07/1800.61	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.07/1800.61	c   root node        :          -          0          -          -          0          -          -          -          -
1800.07/1800.61	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.61	c   integral         :          0          0          0    1494544          0        199       1573          0          0    2985742
1800.07/1800.61	c   linear           :          8          6    5580327          0          0      75902    3169344          0          0          0
1800.07/1800.61	c   logicor          :          0+         0    2146981          0          0       3786     765167          0          0          0
1800.07/1800.61	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.07/1800.61	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.07/1800.61	c   integral         :      22.63       0.00       0.00      22.63       0.00
1800.07/1800.61	c   linear           :     359.41       0.00     359.41       0.00       0.00
1800.07/1800.61	c   logicor          :     127.06       0.00     127.06       0.00       0.00
1800.07/1800.61	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.07/1800.61	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.07/1800.61	c   vbounds          :       3.02          2          0          0
1800.07/1800.61	c   rootredcost      :       2.43          0          0          0
1800.07/1800.61	c   pseudoobj        :       2.47          0          0          0
1800.07/1800.61	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.07/1800.61	c   propagation      :      16.08      79688      72686     276210       46.5          4       42.0          -
1800.07/1800.61	c   infeasible LP    :      53.75     803899     628294    1138553       31.3       3374       34.9          0
1800.07/1800.61	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.61	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.61	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.07/1800.61	c   applied globally :          -          -          -     646056       25.5          -          -          -
1800.07/1800.61	c   applied locally  :          -          -          -     193968       39.4          -          -          -
1800.07/1800.61	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.07/1800.61	c   cut pool         :       0.00          5          -          -          6          -    (maximal pool size: 66)
1800.07/1800.61	c   redcost          :       3.93    1494540          0          0          0          0
1800.07/1800.61	c   impliedbounds    :       0.00          6          0          0          0          0
1800.07/1800.61	c   intobj           :       0.00          0          0          0          0          0
1800.07/1800.61	c   cgmip            :       0.00          0          0          0          0          0
1800.07/1800.61	c   gomory           :       0.00          6          0          0          0          0
1800.07/1800.61	c   strongcg         :       0.00          6          0          0         29          0
1800.07/1800.61	c   cmir             :       0.05          6          0          0         26          0
1800.07/1800.61	c   flowcover        :       0.05          6          0          0         23          0
1800.07/1800.61	c   clique           :       0.00          1          0          0          0          0
1800.07/1800.61	c   zerohalf         :       0.00          0          0          0          0          0
1800.07/1800.61	c   mcf              :       0.00          1          0          0          0          0
1800.07/1800.61	c   rapidlearning    :       0.10          1          0          0          0          0
1800.07/1800.61	c Pricers            :       Time      Calls       Vars
1800.07/1800.61	c   problem variables:       0.00          0          0
1800.07/1800.61	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.61	c   relpscost        :      20.29    1494544        199       1573          0          0    2985742
1800.07/1800.61	c   pscost           :       0.00          0          0          0          0          0          0
1800.07/1800.61	c   inference        :       0.00          0          0          0          0          0          0
1800.07/1800.61	c   mostinf          :       0.00          0          0          0          0          0          0
1800.07/1800.61	c   leastinf         :       0.00          0          0          0          0          0          0
1800.07/1800.61	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.07/1800.61	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.07/1800.61	c   random           :       0.00          0          0          0          0          0          0
1800.07/1800.61	c Primal Heuristics  :       Time      Calls      Found
1800.07/1800.61	c   LP solutions     :       0.00          -          0
1800.07/1800.61	c   pseudo solutions :       0.00          -          0
1800.07/1800.61	c   oneopt           :       2.10          0          0
1800.07/1800.61	c   crossover        :       1.48          0          0
1800.07/1800.61	c   guideddiving     :       0.07          0          0
1800.07/1800.61	c   intshifting      :       0.11          0          0
1800.07/1800.61	c   coefdiving       :       0.17         25          0
1800.07/1800.61	c   pscostdiving     :       0.16         25          0
1800.07/1800.61	c   fracdiving       :       0.14         25          0
1800.07/1800.61	c   veclendiving     :       0.14         25          0
1800.07/1800.61	c   linesearchdiving :       0.18         25          0
1800.07/1800.61	c   feaspump         :       0.18         13          0
1800.07/1800.61	c   objpscostdiving  :       0.06         13          0
1800.07/1800.61	c   rootsoldiving    :       0.06         13          0
1800.07/1800.61	c   trivial          :       0.01          2          0
1800.07/1800.61	c   simplerounding   :       0.83          0          0
1800.07/1800.61	c   zirounding       :       1.29       1000          0
1800.07/1800.61	c   rounding         :       2.37      17287          0
1800.07/1800.61	c   shifting         :       5.02       5411          0
1800.07/1800.61	c   twoopt           :       0.00          0          0
1800.07/1800.61	c   fixandinfer      :       0.00          0          0
1800.07/1800.61	c   intdiving        :       0.00          0          0
1800.07/1800.61	c   actconsdiving    :       0.00          0          0
1800.07/1800.61	c   octane           :       0.00          0          0
1800.07/1800.61	c   rens             :       0.04          1          0
1800.07/1800.61	c   rins             :       0.00          0          0
1800.07/1800.61	c   localbranching   :       0.00          0          0
1800.07/1800.61	c   mutation         :       0.00          0          0
1800.07/1800.61	c   dins             :       0.00          0          0
1800.07/1800.61	c   undercover       :       0.00          0          0
1800.07/1800.61	c   nlp              :       1.09          0          0
1800.07/1800.61	c   trysol           :       1.80          0          0
1800.07/1800.61	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.07/1800.61	c   primal LP        :       0.00          0          0       0.00          -
1800.07/1800.61	c   dual LP          :     676.34    2256956    8811481       3.90   13028.18
1800.07/1800.61	c   lex dual LP      :       0.00          0          0       0.00          -
1800.07/1800.61	c   barrier LP       :       0.00          0          0       0.00          -
1800.07/1800.61	c   diving/probing LP:       0.21        808       1805       2.23    8595.24
1800.07/1800.61	c   strong branching :       2.07       4418      31928       7.23   15424.15
1800.07/1800.61	c     (at root node) :          -          9        829      92.11          -
1800.07/1800.61	c   conflict analysis:       0.00          0          0       0.00          -
1800.07/1800.61	c B&B Tree           :
1800.07/1800.61	c   number of runs   :          1
1800.07/1800.61	c   nodes            :    2374367
1800.07/1800.61	c   nodes (total)    :    2374367
1800.07/1800.61	c   nodes left       :     609235
1800.07/1800.61	c   max depth        :         63
1800.07/1800.61	c   max depth (total):         63
1800.07/1800.61	c   backtracks       :     197162 (8.3%)
1800.07/1800.61	c   delayed cutoffs  :       2141
1800.07/1800.61	c   repropagations   :    2175067 (757559 domain reductions, 1983 cutoffs)
1800.07/1800.61	c   avg switch length:       5.17
1800.07/1800.61	c   switching time   :     150.56
1800.07/1800.61	c Solution           :
1800.07/1800.61	c   Solutions found  :          0 (0 improvements)
1800.07/1800.61	c   Primal Bound     :          -
1800.07/1800.61	c   Dual Bound       : +0.00000000000000e+00
1800.07/1800.61	c   Gap              :   infinite
1800.07/1800.61	c   Root Dual Bound  : +0.00000000000000e+00
1800.07/1800.61	c   Root Iterations  :        150

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-2665449-1276615750/watcher-2665449-1276615750 -o /tmp/evaluation-result-2665449-1276615750/solver-2665449-1276615750 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665449-1276615750.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: 0.92 0.98 0.99 3/106 5189
/proc/meminfo: memFree=1779764/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=9288 CPUtime=0
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 1043 0 0 0 0 0 0 0 18 0 1 0 37176302 9510912 965 1992294400 4194304 9819077 140736725098832 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5189/statm: 2322 972 371 1374 0 943 0

[startup+0.0128341 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 5189
/proc/meminfo: memFree=1779764/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=10560 CPUtime=0
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 1588 0 0 0 0 0 0 0 18 0 1 0 37176302 10813440 1509 1992294400 4194304 9819077 140736725098832 18446744073709551615 8662608 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5189/statm: 2640 1510 388 1374 0 1261 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10560

[startup+0.101841 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 5189
/proc/meminfo: memFree=1779764/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=21928 CPUtime=0.09
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 5095 0 0 0 7 2 0 0 20 0 1 0 37176302 22454272 3882 1992294400 4194304 9819077 140736725098832 18446744073709551615 4947435 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 5482 3882 676 1374 0 4103 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21928

[startup+0.30186 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 5189
/proc/meminfo: memFree=1779764/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=23712 CPUtime=0.29
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 8712 0 0 0 25 4 0 0 20 0 1 0 37176302 24281088 4202 1992294400 4194304 9819077 140736725098832 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 5968 4203 713 1374 0 4589 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23712

[startup+0.701896 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 5189
/proc/meminfo: memFree=1779764/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=16624 CPUtime=0.69
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 16016 0 0 0 58 11 0 0 20 0 1 0 37176302 17022976 2706 1992294400 4194304 9819077 140736725098832 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 4115 2705 723 1374 0 2736 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16624

[startup+1.50197 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 5190
/proc/meminfo: memFree=1771200/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=15980 CPUtime=1.5
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 23057 0 0 0 126 24 0 0 23 0 1 0 37176302 16363520 2725 1992294400 4194304 9819077 140736725098832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 3995 2725 724 1374 0 2616 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 15980

[startup+3.10112 s]
/proc/loadavg: 0.92 0.98 0.99 3/107 5190
/proc/meminfo: memFree=1770952/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=17212 CPUtime=3.09
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 36237 0 0 0 266 43 0 0 25 0 1 0 37176302 17625088 2975 1992294400 4194304 9819077 140736725098832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 4181 2973 724 1374 0 2802 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17212

[startup+6.30141 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 5190
/proc/meminfo: memFree=1768596/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=19488 CPUtime=6.29
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 64250 0 0 0 546 83 0 0 25 0 1 0 37176302 19955712 3557 1992294400 4194304 9819077 140736725098832 18446744073709551615 4561249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 4872 3557 724 1374 0 3493 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19488

[startup+12.701 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 5190
/proc/meminfo: memFree=1765496/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=22000 CPUtime=12.68
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 120333 0 0 0 1106 162 0 0 25 0 1 0 37176302 22528000 4190 1992294400 4194304 9819077 140736725098832 18446744073709551615 6372765 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 5500 4190 724 1374 0 4121 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22000

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 5190
/proc/meminfo: memFree=1760288/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=27348 CPUtime=25.48
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 234556 0 0 0 2229 319 0 0 25 0 1 0 37176302 28004352 5542 1992294400 4194304 9819077 140736725098832 18446744073709551615 8654742 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 6756 5541 724 1374 0 5377 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27348

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 5190
/proc/meminfo: memFree=1752476/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=35600 CPUtime=51.07
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 455398 0 0 0 4465 642 0 0 25 0 1 0 37176302 36454400 7650 1992294400 4194304 9819077 140736725098832 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 8900 7650 724 1374 0 7521 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 35600

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 5192
/proc/meminfo: memFree=1735612/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=51236 CPUtime=102.26
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 889972 0 0 0 8938 1288 0 0 25 0 1 0 37176302 52465664 11622 1992294400 4194304 9819077 140736725098832 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 12809 11622 724 1374 0 11430 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 51236

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5194
/proc/meminfo: memFree=1716764/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=72412 CPUtime=162.23
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 1391464 0 0 0 14204 2019 0 0 25 0 1 0 37176302 74149888 16498 1992294400 4194304 9819077 140736725098832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 18103 16498 724 1374 0 16724 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 72412

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5196
/proc/meminfo: memFree=1698536/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=88984 CPUtime=222.22
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 1883084 0 0 0 19468 2754 0 0 25 0 1 0 37176302 91119616 20814 1992294400 4194304 9819077 140736725098832 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 22327 20816 724 1374 0 20948 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 88984

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5196
/proc/meminfo: memFree=1681300/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=106300 CPUtime=282.2
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 2374888 0 0 0 24733 3487 0 0 25 0 1 0 37176302 108851200 25097 1992294400 4194304 9819077 140736725098832 18446744073709551615 6123172 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 26575 25097 724 1374 0 25196 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 106300

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5198
/proc/meminfo: memFree=1663816/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=123888 CPUtime=342.18
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 2862564 0 0 0 30007 4211 0 0 25 0 1 0 37176302 126861312 29578 1992294400 4194304 9819077 140736725098832 18446744073709551615 4947574 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 30972 29578 724 1374 0 29593 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 123888

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5200
/proc/meminfo: memFree=1648068/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=138484 CPUtime=402.16
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 3347938 0 0 0 35295 4921 0 0 25 0 1 0 37176302 141807616 33304 1992294400 4194304 9819077 140736725098832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 34621 33304 724 1374 0 33242 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 138484

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5202
/proc/meminfo: memFree=1632444/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=154272 CPUtime=462.15
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 3827922 0 0 0 40572 5643 0 0 25 0 1 0 37176302 157974528 37296 1992294400 4194304 9819077 140736725098832 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 38568 37296 724 1374 0 37189 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 154272

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5204
/proc/meminfo: memFree=1617316/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=169400 CPUtime=522.13
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 4307511 0 0 0 45845 6368 0 0 25 0 1 0 37176302 173465600 41166 1992294400 4194304 9819077 140736725098832 18446744073709551615 6590275 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 42350 41166 724 1374 0 40971 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 169400

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5204
/proc/meminfo: memFree=1597972/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=191752 CPUtime=582.12
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 4795363 0 0 0 51150 7062 0 0 25 0 1 0 37176302 196354048 45768 1992294400 4194304 9819077 140736725098832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 47938 45768 724 1374 0 46559 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 191752

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5206
/proc/meminfo: memFree=1582224/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=206988 CPUtime=642.1
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 5272879 0 0 0 56447 7763 0 0 25 0 1 0 37176302 211955712 49632 1992294400 4194304 9819077 140736725098832 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 51747 49632 724 1374 0 50368 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 206988

[startup+702.302 s]

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

/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 8154004 0 0 0 88322 11877 0 0 25 0 1 0 37176302 305262592 72878 1992294400 4194304 9819077 140736725098832 18446744073709551615 4979093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 74527 72878 724 1374 0 73148 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 298108

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5218
/proc/meminfo: memFree=1476328/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=309920 CPUtime=1061.97
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 8634452 0 0 0 93632 12565 0 0 25 0 1 0 37176302 317358080 75933 1992294400 4194304 9819077 140736725098832 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 77439 75932 724 1374 0 76060 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 309920

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5220
/proc/meminfo: memFree=1458348/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=327576 CPUtime=1121.96
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 9108229 0 0 0 98954 13242 0 0 25 0 1 0 37176302 335437824 80369 1992294400 4194304 9819077 140736725098832 18446744073709551615 4210120 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 81894 80369 724 1374 0 80515 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 327576

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5220
/proc/meminfo: memFree=1443716/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=341732 CPUtime=1181.94
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 9588435 0 0 0 104267 13927 0 0 25 0 1 0 37176302 349933568 83989 1992294400 4194304 9819077 140736725098832 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 85433 83989 724 1374 0 84054 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 341732

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5222
/proc/meminfo: memFree=1424620/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=360188 CPUtime=1241.92
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 10060210 0 0 0 109592 14600 0 0 25 0 1 0 37176302 368832512 88718 1992294400 4194304 9819077 140736725098832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 90047 88718 724 1374 0 88668 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 360188

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5224
/proc/meminfo: memFree=1413336/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=370952 CPUtime=1301.91
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 10526426 0 0 0 114917 15274 0 0 25 0 1 0 37176302 379854848 91487 1992294400 4194304 9819077 140736725098832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 92738 91487 724 1374 0 91359 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 370952

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5226
/proc/meminfo: memFree=1392876/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=399800 CPUtime=1361.89
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 11002253 0 0 0 120235 15954 0 0 25 0 1 0 37176302 409395200 96659 1992294400 4194304 9819077 140736725098832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 99950 96659 724 1374 0 98571 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 399800

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5228
/proc/meminfo: memFree=1377252/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=414760 CPUtime=1421.88
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 11473392 0 0 0 125568 16620 0 0 25 0 1 0 37176302 424714240 100473 1992294400 4194304 9819077 140736725098832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 103690 100473 724 1374 0 102311 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 414760

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5228
/proc/meminfo: memFree=1362992/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=428444 CPUtime=1481.85
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 11944481 0 0 0 130902 17283 0 0 25 0 1 0 37176302 438726656 103991 1992294400 4194304 9819077 140736725098832 18446744073709551615 5918807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 107111 103991 724 1374 0 105732 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 428444

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5230
/proc/meminfo: memFree=1346872/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=444064 CPUtime=1541.83
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 12417167 0 0 0 136231 17952 0 0 25 0 1 0 37176302 454721536 107995 1992294400 4194304 9819077 140736725098832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 111016 107995 724 1374 0 109637 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 444064

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5232
/proc/meminfo: memFree=1333232/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=457848 CPUtime=1601.82
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 12886588 0 0 0 141544 18638 0 0 25 0 1 0 37176302 468836352 111408 1992294400 4194304 9819077 140736725098832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 114462 111408 724 1374 0 113083 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 457848

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5234
/proc/meminfo: memFree=1319468/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=472100 CPUtime=1661.8
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 13363198 0 0 0 146873 19307 0 0 25 0 1 0 37176302 483430400 115080 1992294400 4194304 9819077 140736725098832 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 118025 115080 724 1374 0 116646 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 472100

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5236
/proc/meminfo: memFree=1303844/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=486024 CPUtime=1721.78
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 13837696 0 0 0 152199 19979 0 0 25 0 1 0 37176302 497688576 118682 1992294400 4194304 9819077 140736725098832 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 121547 118683 724 1374 0 120168 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 486024

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5236
/proc/meminfo: memFree=1289832/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=499604 CPUtime=1781.76
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 14312174 0 0 0 157511 20665 0 0 25 0 1 0 37176302 511594496 122141 1992294400 4194304 9819077 140736725098832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 124901 122141 724 1374 0 123522 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 499604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5238
/proc/meminfo: memFree=1283632/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=505468 CPUtime=1800.07
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 14460101 0 0 0 159136 20871 0 0 25 0 1 0 37176302 517599232 123635 1992294400 4194304 9819077 140736725098832 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5189/statm: 126122 123630 724 1374 0 124743 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 505468

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -5189

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 5238
/proc/meminfo: memFree=1283632/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=505468 CPUtime=1800.85
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 14460112 0 0 0 159214 20871 0 0 25 0 1 0 37176302 517599232 123636 1992294400 4194304 9819077 140736725098832 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5189/statm: 126367 123636 725 1374 0 124988 0
Current children cumulated CPU time (s) 1800.85
Current children cumulated vsize (KiB) 505468

[startup+1802.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 5239
/proc/meminfo: memFree=1283624/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=505468 CPUtime=1801.65
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 14460112 0 0 0 159294 20871 0 0 25 0 1 0 37176302 517599232 123636 1992294400 4194304 9819077 140736725098832 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5189/statm: 126367 123636 725 1374 0 124988 0
Current children cumulated CPU time (s) 1801.65
Current children cumulated vsize (KiB) 505468

[startup+1802.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/108 5239
/proc/meminfo: memFree=1283624/2059040 swapFree=4135932/4192956
[pid=5189] ppid=5187 vsize=505468 CPUtime=1802.05
/proc/5189/stat : 5189 (pbscip.linux.x8) R 5187 5189 5164 0 -1 4202496 14460112 0 0 0 159334 20871 0 0 25 0 1 0 37176302 517599232 123636 1992294400 4194304 9819077 140736725098832 18446744073709551615 6179930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5189/statm: 126367 123636 725 1374 0 124988 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 505468

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.67
CPU time (s): 1802.13
CPU user time (s): 1593.36
CPU system time (s): 208.768
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 505468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1593.36
system time used= 208.768
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14460112
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= 3
involuntary context switches= 1268

runsolver used 2.70859 second user time and 8.79166 second system time

The end

Launcher Data 

Begin job on node015 at 2010-06-15 17:29:10
IDJOB=2665449
IDBENCH=2922
IDSOLVER=1168
FILE ID=node015/2665449-1276615750
PBS_JOBID= 11172307
Free space on /tmp= 62584 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_8_70_4.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-2665449-1276615750/watcher-2665449-1276615750 -o /tmp/evaluation-result-2665449-1276615750/solver-2665449-1276615750 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665449-1276615750.opb -t 1800 -m 1800

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

MD5SUM BENCH= d78f5121f87a7bad7fc74d5d3eacc32f
RANDOM SEED=1882664574

node015.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	: 5599.36
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1780292 kB
Buffers:         78628 kB
Cached:         120448 kB
SwapCached:      11032 kB
Active:          98404 kB
Inactive:       114840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1780292 kB
SwapTotal:     4192956 kB
SwapFree:      4135932 kB
Dirty:            6312 kB
Writeback:           0 kB
AnonPages:       12560 kB
Mapped:           9280 kB
Slab:            43620 kB
PageTables:       3996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182540 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= 62576 MiB
End job on node015 at 2010-06-15 17:59:13