Trace number 1869503

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.09 1802.57

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_1.opb
MD5SUM775c76356ae7fda7a41e5dcf917f66b2
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 1273
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3819
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-1869503-1245175406.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 |    30 | 252k|   0 |   6 |  50 |   6 |   6 |  50 |   6 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.01/0.03	c   0.0s|     1 |     0 |   108 | 276k|   0 |   8 |  50 |   6 |   6 |  50 |  11 |   5 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.01/0.04	c   0.0s|     1 |     0 |   113 | 309k|   0 |  12 |  50 |   6 |   6 |  50 |  18 |  12 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.01/0.05	c   0.0s|     1 |     0 |   118 | 335k|   0 |  12 |  50 |   6 |   6 |  50 |  22 |  16 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.01/0.06	c   0.1s|     1 |     0 |   135 | 367k|   0 |  17 |  50 |   6 |   6 |  50 |  26 |  20 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.01/0.08	c   0.1s|     1 |     0 |   138 | 374k|   0 |  16 |  50 |   6 |   6 |  50 |  27 |  21 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.01/0.09	c   0.1s|     1 |     0 |   147 | 400k|   0 |  16 |  50 |   6 |   6 |  50 |  29 |  23 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
0.09/0.15	c   0.1s|     1 |     2 |   147 | 401k|   0 |  16 |  50 |   6 |   6 |  50 |  29 |  23 |   0 |  16 | 0.000000e+00 |      --      |    Inf 
4.49/4.55	c   4.4s| 10000 |  3029 | 27768 |1776k|  45 |   - |  50 |  13 |   6 |  50 |  16 |  23 |  16 | 570 | 0.000000e+00 |      --      |    Inf 
8.79/8.80	c   8.4s| 20000 |  5689 | 54908 |3016k|  45 |   6 |  50 |  24 |   6 |  50 |  16 |  23 |  45 | 804 | 0.000000e+00 |      --      |    Inf 
12.99/13.02	c  12.5s| 30000 |  8019 | 81916 |4141k|  45 |   6 |  50 |  24 |   6 |  50 |  16 |  23 |  60 | 981 | 0.000000e+00 |      --      |    Inf 
17.09/17.20	c  16.5s| 40000 | 10429 |108772 |5273k|  45 |   - |  50 |  27 |   6 |  50 |  16 |  23 |  72 |1116 | 0.000000e+00 |      --      |    Inf 
21.28/21.31	c  20.5s| 50000 | 12647 |135202 |6344k|  45 |   - |  50 |  43 |   6 |  50 |  16 |  23 | 103 |1217 | 0.000000e+00 |      --      |    Inf 
25.39/25.42	c  24.4s| 60000 | 14987 |161575 |7478k|  45 |   6 |  50 |  46 |   8 |  50 |  16 |  23 | 122 |1310 | 0.000000e+00 |      --      |    Inf 
29.58/29.60	c  28.4s| 70000 | 17207 |188102 |8556k|  45 |   - |  50 |  51 |   7 |  50 |  16 |  23 | 140 |1410 | 0.000000e+00 |      --      |    Inf 
33.69/33.78	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
33.69/33.78	c  32.4s| 80000 | 19395 |214926 |9631k|  45 |   - |  50 |  60 |   8 |  50 |  16 |  23 | 166 |1503 | 0.000000e+00 |      --      |    Inf 
37.88/37.94	c  36.4s| 90000 | 21599 |241665 |  10M|  45 |   6 |  50 |  72 |   6 |  50 |  16 |  23 | 190 |1571 | 0.000000e+00 |      --      |    Inf 
41.98/42.08	c  40.4s|100000 | 23592 |268312 |  11M|  45 |   - |  50 |  78 |   8 |  50 |  16 |  23 | 221 |1655 | 0.000000e+00 |      --      |    Inf 
46.18/46.24	c  44.4s|110000 | 25686 |295320 |  12M|  45 |   6 |  50 |  74 |   9 |  50 |  16 |  23 | 234 |1713 | 0.000000e+00 |      --      |    Inf 
50.37/50.45	c  48.4s|120000 | 27642 |322145 |  13M|  45 |   6 |  50 |  86 |  11 |  50 |  16 |  23 | 260 |1791 | 0.000000e+00 |      --      |    Inf 
54.57/54.65	c  52.4s|130000 | 29643 |349091 |  14M|  45 |   - |  50 |  85 |   7 |  50 |  16 |  23 | 277 |1851 | 0.000000e+00 |      --      |    Inf 
58.78/58.82	c  56.4s|140000 | 31569 |375954 |  15M|  45 |   - |  50 |  83 |   6 |   0 |   0 |  23 | 288 |1919 | 0.000000e+00 |      --      |    Inf 
62.88/62.99	c  60.4s|150000 | 33377 |402480 |  16M|  45 |   - |  50 |  86 |   6 |  50 |  16 |  23 | 312 |1981 | 0.000000e+00 |      --      |    Inf 
67.08/67.12	c  64.4s|160000 | 35319 |428894 |  17M|  45 |   6 |  50 |  89 |  12 |  50 |  16 |  23 | 333 |2032 | 0.000000e+00 |      --      |    Inf 
71.27/71.31	c  68.4s|170000 | 37207 |455407 |  18M|  45 |   6 |  50 |  88 |   6 |  50 |  16 |  23 | 350 |2097 | 0.000000e+00 |      --      |    Inf 
75.47/75.56	c  72.5s|180000 | 39029 |482811 |  19M|  45 |   - |  50 |  87 |   7 |   0 |   0 |  23 | 369 |2153 | 0.000000e+00 |      --      |    Inf 
79.67/79.73	c  76.5s|190000 | 41031 |510384 |  20M|  45 |   6 |  50 |  87 |   6 |  50 |  16 |  23 | 381 |2196 | 0.000000e+00 |      --      |    Inf 
83.77/83.89	c  80.5s|200000 | 42939 |537078 |  21M|  45 |   6 |  50 |  86 |  12 |  50 |  16 |  23 | 394 |2237 | 0.000000e+00 |      --      |    Inf 
87.87/87.99	c  84.4s|210000 | 45063 |562648 |  22M|  45 |   - |  50 |  92 |   6 |  50 |  16 |  23 | 412 |2281 | 0.000000e+00 |      --      |    Inf 
92.17/92.24	c  88.5s|220000 | 46780 |589871 |  23M|  45 |   - |  50 |  88 |   6 |  50 |  16 |  23 | 435 |2326 | 0.000000e+00 |      --      |    Inf 
96.36/96.47	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
96.36/96.47	c  92.6s|230000 | 48576 |616721 |  24M|  45 |   - |  50 |  85 |   6 |  50 |  16 |  23 | 458 |2375 | 0.000000e+00 |      --      |    Inf 
100.47/100.56	c  96.5s|240000 | 50657 |642872 |  25M|  45 |   6 |  50 |  96 |  13 |  50 |  16 |  23 | 480 |2400 | 0.000000e+00 |      --      |    Inf 
104.67/104.71	c   100s|250000 | 52355 |668904 |  26M|  45 |   6 |  50 |  94 |   6 |  50 |  16 |  23 | 499 |2441 | 0.000000e+00 |      --      |    Inf 
108.87/108.90	c   104s|260000 | 54350 |695837 |  27M|  45 |   6 |  50 | 103 |   7 |  50 |  16 |  23 | 525 |2485 | 0.000000e+00 |      --      |    Inf 
113.06/113.10	c   109s|270000 | 56191 |722543 |  28M|  45 |   6 |  50 | 109 |   8 |  50 |  16 |  23 | 543 |2531 | 0.000000e+00 |      --      |    Inf 
117.26/117.33	c   113s|280000 | 57947 |749503 |  29M|  45 |   6 |  50 | 109 |  13 |  50 |  16 |  23 | 563 |2577 | 0.000000e+00 |      --      |    Inf 
121.36/121.48	c   117s|290000 | 59743 |776374 |  30M|  45 |   6 |  50 | 103 |   8 |  50 |  16 |  23 | 573 |2613 | 0.000000e+00 |      --      |    Inf 
125.56/125.62	c   121s|300000 | 61723 |803135 |  31M|  45 |   - |  50 | 107 |   7 |  50 |  16 |  23 | 596 |2636 | 0.000000e+00 |      --      |    Inf 
129.77/129.80	c   125s|310000 | 63415 |829686 |  32M|  45 |   - |  50 | 108 |   9 |  50 |  16 |  23 | 614 |2643 | 0.000000e+00 |      --      |    Inf 
133.86/133.99	c   129s|320000 | 65180 |855916 |  33M|  45 |   6 |  50 | 115 |   7 |  50 |  16 |  23 | 631 |2671 | 0.000000e+00 |      --      |    Inf 
138.05/138.17	c   133s|330000 | 67116 |882262 |  34M|  45 |   6 |  50 | 115 |  31 |  50 |  16 |  23 | 647 |2701 | 0.000000e+00 |      --      |    Inf 
142.25/142.36	c   137s|340000 | 68807 |908934 |  35M|  45 |   6 |  50 | 105 |   6 |  50 |  16 |  23 | 657 |2741 | 0.000000e+00 |      --      |    Inf 
146.46/146.51	c   141s|350000 | 70544 |934536 |  35M|  45 |   - |  50 |  95 |   7 |   0 |   0 |  23 | 673 |2783 | 0.000000e+00 |      --      |    Inf 
150.65/150.71	c   145s|360000 | 72393 |961313 |  36M|  45 |   - |  50 |  89 |   6 |  50 |  16 |  23 | 688 |2818 | 0.000000e+00 |      --      |    Inf 
154.85/154.93	c   149s|370000 | 74206 |987852 |  37M|  45 |   6 |  50 |  92 |   7 |  50 |  16 |  23 | 718 |2857 | 0.000000e+00 |      --      |    Inf 
159.05/159.12	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
159.05/159.12	c   153s|380000 | 75764 |  1014k|  38M|  45 |   - |  50 |  83 |   9 |   0 |   0 |  23 | 726 |2898 | 0.000000e+00 |      --      |    Inf 
163.15/163.25	c   157s|390000 | 77644 |  1040k|  39M|  45 |   6 |  50 |  92 |   8 |  50 |  16 |  23 | 743 |2931 | 0.000000e+00 |      --      |    Inf 
167.35/167.42	c   161s|400000 | 79303 |  1066k|  40M|  45 |   - |  50 |  90 |   9 |   0 |   0 |  23 | 765 |2962 | 0.000000e+00 |      --      |    Inf 
171.45/171.60	c   165s|410000 | 80978 |  1092k|  41M|  45 |   6 |  50 |  96 |   6 |  50 |  16 |  23 | 791 |2994 | 0.000000e+00 |      --      |    Inf 
175.64/175.73	c   169s|420000 | 82854 |  1118k|  42M|  45 |   - |  50 |  86 |   7 |  50 |  16 |  23 | 798 |3021 | 0.000000e+00 |      --      |    Inf 
179.75/179.86	c   173s|430000 | 84574 |  1144k|  43M|  45 |   6 |  50 |  88 |   6 |  50 |  16 |  23 | 817 |3051 | 0.000000e+00 |      --      |    Inf 
183.84/183.97	c   177s|440000 | 86114 |  1169k|  44M|  45 |   6 |  50 |  85 |  12 |  50 |  16 |  23 | 833 |3073 | 0.000000e+00 |      --      |    Inf 
188.15/188.22	c   181s|450000 | 87618 |  1197k|  45M|  45 |   - |  50 |  82 |   6 |  50 |  16 |  23 | 841 |3096 | 0.000000e+00 |      --      |    Inf 
192.35/192.48	c   185s|460000 | 89094 |  1224k|  45M|  45 |   - |  50 |  89 |   6 |  50 |  16 |  23 | 866 |3126 | 0.000000e+00 |      --      |    Inf 
196.64/196.70	c   189s|470000 | 90744 |  1251k|  46M|  45 |   6 |  50 |  84 |   7 |  50 |  16 |  23 | 878 |3147 | 0.000000e+00 |      --      |    Inf 
200.64/200.78	c   193s|480000 | 92815 |  1277k|  47M|  45 |   - |  50 |  92 |   6 |  50 |  16 |  23 | 893 |3168 | 0.000000e+00 |      --      |    Inf 
204.84/204.96	c   197s|490000 | 94593 |  1304k|  48M|  45 |   6 |  50 |  85 |   6 |  50 |  16 |  23 | 908 |3198 | 0.000000e+00 |      --      |    Inf 
209.04/209.17	c   201s|500000 | 96217 |  1331k|  49M|  45 |   6 |  50 |  77 |  11 |  50 |  16 |  23 | 919 |3224 | 0.000000e+00 |      --      |    Inf 
213.24/213.39	c   205s|510000 | 97949 |  1358k|  50M|  45 |   6 |  50 |  78 |   6 |  50 |  16 |  23 | 933 |3259 | 0.000000e+00 |      --      |    Inf 
217.44/217.53	c   209s|520000 | 99867 |  1384k|  51M|  45 |   - |  50 |  74 |  11 |   0 |   0 |  23 | 947 |3282 | 0.000000e+00 |      --      |    Inf 
221.64/221.71	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
221.64/221.71	c   213s|530000 |101761 |  1412k|  52M|  45 |   - |  50 |  77 |  17 |  50 |  16 |  23 | 964 |3297 | 0.000000e+00 |      --      |    Inf 
225.74/225.80	c   217s|540000 |103613 |  1438k|  53M|  45 |   - |  50 |  77 |   6 |  50 |  16 |  23 | 979 |3318 | 0.000000e+00 |      --      |    Inf 
229.84/229.98	c   221s|550000 |105353 |  1465k|  54M|  45 |   - |  50 |  77 |   6 |  50 |  16 |  23 | 991 |3336 | 0.000000e+00 |      --      |    Inf 
234.03/234.19	c   225s|560000 |106808 |  1491k|  55M|  45 |   6 |  50 |  75 |   8 |  50 |  16 |  23 |1007 |3358 | 0.000000e+00 |      --      |    Inf 
238.23/238.33	c   229s|570000 |108575 |  1518k|  56M|  45 |   - |  50 |  75 |   6 |  50 |  16 |  23 |1017 |3378 | 0.000000e+00 |      --      |    Inf 
242.33/242.41	c   233s|580000 |110393 |  1544k|  56M|  45 |   - |  50 |  70 |   6 |  50 |  16 |  23 |1022 |3394 | 0.000000e+00 |      --      |    Inf 
246.53/246.60	c   237s|590000 |112103 |  1572k|  57M|  45 |   - |  50 |  75 |   6 |  50 |  16 |  23 |1038 |3411 | 0.000000e+00 |      --      |    Inf 
250.74/250.83	c   241s|600000 |113755 |  1599k|  58M|  45 |   6 |  50 |  80 |   7 |  50 |  16 |  23 |1056 |3436 | 0.000000e+00 |      --      |    Inf 
254.92/255.06	c   245s|610000 |115181 |  1626k|  59M|  45 |   - |  50 |  76 |  10 |  50 |  16 |  23 |1079 |3466 | 0.000000e+00 |      --      |    Inf 
259.12/259.22	c   249s|620000 |116591 |  1652k|  60M|  45 |   - |  50 |  76 |   6 |  50 |  16 |  23 |1101 |3486 | 0.000000e+00 |      --      |    Inf 
263.22/263.33	c   253s|630000 |118336 |  1679k|  61M|  45 |   - |  50 |  73 |   6 |  50 |  16 |  23 |1120 |3511 | 0.000000e+00 |      --      |    Inf 
267.43/267.51	c   257s|640000 |119953 |  1705k|  62M|  45 |   6 |  50 |  67 |   7 |  50 |  16 |  23 |1128 |3534 | 0.000000e+00 |      --      |    Inf 
271.63/271.72	c   261s|650000 |121679 |  1732k|  63M|  45 |   6 |  50 |  65 |   7 |  50 |  16 |  23 |1141 |3558 | 0.000000e+00 |      --      |    Inf 
275.82/275.95	c   265s|660000 |123127 |  1759k|  63M|  45 |   - |  50 |  63 |   6 |  50 |  16 |  23 |1149 |3574 | 0.000000e+00 |      --      |    Inf 
280.02/280.12	c   269s|670000 |124802 |  1786k|  64M|  45 |   6 |  50 |  65 |   8 |  50 |  16 |  23 |1170 |3596 | 0.000000e+00 |      --      |    Inf 
284.12/284.25	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
284.12/284.25	c   273s|680000 |126388 |  1813k|  65M|  45 |   - |  50 |  69 |   8 |   0 |   0 |  23 |1187 |3617 | 0.000000e+00 |      --      |    Inf 
288.32/288.44	c   277s|690000 |127740 |  1839k|  66M|  45 |   6 |  50 |  73 |   7 |  50 |  16 |  23 |1208 |3632 | 0.000000e+00 |      --      |    Inf 
292.52/292.63	c   281s|700000 |129414 |  1865k|  67M|  45 |   - |  50 |  70 |   6 |  50 |  16 |  23 |1224 |3649 | 0.000000e+00 |      --      |    Inf 
296.72/296.81	c   285s|710000 |131156 |  1892k|  68M|  45 |   - |  50 |  76 |  10 |  50 |  16 |  23 |1240 |3666 | 0.000000e+00 |      --      |    Inf 
300.82/300.98	c   289s|720000 |132585 |  1918k|  68M|  45 |   - |  50 |  75 |   6 |  50 |  16 |  23 |1261 |3684 | 0.000000e+00 |      --      |    Inf 
305.02/305.15	c   293s|730000 |134593 |  1946k|  69M|  45 |   - |  50 |  89 |   6 |  50 |  16 |  23 |1284 |3698 | 0.000000e+00 |      --      |    Inf 
309.22/309.35	c   297s|740000 |136763 |  1973k|  71M|  45 |   6 |  50 |  89 |   6 |  50 |  16 |  23 |1301 |3715 | 0.000000e+00 |      --      |    Inf 
313.42/313.52	c   301s|750000 |138487 |  1999k|  71M|  45 |   - |  50 |  92 |   6 |  50 |  16 |  23 |1308 |3722 | 0.000000e+00 |      --      |    Inf 
317.51/317.62	c   305s|760000 |140637 |  2024k|  73M|  45 |   - |  50 | 102 |   7 |  50 |  16 |  23 |1329 |3727 | 0.000000e+00 |      --      |    Inf 
321.61/321.74	c   309s|770000 |142203 |  2050k|  73M|  45 |   6 |  50 |  95 |   7 |  50 |  16 |  23 |1340 |3727 | 0.000000e+00 |      --      |    Inf 
325.70/325.90	c   313s|780000 |143793 |  2076k|  74M|  45 |   - |  50 |  93 |   5 |   0 |   0 |  23 |1360 |3727 | 0.000000e+00 |      --      |    Inf 
329.91/330.07	c   317s|790000 |145459 |  2102k|  75M|  45 |   6 |  50 |  92 |   8 |  50 |  16 |  23 |1380 |3735 | 0.000000e+00 |      --      |    Inf 
334.10/334.25	c   321s|800000 |147005 |  2128k|  76M|  45 |   - |  50 |  89 |   6 |  50 |  16 |  23 |1392 |3749 | 0.000000e+00 |      --      |    Inf 
338.41/338.50	c   325s|810000 |148479 |  2156k|  77M|  45 |   6 |  50 |  85 |   6 |  50 |  16 |  23 |1404 |3763 | 0.000000e+00 |      --      |    Inf 
342.51/342.66	c   329s|820000 |150258 |  2182k|  78M|  45 |   - |  50 |  81 |  22 |  50 |  16 |  23 |1421 |3766 | 0.000000e+00 |      --      |    Inf 
346.70/346.86	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
346.70/346.86	c   333s|830000 |151822 |  2209k|  79M|  45 |   6 |  50 |  80 |  15 |  50 |  16 |  23 |1434 |3772 | 0.000000e+00 |      --      |    Inf 
350.90/351.04	c   337s|840000 |153401 |  2235k|  79M|  45 |   6 |  50 |  76 |  10 |  50 |  16 |  23 |1455 |3781 | 0.000000e+00 |      --      |    Inf 
355.11/355.26	c   341s|850000 |154741 |  2262k|  80M|  45 |   6 |  50 |  67 |   7 |  50 |  16 |  23 |1473 |3791 | 0.000000e+00 |      --      |    Inf 
359.30/359.49	c   345s|860000 |156109 |  2289k|  81M|  45 |   - |  50 |  66 |   9 |  50 |  16 |  23 |1484 |3807 | 0.000000e+00 |      --      |    Inf 
363.60/363.72	c   349s|870000 |157931 |  2317k|  82M|  45 |   - |  50 |  70 |   7 |  50 |  16 |  23 |1508 |3821 | 0.000000e+00 |      --      |    Inf 
367.80/367.95	c   353s|880000 |159495 |  2344k|  83M|  45 |   6 |  50 |  69 |   6 |  50 |  16 |  23 |1520 |3834 | 0.000000e+00 |      --      |    Inf 
371.99/372.17	c   357s|890000 |161313 |  2370k|  84M|  45 |   6 |  50 |  71 |   9 |  50 |  16 |  23 |1535 |3844 | 0.000000e+00 |      --      |    Inf 
376.20/376.38	c   361s|900000 |163345 |  2398k|  85M|  45 |   6 |  50 |  85 |   6 |  50 |  16 |  23 |1559 |3855 | 0.000000e+00 |      --      |    Inf 
380.40/380.58	c   365s|910000 |164855 |  2425k|  86M|  45 |   - |  50 |  78 |   6 |  50 |  16 |  23 |1571 |3869 | 0.000000e+00 |      --      |    Inf 
384.60/384.72	c   369s|920000 |166704 |  2451k|  86M|  45 |   6 |  50 |  76 |   6 |  50 |  16 |  23 |1581 |3885 | 0.000000e+00 |      --      |    Inf 
388.80/388.93	c   373s|930000 |168249 |  2477k|  87M|  45 |   6 |  50 |  80 |   8 |  50 |  16 |  23 |1596 |3893 | 0.000000e+00 |      --      |    Inf 
393.10/393.23	c   377s|940000 |169963 |  2505k|  88M|  45 |   6 |  50 |  85 |  10 |  50 |  16 |  23 |1612 |3909 | 0.000000e+00 |      --      |    Inf 
397.29/397.47	c   382s|950000 |171419 |  2531k|  89M|  45 |   - |  50 |  89 |   6 |  50 |  16 |  23 |1635 |3928 | 0.000000e+00 |      --      |    Inf 
401.59/401.70	c   386s|960000 |172883 |  2558k|  90M|  45 |   6 |  50 |  79 |   7 |  50 |  16 |  23 |1654 |3945 | 0.000000e+00 |      --      |    Inf 
405.69/405.88	c   390s|970000 |174593 |  2585k|  91M|  45 |   - |  50 |  77 |  16 |  50 |  16 |  23 |1669 |3961 | 0.000000e+00 |      --      |    Inf 
409.99/410.10	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
409.99/410.10	c   394s|980000 |176063 |  2611k|  92M|  45 |   6 |  50 |  70 |  15 |  50 |  16 |  23 |1681 |3969 | 0.000000e+00 |      --      |    Inf 
414.19/414.38	c   398s|990000 |177505 |  2638k|  92M|  45 |   - |  50 |  66 |   6 |  50 |  16 |  23 |1695 |3981 | 0.000000e+00 |      --      |    Inf 
418.39/418.57	c   402s|  1000k|178974 |  2665k|  93M|  45 |   6 |  50 |  63 |   7 |  50 |  16 |  23 |1709 |3989 | 0.000000e+00 |      --      |    Inf 
422.58/422.78	c   406s|  1010k|180414 |  2692k|  94M|  45 |   - |  50 |  69 |   8 |  50 |  16 |  23 |1733 |4007 | 0.000000e+00 |      --      |    Inf 
426.89/427.03	c   410s|  1020k|181710 |  2719k|  95M|  45 |   6 |  50 |  73 |   6 |  50 |  16 |  23 |1756 |4020 | 0.000000e+00 |      --      |    Inf 
431.18/431.30	c   414s|  1030k|183046 |  2746k|  96M|  45 |   - |  50 |  73 |   6 |  50 |  16 |  23 |1768 |4039 | 0.000000e+00 |      --      |    Inf 
435.39/435.53	c   418s|  1040k|184400 |  2773k|  96M|  45 |   6 |  50 |  79 |  12 |  50 |  16 |  23 |1782 |4054 | 0.000000e+00 |      --      |    Inf 
439.58/439.74	c   422s|  1050k|185888 |  2800k|  97M|  45 |   - |  50 |  71 |   7 |  50 |  16 |  23 |1795 |4067 | 0.000000e+00 |      --      |    Inf 
443.68/443.89	c   426s|  1060k|187811 |  2826k|  98M|  45 |   - |  50 |  71 |   6 |  50 |  16 |  23 |1805 |4079 | 0.000000e+00 |      --      |    Inf 
447.88/448.00	c   430s|  1070k|189367 |  2851k|  99M|  45 |   6 |  50 |  76 |  18 |  50 |  16 |  23 |1830 |4093 | 0.000000e+00 |      --      |    Inf 
451.98/452.12	c   434s|  1080k|191375 |  2876k| 100M|  45 |   - |  50 |  77 |   6 |  50 |  16 |  23 |1849 |4108 | 0.000000e+00 |      --      |    Inf 
456.07/456.28	c   438s|  1090k|193347 |  2903k| 101M|  45 |   - |  50 |  82 |   6 |  50 |  16 |  23 |1866 |4112 | 0.000000e+00 |      --      |    Inf 
460.28/460.47	c   442s|  1100k|195013 |  2930k| 102M|  45 |   6 |  50 |  78 |   6 |  50 |  16 |  23 |1890 |4119 | 0.000000e+00 |      --      |    Inf 
464.47/464.69	c   446s|  1110k|196619 |  2957k| 103M|  45 |   - |  50 |  78 |  12 |  50 |  16 |  23 |1904 |4123 | 0.000000e+00 |      --      |    Inf 
468.77/468.92	c   450s|  1120k|197937 |  2983k| 103M|  45 |   6 |  50 |  75 |   9 |  50 |  16 |  23 |1922 |4125 | 0.000000e+00 |      --      |    Inf 
472.97/473.12	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
472.97/473.12	c   454s|  1130k|199545 |  3009k| 104M|  45 |   - |  50 |  63 |   6 |  50 |  16 |  23 |1930 |4125 | 0.000000e+00 |      --      |    Inf 
477.07/477.30	c   458s|  1140k|201345 |  3035k| 105M|  45 |   6 |  50 |  59 |  11 |  50 |  16 |  23 |1952 |4125 | 0.000000e+00 |      --      |    Inf 
481.27/481.43	c   462s|  1150k|203159 |  3061k| 106M|  45 |   6 |  50 |  74 |  10 |  50 |  16 |  23 |1985 |4125 | 0.000000e+00 |      --      |    Inf 
485.37/485.55	c   466s|  1160k|205600 |  3088k| 107M|  45 |   - |  50 |  83 |   6 |   0 |   0 |  23 |2010 |4125 | 0.000000e+00 |      --      |    Inf 
489.56/489.77	c   470s|  1170k|207963 |  3116k| 109M|  45 |   6 |  50 |  93 |   6 |  50 |  16 |  23 |2028 |4125 | 0.000000e+00 |      --      |    Inf 
493.77/493.98	c   474s|  1180k|209997 |  3143k| 110M|  45 |   6 |  50 |  97 |   6 |  50 |  16 |  23 |2042 |4125 | 0.000000e+00 |      --      |    Inf 
497.96/498.18	c   478s|  1190k|211959 |  3170k| 111M|  45 |   - |  50 |  95 |  10 |  50 |  16 |  23 |2055 |4125 | 0.000000e+00 |      --      |    Inf 
502.17/502.36	c   482s|  1200k|214097 |  3197k| 112M|  45 |   6 |  50 | 102 |   6 |  50 |  16 |  23 |2073 |4125 | 0.000000e+00 |      --      |    Inf 
506.26/506.48	c   486s|  1210k|216523 |  3223k| 113M|  45 |   6 |  50 | 105 |   6 |  50 |  16 |  23 |2096 |4125 | 0.000000e+00 |      --      |    Inf 
510.46/510.64	c   490s|  1220k|218698 |  3248k| 114M|  45 |   6 |  50 | 110 |   7 |  50 |  16 |  23 |2113 |4125 | 0.000000e+00 |      --      |    Inf 
514.67/514.81	c   494s|  1230k|220762 |  3274k| 115M|  45 |   6 |  50 | 115 |   6 |  50 |  16 |  23 |2138 |4125 | 0.000000e+00 |      --      |    Inf 
518.76/518.96	c   498s|  1240k|222495 |  3300k| 116M|  45 |   - |  50 | 107 |   6 |  50 |  16 |  23 |2160 |4125 | 0.000000e+00 |      --      |    Inf 
523.06/523.23	c   502s|  1250k|223840 |  3327k| 116M|  45 |   6 |  50 |  89 |   8 |  50 |  16 |  23 |2184 |4125 | 0.000000e+00 |      --      |    Inf 
527.36/527.50	c   506s|  1260k|225544 |  3354k| 117M|  45 |   - |  50 |  83 |   7 |  50 |  16 |  23 |2196 |4125 | 0.000000e+00 |      --      |    Inf 
531.55/531.76	c   510s|  1270k|227396 |  3381k| 118M|  45 |   - |  50 |  87 |   6 |  50 |  16 |  23 |2214 |4125 | 0.000000e+00 |      --      |    Inf 
535.85/536.06	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
535.85/536.06	c   515s|  1280k|228930 |  3409k| 119M|  45 |   6 |  50 |  84 |   6 |  50 |  16 |  23 |2227 |4125 | 0.000000e+00 |      --      |    Inf 
540.15/540.33	c   519s|  1290k|230312 |  3436k| 120M|  45 |   6 |  50 |  66 |   9 |  50 |  16 |  23 |2236 |4125 | 0.000000e+00 |      --      |    Inf 
544.45/544.60	c   523s|  1300k|231643 |  3463k| 121M|  45 |   6 |  50 |  55 |  10 |  50 |  16 |  23 |2253 |4131 | 0.000000e+00 |      --      |    Inf 
548.66/548.88	c   527s|  1310k|232983 |  3489k| 121M|  45 |   6 |  50 |  47 |   6 |  50 |  16 |  23 |2272 |4135 | 0.000000e+00 |      --      |    Inf 
552.85/553.04	c   531s|  1320k|234731 |  3515k| 122M|  45 |   - |  50 |  52 |   6 |  50 |  16 |  23 |2288 |4144 | 0.000000e+00 |      --      |    Inf 
557.05/557.27	c   535s|  1330k|236045 |  3542k| 123M|  45 |   6 |  50 |  54 |   7 |  50 |  16 |  23 |2301 |4146 | 0.000000e+00 |      --      |    Inf 
561.35/561.51	c   539s|  1340k|237527 |  3568k| 124M|  45 |   - |  50 |  52 |   6 |   0 |   0 |  23 |2313 |4157 | 0.000000e+00 |      --      |    Inf 
565.45/565.63	c   543s|  1350k|239401 |  3595k| 125M|  45 |   6 |  50 |  60 |   6 |  50 |  16 |  23 |2336 |4163 | 0.000000e+00 |      --      |    Inf 
569.65/569.81	c   547s|  1360k|241052 |  3620k| 126M|  45 |   6 |  50 |  58 |   9 |  50 |  16 |  23 |2355 |4163 | 0.000000e+00 |      --      |    Inf 
573.74/573.99	c   551s|  1370k|242758 |  3645k| 127M|  45 |   6 |  50 |  53 |  11 |  50 |  16 |  23 |2362 |4167 | 0.000000e+00 |      --      |    Inf 
578.04/578.22	c   555s|  1380k|244347 |  3672k| 128M|  45 |   6 |  50 |  52 |   6 |  50 |  16 |  23 |2377 |4180 | 0.000000e+00 |      --      |    Inf 
582.24/582.43	c   559s|  1390k|245797 |  3698k| 128M|  45 |   - |  50 |  50 |   6 |  50 |  16 |  23 |2393 |4191 | 0.000000e+00 |      --      |    Inf 
586.44/586.68	c   563s|  1400k|247172 |  3725k| 129M|  45 |   - |  50 |  59 |   6 |  50 |  16 |  23 |2420 |4199 | 0.000000e+00 |      --      |    Inf 
590.75/590.94	c   567s|  1410k|248742 |  3751k| 130M|  45 |   6 |  50 |  65 |   6 |  50 |  16 |  23 |2445 |4210 | 0.000000e+00 |      --      |    Inf 
594.94/595.17	c   571s|  1420k|250208 |  3777k| 131M|  45 |   - |  50 |  71 |   9 |  50 |  16 |  23 |2463 |4216 | 0.000000e+00 |      --      |    Inf 
599.14/599.34	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
599.14/599.34	c   575s|  1430k|251993 |  3802k| 132M|  45 |   - |  50 |  67 |   6 |  50 |  16 |  23 |2489 |4227 | 0.000000e+00 |      --      |    Inf 
603.34/603.50	c   579s|  1440k|253783 |  3828k| 133M|  45 |   - |  50 |  73 |   7 |  50 |  16 |  23 |2505 |4235 | 0.000000e+00 |      --      |    Inf 
607.54/607.76	c   583s|  1450k|255472 |  3855k| 134M|  45 |   6 |  50 |  72 |   7 |  50 |  16 |  23 |2525 |4241 | 0.000000e+00 |      --      |    Inf 
611.83/612.03	c   588s|  1460k|256894 |  3881k| 134M|  45 |   6 |  50 |  70 |   7 |  50 |  16 |  23 |2548 |4255 | 0.000000e+00 |      --      |    Inf 
616.03/616.21	c   592s|  1470k|258996 |  3907k| 136M|  45 |   - |  50 |  75 |   7 |  50 |  16 |  23 |2564 |4261 | 0.000000e+00 |      --      |    Inf 
620.14/620.37	c   596s|  1480k|260657 |  3933k| 136M|  45 |   - |  50 |  76 |   8 |  50 |  16 |  23 |2575 |4269 | 0.000000e+00 |      --      |    Inf 
624.33/624.58	c   600s|  1490k|262211 |  3960k| 137M|  45 |   6 |  50 |  85 |   6 |  50 |  16 |  23 |2589 |4269 | 0.000000e+00 |      --      |    Inf 
628.63/628.81	c   604s|  1500k|263589 |  3985k| 138M|  45 |   - |  50 |  79 |   6 |   0 |   0 |  23 |2601 |4269 | 0.000000e+00 |      --      |    Inf 
632.73/632.90	c   608s|  1510k|265879 |  4010k| 139M|  45 |   6 |  50 |  78 |   8 |  50 |  16 |  23 |2619 |4269 | 0.000000e+00 |      --      |    Inf 
636.73/636.98	c   611s|  1520k|268145 |  4035k| 140M|  45 |   6 |  50 |  81 |   6 |  50 |  16 |  23 |2671 |4269 | 0.000000e+00 |      --      |    Inf 
640.83/641.09	c   615s|  1530k|269998 |  4060k| 141M|  45 |   - |  50 |  86 |   7 |  50 |  16 |  23 |2708 |4269 | 0.000000e+00 |      --      |    Inf 
645.13/645.35	c   619s|  1540k|271452 |  4087k| 142M|  45 |   6 |  50 |  70 |   9 |  50 |  16 |  23 |2721 |4269 | 0.000000e+00 |      --      |    Inf 
649.33/649.56	c   624s|  1550k|273074 |  4113k| 143M|  45 |   - |  50 |  73 |   6 |  50 |  16 |  23 |2738 |4269 | 0.000000e+00 |      --      |    Inf 
653.63/653.84	c   628s|  1560k|274396 |  4140k| 144M|  45 |   6 |  50 |  59 |  16 |  50 |  16 |  23 |2748 |4269 | 0.000000e+00 |      --      |    Inf 
657.82/658.05	c   632s|  1570k|275896 |  4166k| 144M|  45 |   6 |  50 |  58 |   6 |  50 |  16 |  23 |2766 |4269 | 0.000000e+00 |      --      |    Inf 
662.02/662.22	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
662.02/662.22	c   636s|  1580k|277589 |  4192k| 145M|  45 |   6 |  50 |  58 |   7 |  50 |  16 |  23 |2779 |4269 | 0.000000e+00 |      --      |    Inf 
666.22/666.43	c   640s|  1590k|279585 |  4219k| 146M|  45 |   - |  50 |  57 |   7 |  50 |  16 |  23 |2788 |4272 | 0.000000e+00 |      --      |    Inf 
670.52/670.77	c   644s|  1600k|280939 |  4246k| 147M|  45 |   - |  50 |  55 |   7 |  50 |  16 |  23 |2802 |4289 | 0.000000e+00 |      --      |    Inf 
674.82/675.05	c   648s|  1610k|282325 |  4273k| 148M|  45 |   - |  50 |  51 |   7 |  50 |  16 |  23 |2809 |4296 | 0.000000e+00 |      --      |    Inf 
679.12/679.31	c   652s|  1620k|283881 |  4300k| 149M|  45 |   6 |  50 |  33 |   7 |  50 |  16 |  23 |2814 |4302 | 0.000000e+00 |      --      |    Inf 
683.32/683.57	c   656s|  1630k|285485 |  4327k| 150M|  45 |   6 |  50 |  33 |   6 |  50 |  16 |  23 |2829 |4310 | 0.000000e+00 |      --      |    Inf 
687.62/687.83	c   660s|  1640k|286956 |  4353k| 150M|  45 |   - |  50 |  32 |   6 |  50 |  16 |  23 |2840 |4316 | 0.000000e+00 |      --      |    Inf 
691.91/692.11	c   664s|  1650k|288390 |  4380k| 151M|  45 |   - |  50 |  39 |   6 |   0 |   0 |  23 |2865 |4323 | 0.000000e+00 |      --      |    Inf 
696.12/696.35	c   668s|  1660k|289972 |  4406k| 152M|  45 |   6 |  50 |  39 |   6 |  50 |  16 |  23 |2882 |4326 | 0.000000e+00 |      --      |    Inf 
700.31/700.55	c   672s|  1670k|291430 |  4431k| 153M|  45 |   6 |  50 |  41 |   8 |  50 |  16 |  23 |2903 |4332 | 0.000000e+00 |      --      |    Inf 
704.51/704.75	c   676s|  1680k|293033 |  4457k| 154M|  45 |   - |  50 |  40 |   6 |  50 |  16 |  23 |2922 |4336 | 0.000000e+00 |      --      |    Inf 
708.81/709.04	c   681s|  1690k|294435 |  4484k| 155M|  45 |   - |  50 |  47 |   7 |  50 |  16 |  23 |2935 |4347 | 0.000000e+00 |      --      |    Inf 
713.01/713.28	c   685s|  1700k|296316 |  4510k| 156M|  45 |   6 |  50 |  49 |   6 |  50 |  16 |  23 |2951 |4352 | 0.000000e+00 |      --      |    Inf 
717.20/717.43	c   689s|  1710k|298352 |  4536k| 157M|  45 |   - |  50 |  58 |   6 |  50 |  16 |  23 |2967 |4359 | 0.000000e+00 |      --      |    Inf 
721.41/721.60	c   693s|  1720k|299939 |  4561k| 157M|  45 |   6 |  50 |  54 |   6 |  50 |  16 |  23 |2978 |4362 | 0.000000e+00 |      --      |    Inf 
725.61/725.89	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
725.61/725.89	c   697s|  1730k|301222 |  4588k| 158M|  45 |   6 |  50 |  45 |   9 |  50 |  16 |  23 |2988 |4374 | 0.000000e+00 |      --      |    Inf 
729.91/730.16	c   701s|  1740k|302606 |  4615k| 159M|  45 |   - |  50 |  33 |   6 |  50 |  16 |  23 |2995 |4379 | 0.000000e+00 |      --      |    Inf 
734.20/734.44	c   705s|  1750k|304158 |  4642k| 160M|  45 |   6 |  50 |  33 |   6 |  50 |  16 |  23 |3014 |4383 | 0.000000e+00 |      --      |    Inf 
738.41/738.64	c   709s|  1760k|305807 |  4668k| 161M|  45 |   6 |  50 |  40 |   6 |  50 |  16 |  23 |3039 |4392 | 0.000000e+00 |      --      |    Inf 
742.61/742.88	c   713s|  1770k|307519 |  4695k| 162M|  45 |   - |  50 |  44 |   6 |  50 |  16 |  23 |3059 |4402 | 0.000000e+00 |      --      |    Inf 
746.90/747.13	c   717s|  1780k|308949 |  4721k| 162M|  45 |   - |  50 |  47 |   7 |  50 |  16 |  23 |3069 |4413 | 0.000000e+00 |      --      |    Inf 
751.10/751.38	c   721s|  1790k|310772 |  4747k| 163M|  45 |   6 |  50 |  48 |   6 |  50 |  16 |  23 |3084 |4425 | 0.000000e+00 |      --      |    Inf 
755.40/755.61	c   725s|  1800k|312741 |  4774k| 164M|  45 |   - |  50 |  43 |   6 |  50 |  16 |  23 |3104 |4432 | 0.000000e+00 |      --      |    Inf 
759.50/759.74	c   729s|  1810k|315016 |  4800k| 165M|  45 |   6 |  50 |  45 |   6 |  50 |  16 |  23 |3111 |4440 | 0.000000e+00 |      --      |    Inf 
763.59/763.89	c   733s|  1820k|317025 |  4825k| 166M|  45 |   6 |  50 |  54 |   6 |  50 |  16 |  23 |3128 |4448 | 0.000000e+00 |      --      |    Inf 
767.90/768.11	c   737s|  1830k|318656 |  4851k| 167M|  45 |   - |  50 |  55 |   6 |  50 |  16 |  23 |3145 |4453 | 0.000000e+00 |      --      |    Inf 
772.10/772.31	c   741s|  1840k|320454 |  4877k| 168M|  45 |   6 |  50 |  48 |   9 |  50 |  16 |  23 |3160 |4464 | 0.000000e+00 |      --      |    Inf 
776.29/776.58	c   745s|  1850k|321942 |  4904k| 169M|  45 |   6 |  50 |  43 |   6 |  50 |  16 |  23 |3183 |4469 | 0.000000e+00 |      --      |    Inf 
780.49/780.70	c   749s|  1860k|324024 |  4929k| 170M|  45 |   6 |  50 |  47 |   6 |  50 |  16 |  23 |3191 |4471 | 0.000000e+00 |      --      |    Inf 
784.69/784.90	c   753s|  1870k|325480 |  4955k| 171M|  45 |   - |  50 |  38 |   6 |  50 |  16 |  23 |3203 |4471 | 0.000000e+00 |      --      |    Inf 
788.89/789.16	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
788.89/789.16	c   757s|  1880k|327068 |  4982k| 172M|  45 |   - |  50 |  45 |   6 |  50 |  16 |  23 |3231 |4471 | 0.000000e+00 |      --      |    Inf 
793.19/793.41	c   762s|  1890k|328661 |  5009k| 173M|  45 |   6 |  50 |  42 |   6 |  50 |  16 |  23 |3244 |4479 | 0.000000e+00 |      --      |    Inf 
797.39/797.64	c   766s|  1900k|330016 |  5035k| 173M|  45 |   6 |  50 |  35 |   6 |  50 |  16 |  23 |3265 |4483 | 0.000000e+00 |      --      |    Inf 
801.60/801.84	c   770s|  1910k|331451 |  5061k| 174M|  45 |   6 |  50 |  28 |  10 |  50 |  16 |  23 |3278 |4491 | 0.000000e+00 |      --      |    Inf 
805.79/806.02	c   774s|  1920k|332995 |  5086k| 175M|  45 |   - |  50 |  31 |   6 |  50 |  16 |  23 |3292 |4494 | 0.000000e+00 |      --      |    Inf 
810.09/810.31	c   778s|  1930k|334302 |  5113k| 176M|  45 |   6 |  50 |  31 |   7 |  50 |  16 |  23 |3308 |4504 | 0.000000e+00 |      --      |    Inf 
814.28/814.58	c   782s|  1940k|335787 |  5139k| 177M|  45 |   6 |  50 |  33 |   8 |  50 |  16 |  23 |3329 |4514 | 0.000000e+00 |      --      |    Inf 
818.59/818.81	c   786s|  1950k|337302 |  5165k| 177M|  45 |   6 |  50 |  36 |   6 |  50 |  16 |  23 |3341 |4518 | 0.000000e+00 |      --      |    Inf 
822.78/823.05	c   790s|  1960k|338598 |  5192k| 178M|  45 |   6 |  50 |  38 |  10 |  50 |  16 |  23 |3357 |4522 | 0.000000e+00 |      --      |    Inf 
827.09/827.30	c   794s|  1970k|339846 |  5218k| 179M|  45 |   6 |  50 |  41 |   6 |  50 |  16 |  23 |3372 |4535 | 0.000000e+00 |      --      |    Inf 
831.18/831.49	c   798s|  1980k|341608 |  5243k| 180M|  45 |   6 |  50 |  46 |   7 |  50 |  16 |  23 |3386 |4543 | 0.000000e+00 |      --      |    Inf 
835.38/835.66	c   802s|  1990k|343119 |  5268k| 181M|  45 |   6 |  50 |  49 |   6 |  50 |  16 |  23 |3403 |4551 | 0.000000e+00 |      --      |    Inf 
839.48/839.78	c   806s|  2000k|344591 |  5293k| 181M|  45 |   - |  50 |  50 |   6 |  50 |  16 |  23 |3422 |4552 | 0.000000e+00 |      --      |    Inf 
843.78/844.03	c   810s|  2010k|346007 |  5319k| 182M|  45 |   - |  50 |  40 |   6 |  50 |  16 |  23 |3436 |4560 | 0.000000e+00 |      --      |    Inf 
847.98/848.29	c   814s|  2020k|347313 |  5346k| 183M|  45 |   - |  50 |  40 |   9 |  50 |  16 |  23 |3456 |4572 | 0.000000e+00 |      --      |    Inf 
852.28/852.54	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
852.28/852.54	c   818s|  2030k|348816 |  5373k| 184M|  45 |   6 |  50 |  44 |   6 |  50 |  16 |  23 |3472 |4579 | 0.000000e+00 |      --      |    Inf 
856.47/856.71	c   822s|  2040k|350819 |  5398k| 185M|  45 |   6 |  50 |  49 |   6 |  50 |  16 |  23 |3487 |4594 | 0.000000e+00 |      --      |    Inf 
860.47/860.78	c   826s|  2050k|352676 |  5422k| 186M|  45 |   6 |  50 |  57 |  11 |  50 |  16 |  23 |3514 |4597 | 0.000000e+00 |      --      |    Inf 
864.67/864.98	c   830s|  2060k|354251 |  5448k| 187M|  45 |   6 |  50 |  60 |   7 |  50 |  16 |  23 |3543 |4608 | 0.000000e+00 |      --      |    Inf 
868.98/869.22	c   834s|  2070k|355911 |  5474k| 188M|  45 |   6 |  50 |  48 |   6 |  50 |  16 |  23 |3558 |4615 | 0.000000e+00 |      --      |    Inf 
873.17/873.48	c   838s|  2080k|357387 |  5501k| 188M|  45 |   6 |  50 |  47 |   7 |  50 |  16 |  23 |3570 |4622 | 0.000000e+00 |      --      |    Inf 
877.47/877.75	c   842s|  2090k|358957 |  5528k| 189M|  45 |   - |  50 |  48 |   6 |  50 |  16 |  23 |3587 |4632 | 0.000000e+00 |      --      |    Inf 
881.67/881.91	c   846s|  2100k|360673 |  5554k| 190M|  45 |   6 |  50 |  51 |   8 |  50 |  16 |  23 |3599 |4641 | 0.000000e+00 |      --      |    Inf 
885.87/886.13	c   851s|  2110k|362177 |  5581k| 191M|  45 |   6 |  50 |  50 |   6 |  50 |  16 |  23 |3616 |4646 | 0.000000e+00 |      --      |    Inf 
890.07/890.36	c   855s|  2120k|364063 |  5607k| 192M|  45 |   6 |  50 |  51 |   6 |  50 |  16 |  23 |3629 |4655 | 0.000000e+00 |      --      |    Inf 
894.37/894.61	c   859s|  2130k|365645 |  5634k| 193M|  45 |   6 |  50 |  56 |   6 |  50 |  16 |  23 |3650 |4660 | 0.000000e+00 |      --      |    Inf 
898.56/898.86	c   863s|  2140k|367429 |  5662k| 194M|  45 |   - |  50 |  67 |   6 |  50 |  16 |  23 |3698 |4663 | 0.000000e+00 |      --      |    Inf 
902.87/903.11	c   867s|  2150k|369015 |  5690k| 195M|  45 |   6 |  50 |  63 |   6 |  50 |  16 |  23 |3713 |4663 | 0.000000e+00 |      --      |    Inf 
907.06/907.34	c   871s|  2160k|371168 |  5716k| 196M|  45 |   6 |  50 |  60 |   9 |  50 |  16 |  23 |3728 |4663 | 0.000000e+00 |      --      |    Inf 
911.26/911.55	c   875s|  2170k|372739 |  5742k| 196M|  45 |   6 |  50 |  51 |   6 |  50 |  16 |  23 |3747 |4663 | 0.000000e+00 |      --      |    Inf 
915.56/915.88	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
915.56/915.88	c   879s|  2180k|374169 |  5769k| 197M|  45 |   6 |  50 |  45 |   6 |  50 |  16 |  23 |3758 |4667 | 0.000000e+00 |      --      |    Inf 
919.86/920.14	c   883s|  2190k|375669 |  5796k| 198M|  45 |   6 |  50 |  35 |   6 |  50 |  16 |  23 |3769 |4682 | 0.000000e+00 |      --      |    Inf 
924.16/924.41	c   887s|  2200k|377057 |  5822k| 199M|  45 |   6 |  50 |  25 |   7 |  50 |  16 |  23 |3783 |4690 | 0.000000e+00 |      --      |    Inf 
928.35/928.60	c   891s|  2210k|378703 |  5848k| 200M|  45 |   6 |  50 |  25 |   6 |  50 |  16 |  23 |3792 |4702 | 0.000000e+00 |      --      |    Inf 
932.46/932.79	c   895s|  2220k|380242 |  5873k| 201M|  45 |   6 |  50 |  33 |   6 |  50 |  16 |  23 |3814 |4710 | 0.000000e+00 |      --      |    Inf 
936.75/937.03	c   899s|  2230k|381922 |  5899k| 201M|  45 |   6 |  50 |  39 |  10 |  50 |  16 |  23 |3830 |4717 | 0.000000e+00 |      --      |    Inf 
940.95/941.23	c   903s|  2240k|383416 |  5924k| 202M|  45 |   - |  50 |  36 |   6 |  50 |  16 |  23 |3840 |4730 | 0.000000e+00 |      --      |    Inf 
945.15/945.42	c   907s|  2250k|385310 |  5951k| 203M|  45 |   - |  50 |  43 |   6 |  50 |  16 |  23 |3855 |4737 | 0.000000e+00 |      --      |    Inf 
949.35/949.66	c   912s|  2260k|386759 |  5976k| 204M|  45 |   - |  50 |  40 |   6 |  50 |  16 |  23 |3880 |4748 | 0.000000e+00 |      --      |    Inf 
953.64/953.91	c   916s|  2270k|388311 |  6002k| 205M|  45 |   - |  50 |  43 |   6 |  50 |  16 |  23 |3899 |4754 | 0.000000e+00 |      --      |    Inf 
957.86/958.16	c   920s|  2280k|389674 |  6028k| 206M|  45 |   - |  50 |  37 |   6 |   0 |   0 |  23 |3919 |4767 | 0.000000e+00 |      --      |    Inf 
962.05/962.34	c   924s|  2290k|391616 |  6055k| 207M|  45 |   6 |  50 |  44 |   7 |  50 |  16 |  23 |3938 |4770 | 0.000000e+00 |      --      |    Inf 
966.24/966.58	c   928s|  2300k|393081 |  6082k| 207M|  45 |   6 |  50 |  37 |   6 |  50 |  16 |  23 |3952 |4773 | 0.000000e+00 |      --      |    Inf 
970.54/970.82	c   932s|  2310k|394530 |  6107k| 208M|  45 |   6 |  50 |  38 |   6 |  50 |  16 |  23 |3974 |4784 | 0.000000e+00 |      --      |    Inf 
974.84/975.15	c   936s|  2320k|395954 |  6134k| 209M|  45 |   - |  50 |  33 |   6 |  50 |  16 |  23 |4001 |4791 | 0.000000e+00 |      --      |    Inf 
979.05/979.34	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
979.05/979.34	c   940s|  2330k|397668 |  6160k| 210M|  45 |   6 |  50 |  36 |   6 |  50 |  16 |  23 |4030 |4806 | 0.000000e+00 |      --      |    Inf 
983.24/983.54	c   944s|  2340k|399016 |  6186k| 211M|  45 |   - |  50 |  37 |   7 |  50 |  16 |  23 |4041 |4807 | 0.000000e+00 |      --      |    Inf 
987.54/987.81	c   948s|  2350k|400576 |  6212k| 212M|  45 |   6 |  50 |  32 |   6 |  50 |  16 |  23 |4055 |4816 | 0.000000e+00 |      --      |    Inf 
991.74/992.10	c   952s|  2360k|402089 |  6239k| 212M|  45 |   6 |  50 |  37 |   6 |  50 |  16 |  23 |4079 |4824 | 0.000000e+00 |      --      |    Inf 
996.04/996.34	c   956s|  2370k|404218 |  6266k| 213M|  45 |   - |  50 |  44 |   6 |  50 |  16 |  23 |4088 |4829 | 0.000000e+00 |      --      |    Inf 
1000.33/1000.67	c   960s|  2380k|405612 |  6294k| 214M|  45 |   6 |  50 |  40 |   9 |  50 |  16 |  23 |4103 |4833 | 0.000000e+00 |      --      |    Inf 
1004.64/1004.90	c   965s|  2390k|407012 |  6320k| 215M|  45 |   6 |  50 |  37 |   6 |  50 |  16 |  23 |4114 |4838 | 0.000000e+00 |      --      |    Inf 
1008.74/1009.09	c   969s|  2400k|408766 |  6346k| 216M|  45 |   6 |  50 |  31 |   6 |  50 |  16 |  23 |4123 |4843 | 0.000000e+00 |      --      |    Inf 
1012.93/1013.26	c   973s|  2410k|410384 |  6370k| 217M|  45 |   6 |  50 |  41 |   6 |  50 |  16 |  23 |4157 |4843 | 0.000000e+00 |      --      |    Inf 
1017.24/1017.50	c   977s|  2420k|411954 |  6396k| 218M|  45 |   - |  50 |  39 |   6 |  50 |  16 |  23 |4170 |4844 | 0.000000e+00 |      --      |    Inf 
1021.33/1021.68	c   981s|  2430k|413945 |  6422k| 219M|  45 |   - |  50 |  44 |   7 |  50 |  16 |  23 |4181 |4847 | 0.000000e+00 |      --      |    Inf 
1025.63/1025.95	c   985s|  2440k|415484 |  6449k| 220M|  45 |   6 |  50 |  41 |  11 |  50 |  16 |  23 |4213 |4854 | 0.000000e+00 |      --      |    Inf 
1029.93/1030.25	c   989s|  2450k|416750 |  6475k| 220M|  45 |   6 |  50 |  33 |   6 |  50 |  16 |  23 |4227 |4855 | 0.000000e+00 |      --      |    Inf 
1034.13/1034.40	c   993s|  2460k|418821 |  6500k| 221M|  45 |   - |  50 |  38 |   6 |  50 |  16 |  23 |4243 |4859 | 0.000000e+00 |      --      |    Inf 
1038.22/1038.57	c   997s|  2470k|420381 |  6525k| 222M|  45 |   6 |  50 |  38 |   6 |  50 |  16 |  23 |4261 |4863 | 0.000000e+00 |      --      |    Inf 
1042.52/1042.81	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1042.52/1042.81	c  1001s|  2480k|421799 |  6551k| 223M|  45 |   - |  50 |  42 |   6 |  50 |  16 |  23 |4287 |4866 | 0.000000e+00 |      --      |    Inf 
1046.73/1047.08	c  1005s|  2490k|423143 |  6578k| 224M|  45 |   6 |  50 |  35 |   6 |  50 |  16 |  23 |4295 |4872 | 0.000000e+00 |      --      |    Inf 
1051.02/1051.33	c  1009s|  2500k|424257 |  6603k| 224M|  45 |   6 |  50 |  36 |   6 |  50 |  16 |  23 |4311 |4881 | 0.000000e+00 |      --      |    Inf 
1055.22/1055.56	c  1013s|  2510k|425773 |  6628k| 225M|  45 |   6 |  50 |  35 |   6 |  50 |  16 |  23 |4326 |4887 | 0.000000e+00 |      --      |    Inf 
1059.42/1059.70	c  1017s|  2520k|427389 |  6653k| 226M|  45 |   6 |  50 |  37 |   6 |  50 |  16 |  23 |4347 |4896 | 0.000000e+00 |      --      |    Inf 
1063.52/1063.89	c  1021s|  2530k|428952 |  6678k| 227M|  45 |   6 |  50 |  37 |   6 |  50 |  16 |  23 |4368 |4901 | 0.000000e+00 |      --      |    Inf 
1067.92/1068.20	c  1025s|  2540k|430549 |  6705k| 228M|  45 |   - |  50 |  40 |   6 |  50 |  16 |  23 |4401 |4907 | 0.000000e+00 |      --      |    Inf 
1071.92/1072.26	c  1029s|  2550k|432103 |  6729k| 229M|  45 |   6 |  50 |  40 |   6 |  50 |  16 |  23 |4425 |4910 | 0.000000e+00 |      --      |    Inf 
1076.11/1076.43	c  1033s|  2560k|433423 |  6753k| 229M|  45 |   6 |  50 |  39 |   6 |  50 |  16 |  23 |4445 |4917 | 0.000000e+00 |      --      |    Inf 
1080.32/1080.65	c  1037s|  2570k|434908 |  6780k| 230M|  45 |   6 |  50 |  29 |   6 |  50 |  16 |  23 |4458 |4922 | 0.000000e+00 |      --      |    Inf 
1084.51/1084.88	c  1041s|  2580k|436476 |  6806k| 231M|  45 |   6 |  50 |  26 |   6 |  50 |  16 |  23 |4476 |4927 | 0.000000e+00 |      --      |    Inf 
1088.91/1089.20	c  1045s|  2590k|437928 |  6833k| 232M|  45 |   6 |  50 |  31 |   6 |  50 |  16 |  23 |4496 |4940 | 0.000000e+00 |      --      |    Inf 
1093.11/1093.43	c  1049s|  2600k|439682 |  6860k| 233M|  45 |   6 |  50 |  27 |   7 |  50 |  16 |  23 |4507 |4947 | 0.000000e+00 |      --      |    Inf 
1097.41/1097.72	c  1054s|  2610k|441408 |  6887k| 234M|  45 |   6 |  50 |  28 |   6 |  50 |  16 |  23 |4532 |4950 | 0.000000e+00 |      --      |    Inf 
1101.61/1101.97	c  1058s|  2620k|443096 |  6914k| 235M|  45 |   6 |  50 |  37 |   7 |  50 |  16 |  23 |4555 |4959 | 0.000000e+00 |      --      |    Inf 
1105.90/1106.26	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1105.90/1106.26	c  1062s|  2630k|444522 |  6941k| 235M|  45 |   - |  50 |  20 |   6 |  50 |  16 |  23 |4570 |4964 | 0.000000e+00 |      --      |    Inf 
1110.11/1110.40	c  1066s|  2640k|446256 |  6966k| 236M|  45 |   6 |  50 |  24 |   7 |  50 |  16 |  23 |4596 |4969 | 0.000000e+00 |      --      |    Inf 
1114.31/1114.65	c  1070s|  2650k|447564 |  6992k| 237M|  45 |   6 |  50 |  27 |   7 |  50 |  16 |  23 |4620 |4976 | 0.000000e+00 |      --      |    Inf 
1118.51/1118.86	c  1074s|  2660k|449366 |  7019k| 238M|  45 |   6 |  50 |  30 |   6 |  50 |  16 |  23 |4632 |4980 | 0.000000e+00 |      --      |    Inf 
1122.71/1123.06	c  1078s|  2670k|451255 |  7045k| 239M|  45 |   - |  50 |  33 |   6 |  50 |  16 |  23 |4646 |4983 | 0.000000e+00 |      --      |    Inf 
1127.00/1127.30	c  1082s|  2680k|452779 |  7071k| 240M|  45 |   - |  50 |  25 |   6 |  50 |  16 |  23 |4657 |4983 | 0.000000e+00 |      --      |    Inf 
1131.30/1131.61	c  1086s|  2690k|454055 |  7097k| 241M|  45 |   6 |  50 |  25 |   7 |  50 |  16 |  23 |4667 |4983 | 0.000000e+00 |      --      |    Inf 
1135.50/1135.85	c  1090s|  2700k|455451 |  7122k| 241M|  45 |   6 |  50 |  26 |   7 |  50 |  16 |  23 |4684 |4983 | 0.000000e+00 |      --      |    Inf 
1139.80/1140.14	c  1094s|  2710k|456621 |  7149k| 242M|  45 |   6 |  50 |  26 |   6 |  50 |  16 |  23 |4699 |4983 | 0.000000e+00 |      --      |    Inf 
1144.10/1144.45	c  1099s|  2720k|458121 |  7177k| 243M|  45 |   6 |  50 |  30 |   6 |  50 |  16 |  23 |4721 |4983 | 0.000000e+00 |      --      |    Inf 
1148.30/1148.64	c  1103s|  2730k|460269 |  7203k| 244M|  45 |   6 |  50 |  35 |   6 |  50 |  16 |  23 |4735 |4983 | 0.000000e+00 |      --      |    Inf 
1152.50/1152.87	c  1107s|  2740k|462220 |  7228k| 245M|  45 |   - |  50 |  41 |   6 |  50 |  16 |  23 |4753 |4983 | 0.000000e+00 |      --      |    Inf 
1156.70/1157.09	c  1111s|  2750k|463948 |  7254k| 246M|  45 |   - |  50 |  35 |   6 |  50 |  16 |  23 |4771 |4984 | 0.000000e+00 |      --      |    Inf 
1160.79/1161.14	c  1115s|  2760k|465759 |  7276k| 247M|  45 |   6 |  50 |  43 |   9 |  50 |  16 |  23 |4822 |4984 | 0.000000e+00 |      --      |    Inf 
1164.99/1165.34	c  1119s|  2770k|467258 |  7301k| 247M|  45 |   - |  50 |  29 |   6 |  50 |  16 |  23 |4841 |4984 | 0.000000e+00 |      --      |    Inf 
1169.19/1169.59	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1169.19/1169.59	c  1123s|  2780k|468599 |  7327k| 248M|  45 |   6 |  50 |  25 |   9 |  50 |  16 |  23 |4872 |4984 | 0.000000e+00 |      --      |    Inf 
1173.49/1173.81	c  1127s|  2790k|470055 |  7353k| 249M|  45 |   - |  50 |  28 |   6 |   0 |   0 |  23 |4893 |4984 | 0.000000e+00 |      --      |    Inf 
1177.80/1178.13	c  1131s|  2800k|471711 |  7380k| 250M|  45 |   6 |  50 |  27 |   6 |  50 |  16 |  23 |4912 |4984 | 0.000000e+00 |      --      |    Inf 
1181.98/1182.40	c  1135s|  2810k|473271 |  7408k| 251M|  45 |   - |  50 |  27 |   6 |  50 |  16 |  23 |4921 |4984 | 0.000000e+00 |      --      |    Inf 
1186.28/1186.61	c  1139s|  2820k|474971 |  7433k| 252M|  45 |   6 |  50 |  24 |   6 |  50 |  16 |  23 |4938 |4984 | 0.000000e+00 |      --      |    Inf 
1190.58/1190.92	c  1143s|  2830k|476421 |  7460k| 252M|  45 |   6 |  50 |  21 |   6 |  50 |  16 |  23 |4948 |4984 | 0.000000e+00 |      --      |    Inf 
1194.78/1195.19	c  1147s|  2840k|478518 |  7487k| 254M|  45 |   6 |  50 |  32 |   6 |  50 |  16 |  23 |4963 |4984 | 0.000000e+00 |      --      |    Inf 
1199.19/1199.52	c  1151s|  2850k|479874 |  7514k| 254M|  45 |   - |  50 |  21 |   6 |  50 |  16 |  23 |4977 |4984 | 0.000000e+00 |      --      |    Inf 
1203.38/1203.78	c  1156s|  2860k|481312 |  7540k| 255M|  45 |   - |  50 |  23 |   6 |  50 |  16 |  23 |5002 |4984 | 0.000000e+00 |      --      |    Inf 
1207.68/1208.05	c  1160s|  2870k|482563 |  7566k| 256M|  45 |   - |  50 |  26 |   6 |  50 |  16 |  23 |5024 |4984 | 0.000000e+00 |      --      |    Inf 
1211.89/1212.28	c  1164s|  2880k|484179 |  7591k| 257M|  45 |   6 |  50 |  21 |   6 |  50 |  16 |  23 |5037 |4984 | 0.000000e+00 |      --      |    Inf 
1216.19/1216.53	c  1168s|  2890k|485958 |  7617k| 258M|  45 |   6 |  50 |  24 |   6 |  50 |  16 |  23 |5054 |4984 | 0.000000e+00 |      --      |    Inf 
1220.47/1220.82	c  1172s|  2900k|487218 |  7643k| 258M|  45 |   - |  50 |  20 |   7 |  50 |  16 |  23 |5065 |4984 | 0.000000e+00 |      --      |    Inf 
1224.67/1225.08	c  1176s|  2910k|488636 |  7669k| 259M|  45 |   6 |  50 |  18 |   6 |  50 |  16 |  23 |5076 |4984 | 0.000000e+00 |      --      |    Inf 
1229.08/1229.40	c  1180s|  2920k|490143 |  7696k| 260M|  45 |   - |  50 |  21 |   7 |  50 |  16 |  23 |5093 |4984 | 0.000000e+00 |      --      |    Inf 
1233.28/1233.66	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1233.28/1233.66	c  1184s|  2930k|491935 |  7722k| 261M|  45 |   6 |  50 |  25 |   6 |  50 |  16 |  23 |5112 |4984 | 0.000000e+00 |      --      |    Inf 
1237.47/1237.86	c  1188s|  2940k|493706 |  7747k| 262M|  45 |   - |  50 |  36 |   8 |  50 |  16 |  23 |5132 |4984 | 0.000000e+00 |      --      |    Inf 
1241.67/1242.03	c  1192s|  2950k|495250 |  7772k| 263M|  45 |   6 |  50 |  23 |   7 |  50 |  16 |  23 |5159 |4984 | 0.000000e+00 |      --      |    Inf 
1245.87/1246.26	c  1196s|  2960k|496572 |  7798k| 263M|  45 |   6 |  50 |  23 |   6 |  50 |  16 |  23 |5194 |4984 | 0.000000e+00 |      --      |    Inf 
1250.17/1250.55	c  1200s|  2970k|497860 |  7823k| 264M|  45 |   - |  50 |  21 |   6 |   0 |   0 |  23 |5205 |4984 | 0.000000e+00 |      --      |    Inf 
1254.46/1254.86	c  1205s|  2980k|499293 |  7850k| 265M|  45 |   - |  50 |  20 |   6 |  50 |  16 |  23 |5215 |4984 | 0.000000e+00 |      --      |    Inf 
1258.67/1259.04	c  1209s|  2990k|500706 |  7876k| 266M|  45 |   - |  50 |  23 |   6 |  50 |  16 |  23 |5238 |4984 | 0.000000e+00 |      --      |    Inf 
1262.86/1263.27	c  1213s|  3000k|502072 |  7902k| 267M|  45 |   6 |  50 |  20 |   6 |  50 |  16 |  23 |5250 |4984 | 0.000000e+00 |      --      |    Inf 
1267.06/1267.48	c  1217s|  3010k|503476 |  7927k| 267M|  45 |   - |  50 |  22 |   6 |  50 |  16 |  23 |5270 |4984 | 0.000000e+00 |      --      |    Inf 
1271.46/1271.89	c  1221s|  3020k|504732 |  7955k| 268M|  45 |   6 |  50 |  42 |   6 |  50 |  16 |  23 |5312 |4984 | 0.000000e+00 |      --      |    Inf 
1275.85/1276.25	c  1225s|  3030k|506308 |  7984k| 269M|  45 |   - |  50 |  64 |  10 |   0 |   0 |  23 |5372 |4984 | 0.000000e+00 |      --      |    Inf 
1280.06/1280.49	c  1229s|  3040k|507959 |  8009k| 270M|  45 |   6 |  50 |  86 |   8 |  50 |  16 |  23 |5460 |4984 | 0.000000e+00 |      --      |    Inf 
1284.36/1284.76	c  1233s|  3050k|509730 |  8036k| 271M|  45 |   - |  50 |  99 |   7 |  50 |  16 |  23 |5552 |4984 | 0.000000e+00 |      --      |    Inf 
1288.76/1289.13	c  1237s|  3060k|511566 |  8063k| 272M|  45 |   6 |  50 | 126 |   8 |  50 |  16 |  23 |5633 |4984 | 0.000000e+00 |      --      |    Inf 
1293.06/1293.46	c  1242s|  3070k|513063 |  8090k| 272M|  45 |   6 |  50 | 120 |   6 |  50 |  16 |  23 |5711 |4984 | 0.000000e+00 |      --      |    Inf 
1297.55/1297.92	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1297.55/1297.92	c  1246s|  3080k|514164 |  8118k| 273M|  45 |   6 |  50 |  81 |  10 |  50 |  16 |  23 |5797 |4984 | 0.000000e+00 |      --      |    Inf 
1301.85/1302.24	c  1250s|  3090k|516220 |  8146k| 274M|  45 |   - |  50 | 116 |   9 |  50 |  16 |  23 |5874 |4984 | 0.000000e+00 |      --      |    Inf 
1306.25/1306.66	c  1254s|  3100k|517765 |  8175k| 275M|  45 |   6 |  50 | 110 |  15 |  50 |  16 |  23 |5928 |4984 | 0.000000e+00 |      --      |    Inf 
1310.65/1311.05	c  1259s|  3110k|519085 |  8201k| 276M|  45 |   6 |  50 |  51 |   6 |  50 |  16 |  23 |5940 |4984 | 0.000000e+00 |      --      |    Inf 
1314.85/1315.30	c  1263s|  3120k|521257 |  8228k| 277M|  45 |   - |  50 |  47 |   6 |  50 |  16 |  23 |5959 |4984 | 0.000000e+00 |      --      |    Inf 
1319.15/1319.50	c  1267s|  3130k|523318 |  8253k| 278M|  45 |   6 |  50 |  46 |   6 |  50 |  16 |  23 |5989 |4984 | 0.000000e+00 |      --      |    Inf 
1323.34/1323.75	c  1271s|  3140k|525189 |  8279k| 279M|  45 |   6 |  50 |  47 |   6 |  50 |  16 |  23 |6034 |4984 | 0.000000e+00 |      --      |    Inf 
1327.64/1328.03	c  1275s|  3150k|526873 |  8305k| 280M|  45 |   - |  50 |  30 |   6 |  50 |  16 |  23 |6054 |4984 | 0.000000e+00 |      --      |    Inf 
1331.95/1332.31	c  1279s|  3160k|528467 |  8332k| 281M|  45 |   6 |  50 |  35 |   6 |  50 |  16 |  23 |6070 |4984 | 0.000000e+00 |      --      |    Inf 
1336.24/1336.66	c  1283s|  3170k|529780 |  8357k| 281M|  45 |   - |  50 |  17 |   6 |  50 |  16 |  23 |6091 |4984 | 0.000000e+00 |      --      |    Inf 
1340.55/1340.93	c  1287s|  3180k|531410 |  8383k| 282M|  45 |   - |  50 |  21 |   6 |  50 |  16 |  23 |6115 |4984 | 0.000000e+00 |      --      |    Inf 
1344.74/1345.18	c  1291s|  3190k|532916 |  8409k| 283M|  45 |   6 |  50 |  20 |   7 |  50 |  16 |  23 |6132 |4984 | 0.000000e+00 |      --      |    Inf 
1349.04/1349.42	c  1295s|  3200k|534587 |  8434k| 284M|  45 |   6 |  50 |  22 |   6 |  50 |  16 |  23 |6160 |4984 | 0.000000e+00 |      --      |    Inf 
1353.34/1353.78	c  1300s|  3210k|535866 |  8460k| 285M|  45 |   6 |  50 |  12 |   6 |  50 |  16 |  23 |6191 |4984 | 0.000000e+00 |      --      |    Inf 
1357.64/1358.05	c  1304s|  3220k|537526 |  8485k| 286M|  45 |   6 |  50 |  17 |   6 |  50 |  16 |  23 |6216 |4984 | 0.000000e+00 |      --      |    Inf 
1361.94/1362.34	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1361.94/1362.34	c  1308s|  3230k|539256 |  8511k| 286M|  45 |   - |  50 |  17 |   6 |  50 |  16 |  23 |6233 |4984 | 0.000000e+00 |      --      |    Inf 
1366.13/1366.59	c  1312s|  3240k|540552 |  8537k| 287M|  45 |   - |  50 |  14 |   6 |  50 |  16 |  23 |6249 |4984 | 0.000000e+00 |      --      |    Inf 
1370.44/1370.85	c  1316s|  3250k|542216 |  8562k| 288M|  45 |   6 |  50 |  12 |   6 |  50 |  16 |  23 |6267 |4984 | 0.000000e+00 |      --      |    Inf 
1374.84/1375.21	c  1320s|  3260k|543651 |  8588k| 289M|  45 |   6 |  50 |  17 |   6 |  50 |  16 |  23 |6288 |4984 | 0.000000e+00 |      --      |    Inf 
1379.13/1379.54	c  1324s|  3270k|545533 |  8616k| 290M|  45 |   6 |  50 |  23 |   6 |  50 |  16 |  23 |6310 |4984 | 0.000000e+00 |      --      |    Inf 
1383.34/1383.70	c  1328s|  3280k|547677 |  8640k| 291M|  45 |   6 |  50 |  28 |   6 |  50 |  16 |  23 |6332 |4984 | 0.000000e+00 |      --      |    Inf 
1387.43/1387.86	c  1332s|  3290k|549643 |  8664k| 292M|  45 |   6 |  50 |  27 |   8 |  50 |  16 |  23 |6360 |4984 | 0.000000e+00 |      --      |    Inf 
1391.63/1392.06	c  1336s|  3300k|551337 |  8688k| 293M|  45 |   - |  50 |  26 |   6 |  50 |  16 |  23 |6418 |4984 | 0.000000e+00 |      --      |    Inf 
1395.92/1396.37	c  1340s|  3310k|552613 |  8713k| 293M|  45 |   - |  50 |  34 |   6 |  50 |  16 |  23 |6455 |4984 | 0.000000e+00 |      --      |    Inf 
1400.32/1400.75	c  1345s|  3320k|554083 |  8740k| 294M|  45 |   - |  50 |  30 |   8 |  50 |  16 |  23 |6488 |4984 | 0.000000e+00 |      --      |    Inf 
1404.62/1405.05	c  1349s|  3330k|555459 |  8765k| 295M|  45 |   6 |  50 |  49 |   6 |  50 |  16 |  23 |6540 |4984 | 0.000000e+00 |      --      |    Inf 
1409.12/1409.51	c  1353s|  3340k|556863 |  8792k| 296M|  45 |   - |  50 |  52 |   6 |  50 |  16 |  23 |6586 |4984 | 0.000000e+00 |      --      |    Inf 
1413.42/1413.87	c  1357s|  3350k|558367 |  8818k| 297M|  45 |   6 |  50 |  43 |   6 |  50 |  16 |  23 |6634 |4984 | 0.000000e+00 |      --      |    Inf 
1417.82/1418.23	c  1361s|  3360k|559813 |  8844k| 297M|  45 |   - |  50 |  38 |   6 |  50 |  16 |  23 |6681 |4984 | 0.000000e+00 |      --      |    Inf 
1422.12/1422.53	c  1366s|  3370k|561823 |  8871k| 298M|  45 |   6 |  50 |  70 |   6 |  50 |  16 |  23 |6734 |4986 | 0.000000e+00 |      --      |    Inf 
1426.52/1426.99	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1426.52/1426.99	c  1370s|  3380k|563209 |  8899k| 299M|  45 |   6 |  50 |  55 |   6 |  50 |  16 |  23 |6816 |4989 | 0.000000e+00 |      --      |    Inf 
1431.01/1431.45	c  1374s|  3390k|564559 |  8926k| 300M|  45 |   - |  50 |  52 |   7 |  50 |  16 |  23 |6871 |4990 | 0.000000e+00 |      --      |    Inf 
1435.32/1435.78	c  1378s|  3400k|565841 |  8952k| 301M|  45 |   - |  50 |  15 |   6 |  50 |  16 |  23 |6876 |4995 | 0.000000e+00 |      --      |    Inf 
1439.61/1440.07	c  1382s|  3410k|567258 |  8977k| 302M|  45 |   - |  50 |  16 |   6 |  50 |  16 |  23 |6889 |5001 | 0.000000e+00 |      --      |    Inf 
1444.02/1444.41	c  1387s|  3420k|568758 |  9003k| 302M|  45 |   - |  50 |  18 |   6 |  50 |  16 |  23 |6910 |5006 | 0.000000e+00 |      --      |    Inf 
1448.32/1448.74	c  1391s|  3430k|570545 |  9030k| 303M|  45 |   6 |  50 |  24 |   6 |  50 |  16 |  23 |6933 |5009 | 0.000000e+00 |      --      |    Inf 
1452.61/1453.02	c  1395s|  3440k|572497 |  9056k| 304M|  45 |   6 |  50 |  26 |   6 |  50 |  16 |  23 |6960 |5015 | 0.000000e+00 |      --      |    Inf 
1457.01/1457.41	c  1399s|  3450k|574029 |  9082k| 305M|  45 |   6 |  50 |  21 |   6 |  50 |  16 |  23 |6981 |5020 | 0.000000e+00 |      --      |    Inf 
1461.21/1461.69	c  1403s|  3460k|575543 |  9107k| 306M|  45 |   - |  50 |  22 |   7 |  50 |  16 |  23 |6996 |5028 | 0.000000e+00 |      --      |    Inf 
1465.41/1465.88	c  1407s|  3470k|577575 |  9133k| 307M|  45 |   - |  50 |  27 |   6 |  50 |  16 |  23 |7015 |5035 | 0.000000e+00 |      --      |    Inf 
1469.61/1470.07	c  1411s|  3480k|579344 |  9158k| 308M|  45 |   6 |  50 |  26 |   6 |  50 |  16 |  23 |7047 |5040 | 0.000000e+00 |      --      |    Inf 
1473.90/1474.38	c  1415s|  3490k|581106 |  9185k| 309M|  45 |   - |  50 |  20 |   6 |  50 |  16 |  23 |7068 |5041 | 0.000000e+00 |      --      |    Inf 
1478.11/1478.59	c  1419s|  3500k|582665 |  9211k| 310M|  45 |   6 |  50 |  26 |   6 |  50 |  16 |  23 |7094 |5045 | 0.000000e+00 |      --      |    Inf 
1482.31/1482.79	c  1423s|  3510k|584063 |  9237k| 310M|  45 |   6 |  50 |  24 |   8 |  50 |  16 |  23 |7127 |5049 | 0.000000e+00 |      --      |    Inf 
1486.60/1487.09	c  1428s|  3520k|585401 |  9263k| 311M|  45 |   - |  50 |  12 |   6 |  50 |  16 |  23 |7144 |5054 | 0.000000e+00 |      --      |    Inf 
1491.00/1491.42	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1491.00/1491.42	c  1432s|  3530k|586885 |  9289k| 312M|  45 |   - |  50 |  18 |   6 |  50 |  16 |  23 |7163 |5058 | 0.000000e+00 |      --      |    Inf 
1495.20/1495.69	c  1436s|  3540k|588568 |  9315k| 313M|  45 |   - |  50 |  17 |   6 |  50 |  16 |  23 |7179 |5062 | 0.000000e+00 |      --      |    Inf 
1499.40/1499.85	c  1440s|  3550k|590212 |  9339k| 314M|  45 |   6 |  50 |  25 |   6 |  50 |  16 |  23 |7203 |5063 | 0.000000e+00 |      --      |    Inf 
1503.70/1504.13	c  1444s|  3560k|591721 |  9365k| 315M|  45 |   6 |  50 |  26 |   6 |  50 |  16 |  23 |7218 |5063 | 0.000000e+00 |      --      |    Inf 
1507.89/1508.32	c  1448s|  3570k|593567 |  9390k| 316M|  45 |   6 |  50 |  26 |   6 |  50 |  16 |  23 |7250 |5063 | 0.000000e+00 |      --      |    Inf 
1512.00/1512.49	c  1452s|  3580k|594998 |  9413k| 316M|  45 |   6 |  50 |  19 |   7 |  50 |  16 |  23 |7270 |5063 | 0.000000e+00 |      --      |    Inf 
1516.19/1516.67	c  1456s|  3590k|597024 |  9439k| 317M|  45 |   6 |  50 |  22 |   6 |  50 |  16 |  23 |7279 |5067 | 0.000000e+00 |      --      |    Inf 
1520.39/1520.83	c  1460s|  3600k|598976 |  9464k| 318M|  45 |   6 |  50 |  26 |   9 |  50 |  16 |  23 |7293 |5071 | 0.000000e+00 |      --      |    Inf 
1524.59/1525.01	c  1464s|  3610k|600545 |  9488k| 319M|  45 |   - |  50 |  21 |   9 |  50 |  16 |  23 |7325 |5078 | 0.000000e+00 |      --      |    Inf 
1528.78/1529.20	c  1468s|  3620k|602490 |  9514k| 320M|  45 |   - |  50 |  24 |   7 |   0 |   0 |  23 |7347 |5079 | 0.000000e+00 |      --      |    Inf 
1533.09/1533.56	c  1472s|  3630k|603942 |  9540k| 321M|  45 |   6 |  50 |  22 |   6 |  50 |  16 |  23 |7394 |5084 | 0.000000e+00 |      --      |    Inf 
1537.39/1537.88	c  1476s|  3640k|605280 |  9566k| 322M|  45 |   - |  50 |  18 |   6 |  50 |  16 |  23 |7408 |5092 | 0.000000e+00 |      --      |    Inf 
1541.69/1542.15	c  1480s|  3650k|606654 |  9593k| 322M|  45 |   6 |  50 |  18 |   6 |  50 |  16 |  23 |7423 |5095 | 0.000000e+00 |      --      |    Inf 
1545.98/1546.41	c  1485s|  3660k|608122 |  9619k| 323M|  45 |   - |  50 |  13 |   6 |   0 |   0 |  23 |7434 |5101 | 0.000000e+00 |      --      |    Inf 
1550.18/1550.69	c  1489s|  3670k|609650 |  9645k| 324M|  45 |   6 |  50 |  18 |   6 |  50 |  16 |  23 |7455 |5109 | 0.000000e+00 |      --      |    Inf 
1554.48/1554.93	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1554.48/1554.93	c  1493s|  3680k|611373 |  9671k| 325M|  45 |   6 |  50 |  21 |   6 |  50 |  16 |  23 |7466 |5116 | 0.000000e+00 |      --      |    Inf 
1558.78/1559.23	c  1497s|  3690k|612632 |  9697k| 326M|  45 |   - |  50 |  14 |   6 |  50 |  16 |  23 |7478 |5123 | 0.000000e+00 |      --      |    Inf 
1562.98/1563.49	c  1501s|  3700k|614225 |  9724k| 327M|  45 |   6 |  50 |  16 |   6 |  50 |  16 |  23 |7496 |5130 | 0.000000e+00 |      --      |    Inf 
1567.18/1567.69	c  1505s|  3710k|615536 |  9749k| 327M|  45 |   - |  50 |  15 |   6 |  50 |  16 |  23 |7505 |5130 | 0.000000e+00 |      --      |    Inf 
1571.58/1572.02	c  1509s|  3720k|617011 |  9775k| 328M|  45 |   6 |  50 |  19 |   7 |  50 |  16 |  23 |7523 |5133 | 0.000000e+00 |      --      |    Inf 
1575.88/1576.38	c  1513s|  3730k|618759 |  9802k| 329M|  45 |   - |  50 |  22 |   8 |  50 |  16 |  23 |7546 |5138 | 0.000000e+00 |      --      |    Inf 
1580.18/1580.64	c  1517s|  3740k|620156 |  9827k| 330M|  45 |   - |  50 |  20 |   6 |  50 |  16 |  23 |7571 |5142 | 0.000000e+00 |      --      |    Inf 
1584.58/1585.00	c  1522s|  3750k|621346 |  9854k| 331M|  45 |   6 |  50 |  17 |   6 |  50 |  16 |  23 |7584 |5149 | 0.000000e+00 |      --      |    Inf 
1588.87/1589.35	c  1526s|  3760k|622698 |  9880k| 331M|  45 |   6 |  50 |  20 |   7 |  50 |  16 |  23 |7597 |5156 | 0.000000e+00 |      --      |    Inf 
1593.17/1593.69	c  1530s|  3770k|624206 |  9906k| 332M|  45 |   6 |  50 |  16 |   8 |  50 |  16 |  23 |7610 |5164 | 0.000000e+00 |      --      |    Inf 
1597.57/1598.00	c  1534s|  3780k|625761 |  9932k| 333M|  45 |   6 |  50 |  18 |   6 |  50 |  16 |  23 |7628 |5168 | 0.000000e+00 |      --      |    Inf 
1601.77/1602.27	c  1538s|  3790k|627055 |  9958k| 334M|  45 |   - |  50 |  19 |   6 |  50 |  16 |  23 |7640 |5173 | 0.000000e+00 |      --      |    Inf 
1606.07/1606.53	c  1542s|  3800k|628585 |  9984k| 335M|  45 |   6 |  50 |  21 |   8 |  50 |  16 |  23 |7659 |5174 | 0.000000e+00 |      --      |    Inf 
1610.36/1610.86	c  1546s|  3810k|630059 | 10009k| 335M|  45 |   - |  50 |  15 |   6 |  50 |  16 |  23 |7677 |5179 | 0.000000e+00 |      --      |    Inf 
1614.77/1615.21	c  1551s|  3820k|631650 | 10036k| 336M|  45 |   6 |  50 |  33 |   7 |  50 |  16 |  23 |7717 |5183 | 0.000000e+00 |      --      |    Inf 
1619.07/1619.57	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1619.07/1619.57	c  1555s|  3830k|632860 | 10062k| 337M|  45 |   6 |  50 |  58 |   6 |  50 |  16 |  23 |7815 |5187 | 0.000000e+00 |      --      |    Inf 
1623.36/1623.87	c  1559s|  3840k|634620 | 10088k| 338M|  45 |   6 |  50 |  64 |  10 |  50 |  16 |  23 |7869 |5191 | 0.000000e+00 |      --      |    Inf 
1627.77/1628.26	c  1563s|  3850k|636232 | 10114k| 339M|  45 |   6 |  50 |  76 |  14 |  50 |  16 |  23 |7935 |5197 | 0.000000e+00 |      --      |    Inf 
1632.36/1632.80	c  1567s|  3860k|637742 | 10143k| 340M|  45 |   - |  50 |  75 |   6 |  50 |  16 |  23 |8000 |5201 | 0.000000e+00 |      --      |    Inf 
1636.76/1637.23	c  1572s|  3870k|639110 | 10170k| 340M|  45 |   - |  50 |  88 |   6 |  50 |  16 |  23 |8086 |5205 | 0.000000e+00 |      --      |    Inf 
1641.06/1641.59	c  1576s|  3880k|640935 | 10198k| 341M|  45 |   6 |  50 |  85 |  10 |  50 |  16 |  23 |8165 |5216 | 0.000000e+00 |      --      |    Inf 
1645.56/1646.02	c  1580s|  3890k|642855 | 10226k| 342M|  45 |   6 |  50 |  79 |   6 |  50 |  16 |  23 |8232 |5222 | 0.000000e+00 |      --      |    Inf 
1649.96/1650.42	c  1584s|  3900k|644410 | 10252k| 343M|  45 |   - |  50 |  37 |   7 |  50 |  16 |  23 |8246 |5229 | 0.000000e+00 |      --      |    Inf 
1654.26/1654.76	c  1589s|  3910k|645834 | 10277k| 344M|  45 |   6 |  50 |  20 |   6 |  50 |  16 |  23 |8265 |5233 | 0.000000e+00 |      --      |    Inf 
1658.66/1659.12	c  1593s|  3920k|646932 | 10304k| 345M|  45 |   - |  50 |  12 |   6 |  50 |  16 |  23 |8275 |5239 | 0.000000e+00 |      --      |    Inf 
1662.85/1663.38	c  1597s|  3930k|648514 | 10330k| 346M|  45 |   6 |  50 |  17 |   6 |  50 |  16 |  23 |8294 |5245 | 0.000000e+00 |      --      |    Inf 
1667.15/1667.61	c  1601s|  3940k|650517 | 10357k| 347M|  45 |   6 |  50 |  22 |   6 |  50 |  16 |  23 |8336 |5250 | 0.000000e+00 |      --      |    Inf 
1671.46/1671.96	c  1605s|  3950k|652009 | 10384k| 347M|  45 |   - |  50 |  17 |   6 |  50 |  16 |  23 |8375 |5254 | 0.000000e+00 |      --      |    Inf 
1675.75/1676.29	c  1609s|  3960k|653358 | 10410k| 348M|  45 |   6 |  50 |  23 |   6 |  50 |  16 |  23 |8409 |5260 | 0.000000e+00 |      --      |    Inf 
1680.05/1680.54	c  1613s|  3970k|654722 | 10436k| 349M|  45 |   6 |  50 |  31 |   6 |  50 |  16 |  23 |8457 |5260 | 0.000000e+00 |      --      |    Inf 
1684.25/1684.79	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1684.25/1684.79	c  1617s|  3980k|656379 | 10462k| 350M|  45 |   6 |  50 |  35 |   7 |  50 |  16 |  23 |8486 |5260 | 0.000000e+00 |      --      |    Inf 
1688.55/1689.02	c  1622s|  3990k|657959 | 10487k| 351M|  45 |   6 |  50 |  27 |   6 |  50 |  16 |  23 |8505 |5260 | 0.000000e+00 |      --      |    Inf 
1692.84/1693.32	c  1626s|  4000k|659544 | 10513k| 352M|  45 |   - |  50 |  25 |   6 |  50 |  16 |  23 |8539 |5260 | 0.000000e+00 |      --      |    Inf 
1697.14/1697.61	c  1630s|  4010k|661259 | 10540k| 352M|  45 |   - |  50 |  22 |   6 |  50 |  16 |  23 |8566 |5268 | 0.000000e+00 |      --      |    Inf 
1701.34/1701.82	c  1634s|  4020k|663472 | 10566k| 354M|  45 |   - |  50 |  28 |   6 |  50 |  16 |  23 |8598 |5272 | 0.000000e+00 |      --      |    Inf 
1705.64/1706.12	c  1638s|  4030k|664868 | 10591k| 354M|  45 |   6 |  50 |  36 |   6 |  50 |  16 |  23 |8650 |5276 | 0.000000e+00 |      --      |    Inf 
1709.95/1710.43	c  1642s|  4040k|666397 | 10616k| 355M|  45 |   6 |  50 |  25 |   7 |  50 |  16 |  23 |8696 |5276 | 0.000000e+00 |      --      |    Inf 
1714.34/1714.86	c  1646s|  4050k|667913 | 10645k| 356M|  45 |   6 |  50 |  18 |   6 |  50 |  16 |  23 |8716 |5276 | 0.000000e+00 |      --      |    Inf 
1718.75/1719.30	c  1651s|  4060k|669056 | 10672k| 357M|  45 |   6 |  50 |  26 |   6 |  50 |  16 |  23 |8739 |5278 | 0.000000e+00 |      --      |    Inf 
1723.14/1723.69	c  1655s|  4070k|670527 | 10699k| 357M|  45 |   6 |  50 |  33 |   6 |  50 |  16 |  23 |8774 |5280 | 0.000000e+00 |      --      |    Inf 
1727.54/1728.08	c  1659s|  4080k|672127 | 10727k| 358M|  45 |   6 |  50 |  25 |   6 |  50 |  16 |  23 |8790 |5286 | 0.000000e+00 |      --      |    Inf 
1731.93/1732.41	c  1663s|  4090k|673779 | 10753k| 359M|  45 |   6 |  50 |  27 |   6 |  50 |  16 |  23 |8819 |5290 | 0.000000e+00 |      --      |    Inf 
1736.34/1736.82	c  1667s|  4100k|675071 | 10779k| 360M|  45 |   - |  50 |  22 |   6 |  50 |  16 |  23 |8860 |5293 | 0.000000e+00 |      --      |    Inf 
1740.64/1741.13	c  1672s|  4110k|676509 | 10805k| 361M|  45 |   - |  50 |  33 |   6 |  50 |  16 |  23 |8909 |5300 | 0.000000e+00 |      --      |    Inf 
1744.93/1745.41	c  1676s|  4120k|678059 | 10832k| 362M|  45 |   6 |  50 |  28 |   6 |  50 |  16 |  23 |8936 |5305 | 0.000000e+00 |      --      |    Inf 
1749.33/1749.81	c  time | node  | left  |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1749.33/1749.81	c  1680s|  4130k|679420 | 10858k| 362M|  45 |   - |  50 |  29 |   6 |  50 |  16 |  23 |8962 |5309 | 0.000000e+00 |      --      |    Inf 
1753.63/1754.15	c  1684s|  4140k|680983 | 10885k| 363M|  45 |   - |  50 |  27 |   6 |   0 |   0 |  23 |8986 |5312 | 0.000000e+00 |      --      |    Inf 
1757.93/1758.50	c  1688s|  4150k|682403 | 10911k| 364M|  45 |   - |  50 |  16 |   6 |  50 |  16 |  23 |8991 |5312 | 0.000000e+00 |      --      |    Inf 
1762.22/1762.74	c  1692s|  4160k|684053 | 10938k| 365M|  45 |   6 |  50 |  20 |   8 |  50 |  16 |  23 |9016 |5319 | 0.000000e+00 |      --      |    Inf 
1766.43/1766.99	c  1696s|  4170k|685959 | 10965k| 366M|  45 |   - |  50 |  24 |   6 |   0 |   0 |  23 |9046 |5327 | 0.000000e+00 |      --      |    Inf 
1770.83/1771.33	c  1700s|  4180k|687679 | 10992k| 367M|  45 |   - |  50 |  28 |   6 |  50 |  16 |  23 |9073 |5335 | 0.000000e+00 |      --      |    Inf 
1775.22/1775.71	c  1705s|  4190k|689129 | 11019k| 368M|  45 |   - |  50 |  19 |   6 |  50 |  16 |  23 |9090 |5338 | 0.000000e+00 |      --      |    Inf 
1779.52/1780.06	c  1709s|  4200k|690391 | 11044k| 368M|  45 |   - |  50 |  20 |   6 |  50 |  16 |  23 |9120 |5347 | 0.000000e+00 |      --      |    Inf 
1783.82/1784.33	c  1713s|  4210k|691925 | 11070k| 369M|  45 |   6 |  50 |  21 |   6 |  50 |  16 |  23 |9141 |5354 | 0.000000e+00 |      --      |    Inf 
1788.02/1788.54	c  1717s|  4220k|693371 | 11095k| 370M|  45 |   - |  50 |  21 |   6 |   0 |   0 |  23 |9160 |5359 | 0.000000e+00 |      --      |    Inf 
1792.22/1792.79	c  1721s|  4230k|695282 | 11120k| 371M|  45 |   - |  50 |  30 |   6 |   0 |   0 |  23 |9194 |5361 | 0.000000e+00 |      --      |    Inf 
1796.52/1797.03	c  1725s|  4240k|697232 | 11145k| 372M|  45 |   6 |  50 |  25 |   6 |  50 |  16 |  23 |9224 |5370 | 0.000000e+00 |      --      |    Inf 
1800.02/1800.50	c 
1800.02/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.50	c Solving Time (sec) : 1728.52
1800.02/1800.50	c Solving Nodes      : 4248141
1800.02/1800.50	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.02/1800.50	c Dual Bound         : +0.00000000000000e+00
1800.02/1800.50	c Gap                : infinite
1800.02/1800.50	c NODE         4248141
1800.02/1800.50	c DUAL BOUND   0
1800.02/1800.50	c PRIMAL BOUND 1e+20
1800.02/1800.50	c GAP          1e+20
1800.02/1800.50	s UNKNOWN
1800.02/1800.50	c SCIP Status        : solving was interrupted [user interrupt]
1800.02/1800.50	c Solving Time       :    1728.52
1800.02/1800.50	c Original Problem   :
1800.02/1800.50	c   Problem name     : HOME/instance-1869503-1245175406.opb
1800.02/1800.50	c   Variables        : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50	c   Constraints      : 13 initial, 13 maximal
1800.02/1800.50	c Presolved Problem  :
1800.02/1800.50	c   Problem name     : t_HOME/instance-1869503-1245175406.opb
1800.02/1800.50	c   Variables        : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.02/1800.50	c   Constraints      : 6 initial, 135 maximal
1800.02/1800.50	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.02/1800.50	c   trivial          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.50	c   dualfix          :       0.00          1          0          0          0          0          0          0          0
1800.02/1800.50	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.50	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.50	c   implics          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.50	c   probing          :       0.01          0          0          0          0          0          0          0          0
1800.02/1800.50	c   linear           :       0.00          0          0          0          0          0          7          0          0
1800.02/1800.50	c   logicor          :       0.00          0          0          0          0          0          0          0          0
1800.02/1800.50	c   root node        :          -          0          -          -          0          -          -          -          -
1800.02/1800.50	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.50	c   integral         :          0          0          0    2476219          0        571       2247          0          0    4947146
1800.02/1800.50	c   linear           :          6          6    4863763          0          0     262625    4508243          0          0          0
1800.02/1800.50	c   logicor          :          0+         0    1377037          0          0         26       7154          0          0          0
1800.02/1800.50	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.02/1800.50	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.02/1800.50	c   integral         :      26.18       0.00       0.00      26.18       0.00
1800.02/1800.50	c   linear           :     242.04       0.00     242.04       0.00       0.00
1800.02/1800.50	c   logicor          :       3.57       0.00       3.57       0.00       0.00
1800.02/1800.50	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.02/1800.50	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.02/1800.50	c   rootredcost      :       2.27          0          0          0
1800.02/1800.50	c   pseudoobj        :       1.25          0          0          0
1800.02/1800.50	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.02/1800.50	c   propagation      :      21.45     262651       4055       8836       37.4          0        0.0          -
1800.02/1800.50	c   infeasible LP    :      15.68    1512383       4870       5315       21.2          0        0.0          0
1800.02/1800.50	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.50	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.02/1800.50	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.02/1800.50	c   applied globally :          -          -          -       5327       21.0          -          -          -
1800.02/1800.50	c   applied locally  :          -          -          -       3911       36.7          -          -          -
1800.02/1800.50	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.02/1800.50	c   cut pool         :       0.00          5          -          -          5          -    (maximal pool size: 93)
1800.02/1800.50	c   redcost          :       5.50    2476224          0          0          0          0
1800.02/1800.50	c   impliedbounds    :       0.00          6          0          0          0          0
1800.02/1800.50	c   intobj           :       0.00          0          0          0          0          0
1800.02/1800.50	c   gomory           :       0.00          6          0          0          0          0
1800.02/1800.50	c   strongcg         :       0.01          6          0          0         60          0
1800.02/1800.50	c   cmir             :       0.01          6          0          0         20          0
1800.02/1800.50	c   flowcover        :       0.04          6          0          0         24          0
1800.02/1800.50	c   clique           :       0.00          1          0          0          0          0
1800.02/1800.50	c   zerohalf         :       0.00          0          0          0          0          0
1800.02/1800.50	c   mcf              :       0.00          1          0          0          0          0
1800.02/1800.50	c Pricers            :       Time      Calls       Vars
1800.02/1800.50	c   problem variables:       0.00          0          0
1800.02/1800.50	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.02/1800.50	c   relpscost        :      23.86    2476219        571       2247          0          0    4947146
1800.02/1800.50	c   pscost           :       0.00          0          0          0          0          0          0
1800.02/1800.50	c   inference        :       0.00          0          0          0          0          0          0
1800.02/1800.50	c   mostinf          :       0.00          0          0          0          0          0          0
1800.02/1800.50	c   leastinf         :       0.00          0          0          0          0          0          0
1800.02/1800.50	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.02/1800.50	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.02/1800.50	c   random           :       0.00          0          0          0          0          0          0
1800.02/1800.50	c Primal Heuristics  :       Time      Calls      Found
1800.02/1800.50	c   LP solutions     :       0.00          -          0
1800.02/1800.50	c   pseudo solutions :       0.00          -          0
1800.02/1800.50	c   oneopt           :       1.90          0          0
1800.02/1800.50	c   crossover        :       1.13          0          0
1800.02/1800.50	c   guideddiving     :       0.21          0          0
1800.02/1800.50	c   pscostdiving     :       0.20         56          0
1800.02/1800.50	c   fracdiving       :       0.17         56          0
1800.02/1800.50	c   veclendiving     :       0.17         56          0
1800.02/1800.50	c   linesearchdiving :       0.24         56          0
1800.02/1800.50	c   coefdiving       :       0.14         57          0
1800.02/1800.50	c   feaspump         :       0.24         29          0
1800.02/1800.50	c   objpscostdiving  :       0.12         29          0
1800.02/1800.50	c   rootsoldiving    :       0.17         29          0
1800.02/1800.50	c   simplerounding   :       1.23          0          0
1800.02/1800.50	c   rounding         :       1.97      22197          0
1800.02/1800.50	c   shifting         :       4.31       6778          0
1800.02/1800.50	c   intshifting      :       0.09          0          0
1800.02/1800.50	c   fixandinfer      :       0.00          0          0
1800.02/1800.50	c   intdiving        :       0.00          0          0
1800.02/1800.50	c   actconsdiving    :       0.00          0          0
1800.02/1800.50	c   octane           :       0.00          0          0
1800.02/1800.50	c   rens             :       0.04          1          0
1800.02/1800.50	c   rins             :       0.00          0          0
1800.02/1800.50	c   localbranching   :       0.00          0          0
1800.02/1800.50	c   mutation         :       0.00          0          0
1800.02/1800.50	c   dins             :       0.00          0          0
1800.02/1800.50	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.02/1800.51	c   primal LP        :       0.00          0          0       0.00          -
1800.02/1800.51	c   dual LP          :    1162.09    4034741   11163831       2.77    9606.68
1800.02/1800.51	c   barrier LP       :       0.00          0          0       0.00          -
1800.02/1800.51	c   diving/probing LP:       0.38       1541       2809       1.82    7392.11
1800.02/1800.51	c   strong branching :       1.22       5373      29182       5.43   23919.67
1800.02/1800.51	c     (at root node) :          -         16        390      24.38          -
1800.02/1800.51	c   conflict analysis:       0.00          0          0       0.00          -
1800.02/1800.51	c B&B Tree           :
1800.02/1800.51	c   number of runs   :          1
1800.02/1800.51	c   nodes            :    4248141
1800.02/1800.51	c   nodes (total)    :    4248141
1800.02/1800.51	c   nodes left       :     698625
1800.02/1800.51	c   max depth        :         45
1800.02/1800.51	c   max depth (total):         45
1800.02/1800.51	c   backtracks       :     601092 (14.1%)
1800.02/1800.51	c   delayed cutoffs  :        381
1800.02/1800.51	c   repropagations   :      12639 (9479 domain reductions, 367 cutoffs)
1800.02/1800.51	c   avg switch length:       4.40
1800.02/1800.51	c   switching time   :     106.18
1800.02/1800.51	c Solution           :
1800.02/1800.51	c   Solutions found  :          0 (0 improvements)
1800.02/1800.51	c   Primal Bound     :          -
1800.02/1800.51	c   Dual Bound       : +0.00000000000000e+00
1800.02/1800.51	c   Gap              :   infinite
1800.02/1800.51	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-1869503-1245175406/watcher-1869503-1245175406 -o /tmp/evaluation-result-1869503-1245175406/solver-1869503-1245175406 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869503-1245175406.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.01 1.00 3/64 2173
/proc/meminfo: memFree=1848496/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=5812 CPUtime=0
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 519 0 0 0 0 0 0 0 18 0 1 0 185140892 5951488 503 1992294400 4194304 9342243 548682068736 18446744073709551615 8223232 0 0 4096 0 0 0 0 17 1 0 0
/proc/2173/statm: 1453 515 344 1256 0 192 0

[startup+0.02652 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 2173
/proc/meminfo: memFree=1848496/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=14128 CPUtime=0.01
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 2822 0 0 0 1 0 0 0 18 0 1 0 185140892 14467072 2452 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 3532 2452 635 1256 0 2271 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14128

[startup+0.101526 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 2173
/proc/meminfo: memFree=1848496/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=17164 CPUtime=0.09
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 3308 0 0 0 8 1 0 0 18 0 1 0 185140892 17575936 2938 1992294400 4194304 9342243 548682068736 18446744073709551615 4402248 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 4291 2947 660 1256 0 3030 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17164

[startup+0.301547 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 2173
/proc/meminfo: memFree=1848496/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=17244 CPUtime=0.29
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 4726 0 0 0 27 2 0 0 19 0 1 0 185140892 17657856 3247 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 4311 3247 697 1256 0 3050 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17244

[startup+0.701587 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 2173
/proc/meminfo: memFree=1848496/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=17244 CPUtime=0.69
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 4729 0 0 0 66 3 0 0 23 0 1 0 185140892 17657856 3250 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 4311 3250 697 1256 0 3050 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17244

[startup+1.50167 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2174
/proc/meminfo: memFree=1837992/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=17244 CPUtime=1.49
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 4761 0 0 0 142 7 0 0 25 0 1 0 185140892 17657856 3282 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 4311 3282 697 1256 0 3050 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17244

[startup+3.10183 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2174
/proc/meminfo: memFree=1837864/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=17244 CPUtime=3.09
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 4774 0 0 0 297 12 0 0 25 0 1 0 185140892 17657856 3295 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 4311 3295 697 1256 0 3050 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17244

[startup+6.30115 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2174
/proc/meminfo: memFree=1837416/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=19236 CPUtime=6.29
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 4959 0 0 0 603 26 0 0 25 0 1 0 185140892 19697664 3480 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 4809 3480 697 1256 0 3548 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19236

[startup+12.7018 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2174
/proc/meminfo: memFree=1835952/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=21084 CPUtime=12.69
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 5309 0 0 0 1219 50 0 0 25 0 1 0 185140892 21590016 3830 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 5271 3830 697 1256 0 4010 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21084

[startup+25.5011 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2174
/proc/meminfo: memFree=1832880/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=23832 CPUtime=25.48
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 6017 0 0 0 2449 99 0 0 25 0 1 0 185140892 24403968 4538 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 5958 4538 697 1256 0 4697 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23832

[startup+51.1017 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2174
/proc/meminfo: memFree=1826416/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=30672 CPUtime=51.08
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 7760 0 0 0 4904 204 0 0 25 0 1 0 185140892 31408128 6281 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 7668 6281 697 1256 0 6407 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 30672

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2174
/proc/meminfo: memFree=1813744/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=42460 CPUtime=102.27
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 10794 0 0 0 9814 413 0 0 25 0 1 0 185140892 43479040 9315 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 10615 9315 697 1256 0 9354 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 42460

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2174
/proc/meminfo: memFree=1800112/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=58268 CPUtime=162.25
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 14298 0 0 0 15577 648 0 0 25 0 1 0 185140892 59666432 12819 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 14567 12819 697 1256 0 13306 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 58268

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2174
/proc/meminfo: memFree=1786800/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=71800 CPUtime=222.23
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 17520 0 0 0 21343 880 0 0 25 0 1 0 185140892 73523200 16041 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 17950 16041 697 1256 0 16689 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 71800

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2174
/proc/meminfo: memFree=1774512/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=83960 CPUtime=282.22
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 20698 0 0 0 27100 1122 0 0 25 0 1 0 185140892 85975040 19219 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 20990 19219 697 1256 0 19729 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 83960

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2174
/proc/meminfo: memFree=1760240/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=97192 CPUtime=342.21
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 24107 0 0 0 32859 1362 0 0 25 0 1 0 185140892 99524608 22628 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 24298 22628 697 1256 0 23037 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 97192

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2174
/proc/meminfo: memFree=1748272/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=110072 CPUtime=402.19
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 27100 0 0 0 38615 1604 0 0 25 0 1 0 185140892 112713728 25621 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 27518 25621 697 1256 0 26257 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 110072

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2174
/proc/meminfo: memFree=1735600/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=121836 CPUtime=462.17
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 30227 0 0 0 44381 1836 0 0 25 0 1 0 185140892 124760064 28746 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 30459 28746 697 1256 0 29198 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 121836

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2174
/proc/meminfo: memFree=1720240/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=139960 CPUtime=522.16
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 34031 0 0 0 50138 2078 0 0 25 0 1 0 185140892 143319040 32550 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 34990 32550 697 1256 0 33729 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 139960

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2174
/proc/meminfo: memFree=1707760/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=152628 CPUtime=582.14
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 37141 0 0 0 55899 2315 0 0 25 0 1 0 185140892 156291072 35660 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 38157 35660 697 1256 0 36896 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 152628

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2174
/proc/meminfo: memFree=1694832/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=165428 CPUtime=642.13
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 40368 0 0 0 61654 2559 0 0 25 0 1 0 185140892 169398272 38887 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 41357 38887 697 1256 0 40096 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 165428

[startup+702.302 s]

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

/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 61837 0 0 0 101963 4239 0 0 25 0 1 0 185140892 257855488 60355 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 62953 60355 697 1256 0 61692 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 251812

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2174
/proc/meminfo: memFree=1595952/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=264108 CPUtime=1122
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 64973 0 0 0 107726 4474 0 0 25 0 1 0 185140892 270446592 63491 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 66027 63491 697 1256 0 64766 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 264108

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2174
/proc/meminfo: memFree=1584432/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=284188 CPUtime=1181.98
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 67839 0 0 0 113485 4713 0 0 25 0 1 0 185140892 291008512 66357 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 71047 66357 697 1256 0 69786 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 284188

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2174
/proc/meminfo: memFree=1571568/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=296556 CPUtime=1241.97
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 71008 0 0 0 119253 4944 0 0 25 0 1 0 185140892 303673344 69526 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 74139 69526 697 1256 0 72878 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 296556

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2174
/proc/meminfo: memFree=1560112/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=307832 CPUtime=1301.96
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 73856 0 0 0 125010 5186 0 0 25 0 1 0 185140892 315219968 72374 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 76958 72374 697 1256 0 75697 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 307832

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2174
/proc/meminfo: memFree=1547824/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=320232 CPUtime=1361.94
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 76918 0 0 0 130774 5420 0 0 25 0 1 0 185140892 327917568 75436 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 80058 75436 697 1256 0 78797 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 320232

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2174
/proc/meminfo: memFree=1535216/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=333076 CPUtime=1421.92
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 80059 0 0 0 136536 5656 0 0 25 0 1 0 185140892 341069824 78577 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 83269 78577 697 1256 0 82008 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 333076

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2174
/proc/meminfo: memFree=1522928/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=345000 CPUtime=1481.9
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 83113 0 0 0 142293 5897 0 0 25 0 1 0 185140892 353280000 81631 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 86250 81631 697 1256 0 84989 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 345000

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2174
/proc/meminfo: memFree=1510704/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=356832 CPUtime=1541.88
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 86147 0 0 0 148058 6130 0 0 25 0 1 0 185140892 365395968 84665 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 89208 84665 697 1256 0 87947 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 356832

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2174
/proc/meminfo: memFree=1499120/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=368652 CPUtime=1601.87
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 89131 0 0 0 153815 6372 0 0 25 0 1 0 185140892 377499648 87649 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 92163 87649 697 1256 0 90902 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 368652

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2174
/proc/meminfo: memFree=1487152/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=380836 CPUtime=1661.85
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 92136 0 0 0 159585 6600 0 0 25 0 1 0 185140892 389976064 90654 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 95209 90654 697 1256 0 93948 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 380836

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2174
/proc/meminfo: memFree=1474992/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=392364 CPUtime=1721.84
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 95037 0 0 0 165348 6836 0 0 25 0 1 0 185140892 401780736 93555 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 98091 93555 697 1256 0 96830 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 392364

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2174
/proc/meminfo: memFree=1463536/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=403892 CPUtime=1781.82
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 97874 0 0 0 171102 7080 0 0 25 0 1 0 185140892 413585408 96392 1992294400 4194304 9342243 548682068736 18446744073709551615 8308455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 100973 96392 697 1256 0 99712 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 403892



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2174
/proc/meminfo: memFree=1459568/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=407568 CPUtime=1800.02
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 98860 0 0 0 172852 7150 0 0 25 0 1 0 185140892 417349632 97378 1992294400 4194304 9342243 548682068736 18446744073709551615 8300202 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2173/statm: 101892 97378 697 1256 0 100631 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 407568

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -2173

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2175
/proc/meminfo: memFree=1459560/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=407568 CPUtime=1800.91
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 98861 0 0 0 172941 7150 0 0 25 0 1 0 185140892 417349632 97379 1992294400 4194304 9342243 548682068736 18446744073709551615 4743854 0 0 4096 0 0 0 0 17 1 0 0
/proc/2173/statm: 101892 97379 698 1256 0 100631 0
Current children cumulated CPU time (s) 1800.91
Current children cumulated vsize (KiB) 407568

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2175
/proc/meminfo: memFree=1459560/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=407568 CPUtime=1801.71
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 98861 0 0 0 173021 7150 0 0 25 0 1 0 185140892 417349632 97379 1992294400 4194304 9342243 548682068736 18446744073709551615 5854299 0 0 4096 0 0 0 0 17 1 0 0
/proc/2173/statm: 101892 97379 698 1256 0 100631 0
Current children cumulated CPU time (s) 1801.71
Current children cumulated vsize (KiB) 407568

[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2175
/proc/meminfo: memFree=1459560/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=407568 CPUtime=1801.91
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 98861 0 0 0 173041 7150 0 0 25 0 1 0 185140892 417349632 97379 1992294400 4194304 9342243 548682068736 18446744073709551615 5854449 0 0 4096 0 0 0 0 17 1 0 0
/proc/2173/statm: 101892 97379 698 1256 0 100631 0
Current children cumulated CPU time (s) 1801.91
Current children cumulated vsize (KiB) 407568

[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2175
/proc/meminfo: memFree=1459560/2055920 swapFree=4182564/4192956
[pid=2173] ppid=2171 vsize=407568 CPUtime=1802.01
/proc/2173/stat : 2173 (pbscip.linux.x8) R 2171 2173 2092 0 -1 4194304 98861 0 0 0 173051 7150 0 0 25 0 1 0 185140892 417349632 97379 1992294400 4194304 9342243 548682068736 18446744073709551615 5854325 0 0 4096 0 0 0 0 17 1 0 0
/proc/2173/statm: 101892 97379 698 1256 0 100631 0
Current children cumulated CPU time (s) 1802.01
Current children cumulated vsize (KiB) 407568

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.57
CPU time (s): 1802.09
CPU user time (s): 1730.52
CPU system time (s): 71.5721
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 407568

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

runsolver used 1.58376 second user time and 3.43348 second system time

The end

Launcher Data 

Begin job on node17 at 2009-06-16 20:03:26
IDJOB=1869503
IDBENCH=2906
IDSOLVER=684
FILE ID=node17/1869503-1245175406
PBS_JOBID= 9363919
Free space on /tmp= 66356 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_1.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-1869503-1245175406/watcher-1869503-1245175406 -o /tmp/evaluation-result-1869503-1245175406/solver-1869503-1245175406 -C 1800 -W 2000 -M 1800  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.clp -t 1800 -m 1800 -f HOME/instance-1869503-1245175406.opb

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

MD5SUM BENCH= 775c76356ae7fda7a41e5dcf917f66b2
RANDOM SEED=157002424

node17.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.214
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.214
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:       1848912 kB
Buffers:         42800 kB
Cached:          96184 kB
SwapCached:       4224 kB
Active:          40556 kB
Inactive:       106320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1848912 kB
SwapTotal:     4192956 kB
SwapFree:      4182564 kB
Dirty:           11740 kB
Writeback:           0 kB
Mapped:          13688 kB
Slab:            46044 kB
Committed_AS:   168400 kB
PageTables:       1456 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= 66348 MiB
End job on node17 at 2009-06-16 20:33:29