Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT | 12 | 1791.23 | 1791.68 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_1.opb |
| MD5SUM | 7b9886d41278c23acb93039c546a310e |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 10 |
| Best CPU time to get the best result obtained on this benchmark | 1801.33 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 13 |
| Optimality of the best value was proved | NO |
| Number of variables | 172 |
| Total number of constraints | 14 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 14 |
| Minimum length of a constraint | 73 |
| Maximum length of a constraint | 75 |
| Number of terms in the objective function | 112 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3570 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1488 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4975 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2703918-1278562501.opb>
0.00/0.01 c original problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 14 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c (0.0s) probing: 101/172 (58.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.03 c presolving (2 rounds):
0.00/0.03 c 0 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 0 implications, 0 cliques
0.00/0.03 c presolved problem has 172 variables (172 bin, 0 int, 0 impl, 0 cont) and 7 constraints
0.00/0.03 c 7 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 1)
0.00/0.03 c Presolving Time: 0.01
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.3
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1790
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 35 | - | 562k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 o 1409
0.09/0.14 c y 0.1s| 1 | 0 | 88 | - | 613k| 0 | 7 | 172 | 7 | 172 | 7 | 0 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 93 | - | 723k| 0 | 11 | 172 | 57 | 172 | 12 | 5 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 104 | - | 787k| 0 | 12 | 172 | 57 | 172 | 16 | 9 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.09/0.17 c 0.2s| 1 | 0 | 119 | - | 824k| 0 | 14 | 172 | 57 | 172 | 19 | 12 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 127 | - | 838k| 0 | 15 | 172 | 57 | 172 | 21 | 14 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 140 | - | 859k| 0 | 16 | 172 | 57 | 172 | 23 | 16 | 0 | 0 | 0.000000e+00 | 1.409000e+03 | Inf
0.19/0.27 c 0.3s| 1 | 2 | 140 | - | 860k| 0 | 16 | 172 | 57 | 172 | 23 | 16 | 0 | 9 | 0.000000e+00 | 1.409000e+03 | Inf
0.39/0.41 o 269
0.39/0.41 c p 0.4s| 41 | 42 | 464 | 8.1 | 969k| 26 | - | 172 | 57 | 172 | 16 | 16 | 3 | 209 | 0.000000e+00 | 2.690000e+02 | Inf
1.10/1.11 o 172
1.10/1.11 c f 1.1s| 769 | 749 | 5257 | 6.7 |1305k| 49 | - | 172 | 61 | 172 | 16 | 16 | 28 | 529 | 0.000000e+00 | 1.720000e+02 | Inf
3.69/3.79 o 128
3.69/3.79 c p 3.8s| 3842 | 3765 | 27471 | 7.1 |2772k| 55 | - | 172 | 66 | 172 | 16 | 16 | 165 | 679 | 0.000000e+00 | 1.280000e+02 | Inf
5.50/5.56 o 81
5.50/5.56 c g 5.6s| 5998 | 5742 | 42428 | 7.1 |3580k| 55 | - | 172 | 20 | 172 | 16 | 16 | 281 | 711 | 0.000000e+00 | 8.100000e+01 | Inf
5.89/5.96 o 63
5.89/5.96 c g 6.0s| 6303 | 5723 | 45664 | 7.2 |3586k| 55 | - | 172 | 20 | 172 | 16 | 16 | 299 | 718 | 0.000000e+00 | 6.300000e+01 | Inf
8.59/8.66 o 62
8.59/8.66 c v 8.6s| 9689 | 8711 | 67243 | 6.9 |5059k| 55 | - | 172 | 19 | 172 | 16 | 16 | 466 | 982 | 0.000000e+00 | 6.200000e+01 | Inf
8.89/8.97 c 9.0s| 10000 | 8982 | 70088 | 7.0 |5189k| 55 | 7 | 172 | 19 | 172 | 16 | 16 | 495 | 990 | 0.000000e+00 | 6.200000e+01 | Inf
15.99/16.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
15.99/16.03 c 16.0s| 20000 | 16797 |130494 | 6.5 |9794k| 55 | 7 | 172 | 38 | 172 | 16 | 16 |1112 |1611 | 0.000000e+00 | 6.200000e+01 | Inf
22.79/22.81 c 22.8s| 30000 | 24499 |190023 | 6.3 | 14M| 55 | 7 | 172 | 36 | 172 | 16 | 16 |1745 |2083 | 0.000000e+00 | 6.200000e+01 | Inf
29.59/29.69 c 29.7s| 40000 | 32088 |251009 | 6.3 | 19M| 55 | 7 | 172 | 41 | 172 | 16 | 16 |2443 |2495 | 0.000000e+00 | 6.200000e+01 | Inf
36.68/36.71 c 36.7s| 50000 | 39142 |314603 | 6.3 | 24M| 55 | 7 | 172 | 62 | 172 | 16 | 16 |3381 |2878 | 0.000000e+00 | 6.200000e+01 | Inf
38.69/38.75 o 42
38.69/38.75 c g38.7s| 52910 | 35512 |332450 | 6.3 | 20M| 55 | - | 172 | 56 | 172 | 16 | 16 |3654 |2982 | 0.000000e+00 | 4.200000e+01 | Inf
39.08/39.15 o 41
39.08/39.15 c v39.1s| 53525 | 35525 |335882 | 6.3 | 20M| 55 | - | 172 | 55 | 172 | 16 | 16 |3720 |3003 | 0.000000e+00 | 4.100000e+01 | Inf
41.28/41.34 o 40
41.28/41.34 c *41.3s| 56659 | 37012 |354433 | 6.3 | 21M| 55 | - | 172 | 52 | 172 | 16 | 16 |3976 |3131 | 0.000000e+00 | 4.000000e+01 | Inf
42.28/42.36 o 38
42.28/42.36 c *42.4s| 58287 | 37134 |362468 | 6.2 | 21M| 55 | - | 172 | 52 | 172 | 16 | 16 |4123 |3193 | 0.000000e+00 | 3.800000e+01 | Inf
42.28/42.37 o 36
42.28/42.37 c *42.4s| 58289 | 36444 |362468 | 6.2 | 20M| 55 | - | 172 | 52 | 172 | 16 | 16 |4123 |3195 | 0.000000e+00 | 3.600000e+01 | Inf
43.38/43.49 c 43.5s| 60000 | 37291 |371195 | 6.2 | 21M| 55 | - | 172 | 44 | 172 | 16 | 16 |4285 |3246 | 0.000000e+00 | 3.600000e+01 | Inf
48.78/48.81 o 34
48.78/48.81 c *48.8s| 68494 | 40491 |414854 | 6.1 | 24M| 55 | - | 172 | 41 | 172 | 16 | 16 |5025 |3516 | 0.000000e+00 | 3.400000e+01 | Inf
49.68/49.72 c 49.7s| 70000 | 40994 |421680 | 6.0 | 25M| 55 | - | 172 | 40 | 0 | 0 | 16 |5155 |3580 | 0.000000e+00 | 3.400000e+01 | Inf
52.38/52.46 o 32
52.38/52.46 c *52.4s| 74556 | 35241 |444307 | 6.0 | 21M| 55 | - | 172 | 34 | 172 | 16 | 16 |5494 |3716 | 0.000000e+00 | 3.200000e+01 | Inf
52.38/52.46 o 30
52.38/52.46 c *52.5s| 74558 | 34815 |444308 | 6.0 | 21M| 55 | - | 172 | 29 | 172 | 16 | 16 |5494 |3719 | 0.000000e+00 | 3.000000e+01 | Inf
55.58/55.67 c 55.7s| 80000 | 37120 |472552 | 5.9 | 22M| 55 | 7 | 172 | 32 | 172 | 16 | 16 |5951 |3877 | 0.000000e+00 | 3.000000e+01 | Inf
61.78/61.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.78/61.87 c 61.9s| 90000 | 41897 |526694 | 5.9 | 26M| 55 | 7 | 172 | 29 | 172 | 16 | 16 |6746 |4164 | 0.000000e+00 | 3.000000e+01 | Inf
67.67/67.74 c 67.7s|100000 | 46227 |578297 | 5.8 | 29M| 55 | - | 172 | 30 | 0 | 0 | 16 |7645 |4380 | 0.000000e+00 | 3.000000e+01 | Inf
73.37/73.40 c 73.4s|110000 | 50374 |628600 | 5.7 | 32M| 55 | - | 172 | 33 | 0 | 0 | 16 |8473 |4575 | 0.000000e+00 | 3.000000e+01 | Inf
79.37/79.42 c 79.4s|120000 | 54671 |682644 | 5.7 | 35M| 55 | - | 172 | 30 | 172 | 16 | 16 |9335 |4785 | 0.000000e+00 | 3.000000e+01 | Inf
85.17/85.29 c 85.3s|130000 | 59000 |735462 | 5.7 | 38M| 55 | - | 172 | 25 | 0 | 0 | 16 | 10k|4971 | 0.000000e+00 | 3.000000e+01 | Inf
90.97/91.09 c 91.1s|140000 | 63034 |787761 | 5.6 | 41M| 55 | 7 | 172 | 28 | 172 | 16 | 16 | 10k|5173 | 0.000000e+00 | 3.000000e+01 | Inf
96.97/97.04 c 97.0s|150000 | 67575 |841020 | 5.6 | 44M| 55 | 7 | 172 | 26 | 172 | 16 | 16 | 11k|5343 | 0.000000e+00 | 3.000000e+01 | Inf
102.57/102.61 c 103s|160000 | 71280 |889743 | 5.6 | 47M| 55 | 7 | 172 | 22 | 172 | 16 | 16 | 12k|5513 | 0.000000e+00 | 3.000000e+01 | Inf
108.06/108.10 c 108s|170000 | 74702 |938765 | 5.5 | 49M| 55 | - | 172 | 20 | 172 | 16 | 16 | 13k|5677 | 0.000000e+00 | 3.000000e+01 | Inf
113.57/113.67 c 114s|180000 | 77944 |988754 | 5.5 | 52M| 57 | - | 172 | 23 | 172 | 16 | 16 | 14k|5852 | 0.000000e+00 | 3.000000e+01 | Inf
115.16/115.29 o 28
115.16/115.29 c * 115s|182914 | 78381 | 1002k| 5.5 | 52M| 57 | - | 172 | 22 | 172 | 16 | 16 | 14k|5908 | 0.000000e+00 | 2.800000e+01 | Inf
115.26/115.30 o 26
115.26/115.30 c * 115s|182915 | 77395 | 1002k| 5.5 | 50M| 57 | - | 172 | 22 | 172 | 16 | 16 | 14k|5908 | 0.000000e+00 | 2.600000e+01 | Inf
121.07/121.10 c 121s|190000 | 79556 | 1035k| 5.5 | 52M| 57 | 7 | 172 | 21 | 172 | 16 | 16 | 15k|6011 | 0.000000e+00 | 2.600000e+01 | Inf
128.36/128.48 c 128s|200000 | 82389 | 1084k| 5.4 | 54M| 57 | 7 | 172 | 25 | 172 | 16 | 16 | 15k|6162 | 0.000000e+00 | 2.600000e+01 | Inf
133.85/133.92 c 134s|210000 | 85423 | 1132k| 5.4 | 56M| 57 | 7 | 172 | 27 | 172 | 16 | 16 | 16k|6314 | 0.000000e+00 | 2.600000e+01 | Inf
139.26/139.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
139.26/139.38 c 139s|220000 | 88367 | 1181k| 5.4 | 59M| 57 | 7 | 172 | 22 | 172 | 16 | 16 | 17k|6460 | 0.000000e+00 | 2.600000e+01 | Inf
141.26/141.33 o 24
141.26/141.33 c * 141s|223712 | 87968 | 1198k| 5.4 | 58M| 57 | - | 172 | 25 | 172 | 16 | 16 | 17k|6518 | 0.000000e+00 | 2.400000e+01 | Inf
141.26/141.35 o 22
141.26/141.35 c * 141s|223717 | 86276 | 1198k| 5.4 | 56M| 57 | - | 172 | 25 | 172 | 16 | 16 | 17k|6521 | 0.000000e+00 | 2.200000e+01 | Inf
144.26/144.36 o 21
144.26/144.36 c * 144s|225002 | 85679 | 1204k| 5.4 | 55M| 57 | - | 172 | 23 | 172 | 16 | 16 | 17k|6530 | 0.000000e+00 | 2.100000e+01 | Inf
144.26/144.37 o 19
144.26/144.37 c * 144s|225003 | 83443 | 1204k| 5.4 | 52M| 57 | - | 172 | 23 | 172 | 16 | 16 | 17k|6530 | 0.000000e+00 | 1.900000e+01 | Inf
146.86/146.93 c 147s|230000 | 84534 | 1226k| 5.3 | 53M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 18k|6596 | 0.000000e+00 | 1.900000e+01 | Inf
152.05/152.11 c 152s|240000 | 86742 | 1271k| 5.3 | 55M| 57 | - | 172 | 20 | 172 | 16 | 16 | 18k|6742 | 0.000000e+00 | 1.900000e+01 | Inf
157.35/157.40 c 157s|250000 | 89843 | 1316k| 5.3 | 57M| 57 | - | 172 | 23 | 172 | 16 | 16 | 19k|6894 | 0.000000e+00 | 1.900000e+01 | Inf
162.55/162.62 c 163s|260000 | 92326 | 1360k| 5.2 | 59M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 20k|7024 | 0.000000e+00 | 1.900000e+01 | Inf
167.55/167.64 c 168s|270000 | 94399 | 1402k| 5.2 | 61M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 20k|7176 | 0.000000e+00 | 1.900000e+01 | Inf
172.55/172.60 c 173s|280000 | 96318 | 1444k| 5.2 | 62M| 57 | 7 | 172 | 21 | 172 | 16 | 16 | 21k|7310 | 0.000000e+00 | 1.900000e+01 | Inf
177.55/177.62 c 178s|290000 | 98546 | 1486k| 5.1 | 64M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 22k|7446 | 0.000000e+00 | 1.900000e+01 | Inf
182.64/182.75 c 183s|300000 |100922 | 1531k| 5.1 | 66M| 57 | 7 | 172 | 21 | 172 | 16 | 16 | 23k|7577 | 0.000000e+00 | 1.900000e+01 | Inf
187.95/188.01 c 188s|310000 |103762 | 1576k| 5.1 | 68M| 57 | - | 172 | 17 | 172 | 16 | 16 | 23k|7695 | 0.000000e+00 | 1.900000e+01 | Inf
193.04/193.13 c 193s|320000 |106495 | 1620k| 5.1 | 70M| 57 | - | 172 | 17 | 172 | 16 | 16 | 24k|7824 | 0.000000e+00 | 1.900000e+01 | Inf
198.24/198.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
198.24/198.40 c 198s|330000 |109228 | 1665k| 5.0 | 72M| 57 | - | 172 | 22 | 172 | 16 | 16 | 25k|7948 | 0.000000e+00 | 1.900000e+01 | Inf
203.64/203.76 c 204s|340000 |112232 | 1713k| 5.0 | 74M| 57 | - | 172 | 18 | 172 | 16 | 16 | 25k|8065 | 0.000000e+00 | 1.900000e+01 | Inf
208.94/209.05 c 209s|350000 |114703 | 1759k| 5.0 | 76M| 57 | - | 172 | 17 | 172 | 16 | 16 | 26k|8199 | 0.000000e+00 | 1.900000e+01 | Inf
214.53/214.67 c 215s|360000 |117797 | 1809k| 5.0 | 78M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 27k|8303 | 0.000000e+00 | 1.900000e+01 | Inf
219.94/220.09 c 220s|370000 |121200 | 1856k| 5.0 | 81M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 27k|8417 | 0.000000e+00 | 1.900000e+01 | Inf
225.24/225.31 c 225s|380000 |123946 | 1902k| 5.0 | 83M| 57 | - | 172 | 18 | 172 | 16 | 16 | 28k|8550 | 0.000000e+00 | 1.900000e+01 | Inf
225.74/225.83 o 18
225.74/225.83 c * 226s|380989 |122984 | 1906k| 5.0 | 81M| 57 | - | 172 | 17 | 172 | 16 | 16 | 28k|8565 | 0.000000e+00 | 1.800000e+01 | Inf
225.74/225.86 o 16
225.74/225.86 c * 226s|380990 |114735 | 1906k| 5.0 | 75M| 57 | - | 172 | 17 | 172 | 16 | 16 | 28k|8565 | 0.000000e+00 | 1.600000e+01 | Inf
230.44/230.58 c 231s|390000 |116984 | 1950k| 5.0 | 76M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 29k|8728 | 0.000000e+00 | 1.600000e+01 | Inf
235.43/235.56 c 236s|400000 |119175 | 1996k| 5.0 | 78M| 57 | - | 172 | 16 | 172 | 16 | 16 | 29k|8893 | 0.000000e+00 | 1.600000e+01 | Inf
240.43/240.59 c 241s|410000 |121164 | 2043k| 5.0 | 79M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 30k|9057 | 0.000000e+00 | 1.600000e+01 | Inf
245.93/246.08 c 246s|420000 |124501 | 2094k| 5.0 | 81M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 31k|9211 | 0.000000e+00 | 1.600000e+01 | Inf
251.33/251.46 c 251s|430000 |127858 | 2143k| 5.0 | 83M| 57 | 7 | 172 | 21 | 172 | 16 | 16 | 32k|9345 | 0.000000e+00 | 1.600000e+01 | Inf
256.73/256.87 c 257s|440000 |131344 | 2193k| 5.0 | 85M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 32k|9466 | 0.000000e+00 | 1.600000e+01 | Inf
261.83/261.92 c 262s|450000 |134106 | 2240k| 5.0 | 87M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 33k|9593 | 0.000000e+00 | 1.600000e+01 | Inf
266.72/266.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
266.72/266.89 c 267s|460000 |136419 | 2287k| 5.0 | 88M| 57 | - | 172 | 21 | 172 | 16 | 16 | 34k|9717 | 0.000000e+00 | 1.600000e+01 | Inf
271.73/271.89 c 272s|470000 |139268 | 2333k| 5.0 | 90M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 34k|9824 | 0.000000e+00 | 1.600000e+01 | Inf
276.83/276.94 c 277s|480000 |141805 | 2381k| 5.0 | 91M| 57 | - | 172 | 19 | 0 | 0 | 16 | 35k|9928 | 0.000000e+00 | 1.600000e+01 | Inf
283.73/283.89 c 284s|490000 |144001 | 2425k| 5.0 | 93M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 36k| 10k| 0.000000e+00 | 1.600000e+01 | Inf
288.72/288.81 c 289s|500000 |146143 | 2471k| 4.9 | 94M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 37k| 10k| 0.000000e+00 | 1.600000e+01 | Inf
293.52/293.64 c 294s|510000 |147963 | 2516k| 4.9 | 96M| 57 | - | 172 | 19 | 172 | 16 | 16 | 37k| 10k| 0.000000e+00 | 1.600000e+01 | Inf
298.31/298.47 c 298s|520000 |149835 | 2561k| 4.9 | 97M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 38k| 10k| 0.000000e+00 | 1.600000e+01 | Inf
303.02/303.19 c 303s|530000 |151423 | 2604k| 4.9 | 98M| 57 | 7 | 172 | 21 | 172 | 16 | 16 | 39k| 10k| 0.000000e+00 | 1.600000e+01 | Inf
307.82/307.97 c 308s|540000 |153047 | 2648k| 4.9 | 99M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 40k| 10k| 0.000000e+00 | 1.600000e+01 | Inf
312.51/312.66 c 313s|550000 |154607 | 2691k| 4.9 | 100M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 40k| 10k| 0.000000e+00 | 1.600000e+01 | Inf
317.31/317.48 c 317s|560000 |156762 | 2736k| 4.9 | 102M| 57 | - | 172 | 21 | 172 | 16 | 16 | 41k| 10k| 0.000000e+00 | 1.600000e+01 | Inf
322.01/322.19 c 322s|570000 |158195 | 2780k| 4.9 | 103M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 42k| 10k| 0.000000e+00 | 1.600000e+01 | Inf
327.01/327.11 c 327s|580000 |160202 | 2824k| 4.9 | 104M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 43k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
331.71/331.88 c 332s|590000 |162391 | 2868k| 4.9 | 105M| 57 | 7 | 172 | 20 | 172 | 16 | 16 | 43k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
336.41/336.58 c 337s|600000 |163959 | 2910k| 4.9 | 107M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 44k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
341.10/341.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
341.10/341.26 c 341s|610000 |165443 | 2953k| 4.8 | 108M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 45k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
345.90/346.01 c 346s|620000 |166849 | 2997k| 4.8 | 109M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 46k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
350.50/350.69 c 351s|630000 |168033 | 3040k| 4.8 | 110M| 57 | - | 172 | 16 | 172 | 16 | 16 | 46k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
355.30/355.45 c 355s|640000 |169058 | 3084k| 4.8 | 111M| 57 | - | 172 | 16 | 0 | 0 | 16 | 47k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
360.60/360.70 c 361s|650000 |172030 | 3133k| 4.8 | 112M| 57 | 7 | 172 | 24 | 172 | 16 | 16 | 48k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
365.50/365.66 c 366s|660000 |174377 | 3180k| 4.8 | 114M| 57 | - | 172 | 19 | 0 | 0 | 16 | 49k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
370.40/370.54 c 371s|670000 |176605 | 3227k| 4.8 | 116M| 57 | - | 172 | 16 | 172 | 16 | 16 | 49k| 11k| 0.000000e+00 | 1.600000e+01 | Inf
375.20/375.39 c 375s|680000 |178345 | 3273k| 4.8 | 117M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 50k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
379.99/380.13 c 380s|690000 |179863 | 3317k| 4.8 | 118M| 57 | - | 172 | 19 | 172 | 16 | 16 | 51k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
384.80/384.96 c 385s|700000 |181308 | 3362k| 4.8 | 119M| 57 | - | 172 | 18 | 172 | 16 | 16 | 52k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
389.49/389.68 c 390s|710000 |182832 | 3406k| 4.8 | 120M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 53k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
394.19/394.39 c 394s|720000 |184041 | 3450k| 4.8 | 121M| 57 | 7 | 172 | 20 | 172 | 16 | 16 | 53k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
398.99/399.18 c 399s|730000 |185724 | 3495k| 4.8 | 122M| 57 | - | 172 | 18 | 0 | 0 | 16 | 54k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
403.79/403.90 c 404s|740000 |187016 | 3539k| 4.8 | 124M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 55k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
408.59/408.79 c 409s|750000 |188240 | 3585k| 4.8 | 125M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 56k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
413.39/413.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
413.39/413.50 c 413s|760000 |189520 | 3630k| 4.8 | 126M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 56k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
418.19/418.38 c 418s|770000 |191116 | 3675k| 4.8 | 127M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 57k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
423.09/423.23 c 423s|780000 |193262 | 3720k| 4.8 | 128M| 57 | 7 | 172 | 23 | 172 | 16 | 16 | 58k| 12k| 0.000000e+00 | 1.600000e+01 | Inf
427.79/427.97 c 428s|790000 |194940 | 3764k| 4.8 | 129M| 57 | 7 | 172 | 21 | 172 | 16 | 16 | 59k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
432.58/432.75 c 433s|800000 |196340 | 3809k| 4.8 | 130M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 59k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
437.59/437.77 c 438s|810000 |198978 | 3856k| 4.8 | 132M| 57 | - | 172 | 18 | 172 | 16 | 16 | 60k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
442.68/442.82 c 443s|820000 |201710 | 3903k| 4.8 | 134M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 61k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
447.58/447.73 c 448s|830000 |204076 | 3949k| 4.8 | 135M| 57 | - | 172 | 18 | 172 | 16 | 16 | 62k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
452.38/452.52 c 453s|840000 |206067 | 3994k| 4.8 | 137M| 57 | - | 172 | 19 | 172 | 16 | 16 | 62k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
457.17/457.38 c 457s|850000 |208096 | 4040k| 4.8 | 138M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 63k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
462.18/462.30 c 462s|860000 |210083 | 4086k| 4.8 | 140M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 64k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
466.97/467.11 c 467s|870000 |211698 | 4132k| 4.7 | 141M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 64k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
471.78/471.98 c 472s|880000 |214030 | 4176k| 4.7 | 142M| 57 | - | 172 | 16 | 172 | 16 | 16 | 65k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
476.67/476.81 c 477s|890000 |215940 | 4221k| 4.7 | 144M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 66k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
481.37/481.59 c 482s|900000 |217839 | 4266k| 4.7 | 145M| 57 | 7 | 172 | 21 | 172 | 16 | 16 | 66k| 13k| 0.000000e+00 | 1.600000e+01 | Inf
486.17/486.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
486.17/486.34 c 486s|910000 |219471 | 4309k| 4.7 | 146M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 67k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
491.06/491.24 c 491s|920000 |221989 | 4353k| 4.7 | 148M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 68k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
495.88/496.02 c 496s|930000 |223730 | 4398k| 4.7 | 149M| 57 | - | 172 | 15 | 172 | 16 | 16 | 69k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
500.77/500.91 c 501s|940000 |225734 | 4445k| 4.7 | 150M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 69k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
505.56/505.76 c 506s|950000 |227465 | 4490k| 4.7 | 152M| 57 | - | 172 | 17 | 0 | 0 | 16 | 70k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
510.46/510.63 c 511s|960000 |229339 | 4536k| 4.7 | 153M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 71k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
515.36/515.51 c 515s|970000 |231281 | 4583k| 4.7 | 154M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 72k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
520.17/520.36 c 520s|980000 |232823 | 4629k| 4.7 | 155M| 57 | - | 172 | 19 | 172 | 16 | 16 | 72k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
524.96/525.10 c 525s|990000 |234184 | 4673k| 4.7 | 157M| 57 | - | 172 | 15 | 172 | 16 | 16 | 73k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
529.65/529.89 c 530s| 1000k|235396 | 4717k| 4.7 | 158M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 74k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
534.46/534.66 c 535s| 1010k|237260 | 4761k| 4.7 | 159M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 74k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
539.45/539.62 c 540s| 1020k|239781 | 4808k| 4.7 | 160M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 75k| 14k| 0.000000e+00 | 1.600000e+01 | Inf
544.26/544.44 c 544s| 1030k|241614 | 4853k| 4.7 | 162M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 76k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
549.05/549.23 c 549s| 1040k|243246 | 4898k| 4.7 | 163M| 57 | - | 172 | 16 | 172 | 16 | 16 | 77k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
553.75/553.93 c 554s| 1050k|244601 | 4941k| 4.7 | 164M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 78k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
558.56/558.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
558.56/558.70 c 559s| 1060k|245936 | 4986k| 4.7 | 165M| 57 | - | 172 | 15 | 172 | 16 | 16 | 78k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
563.25/563.44 c 563s| 1070k|247221 | 5029k| 4.7 | 166M| 57 | - | 172 | 16 | 172 | 16 | 16 | 79k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
568.04/568.21 c 568s| 1080k|248556 | 5074k| 4.7 | 167M| 57 | - | 172 | 18 | 172 | 16 | 16 | 80k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
572.85/573.10 c 573s| 1090k|250205 | 5120k| 4.7 | 169M| 57 | - | 172 | 15 | 172 | 16 | 16 | 81k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
577.64/577.83 c 578s| 1100k|251748 | 5165k| 4.7 | 170M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 81k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
582.34/582.54 c 583s| 1110k|253056 | 5209k| 4.7 | 171M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 82k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
587.34/587.58 c 588s| 1120k|255961 | 5255k| 4.7 | 172M| 57 | - | 172 | 16 | 172 | 16 | 16 | 83k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
592.54/592.71 c 593s| 1130k|258969 | 5303k| 4.7 | 174M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 84k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
597.54/597.72 c 598s| 1140k|261628 | 5349k| 4.7 | 176M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 84k| 15k| 0.000000e+00 | 1.600000e+01 | Inf
602.34/602.51 c 603s| 1150k|263923 | 5394k| 4.7 | 177M| 57 | - | 172 | 17 | 0 | 0 | 16 | 85k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
607.13/607.34 c 607s| 1160k|266283 | 5438k| 4.7 | 179M| 57 | - | 172 | 19 | 172 | 16 | 16 | 86k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
611.83/612.08 c 612s| 1170k|268291 | 5482k| 4.7 | 180M| 57 | - | 172 | 17 | 172 | 16 | 16 | 86k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
616.64/616.85 c 617s| 1180k|270610 | 5526k| 4.7 | 181M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 87k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
621.43/621.66 c 622s| 1190k|272619 | 5570k| 4.7 | 183M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 88k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
626.13/626.36 c 626s| 1200k|274251 | 5613k| 4.7 | 184M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 89k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
630.83/631.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
630.83/631.07 c 631s| 1210k|276008 | 5657k| 4.7 | 185M| 57 | - | 172 | 18 | 172 | 16 | 16 | 89k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
635.64/635.89 c 636s| 1220k|277852 | 5702k| 4.7 | 186M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 90k| 16k| 0.000000e+00 | 1.600000e+01 | Inf
636.64/636.88 o 15
636.64/636.88 c * 637s| 1222k|276716 | 5711k| 4.7 | 184M| 57 | - | 172 | 17 | 172 | 16 | 16 | 90k| 16k| 0.000000e+00 | 1.500000e+01 | Inf
636.73/636.91 o 13
636.73/636.91 c * 637s| 1222k|272070 | 5711k| 4.7 | 177M| 57 | - | 172 | 17 | 172 | 16 | 16 | 90k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
644.33/644.51 c 644s| 1230k|273328 | 5744k| 4.7 | 178M| 57 | - | 172 | 17 | 0 | 0 | 16 | 91k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
648.92/649.14 c 649s| 1240k|275141 | 5785k| 4.7 | 179M| 57 | - | 172 | 18 | 172 | 16 | 16 | 92k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
653.52/653.75 c 654s| 1250k|276763 | 5825k| 4.7 | 180M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 92k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
658.02/658.29 c 658s| 1260k|278191 | 5866k| 4.7 | 181M| 57 | 7 | 172 | 22 | 172 | 16 | 16 | 93k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
662.62/662.88 c 663s| 1270k|279544 | 5907k| 4.7 | 182M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 94k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
667.32/667.54 c 668s| 1280k|281099 | 5949k| 4.6 | 183M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 95k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
671.92/672.14 c 672s| 1290k|282601 | 5993k| 4.6 | 184M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 95k| 16k| 0.000000e+00 | 1.300000e+01 | Inf
676.52/676.76 c 677s| 1300k|283999 | 6035k| 4.6 | 185M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 96k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
681.12/681.40 c 681s| 1310k|285423 | 6077k| 4.6 | 186M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 97k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
685.92/686.10 c 686s| 1320k|287121 | 6120k| 4.6 | 187M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 98k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
690.63/690.81 c 691s| 1330k|288929 | 6164k| 4.6 | 189M| 57 | - | 172 | 15 | 172 | 16 | 16 | 98k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
695.22/695.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
695.22/695.44 c 695s| 1340k|290192 | 6205k| 4.6 | 190M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 99k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
699.82/700.03 c 700s| 1350k|291069 | 6247k| 4.6 | 190M| 57 | - | 172 | 19 | 172 | 16 | 16 | 100k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
704.51/704.74 c 705s| 1360k|292276 | 6290k| 4.6 | 191M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 101k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
709.11/709.39 c 709s| 1370k|294104 | 6333k| 4.6 | 193M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 101k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
713.62/713.89 c 714s| 1380k|295208 | 6374k| 4.6 | 193M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 102k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
718.31/718.50 c 718s| 1390k|296373 | 6416k| 4.6 | 194M| 57 | - | 172 | 15 | 172 | 16 | 16 | 103k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
723.01/723.23 c 723s| 1400k|297763 | 6461k| 4.6 | 195M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 104k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
727.70/727.92 c 728s| 1410k|299023 | 6504k| 4.6 | 196M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 105k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
732.32/732.50 c 732s| 1420k|300169 | 6546k| 4.6 | 197M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 105k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
736.81/737.08 c 737s| 1430k|301732 | 6587k| 4.6 | 198M| 57 | - | 172 | 15 | 0 | 0 | 16 | 106k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
741.31/741.52 c 742s| 1440k|303033 | 6626k| 4.6 | 199M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 107k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
745.80/746.01 c 746s| 1450k|304029 | 6666k| 4.6 | 200M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 108k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
750.30/750.51 c 750s| 1460k|305171 | 6705k| 4.6 | 201M| 57 | - | 172 | 16 | 172 | 16 | 16 | 108k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
754.80/755.00 c 755s| 1470k|306207 | 6745k| 4.6 | 202M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 109k| 17k| 0.000000e+00 | 1.300000e+01 | Inf
759.40/759.67 c 760s| 1480k|306923 | 6788k| 4.6 | 202M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 110k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
764.00/764.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
764.00/764.24 c 764s| 1490k|307561 | 6829k| 4.6 | 203M| 57 | - | 172 | 18 | 172 | 16 | 16 | 111k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
768.50/768.77 c 769s| 1500k|308969 | 6869k| 4.6 | 204M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 112k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
773.00/773.28 c 773s| 1510k|310010 | 6908k| 4.6 | 205M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 112k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
777.59/777.84 c 778s| 1520k|311286 | 6948k| 4.6 | 206M| 57 | - | 172 | 18 | 172 | 16 | 16 | 113k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
782.00/782.29 c 782s| 1530k|312443 | 6987k| 4.6 | 207M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 114k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
786.49/786.79 c 787s| 1540k|313330 | 7026k| 4.6 | 207M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 115k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
791.09/791.33 c 791s| 1550k|314509 | 7066k| 4.6 | 208M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 116k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
795.69/795.91 c 796s| 1560k|315407 | 7106k| 4.6 | 209M| 57 | - | 172 | 16 | 172 | 16 | 16 | 116k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
800.19/800.49 c 800s| 1570k|316322 | 7147k| 4.6 | 210M| 57 | - | 172 | 16 | 172 | 16 | 16 | 117k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
804.79/805.06 c 805s| 1580k|317466 | 7188k| 4.5 | 211M| 57 | 7 | 172 | 20 | 172 | 16 | 16 | 118k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
809.30/809.57 c 810s| 1590k|318005 | 7227k| 4.5 | 211M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 119k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
813.89/814.10 c 814s| 1600k|318767 | 7267k| 4.5 | 212M| 57 | 7 | 172 | 25 | 172 | 16 | 16 | 120k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
818.38/818.64 c 819s| 1610k|319484 | 7307k| 4.5 | 213M| 57 | - | 172 | 15 | 172 | 16 | 16 | 121k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
822.98/823.23 c 823s| 1620k|320154 | 7347k| 4.5 | 213M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 121k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
827.58/827.80 c 828s| 1630k|320875 | 7388k| 4.5 | 214M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 122k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
832.08/832.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
832.08/832.33 c 832s| 1640k|321509 | 7428k| 4.5 | 215M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 123k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
836.48/836.76 c 837s| 1650k|322437 | 7468k| 4.5 | 215M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 124k| 18k| 0.000000e+00 | 1.300000e+01 | Inf
841.08/841.33 c 841s| 1660k|322884 | 7508k| 4.5 | 216M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 125k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
845.59/845.83 c 846s| 1670k|323520 | 7548k| 4.5 | 217M| 57 | - | 172 | 16 | 172 | 16 | 16 | 125k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
850.09/850.31 c 850s| 1680k|324751 | 7587k| 4.5 | 217M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 126k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
854.48/854.73 c 855s| 1690k|325661 | 7625k| 4.5 | 218M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 127k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
858.88/859.18 c 859s| 1700k|326280 | 7664k| 4.5 | 219M| 57 | - | 172 | 15 | 172 | 16 | 16 | 128k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
863.38/863.67 c 864s| 1710k|327130 | 7703k| 4.5 | 220M| 57 | - | 172 | 17 | 172 | 16 | 16 | 129k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
867.87/868.19 c 868s| 1720k|327659 | 7742k| 4.5 | 220M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 129k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
872.37/872.68 c 873s| 1730k|328673 | 7782k| 4.5 | 221M| 57 | - | 172 | 20 | 172 | 16 | 16 | 130k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
876.97/877.20 c 877s| 1740k|329514 | 7821k| 4.5 | 222M| 57 | - | 172 | 15 | 172 | 16 | 16 | 131k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
881.37/881.69 c 882s| 1750k|330050 | 7860k| 4.5 | 222M| 57 | - | 172 | 15 | 172 | 16 | 16 | 132k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
885.96/886.20 c 886s| 1760k|330544 | 7899k| 4.5 | 223M| 57 | - | 172 | 17 | 172 | 16 | 16 | 133k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
890.46/890.76 c 891s| 1770k|331439 | 7940k| 4.5 | 224M| 57 | - | 172 | 18 | 172 | 16 | 16 | 133k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
894.96/895.25 c 895s| 1780k|332158 | 7979k| 4.5 | 224M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 134k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
899.47/899.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
899.47/899.79 c 900s| 1790k|332939 | 8019k| 4.5 | 225M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 135k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
904.06/904.30 c 904s| 1800k|333637 | 8058k| 4.5 | 226M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 136k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
908.56/908.83 c 909s| 1810k|334123 | 8098k| 4.5 | 226M| 57 | - | 172 | 16 | 172 | 16 | 16 | 137k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
913.06/913.35 c 913s| 1820k|334691 | 8138k| 4.5 | 227M| 57 | - | 172 | 16 | 172 | 16 | 16 | 138k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
917.56/917.86 c 918s| 1830k|335235 | 8177k| 4.5 | 227M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 138k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
922.15/922.41 c 922s| 1840k|335621 | 8217k| 4.5 | 228M| 57 | - | 172 | 16 | 172 | 16 | 16 | 139k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
926.56/926.88 c 927s| 1850k|335984 | 8256k| 4.5 | 228M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 140k| 19k| 0.000000e+00 | 1.300000e+01 | Inf
931.16/931.43 c 931s| 1860k|336534 | 8296k| 4.5 | 229M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 141k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
935.56/935.84 c 936s| 1870k|336944 | 8335k| 4.5 | 229M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 142k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
940.05/940.39 c 940s| 1880k|337613 | 8375k| 4.5 | 230M| 57 | - | 172 | 15 | 172 | 16 | 16 | 143k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
944.45/944.78 c 945s| 1890k|338270 | 8415k| 4.5 | 231M| 57 | - | 172 | 15 | 172 | 16 | 16 | 143k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
949.15/949.40 c 949s| 1900k|338906 | 8455k| 4.5 | 231M| 57 | 7 | 172 | 23 | 172 | 16 | 16 | 144k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
953.64/953.93 c 954s| 1910k|339559 | 8494k| 4.4 | 232M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 145k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
958.15/958.44 c 958s| 1920k|339968 | 8533k| 4.4 | 233M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 146k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
962.55/962.85 c 963s| 1930k|340502 | 8572k| 4.4 | 233M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 147k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
967.15/967.43 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
967.15/967.43 c 967s| 1940k|340936 | 8612k| 4.4 | 234M| 57 | - | 172 | 16 | 0 | 0 | 16 | 147k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
971.65/971.95 c 972s| 1950k|341991 | 8652k| 4.4 | 234M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 148k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
976.24/976.54 c 977s| 1960k|343600 | 8693k| 4.4 | 236M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 149k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
980.64/980.99 c 981s| 1970k|344863 | 8732k| 4.4 | 236M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 150k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
985.14/985.46 c 985s| 1980k|345765 | 8771k| 4.4 | 237M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 150k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
989.64/989.92 c 990s| 1990k|346572 | 8811k| 4.4 | 238M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 151k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
994.04/994.37 c 994s| 2000k|347203 | 8849k| 4.4 | 238M| 57 | - | 172 | 16 | 172 | 16 | 16 | 152k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
998.44/998.76 c 999s| 2010k|347675 | 8887k| 4.4 | 239M| 57 | - | 172 | 17 | 172 | 16 | 16 | 153k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1002.84/1003.19 c 1003s| 2020k|348036 | 8925k| 4.4 | 239M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 154k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1007.25/1007.60 c 1008s| 2030k|348355 | 8964k| 4.4 | 240M| 57 | - | 172 | 16 | 172 | 16 | 16 | 154k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1011.65/1012.00 c 1012s| 2040k|348766 | 9001k| 4.4 | 240M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 155k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1016.14/1016.42 c 1016s| 2050k|349003 | 9039k| 4.4 | 241M| 57 | - | 172 | 15 | 172 | 16 | 16 | 156k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1020.54/1020.81 c 1021s| 2060k|349407 | 9077k| 4.4 | 241M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 157k| 20k| 0.000000e+00 | 1.300000e+01 | Inf
1024.94/1025.29 c 1025s| 2070k|350100 | 9115k| 4.4 | 242M| 57 | - | 172 | 18 | 172 | 16 | 16 | 158k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1029.43/1029.79 c 1030s| 2080k|351148 | 9156k| 4.4 | 243M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 159k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1033.93/1034.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1033.93/1034.26 c 1034s| 2090k|352484 | 9196k| 4.4 | 244M| 57 | - | 172 | 15 | 172 | 16 | 16 | 159k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1038.33/1038.64 c 1039s| 2100k|353014 | 9233k| 4.4 | 244M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 160k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1042.73/1043.05 c 1043s| 2110k|353404 | 9272k| 4.4 | 245M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 161k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1047.13/1047.49 c 1047s| 2120k|353738 | 9310k| 4.4 | 245M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 162k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1051.53/1051.89 c 1052s| 2130k|353948 | 9348k| 4.4 | 246M| 57 | - | 172 | 16 | 0 | 0 | 16 | 163k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1056.03/1056.31 c 1056s| 2140k|354585 | 9385k| 4.4 | 246M| 57 | - | 172 | 15 | 0 | 0 | 16 | 163k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1060.52/1060.80 c 1061s| 2150k|355350 | 9425k| 4.4 | 247M| 57 | - | 172 | 15 | 172 | 16 | 16 | 164k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1064.92/1065.29 c 1065s| 2160k|355648 | 9463k| 4.4 | 247M| 57 | - | 172 | 17 | 172 | 16 | 16 | 165k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1069.42/1069.73 c 1070s| 2170k|356291 | 9501k| 4.4 | 248M| 57 | - | 172 | 15 | 172 | 16 | 16 | 166k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1073.82/1074.17 c 1074s| 2180k|356697 | 9539k| 4.4 | 248M| 57 | - | 172 | 20 | 172 | 16 | 16 | 167k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1078.31/1078.64 c 1079s| 2190k|357410 | 9578k| 4.4 | 249M| 57 | - | 172 | 15 | 172 | 16 | 16 | 168k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1082.72/1083.08 c 1083s| 2200k|357778 | 9616k| 4.4 | 249M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 168k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1087.22/1087.55 c 1088s| 2210k|358569 | 9655k| 4.4 | 250M| 57 | - | 172 | 15 | 172 | 16 | 16 | 169k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1091.71/1092.05 c 1092s| 2220k|359072 | 9693k| 4.4 | 251M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 170k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1096.21/1096.56 c 1097s| 2230k|359675 | 9732k| 4.4 | 251M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 171k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1100.61/1101.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1100.61/1101.00 c 1101s| 2240k|359945 | 9770k| 4.4 | 252M| 57 | - | 172 | 16 | 0 | 0 | 16 | 172k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1105.12/1105.45 c 1105s| 2250k|360308 | 9808k| 4.4 | 252M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 173k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1109.61/1109.94 c 1110s| 2260k|360476 | 9847k| 4.4 | 252M| 57 | - | 172 | 17 | 172 | 16 | 16 | 173k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1114.11/1114.43 c 1114s| 2270k|360955 | 9887k| 4.4 | 253M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 174k| 21k| 0.000000e+00 | 1.300000e+01 | Inf
1118.61/1118.97 c 1119s| 2280k|361659 | 9926k| 4.4 | 254M| 57 | - | 172 | 15 | 172 | 16 | 16 | 175k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1123.11/1123.45 c 1123s| 2290k|362317 | 9964k| 4.4 | 254M| 57 | - | 172 | 15 | 172 | 16 | 16 | 176k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1127.60/1127.94 c 1128s| 2300k|362393 | 10001k| 4.3 | 255M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 177k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1132.10/1132.47 c 1132s| 2310k|362784 | 10039k| 4.3 | 255M| 57 | - | 172 | 18 | 172 | 16 | 16 | 178k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1136.60/1136.93 c 1137s| 2320k|363259 | 10077k| 4.3 | 256M| 57 | - | 172 | 16 | 172 | 16 | 16 | 179k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1141.00/1141.32 c 1141s| 2330k|363616 | 10114k| 4.3 | 256M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 179k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1145.50/1145.80 c 1146s| 2340k|363883 | 10153k| 4.3 | 256M| 57 | - | 172 | 15 | 172 | 16 | 16 | 180k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1149.90/1150.23 c 1150s| 2350k|364123 | 10190k| 4.3 | 257M| 57 | - | 172 | 15 | 172 | 16 | 16 | 181k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1154.40/1154.71 c 1155s| 2360k|364473 | 10229k| 4.3 | 257M| 57 | 7 | 172 | 20 | 172 | 16 | 16 | 182k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1158.80/1159.13 c 1159s| 2370k|364781 | 10267k| 4.3 | 258M| 57 | - | 172 | 15 | 0 | 0 | 16 | 183k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1163.20/1163.57 c 1164s| 2380k|364976 | 10305k| 4.3 | 258M| 57 | - | 172 | 15 | 0 | 0 | 16 | 184k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1167.69/1168.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1167.69/1168.05 c 1168s| 2390k|365242 | 10344k| 4.3 | 259M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 184k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1172.20/1172.56 c 1173s| 2400k|366008 | 10383k| 4.3 | 259M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 185k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1176.70/1177.03 c 1177s| 2410k|366641 | 10423k| 4.3 | 260M| 57 | - | 172 | 19 | 0 | 0 | 16 | 186k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1181.10/1181.48 c 1181s| 2420k|366905 | 10462k| 4.3 | 260M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 187k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1185.59/1185.96 c 1186s| 2430k|367134 | 10500k| 4.3 | 261M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 188k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1189.99/1190.38 c 1190s| 2440k|367429 | 10538k| 4.3 | 261M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 188k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1194.49/1194.89 c 1195s| 2450k|367512 | 10577k| 4.3 | 261M| 57 | - | 172 | 17 | 0 | 0 | 16 | 189k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1198.99/1199.37 c 1199s| 2460k|367703 | 10615k| 4.3 | 262M| 57 | - | 172 | 15 | 172 | 16 | 16 | 190k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1203.59/1203.92 c 1204s| 2470k|368507 | 10655k| 4.3 | 262M| 57 | - | 172 | 16 | 172 | 16 | 16 | 191k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1208.08/1208.49 c 1208s| 2480k|369178 | 10695k| 4.3 | 263M| 57 | - | 172 | 16 | 172 | 16 | 16 | 192k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1212.59/1212.98 c 1213s| 2490k|369641 | 10735k| 4.3 | 264M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 192k| 22k| 0.000000e+00 | 1.300000e+01 | Inf
1217.18/1217.55 c 1218s| 2500k|369891 | 10774k| 4.3 | 264M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 193k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1221.69/1222.00 c 1222s| 2510k|370242 | 10812k| 4.3 | 264M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 194k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1226.08/1226.45 c 1226s| 2520k|370651 | 10850k| 4.3 | 265M| 57 | - | 172 | 16 | 172 | 16 | 16 | 195k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1230.58/1230.93 c 1231s| 2530k|370846 | 10889k| 4.3 | 265M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 196k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1235.08/1235.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1235.08/1235.40 c 1235s| 2540k|371470 | 10929k| 4.3 | 266M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 197k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1239.48/1239.89 c 1240s| 2550k|372553 | 10967k| 4.3 | 267M| 57 | - | 172 | 16 | 0 | 0 | 16 | 198k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1243.98/1244.35 c 1244s| 2560k|373150 | 11005k| 4.3 | 267M| 57 | - | 172 | 16 | 0 | 0 | 16 | 198k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1248.48/1248.84 c 1249s| 2570k|373363 | 11043k| 4.3 | 268M| 57 | - | 172 | 16 | 0 | 0 | 16 | 199k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1253.08/1253.48 c 1253s| 2580k|374795 | 11084k| 4.3 | 269M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 200k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1257.68/1258.00 c 1258s| 2590k|375567 | 11125k| 4.3 | 269M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 201k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1262.17/1262.53 c 1263s| 2600k|376396 | 11165k| 4.3 | 270M| 57 | - | 172 | 16 | 172 | 16 | 16 | 202k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1266.67/1267.07 c 1267s| 2610k|376809 | 11205k| 4.3 | 271M| 57 | - | 172 | 15 | 172 | 16 | 16 | 202k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1271.17/1271.58 c 1272s| 2620k|377076 | 11245k| 4.3 | 271M| 57 | - | 172 | 16 | 0 | 0 | 16 | 203k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1275.76/1276.13 c 1276s| 2630k|377445 | 11284k| 4.3 | 271M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 204k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1280.26/1280.64 c 1281s| 2640k|377671 | 11324k| 4.3 | 272M| 57 | - | 172 | 16 | 0 | 0 | 16 | 205k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1284.86/1285.22 c 1285s| 2650k|377866 | 11363k| 4.3 | 272M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 206k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1289.26/1289.67 c 1290s| 2660k|378481 | 11401k| 4.3 | 273M| 57 | - | 172 | 16 | 0 | 0 | 16 | 206k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1293.77/1294.15 c 1294s| 2670k|378841 | 11439k| 4.3 | 273M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 207k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1298.36/1298.71 c 1299s| 2680k|378989 | 11477k| 4.3 | 274M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 208k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1302.76/1303.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1302.76/1303.18 c 1303s| 2690k|379042 | 11514k| 4.3 | 274M| 57 | - | 172 | 20 | 0 | 0 | 16 | 209k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1307.36/1307.72 c 1308s| 2700k|379170 | 11554k| 4.3 | 274M| 57 | - | 172 | 17 | 172 | 16 | 16 | 210k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1311.87/1312.24 c 1312s| 2710k|379428 | 11593k| 4.3 | 275M| 57 | - | 172 | 17 | 0 | 0 | 16 | 211k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1316.36/1316.78 c 1317s| 2720k|379799 | 11633k| 4.3 | 275M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 211k| 23k| 0.000000e+00 | 1.300000e+01 | Inf
1320.95/1321.32 c 1321s| 2730k|379862 | 11672k| 4.3 | 275M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 212k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1325.36/1325.79 c 1326s| 2740k|380027 | 11710k| 4.3 | 276M| 57 | - | 172 | 18 | 172 | 16 | 16 | 213k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1329.95/1330.33 c 1330s| 2750k|380308 | 11749k| 4.3 | 276M| 57 | - | 172 | 15 | 172 | 16 | 16 | 214k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1334.46/1334.82 c 1335s| 2760k|380547 | 11788k| 4.3 | 276M| 57 | - | 172 | 16 | 172 | 16 | 16 | 215k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1338.95/1339.33 c 1339s| 2770k|381020 | 11829k| 4.3 | 277M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 216k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1343.45/1343.87 c 1344s| 2780k|381682 | 11869k| 4.3 | 277M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 216k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1347.95/1348.34 c 1348s| 2790k|381982 | 11907k| 4.3 | 278M| 57 | - | 172 | 17 | 0 | 0 | 16 | 217k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1352.44/1352.82 c 1353s| 2800k|382426 | 11945k| 4.3 | 278M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 218k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1356.96/1357.35 c 1357s| 2810k|382554 | 11984k| 4.3 | 279M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 219k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1361.45/1361.86 c 1362s| 2820k|383243 | 12023k| 4.3 | 279M| 57 | - | 172 | 15 | 172 | 16 | 16 | 220k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1365.85/1366.29 c 1366s| 2830k|383536 | 12060k| 4.3 | 280M| 57 | - | 172 | 16 | 172 | 16 | 16 | 220k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1370.34/1370.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1370.34/1370.74 c 1371s| 2840k|383907 | 12099k| 4.3 | 280M| 57 | - | 172 | 15 | 172 | 16 | 16 | 221k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1374.94/1375.30 c 1375s| 2850k|384243 | 12140k| 4.3 | 281M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 222k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1379.45/1379.86 c 1380s| 2860k|384713 | 12179k| 4.3 | 281M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 223k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1384.14/1384.57 c 1385s| 2870k|386933 | 12221k| 4.3 | 283M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 224k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1388.73/1389.16 c 1389s| 2880k|388616 | 12261k| 4.3 | 284M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 224k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1393.24/1393.67 c 1394s| 2890k|389785 | 12300k| 4.3 | 285M| 57 | - | 172 | 18 | 172 | 16 | 16 | 225k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1397.83/1398.22 c 1398s| 2900k|390840 | 12339k| 4.3 | 286M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 226k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1402.23/1402.67 c 1403s| 2910k|391838 | 12377k| 4.3 | 286M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 227k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1406.74/1407.12 c 1407s| 2920k|392397 | 12414k| 4.3 | 287M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 228k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1411.23/1411.63 c 1412s| 2930k|393349 | 12454k| 4.3 | 288M| 57 | - | 172 | 16 | 172 | 16 | 16 | 228k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1415.73/1416.15 c 1416s| 2940k|394167 | 12493k| 4.2 | 289M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 229k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1420.33/1420.71 c 1421s| 2950k|395117 | 12532k| 4.2 | 289M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 230k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1424.73/1425.18 c 1425s| 2960k|396062 | 12571k| 4.2 | 290M| 57 | - | 172 | 15 | 172 | 16 | 16 | 231k| 24k| 0.000000e+00 | 1.300000e+01 | Inf
1429.33/1429.78 c 1430s| 2970k|396933 | 12611k| 4.2 | 291M| 57 | - | 172 | 15 | 172 | 16 | 16 | 232k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1433.83/1434.28 c 1434s| 2980k|397487 | 12649k| 4.2 | 292M| 57 | - | 172 | 16 | 172 | 16 | 16 | 233k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1438.34/1438.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1438.34/1438.77 c 1439s| 2990k|398526 | 12688k| 4.2 | 292M| 57 | - | 172 | 16 | 172 | 16 | 16 | 233k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1442.83/1443.25 c 1443s| 3000k|399471 | 12727k| 4.2 | 293M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 234k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1447.33/1447.70 c 1448s| 3010k|399749 | 12764k| 4.2 | 294M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 235k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1451.72/1452.17 c 1452s| 3020k|400029 | 12802k| 4.2 | 294M| 57 | - | 172 | 17 | 172 | 16 | 16 | 236k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1456.23/1456.67 c 1457s| 3030k|400973 | 12841k| 4.2 | 295M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 236k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1460.72/1461.14 c 1461s| 3040k|401530 | 12878k| 4.2 | 295M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 237k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1465.22/1465.64 c 1466s| 3050k|401879 | 12916k| 4.2 | 296M| 57 | - | 172 | 19 | 172 | 16 | 16 | 238k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1469.72/1470.12 c 1470s| 3060k|402087 | 12954k| 4.2 | 296M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 239k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1474.21/1474.62 c 1475s| 3070k|402608 | 12993k| 4.2 | 297M| 57 | - | 172 | 15 | 172 | 16 | 16 | 240k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1478.72/1479.12 c 1479s| 3080k|402991 | 13031k| 4.2 | 297M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 241k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1483.21/1483.60 c 1484s| 3090k|403937 | 13071k| 4.2 | 298M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 241k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1487.71/1488.12 c 1488s| 3100k|404432 | 13110k| 4.2 | 299M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 242k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1492.11/1492.59 c 1493s| 3110k|405007 | 13149k| 4.2 | 299M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 243k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1496.62/1497.05 c 1497s| 3120k|405303 | 13187k| 4.2 | 300M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 244k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1501.02/1501.46 c 1501s| 3130k|406065 | 13225k| 4.2 | 300M| 57 | - | 172 | 16 | 172 | 16 | 16 | 245k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1505.52/1505.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1505.52/1505.96 c 1506s| 3140k|406184 | 13263k| 4.2 | 301M| 57 | - | 172 | 16 | 172 | 16 | 16 | 245k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1510.01/1510.42 c 1510s| 3150k|406465 | 13300k| 4.2 | 301M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 246k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1514.41/1514.85 c 1515s| 3160k|406740 | 13339k| 4.2 | 302M| 57 | - | 172 | 20 | 172 | 16 | 16 | 247k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1518.91/1519.39 c 1519s| 3170k|407154 | 13377k| 4.2 | 302M| 57 | - | 172 | 17 | 172 | 16 | 16 | 248k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1523.40/1523.87 c 1524s| 3180k|407303 | 13414k| 4.2 | 302M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 249k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1527.90/1528.32 c 1528s| 3190k|407854 | 13453k| 4.2 | 303M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 249k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1532.40/1532.88 c 1533s| 3200k|408703 | 13493k| 4.2 | 304M| 57 | - | 172 | 16 | 172 | 16 | 16 | 250k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1536.90/1537.37 c 1537s| 3210k|409039 | 13531k| 4.2 | 304M| 57 | - | 172 | 16 | 172 | 16 | 16 | 251k| 25k| 0.000000e+00 | 1.300000e+01 | Inf
1541.40/1541.85 c 1542s| 3220k|409179 | 13569k| 4.2 | 304M| 57 | - | 172 | 15 | 172 | 16 | 16 | 252k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1545.90/1546.35 c 1546s| 3230k|409409 | 13607k| 4.2 | 305M| 57 | - | 172 | 15 | 0 | 0 | 16 | 253k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1550.40/1550.86 c 1551s| 3240k|409484 | 13645k| 4.2 | 305M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 253k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1554.90/1555.34 c 1555s| 3250k|409867 | 13683k| 4.2 | 306M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 254k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1559.31/1559.80 c 1560s| 3260k|410260 | 13722k| 4.2 | 306M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 255k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1563.80/1564.26 c 1564s| 3270k|410456 | 13760k| 4.2 | 307M| 57 | - | 172 | 15 | 172 | 16 | 16 | 256k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1568.20/1568.67 c 1569s| 3280k|410664 | 13797k| 4.2 | 307M| 57 | - | 172 | 16 | 172 | 16 | 16 | 257k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1572.60/1573.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1572.60/1573.08 c 1573s| 3290k|411156 | 13835k| 4.2 | 307M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 257k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1577.09/1577.55 c 1578s| 3300k|411495 | 13874k| 4.2 | 308M| 57 | - | 172 | 15 | 172 | 16 | 16 | 258k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1581.59/1582.05 c 1582s| 3310k|411720 | 13912k| 4.2 | 308M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 259k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1586.09/1586.54 c 1587s| 3320k|412309 | 13951k| 4.2 | 309M| 57 | - | 172 | 18 | 0 | 0 | 16 | 260k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1590.59/1591.06 c 1591s| 3330k|412569 | 13989k| 4.2 | 309M| 57 | - | 172 | 15 | 172 | 16 | 16 | 261k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1595.08/1595.58 c 1596s| 3340k|412398 | 14028k| 4.2 | 309M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 262k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1599.58/1600.09 c 1600s| 3350k|412513 | 14067k| 4.2 | 310M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 262k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1604.19/1604.66 c 1605s| 3360k|413737 | 14106k| 4.2 | 311M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 263k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1608.79/1609.29 c 1609s| 3370k|415490 | 14147k| 4.2 | 312M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 264k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1613.38/1613.87 c 1614s| 3380k|416421 | 14187k| 4.2 | 313M| 57 | - | 172 | 17 | 0 | 0 | 16 | 265k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1617.98/1618.44 c 1618s| 3390k|417202 | 14227k| 4.2 | 313M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 266k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1622.48/1622.98 c 1623s| 3400k|417705 | 14265k| 4.2 | 314M| 57 | - | 172 | 15 | 172 | 16 | 16 | 266k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1627.08/1627.50 c 1627s| 3410k|418472 | 14304k| 4.2 | 315M| 57 | - | 172 | 18 | 172 | 16 | 16 | 267k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1631.57/1632.01 c 1632s| 3420k|418894 | 14342k| 4.2 | 315M| 57 | 7 | 172 | 19 | 172 | 16 | 16 | 268k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1636.07/1636.53 c 1637s| 3430k|419270 | 14381k| 4.2 | 316M| 57 | 7 | 172 | 20 | 172 | 16 | 16 | 269k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1640.68/1641.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1640.68/1641.16 c 1641s| 3440k|420145 | 14420k| 4.2 | 316M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 270k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1645.28/1645.70 c 1646s| 3450k|420574 | 14459k| 4.2 | 317M| 57 | - | 172 | 17 | 0 | 0 | 16 | 270k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1649.87/1650.34 c 1650s| 3460k|421723 | 14499k| 4.2 | 318M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 271k| 26k| 0.000000e+00 | 1.300000e+01 | Inf
1654.37/1654.80 c 1655s| 3470k|422495 | 14537k| 4.2 | 319M| 57 | - | 172 | 17 | 172 | 16 | 16 | 272k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1658.77/1659.30 c 1659s| 3480k|422712 | 14575k| 4.2 | 319M| 57 | - | 172 | 16 | 0 | 0 | 16 | 273k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1663.37/1663.84 c 1664s| 3490k|423043 | 14614k| 4.2 | 320M| 57 | - | 172 | 17 | 172 | 16 | 16 | 274k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1667.87/1668.36 c 1668s| 3500k|423507 | 14653k| 4.2 | 320M| 57 | - | 172 | 18 | 0 | 0 | 16 | 274k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1672.36/1672.86 c 1673s| 3510k|423800 | 14691k| 4.2 | 320M| 57 | - | 172 | 16 | 172 | 16 | 16 | 275k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1676.97/1677.41 c 1677s| 3520k|424994 | 14731k| 4.2 | 321M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 276k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1681.47/1681.91 c 1682s| 3530k|425387 | 14769k| 4.2 | 322M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 277k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1685.96/1686.43 c 1686s| 3540k|425547 | 14807k| 4.2 | 322M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 278k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1690.56/1691.03 c 1691s| 3550k|426203 | 14847k| 4.2 | 323M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 278k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1695.06/1695.50 c 1695s| 3560k|426388 | 14885k| 4.2 | 323M| 57 | 7 | 172 | 20 | 172 | 16 | 16 | 279k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1699.46/1699.99 c 1700s| 3570k|426408 | 14923k| 4.2 | 324M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 280k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1704.06/1704.50 c 1704s| 3580k|426975 | 14961k| 4.2 | 324M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 281k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1708.66/1709.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1708.66/1709.13 c 1709s| 3590k|427740 | 15004k| 4.2 | 325M| 57 | - | 172 | 15 | 0 | 0 | 16 | 282k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1713.37/1713.81 c 1714s| 3600k|428790 | 15047k| 4.2 | 326M| 57 | - | 172 | 16 | 172 | 16 | 16 | 282k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1717.96/1718.42 c 1718s| 3610k|429839 | 15088k| 4.2 | 327M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 283k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1722.66/1723.14 c 1723s| 3620k|430859 | 15130k| 4.2 | 328M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 284k| 27k| 0.000000e+00 | 1.300000e+01 | Inf
1726.75/1727.29 o 12
1726.75/1727.29 c *1727s| 3628k|428364 | 15167k| 4.2 | 322M| 57 | - | 172 | 15 | 172 | 16 | 16 | 284k| 27k| 0.000000e+00 | 1.200000e+01 | Inf
1727.25/1727.79 c 1728s| 3630k|428488 | 15171k| 4.2 | 322M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 284k| 27k| 0.000000e+00 | 1.200000e+01 | Inf
1735.65/1736.19 c 1736s| 3640k|429107 | 15211k| 4.2 | 323M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 285k| 27k| 0.000000e+00 | 1.200000e+01 | Inf
1740.25/1740.76 c 1741s| 3650k|429499 | 15251k| 4.2 | 323M| 57 | 7 | 172 | 20 | 172 | 16 | 16 | 286k| 27k| 0.000000e+00 | 1.200000e+01 | Inf
1744.95/1745.42 c 1745s| 3660k|429882 | 15292k| 4.2 | 324M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 286k| 27k| 0.000000e+00 | 1.200000e+01 | Inf
1749.55/1750.05 c 1750s| 3670k|430376 | 15331k| 4.2 | 324M| 57 | - | 172 | 15 | 172 | 16 | 16 | 287k| 27k| 0.000000e+00 | 1.200000e+01 | Inf
1754.15/1754.61 c 1755s| 3680k|430591 | 15370k| 4.2 | 325M| 57 | - | 172 | 16 | 0 | 0 | 16 | 288k| 27k| 0.000000e+00 | 1.200000e+01 | Inf
1758.74/1759.23 c 1759s| 3690k|430804 | 15410k| 4.2 | 325M| 57 | - | 172 | 15 | 0 | 0 | 16 | 288k| 27k| 0.000000e+00 | 1.200000e+01 | Inf
1763.24/1763.79 c 1764s| 3700k|431399 | 15448k| 4.2 | 325M| 57 | 7 | 172 | 15 | 172 | 16 | 16 | 289k| 27k| 0.000000e+00 | 1.200000e+01 | Inf
1767.84/1768.34 c 1768s| 3710k|431592 | 15486k| 4.2 | 326M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 290k| 27k| 0.000000e+00 | 1.200000e+01 | Inf
1772.44/1772.94 c 1773s| 3720k|432181 | 15525k| 4.2 | 326M| 57 | 7 | 172 | 17 | 172 | 16 | 16 | 291k| 28k| 0.000000e+00 | 1.200000e+01 | Inf
1777.05/1777.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1777.05/1777.51 c 1777s| 3730k|432749 | 15563k| 4.2 | 327M| 57 | - | 172 | 15 | 172 | 16 | 16 | 292k| 28k| 0.000000e+00 | 1.200000e+01 | Inf
1781.55/1782.06 c 1782s| 3740k|432880 | 15601k| 4.2 | 327M| 57 | 7 | 172 | 18 | 172 | 16 | 16 | 292k| 28k| 0.000000e+00 | 1.200000e+01 | Inf
1786.03/1786.59 c 1787s| 3750k|432932 | 15640k| 4.2 | 328M| 57 | 7 | 172 | 16 | 172 | 16 | 16 | 293k| 28k| 0.000000e+00 | 1.200000e+01 | Inf
1789.54/1790.01 c
1789.54/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.54/1790.01 c Solving Time (sec) : 1790.00
1789.54/1790.01 c Solving Nodes : 3757688
1789.54/1790.01 c Primal Bound : +1.20000000000000e+01 (33 solutions)
1789.54/1790.01 c Dual Bound : +0.00000000000000e+00
1789.54/1790.01 c Gap : infinite
1789.54/1790.01 s SATISFIABLE
1789.54/1790.01 v x127 -x172 x171 x170 x169 -x168 x167 -x166 -x165 -x164 -x163 x162 -x161 x160 -x159 -x158 -x157 -x156 x155 -x154 -x153 x152 -x151
1789.54/1790.01 v x150 -x149 -x148 x147 -x146 x145 x144 -x143 -x142 x141 x140 x139 -x138 x137 x136 x135 x134 -x133 x132 -x131 x130 -x129 x128
1789.54/1790.01 v x126 x125 -x124 -x123 -x122 x121 x120 x119 -x118 x117 -x116 x115 -x114 x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105
1789.54/1790.01 v -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80
1789.54/1790.01 v -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 x58 -x57 -x56 -x55
1789.54/1790.01 v -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30
1789.54/1790.01 v -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 x9 -x8 -x7 -x6 -x5 -x4 -x3
1789.54/1790.01 v -x2 -x1
1789.54/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.54/1790.01 c Solving Time : 1790.00
1789.54/1790.01 c Original Problem :
1789.54/1790.01 c Problem name : HOME/instance-2703918-1278562501.opb
1789.54/1790.01 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.54/1790.01 c Constraints : 14 initial, 14 maximal
1789.54/1790.01 c Presolved Problem :
1789.54/1790.01 c Problem name : t_HOME/instance-2703918-1278562501.opb
1789.54/1790.01 c Variables : 172 (172 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.54/1790.01 c Constraints : 7 initial, 69 maximal
1789.54/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.54/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.54/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.54/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.54/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.54/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.54/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1789.54/1790.01 c linear : 0.00 0 0 0 0 0 7 0 0
1789.54/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.54/1790.01 c root node : - 56 - - 56 - - - -
1789.54/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.54/1790.01 c integral : 0 0 0 2152657 0 397 4194 0 0 4296344
1789.54/1790.01 c linear : 7+ 7 5783195 2 0 681737 4616912 0 0 0
1789.54/1790.01 c logicor : 0+ 0 1015106 0 0 4775 103607 0 0 0
1789.54/1790.01 c countsols : 0 0 0 17 1 0 0 0 0 0
1789.54/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.54/1790.01 c integral : 29.58 0.00 0.00 29.58 0.00
1789.54/1790.01 c linear : 456.58 0.00 456.58 0.00 0.00
1789.54/1790.01 c logicor : 2.40 0.00 2.40 0.00 0.00
1789.54/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.54/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.54/1790.01 c vbounds : 2.20 2 0 0
1789.54/1790.01 c rootredcost : 2.24 26 0 56
1789.54/1790.01 c pseudoobj : 48.76 5790033 7021 437159
1789.54/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.54/1790.01 c propagation : 48.47 690809 285293 329083 57.9 21 35.1 -
1789.54/1790.01 c infeasible LP : 0.82 9673 9242 12735 39.9 0 0.0 0
1789.54/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.54/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.54/1790.01 c pseudo solution : 0.00 1 1 1 3.0 0 0.0 -
1789.54/1790.01 c applied globally : - - - 4622 26.4 - - -
1789.54/1790.01 c applied locally : - - - 289392 57.5 - - -
1789.54/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.54/1790.01 c cut pool : 0.00 5 - - 12 - (maximal pool size: 67)
1789.54/1790.01 c redcost : 79.42 3094296 0 19223336 0 0
1789.54/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.54/1790.01 c intobj : 0.00 0 0 0 0 0
1789.54/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.54/1790.01 c gomory : 0.01 6 0 0 0 0
1789.54/1790.01 c strongcg : 0.01 6 0 0 19 0
1789.54/1790.01 c cmir : 0.03 6 0 0 24 0
1789.54/1790.01 c flowcover : 0.03 6 0 0 34 0
1789.54/1790.01 c clique : 0.00 1 0 0 0 0
1789.54/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.54/1790.01 c mcf : 0.00 1 0 0 0 0
1789.54/1790.01 c rapidlearning : 0.10 1 0 0 0 50
1789.54/1790.01 c Pricers : Time Calls Vars
1789.54/1790.01 c problem variables: 0.00 0 0
1789.54/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.54/1790.01 c relpscost : 27.37 2152640 397 4194 0 0 4296344
1789.54/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.54/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.54/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.54/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.54/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.54/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.54/1790.01 c random : 0.00 0 0 0 0 0 0
1789.54/1790.01 c Primal Heuristics : Time Calls Found
1789.54/1790.01 c LP solutions : 0.20 - 17
1789.54/1790.01 c pseudo solutions : 0.00 - 0
1789.54/1790.01 c oneopt : 1.47 26 0
1789.54/1790.01 c feaspump : 0.25 3 0
1789.54/1790.01 c rootsoldiving : 5.88 1137 6
1789.54/1790.01 c fracdiving : 13.58 4831 1
1789.54/1790.01 c linesearchdiving : 10.08 4831 0
1789.54/1790.01 c guideddiving : 11.00 4831 3
1789.54/1790.01 c coefdiving : 22.78 4832 0
1789.54/1790.01 c pscostdiving : 13.60 4832 2
1789.54/1790.01 c veclendiving : 9.41 4832 2
1789.54/1790.01 c objpscostdiving : 4.89 2417 0
1789.54/1790.01 c trivial : 0.00 2 0
1789.54/1790.01 c simplerounding : 1.34 0 0
1789.54/1790.01 c zirounding : 1.37 1000 0
1789.54/1790.01 c rounding : 2.79 22226 0
1789.54/1790.01 c shifting : 8.54 9772 1
1789.54/1790.01 c intshifting : 0.12 0 0
1789.54/1790.01 c twoopt : 0.00 0 0
1789.54/1790.01 c fixandinfer : 0.00 0 0
1789.54/1790.01 c intdiving : 0.00 0 0
1789.54/1790.01 c actconsdiving : 0.00 0 0
1789.54/1790.01 c octane : 0.00 0 0
1789.54/1790.01 c rens : 0.03 1 0
1789.54/1790.01 c rins : 0.00 0 0
1789.54/1790.01 c localbranching : 0.00 0 0
1789.54/1790.01 c mutation : 0.00 0 0
1789.54/1790.01 c crossover : 18.07 10 0
1789.54/1790.01 c dins : 0.00 0 0
1789.54/1790.01 c undercover : 0.00 0 0
1789.54/1790.01 c nlp : 1.21 0 0
1789.54/1790.01 c trysol : 2.03 0 0
1789.54/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.54/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.54/1790.01 c dual LP : 664.16 3464903 14809338 4.27 22297.73
1789.54/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.54/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.54/1790.01 c diving/probing LP: 44.63 356493 859810 2.41 19266.43
1789.54/1790.01 c strong branching : 6.78 28147 87706 3.12 12926.66
1789.54/1790.01 c (at root node) : - 9 299 33.22 -
1789.54/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.54/1790.01 c B&B Tree :
1789.54/1790.01 c number of runs : 1
1789.54/1790.01 c nodes : 3757688
1789.54/1790.01 c nodes (total) : 3757688
1789.54/1790.01 c nodes left : 433053
1789.54/1790.01 c max depth : 57
1789.54/1790.01 c max depth (total): 57
1789.54/1790.01 c backtracks : 787849 (21.0%)
1789.54/1790.01 c delayed cutoffs : 61242
1789.54/1790.01 c repropagations : 105180 (436629 domain reductions, 61196 cutoffs)
1789.54/1790.01 c avg switch length: 5.03
1789.54/1790.01 c switching time : 132.74
1789.54/1790.01 c Solution :
1789.54/1790.01 c Solutions found : 33 (26 improvements)
1789.54/1790.01 c First Solution : +1.40900000000000e+03 (in run 1, after 1 nodes, 0.13 seconds, depth 0, found by <trysol>)
1789.54/1790.01 c Primal Bound : +1.20000000000000e+01 (in run 1, after 3628920 nodes, 1727.25 seconds, depth 47, found by <relaxation>)
1789.54/1790.01 c Dual Bound : +0.00000000000000e+00
1789.54/1790.01 c Gap : infinite
1789.54/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.54/1790.01 c Root Iterations : 140
1791.13/1791.68 c Time complete: 1791.22.
OK 12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703918-1278562501/watcher-2703918-1278562501 -o /tmp/evaluation-result-2703918-1278562501/solver-2703918-1278562501 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703918-1278562501.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 0.99 0.93 3/106 31523 /proc/meminfo: memFree=1717028/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=7904 CPUtime=0 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 1251 0 0 0 0 0 0 0 20 0 1 0 24463875 8093696 1163 1992294400 4194304 8395647 140733431572608 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31523/statm: 1976 1172 365 1026 0 946 0 [startup+0.082248 s] /proc/loadavg: 1.00 0.99 0.93 3/106 31523 /proc/meminfo: memFree=1717028/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=22812 CPUtime=0.07 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 4917 0 0 0 6 1 0 0 22 0 1 0 24463875 23359488 4476 1992294400 4194304 8395647 140733431572608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 5703 4476 597 1026 0 4673 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 22812 [startup+0.10119 s] /proc/loadavg: 1.00 0.99 0.93 3/106 31523 /proc/meminfo: memFree=1717028/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=23032 CPUtime=0.09 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 4945 0 0 0 8 1 0 0 22 0 1 0 24463875 23584768 4504 1992294400 4194304 8395647 140733431572608 18446744073709551615 5031303 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 5758 4504 597 1026 0 4728 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 23032 [startup+0.30121 s] /proc/loadavg: 1.00 0.99 0.93 3/106 31523 /proc/meminfo: memFree=1717028/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=24316 CPUtime=0.3 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 5646 0 0 0 28 2 0 0 22 0 1 0 24463875 24899584 5205 1992294400 4194304 8395647 140733431572608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 6079 5205 621 1026 0 5049 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 24316 [startup+0.701251 s] /proc/loadavg: 1.00 0.99 0.93 3/106 31523 /proc/meminfo: memFree=1717028/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=24316 CPUtime=0.7 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 5646 0 0 0 66 4 0 0 23 0 1 0 24463875 24899584 5205 1992294400 4194304 8395647 140733431572608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 6079 5205 621 1026 0 5049 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 24316 [startup+1.50133 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31524 /proc/meminfo: memFree=1698420/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=24316 CPUtime=1.5 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 5651 0 0 0 142 8 0 0 25 0 1 0 24463875 24899584 5210 1992294400 4194304 8395647 140733431572608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 6079 5210 622 1026 0 5049 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 24316 [startup+3.1015 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31524 /proc/meminfo: memFree=1698172/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=24316 CPUtime=3.09 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 5659 0 0 0 295 14 0 0 25 0 1 0 24463875 24899584 5218 1992294400 4194304 8395647 140733431572608 18446744073709551615 4563605 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 6079 5218 622 1026 0 5049 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 24316 [startup+6.30083 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31524 /proc/meminfo: memFree=1697800/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=24316 CPUtime=6.29 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 5671 0 0 0 604 25 0 0 25 0 1 0 24463875 24899584 5230 1992294400 4194304 8395647 140733431572608 18446744073709551615 5614325 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 6079 5230 622 1026 0 5049 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24316 [startup+12.7005 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31524 /proc/meminfo: memFree=1696684/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=25340 CPUtime=12.68 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 5955 0 0 0 1215 53 0 0 25 0 1 0 24463875 25948160 5514 1992294400 4194304 8395647 140733431572608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 6335 5514 622 1026 0 5305 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 25340 [startup+25.5008 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31524 /proc/meminfo: memFree=1688624/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=33456 CPUtime=25.49 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 9737 0 0 0 2442 107 0 0 25 0 1 0 24463875 34258944 7598 1992294400 4194304 8395647 140733431572608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 8364 7598 622 1026 0 7334 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 33456 [startup+51.1014 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31525 /proc/meminfo: memFree=1674612/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=46396 CPUtime=51.07 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 29505 0 0 0 4898 209 0 0 25 0 1 0 24463875 47509504 10923 1992294400 4194304 8395647 140733431572608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 11599 10923 623 1026 0 10569 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 46396 [startup+102.309 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31526 /proc/meminfo: memFree=1652416/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=70992 CPUtime=102.27 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 42258 0 0 0 9805 422 0 0 25 0 1 0 24463875 72695808 16761 1992294400 4194304 8395647 140733431572608 18446744073709551615 5614433 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 17748 16761 623 1026 0 16718 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 70992 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31528 /proc/meminfo: memFree=1630840/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=91468 CPUtime=162.25 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 61689 0 0 0 15516 709 0 0 25 0 1 0 24463875 93663232 21945 1992294400 4194304 8395647 140733431572608 18446744073709551615 5027230 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 22867 21945 624 1026 0 21837 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 91468 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31532 /proc/meminfo: memFree=1609760/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=111412 CPUtime=222.24 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 67626 0 0 0 21280 944 0 0 25 0 1 0 24463875 114085888 27020 1992294400 4194304 8395647 140733431572608 18446744073709551615 5026582 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 27853 27020 624 1026 0 26823 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 111412 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31534 /proc/meminfo: memFree=1596864/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=123948 CPUtime=282.22 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 79957 0 0 0 27023 1199 0 0 25 0 1 0 24463875 126922752 30216 1992294400 4194304 8395647 140733431572608 18446744073709551615 5005929 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 30987 30216 624 1026 0 29957 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 123948 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31536 /proc/meminfo: memFree=1582604/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=138184 CPUtime=342.21 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 83579 0 0 0 32779 1442 0 0 25 0 1 0 24463875 141500416 33838 1992294400 4194304 8395647 140733431572608 18446744073709551615 5006749 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 34546 33838 624 1026 0 33516 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 138184 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31537 /proc/meminfo: memFree=1564872/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=155596 CPUtime=402.19 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 87993 0 0 0 38538 1681 0 0 25 0 1 0 24463875 159330304 38252 1992294400 4194304 8395647 140733431572608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 38899 38252 624 1026 0 37869 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 155596 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31539 /proc/meminfo: memFree=1547884/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=175760 CPUtime=462.18 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 92334 0 0 0 44294 1924 0 0 25 0 1 0 24463875 179978240 42593 1992294400 4194304 8395647 140733431572608 18446744073709551615 6119753 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 43940 42593 624 1026 0 42910 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 175760 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31540 /proc/meminfo: memFree=1533624/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=189416 CPUtime=522.16 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 95815 0 0 0 50051 2165 0 0 25 0 1 0 24463875 193961984 46074 1992294400 4194304 8395647 140733431572608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 47354 46074 624 1026 0 46324 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 189416 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31542 /proc/meminfo: memFree=1519984/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=202832 CPUtime=582.14 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 99228 0 0 0 55813 2401 0 0 25 0 1 0 24463875 207699968 49487 1992294400 4194304 8395647 140733431572608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 50708 49487 624 1026 0 49678 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 202832 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31544 /proc/meminfo: memFree=1496052/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=227480 CPUtime=642.13 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 109676 0 0 0 61557 2656 0 0 25 0 1 0 24463875 232939520 55416 1992294400 4194304 8395647 140733431572608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 56870 55416 624 1026 0 55840 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 227480 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1440996/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=279748 CPUtime=1062.02 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 126108 0 0 0 101917 4285 0 0 25 0 1 0 24463875 286461952 69032 1992294400 4194304 8395647 140733431572608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 69937 69032 624 1026 0 68907 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 279748 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31556 /proc/meminfo: memFree=1435044/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=285596 CPUtime=1122.01 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 127573 0 0 0 107698 4503 0 0 25 0 1 0 24463875 292450304 70497 1992294400 4194304 8395647 140733431572608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 71399 70497 624 1026 0 70369 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 285596 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31558 /proc/meminfo: memFree=1427480/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=292940 CPUtime=1181.99 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 129455 0 0 0 113461 4738 0 0 25 0 1 0 24463875 299970560 72379 1992294400 4194304 8395647 140733431572608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 73235 72379 624 1026 0 72205 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 292940 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31560 /proc/meminfo: memFree=1420536/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=299904 CPUtime=1241.97 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 131180 0 0 0 119232 4965 0 0 25 0 1 0 24463875 307101696 74104 1992294400 4194304 8395647 140733431572608 18446744073709551615 5005934 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 74976 74104 624 1026 0 73946 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 299904 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31561 /proc/meminfo: memFree=1413840/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=306048 CPUtime=1301.97 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 132767 0 0 0 125000 5197 0 0 25 0 1 0 24463875 313393152 75691 1992294400 4194304 8395647 140733431572608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 76512 75691 624 1026 0 75482 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 306048 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31563 /proc/meminfo: memFree=1407516/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=312536 CPUtime=1361.94 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 134369 0 0 0 130774 5420 0 0 25 0 1 0 24463875 320036864 77293 1992294400 4194304 8395647 140733431572608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 78134 77293 624 1026 0 77104 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 312536 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31564 /proc/meminfo: memFree=1394496/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=325344 CPUtime=1421.94 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 137608 0 0 0 136543 5651 0 0 25 0 1 0 24463875 333152256 80532 1992294400 4194304 8395647 140733431572608 18446744073709551615 5614290 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 81336 80532 624 1026 0 80306 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 325344 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31566 /proc/meminfo: memFree=1385568/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=334024 CPUtime=1481.91 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 139802 0 0 0 142313 5878 0 0 25 0 1 0 24463875 342040576 82726 1992294400 4194304 8395647 140733431572608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 83506 82726 624 1026 0 82476 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 334024 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31568 /proc/meminfo: memFree=1378996/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=340408 CPUtime=1541.9 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 141412 0 0 0 148085 6105 0 0 25 0 1 0 24463875 348577792 84336 1992294400 4194304 8395647 140733431572608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 85102 84336 624 1026 0 84072 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 340408 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31569 /proc/meminfo: memFree=1374284/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=344980 CPUtime=1601.88 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 142598 0 0 0 153859 6329 0 0 25 0 1 0 24463875 353259520 85522 1992294400 4194304 8395647 140733431572608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 86245 85522 624 1026 0 85215 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 344980 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31571 /proc/meminfo: memFree=1363868/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=355736 CPUtime=1661.87 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 145284 0 0 0 159637 6550 0 0 25 0 1 0 24463875 364273664 88208 1992294400 4194304 8395647 140733431572608 18446744073709551615 5027375 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 88934 88208 624 1026 0 87904 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 355736 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31572 /proc/meminfo: memFree=1358040/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=360764 CPUtime=1721.85 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 146598 0 0 0 165408 6777 0 0 25 0 1 0 24463875 369422336 89522 1992294400 4194304 8395647 140733431572608 18446744073709551615 4995169 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 90191 89522 624 1026 0 89161 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 360764 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31574 /proc/meminfo: memFree=1351468/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=367076 CPUtime=1781.84 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 156475 0 0 0 171149 7035 0 0 25 0 1 0 24463875 375885824 91076 1992294400 4194304 8395647 140733431572608 18446744073709551615 5026778 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 91769 91076 624 1026 0 90739 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 367076 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31574 /proc/meminfo: memFree=1351468/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=367076 CPUtime=1785.04 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 156475 0 0 0 171457 7047 0 0 25 0 1 0 24463875 375885824 91076 1992294400 4194304 8395647 140733431572608 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 91769 91076 624 1026 0 90739 0 Current children cumulated CPU time (s) 1785.04 Current children cumulated vsize (KiB) 367076 [startup+1788.7 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31574 /proc/meminfo: memFree=1351468/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=367076 CPUtime=1788.23 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 156475 0 0 0 171765 7058 0 0 25 0 1 0 24463875 375885824 91076 1992294400 4194304 8395647 140733431572608 18446744073709551615 5617951 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/31523/statm: 91769 91076 624 1026 0 90739 0 Current children cumulated CPU time (s) 1788.23 Current children cumulated vsize (KiB) 367076 [startup+1790.3 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31574 /proc/meminfo: memFree=1351468/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=367076 CPUtime=1789.83 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 156477 0 0 0 171920 7063 0 0 25 0 1 0 24463875 375885824 91078 1992294400 4194304 8395647 140733431572608 18446744073709551615 6345233 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31523/statm: 91769 91078 626 1026 0 90739 0 Current children cumulated CPU time (s) 1789.83 Current children cumulated vsize (KiB) 367076 [startup+1791.1 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31574 /proc/meminfo: memFree=1351468/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=367076 CPUtime=1790.63 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 156477 0 0 0 172000 7063 0 0 25 0 1 0 24463875 375885824 91078 1992294400 4194304 8395647 140733431572608 18446744073709551615 6345370 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31523/statm: 91769 91078 626 1026 0 90739 0 Current children cumulated CPU time (s) 1790.63 Current children cumulated vsize (KiB) 367076 [startup+1791.5 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31574 /proc/meminfo: memFree=1351468/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=367076 CPUtime=1791.03 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 156477 0 0 0 172040 7063 0 0 25 0 1 0 24463875 375885824 91078 1992294400 4194304 8395647 140733431572608 18446744073709551615 6345800 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31523/statm: 91769 91078 626 1026 0 90739 0 Current children cumulated CPU time (s) 1791.03 Current children cumulated vsize (KiB) 367076 [startup+1791.6 s] /proc/loadavg: 1.00 0.99 0.93 2/107 31574 /proc/meminfo: memFree=1351468/2059040 swapFree=4134944/4192956 [pid=31523] ppid=31521 vsize=367076 CPUtime=1791.13 /proc/31523/stat : 31523 (pbscip.linux.x8) R 31521 31523 31414 0 -1 4202496 156477 0 0 0 172050 7063 0 0 25 0 1 0 24463875 375885824 91078 1992294400 4194304 8395647 140733431572608 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31523/statm: 91769 91078 626 1026 0 90739 0 Current children cumulated CPU time (s) 1791.13 Current children cumulated vsize (KiB) 367076 Child status: 0 Real time (s): 1791.68 CPU time (s): 1791.23 CPU user time (s): 1720.55 CPU system time (s): 70.6733 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 373696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1720.55 system time used= 70.6733 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 156480 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= 1894 runsolver used 3.14452 second user time and 8.29174 second system time The end
Begin job on node002 at 2010-07-08 06:15:01 IDJOB=2703918 IDBENCH=2918 IDSOLVER=1213 FILE ID=node002/2703918-1278562501 PBS_JOBID= 11239536 Free space on /tmp= 62568 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_1.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703918-1278562501/watcher-2703918-1278562501 -o /tmp/evaluation-result-2703918-1278562501/solver-2703918-1278562501 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703918-1278562501.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7b9886d41278c23acb93039c546a310e RANDOM SEED=1682410927 node002.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 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.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1717432 kB Buffers: 83628 kB Cached: 175152 kB SwapCached: 11820 kB Active: 154956 kB Inactive: 117960 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1717432 kB SwapTotal: 4192956 kB SwapFree: 4134944 kB Dirty: 10464 kB Writeback: 0 kB AnonPages: 11316 kB Mapped: 8284 kB Slab: 46684 kB PageTables: 4240 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180508 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62556 MiB End job on node002 at 2010-07-08 06:44:53