Trace number 1869521

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 NameAnswerobjCPU timeWall clock time
SCIPclp SCIP 1.1.0.7 with CLP 1.8.2? (TO) 1802.15 1802.67

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_2.opb
MD5SUM25ec3c4431eaa97f8c8dfc7dcac7b55c
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 1293
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3879
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.01	c SCIP version 1.1.0.7
0.00/0.01	c LP-Solver Clp 1.8.2
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c read problem <HOME/instance-1869521-1245176254.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 start presolving problem
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 OPT-LIN
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 = c 1620
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 = c 1791
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 = c 10000
0.00/0.02	c -----------------------------------------------------------------------------------------------
0.00/0.02	c start solving problem
0.00/0.02	c 
0.00/0.02	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.00/0.02	c   0.0s|     1 |     0 |    32 | 251k|   0 |   6 |  50 |   6 |   6 |  50 |   6 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.03	c   0.0s|     1 |     0 |   105 | 284k|   0 |  11 |  50 |   6 |   6 |  50 |  12 |   6 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.04	c   0.0s|     1 |     0 |   113 | 313k|   0 |  15 |  50 |   6 |   6 |  50 |  16 |  10 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.05	c   0.0s|     1 |     0 |   130 | 326k|   0 |  17 |  50 |   6 |   6 |  50 |  19 |  13 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.00/0.06	c   0.1s|     1 |     0 |   139 | 334k|   0 |  21 |  50 |   6 |   6 |  50 |  22 |  16 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.07/0.08	c   0.1s|     1 |     0 |   161 | 343k|   0 |  20 |  50 |   6 |   6 |  50 |  25 |  19 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.07/0.09	c   0.1s|     1 |     0 |   191 | 355k|   0 |  19 |  50 |   6 |   6 |  50 |  29 |  23 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.19/0.28	c   0.3s|     1 |     2 |   191 | 356k|   0 |  19 |  50 |   6 |   6 |  50 |  29 |  23 |   0 |  19 | 0.000000e+00 |      --      |    Inf 
4.69/4.78	c   4.6s| 10000 |  2672 | 25587 |1697k|  44 |   - |  50 | 137 |  11 |  50 |  19 |  23 | 364 | 495 | 0.000000e+00 |      --      |    Inf 
9.09/9.12	c   8.8s| 20000 |  5001 | 51063 |2860k|  44 |   - |  50 | 195 |  27 |  50 |  19 |  23 | 609 | 646 | 0.000000e+00 |      --      |    Inf 
13.39/13.48	c  12.9s| 30000 |  7126 | 76250 |3914k|  44 |   6 |  50 | 172 |  11 |  50 |  19 |  23 | 866 | 789 | 0.000000e+00 |      --      |    Inf 
17.69/17.79	c  17.1s| 40000 |  9320 |101151 |4990k|  44 |   6 |  50 | 153 |   6 |  50 |  19 |  23 |1086 | 916 | 0.000000e+00 |      --      |    Inf 
21.99/22.02	c  21.2s| 50000 | 11410 |125754 |6031k|  44 |   6 |  50 | 167 |   6 |  50 |  19 |  23 |1326 |1000 | 0.000000e+00 |      --      |    Inf 
26.19/26.24	c  25.2s| 60000 | 13295 |150471 |6999k|  44 |   6 |  50 | 157 |   7 |  50 |  19 |  23 |1528 |1073 | 0.000000e+00 |      --      |    Inf 
30.38/30.43	c  29.2s| 70000 | 15333 |174404 |8016k|  44 |   6 |  50 | 145 |   9 |  50 |  19 |  23 |1737 |1142 | 0.000000e+00 |      --      |    Inf 
34.57/34.65	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
34.57/34.65	c  33.3s| 80000 | 17416 |198661 |9051k|  44 |   - |  50 | 129 |   6 |  50 |  19 |  23 |1976 |1201 | 0.000000e+00 |      --      |    Inf 
38.67/38.78	c  37.2s| 90000 | 19370 |222752 |  10M|  44 |   6 |  50 | 102 |  12 |  50 |  19 |  23 |2161 |1250 | 0.000000e+00 |      --      |    Inf 
42.87/42.96	c  41.2s|100000 | 21218 |246990 |  10M|  44 |   - |  50 |  67 |   6 |  50 |  19 |  23 |2437 |1302 | 0.000000e+00 |      --      |    Inf 
47.07/47.15	c  45.3s|110000 | 23035 |271838 |  11M|  44 |   - |  50 |  79 |  16 |   0 |   0 |  23 |2673 |1356 | 0.000000e+00 |      --      |    Inf 
51.17/51.26	c  49.2s|120000 | 25308 |295420 |  13M|  44 |   - |  50 |  88 |   6 |  50 |  19 |  23 |2923 |1398 | 0.000000e+00 |      --      |    Inf 
55.37/55.44	c  53.2s|130000 | 27297 |319538 |  14M|  44 |   6 |  50 |  66 |   6 |  50 |  19 |  23 |3136 |1441 | 0.000000e+00 |      --      |    Inf 
59.56/59.61	c  57.2s|140000 | 29069 |343420 |  14M|  44 |   - |  50 |  44 |   8 |   0 |   0 |  23 |3404 |1482 | 0.000000e+00 |      --      |    Inf 
63.67/63.72	c  61.2s|150000 | 30890 |367703 |  15M|  44 |   6 |  50 |  68 |   7 |  50 |  19 |  23 |3635 |1513 | 0.000000e+00 |      --      |    Inf 
67.76/67.84	c  65.1s|160000 | 32621 |391670 |  16M|  44 |   6 |  50 |  67 |   6 |  50 |  19 |  23 |3889 |1559 | 0.000000e+00 |      --      |    Inf 
71.86/71.97	c  69.1s|170000 | 34598 |415819 |  17M|  44 |   6 |  50 |  66 |   9 |  50 |  19 |  23 |4046 |1597 | 0.000000e+00 |      --      |    Inf 
76.06/76.11	c  73.1s|180000 | 36354 |439565 |  18M|  44 |   6 |  50 |  64 |   7 |  50 |  19 |  23 |4317 |1638 | 0.000000e+00 |      --      |    Inf 
80.16/80.29	c  77.1s|190000 | 38135 |464274 |  19M|  44 |   6 |  50 |  47 |   6 |  50 |  19 |  23 |4606 |1686 | 0.000000e+00 |      --      |    Inf 
84.25/84.32	c  81.0s|200000 | 39862 |487853 |  20M|  44 |   6 |  50 |  33 |   6 |  50 |  19 |  23 |4790 |1713 | 0.000000e+00 |      --      |    Inf 
88.35/88.40	c  84.9s|210000 | 41513 |511701 |  21M|  44 |   6 |  50 |  23 |   6 |  50 |  19 |  23 |5063 |1744 | 0.000000e+00 |      --      |    Inf 
92.36/92.48	c  88.8s|220000 | 43125 |535038 |  22M|  44 |   6 |  50 |  30 |   6 |  50 |  19 |  23 |5349 |1768 | 0.000000e+00 |      --      |    Inf 
96.45/96.50	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
96.45/96.50	c  92.7s|230000 | 45245 |558249 |  23M|  44 |   - |  50 |  35 |   6 |   0 |   0 |  23 |5502 |1789 | 0.000000e+00 |      --      |    Inf 
100.45/100.51	c  96.5s|240000 | 47047 |581232 |  24M|  44 |   6 |  50 |  27 |   6 |  50 |  19 |  23 |5617 |1821 | 0.000000e+00 |      --      |    Inf 
104.55/104.62	c   100s|250000 | 48800 |605097 |  25M|  44 |   6 |  50 |  44 |   8 |  50 |  19 |  23 |5858 |1851 | 0.000000e+00 |      --      |    Inf 
108.65/108.77	c   104s|260000 | 50560 |629508 |  26M|  44 |   - |  50 |  24 |   7 |   0 |   0 |  23 |6006 |1880 | 0.000000e+00 |      --      |    Inf 
112.74/112.88	c   108s|270000 | 52264 |653256 |  26M|  44 |   6 |  50 |  25 |   6 |  50 |  19 |  23 |6254 |1906 | 0.000000e+00 |      --      |    Inf 
116.95/117.05	c   112s|280000 | 53820 |677454 |  27M|  44 |   6 |  50 |  26 |   6 |  50 |  19 |  23 |6522 |1928 | 0.000000e+00 |      --      |    Inf 
120.95/121.07	c   116s|290000 | 55590 |700259 |  28M|  44 |   6 |  50 |  24 |  12 |  50 |  19 |  23 |6725 |1958 | 0.000000e+00 |      --      |    Inf 
125.04/125.12	c   120s|300000 | 57339 |723950 |  29M|  44 |   - |  50 |  29 |   6 |  50 |  19 |  23 |6935 |1985 | 0.000000e+00 |      --      |    Inf 
129.14/129.23	c   124s|310000 | 58830 |748100 |  30M|  44 |   6 |  50 |  16 |   6 |  50 |  19 |  23 |7152 |2017 | 0.000000e+00 |      --      |    Inf 
133.24/133.30	c   128s|320000 | 60664 |771375 |  31M|  44 |   - |  50 |  30 |   7 |  50 |  19 |  23 |7370 |2057 | 0.000000e+00 |      --      |    Inf 
137.34/137.44	c   132s|330000 | 62175 |795489 |  32M|  44 |   - |  50 |  20 |   6 |  50 |  19 |  23 |7572 |2097 | 0.000000e+00 |      --      |    Inf 
141.54/141.60	c   136s|340000 | 64111 |820088 |  33M|  44 |   6 |  50 |  55 |   7 |  50 |  19 |  23 |7827 |2118 | 0.000000e+00 |      --      |    Inf 
145.64/145.71	c   140s|350000 | 66117 |843947 |  34M|  44 |   6 |  50 |  41 |  10 |  50 |  19 |  23 |8081 |2140 | 0.000000e+00 |      --      |    Inf 
149.73/149.83	c   144s|360000 | 67690 |868106 |  35M|  44 |   6 |  50 |  39 |   6 |  50 |  19 |  23 |8286 |2159 | 0.000000e+00 |      --      |    Inf 
153.84/153.97	c   148s|370000 | 69379 |891998 |  36M|  44 |   6 |  50 |  36 |   6 |  50 |  19 |  23 |8510 |2184 | 0.000000e+00 |      --      |    Inf 
157.93/158.00	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
157.93/158.00	c   152s|380000 | 71365 |914858 |  36M|  44 |   6 |  50 |  32 |   6 |  50 |  19 |  23 |8601 |2200 | 0.000000e+00 |      --      |    Inf 
161.93/162.09	c   156s|390000 | 72911 |938798 |  37M|  44 |   6 |  50 |  19 |   6 |  50 |  19 |  23 |8736 |2214 | 0.000000e+00 |      --      |    Inf 
166.13/166.25	c   160s|400000 | 74414 |963573 |  38M|  44 |   6 |  50 |  20 |   6 |  50 |  19 |  23 |8967 |2241 | 0.000000e+00 |      --      |    Inf 
170.23/170.34	c   164s|410000 | 75880 |987045 |  39M|  44 |   6 |  50 |  37 |   6 |  50 |  19 |  23 |9214 |2261 | 0.000000e+00 |      --      |    Inf 
174.33/174.44	c   168s|420000 | 77485 |  1010k|  40M|  44 |   - |  50 |  29 |   6 |  50 |  19 |  23 |9384 |2285 | 0.000000e+00 |      --      |    Inf 
178.43/178.52	c   171s|430000 | 79090 |  1033k|  41M|  44 |   - |  50 |  40 |   6 |  50 |  19 |  23 |9603 |2302 | 0.000000e+00 |      --      |    Inf 
182.43/182.58	c   175s|440000 | 80676 |  1056k|  42M|  44 |   6 |  50 |  30 |   6 |  50 |  19 |  23 |9809 |2327 | 0.000000e+00 |      --      |    Inf 
186.52/186.65	c   179s|450000 | 82148 |  1080k|  42M|  44 |   6 |  50 |  24 |   7 |  50 |  19 |  23 |  10k|2346 | 0.000000e+00 |      --      |    Inf 
190.62/190.71	c   183s|460000 | 83835 |  1103k|  43M|  44 |   - |  50 |  33 |   6 |   0 |   0 |  23 |  10k|2367 | 0.000000e+00 |      --      |    Inf 
194.62/194.75	c   187s|470000 | 85363 |  1126k|  44M|  44 |   - |  50 |  42 |   7 |  50 |  19 |  23 |  10k|2386 | 0.000000e+00 |      --      |    Inf 
198.72/198.80	c   191s|480000 | 87220 |  1148k|  45M|  44 |   6 |  50 |  37 |   6 |  50 |  19 |  23 |  10k|2410 | 0.000000e+00 |      --      |    Inf 
202.62/202.75	c   195s|490000 | 89501 |  1171k|  46M|  44 |   6 |  50 |  46 |   6 |  50 |  19 |  23 |  10k|2425 | 0.000000e+00 |      --      |    Inf 
206.62/206.77	c   199s|500000 | 91501 |  1194k|  47M|  44 |   - |  50 |  45 |   6 |  50 |  19 |  23 |  10k|2444 | 0.000000e+00 |      --      |    Inf 
210.72/210.80	c   202s|510000 | 93203 |  1217k|  48M|  44 |   - |  50 |  40 |   7 |   0 |   0 |  23 |  11k|2463 | 0.000000e+00 |      --      |    Inf 
214.82/214.90	c   206s|520000 | 94671 |  1241k|  49M|  44 |   6 |  50 |  26 |   6 |  50 |  19 |  23 |  11k|2489 | 0.000000e+00 |      --      |    Inf 
218.92/219.02	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
218.92/219.02	c   210s|530000 | 96083 |  1264k|  50M|  44 |   6 |  50 |  23 |   6 |  50 |  19 |  23 |  11k|2506 | 0.000000e+00 |      --      |    Inf 
222.92/223.10	c   214s|540000 | 97495 |  1287k|  50M|  44 |   6 |  50 |  24 |   6 |  50 |  19 |  23 |  11k|2527 | 0.000000e+00 |      --      |    Inf 
227.02/227.16	c   218s|550000 | 98980 |  1310k|  51M|  44 |   - |  50 |  23 |   6 |  50 |  19 |  23 |  11k|2547 | 0.000000e+00 |      --      |    Inf 
231.21/231.30	c   222s|560000 |100719 |  1334k|  52M|  44 |   6 |  50 |  23 |   6 |  50 |  19 |  23 |  12k|2569 | 0.000000e+00 |      --      |    Inf 
235.22/235.36	c   226s|570000 |102279 |  1357k|  53M|  44 |   - |  50 |  19 |   6 |  50 |  19 |  23 |  12k|2587 | 0.000000e+00 |      --      |    Inf 
239.31/239.41	c   230s|580000 |104061 |  1380k|  54M|  44 |   6 |  50 |  14 |   6 |  50 |  19 |  23 |  12k|2602 | 0.000000e+00 |      --      |    Inf 
243.41/243.50	c   234s|590000 |105348 |  1404k|  55M|  44 |   - |  50 |  25 |   6 |   0 |   0 |  23 |  12k|2623 | 0.000000e+00 |      --      |    Inf 
247.42/247.50	c   238s|600000 |107009 |  1426k|  56M|  44 |   6 |  50 |  30 |   7 |  50 |  19 |  23 |  12k|2637 | 0.000000e+00 |      --      |    Inf 
251.51/251.62	c   242s|610000 |108603 |  1450k|  56M|  44 |   6 |  50 |  24 |   6 |  50 |  19 |  23 |  12k|2653 | 0.000000e+00 |      --      |    Inf 
255.60/255.74	c   246s|620000 |110156 |  1473k|  57M|  44 |   6 |  50 |  18 |   6 |  50 |  19 |  23 |  13k|2672 | 0.000000e+00 |      --      |    Inf 
259.61/259.78	c   249s|630000 |111896 |  1495k|  58M|  44 |   6 |  50 |  31 |   6 |  50 |  19 |  23 |  13k|2691 | 0.000000e+00 |      --      |    Inf 
263.71/263.87	c   253s|640000 |113619 |  1520k|  59M|  44 |   - |  50 |  34 |   6 |  50 |  19 |  23 |  13k|2706 | 0.000000e+00 |      --      |    Inf 
267.80/267.98	c   257s|650000 |115108 |  1543k|  60M|  44 |   - |  50 |  29 |   6 |  50 |  19 |  23 |  13k|2727 | 0.000000e+00 |      --      |    Inf 
272.00/272.14	c   261s|660000 |116434 |  1566k|  61M|  44 |   6 |  50 |  25 |   6 |  50 |  19 |  23 |  13k|2744 | 0.000000e+00 |      --      |    Inf 
276.11/276.28	c   265s|670000 |117803 |  1590k|  61M|  44 |   - |  50 |  15 |   6 |  50 |  19 |  23 |  13k|2761 | 0.000000e+00 |      --      |    Inf 
280.30/280.43	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
280.30/280.43	c   269s|680000 |119289 |  1614k|  62M|  44 |   6 |  50 |  15 |   6 |  50 |  19 |  23 |  14k|2786 | 0.000000e+00 |      --      |    Inf 
284.30/284.46	c   273s|690000 |120711 |  1636k|  63M|  44 |   - |  50 |  22 |   7 |   0 |   0 |  23 |  14k|2803 | 0.000000e+00 |      --      |    Inf 
288.40/288.51	c   277s|700000 |122260 |  1659k|  64M|  44 |   - |  50 |  20 |   8 |  50 |  19 |  23 |  14k|2822 | 0.000000e+00 |      --      |    Inf 
292.50/292.64	c   281s|710000 |123756 |  1683k|  65M|  44 |   6 |  50 |  21 |   6 |  50 |  19 |  23 |  14k|2839 | 0.000000e+00 |      --      |    Inf 
296.60/296.78	c   285s|720000 |125190 |  1706k|  66M|  44 |   6 |  50 |  21 |   6 |  50 |  19 |  23 |  14k|2852 | 0.000000e+00 |      --      |    Inf 
300.79/300.91	c   289s|730000 |126539 |  1729k|  66M|  44 |   - |  50 |  47 |   6 |  50 |  19 |  23 |  15k|2876 | 0.000000e+00 |      --      |    Inf 
304.89/305.08	c   293s|740000 |127885 |  1753k|  67M|  44 |   - |  50 |  26 |   6 |  50 |  19 |  23 |  15k|2893 | 0.000000e+00 |      --      |    Inf 
308.90/309.06	c   297s|750000 |129324 |  1776k|  68M|  44 |   6 |  50 |  19 |   6 |  50 |  19 |  23 |  15k|2906 | 0.000000e+00 |      --      |    Inf 
312.89/313.02	c   301s|760000 |131187 |  1797k|  69M|  44 |   6 |  50 |  28 |   7 |  50 |  19 |  23 |  15k|2923 | 0.000000e+00 |      --      |    Inf 
316.89/317.04	c   304s|770000 |132464 |  1819k|  70M|  44 |   6 |  50 |  23 |  11 |  50 |  19 |  23 |  15k|2939 | 0.000000e+00 |      --      |    Inf 
321.00/321.18	c   308s|780000 |134045 |  1843k|  70M|  44 |   6 |  50 |  31 |   6 |  50 |  19 |  23 |  16k|2949 | 0.000000e+00 |      --      |    Inf 
325.19/325.32	c   312s|790000 |135472 |  1867k|  71M|  44 |   - |  50 |  20 |   6 |  50 |  19 |  23 |  16k|2967 | 0.000000e+00 |      --      |    Inf 
329.29/329.42	c   316s|800000 |137300 |  1890k|  72M|  44 |   6 |  50 |  35 |   6 |  50 |  19 |  23 |  16k|2979 | 0.000000e+00 |      --      |    Inf 
333.38/333.54	c   320s|810000 |138802 |  1913k|  73M|  44 |   - |  50 |  37 |   6 |  50 |  19 |  23 |  16k|2991 | 0.000000e+00 |      --      |    Inf 
337.49/337.64	c   324s|820000 |140634 |  1937k|  74M|  44 |   - |  50 |  35 |   6 |  50 |  19 |  23 |  16k|3014 | 0.000000e+00 |      --      |    Inf 
341.58/341.79	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
341.58/341.79	c   328s|830000 |141948 |  1960k|  75M|  44 |   6 |  50 |  22 |   6 |  50 |  19 |  23 |  17k|3028 | 0.000000e+00 |      --      |    Inf 
345.68/345.86	c   332s|840000 |143763 |  1984k|  76M|  44 |   6 |  50 |  31 |   8 |  50 |  19 |  23 |  17k|3051 | 0.000000e+00 |      --      |    Inf 
349.69/349.86	c   336s|850000 |145294 |  2007k|  76M|  44 |   6 |  50 |  28 |   6 |  50 |  19 |  23 |  17k|3069 | 0.000000e+00 |      --      |    Inf 
353.78/353.92	c   340s|860000 |146816 |  2029k|  77M|  44 |   6 |  50 |  29 |   6 |  50 |  19 |  23 |  17k|3085 | 0.000000e+00 |      --      |    Inf 
357.88/358.00	c   344s|870000 |148114 |  2052k|  78M|  44 |   - |  50 |  25 |   6 |  50 |  19 |  23 |  17k|3098 | 0.000000e+00 |      --      |    Inf 
361.98/362.13	c   348s|880000 |149578 |  2075k|  79M|  44 |   - |  50 |  51 |   6 |   0 |   0 |  23 |  17k|3112 | 0.000000e+00 |      --      |    Inf 
366.08/366.21	c   352s|890000 |151016 |  2098k|  80M|  44 |   6 |  50 |  32 |   6 |  50 |  19 |  23 |  18k|3123 | 0.000000e+00 |      --      |    Inf 
370.08/370.24	c   356s|900000 |152736 |  2121k|  81M|  44 |   6 |  50 |  28 |   6 |  50 |  19 |  23 |  18k|3139 | 0.000000e+00 |      --      |    Inf 
374.18/374.33	c   359s|910000 |154270 |  2144k|  81M|  44 |   6 |  50 |  28 |   7 |  50 |  19 |  23 |  18k|3157 | 0.000000e+00 |      --      |    Inf 
378.28/378.49	c   363s|920000 |155499 |  2168k|  82M|  44 |   6 |  50 |  14 |   6 |  50 |  19 |  23 |  18k|3177 | 0.000000e+00 |      --      |    Inf 
382.37/382.57	c   367s|930000 |157254 |  2191k|  83M|  44 |   6 |  50 |  21 |   7 |  50 |  19 |  23 |  18k|3192 | 0.000000e+00 |      --      |    Inf 
386.37/386.55	c   371s|940000 |158675 |  2213k|  84M|  44 |   6 |  50 |  31 |   6 |  50 |  19 |  23 |  19k|3203 | 0.000000e+00 |      --      |    Inf 
390.47/390.67	c   375s|950000 |160246 |  2237k|  85M|  44 |   6 |  50 |  22 |   6 |  50 |  19 |  23 |  19k|3215 | 0.000000e+00 |      --      |    Inf 
394.68/394.84	c   379s|960000 |161651 |  2260k|  85M|  44 |   - |  50 |  22 |   6 |   0 |   0 |  23 |  19k|3235 | 0.000000e+00 |      --      |    Inf 
398.77/398.97	c   383s|970000 |162997 |  2284k|  86M|  44 |   - |  50 |  30 |   6 |  50 |  19 |  23 |  19k|3250 | 0.000000e+00 |      --      |    Inf 
402.97/403.11	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
402.97/403.11	c   387s|980000 |164347 |  2308k|  87M|  44 |   6 |  50 |  17 |   6 |  50 |  19 |  23 |  19k|3265 | 0.000000e+00 |      --      |    Inf 
407.06/407.22	c   391s|990000 |165735 |  2331k|  88M|  44 |   - |  50 |  20 |   6 |   0 |   0 |  23 |  19k|3277 | 0.000000e+00 |      --      |    Inf 
411.07/411.28	c   395s|  1000k|167139 |  2354k|  89M|  44 |   6 |  50 |  31 |  11 |  50 |  19 |  23 |  20k|3291 | 0.000000e+00 |      --      |    Inf 
415.26/415.46	c   399s|  1010k|169099 |  2378k|  90M|  44 |   6 |  50 |  48 |   6 |  50 |  19 |  23 |  20k|3306 | 0.000000e+00 |      --      |    Inf 
419.47/419.67	c   403s|  1020k|170543 |  2402k|  90M|  44 |   - |  50 |  26 |   6 |  50 |  19 |  23 |  20k|3320 | 0.000000e+00 |      --      |    Inf 
423.56/423.73	c   407s|  1030k|172017 |  2425k|  91M|  44 |   6 |  50 |  31 |   8 |  50 |  19 |  23 |  20k|3332 | 0.000000e+00 |      --      |    Inf 
427.67/427.81	c   411s|  1040k|174193 |  2449k|  92M|  44 |   6 |  50 |  37 |   6 |  50 |  19 |  23 |  20k|3351 | 0.000000e+00 |      --      |    Inf 
431.76/431.94	c   415s|  1050k|176212 |  2472k|  93M|  44 |   - |  50 |  38 |   6 |  50 |  19 |  23 |  20k|3368 | 0.000000e+00 |      --      |    Inf 
435.95/436.12	c   419s|  1060k|178194 |  2497k|  94M|  44 |   6 |  50 |  37 |   6 |  50 |  19 |  23 |  21k|3381 | 0.000000e+00 |      --      |    Inf 
439.95/440.18	c   423s|  1070k|180265 |  2520k|  95M|  44 |   6 |  50 |  49 |   6 |  50 |  19 |  23 |  21k|3397 | 0.000000e+00 |      --      |    Inf 
444.06/444.21	c   426s|  1080k|182199 |  2542k|  96M|  44 |   6 |  50 |  54 |   7 |  50 |  19 |  23 |  21k|3407 | 0.000000e+00 |      --      |    Inf 
448.15/448.30	c   430s|  1090k|183859 |  2566k|  97M|  44 |   6 |  50 |  47 |   6 |  50 |  19 |  23 |  21k|3420 | 0.000000e+00 |      --      |    Inf 
452.16/452.36	c   434s|  1100k|185692 |  2589k|  98M|  44 |   6 |  50 |  43 |   6 |  50 |  19 |  23 |  21k|3431 | 0.000000e+00 |      --      |    Inf 
456.15/456.37	c   438s|  1110k|187743 |  2611k|  99M|  44 |   - |  50 |  45 |   7 |  50 |  19 |  23 |  21k|3446 | 0.000000e+00 |      --      |    Inf 
460.26/460.43	c   442s|  1120k|189392 |  2633k| 100M|  44 |   6 |  50 |  44 |   6 |  50 |  19 |  23 |  21k|3465 | 0.000000e+00 |      --      |    Inf 
464.35/464.58	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
464.35/464.58	c   446s|  1130k|190730 |  2657k| 101M|  44 |   - |  50 |  29 |   8 |   0 |   0 |  23 |  22k|3481 | 0.000000e+00 |      --      |    Inf 
468.45/468.63	c   450s|  1140k|192163 |  2679k| 101M|  44 |   - |  50 |  16 |   6 |  50 |  19 |  23 |  22k|3500 | 0.000000e+00 |      --      |    Inf 
472.55/472.78	c   454s|  1150k|193821 |  2703k| 102M|  44 |   6 |  50 |  19 |  11 |  50 |  19 |  23 |  22k|3515 | 0.000000e+00 |      --      |    Inf 
476.64/476.86	c   458s|  1160k|195188 |  2726k| 103M|  44 |   6 |  50 |  25 |   6 |  50 |  19 |  23 |  22k|3526 | 0.000000e+00 |      --      |    Inf 
480.65/480.86	c   462s|  1170k|196927 |  2748k| 104M|  44 |   6 |  50 |  33 |   6 |  50 |  19 |  23 |  22k|3533 | 0.000000e+00 |      --      |    Inf 
484.65/484.82	c   465s|  1180k|198680 |  2769k| 105M|  44 |   6 |  50 |  29 |  12 |  50 |  19 |  23 |  22k|3541 | 0.000000e+00 |      --      |    Inf 
488.74/488.95	c   469s|  1190k|200044 |  2792k| 106M|  44 |   6 |  50 |  29 |   9 |  50 |  19 |  23 |  22k|3554 | 0.000000e+00 |      --      |    Inf 
492.84/493.05	c   473s|  1200k|201570 |  2815k| 106M|  44 |   6 |  50 |  22 |   7 |  50 |  19 |  23 |  23k|3565 | 0.000000e+00 |      --      |    Inf 
496.95/497.20	c   477s|  1210k|203177 |  2839k| 107M|  44 |   - |  50 |  20 |   6 |  50 |  19 |  23 |  23k|3582 | 0.000000e+00 |      --      |    Inf 
501.14/501.32	c   481s|  1220k|205268 |  2863k| 108M|  44 |   6 |  50 |  23 |   6 |  50 |  19 |  23 |  23k|3595 | 0.000000e+00 |      --      |    Inf 
505.24/505.47	c   485s|  1230k|207064 |  2887k| 109M|  44 |   6 |  50 |  22 |   6 |  50 |  19 |  23 |  23k|3612 | 0.000000e+00 |      --      |    Inf 
509.43/509.62	c   489s|  1240k|208407 |  2910k| 110M|  44 |   - |  50 |  24 |   6 |   0 |   0 |  23 |  23k|3629 | 0.000000e+00 |      --      |    Inf 
513.54/513.76	c   493s|  1250k|209933 |  2933k| 111M|  44 |   - |  50 |  18 |   6 |  50 |  19 |  23 |  23k|3647 | 0.000000e+00 |      --      |    Inf 
517.64/517.90	c   497s|  1260k|211887 |  2957k| 112M|  44 |   6 |  50 |  36 |   6 |  50 |  19 |  23 |  24k|3664 | 0.000000e+00 |      --      |    Inf 
521.93/522.10	c   501s|  1270k|213608 |  2980k| 113M|  44 |   6 |  50 |  32 |   6 |  50 |  19 |  23 |  24k|3677 | 0.000000e+00 |      --      |    Inf 
525.94/526.13	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
525.94/526.13	c   505s|  1280k|215471 |  3003k| 114M|  44 |   - |  50 |  38 |   7 |  50 |  19 |  23 |  24k|3695 | 0.000000e+00 |      --      |    Inf 
530.03/530.22	c   509s|  1290k|216864 |  3025k| 115M|  44 |   - |  50 |  23 |   6 |  50 |  19 |  23 |  24k|3713 | 0.000000e+00 |      --      |    Inf 
534.13/534.34	c   513s|  1300k|218399 |  3048k| 115M|  44 |   6 |  50 |  17 |   7 |  50 |  19 |  23 |  25k|3722 | 0.000000e+00 |      --      |    Inf 
538.33/538.54	c   517s|  1310k|219866 |  3072k| 116M|  44 |   - |  50 |  15 |   7 |  50 |  19 |  23 |  25k|3736 | 0.000000e+00 |      --      |    Inf 
542.33/542.59	c   521s|  1320k|221283 |  3094k| 117M|  44 |   - |  50 |  26 |   7 |   0 |   0 |  23 |  25k|3748 | 0.000000e+00 |      --      |    Inf 
546.32/546.58	c   525s|  1330k|222881 |  3116k| 118M|  44 |   - |  50 |  19 |   7 |  50 |  19 |  23 |  25k|3763 | 0.000000e+00 |      --      |    Inf 
550.32/550.57	c   529s|  1340k|224437 |  3138k| 119M|  44 |   - |  50 |  28 |   6 |  50 |  19 |  23 |  25k|3777 | 0.000000e+00 |      --      |    Inf 
554.52/554.75	c   533s|  1350k|225824 |  3161k| 119M|  44 |   6 |  50 |  33 |   6 |  50 |  19 |  23 |  25k|3789 | 0.000000e+00 |      --      |    Inf 
558.72/558.92	c   537s|  1360k|227174 |  3185k| 120M|  44 |   6 |  50 |  22 |   7 |  50 |  19 |  23 |  25k|3801 | 0.000000e+00 |      --      |    Inf 
562.82/563.03	c   540s|  1370k|229085 |  3208k| 121M|  44 |   - |  50 |  39 |   6 |  50 |  19 |  23 |  26k|3818 | 0.000000e+00 |      --      |    Inf 
566.92/567.15	c   544s|  1380k|230544 |  3232k| 122M|  44 |   - |  50 |  32 |   5 |   0 |   0 |  23 |  26k|3827 | 0.000000e+00 |      --      |    Inf 
571.02/571.29	c   548s|  1390k|232020 |  3255k| 123M|  44 |   6 |  50 |  24 |   8 |  50 |  19 |  23 |  26k|3835 | 0.000000e+00 |      --      |    Inf 
575.12/575.34	c   552s|  1400k|233431 |  3277k| 124M|  44 |   - |  50 |  34 |   5 |   0 |   0 |  23 |  26k|3847 | 0.000000e+00 |      --      |    Inf 
579.22/579.47	c   556s|  1410k|234906 |  3300k| 124M|  44 |   - |  50 |  18 |   6 |   0 |   0 |  23 |  27k|3858 | 0.000000e+00 |      --      |    Inf 
583.31/583.54	c   560s|  1420k|236231 |  3322k| 125M|  44 |   - |  50 |  32 |   6 |  50 |  19 |  23 |  27k|3873 | 0.000000e+00 |      --      |    Inf 
587.42/587.64	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
587.42/587.64	c   564s|  1430k|237821 |  3346k| 126M|  44 |   - |  50 |  24 |   6 |  50 |  19 |  23 |  27k|3882 | 0.000000e+00 |      --      |    Inf 
591.51/591.79	c   568s|  1440k|239171 |  3368k| 127M|  44 |   - |  50 |  18 |   6 |  50 |  19 |  23 |  27k|3893 | 0.000000e+00 |      --      |    Inf 
595.71/595.90	c   572s|  1450k|240584 |  3391k| 128M|  44 |   6 |  50 |  30 |   6 |  50 |  19 |  23 |  27k|3907 | 0.000000e+00 |      --      |    Inf 
599.71/599.97	c   576s|  1460k|242113 |  3413k| 128M|  44 |   6 |  50 |  20 |   6 |  50 |  19 |  23 |  27k|3917 | 0.000000e+00 |      --      |    Inf 
603.81/604.00	c   580s|  1470k|243629 |  3435k| 129M|  44 |   - |  50 |  26 |   5 |   0 |   0 |  23 |  28k|3925 | 0.000000e+00 |      --      |    Inf 
607.91/608.10	c   584s|  1480k|244968 |  3458k| 130M|  44 |   - |  50 |  16 |   6 |  50 |  19 |  23 |  28k|3937 | 0.000000e+00 |      --      |    Inf 
612.01/612.25	c   588s|  1490k|246543 |  3481k| 131M|  44 |   6 |  50 |  25 |   6 |  50 |  19 |  23 |  28k|3949 | 0.000000e+00 |      --      |    Inf 
616.20/616.44	c   592s|  1500k|248249 |  3506k| 132M|  44 |   6 |  50 |  32 |   6 |  50 |  19 |  23 |  28k|3960 | 0.000000e+00 |      --      |    Inf 
620.31/620.56	c   596s|  1510k|249921 |  3529k| 133M|  44 |   - |  50 |  40 |   6 |  50 |  19 |  23 |  28k|3968 | 0.000000e+00 |      --      |    Inf 
624.41/624.62	c   600s|  1520k|251350 |  3551k| 133M|  44 |   - |  50 |  60 |   6 |  50 |  19 |  23 |  29k|3980 | 0.000000e+00 |      --      |    Inf 
628.50/628.74	c   604s|  1530k|252752 |  3574k| 134M|  44 |   6 |  50 |  39 |   6 |  50 |  19 |  23 |  29k|3995 | 0.000000e+00 |      --      |    Inf 
632.60/632.88	c   608s|  1540k|253888 |  3597k| 135M|  44 |   6 |  50 |  25 |   6 |  50 |  19 |  23 |  29k|4013 | 0.000000e+00 |      --      |    Inf 
636.71/636.97	c   611s|  1550k|255596 |  3619k| 136M|  44 |   - |  50 |  17 |   6 |  50 |  19 |  23 |  29k|4021 | 0.000000e+00 |      --      |    Inf 
640.90/641.12	c   615s|  1560k|256812 |  3642k| 136M|  44 |   6 |  50 |  12 |   6 |  50 |  19 |  23 |  29k|4031 | 0.000000e+00 |      --      |    Inf 
644.90/645.17	c   619s|  1570k|258345 |  3664k| 137M|  44 |   6 |  50 |  16 |   6 |  50 |  19 |  23 |  29k|4041 | 0.000000e+00 |      --      |    Inf 
649.00/649.26	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
649.00/649.26	c   623s|  1580k|259819 |  3687k| 138M|  44 |   6 |  50 |  18 |   6 |  50 |  19 |  23 |  30k|4048 | 0.000000e+00 |      --      |    Inf 
653.20/653.42	c   627s|  1590k|261175 |  3710k| 139M|  44 |   - |  50 |  16 |   6 |  50 |  19 |  23 |  30k|4056 | 0.000000e+00 |      --      |    Inf 
657.30/657.52	c   631s|  1600k|262487 |  3733k| 140M|  44 |   6 |  50 |  19 |   6 |  50 |  19 |  23 |  30k|4064 | 0.000000e+00 |      --      |    Inf 
661.49/661.72	c   635s|  1610k|264036 |  3756k| 141M|  44 |   6 |  50 |  23 |   6 |  50 |  19 |  23 |  30k|4079 | 0.000000e+00 |      --      |    Inf 
665.60/665.80	c   639s|  1620k|265484 |  3779k| 141M|  44 |   6 |  50 |  28 |   6 |  50 |  19 |  23 |  30k|4088 | 0.000000e+00 |      --      |    Inf 
669.69/669.94	c   643s|  1630k|267031 |  3802k| 142M|  44 |   6 |  50 |  26 |   6 |  50 |  19 |  23 |  30k|4102 | 0.000000e+00 |      --      |    Inf 
673.89/674.15	c   647s|  1640k|268528 |  3826k| 143M|  44 |   6 |  50 |  33 |   6 |  50 |  19 |  23 |  31k|4114 | 0.000000e+00 |      --      |    Inf 
678.09/678.32	c   651s|  1650k|269923 |  3849k| 144M|  44 |   6 |  50 |  15 |   6 |  50 |  19 |  23 |  31k|4122 | 0.000000e+00 |      --      |    Inf 
682.18/682.40	c   655s|  1660k|271183 |  3871k| 144M|  44 |   6 |  50 |  17 |   6 |  50 |  19 |  23 |  31k|4128 | 0.000000e+00 |      --      |    Inf 
686.28/686.56	c   659s|  1670k|272562 |  3894k| 145M|  44 |   - |  50 |  24 |   6 |  50 |  19 |  23 |  31k|4137 | 0.000000e+00 |      --      |    Inf 
690.38/690.68	c   663s|  1680k|274061 |  3917k| 146M|  44 |   - |  50 |  20 |   6 |  50 |  19 |  23 |  31k|4149 | 0.000000e+00 |      --      |    Inf 
694.58/694.86	c   667s|  1690k|275478 |  3940k| 147M|  44 |   6 |  50 |  21 |   6 |  50 |  19 |  23 |  32k|4161 | 0.000000e+00 |      --      |    Inf 
698.68/698.98	c   671s|  1700k|277505 |  3963k| 148M|  44 |   6 |  50 |  20 |   6 |  50 |  19 |  23 |  32k|4170 | 0.000000e+00 |      --      |    Inf 
702.88/703.15	c   675s|  1710k|278762 |  3986k| 149M|  44 |   6 |  50 |  29 |   7 |  50 |  19 |  23 |  32k|4185 | 0.000000e+00 |      --      |    Inf 
706.99/707.25	c   679s|  1720k|280048 |  4009k| 149M|  44 |   6 |  50 |  18 |   6 |  50 |  19 |  23 |  32k|4197 | 0.000000e+00 |      --      |    Inf 
711.08/711.39	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
711.08/711.39	c   683s|  1730k|281365 |  4032k| 150M|  44 |   6 |  50 |  19 |   6 |  50 |  19 |  23 |  32k|4207 | 0.000000e+00 |      --      |    Inf 
715.27/715.52	c   687s|  1740k|282873 |  4054k| 151M|  44 |   6 |  50 |  17 |   6 |  50 |  19 |  23 |  32k|4221 | 0.000000e+00 |      --      |    Inf 
719.48/719.70	c   691s|  1750k|284237 |  4078k| 152M|  44 |   6 |  50 |  12 |   7 |  50 |  19 |  23 |  32k|4238 | 0.000000e+00 |      --      |    Inf 
723.48/723.79	c   695s|  1760k|285663 |  4101k| 153M|  44 |   - |  50 |  19 |   6 |   0 |   0 |  23 |  33k|4245 | 0.000000e+00 |      --      |    Inf 
727.57/727.90	c   699s|  1770k|287372 |  4124k| 153M|  44 |   6 |  50 |  19 |   6 |  50 |  19 |  23 |  33k|4261 | 0.000000e+00 |      --      |    Inf 
731.68/731.99	c   703s|  1780k|288847 |  4147k| 154M|  44 |   6 |  50 |  29 |   6 |  50 |  19 |  23 |  33k|4270 | 0.000000e+00 |      --      |    Inf 
735.77/736.07	c   707s|  1790k|290210 |  4170k| 155M|  44 |   6 |  50 |  25 |   6 |  50 |  19 |  23 |  33k|4280 | 0.000000e+00 |      --      |    Inf 
739.87/740.16	c   711s|  1800k|291427 |  4192k| 156M|  44 |   - |  50 |  16 |   6 |  50 |  19 |  23 |  33k|4294 | 0.000000e+00 |      --      |    Inf 
743.97/744.25	c   714s|  1810k|293535 |  4215k| 157M|  44 |   6 |  50 |  22 |   6 |  50 |  19 |  23 |  33k|4301 | 0.000000e+00 |      --      |    Inf 
748.17/748.43	c   719s|  1820k|295239 |  4238k| 158M|  44 |   6 |  50 |  22 |   6 |  50 |  19 |  23 |  33k|4315 | 0.000000e+00 |      --      |    Inf 
752.27/752.53	c   722s|  1830k|296472 |  4261k| 158M|  44 |   - |  50 |  14 |   5 |   0 |   0 |  23 |  33k|4322 | 0.000000e+00 |      --      |    Inf 
756.48/756.74	c   726s|  1840k|297647 |  4284k| 159M|  44 |   6 |  50 |  12 |   6 |  50 |  19 |  23 |  34k|4331 | 0.000000e+00 |      --      |    Inf 
760.67/760.90	c   730s|  1850k|299027 |  4307k| 160M|  44 |   - |  50 |  10 |   6 |  50 |  19 |  23 |  34k|4338 | 0.000000e+00 |      --      |    Inf 
764.76/765.02	c   734s|  1860k|300233 |  4330k| 161M|  44 |   - |  50 |  23 |   6 |  50 |  19 |  23 |  34k|4344 | 0.000000e+00 |      --      |    Inf 
768.86/769.12	c   738s|  1870k|301525 |  4353k| 161M|  44 |   - |  50 |  16 |   6 |  50 |  19 |  23 |  34k|4355 | 0.000000e+00 |      --      |    Inf 
772.97/773.28	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
772.97/773.28	c   742s|  1880k|303332 |  4376k| 162M|  44 |   - |  50 |  23 |   6 |  50 |  19 |  23 |  34k|4370 | 0.000000e+00 |      --      |    Inf 
777.26/777.56	c   746s|  1890k|304577 |  4400k| 163M|  44 |   - |  50 |  20 |   6 |  50 |  19 |  23 |  35k|4382 | 0.000000e+00 |      --      |    Inf 
781.46/781.70	c   750s|  1900k|306508 |  4424k| 164M|  44 |   6 |  50 |  26 |   6 |  50 |  19 |  23 |  35k|4394 | 0.000000e+00 |      --      |    Inf 
785.46/785.75	c   754s|  1910k|307975 |  4446k| 165M|  44 |   6 |  50 |  22 |   6 |  50 |  19 |  23 |  35k|4410 | 0.000000e+00 |      --      |    Inf 
789.66/789.93	c   758s|  1920k|309653 |  4470k| 166M|  44 |   6 |  50 |  25 |   7 |  50 |  19 |  23 |  35k|4424 | 0.000000e+00 |      --      |    Inf 
793.86/794.15	c   762s|  1930k|311104 |  4494k| 166M|  44 |   - |  50 |  23 |   6 |  50 |  19 |  23 |  35k|4431 | 0.000000e+00 |      --      |    Inf 
797.95/798.25	c   766s|  1940k|312536 |  4517k| 167M|  44 |   6 |  50 |  29 |   6 |  50 |  19 |  23 |  35k|4443 | 0.000000e+00 |      --      |    Inf 
802.15/802.40	c   770s|  1950k|313915 |  4540k| 168M|  44 |   6 |  50 |  17 |   6 |  50 |  19 |  23 |  35k|4450 | 0.000000e+00 |      --      |    Inf 
806.26/806.53	c   774s|  1960k|315370 |  4564k| 169M|  44 |   6 |  50 |  22 |   6 |  50 |  19 |  23 |  36k|4465 | 0.000000e+00 |      --      |    Inf 
810.36/810.68	c   778s|  1970k|316959 |  4587k| 170M|  44 |   6 |  50 |  34 |   8 |  50 |  19 |  23 |  36k|4477 | 0.000000e+00 |      --      |    Inf 
814.55/814.81	c   782s|  1980k|318223 |  4609k| 170M|  44 |   - |  50 |  34 |   6 |  50 |  19 |  23 |  36k|4489 | 0.000000e+00 |      --      |    Inf 
818.56/818.89	c   786s|  1990k|320632 |  4632k| 172M|  44 |   6 |  50 |  33 |   6 |  50 |  19 |  23 |  36k|4494 | 0.000000e+00 |      --      |    Inf 
822.65/822.99	c   790s|  2000k|322682 |  4655k| 173M|  44 |   6 |  50 |  33 |   6 |  50 |  19 |  23 |  36k|4509 | 0.000000e+00 |      --      |    Inf 
826.75/827.07	c   794s|  2010k|324471 |  4677k| 173M|  44 |   6 |  50 |  24 |   6 |  50 |  19 |  23 |  37k|4517 | 0.000000e+00 |      --      |    Inf 
830.84/831.18	c   798s|  2020k|326075 |  4700k| 174M|  44 |   6 |  50 |  27 |   8 |  50 |  19 |  23 |  37k|4528 | 0.000000e+00 |      --      |    Inf 
835.05/835.39	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
835.05/835.39	c   802s|  2030k|327293 |  4723k| 175M|  44 |   6 |  50 |  18 |   6 |  50 |  19 |  23 |  37k|4540 | 0.000000e+00 |      --      |    Inf 
839.35/839.64	c   806s|  2040k|328686 |  4746k| 176M|  44 |   6 |  50 |  31 |   6 |  50 |  19 |  23 |  37k|4551 | 0.000000e+00 |      --      |    Inf 
843.45/843.79	c   810s|  2050k|329864 |  4769k| 176M|  44 |   - |  50 |  24 |   6 |  50 |  19 |  23 |  37k|4557 | 0.000000e+00 |      --      |    Inf 
847.64/847.95	c   814s|  2060k|331206 |  4793k| 177M|  44 |   - |  50 |  22 |   6 |  50 |  19 |  23 |  37k|4572 | 0.000000e+00 |      --      |    Inf 
851.74/852.08	c   818s|  2070k|332566 |  4815k| 178M|  44 |   6 |  50 |  16 |   6 |  50 |  19 |  23 |  37k|4581 | 0.000000e+00 |      --      |    Inf 
855.94/856.29	c   822s|  2080k|334071 |  4838k| 179M|  44 |   6 |  50 |  24 |   6 |  50 |  19 |  23 |  38k|4593 | 0.000000e+00 |      --      |    Inf 
860.13/860.43	c   826s|  2090k|335505 |  4861k| 180M|  44 |   6 |  50 |  25 |   6 |  50 |  19 |  23 |  38k|4601 | 0.000000e+00 |      --      |    Inf 
864.24/864.53	c   830s|  2100k|336949 |  4884k| 180M|  44 |   - |  50 |  25 |   7 |  50 |  19 |  23 |  38k|4611 | 0.000000e+00 |      --      |    Inf 
868.24/868.52	c   834s|  2110k|338275 |  4905k| 181M|  44 |   - |  50 |  30 |   7 |  50 |  19 |  23 |  38k|4621 | 0.000000e+00 |      --      |    Inf 
872.23/872.58	c   838s|  2120k|339748 |  4927k| 182M|  44 |   6 |  50 |  25 |   6 |  50 |  19 |  23 |  38k|4628 | 0.000000e+00 |      --      |    Inf 
876.33/876.68	c   842s|  2130k|341553 |  4950k| 183M|  44 |   6 |  50 |  39 |   6 |  50 |  19 |  23 |  38k|4632 | 0.000000e+00 |      --      |    Inf 
880.53/880.88	c   846s|  2140k|342706 |  4973k| 184M|  44 |   6 |  50 |  25 |   6 |  50 |  19 |  23 |  39k|4640 | 0.000000e+00 |      --      |    Inf 
884.73/885.00	c   850s|  2150k|344134 |  4995k| 184M|  44 |   6 |  50 |  29 |   6 |  50 |  19 |  23 |  39k|4646 | 0.000000e+00 |      --      |    Inf 
888.73/889.09	c   854s|  2160k|345370 |  5018k| 185M|  44 |   - |  50 |  22 |   7 |  50 |  19 |  23 |  39k|4656 | 0.000000e+00 |      --      |    Inf 
892.94/893.25	c   858s|  2170k|346644 |  5040k| 186M|  44 |   6 |  50 |  22 |   6 |  50 |  19 |  23 |  39k|4666 | 0.000000e+00 |      --      |    Inf 
897.13/897.40	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
897.13/897.40	c   862s|  2180k|347947 |  5063k| 187M|  44 |   6 |  50 |  18 |   8 |  50 |  19 |  23 |  39k|4673 | 0.000000e+00 |      --      |    Inf 
901.22/901.57	c   866s|  2190k|349505 |  5086k| 187M|  44 |   6 |  50 |  20 |   6 |  50 |  19 |  23 |  39k|4686 | 0.000000e+00 |      --      |    Inf 
905.43/905.77	c   870s|  2200k|350797 |  5109k| 188M|  44 |   6 |  50 |  15 |   7 |  50 |  19 |  23 |  39k|4701 | 0.000000e+00 |      --      |    Inf 
909.63/909.94	c   874s|  2210k|352310 |  5133k| 189M|  44 |   - |  50 |  17 |   6 |  50 |  19 |  23 |  40k|4710 | 0.000000e+00 |      --      |    Inf 
913.83/914.15	c   878s|  2220k|353643 |  5156k| 190M|  44 |   - |  50 |  28 |   6 |  50 |  19 |  23 |  40k|4722 | 0.000000e+00 |      --      |    Inf 
918.02/918.34	c   882s|  2230k|355072 |  5178k| 190M|  44 |   6 |  50 |  21 |   6 |  50 |  19 |  23 |  40k|4731 | 0.000000e+00 |      --      |    Inf 
922.22/922.52	c   886s|  2240k|356161 |  5201k| 191M|  44 |   6 |  50 |  16 |   6 |  50 |  19 |  23 |  40k|4742 | 0.000000e+00 |      --      |    Inf 
926.32/926.61	c   890s|  2250k|357517 |  5223k| 192M|  44 |   6 |  50 |  22 |  10 |  50 |  19 |  23 |  40k|4750 | 0.000000e+00 |      --      |    Inf 
930.42/930.71	c   894s|  2260k|358840 |  5246k| 193M|  44 |   6 |  50 |  27 |   6 |  50 |  19 |  23 |  41k|4759 | 0.000000e+00 |      --      |    Inf 
934.62/934.90	c   898s|  2270k|360374 |  5270k| 193M|  44 |   - |  50 |  20 |   6 |   0 |   0 |  23 |  41k|4772 | 0.000000e+00 |      --      |    Inf 
938.71/939.01	c   902s|  2280k|361633 |  5292k| 194M|  44 |   - |  50 |  20 |   6 |  50 |  19 |  23 |  41k|4778 | 0.000000e+00 |      --      |    Inf 
942.82/943.13	c   906s|  2290k|362988 |  5314k| 195M|  44 |   6 |  50 |  16 |   6 |  50 |  19 |  23 |  41k|4789 | 0.000000e+00 |      --      |    Inf 
946.91/947.28	c   909s|  2300k|364472 |  5337k| 196M|  44 |   - |  50 |  25 |   6 |   0 |   0 |  23 |  41k|4794 | 0.000000e+00 |      --      |    Inf 
951.12/951.42	c   913s|  2310k|366266 |  5361k| 197M|  44 |   - |  50 |  28 |   7 |   0 |   0 |  23 |  41k|4806 | 0.000000e+00 |      --      |    Inf 
955.31/955.65	c   918s|  2320k|367903 |  5385k| 198M|  44 |   6 |  50 |  24 |   6 |  50 |  19 |  23 |  42k|4816 | 0.000000e+00 |      --      |    Inf 
959.51/959.85	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
959.51/959.85	c   922s|  2330k|369262 |  5408k| 198M|  44 |   - |  50 |  27 |   6 |  50 |  19 |  23 |  42k|4823 | 0.000000e+00 |      --      |    Inf 
963.61/963.98	c   926s|  2340k|371166 |  5431k| 199M|  44 |   - |  50 |  25 |   6 |  50 |  19 |  23 |  42k|4832 | 0.000000e+00 |      --      |    Inf 
967.71/968.01	c   929s|  2350k|373176 |  5454k| 200M|  44 |   - |  50 |  36 |   6 |  50 |  19 |  23 |  42k|4842 | 0.000000e+00 |      --      |    Inf 
971.81/972.12	c   933s|  2360k|374709 |  5476k| 201M|  44 |   - |  50 |  39 |   7 |  50 |  19 |  23 |  42k|4851 | 0.000000e+00 |      --      |    Inf 
975.90/976.26	c   937s|  2370k|375991 |  5498k| 202M|  44 |   - |  50 |  33 |   6 |  50 |  19 |  23 |  42k|4862 | 0.000000e+00 |      --      |    Inf 
980.10/980.50	c   941s|  2380k|377483 |  5521k| 203M|  44 |   6 |  50 |  34 |   6 |  50 |  19 |  23 |  42k|4874 | 0.000000e+00 |      --      |    Inf 
984.31/984.67	c   945s|  2390k|378738 |  5544k| 203M|  44 |   6 |  50 |  24 |   8 |  50 |  19 |  23 |  43k|4884 | 0.000000e+00 |      --      |    Inf 
988.40/988.76	c   949s|  2400k|380076 |  5566k| 204M|  44 |   6 |  50 |  20 |   6 |  50 |  19 |  23 |  43k|4893 | 0.000000e+00 |      --      |    Inf 
992.60/992.98	c   953s|  2410k|381303 |  5589k| 205M|  44 |   6 |  50 |  17 |   6 |  50 |  19 |  23 |  43k|4901 | 0.000000e+00 |      --      |    Inf 
996.90/997.22	c   957s|  2420k|382742 |  5612k| 206M|  44 |   - |  50 |  79 |   6 |  50 |  19 |  23 |  43k|4916 | 0.000000e+00 |      --      |    Inf 
1001.00/1001.38	c   961s|  2430k|384336 |  5635k| 207M|  44 |   6 |  50 |  70 |   6 |  50 |  19 |  23 |  43k|4922 | 0.000000e+00 |      --      |    Inf 
1005.20/1005.58	c   965s|  2440k|386111 |  5659k| 207M|  44 |   6 |  50 |  43 |   6 |  50 |  19 |  23 |  43k|4931 | 0.000000e+00 |      --      |    Inf 
1009.40/1009.77	c   969s|  2450k|387658 |  5682k| 208M|  44 |   - |  50 |  36 |   6 |   0 |   0 |  23 |  44k|4938 | 0.000000e+00 |      --      |    Inf 
1013.60/1013.96	c   973s|  2460k|389013 |  5705k| 209M|  44 |   6 |  50 |  24 |   6 |  50 |  19 |  23 |  44k|4951 | 0.000000e+00 |      --      |    Inf 
1017.79/1018.19	c   978s|  2470k|390348 |  5727k| 210M|  44 |   - |  50 |  14 |   6 |   0 |   0 |  23 |  44k|4959 | 0.000000e+00 |      --      |    Inf 
1021.99/1022.36	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1021.99/1022.36	c   982s|  2480k|392221 |  5752k| 211M|  44 |   - |  50 |  17 |   6 |  50 |  19 |  23 |  44k|4968 | 0.000000e+00 |      --      |    Inf 
1026.29/1026.60	c   986s|  2490k|393609 |  5776k| 212M|  44 |   6 |  50 |  21 |   6 |  50 |  19 |  23 |  44k|4979 | 0.000000e+00 |      --      |    Inf 
1030.40/1030.73	c   990s|  2500k|395115 |  5798k| 212M|  44 |   6 |  50 |  21 |   6 |  50 |  19 |  23 |  44k|4988 | 0.000000e+00 |      --      |    Inf 
1034.59/1034.93	c   994s|  2510k|397615 |  5822k| 214M|  44 |   - |  50 |  44 |   6 |  50 |  19 |  23 |  45k|4993 | 0.000000e+00 |      --      |    Inf 
1038.78/1039.16	c   998s|  2520k|400282 |  5847k| 215M|  44 |   - |  50 |  58 |   6 |  50 |  19 |  23 |  45k|5002 | 0.000000e+00 |      --      |    Inf 
1043.09/1043.44	c  1002s|  2530k|402532 |  5872k| 216M|  44 |   6 |  50 |  49 |   7 |  50 |  19 |  23 |  45k|5008 | 0.000000e+00 |      --      |    Inf 
1047.38/1047.74	c  1006s|  2540k|404476 |  5897k| 217M|  44 |   6 |  50 |  36 |   6 |  50 |  19 |  23 |  45k|5016 | 0.000000e+00 |      --      |    Inf 
1051.69/1052.01	c  1010s|  2550k|406344 |  5921k| 218M|  44 |   6 |  50 |  54 |   7 |  50 |  19 |  23 |  45k|5031 | 0.000000e+00 |      --      |    Inf 
1055.89/1056.25	c  1014s|  2560k|408481 |  5945k| 219M|  44 |   6 |  50 |  48 |   6 |  50 |  19 |  23 |  46k|5037 | 0.000000e+00 |      --      |    Inf 
1060.19/1060.55	c  1018s|  2570k|410283 |  5969k| 220M|  44 |   - |  50 |  44 |   6 |  50 |  19 |  23 |  46k|5048 | 0.000000e+00 |      --      |    Inf 
1064.48/1064.87	c  1022s|  2580k|412152 |  5994k| 221M|  44 |   - |  50 |  44 |   6 |   0 |   0 |  23 |  46k|5057 | 0.000000e+00 |      --      |    Inf 
1068.78/1069.18	c  1027s|  2590k|414123 |  6019k| 222M|  44 |   6 |  50 |  46 |   6 |  50 |  19 |  23 |  46k|5065 | 0.000000e+00 |      --      |    Inf 
1073.08/1073.45	c  1031s|  2600k|416180 |  6043k| 223M|  44 |   - |  50 |  44 |   6 |  50 |  19 |  23 |  47k|5078 | 0.000000e+00 |      --      |    Inf 
1077.37/1077.74	c  1035s|  2610k|418087 |  6068k| 224M|  44 |   - |  50 |  42 |   6 |  50 |  19 |  23 |  47k|5089 | 0.000000e+00 |      --      |    Inf 
1081.78/1082.10	c  1039s|  2620k|419816 |  6093k| 225M|  44 |   6 |  50 |  32 |   7 |  50 |  19 |  23 |  47k|5097 | 0.000000e+00 |      --      |    Inf 
1086.08/1086.46	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1086.08/1086.46	c  1043s|  2630k|421363 |  6118k| 226M|  44 |   - |  50 |  36 |   6 |  50 |  19 |  23 |  47k|5105 | 0.000000e+00 |      --      |    Inf 
1090.48/1090.82	c  1047s|  2640k|422954 |  6143k| 226M|  44 |   - |  50 |  40 |   6 |  50 |  19 |  23 |  47k|5115 | 0.000000e+00 |      --      |    Inf 
1094.67/1095.08	c  1051s|  2650k|424895 |  6166k| 227M|  44 |   6 |  50 |  45 |   6 |  50 |  19 |  23 |  48k|5129 | 0.000000e+00 |      --      |    Inf 
1098.97/1099.34	c  1056s|  2660k|426811 |  6190k| 228M|  44 |   6 |  50 |  42 |   6 |  50 |  19 |  23 |  48k|5139 | 0.000000e+00 |      --      |    Inf 
1103.37/1103.70	c  1060s|  2670k|428448 |  6216k| 229M|  44 |   - |  50 |  36 |   6 |  50 |  19 |  23 |  48k|5154 | 0.000000e+00 |      --      |    Inf 
1107.67/1108.02	c  1064s|  2680k|430000 |  6241k| 230M|  44 |   - |  50 |  32 |   6 |  50 |  19 |  23 |  48k|5166 | 0.000000e+00 |      --      |    Inf 
1111.97/1112.35	c  1068s|  2690k|431502 |  6265k| 231M|  44 |   - |  50 |  27 |   6 |  50 |  19 |  23 |  48k|5177 | 0.000000e+00 |      --      |    Inf 
1116.37/1116.75	c  1072s|  2700k|432871 |  6290k| 232M|  44 |   - |  50 |  31 |   6 |  50 |  19 |  23 |  48k|5184 | 0.000000e+00 |      --      |    Inf 
1120.76/1121.17	c  1076s|  2710k|434171 |  6315k| 233M|  44 |   - |  50 |  33 |   6 |  50 |  19 |  23 |  49k|5198 | 0.000000e+00 |      --      |    Inf 
1125.06/1125.46	c  1081s|  2720k|435906 |  6340k| 233M|  44 |   6 |  50 |  36 |   9 |  50 |  19 |  23 |  49k|5207 | 0.000000e+00 |      --      |    Inf 
1129.37/1129.73	c  1085s|  2730k|437305 |  6364k| 234M|  44 |   6 |  50 |  27 |   7 |  50 |  19 |  23 |  49k|5217 | 0.000000e+00 |      --      |    Inf 
1133.76/1134.11	c  1089s|  2740k|438923 |  6389k| 235M|  44 |   6 |  50 |  33 |   6 |  50 |  19 |  23 |  49k|5226 | 0.000000e+00 |      --      |    Inf 
1137.96/1138.39	c  1093s|  2750k|440413 |  6413k| 236M|  44 |   6 |  50 |  44 |   7 |  50 |  19 |  23 |  49k|5236 | 0.000000e+00 |      --      |    Inf 
1142.16/1142.58	c  1097s|  2760k|441871 |  6435k| 237M|  44 |   - |  50 |  38 |   5 |   0 |   0 |  23 |  50k|5244 | 0.000000e+00 |      --      |    Inf 
1146.36/1146.77	c  1101s|  2770k|443213 |  6458k| 238M|  44 |   - |  50 |  26 |   6 |  50 |  19 |  23 |  50k|5252 | 0.000000e+00 |      --      |    Inf 
1150.46/1150.80	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1150.46/1150.80	c  1105s|  2780k|444692 |  6480k| 238M|  44 |   6 |  50 |  22 |   6 |  50 |  19 |  23 |  50k|5260 | 0.000000e+00 |      --      |    Inf 
1154.66/1155.02	c  1109s|  2790k|446210 |  6504k| 239M|  44 |   6 |  50 |  29 |   8 |  50 |  19 |  23 |  50k|5269 | 0.000000e+00 |      --      |    Inf 
1158.86/1159.24	c  1113s|  2800k|447497 |  6527k| 240M|  44 |   6 |  50 |  16 |   6 |  50 |  19 |  23 |  50k|5277 | 0.000000e+00 |      --      |    Inf 
1163.05/1163.46	c  1117s|  2810k|448766 |  6550k| 241M|  44 |   - |  50 |  15 |   6 |   0 |   0 |  23 |  50k|5285 | 0.000000e+00 |      --      |    Inf 
1167.15/1167.55	c  1121s|  2820k|450236 |  6573k| 241M|  44 |   6 |  50 |  18 |   6 |  50 |  19 |  23 |  51k|5296 | 0.000000e+00 |      --      |    Inf 
1171.35/1171.70	c  1125s|  2830k|451878 |  6596k| 242M|  44 |   6 |  50 |  30 |   6 |  50 |  19 |  23 |  51k|5302 | 0.000000e+00 |      --      |    Inf 
1175.46/1175.89	c  1129s|  2840k|453403 |  6619k| 243M|  44 |   - |  50 |  23 |   6 |  50 |  19 |  23 |  51k|5320 | 0.000000e+00 |      --      |    Inf 
1179.65/1180.09	c  1133s|  2850k|454565 |  6643k| 244M|  44 |   6 |  50 |  21 |   6 |  50 |  19 |  23 |  51k|5328 | 0.000000e+00 |      --      |    Inf 
1183.85/1184.22	c  1137s|  2860k|455679 |  6666k| 245M|  44 |   6 |  50 |  24 |   6 |  50 |  19 |  23 |  51k|5336 | 0.000000e+00 |      --      |    Inf 
1187.95/1188.34	c  1141s|  2870k|457175 |  6689k| 245M|  44 |   6 |  50 |  26 |   6 |  50 |  19 |  23 |  51k|5345 | 0.000000e+00 |      --      |    Inf 
1192.24/1192.66	c  1145s|  2880k|458753 |  6715k| 246M|  44 |   - |  50 |  39 |   6 |  50 |  19 |  23 |  51k|5355 | 0.000000e+00 |      --      |    Inf 
1196.54/1196.97	c  1149s|  2890k|460375 |  6739k| 247M|  44 |   - |  50 |  36 |   6 |   0 |   0 |  23 |  52k|5364 | 0.000000e+00 |      --      |    Inf 
1200.84/1201.29	c  1153s|  2900k|461631 |  6763k| 248M|  44 |   - |  50 |  23 |   6 |  50 |  19 |  23 |  52k|5374 | 0.000000e+00 |      --      |    Inf 
1204.94/1205.34	c  1157s|  2910k|463112 |  6786k| 249M|  44 |   - |  50 |  22 |   6 |  50 |  19 |  23 |  52k|5380 | 0.000000e+00 |      --      |    Inf 
1209.14/1209.52	c  1161s|  2920k|464305 |  6809k| 249M|  44 |   6 |  50 |  27 |   6 |  50 |  19 |  23 |  52k|5389 | 0.000000e+00 |      --      |    Inf 
1213.34/1213.78	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1213.34/1213.78	c  1165s|  2930k|465805 |  6833k| 250M|  44 |   6 |  50 |  24 |   6 |  50 |  19 |  23 |  52k|5399 | 0.000000e+00 |      --      |    Inf 
1217.64/1218.03	c  1170s|  2940k|467247 |  6856k| 251M|  44 |   6 |  50 |  27 |   7 |  50 |  19 |  23 |  52k|5409 | 0.000000e+00 |      --      |    Inf 
1221.94/1222.31	c  1174s|  2950k|468551 |  6880k| 252M|  44 |   - |  50 |  21 |   6 |  50 |  19 |  23 |  52k|5419 | 0.000000e+00 |      --      |    Inf 
1226.04/1226.41	c  1178s|  2960k|469929 |  6902k| 253M|  44 |   - |  50 |  13 |   6 |  50 |  19 |  23 |  52k|5423 | 0.000000e+00 |      --      |    Inf 
1230.14/1230.51	c  1182s|  2970k|471346 |  6924k| 253M|  44 |   - |  50 |  16 |   6 |  50 |  19 |  23 |  53k|5429 | 0.000000e+00 |      --      |    Inf 
1234.34/1234.77	c  1186s|  2980k|472552 |  6947k| 254M|  44 |   - |  50 |  14 |   6 |  50 |  19 |  23 |  53k|5435 | 0.000000e+00 |      --      |    Inf 
1238.63/1239.05	c  1190s|  2990k|473686 |  6971k| 255M|  44 |   6 |  50 |  13 |   6 |  50 |  19 |  23 |  53k|5441 | 0.000000e+00 |      --      |    Inf 
1242.93/1243.39	c  1194s|  3000k|474867 |  6995k| 255M|  44 |   6 |  50 |  18 |   9 |  50 |  19 |  23 |  53k|5452 | 0.000000e+00 |      --      |    Inf 
1247.13/1247.54	c  1198s|  3010k|476194 |  7018k| 256M|  44 |   - |  50 |  17 |   6 |  50 |  19 |  23 |  53k|5462 | 0.000000e+00 |      --      |    Inf 
1251.23/1251.67	c  1202s|  3020k|477632 |  7041k| 257M|  44 |   - |  50 |  15 |   6 |  50 |  19 |  23 |  53k|5470 | 0.000000e+00 |      --      |    Inf 
1255.53/1255.93	c  1206s|  3030k|479012 |  7064k| 258M|  44 |   6 |  50 |  19 |   6 |  50 |  19 |  23 |  54k|5480 | 0.000000e+00 |      --      |    Inf 
1259.72/1260.13	c  1210s|  3040k|480293 |  7087k| 258M|  44 |   - |  50 |  25 |   6 |   0 |   0 |  23 |  54k|5491 | 0.000000e+00 |      --      |    Inf 
1263.92/1264.34	c  1214s|  3050k|481544 |  7110k| 259M|  44 |   - |  50 |  20 |  11 |   0 |   0 |  23 |  54k|5497 | 0.000000e+00 |      --      |    Inf 
1268.22/1268.66	c  1218s|  3060k|482946 |  7136k| 260M|  44 |   - |  50 |  35 |   6 |  50 |  19 |  23 |  54k|5512 | 0.000000e+00 |      --      |    Inf 
1272.52/1272.92	c  1222s|  3070k|484642 |  7159k| 261M|  44 |   6 |  50 |  31 |   7 |  50 |  19 |  23 |  54k|5520 | 0.000000e+00 |      --      |    Inf 
1276.83/1277.22	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1276.83/1277.22	c  1226s|  3080k|486068 |  7183k| 262M|  44 |   6 |  50 |  34 |   6 |  50 |  19 |  23 |  55k|5526 | 0.000000e+00 |      --      |    Inf 
1280.92/1281.37	c  1230s|  3090k|487564 |  7205k| 263M|  44 |   - |  50 |  24 |   6 |  50 |  19 |  23 |  55k|5531 | 0.000000e+00 |      --      |    Inf 
1285.02/1285.46	c  1234s|  3100k|489456 |  7227k| 263M|  44 |   6 |  50 |  23 |   6 |  50 |  19 |  23 |  55k|5541 | 0.000000e+00 |      --      |    Inf 
1289.12/1289.59	c  1238s|  3110k|491136 |  7250k| 264M|  44 |   6 |  50 |  28 |   7 |  50 |  19 |  23 |  55k|5546 | 0.000000e+00 |      --      |    Inf 
1293.42/1293.80	c  1242s|  3120k|492680 |  7273k| 265M|  44 |   6 |  50 |  25 |   6 |  50 |  19 |  23 |  55k|5558 | 0.000000e+00 |      --      |    Inf 
1297.62/1298.05	c  1246s|  3130k|494203 |  7297k| 266M|  44 |   - |  50 |  26 |   6 |  50 |  19 |  23 |  56k|5568 | 0.000000e+00 |      --      |    Inf 
1301.82/1302.20	c  1250s|  3140k|495541 |  7320k| 267M|  44 |   6 |  50 |  17 |   6 |  50 |  19 |  23 |  56k|5574 | 0.000000e+00 |      --      |    Inf 
1306.01/1306.42	c  1254s|  3150k|496942 |  7343k| 268M|  44 |   6 |  50 |  14 |   6 |  50 |  19 |  23 |  56k|5583 | 0.000000e+00 |      --      |    Inf 
1310.21/1310.67	c  1258s|  3160k|498467 |  7367k| 268M|  44 |   - |  50 |  25 |   6 |  50 |  19 |  23 |  56k|5589 | 0.000000e+00 |      --      |    Inf 
1314.51/1314.95	c  1263s|  3170k|499941 |  7392k| 269M|  44 |   6 |  50 |  25 |   6 |  50 |  19 |  23 |  56k|5596 | 0.000000e+00 |      --      |    Inf 
1318.81/1319.20	c  1267s|  3180k|501506 |  7416k| 270M|  44 |   - |  50 |  34 |   6 |   0 |   0 |  23 |  56k|5604 | 0.000000e+00 |      --      |    Inf 
1323.01/1323.46	c  1271s|  3190k|502892 |  7440k| 271M|  44 |   - |  50 |  29 |   5 |   0 |   0 |  23 |  56k|5614 | 0.000000e+00 |      --      |    Inf 
1327.21/1327.61	c  1275s|  3200k|504179 |  7463k| 272M|  44 |   6 |  50 |  23 |   7 |  50 |  19 |  23 |  57k|5620 | 0.000000e+00 |      --      |    Inf 
1331.40/1331.86	c  1279s|  3210k|505761 |  7486k| 272M|  44 |   6 |  50 |  38 |   6 |  50 |  19 |  23 |  57k|5631 | 0.000000e+00 |      --      |    Inf 
1335.70/1336.15	c  1283s|  3220k|507068 |  7510k| 273M|  44 |   - |  50 |  33 |   5 |   0 |   0 |  23 |  57k|5642 | 0.000000e+00 |      --      |    Inf 
1339.90/1340.39	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1339.90/1340.39	c  1287s|  3230k|508359 |  7533k| 274M|  44 |   - |  50 |  21 |   6 |  50 |  19 |  23 |  57k|5650 | 0.000000e+00 |      --      |    Inf 
1344.20/1344.68	c  1291s|  3240k|509682 |  7558k| 275M|  44 |   6 |  50 |  20 |   6 |  50 |  19 |  23 |  57k|5660 | 0.000000e+00 |      --      |    Inf 
1348.40/1348.88	c  1295s|  3250k|511145 |  7581k| 276M|  44 |   6 |  50 |  17 |   6 |  50 |  19 |  23 |  57k|5669 | 0.000000e+00 |      --      |    Inf 
1352.70/1353.18	c  1299s|  3260k|512255 |  7605k| 276M|  44 |   6 |  50 |  15 |   6 |  50 |  19 |  23 |  57k|5677 | 0.000000e+00 |      --      |    Inf 
1357.09/1357.50	c  1303s|  3270k|513487 |  7628k| 277M|  44 |   6 |  50 |  15 |   6 |  50 |  19 |  23 |  58k|5687 | 0.000000e+00 |      --      |    Inf 
1361.31/1361.71	c  1307s|  3280k|515024 |  7651k| 278M|  44 |   6 |  50 |  19 |   6 |  50 |  19 |  23 |  58k|5696 | 0.000000e+00 |      --      |    Inf 
1365.39/1365.88	c  1312s|  3290k|516269 |  7674k| 278M|  44 |   - |  50 |  15 |   6 |  50 |  19 |  23 |  58k|5704 | 0.000000e+00 |      --      |    Inf 
1369.69/1370.11	c  1316s|  3300k|517471 |  7697k| 279M|  44 |   6 |  50 |  26 |   6 |  50 |  19 |  23 |  58k|5715 | 0.000000e+00 |      --      |    Inf 
1373.90/1374.34	c  1320s|  3310k|519888 |  7721k| 280M|  44 |   6 |  50 |  31 |   7 |  50 |  19 |  23 |  58k|5722 | 0.000000e+00 |      --      |    Inf 
1378.09/1378.56	c  1324s|  3320k|521986 |  7745k| 281M|  44 |   6 |  50 |  31 |   6 |  50 |  19 |  23 |  58k|5728 | 0.000000e+00 |      --      |    Inf 
1382.40/1382.81	c  1328s|  3330k|524241 |  7769k| 282M|  44 |   6 |  50 |  33 |   6 |  50 |  19 |  23 |  58k|5738 | 0.000000e+00 |      --      |    Inf 
1386.59/1387.03	c  1332s|  3340k|526114 |  7793k| 283M|  44 |   6 |  50 |  33 |   6 |  50 |  19 |  23 |  58k|5746 | 0.000000e+00 |      --      |    Inf 
1390.89/1391.37	c  1336s|  3350k|527871 |  7818k| 284M|  44 |   6 |  50 |  34 |   6 |  50 |  19 |  23 |  58k|5754 | 0.000000e+00 |      --      |    Inf 
1395.19/1395.69	c  1340s|  3360k|529593 |  7843k| 285M|  44 |   6 |  50 |  31 |   6 |  50 |  19 |  23 |  58k|5762 | 0.000000e+00 |      --      |    Inf 
1399.69/1400.14	c  1344s|  3370k|531125 |  7869k| 286M|  44 |   - |  50 |  31 |   6 |  50 |  19 |  23 |  58k|5770 | 0.000000e+00 |      --      |    Inf 
1403.88/1404.35	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1403.88/1404.35	c  1348s|  3380k|533181 |  7892k| 287M|  44 |   - |  50 |  29 |   6 |  50 |  19 |  23 |  58k|5776 | 0.000000e+00 |      --      |    Inf 
1408.08/1408.56	c  1352s|  3390k|534750 |  7916k| 288M|  44 |   6 |  50 |  32 |   7 |  50 |  19 |  23 |  59k|5789 | 0.000000e+00 |      --      |    Inf 
1412.48/1412.90	c  1357s|  3400k|536460 |  7941k| 289M|  44 |   6 |  50 |  35 |   6 |  50 |  19 |  23 |  59k|5799 | 0.000000e+00 |      --      |    Inf 
1416.59/1417.08	c  1361s|  3410k|538125 |  7964k| 290M|  44 |   - |  50 |  36 |   7 |   0 |   0 |  23 |  59k|5807 | 0.000000e+00 |      --      |    Inf 
1420.79/1421.27	c  1365s|  3420k|539526 |  7987k| 290M|  44 |   6 |  50 |  33 |   6 |  50 |  19 |  23 |  59k|5815 | 0.000000e+00 |      --      |    Inf 
1424.98/1425.48	c  1369s|  3430k|540695 |  8009k| 291M|  44 |   6 |  50 |  26 |   6 |  50 |  19 |  23 |  59k|5823 | 0.000000e+00 |      --      |    Inf 
1429.18/1429.69	c  1373s|  3440k|542213 |  8032k| 292M|  44 |   - |  50 |  26 |   6 |  50 |  19 |  23 |  59k|5831 | 0.000000e+00 |      --      |    Inf 
1433.58/1434.02	c  1377s|  3450k|543613 |  8056k| 293M|  44 |   6 |  50 |  25 |   6 |  50 |  19 |  23 |  59k|5840 | 0.000000e+00 |      --      |    Inf 
1437.78/1438.24	c  1381s|  3460k|545132 |  8079k| 293M|  44 |   - |  50 |  22 |   6 |  50 |  19 |  23 |  59k|5849 | 0.000000e+00 |      --      |    Inf 
1441.98/1442.48	c  1385s|  3470k|546640 |  8102k| 294M|  44 |   - |  50 |  22 |   6 |  50 |  19 |  23 |  59k|5855 | 0.000000e+00 |      --      |    Inf 
1446.27/1446.72	c  1389s|  3480k|548370 |  8127k| 295M|  44 |   - |  50 |  23 |   6 |  50 |  19 |  23 |  59k|5862 | 0.000000e+00 |      --      |    Inf 
1450.48/1450.94	c  1393s|  3490k|549704 |  8150k| 296M|  44 |   6 |  50 |  21 |   6 |  50 |  19 |  23 |  60k|5874 | 0.000000e+00 |      --      |    Inf 
1454.68/1455.15	c  1397s|  3500k|550959 |  8172k| 297M|  44 |   - |  50 |  21 |   6 |  50 |  19 |  23 |  60k|5884 | 0.000000e+00 |      --      |    Inf 
1458.87/1459.37	c  1401s|  3510k|552564 |  8195k| 298M|  44 |   6 |  50 |  19 |   6 |  50 |  19 |  23 |  60k|5895 | 0.000000e+00 |      --      |    Inf 
1463.17/1463.67	c  1405s|  3520k|553725 |  8219k| 298M|  44 |   6 |  50 |  20 |   6 |  50 |  19 |  23 |  60k|5901 | 0.000000e+00 |      --      |    Inf 
1467.47/1467.91	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1467.47/1467.91	c  1409s|  3530k|554922 |  8241k| 299M|  44 |   - |  50 |  17 |   6 |  50 |  19 |  23 |  60k|5913 | 0.000000e+00 |      --      |    Inf 
1471.67/1472.17	c  1414s|  3540k|556415 |  8264k| 300M|  44 |   - |  50 |  19 |   5 |   0 |   0 |  23 |  60k|5925 | 0.000000e+00 |      --      |    Inf 
1475.87/1476.34	c  1418s|  3550k|557645 |  8287k| 300M|  44 |   6 |  50 |  17 |   6 |  50 |  19 |  23 |  61k|5929 | 0.000000e+00 |      --      |    Inf 
1480.27/1480.70	c  1422s|  3560k|558963 |  8310k| 301M|  44 |   6 |  50 |  31 |   6 |  50 |  19 |  23 |  61k|5935 | 0.000000e+00 |      --      |    Inf 
1484.27/1484.78	c  1426s|  3570k|560934 |  8332k| 302M|  44 |   - |  50 |  31 |   7 |   0 |   0 |  23 |  61k|5940 | 0.000000e+00 |      --      |    Inf 
1488.46/1488.94	c  1430s|  3580k|562202 |  8355k| 303M|  44 |   6 |  50 |  31 |   9 |  50 |  19 |  23 |  61k|5946 | 0.000000e+00 |      --      |    Inf 
1492.66/1493.19	c  1434s|  3590k|563384 |  8378k| 304M|  44 |   6 |  50 |  21 |   7 |  50 |  19 |  23 |  61k|5959 | 0.000000e+00 |      --      |    Inf 
1496.96/1497.41	c  1438s|  3600k|564648 |  8401k| 304M|  44 |   6 |  50 |  24 |   6 |  50 |  19 |  23 |  61k|5963 | 0.000000e+00 |      --      |    Inf 
1501.16/1501.65	c  1442s|  3610k|565998 |  8424k| 305M|  44 |   6 |  50 |  18 |   6 |  50 |  19 |  23 |  61k|5974 | 0.000000e+00 |      --      |    Inf 
1505.36/1505.81	c  1446s|  3620k|567645 |  8446k| 306M|  44 |   6 |  50 |  27 |   9 |  50 |  19 |  23 |  62k|5981 | 0.000000e+00 |      --      |    Inf 
1509.45/1509.94	c  1450s|  3630k|569149 |  8469k| 307M|  44 |   6 |  50 |  38 |   6 |  50 |  19 |  23 |  62k|5988 | 0.000000e+00 |      --      |    Inf 
1513.55/1514.09	c  1454s|  3640k|570366 |  8490k| 308M|  44 |   - |  50 |  27 |   6 |  50 |  19 |  23 |  62k|5992 | 0.000000e+00 |      --      |    Inf 
1517.96/1518.41	c  1458s|  3650k|571598 |  8514k| 308M|  44 |   - |  50 |  24 |   6 |  50 |  19 |  23 |  62k|6000 | 0.000000e+00 |      --      |    Inf 
1522.15/1522.65	c  1462s|  3660k|572943 |  8536k| 309M|  44 |   - |  50 |  20 |   7 |  50 |  19 |  23 |  62k|6008 | 0.000000e+00 |      --      |    Inf 
1526.46/1526.97	c  1466s|  3670k|574083 |  8560k| 310M|  44 |   6 |  50 |  16 |   6 |  50 |  19 |  23 |  62k|6016 | 0.000000e+00 |      --      |    Inf 
1530.75/1531.28	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1530.75/1531.28	c  1470s|  3680k|575441 |  8583k| 310M|  44 |   6 |  50 |  27 |   6 |  50 |  19 |  23 |  62k|6028 | 0.000000e+00 |      --      |    Inf 
1535.06/1535.51	c  1475s|  3690k|576931 |  8606k| 311M|  44 |   6 |  50 |  29 |   6 |  50 |  19 |  23 |  63k|6035 | 0.000000e+00 |      --      |    Inf 
1539.25/1539.78	c  1479s|  3700k|578859 |  8630k| 312M|  44 |   6 |  50 |  22 |   6 |  50 |  19 |  23 |  63k|6047 | 0.000000e+00 |      --      |    Inf 
1543.55/1544.00	c  1483s|  3710k|581178 |  8654k| 313M|  44 |   6 |  50 |  25 |   6 |  50 |  19 |  23 |  63k|6054 | 0.000000e+00 |      --      |    Inf 
1547.74/1548.25	c  1487s|  3720k|583268 |  8678k| 314M|  44 |   - |  50 |  22 |   7 |   0 |   0 |  23 |  63k|6065 | 0.000000e+00 |      --      |    Inf 
1552.04/1552.53	c  1491s|  3730k|584995 |  8702k| 315M|  44 |   6 |  50 |  26 |   6 |  50 |  19 |  23 |  63k|6073 | 0.000000e+00 |      --      |    Inf 
1556.34/1556.84	c  1495s|  3740k|586629 |  8727k| 316M|  44 |   - |  50 |  24 |   6 |  50 |  19 |  23 |  63k|6082 | 0.000000e+00 |      --      |    Inf 
1560.64/1561.13	c  1499s|  3750k|588259 |  8751k| 317M|  44 |   6 |  50 |  24 |   6 |  50 |  19 |  23 |  63k|6088 | 0.000000e+00 |      --      |    Inf 
1564.84/1565.35	c  1503s|  3760k|589990 |  8774k| 318M|  44 |   - |  50 |  22 |   6 |  50 |  19 |  23 |  63k|6096 | 0.000000e+00 |      --      |    Inf 
1568.94/1569.44	c  1507s|  3770k|592080 |  8797k| 319M|  44 |   - |  50 |  23 |   6 |  50 |  19 |  23 |  63k|6102 | 0.000000e+00 |      --      |    Inf 
1573.14/1573.62	c  1511s|  3780k|593810 |  8820k| 320M|  44 |   - |  50 |  23 |   6 |   0 |   0 |  23 |  63k|6110 | 0.000000e+00 |      --      |    Inf 
1577.34/1577.88	c  1515s|  3790k|595323 |  8843k| 321M|  44 |   - |  50 |  24 |   6 |  50 |  19 |  23 |  64k|6118 | 0.000000e+00 |      --      |    Inf 
1581.54/1582.08	c  1519s|  3800k|596712 |  8866k| 321M|  44 |   - |  50 |  26 |   6 |  50 |  19 |  23 |  64k|6124 | 0.000000e+00 |      --      |    Inf 
1585.94/1586.40	c  1523s|  3810k|597879 |  8889k| 322M|  44 |   - |  50 |  19 |   6 |  50 |  19 |  23 |  64k|6136 | 0.000000e+00 |      --      |    Inf 
1590.33/1590.80	c  1528s|  3820k|599035 |  8913k| 323M|  44 |   - |  50 |  15 |   6 |  50 |  19 |  23 |  64k|6149 | 0.000000e+00 |      --      |    Inf 
1594.54/1595.09	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1594.54/1595.09	c  1532s|  3830k|600247 |  8937k| 323M|  44 |   6 |  50 |  16 |   6 |  50 |  19 |  23 |  64k|6156 | 0.000000e+00 |      --      |    Inf 
1598.84/1599.40	c  1536s|  3840k|601424 |  8960k| 324M|  44 |   6 |  50 |  11 |   6 |  50 |  19 |  23 |  64k|6167 | 0.000000e+00 |      --      |    Inf 
1603.03/1603.52	c  1540s|  3850k|603152 |  8983k| 325M|  44 |   6 |  50 |  12 |   6 |  50 |  19 |  23 |  64k|6173 | 0.000000e+00 |      --      |    Inf 
1607.03/1607.59	c  1544s|  3860k|605497 |  9006k| 326M|  44 |   - |  50 |  15 |   7 |  50 |  19 |  23 |  64k|6183 | 0.000000e+00 |      --      |    Inf 
1611.13/1611.67	c  1548s|  3870k|607629 |  9028k| 327M|  44 |   6 |  50 |  14 |   6 |  50 |  19 |  23 |  64k|6189 | 0.000000e+00 |      --      |    Inf 
1615.33/1615.81	c  1552s|  3880k|609388 |  9050k| 328M|  44 |   - |  50 |  19 |   5 |   0 |   0 |  23 |  65k|6194 | 0.000000e+00 |      --      |    Inf 
1619.53/1620.03	c  1556s|  3890k|611702 |  9073k| 329M|  44 |   6 |  50 |  22 |   6 |  50 |  19 |  23 |  65k|6207 | 0.000000e+00 |      --      |    Inf 
1623.73/1624.28	c  1560s|  3900k|613138 |  9096k| 330M|  44 |   6 |  50 |  28 |   6 |  50 |  19 |  23 |  65k|6213 | 0.000000e+00 |      --      |    Inf 
1628.02/1628.52	c  1564s|  3910k|614500 |  9119k| 331M|  44 |   6 |  50 |  23 |   6 |  50 |  19 |  23 |  65k|6220 | 0.000000e+00 |      --      |    Inf 
1632.22/1632.70	c  1568s|  3920k|615956 |  9142k| 332M|  44 |   - |  50 |  18 |   6 |   0 |   0 |  23 |  65k|6227 | 0.000000e+00 |      --      |    Inf 
1636.33/1636.89	c  1572s|  3930k|617139 |  9164k| 332M|  44 |   - |  50 |  23 |   7 |  50 |  19 |  23 |  65k|6236 | 0.000000e+00 |      --      |    Inf 
1640.52/1641.04	c  1576s|  3940k|618394 |  9186k| 333M|  44 |   - |  50 |  19 |   6 |  50 |  19 |  23 |  66k|6242 | 0.000000e+00 |      --      |    Inf 
1644.82/1645.30	c  1580s|  3950k|619606 |  9209k| 334M|  44 |   6 |  50 |  28 |   6 |  50 |  19 |  23 |  66k|6250 | 0.000000e+00 |      --      |    Inf 
1649.01/1649.57	c  1584s|  3960k|620888 |  9233k| 334M|  44 |   6 |  50 |  29 |   7 |  50 |  19 |  23 |  66k|6258 | 0.000000e+00 |      --      |    Inf 
1653.32/1653.89	c  1588s|  3970k|622201 |  9256k| 335M|  44 |   - |  50 |  19 |   6 |   0 |   0 |  23 |  66k|6265 | 0.000000e+00 |      --      |    Inf 
1657.62/1658.11	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1657.62/1658.11	c  1592s|  3980k|623488 |  9279k| 336M|  44 |   6 |  50 |  26 |   6 |  50 |  19 |  23 |  66k|6275 | 0.000000e+00 |      --      |    Inf 
1661.81/1662.30	c  1596s|  3990k|625383 |  9302k| 337M|  44 |   - |  50 |  35 |   7 |   0 |   0 |  23 |  66k|6282 | 0.000000e+00 |      --      |    Inf 
1665.91/1666.46	c  1600s|  4000k|627094 |  9325k| 338M|  44 |   6 |  50 |  32 |   8 |  50 |  19 |  23 |  66k|6288 | 0.000000e+00 |      --      |    Inf 
1670.21/1670.75	c  1604s|  4010k|628423 |  9349k| 339M|  44 |   6 |  50 |  24 |   6 |  50 |  19 |  23 |  66k|6296 | 0.000000e+00 |      --      |    Inf 
1674.51/1675.01	c  1609s|  4020k|629918 |  9372k| 339M|  44 |   6 |  50 |  18 |   6 |  50 |  19 |  23 |  67k|6305 | 0.000000e+00 |      --      |    Inf 
1678.70/1679.27	c  1613s|  4030k|631441 |  9395k| 340M|  44 |   - |  50 |  24 |   6 |  50 |  19 |  23 |  67k|6317 | 0.000000e+00 |      --      |    Inf 
1682.91/1683.42	c  1617s|  4040k|632962 |  9417k| 341M|  44 |   - |  50 |  25 |   6 |   0 |   0 |  23 |  67k|6323 | 0.000000e+00 |      --      |    Inf 
1687.00/1687.57	c  1621s|  4050k|634289 |  9440k| 342M|  44 |   - |  50 |  25 |   6 |   0 |   0 |  23 |  67k|6330 | 0.000000e+00 |      --      |    Inf 
1691.21/1691.80	c  1625s|  4060k|635686 |  9463k| 343M|  44 |   - |  50 |  28 |   6 |   0 |   0 |  23 |  67k|6336 | 0.000000e+00 |      --      |    Inf 
1695.61/1696.12	c  1629s|  4070k|636923 |  9487k| 343M|  44 |   6 |  50 |  17 |   7 |  50 |  19 |  23 |  67k|6343 | 0.000000e+00 |      --      |    Inf 
1699.81/1700.39	c  1633s|  4080k|638344 |  9510k| 344M|  44 |   - |  50 |  18 |   6 |  50 |  19 |  23 |  68k|6347 | 0.000000e+00 |      --      |    Inf 
1704.20/1704.71	c  1637s|  4090k|639747 |  9534k| 345M|  44 |   6 |  50 |  20 |   6 |  50 |  19 |  23 |  68k|6357 | 0.000000e+00 |      --      |    Inf 
1708.40/1708.99	c  1641s|  4100k|641278 |  9558k| 346M|  44 |   6 |  50 |  22 |   7 |  50 |  19 |  23 |  68k|6363 | 0.000000e+00 |      --      |    Inf 
1712.69/1713.27	c  1645s|  4110k|642820 |  9581k| 346M|  44 |   6 |  50 |  24 |   6 |  50 |  19 |  23 |  68k|6370 | 0.000000e+00 |      --      |    Inf 
1717.09/1717.62	c  1649s|  4120k|644238 |  9604k| 347M|  44 |   - |  50 |  22 |   6 |  50 |  19 |  23 |  68k|6378 | 0.000000e+00 |      --      |    Inf 
1721.30/1721.89	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1721.30/1721.89	c  1654s|  4130k|645520 |  9628k| 348M|  44 |   - |  50 |  18 |   6 |  50 |  19 |  23 |  68k|6387 | 0.000000e+00 |      --      |    Inf 
1725.49/1726.09	c  1658s|  4140k|646914 |  9651k| 349M|  44 |   - |  50 |  17 |   7 |  50 |  19 |  23 |  68k|6395 | 0.000000e+00 |      --      |    Inf 
1729.89/1730.47	c  1662s|  4150k|648923 |  9675k| 350M|  44 |   6 |  50 |  20 |   8 |  50 |  19 |  23 |  68k|6407 | 0.000000e+00 |      --      |    Inf 
1734.29/1734.89	c  1666s|  4160k|650264 |  9699k| 351M|  44 |   - |  50 |  20 |   8 |  50 |  19 |  23 |  69k|6411 | 0.000000e+00 |      --      |    Inf 
1738.60/1739.12	c  1670s|  4170k|653270 |  9724k| 352M|  44 |   6 |  50 |  22 |   6 |  50 |  19 |  23 |  69k|6419 | 0.000000e+00 |      --      |    Inf 
1742.79/1743.36	c  1674s|  4180k|655640 |  9749k| 353M|  44 |   - |  50 |  21 |   6 |  50 |  19 |  23 |  69k|6425 | 0.000000e+00 |      --      |    Inf 
1747.09/1747.68	c  1678s|  4190k|657737 |  9774k| 354M|  44 |   - |  50 |  26 |   6 |  50 |  19 |  23 |  69k|6433 | 0.000000e+00 |      --      |    Inf 
1751.39/1751.95	c  1682s|  4200k|659734 |  9798k| 355M|  44 |   6 |  50 |  23 |   7 |  50 |  19 |  23 |  69k|6444 | 0.000000e+00 |      --      |    Inf 
1755.68/1756.27	c  1687s|  4210k|661560 |  9822k| 356M|  44 |   6 |  50 |  26 |   7 |  50 |  19 |  23 |  69k|6450 | 0.000000e+00 |      --      |    Inf 
1759.98/1760.54	c  1691s|  4220k|663468 |  9845k| 357M|  44 |   6 |  50 |  25 |   6 |  50 |  19 |  23 |  69k|6454 | 0.000000e+00 |      --      |    Inf 
1764.28/1764.87	c  1695s|  4230k|665109 |  9869k| 358M|  44 |   6 |  50 |  25 |   7 |  50 |  19 |  23 |  69k|6464 | 0.000000e+00 |      --      |    Inf 
1768.58/1769.18	c  1699s|  4240k|666780 |  9894k| 359M|  44 |   - |  50 |  22 |   6 |  50 |  19 |  23 |  69k|6472 | 0.000000e+00 |      --      |    Inf 
1772.98/1773.54	c  1703s|  4250k|669051 |  9918k| 360M|  44 |   6 |  50 |  27 |   6 |  50 |  19 |  23 |  69k|6479 | 0.000000e+00 |      --      |    Inf 
1777.18/1777.79	c  1707s|  4260k|670912 |  9941k| 361M|  44 |   - |  50 |  26 |   6 |  50 |  19 |  23 |  69k|6489 | 0.000000e+00 |      --      |    Inf 
1781.58/1782.10	c  1711s|  4270k|672626 |  9965k| 362M|  44 |   6 |  50 |  26 |   7 |  50 |  19 |  23 |  69k|6500 | 0.000000e+00 |      --      |    Inf 
1785.88/1786.40	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1785.88/1786.40	c  1716s|  4280k|674331 |  9989k| 362M|  44 |   6 |  50 |  25 |   6 |  50 |  19 |  23 |  69k|6510 | 0.000000e+00 |      --      |    Inf 
1790.08/1790.69	c  1720s|  4290k|676214 | 10013k| 363M|  44 |   - |  50 |  25 |   5 |   0 |   0 |  23 |  69k|6514 | 0.000000e+00 |      --      |    Inf 
1794.47/1795.09	c  1724s|  4300k|677819 | 10038k| 364M|  44 |   - |  50 |  22 |   6 |  50 |  19 |  23 |  69k|6519 | 0.000000e+00 |      --      |    Inf 
1798.88/1799.46	c  1728s|  4310k|679775 | 10062k| 365M|  44 |   6 |  50 |  24 |   6 |  50 |  19 |  23 |  70k|6525 | 0.000000e+00 |      --      |    Inf 
1800.08/1800.60	c 
1800.08/1800.60	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.60	c Solving Time (sec) : 1729.17
1800.08/1800.60	c Solving Nodes      : 4312647
1800.08/1800.60	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.08/1800.60	c Dual Bound         : +0.00000000000000e+00
1800.08/1800.60	c Gap                : infinite
1800.08/1800.60	c NODE         4312647
1800.08/1800.60	c DUAL BOUND   0
1800.08/1800.60	c PRIMAL BOUND 1e+20
1800.08/1800.60	c GAP          1e+20
1800.08/1800.60	s UNKNOWN
1800.08/1800.60	c SCIP Status        : solving was interrupted [user interrupt]
1800.08/1800.60	c Solving Time       :    1729.17
1800.08/1800.60	c Original Problem   :
1800.08/1800.60	c   Problem name     : HOME/instance-1869521-1245176254.opb
1800.08/1800.60	c   Variables        : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.60	c   Constraints      : 13 initial, 13 maximal
1800.08/1800.60	c Presolved Problem  :
1800.08/1800.60	c   Problem name     : t_HOME/instance-1869521-1245176254.opb
1800.08/1800.60	c   Variables        : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.60	c   Constraints      : 6 initial, 196 maximal
1800.08/1800.60	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.08/1800.60	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.60	c   dualfix          :       0.00          1          0          0          0          0          0          0          0
1800.08/1800.60	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.60	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.60	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.60	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.08/1800.60	c   linear           :       0.00          0          0          0          0          0          7          0          0
1800.08/1800.60	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.08/1800.60	c   root node        :          -          0          -          -          0          -          -          -          -
1800.08/1800.61	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.61	c   integral         :          0          0          0    2502819          0        553       2501          0          0    4999902
1800.08/1800.61	c   linear           :          6          6    5233226          0          0     526173    6994387          0          0          0
1800.08/1800.61	c   logicor          :          0+         0    1227085          0          0         77      60589          0          0          0
1800.08/1800.61	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.08/1800.61	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.08/1800.61	c   integral         :      27.15       0.00       0.00      27.15       0.00
1800.08/1800.61	c   linear           :     272.86       0.00     272.86       0.00       0.00
1800.08/1800.61	c   logicor          :       2.84       0.00       2.84       0.00       0.00
1800.08/1800.61	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.08/1800.61	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.08/1800.61	c   rootredcost      :       1.91          0          0          0
1800.08/1800.61	c   pseudoobj        :       1.49          0          0          0
1800.08/1800.61	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.08/1800.61	c   propagation      :      39.49     526250      66293     131991       37.0          0        0.0          -
1800.08/1800.61	c   infeasible LP    :      13.31    1293642       3343       3904       22.0          0        0.0          0
1800.08/1800.61	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.61	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.08/1800.61	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.08/1800.61	c   applied globally :          -          -          -       7156       25.0          -          -          -
1800.08/1800.61	c   applied locally  :          -          -          -      62897       36.3          -          -          -
1800.08/1800.61	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.08/1800.61	c   cut pool         :       0.00          5          -          -          6          -    (maximal pool size: 66)
1800.08/1800.61	c   redcost          :       5.58    2502824          0          0          0          0
1800.08/1800.61	c   impliedbounds    :       0.00          6          0          0          0          0
1800.08/1800.61	c   intobj           :       0.00          0          0          0          0          0
1800.08/1800.61	c   gomory           :       0.00          6          0          0          0          0
1800.08/1800.61	c   strongcg         :       0.01          6          0          0         26          0
1800.08/1800.61	c   cmir             :       0.02          6          0          0         23          0
1800.08/1800.61	c   flowcover        :       0.03          6          0          0         31          0
1800.08/1800.61	c   clique           :       0.00          1          0          0          0          0
1800.08/1800.61	c   zerohalf         :       0.00          0          0          0          0          0
1800.08/1800.61	c   mcf              :       0.00          1          0          0          0          0
1800.08/1800.61	c Pricers            :       Time      Calls       Vars
1800.08/1800.61	c   problem variables:       0.00          0          0
1800.08/1800.61	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.08/1800.61	c   relpscost        :      25.03    2502819        553       2501          0          0    4999902
1800.08/1800.61	c   pscost           :       0.00          0          0          0          0          0          0
1800.08/1800.61	c   inference        :       0.00          0          0          0          0          0          0
1800.08/1800.61	c   mostinf          :       0.00          0          0          0          0          0          0
1800.08/1800.61	c   leastinf         :       0.00          0          0          0          0          0          0
1800.08/1800.61	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.08/1800.61	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.08/1800.61	c   random           :       0.00          0          0          0          0          0          0
1800.08/1800.61	c Primal Heuristics  :       Time      Calls      Found
1800.08/1800.61	c   LP solutions     :       0.00          -          0
1800.08/1800.61	c   pseudo solutions :       0.00          -          0
1800.08/1800.61	c   oneopt           :       2.01          0          0
1800.08/1800.61	c   crossover        :       1.33          0          0
1800.08/1800.61	c   guideddiving     :       0.16          0          0
1800.08/1800.61	c   pscostdiving     :       0.14         57          0
1800.08/1800.61	c   feaspump         :       0.22         29          0
1800.08/1800.61	c   rootsoldiving    :       0.22         29          0
1800.08/1800.61	c   objpscostdiving  :       0.21         29          0
1800.08/1800.61	c   coefdiving       :       0.19         58          0
1800.08/1800.61	c   fracdiving       :       0.21         58          0
1800.08/1800.61	c   veclendiving     :       0.17         58          0
1800.08/1800.61	c   linesearchdiving :       0.19         58          0
1800.08/1800.61	c   simplerounding   :       1.34          0          0
1800.08/1800.61	c   rounding         :       2.19      22474          0
1800.08/1800.61	c   shifting         :       3.98       6646          0
1800.08/1800.61	c   intshifting      :       0.07          0          0
1800.08/1800.61	c   fixandinfer      :       0.00          0          0
1800.08/1800.61	c   intdiving        :       0.00          0          0
1800.08/1800.61	c   actconsdiving    :       0.00          0          0
1800.08/1800.61	c   octane           :       0.00          0          0
1800.08/1800.61	c   rens             :       0.13          1          0
1800.08/1800.61	c   rins             :       0.00          0          0
1800.08/1800.61	c   localbranching   :       0.00          0          0
1800.08/1800.61	c   mutation         :       0.00          0          0
1800.08/1800.61	c   dins             :       0.00          0          0
1800.08/1800.61	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.08/1800.61	c   primal LP        :       0.00          0          0       0.00          -
1800.08/1800.61	c   dual LP          :    1131.91    3842443   10066658       2.62    8893.51
1800.08/1800.61	c   barrier LP       :       0.00          0          0       0.00          -
1800.08/1800.61	c   diving/probing LP:       0.46       1029       1959       1.90    4258.70
1800.08/1800.61	c   strong branching :       1.68       6525      31236       4.79   18592.86
1800.08/1800.61	c     (at root node) :          -         19       1121      59.00          -
1800.08/1800.61	c   conflict analysis:       0.00          0          0       0.00          -
1800.08/1800.61	c B&B Tree           :
1800.08/1800.61	c   number of runs   :          1
1800.08/1800.61	c   nodes            :    4312647
1800.08/1800.61	c   nodes (total)    :    4312647
1800.08/1800.61	c   nodes left       :     680155
1800.08/1800.61	c   max depth        :         44
1800.08/1800.61	c   max depth (total):         44
1800.08/1800.61	c   backtracks       :     621370 (14.4%)
1800.08/1800.61	c   delayed cutoffs  :       7101
1800.08/1800.61	c   repropagations   :      99335 (99621 domain reductions, 7089 cutoffs)
1800.08/1800.61	c   avg switch length:       4.36
1800.08/1800.61	c   switching time   :     108.43
1800.08/1800.61	c Solution           :
1800.08/1800.61	c   Solutions found  :          0 (0 improvements)
1800.08/1800.61	c   Primal Bound     :          -
1800.08/1800.61	c   Dual Bound       : +0.00000000000000e+00
1800.08/1800.61	c   Gap              :   infinite
1800.08/1800.61	c   Root Dual Bound  : +0.00000000000000e+00

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-1869521-1245176254/watcher-1869521-1245176254 -o /tmp/evaluation-result-1869521-1245176254/solver-1869521-1245176254 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869521-1245176254.opb 

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/64 12914
/proc/meminfo: memFree=1911936/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=5812 CPUtime=0
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 518 0 0 0 0 0 0 0 18 0 1 0 185225771 5951488 502 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/12914/statm: 1453 505 334 1256 0 192 0

[startup+0.0805301 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 12914
/proc/meminfo: memFree=1911936/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=14788 CPUtime=0.07
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 2869 0 0 0 7 0 0 0 18 0 1 0 185225771 15142912 2499 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 3697 2499 659 1256 0 2436 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14788

[startup+0.101531 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 12914
/proc/meminfo: memFree=1911936/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=14968 CPUtime=0.09
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 2976 0 0 0 9 0 0 0 18 0 1 0 185225771 15327232 2606 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 3742 2607 660 1256 0 2481 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14968

[startup+0.301552 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 12914
/proc/meminfo: memFree=1911936/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=15580 CPUtime=0.29
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 4531 0 0 0 27 2 0 0 19 0 1 0 185225771 15953920 2554 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 3895 2554 684 1256 0 2634 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15580

[startup+0.701592 s]
/proc/loadavg: 1.00 1.02 1.00 3/64 12914
/proc/meminfo: memFree=1911936/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=16044 CPUtime=0.69
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 4605 0 0 0 66 3 0 0 22 0 1 0 185225771 16429056 2628 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 4011 2628 692 1256 0 2750 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16044

[startup+1.50168 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 12915
/proc/meminfo: memFree=1904056/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=16044 CPUtime=1.49
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 4677 0 0 0 142 7 0 0 25 0 1 0 185225771 16429056 2700 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 4011 2700 692 1256 0 2750 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16044

[startup+3.10184 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 12915
/proc/meminfo: memFree=1903352/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=16044 CPUtime=3.09
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 4846 0 0 0 296 13 0 0 25 0 1 0 185225771 16429056 2869 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 4011 2869 692 1256 0 2750 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16044

[startup+6.30117 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 12915
/proc/meminfo: memFree=1902264/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=18320 CPUtime=6.29
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 5162 0 0 0 604 25 0 0 25 0 1 0 185225771 18759680 3185 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 4580 3185 692 1256 0 3319 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18320

[startup+12.7018 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 12915
/proc/meminfo: memFree=1900216/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=20100 CPUtime=12.69
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 5541 0 0 0 1220 49 0 0 25 0 1 0 185225771 20582400 3564 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 5025 3564 692 1256 0 3764 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20100

[startup+25.5011 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 12915
/proc/meminfo: memFree=1896568/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=23520 CPUtime=25.48
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 6458 0 0 0 2451 97 0 0 25 0 1 0 185225771 24084480 4481 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 5880 4481 692 1256 0 4619 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23520

[startup+51.1018 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 12915
/proc/meminfo: memFree=1890872/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=29120 CPUtime=51.06
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 7888 0 0 0 4907 199 0 0 25 0 1 0 185225771 29818880 5911 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 7280 5911 692 1256 0 6019 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 29120

[startup+102.305 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 12915
/proc/meminfo: memFree=1879160/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=41644 CPUtime=102.25
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 10810 0 0 0 9824 401 0 0 25 0 1 0 185225771 42643456 8833 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 10411 8833 692 1256 0 9150 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 41644

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12915
/proc/meminfo: memFree=1864696/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=56924 CPUtime=162.23
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 14392 0 0 0 15585 638 0 0 25 0 1 0 185225771 58290176 12414 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 14231 12414 692 1256 0 12970 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 56924

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12915
/proc/meminfo: memFree=1851256/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=70352 CPUtime=222.22
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 17731 0 0 0 21351 871 0 0 25 0 1 0 185225771 72040448 15751 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 17588 15751 692 1256 0 16327 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 70352

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12915
/proc/meminfo: memFree=1839288/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=82440 CPUtime=282.2
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 20699 0 0 0 27110 1110 0 0 25 0 1 0 185225771 84418560 18719 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 20610 18719 692 1256 0 19349 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 82440

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12915
/proc/meminfo: memFree=1826360/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=94508 CPUtime=342.19
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 23919 0 0 0 32869 1350 0 0 25 0 1 0 185225771 96776192 21939 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 23627 21939 692 1256 0 22366 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 94508

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12915
/proc/meminfo: memFree=1814264/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=106896 CPUtime=402.17
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 26963 0 0 0 38632 1585 0 0 25 0 1 0 185225771 109461504 24981 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 26724 24981 692 1256 0 25463 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 106896

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12915
/proc/meminfo: memFree=1800312/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=120360 CPUtime=462.15
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 30384 0 0 0 44385 1830 0 0 25 0 1 0 185225771 123248640 28400 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 30090 28400 692 1256 0 28829 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 120360

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12915
/proc/meminfo: memFree=1786232/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=137344 CPUtime=522.13
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 33884 0 0 0 50139 2074 0 0 25 0 1 0 185225771 140640256 31898 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 34336 31898 692 1256 0 33075 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 137344

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12915
/proc/meminfo: memFree=1774392/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=149840 CPUtime=582.12
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 36905 0 0 0 55897 2315 0 0 25 0 1 0 185225771 153436160 34918 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 37460 34918 692 1256 0 36199 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 149840

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12915
/proc/meminfo: memFree=1762552/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=161816 CPUtime=642.1
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 39747 0 0 0 61657 2553 0 0 25 0 1 0 185225771 165699584 37760 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 40454 37760 692 1256 0 39193 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 161816

[startup+702.302 s]

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

/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 57775 0 0 0 96228 3971 0 0 25 0 1 0 185225771 239357952 55788 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 58437 55788 692 1256 0 57176 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 233748

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12915
/proc/meminfo: memFree=1676152/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=247624 CPUtime=1061.98
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 61288 0 0 0 101995 4203 0 0 25 0 1 0 185225771 253566976 59301 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 61906 59301 692 1256 0 60645 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 247624

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12915
/proc/meminfo: memFree=1663480/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=260152 CPUtime=1121.96
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 64392 0 0 0 107757 4439 0 0 25 0 1 0 185225771 266395648 62405 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 65038 62405 692 1256 0 63777 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 260152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12915
/proc/meminfo: memFree=1652280/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=271184 CPUtime=1181.95
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 67104 0 0 0 113524 4671 0 0 25 0 1 0 185225771 277692416 65117 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 67796 65117 692 1256 0 66535 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 271184

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12915
/proc/meminfo: memFree=1640696/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=290568 CPUtime=1241.94
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 69975 0 0 0 119287 4907 0 0 25 0 1 0 185225771 297541632 67988 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 72642 67988 692 1256 0 71381 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 290568

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12915
/proc/meminfo: memFree=1629048/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=302676 CPUtime=1301.92
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 72780 0 0 0 125048 5144 0 0 25 0 1 0 185225771 309940224 70793 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 75669 70793 692 1256 0 74408 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 302676

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12915
/proc/meminfo: memFree=1617464/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=313760 CPUtime=1361.9
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 75787 0 0 0 130804 5386 0 0 25 0 1 0 185225771 321290240 73800 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 78440 73800 692 1256 0 77179 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 313760

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12915
/proc/meminfo: memFree=1604472/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=326068 CPUtime=1421.89
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 78874 0 0 0 136568 5621 0 0 25 0 1 0 185225771 333893632 76886 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 81517 76886 692 1256 0 80256 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 326068

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12915
/proc/meminfo: memFree=1593336/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=337756 CPUtime=1481.87
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 81816 0 0 0 142327 5860 0 0 25 0 1 0 185225771 345862144 79828 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 84439 79828 692 1256 0 83178 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 337756

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12915
/proc/meminfo: memFree=1581304/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=349180 CPUtime=1541.85
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 84612 0 0 0 148106 6079 0 0 25 0 1 0 185225771 357560320 82624 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 87295 82624 692 1256 0 86034 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 349180

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12915
/proc/meminfo: memFree=1569528/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=360940 CPUtime=1601.83
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 87528 0 0 0 153871 6312 0 0 25 0 1 0 185225771 369602560 85540 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 90235 85540 692 1256 0 88974 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 360940

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12915
/proc/meminfo: memFree=1556920/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=373660 CPUtime=1661.81
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 90656 0 0 0 159633 6548 0 0 25 0 1 0 185225771 382627840 88667 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 93415 88667 692 1256 0 92154 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 373660

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12915
/proc/meminfo: memFree=1545656/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=384912 CPUtime=1721.79
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 93452 0 0 0 165395 6784 0 0 25 0 1 0 185225771 394149888 91463 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 96228 91463 692 1256 0 94967 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 384912

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12915
/proc/meminfo: memFree=1531384/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=398852 CPUtime=1781.78
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 97077 0 0 0 171159 7019 0 0 25 0 1 0 185225771 408424448 95088 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 99713 95088 692 1256 0 98452 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 398852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12915
/proc/meminfo: memFree=1527736/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=401952 CPUtime=1800.08
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 97882 0 0 0 172917 7091 0 0 25 0 1 0 185225771 411598848 95893 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/12914/statm: 100488 95893 692 1256 0 99227 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 401952

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -12914

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 12915
/proc/meminfo: memFree=1527736/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=401952 CPUtime=1800.87
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 97883 0 0 0 172996 7091 0 0 25 0 1 0 185225771 411598848 95894 1992294400 4194304 9342243 548682068736 18446744073709551615 5838684 0 0 4096 0 0 0 0 17 1 0 0
/proc/12914/statm: 100488 95894 693 1256 0 99227 0
Current children cumulated CPU time (s) 1800.87
Current children cumulated vsize (KiB) 401952

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12916
/proc/meminfo: memFree=1527664/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=401952 CPUtime=1801.67
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 97883 0 0 0 173076 7091 0 0 25 0 1 0 185225771 411598848 95894 1992294400 4194304 9342243 548682068736 18446744073709551615 5854267 0 0 4096 0 0 0 0 17 1 0 0
/proc/12914/statm: 100488 95894 693 1256 0 99227 0
Current children cumulated CPU time (s) 1801.67
Current children cumulated vsize (KiB) 401952

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12916
/proc/meminfo: memFree=1527664/2055920 swapFree=4181836/4192956
[pid=12914] ppid=12912 vsize=401952 CPUtime=1802.07
/proc/12914/stat : 12914 (pbscip.linux.x8) R 12912 12914 12796 0 -1 4194304 97883 0 0 0 173116 7091 0 0 25 0 1 0 185225771 411598848 95894 1992294400 4194304 9342243 548682068736 18446744073709551615 4743854 0 0 4096 0 0 0 0 17 1 0 0
/proc/12914/statm: 100488 95894 693 1256 0 99227 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 401952

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.67
CPU time (s): 1802.15
CPU user time (s): 1731.18
CPU system time (s): 70.9762
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 401952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1731.18
system time used= 70.9762
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97883
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= 2753

runsolver used 1.46678 second user time and 3.55246 second system time

The end

Launcher Data 

Begin job on node24 at 2009-06-16 20:17:34
IDJOB=1869521
IDBENCH=2915
IDSOLVER=684
FILE ID=node24/1869521-1245176254
PBS_JOBID= 9363903
Free space on /tmp= 66364 MiB

SOLVER NAME= SCIPclp SCIP 1.1.0.7 with CLP 1.8.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_2.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1869521-1245176254/watcher-1869521-1245176254 -o /tmp/evaluation-result-1869521-1245176254/solver-1869521-1245176254 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869521-1245176254.opb

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

MD5SUM BENCH= 25ec3c4431eaa97f8c8dfc7dcac7b55c
RANDOM SEED=1950804900

node24.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.231
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.231
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1912416 kB
Buffers:         35560 kB
Cached:          65440 kB
SwapCached:       5284 kB
Active:          60196 kB
Inactive:        48472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1912416 kB
SwapTotal:     4192956 kB
SwapFree:      4181836 kB
Dirty:           11728 kB
Writeback:           0 kB
Mapped:          12868 kB
Slab:            20700 kB
Committed_AS:   193224 kB
PageTables:       1444 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66352 MiB
End job on node24 at 2009-06-16 20:47:37