0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2703530-1278562279.opb>
0.00/0.01 c original problem has 51 variables (51 bin, 0 int, 0 impl, 0 cont) and 13 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 1 del vars, 1 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (round 2) 1 del vars, 7 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (3 rounds):
0.00/0.02 c 1 deleted vars, 7 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 50 variables (50 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.02 c 6 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.3
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1790
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.02 c # [type: int, range: [1,2], default: 1]
0.00/0.02 c timing/clocktype = 2
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/indicator/addCouplingCons = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 34 | - | 273k| 0 | 6 | 50 | 6 | 50 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 112 | - | 302k| 0 | 9 | 50 | 7 | 50 | 11 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 121 | - | 334k| 0 | 13 | 50 | 7 | 50 | 17 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 134 | - | 361k| 0 | 12 | 50 | 7 | 50 | 21 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.15 c 0.1s| 1 | 0 | 139 | - | 379k| 0 | 16 | 50 | 7 | 50 | 24 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.2s| 1 | 0 | 159 | - | 394k| 0 | 13 | 50 | 7 | 50 | 27 | 21 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 c 0.2s| 1 | 0 | 166 | - | 408k| 0 | 15 | 50 | 7 | 50 | 29 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.21 c 0.2s| 1 | 2 | 166 | - | 409k| 0 | 15 | 50 | 7 | 50 | 29 | 23 | 0 | 9 | 0.000000e+00 | -- | Inf
3.99/4.02 c 4.0s| 10000 | 3126 | 23692 | 2.4 |3849k| 43 | - | 50 |2940 | 50 | 15 | 23 |4679 | 493 | 0.000000e+00 | -- | Inf
7.89/7.92 c 7.9s| 20000 | 5941 | 46544 | 2.3 |5831k| 43 | 6 | 50 |2409 | 50 | 15 | 23 |9658 | 654 | 0.000000e+00 | -- | Inf
11.68/11.74 c 11.7s| 30000 | 8948 | 69509 | 2.3 |8100k| 44 | 6 | 50 |2993 | 50 | 15 | 23 | 14k| 764 | 0.000000e+00 | -- | Inf
15.49/15.59 c 15.6s| 40000 | 11966 | 92742 | 2.3 | 10M| 44 | 6 | 50 |3228 | 50 | 15 | 23 | 19k| 865 | 0.000000e+00 | -- | Inf
19.58/19.64 c 19.6s| 50000 | 14862 |115998 | 2.3 | 12M| 44 | 6 | 50 |2853 | 50 | 15 | 23 | 24k| 976 | 0.000000e+00 | -- | Inf
23.48/23.57 c 23.6s| 60000 | 17711 |139078 | 2.3 | 14M| 44 | 6 | 50 |3303 | 50 | 15 | 23 | 29k|1060 | 0.000000e+00 | -- | Inf
27.39/27.47 c 27.5s| 70000 | 21156 |163036 | 2.3 | 16M| 44 | 6 | 50 |4077 | 50 | 15 | 23 | 33k|1125 | 0.000000e+00 | -- | Inf
31.68/31.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
31.68/31.74 c 31.7s| 80000 | 24011 |185521 | 2.3 | 18M| 44 | - | 50 |3610 | 50 | 15 | 23 | 38k|1178 | 0.000000e+00 | -- | Inf
35.68/35.79 c 35.8s| 90000 | 27168 |208188 | 2.3 | 20M| 44 | 6 | 50 |3839 | 50 | 15 | 23 | 43k|1238 | 0.000000e+00 | -- | Inf
40.08/40.10 c 40.1s|100000 | 29975 |230523 | 2.3 | 22M| 44 | 6 | 50 |3469 | 50 | 15 | 23 | 48k|1340 | 0.000000e+00 | -- | Inf
44.08/44.18 c 44.2s|110000 | 33043 |252707 | 2.3 | 25M| 44 | 6 | 50 |4129 | 50 | 15 | 23 | 52k|1378 | 0.000000e+00 | -- | Inf
48.39/48.47 c 48.5s|120000 | 35995 |275254 | 2.3 | 27M| 44 | 6 | 50 |3959 | 50 | 15 | 23 | 57k|1441 | 0.000000e+00 | -- | Inf
52.68/52.80 c 52.8s|130000 | 38762 |296874 | 2.3 | 29M| 44 | - | 50 |3834 | 50 | 15 | 23 | 62k|1476 | 0.000000e+00 | -- | Inf
56.97/57.03 c 57.0s|140000 | 41807 |319249 | 2.3 | 31M| 44 | 6 | 50 |4630 | 50 | 15 | 23 | 67k|1520 | 0.000000e+00 | -- | Inf
61.48/61.56 c 61.5s|150000 | 44730 |342194 | 2.3 | 33M| 44 | - | 50 |4138 | 50 | 15 | 23 | 72k|1552 | 0.000000e+00 | -- | Inf
65.88/65.91 c 65.9s|160000 | 47525 |364518 | 2.3 | 35M| 44 | - | 50 |4467 | 0 | 0 | 23 | 77k|1591 | 0.000000e+00 | -- | Inf
70.38/70.48 c 70.5s|170000 | 50382 |387100 | 2.3 | 37M| 44 | 6 | 50 |4321 | 50 | 15 | 23 | 82k|1642 | 0.000000e+00 | -- | Inf
74.97/75.09 c 75.1s|180000 | 53014 |409396 | 2.3 | 39M| 44 | 6 | 50 |4742 | 50 | 15 | 23 | 87k|1679 | 0.000000e+00 | -- | Inf
79.47/79.57 c 79.6s|190000 | 56061 |432622 | 2.3 | 41M| 44 | 6 | 50 |5575 | 50 | 15 | 23 | 92k|1710 | 0.000000e+00 | -- | Inf
84.47/84.55 c 84.5s|200000 | 58986 |455761 | 2.3 | 43M| 44 | 6 | 50 |5342 | 50 | 15 | 23 | 97k|1784 | 0.000000e+00 | -- | Inf
89.56/89.64 c 89.6s|210000 | 61615 |477656 | 2.3 | 45M| 44 | 6 | 50 |4678 | 50 | 15 | 23 | 102k|1810 | 0.000000e+00 | -- | Inf
94.67/94.74 c 94.7s|220000 | 64133 |500054 | 2.3 | 47M| 44 | 6 | 50 |4281 | 50 | 15 | 23 | 107k|1848 | 0.000000e+00 | -- | Inf
99.16/99.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
99.16/99.28 c 99.3s|230000 | 67206 |522203 | 2.3 | 49M| 44 | 6 | 50 |4794 | 50 | 15 | 23 | 112k|1882 | 0.000000e+00 | -- | Inf
104.06/104.13 c 104s|240000 | 69737 |544693 | 2.3 | 51M| 45 | 6 | 50 |5426 | 50 | 15 | 23 | 117k|1915 | 0.000000e+00 | -- | Inf
109.06/109.18 c 109s|250000 | 72214 |566786 | 2.3 | 53M| 45 | 6 | 50 |4580 | 50 | 15 | 23 | 122k|1944 | 0.000000e+00 | -- | Inf
113.76/113.89 c 114s|260000 | 74873 |588695 | 2.3 | 55M| 45 | 6 | 50 |4802 | 50 | 15 | 23 | 127k|1985 | 0.000000e+00 | -- | Inf
118.56/118.69 c 119s|270000 | 77513 |610712 | 2.3 | 57M| 45 | 6 | 50 |5202 | 50 | 15 | 23 | 132k|2008 | 0.000000e+00 | -- | Inf
123.36/123.40 c 123s|280000 | 80283 |633716 | 2.3 | 59M| 45 | 6 | 50 |5931 | 50 | 15 | 23 | 137k|2028 | 0.000000e+00 | -- | Inf
128.85/128.92 c 129s|290000 | 82756 |656102 | 2.3 | 61M| 45 | 6 | 50 |4981 | 50 | 15 | 23 | 142k|2060 | 0.000000e+00 | -- | Inf
133.96/134.01 c 134s|300000 | 85348 |677773 | 2.3 | 63M| 45 | 6 | 50 |4746 | 50 | 15 | 23 | 147k|2091 | 0.000000e+00 | -- | Inf
138.56/138.64 c 139s|310000 | 88012 |699663 | 2.3 | 65M| 45 | - | 50 |5405 | 50 | 15 | 23 | 152k|2125 | 0.000000e+00 | -- | Inf
143.65/143.74 c 144s|320000 | 90675 |721985 | 2.3 | 67M| 45 | 6 | 50 |5246 | 50 | 15 | 23 | 157k|2155 | 0.000000e+00 | -- | Inf
148.55/148.63 c 149s|330000 | 93295 |744690 | 2.3 | 69M| 45 | - | 50 |5599 | 50 | 15 | 23 | 163k|2194 | 0.000000e+00 | -- | Inf
153.96/154.04 c 154s|340000 | 95770 |767009 | 2.3 | 71M| 45 | 6 | 50 |4961 | 50 | 15 | 23 | 168k|2226 | 0.000000e+00 | -- | Inf
159.05/159.15 c 159s|350000 | 98403 |789156 | 2.3 | 73M| 45 | - | 50 |5091 | 50 | 15 | 23 | 173k|2248 | 0.000000e+00 | -- | Inf
163.65/163.71 c 164s|360000 |101399 |810965 | 2.3 | 75M| 45 | 6 | 50 |5870 | 50 | 15 | 23 | 178k|2278 | 0.000000e+00 | -- | Inf
168.75/168.87 c 169s|370000 |104024 |833386 | 2.3 | 77M| 45 | 6 | 50 |5458 | 50 | 15 | 23 | 183k|2304 | 0.000000e+00 | -- | Inf
173.44/173.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
173.44/173.55 c 174s|380000 |106983 |855231 | 2.3 | 79M| 45 | 6 | 50 |5733 | 50 | 15 | 23 | 188k|2339 | 0.000000e+00 | -- | Inf
178.44/178.53 c 179s|390000 |109927 |877712 | 2.3 | 81M| 45 | - | 50 |5517 | 0 | 0 | 23 | 193k|2363 | 0.000000e+00 | -- | Inf
183.74/183.82 c 184s|400000 |112524 |899886 | 2.2 | 83M| 45 | - | 50 |4760 | 50 | 15 | 23 | 198k|2385 | 0.000000e+00 | -- | Inf
188.85/188.99 c 189s|410000 |114909 |922101 | 2.2 | 85M| 45 | 6 | 50 |5031 | 50 | 15 | 23 | 203k|2407 | 0.000000e+00 | -- | Inf
193.74/193.87 c 194s|420000 |117518 |943907 | 2.2 | 87M| 45 | 6 | 50 |5366 | 50 | 15 | 23 | 208k|2434 | 0.000000e+00 | -- | Inf
198.74/198.89 c 199s|430000 |120096 |965643 | 2.2 | 89M| 45 | 6 | 50 |5658 | 50 | 15 | 23 | 213k|2462 | 0.000000e+00 | -- | Inf
203.84/203.95 c 204s|440000 |122543 |987354 | 2.2 | 91M| 45 | - | 50 |5496 | 50 | 15 | 23 | 218k|2493 | 0.000000e+00 | -- | Inf
209.04/209.16 c 209s|450000 |125036 | 1009k| 2.2 | 93M| 45 | - | 50 |5292 | 50 | 15 | 23 | 223k|2527 | 0.000000e+00 | -- | Inf
214.34/214.43 c 214s|460000 |127632 | 1031k| 2.2 | 95M| 45 | - | 50 |5162 | 50 | 15 | 23 | 228k|2550 | 0.000000e+00 | -- | Inf
219.33/219.46 c 219s|470000 |130266 | 1054k| 2.2 | 96M| 45 | 6 | 50 |5101 | 50 | 15 | 23 | 233k|2572 | 0.000000e+00 | -- | Inf
224.53/224.66 c 225s|480000 |132711 | 1075k| 2.2 | 98M| 45 | 6 | 50 |5259 | 50 | 15 | 23 | 238k|2590 | 0.000000e+00 | -- | Inf
229.63/229.72 c 230s|490000 |135183 | 1097k| 2.2 | 100M| 45 | - | 50 |5128 | 50 | 15 | 23 | 244k|2609 | 0.000000e+00 | -- | Inf
234.83/234.92 c 235s|500000 |137825 | 1119k| 2.2 | 102M| 45 | 6 | 50 |5411 | 50 | 15 | 23 | 249k|2634 | 0.000000e+00 | -- | Inf
239.83/239.95 c 240s|510000 |140356 | 1140k| 2.2 | 104M| 45 | 6 | 50 |5584 | 50 | 15 | 23 | 254k|2647 | 0.000000e+00 | -- | Inf
244.83/244.99 c 245s|520000 |142932 | 1162k| 2.2 | 106M| 45 | 6 | 50 |6436 | 50 | 15 | 23 | 259k|2662 | 0.000000e+00 | -- | Inf
250.64/250.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
250.64/250.78 c 251s|530000 |145366 | 1185k| 2.2 | 108M| 45 | 6 | 50 |6013 | 50 | 15 | 23 | 264k|2679 | 0.000000e+00 | -- | Inf
256.33/256.43 c 256s|540000 |147889 | 1206k| 2.2 | 110M| 45 | - | 50 |5867 | 50 | 15 | 23 | 269k|2702 | 0.000000e+00 | -- | Inf
261.63/261.70 c 262s|550000 |150613 | 1228k| 2.2 | 112M| 45 | 6 | 50 |5969 | 50 | 15 | 23 | 274k|2716 | 0.000000e+00 | -- | Inf
267.13/267.20 c 267s|560000 |153210 | 1250k| 2.2 | 114M| 45 | 6 | 50 |6041 | 50 | 15 | 23 | 279k|2724 | 0.000000e+00 | -- | Inf
272.42/272.50 c 272s|570000 |155930 | 1272k| 2.2 | 116M| 45 | 6 | 50 |5903 | 50 | 15 | 23 | 284k|2740 | 0.000000e+00 | -- | Inf
277.72/277.89 c 278s|580000 |158508 | 1294k| 2.2 | 118M| 45 | - | 50 |5956 | 50 | 15 | 23 | 289k|2757 | 0.000000e+00 | -- | Inf
283.42/283.55 c 284s|590000 |160701 | 1315k| 2.2 | 120M| 45 | 6 | 50 |5989 | 50 | 15 | 23 | 294k|2772 | 0.000000e+00 | -- | Inf
289.32/289.45 c 289s|600000 |162908 | 1337k| 2.2 | 122M| 45 | 6 | 50 |5569 | 50 | 15 | 23 | 300k|2791 | 0.000000e+00 | -- | Inf
295.02/295.10 c 295s|610000 |165191 | 1359k| 2.2 | 124M| 45 | - | 50 |5436 | 50 | 15 | 23 | 305k|2809 | 0.000000e+00 | -- | Inf
300.22/300.36 c 300s|620000 |167780 | 1381k| 2.2 | 125M| 45 | 6 | 50 |5435 | 50 | 15 | 23 | 310k|2825 | 0.000000e+00 | -- | Inf
305.81/305.94 c 306s|630000 |170010 | 1402k| 2.2 | 127M| 45 | 6 | 50 |5337 | 50 | 15 | 23 | 315k|2849 | 0.000000e+00 | -- | Inf
311.41/311.55 c 312s|640000 |172303 | 1424k| 2.2 | 129M| 45 | 6 | 50 |5995 | 50 | 15 | 23 | 321k|2861 | 0.000000e+00 | -- | Inf
316.21/316.32 c 316s|650000 |175464 | 1446k| 2.2 | 132M| 45 | 6 | 50 |7276 | 50 | 15 | 23 | 325k|2883 | 0.000000e+00 | -- | Inf
321.71/321.83 c 322s|660000 |178202 | 1469k| 2.2 | 134M| 45 | 6 | 50 |6924 | 50 | 15 | 23 | 330k|2904 | 0.000000e+00 | -- | Inf
327.21/327.36 c 327s|670000 |180925 | 1491k| 2.2 | 135M| 45 | 6 | 50 |6205 | 50 | 15 | 23 | 336k|2922 | 0.000000e+00 | -- | Inf
333.11/333.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
333.11/333.21 c 333s|680000 |183299 | 1514k| 2.2 | 137M| 45 | 6 | 50 |6200 | 50 | 15 | 23 | 341k|2937 | 0.000000e+00 | -- | Inf
338.91/339.02 c 339s|690000 |185849 | 1536k| 2.2 | 139M| 45 | 6 | 50 |6600 | 50 | 15 | 23 | 346k|2958 | 0.000000e+00 | -- | Inf
344.70/344.80 c 345s|700000 |188329 | 1557k| 2.2 | 141M| 45 | 6 | 50 |6365 | 50 | 15 | 23 | 351k|2977 | 0.000000e+00 | -- | Inf
350.60/350.74 c 351s|710000 |190888 | 1579k| 2.2 | 143M| 45 | 6 | 50 |6477 | 50 | 15 | 23 | 356k|2990 | 0.000000e+00 | -- | Inf
355.40/355.57 c 356s|720000 |194054 | 1601k| 2.2 | 146M| 45 | - | 50 |7734 | 50 | 15 | 23 | 361k|3004 | 0.000000e+00 | -- | Inf
361.89/362.08 c 362s|730000 |196373 | 1623k| 2.2 | 147M| 45 | 6 | 50 |6220 | 50 | 15 | 23 | 366k|3017 | 0.000000e+00 | -- | Inf
368.00/368.16 c 368s|740000 |198651 | 1645k| 2.2 | 149M| 45 | 6 | 50 |6511 | 50 | 15 | 23 | 371k|3037 | 0.000000e+00 | -- | Inf
373.70/373.81 c 374s|750000 |201550 | 1667k| 2.2 | 151M| 45 | 6 | 50 |6296 | 50 | 15 | 23 | 376k|3054 | 0.000000e+00 | -- | Inf
378.60/378.76 c 379s|760000 |204770 | 1691k| 2.2 | 154M| 45 | 6 | 50 |7665 | 50 | 15 | 23 | 381k|3068 | 0.000000e+00 | -- | Inf
384.69/384.87 c 385s|770000 |207364 | 1713k| 2.2 | 155M| 45 | 6 | 50 |6848 | 50 | 15 | 23 | 386k|3074 | 0.000000e+00 | -- | Inf
390.09/390.24 c 390s|780000 |210043 | 1735k| 2.2 | 158M| 45 | - | 50 |7335 | 0 | 0 | 23 | 391k|3093 | 0.000000e+00 | -- | Inf
395.59/395.79 c 396s|790000 |212866 | 1758k| 2.2 | 159M| 45 | - | 50 |6895 | 50 | 15 | 23 | 396k|3107 | 0.000000e+00 | -- | Inf
401.39/401.54 c 402s|800000 |215522 | 1780k| 2.2 | 161M| 45 | 6 | 50 |6753 | 50 | 15 | 23 | 401k|3115 | 0.000000e+00 | -- | Inf
406.68/406.88 c 407s|810000 |218484 | 1803k| 2.2 | 164M| 45 | 6 | 50 |7840 | 50 | 15 | 23 | 406k|3123 | 0.000000e+00 | -- | Inf
412.39/412.54 c 413s|820000 |221565 | 1826k| 2.2 | 166M| 45 | 6 | 50 |8382 | 50 | 15 | 23 | 411k|3132 | 0.000000e+00 | -- | Inf
419.18/419.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
419.18/419.36 c 419s|830000 |223873 | 1849k| 2.2 | 167M| 45 | - | 50 |6257 | 50 | 15 | 23 | 416k|3140 | 0.000000e+00 | -- | Inf
424.88/425.06 c 425s|840000 |226395 | 1871k| 2.2 | 169M| 45 | 6 | 50 |6024 | 50 | 15 | 23 | 421k|3148 | 0.000000e+00 | -- | Inf
430.38/430.55 c 431s|850000 |229213 | 1893k| 2.2 | 171M| 45 | - | 50 |6561 | 50 | 15 | 23 | 426k|3156 | 0.000000e+00 | -- | Inf
436.18/436.36 c 436s|860000 |231732 | 1915k| 2.2 | 173M| 45 | 6 | 50 |6544 | 50 | 15 | 23 | 431k|3166 | 0.000000e+00 | -- | Inf
442.18/442.39 c 442s|870000 |234091 | 1937k| 2.2 | 175M| 45 | - | 50 |6029 | 50 | 15 | 23 | 436k|3172 | 0.000000e+00 | -- | Inf
448.17/448.31 c 448s|880000 |236463 | 1959k| 2.2 | 177M| 45 | 6 | 50 |6101 | 50 | 15 | 23 | 442k|3178 | 0.000000e+00 | -- | Inf
453.08/453.29 c 453s|890000 |239700 | 1981k| 2.2 | 179M| 45 | 6 | 50 |5969 | 50 | 15 | 23 | 446k|3184 | 0.000000e+00 | -- | Inf
457.97/458.10 c 458s|900000 |243049 | 2004k| 2.2 | 181M| 45 | 6 | 50 |6639 | 50 | 15 | 23 | 450k|3196 | 0.000000e+00 | -- | Inf
463.37/463.55 c 464s|910000 |245811 | 2027k| 2.2 | 183M| 45 | 6 | 50 |6920 | 50 | 15 | 23 | 455k|3211 | 0.000000e+00 | -- | Inf
469.58/469.72 c 470s|920000 |248297 | 2049k| 2.2 | 185M| 45 | 6 | 50 |6056 | 50 | 15 | 23 | 460k|3226 | 0.000000e+00 | -- | Inf
475.66/475.82 c 476s|930000 |250555 | 2071k| 2.2 | 187M| 45 | - | 50 |6286 | 50 | 15 | 23 | 465k|3237 | 0.000000e+00 | -- | Inf
481.67/481.82 c 482s|940000 |253174 | 2093k| 2.2 | 189M| 45 | 6 | 50 |6848 | 50 | 15 | 23 | 471k|3256 | 0.000000e+00 | -- | Inf
488.07/488.26 c 488s|950000 |255354 | 2116k| 2.2 | 191M| 45 | - | 50 |6059 | 50 | 15 | 23 | 476k|3272 | 0.000000e+00 | -- | Inf
493.46/493.60 c 494s|960000 |258344 | 2138k| 2.2 | 193M| 45 | - | 50 |6425 | 0 | 0 | 23 | 481k|3288 | 0.000000e+00 | -- | Inf
499.17/499.40 c 499s|970000 |261084 | 2161k| 2.2 | 195M| 45 | 6 | 50 |7304 | 50 | 15 | 23 | 486k|3296 | 0.000000e+00 | -- | Inf
505.77/505.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
505.77/505.98 c 506s|980000 |263478 | 2183k| 2.2 | 197M| 45 | - | 50 |7666 | 50 | 15 | 23 | 491k|3314 | 0.000000e+00 | -- | Inf
512.06/512.23 c 512s|990000 |266054 | 2206k| 2.2 | 199M| 45 | 6 | 50 |6331 | 50 | 15 | 23 | 496k|3328 | 0.000000e+00 | -- | Inf
518.16/518.37 c 518s| 1000k|268461 | 2227k| 2.2 | 201M| 45 | - | 50 |6126 | 0 | 0 | 23 | 501k|3339 | 0.000000e+00 | -- | Inf
523.46/523.62 c 524s| 1010k|271147 | 2249k| 2.2 | 203M| 45 | 6 | 50 |7188 | 50 | 15 | 23 | 506k|3352 | 0.000000e+00 | -- | Inf
529.76/529.96 c 530s| 1020k|273496 | 2270k| 2.2 | 204M| 45 | 6 | 50 |6386 | 50 | 15 | 23 | 512k|3367 | 0.000000e+00 | -- | Inf
535.65/535.83 c 536s| 1030k|276187 | 2292k| 2.2 | 206M| 45 | 6 | 50 |6746 | 50 | 15 | 23 | 517k|3380 | 0.000000e+00 | -- | Inf
541.35/541.56 c 542s| 1040k|279044 | 2314k| 2.2 | 208M| 45 | 6 | 50 |6353 | 50 | 15 | 23 | 521k|3395 | 0.000000e+00 | -- | Inf
547.35/547.59 c 548s| 1050k|281533 | 2336k| 2.2 | 210M| 45 | 6 | 50 |6658 | 50 | 15 | 23 | 526k|3403 | 0.000000e+00 | -- | Inf
552.64/552.87 c 553s| 1060k|284519 | 2358k| 2.2 | 213M| 45 | - | 50 |7286 | 0 | 0 | 23 | 531k|3415 | 0.000000e+00 | -- | Inf
559.34/559.55 c 560s| 1070k|286874 | 2380k| 2.2 | 214M| 45 | 6 | 50 |6704 | 50 | 15 | 23 | 536k|3424 | 0.000000e+00 | -- | Inf
565.25/565.42 c 565s| 1080k|289573 | 2402k| 2.2 | 216M| 45 | 6 | 50 |6451 | 50 | 15 | 23 | 542k|3438 | 0.000000e+00 | -- | Inf
571.34/571.59 c 572s| 1090k|292274 | 2424k| 2.2 | 218M| 45 | - | 50 |6381 | 50 | 15 | 23 | 547k|3450 | 0.000000e+00 | -- | Inf
577.25/577.48 c 577s| 1100k|294844 | 2446k| 2.2 | 220M| 45 | 6 | 50 |6354 | 50 | 15 | 23 | 552k|3466 | 0.000000e+00 | -- | Inf
582.94/583.17 c 583s| 1110k|297578 | 2468k| 2.2 | 222M| 45 | 6 | 50 |6952 | 50 | 15 | 23 | 557k|3476 | 0.000000e+00 | -- | Inf
588.64/588.89 c 589s| 1120k|300299 | 2489k| 2.2 | 224M| 45 | - | 50 |6915 | 50 | 15 | 23 | 561k|3486 | 0.000000e+00 | -- | Inf
594.73/594.98 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
594.73/594.98 c 595s| 1130k|302880 | 2511k| 2.2 | 226M| 45 | 6 | 50 |6304 | 50 | 15 | 23 | 567k|3502 | 0.000000e+00 | -- | Inf
600.73/600.98 c 601s| 1140k|305180 | 2533k| 2.2 | 228M| 45 | - | 50 |6038 | 50 | 15 | 23 | 572k|3514 | 0.000000e+00 | -- | Inf
606.63/606.84 c 607s| 1150k|307520 | 2555k| 2.2 | 230M| 45 | 6 | 50 |5699 | 50 | 15 | 23 | 577k|3529 | 0.000000e+00 | -- | Inf
612.64/612.82 c 613s| 1160k|309913 | 2577k| 2.2 | 231M| 45 | 6 | 50 |6142 | 50 | 15 | 23 | 582k|3538 | 0.000000e+00 | -- | Inf
618.83/619.04 c 619s| 1170k|312329 | 2599k| 2.2 | 233M| 45 | 6 | 50 |5791 | 50 | 15 | 23 | 587k|3552 | 0.000000e+00 | -- | Inf
625.13/625.30 c 625s| 1180k|314636 | 2621k| 2.2 | 235M| 45 | - | 50 |6234 | 50 | 15 | 23 | 593k|3562 | 0.000000e+00 | -- | Inf
630.82/631.07 c 631s| 1190k|317182 | 2643k| 2.2 | 237M| 45 | - | 50 |6785 | 50 | 15 | 23 | 598k|3580 | 0.000000e+00 | -- | Inf
636.63/636.87 c 637s| 1200k|319633 | 2665k| 2.2 | 239M| 45 | - | 50 |7689 | 50 | 15 | 23 | 603k|3590 | 0.000000e+00 | -- | Inf
642.33/642.50 c 642s| 1210k|322596 | 2688k| 2.2 | 242M| 45 | 6 | 50 |8961 | 50 | 15 | 23 | 608k|3602 | 0.000000e+00 | -- | Inf
649.62/649.87 c 650s| 1220k|324966 | 2710k| 2.2 | 243M| 45 | 6 | 50 |7275 | 50 | 15 | 23 | 613k|3612 | 0.000000e+00 | -- | Inf
656.12/656.31 c 656s| 1230k|327335 | 2732k| 2.2 | 245M| 45 | 6 | 50 |7010 | 50 | 15 | 23 | 618k|3622 | 0.000000e+00 | -- | Inf
662.72/662.92 c 663s| 1240k|329617 | 2754k| 2.2 | 247M| 45 | - | 50 |7303 | 50 | 15 | 23 | 624k|3628 | 0.000000e+00 | -- | Inf
669.01/669.25 c 669s| 1250k|331973 | 2776k| 2.2 | 249M| 45 | 6 | 50 |7075 | 50 | 15 | 23 | 629k|3634 | 0.000000e+00 | -- | Inf
674.82/675.02 c 675s| 1260k|334692 | 2798k| 2.2 | 251M| 45 | 6 | 50 |8110 | 50 | 15 | 23 | 634k|3643 | 0.000000e+00 | -- | Inf
681.61/681.88 c 682s| 1270k|337071 | 2821k| 2.2 | 253M| 45 | - | 50 |7136 | 50 | 15 | 23 | 639k|3655 | 0.000000e+00 | -- | Inf
687.61/687.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
687.61/687.82 c 688s| 1280k|339639 | 2842k| 2.2 | 255M| 45 | - | 50 |7504 | 50 | 15 | 23 | 644k|3674 | 0.000000e+00 | -- | Inf
693.30/693.57 c 694s| 1290k|342199 | 2864k| 2.2 | 257M| 45 | 6 | 50 |7636 | 50 | 15 | 23 | 649k|3681 | 0.000000e+00 | -- | Inf
700.30/700.54 c 701s| 1300k|344643 | 2887k| 2.2 | 258M| 45 | - | 50 |7066 | 0 | 0 | 23 | 654k|3691 | 0.000000e+00 | -- | Inf
706.91/707.15 c 707s| 1310k|346924 | 2908k| 2.2 | 260M| 45 | - | 50 |6238 | 50 | 15 | 23 | 660k|3699 | 0.000000e+00 | -- | Inf
712.61/712.85 c 713s| 1320k|349568 | 2929k| 2.2 | 262M| 45 | 6 | 50 |6695 | 50 | 15 | 23 | 665k|3703 | 0.000000e+00 | -- | Inf
718.40/718.64 c 719s| 1330k|352464 | 2951k| 2.2 | 264M| 45 | - | 50 |7483 | 50 | 15 | 23 | 669k|3725 | 0.000000e+00 | -- | Inf
725.00/725.22 c 725s| 1340k|354766 | 2973k| 2.2 | 266M| 45 | 6 | 50 |7306 | 50 | 15 | 23 | 675k|3735 | 0.000000e+00 | -- | Inf
731.70/731.95 c 732s| 1350k|357136 | 2995k| 2.2 | 268M| 45 | 6 | 50 |6393 | 50 | 15 | 23 | 680k|3747 | 0.000000e+00 | -- | Inf
738.09/738.34 c 738s| 1360k|359608 | 3016k| 2.2 | 270M| 45 | - | 50 |6414 | 50 | 15 | 23 | 685k|3755 | 0.000000e+00 | -- | Inf
743.89/744.19 c 744s| 1370k|362199 | 3038k| 2.2 | 272M| 45 | 6 | 50 |7112 | 50 | 15 | 23 | 690k|3761 | 0.000000e+00 | -- | Inf
749.79/750.06 c 750s| 1380k|364723 | 3061k| 2.2 | 274M| 45 | 6 | 50 |7981 | 50 | 15 | 23 | 695k|3765 | 0.000000e+00 | -- | Inf
754.79/755.01 c 755s| 1390k|368330 | 3084k| 2.2 | 277M| 45 | 6 | 50 |9619 | 50 | 15 | 23 | 700k|3771 | 0.000000e+00 | -- | Inf
761.40/761.69 c 762s| 1400k|371071 | 3105k| 2.2 | 278M| 45 | 6 | 50 |8621 | 50 | 15 | 23 | 705k|3782 | 0.000000e+00 | -- | Inf
768.19/768.50 c 768s| 1410k|373369 | 3127k| 2.2 | 280M| 45 | - | 50 |7530 | 50 | 15 | 23 | 710k|3792 | 0.000000e+00 | -- | Inf
774.20/774.47 c 774s| 1420k|375972 | 3148k| 2.2 | 282M| 45 | 6 | 50 |7468 | 50 | 15 | 23 | 715k|3800 | 0.000000e+00 | -- | Inf
780.39/780.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
780.39/780.63 c 781s| 1430k|378771 | 3169k| 2.2 | 284M| 45 | 6 | 50 |6914 | 50 | 15 | 23 | 720k|3804 | 0.000000e+00 | -- | Inf
787.48/787.71 c 788s| 1440k|380967 | 3191k| 2.2 | 286M| 45 | 6 | 50 |6617 | 50 | 15 | 23 | 725k|3816 | 0.000000e+00 | -- | Inf
793.49/793.74 c 794s| 1450k|383348 | 3213k| 2.2 | 287M| 45 | 6 | 50 |6407 | 50 | 15 | 23 | 730k|3824 | 0.000000e+00 | -- | Inf
799.98/800.23 c 800s| 1460k|385637 | 3236k| 2.2 | 289M| 45 | 6 | 50 |6602 | 50 | 15 | 23 | 736k|3828 | 0.000000e+00 | -- | Inf
806.58/806.89 c 807s| 1470k|387991 | 3258k| 2.2 | 291M| 45 | 6 | 50 |6273 | 50 | 15 | 23 | 741k|3833 | 0.000000e+00 | -- | Inf
811.98/812.21 c 812s| 1480k|390956 | 3280k| 2.2 | 293M| 45 | 6 | 50 |7370 | 50 | 15 | 23 | 746k|3837 | 0.000000e+00 | -- | Inf
817.47/817.72 c 818s| 1490k|393775 | 3304k| 2.2 | 296M| 45 | 6 | 50 |8881 | 50 | 15 | 23 | 751k|3842 | 0.000000e+00 | -- | Inf
824.58/824.83 c 825s| 1500k|396186 | 3326k| 2.2 | 297M| 45 | 6 | 50 |6443 | 50 | 15 | 23 | 756k|3848 | 0.000000e+00 | -- | Inf
830.97/831.24 c 831s| 1510k|398597 | 3348k| 2.2 | 299M| 45 | 6 | 50 |6554 | 50 | 15 | 23 | 761k|3856 | 0.000000e+00 | -- | Inf
837.37/837.63 c 838s| 1520k|401018 | 3370k| 2.2 | 301M| 45 | - | 50 |7123 | 50 | 15 | 23 | 766k|3863 | 0.000000e+00 | -- | Inf
844.07/844.37 c 844s| 1530k|403364 | 3391k| 2.2 | 303M| 45 | - | 50 |6116 | 50 | 15 | 23 | 771k|3868 | 0.000000e+00 | -- | Inf
849.47/849.70 c 850s| 1540k|406257 | 3413k| 2.2 | 305M| 45 | 6 | 50 |6877 | 50 | 15 | 23 | 776k|3878 | 0.000000e+00 | -- | Inf
855.47/855.76 c 856s| 1550k|408721 | 3434k| 2.2 | 307M| 45 | - | 50 |6303 | 50 | 15 | 23 | 781k|3888 | 0.000000e+00 | -- | Inf
862.36/862.69 c 863s| 1560k|410950 | 3457k| 2.2 | 308M| 45 | - | 50 |6615 | 50 | 15 | 23 | 787k|3895 | 0.000000e+00 | -- | Inf
869.56/869.86 c 870s| 1570k|413046 | 3479k| 2.2 | 310M| 45 | 6 | 50 |6467 | 50 | 15 | 23 | 792k|3900 | 0.000000e+00 | -- | Inf
875.27/875.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
875.27/875.60 c 876s| 1580k|415817 | 3501k| 2.2 | 313M| 45 | 6 | 50 |7623 | 50 | 15 | 23 | 797k|3909 | 0.000000e+00 | -- | Inf
881.36/881.63 c 882s| 1590k|418455 | 3523k| 2.2 | 315M| 45 | 6 | 50 |8046 | 50 | 15 | 23 | 802k|3919 | 0.000000e+00 | -- | Inf
887.56/887.88 c 888s| 1600k|421010 | 3546k| 2.2 | 316M| 45 | 6 | 50 |7632 | 50 | 15 | 23 | 807k|3925 | 0.000000e+00 | -- | Inf
894.55/894.80 c 895s| 1610k|423349 | 3568k| 2.2 | 318M| 45 | 6 | 50 |7144 | 50 | 15 | 23 | 813k|3931 | 0.000000e+00 | -- | Inf
901.16/901.41 c 901s| 1620k|425656 | 3589k| 2.2 | 320M| 45 | - | 50 |6822 | 50 | 15 | 23 | 818k|3939 | 0.000000e+00 | -- | Inf
908.26/908.57 c 909s| 1630k|427810 | 3611k| 2.2 | 322M| 45 | 6 | 50 |6542 | 50 | 15 | 23 | 823k|3945 | 0.000000e+00 | -- | Inf
914.86/915.17 c 915s| 1640k|430050 | 3633k| 2.2 | 324M| 45 | - | 50 |6528 | 50 | 15 | 23 | 829k|3958 | 0.000000e+00 | -- | Inf
920.55/920.82 c 921s| 1650k|432788 | 3655k| 2.2 | 326M| 45 | 6 | 50 |6799 | 50 | 15 | 23 | 834k|3970 | 0.000000e+00 | -- | Inf
926.75/927.09 c 927s| 1660k|435020 | 3677k| 2.2 | 328M| 45 | 6 | 50 |7498 | 50 | 15 | 23 | 839k|3985 | 0.000000e+00 | -- | Inf
933.56/933.84 c 934s| 1670k|437501 | 3699k| 2.2 | 329M| 45 | 6 | 50 |6978 | 50 | 15 | 23 | 844k|3996 | 0.000000e+00 | -- | Inf
939.65/939.97 c 940s| 1680k|440070 | 3722k| 2.2 | 331M| 45 | 6 | 50 |7864 | 50 | 15 | 23 | 849k|4013 | 0.000000e+00 | -- | Inf
946.44/946.77 c 947s| 1690k|442374 | 3743k| 2.2 | 333M| 45 | 6 | 50 |7658 | 50 | 15 | 23 | 854k|4023 | 0.000000e+00 | -- | Inf
953.04/953.35 c 953s| 1700k|444880 | 3766k| 2.2 | 335M| 45 | 6 | 50 |7867 | 50 | 15 | 23 | 859k|4031 | 0.000000e+00 | -- | Inf
960.24/960.52 c 961s| 1710k|447156 | 3788k| 2.2 | 337M| 45 | 6 | 50 |7624 | 50 | 15 | 23 | 865k|4044 | 0.000000e+00 | -- | Inf
966.93/967.20 c 967s| 1720k|449471 | 3810k| 2.2 | 339M| 45 | - | 50 |7740 | 50 | 15 | 23 | 870k|4050 | 0.000000e+00 | -- | Inf
973.63/973.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
973.63/973.92 c 974s| 1730k|452037 | 3832k| 2.2 | 341M| 45 | - | 50 |7746 | 50 | 15 | 23 | 875k|4056 | 0.000000e+00 | -- | Inf
980.94/981.23 c 981s| 1740k|454194 | 3855k| 2.2 | 343M| 45 | 6 | 50 |7682 | 50 | 15 | 23 | 881k|4070 | 0.000000e+00 | -- | Inf
988.73/989.01 c 989s| 1750k|456397 | 3877k| 2.2 | 344M| 45 | 6 | 50 |7197 | 50 | 15 | 23 | 886k|4080 | 0.000000e+00 | -- | Inf
995.53/995.86 c 996s| 1760k|458684 | 3899k| 2.2 | 346M| 45 | 6 | 50 |6953 | 50 | 15 | 23 | 891k|4093 | 0.000000e+00 | -- | Inf
1001.92/1002.29 c 1002s| 1770k|461257 | 3920k| 2.2 | 348M| 45 | 6 | 50 |7375 | 50 | 15 | 23 | 896k|4099 | 0.000000e+00 | -- | Inf
1008.92/1009.22 c 1009s| 1780k|463660 | 3942k| 2.2 | 350M| 45 | - | 50 |6937 | 50 | 15 | 23 | 902k|4107 | 0.000000e+00 | -- | Inf
1015.62/1015.94 c 1016s| 1790k|466020 | 3964k| 2.2 | 352M| 45 | 6 | 50 |7219 | 50 | 15 | 23 | 907k|4116 | 0.000000e+00 | -- | Inf
1021.02/1021.36 c 1021s| 1800k|468963 | 3987k| 2.2 | 354M| 45 | 6 | 50 |7555 | 50 | 15 | 23 | 912k|4126 | 0.000000e+00 | -- | Inf
1027.73/1028.02 c 1028s| 1810k|471327 | 4008k| 2.2 | 356M| 45 | - | 50 |7248 | 50 | 15 | 23 | 917k|4128 | 0.000000e+00 | -- | Inf
1034.32/1034.60 c 1035s| 1820k|473880 | 4031k| 2.2 | 358M| 45 | - | 50 |7189 | 0 | 0 | 23 | 922k|4140 | 0.000000e+00 | -- | Inf
1040.62/1040.99 c 1041s| 1830k|476147 | 4052k| 2.2 | 360M| 45 | 6 | 50 |7258 | 50 | 15 | 23 | 927k|4149 | 0.000000e+00 | -- | Inf
1046.32/1046.68 c 1047s| 1840k|479332 | 4075k| 2.2 | 362M| 45 | 6 | 50 |7600 | 50 | 15 | 23 | 932k|4159 | 0.000000e+00 | -- | Inf
1051.91/1052.25 c 1052s| 1850k|482252 | 4097k| 2.2 | 364M| 45 | 6 | 50 |8514 | 50 | 15 | 23 | 937k|4174 | 0.000000e+00 | -- | Inf
1057.92/1058.25 c 1058s| 1860k|484996 | 4119k| 2.2 | 366M| 45 | - | 50 |9356 | 0 | 0 | 23 | 941k|4188 | 0.000000e+00 | -- | Inf
1065.21/1065.51 c 1066s| 1870k|487350 | 4141k| 2.2 | 368M| 45 | 6 | 50 |8699 | 50 | 15 | 23 | 947k|4194 | 0.000000e+00 | -- | Inf
1073.50/1073.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1073.50/1073.80 c 1074s| 1880k|489441 | 4164k| 2.2 | 369M| 45 | 6 | 50 |7433 | 50 | 15 | 23 | 952k|4201 | 0.000000e+00 | -- | Inf
1080.71/1081.03 c 1081s| 1890k|491712 | 4186k| 2.2 | 371M| 45 | 6 | 50 |7137 | 50 | 15 | 23 | 957k|4213 | 0.000000e+00 | -- | Inf
1087.40/1087.78 c 1088s| 1900k|494004 | 4207k| 2.2 | 373M| 45 | - | 50 |7219 | 0 | 0 | 23 | 963k|4218 | 0.000000e+00 | -- | Inf
1093.20/1093.54 c 1094s| 1910k|496425 | 4229k| 2.2 | 375M| 45 | 6 | 50 |7946 | 50 | 15 | 23 | 968k|4226 | 0.000000e+00 | -- | Inf
1099.50/1099.85 c 1100s| 1920k|498806 | 4250k| 2.2 | 377M| 45 | - | 50 |7644 | 50 | 15 | 23 | 973k|4234 | 0.000000e+00 | -- | Inf
1106.90/1107.26 c 1107s| 1930k|500969 | 4272k| 2.2 | 379M| 45 | - | 50 |6657 | 50 | 15 | 23 | 978k|4245 | 0.000000e+00 | -- | Inf
1113.70/1114.08 c 1114s| 1940k|503207 | 4294k| 2.2 | 380M| 45 | 6 | 50 |6781 | 50 | 15 | 23 | 983k|4261 | 0.000000e+00 | -- | Inf
1120.30/1120.65 c 1121s| 1950k|505415 | 4316k| 2.2 | 382M| 45 | - | 50 |7453 | 50 | 15 | 23 | 989k|4269 | 0.000000e+00 | -- | Inf
1126.70/1127.01 c 1127s| 1960k|507961 | 4338k| 2.2 | 384M| 45 | - | 50 |7798 | 50 | 15 | 23 | 994k|4278 | 0.000000e+00 | -- | Inf
1132.29/1132.64 c 1133s| 1970k|511387 | 4360k| 2.2 | 387M| 45 | - | 50 |7759 | 50 | 15 | 23 | 998k|4287 | 0.000000e+00 | -- | Inf
1137.69/1138.04 c 1138s| 1980k|514671 | 4383k| 2.2 | 389M| 45 | 6 | 50 |9017 | 50 | 15 | 23 |1003k|4302 | 0.000000e+00 | -- | Inf
1143.60/1143.96 c 1144s| 1990k|517856 | 4404k| 2.2 | 391M| 45 | 6 | 50 |9306 | 50 | 15 | 23 |1007k|4313 | 0.000000e+00 | -- | Inf
1149.99/1150.32 c 1150s| 2000k|520782 | 4426k| 2.2 | 393M| 45 | 6 | 50 |9098 | 50 | 15 | 23 |1012k|4323 | 0.000000e+00 | -- | Inf
1157.90/1158.23 c 1158s| 2010k|523023 | 4448k| 2.2 | 394M| 45 | 6 | 50 |7355 | 50 | 15 | 23 |1017k|4335 | 0.000000e+00 | -- | Inf
1164.99/1165.31 c 1165s| 2020k|525345 | 4470k| 2.2 | 396M| 45 | 6 | 50 |6383 | 50 | 15 | 23 |1023k|4345 | 0.000000e+00 | -- | Inf
1171.58/1171.90 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1171.58/1171.90 c 1172s| 2030k|527851 | 4492k| 2.2 | 398M| 45 | 6 | 50 |6766 | 50 | 15 | 23 |1028k|4353 | 0.000000e+00 | -- | Inf
1177.69/1178.08 c 1178s| 2040k|530345 | 4514k| 2.2 | 400M| 45 | 6 | 50 |7800 | 50 | 15 | 23 |1033k|4356 | 0.000000e+00 | -- | Inf
1184.48/1184.82 c 1185s| 2050k|532894 | 4535k| 2.2 | 402M| 45 | 6 | 50 |7181 | 50 | 15 | 23 |1038k|4365 | 0.000000e+00 | -- | Inf
1191.67/1192.01 c 1192s| 2060k|535167 | 4558k| 2.2 | 404M| 45 | 6 | 50 |6703 | 50 | 15 | 23 |1043k|4369 | 0.000000e+00 | -- | Inf
1197.88/1198.29 c 1198s| 2070k|537698 | 4579k| 2.2 | 406M| 45 | 6 | 50 |7520 | 50 | 15 | 23 |1048k|4373 | 0.000000e+00 | -- | Inf
1204.58/1204.94 c 1205s| 2080k|540196 | 4601k| 2.2 | 408M| 45 | 6 | 50 |7234 | 50 | 15 | 23 |1053k|4379 | 0.000000e+00 | -- | Inf
1210.48/1210.85 c 1211s| 2090k|542554 | 4623k| 2.2 | 410M| 45 | - | 50 |7920 | 0 | 0 | 23 |1058k|4385 | 0.000000e+00 | -- | Inf
1216.87/1217.27 c 1217s| 2100k|544997 | 4645k| 2.2 | 412M| 45 | 6 | 50 |8093 | 50 | 15 | 23 |1064k|4398 | 0.000000e+00 | -- | Inf
1223.88/1224.24 c 1224s| 2110k|547283 | 4667k| 2.2 | 414M| 45 | 6 | 50 |8202 | 50 | 15 | 23 |1069k|4409 | 0.000000e+00 | -- | Inf
1230.17/1230.58 c 1231s| 2120k|550450 | 4689k| 2.2 | 416M| 45 | - | 50 |7646 | 50 | 15 | 23 |1074k|4424 | 0.000000e+00 | -- | Inf
1235.37/1235.74 c 1236s| 2130k|553730 | 4710k| 2.2 | 418M| 45 | 6 | 50 |9157 | 50 | 15 | 23 |1078k|4435 | 0.000000e+00 | -- | Inf
1241.37/1241.71 c 1242s| 2140k|556633 | 4732k| 2.2 | 420M| 45 | 6 | 50 |9476 | 50 | 15 | 23 |1082k|4443 | 0.000000e+00 | -- | Inf
1248.67/1249.07 c 1249s| 2150k|559173 | 4754k| 2.2 | 422M| 45 | - | 50 |8295 | 50 | 15 | 23 |1087k|4455 | 0.000000e+00 | -- | Inf
1255.66/1256.05 c 1256s| 2160k|561408 | 4777k| 2.2 | 424M| 45 | 6 | 50 |8269 | 50 | 15 | 23 |1093k|4465 | 0.000000e+00 | -- | Inf
1262.56/1262.97 c 1263s| 2170k|563772 | 4799k| 2.2 | 426M| 45 | 6 | 50 |8275 | 50 | 15 | 23 |1098k|4476 | 0.000000e+00 | -- | Inf
1270.07/1270.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1270.07/1270.47 c 1270s| 2180k|566252 | 4821k| 2.2 | 427M| 45 | 6 | 50 |7423 | 50 | 15 | 23 |1103k|4487 | 0.000000e+00 | -- | Inf
1277.05/1277.44 c 1277s| 2190k|568715 | 4843k| 2.2 | 429M| 45 | 6 | 50 |7504 | 50 | 15 | 23 |1108k|4491 | 0.000000e+00 | -- | Inf
1283.56/1283.96 c 1284s| 2200k|571190 | 4864k| 2.2 | 431M| 45 | 6 | 50 |8321 | 50 | 15 | 23 |1113k|4498 | 0.000000e+00 | -- | Inf
1290.75/1291.19 c 1291s| 2210k|573668 | 4886k| 2.2 | 433M| 45 | 6 | 50 |7336 | 50 | 15 | 23 |1118k|4506 | 0.000000e+00 | -- | Inf
1297.25/1297.64 c 1298s| 2220k|576288 | 4907k| 2.2 | 435M| 45 | 6 | 50 |6862 | 50 | 15 | 23 |1123k|4515 | 0.000000e+00 | -- | Inf
1303.65/1304.00 c 1304s| 2230k|578596 | 4929k| 2.2 | 437M| 45 | 6 | 50 |7931 | 50 | 15 | 23 |1129k|4521 | 0.000000e+00 | -- | Inf
1310.45/1310.81 c 1311s| 2240k|581067 | 4951k| 2.2 | 439M| 45 | - | 50 |7867 | 50 | 15 | 23 |1134k|4532 | 0.000000e+00 | -- | Inf
1317.25/1317.63 c 1318s| 2250k|583399 | 4973k| 2.2 | 441M| 45 | - | 50 |7814 | 50 | 15 | 23 |1139k|4542 | 0.000000e+00 | -- | Inf
1324.64/1325.06 c 1325s| 2260k|585758 | 4995k| 2.2 | 442M| 45 | - | 50 |7085 | 50 | 15 | 23 |1144k|4554 | 0.000000e+00 | -- | Inf
1332.04/1332.46 c 1332s| 2270k|588036 | 5017k| 2.2 | 444M| 45 | 6 | 50 |6318 | 50 | 15 | 23 |1149k|4565 | 0.000000e+00 | -- | Inf
1338.14/1338.52 c 1339s| 2280k|590260 | 5039k| 2.2 | 446M| 45 | 6 | 50 |8001 | 50 | 15 | 23 |1155k|4571 | 0.000000e+00 | -- | Inf
1345.64/1346.01 c 1346s| 2290k|592506 | 5061k| 2.2 | 448M| 45 | - | 50 |7320 | 50 | 15 | 23 |1160k|4581 | 0.000000e+00 | -- | Inf
1352.14/1352.52 c 1353s| 2300k|594934 | 5083k| 2.2 | 450M| 45 | 6 | 50 |7696 | 50 | 15 | 23 |1165k|4587 | 0.000000e+00 | -- | Inf
1358.83/1359.24 c 1359s| 2310k|597272 | 5104k| 2.2 | 452M| 45 | - | 50 |7371 | 50 | 15 | 23 |1171k|4596 | 0.000000e+00 | -- | Inf
1366.03/1366.41 c 1366s| 2320k|599712 | 5126k| 2.2 | 453M| 45 | - | 50 |7089 | 50 | 15 | 23 |1176k|4607 | 0.000000e+00 | -- | Inf
1373.23/1373.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1373.23/1373.66 c 1374s| 2330k|601815 | 5148k| 2.2 | 455M| 45 | 6 | 50 |6206 | 50 | 15 | 23 |1181k|4618 | 0.000000e+00 | -- | Inf
1379.53/1379.93 c 1380s| 2340k|604182 | 5170k| 2.2 | 457M| 45 | 6 | 50 |7310 | 50 | 15 | 23 |1186k|4625 | 0.000000e+00 | -- | Inf
1386.23/1386.62 c 1387s| 2350k|606503 | 5192k| 2.2 | 459M| 45 | 6 | 50 |7614 | 50 | 15 | 23 |1192k|4630 | 0.000000e+00 | -- | Inf
1393.53/1393.91 c 1394s| 2360k|608739 | 5214k| 2.2 | 461M| 45 | - | 50 |7587 | 50 | 15 | 23 |1197k|4647 | 0.000000e+00 | -- | Inf
1400.93/1401.34 c 1401s| 2370k|610920 | 5236k| 2.2 | 463M| 45 | 6 | 50 |7603 | 50 | 15 | 23 |1202k|4657 | 0.000000e+00 | -- | Inf
1407.22/1407.67 c 1408s| 2380k|613662 | 5258k| 2.2 | 465M| 45 | 6 | 50 |8133 | 50 | 15 | 23 |1207k|4663 | 0.000000e+00 | -- | Inf
1414.42/1414.80 c 1415s| 2390k|616013 | 5279k| 2.2 | 467M| 45 | 6 | 50 |7670 | 50 | 15 | 23 |1212k|4672 | 0.000000e+00 | -- | Inf
1421.41/1421.80 c 1422s| 2400k|618159 | 5302k| 2.2 | 469M| 45 | 6 | 50 |8099 | 50 | 15 | 23 |1218k|4682 | 0.000000e+00 | -- | Inf
1429.02/1429.41 c 1429s| 2410k|620190 | 5324k| 2.2 | 470M| 45 | 6 | 50 |7557 | 50 | 15 | 23 |1223k|4691 | 0.000000e+00 | -- | Inf
1436.51/1436.97 c 1437s| 2420k|622321 | 5345k| 2.2 | 472M| 45 | 6 | 50 |6635 | 50 | 15 | 23 |1228k|4697 | 0.000000e+00 | -- | Inf
1443.31/1443.79 c 1444s| 2430k|624503 | 5367k| 2.2 | 474M| 45 | - | 50 |7633 | 50 | 15 | 23 |1234k|4709 | 0.000000e+00 | -- | Inf
1449.61/1450.08 c 1450s| 2440k|626926 | 5389k| 2.2 | 476M| 45 | - | 50 |8515 | 50 | 15 | 23 |1239k|4715 | 0.000000e+00 | -- | Inf
1457.02/1457.45 c 1457s| 2450k|629032 | 5411k| 2.2 | 478M| 45 | 6 | 50 |8430 | 50 | 15 | 23 |1244k|4722 | 0.000000e+00 | -- | Inf
1464.61/1465.02 c 1465s| 2460k|631277 | 5433k| 2.2 | 480M| 45 | 6 | 50 |8330 | 50 | 15 | 23 |1250k|4725 | 0.000000e+00 | -- | Inf
1472.90/1473.39 c 1473s| 2470k|633387 | 5454k| 2.2 | 481M| 45 | 6 | 50 |7253 | 50 | 15 | 23 |1255k|4730 | 0.000000e+00 | -- | Inf
1480.30/1480.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1480.30/1480.74 c 1481s| 2480k|635566 | 5476k| 2.2 | 483M| 45 | 6 | 50 |7090 | 50 | 15 | 23 |1261k|4741 | 0.000000e+00 | -- | Inf
1486.50/1486.99 c 1487s| 2490k|637919 | 5498k| 2.2 | 485M| 45 | 6 | 50 |7923 | 50 | 15 | 23 |1266k|4750 | 0.000000e+00 | -- | Inf
1494.51/1494.96 c 1495s| 2500k|640029 | 5520k| 2.2 | 486M| 45 | 6 | 50 |6581 | 50 | 15 | 23 |1271k|4756 | 0.000000e+00 | -- | Inf
1501.39/1501.83 c 1502s| 2510k|642227 | 5542k| 2.2 | 488M| 45 | 6 | 50 |6329 | 50 | 15 | 23 |1277k|4762 | 0.000000e+00 | -- | Inf
1507.39/1507.88 c 1508s| 2520k|644772 | 5564k| 2.2 | 490M| 45 | 6 | 50 |7547 | 50 | 15 | 23 |1282k|4772 | 0.000000e+00 | -- | Inf
1514.99/1515.46 c 1515s| 2530k|647010 | 5586k| 2.2 | 492M| 45 | 6 | 50 |6721 | 50 | 15 | 23 |1287k|4782 | 0.000000e+00 | -- | Inf
1521.50/1521.91 c 1522s| 2540k|649457 | 5607k| 2.2 | 494M| 45 | 6 | 50 |7787 | 50 | 15 | 23 |1292k|4793 | 0.000000e+00 | -- | Inf
1528.29/1528.70 c 1529s| 2550k|651901 | 5629k| 2.2 | 496M| 45 | - | 50 |7859 | 0 | 0 | 23 |1297k|4800 | 0.000000e+00 | -- | Inf
1535.29/1535.72 c 1536s| 2560k|654311 | 5651k| 2.2 | 498M| 45 | - | 50 |7661 | 50 | 15 | 23 |1302k|4807 | 0.000000e+00 | -- | Inf
1541.89/1542.34 c 1542s| 2570k|656678 | 5672k| 2.2 | 500M| 45 | 6 | 50 |7678 | 50 | 15 | 23 |1308k|4818 | 0.000000e+00 | -- | Inf
1548.49/1548.91 c 1549s| 2580k|658877 | 5694k| 2.2 | 502M| 45 | 6 | 50 |9061 | 50 | 15 | 23 |1313k|4823 | 0.000000e+00 | -- | Inf
1555.58/1556.02 c 1556s| 2590k|661269 | 5716k| 2.2 | 504M| 45 | - | 50 |8305 | 50 | 15 | 23 |1318k|4832 | 0.000000e+00 | -- | Inf
1562.88/1563.37 c 1563s| 2600k|663473 | 5738k| 2.2 | 505M| 45 | - | 50 |7769 | 50 | 15 | 23 |1323k|4841 | 0.000000e+00 | -- | Inf
1570.18/1570.61 c 1571s| 2610k|665776 | 5760k| 2.2 | 507M| 45 | - | 50 |7502 | 50 | 15 | 23 |1329k|4847 | 0.000000e+00 | -- | Inf
1575.68/1576.13 c 1576s| 2620k|668837 | 5783k| 2.2 | 509M| 45 | 6 | 50 |8978 | 50 | 15 | 23 |1333k|4854 | 0.000000e+00 | -- | Inf
1582.67/1583.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1582.67/1583.11 c 1583s| 2630k|670988 | 5805k| 2.2 | 511M| 45 | 6 | 50 |9345 | 50 | 15 | 23 |1339k|4866 | 0.000000e+00 | -- | Inf
1588.67/1589.14 c 1589s| 2640k|673927 | 5826k| 2.2 | 514M| 45 | 6 | 50 | 10k| 50 | 15 | 23 |1343k|4876 | 0.000000e+00 | -- | Inf
1595.97/1596.49 c 1596s| 2650k|676179 | 5848k| 2.2 | 516M| 45 | - | 50 | 10k| 0 | 0 | 23 |1349k|4885 | 0.000000e+00 | -- | Inf
1604.97/1605.49 c 1605s| 2660k|678347 | 5870k| 2.2 | 517M| 45 | - | 50 |8372 | 50 | 15 | 23 |1354k|4893 | 0.000000e+00 | -- | Inf
1611.57/1612.04 c 1612s| 2670k|680842 | 5891k| 2.2 | 519M| 45 | 6 | 50 |8660 | 50 | 15 | 23 |1359k|4901 | 0.000000e+00 | -- | Inf
1618.17/1618.69 c 1619s| 2680k|683239 | 5913k| 2.2 | 521M| 45 | - | 50 |8850 | 0 | 0 | 23 |1364k|4907 | 0.000000e+00 | -- | Inf
1625.27/1625.70 c 1626s| 2690k|685647 | 5935k| 2.2 | 523M| 45 | 6 | 50 |8941 | 50 | 15 | 23 |1370k|4914 | 0.000000e+00 | -- | Inf
1632.56/1633.01 c 1633s| 2700k|688244 | 5957k| 2.2 | 524M| 45 | - | 50 |8362 | 50 | 15 | 23 |1375k|4923 | 0.000000e+00 | -- | Inf
1639.86/1640.31 c 1640s| 2710k|690546 | 5978k| 2.2 | 526M| 45 | 6 | 50 |8371 | 50 | 15 | 23 |1380k|4931 | 0.000000e+00 | -- | Inf
1647.46/1647.94 c 1648s| 2720k|692789 | 6000k| 2.2 | 528M| 45 | 6 | 50 |8287 | 50 | 15 | 23 |1385k|4942 | 0.000000e+00 | -- | Inf
1654.26/1654.73 c 1655s| 2730k|695224 | 6022k| 2.2 | 530M| 45 | - | 50 |8764 | 50 | 15 | 23 |1390k|4953 | 0.000000e+00 | -- | Inf
1660.66/1661.17 c 1661s| 2740k|698026 | 6045k| 2.2 | 532M| 45 | - | 50 |8961 | 50 | 15 | 23 |1395k|4959 | 0.000000e+00 | -- | Inf
1667.06/1667.53 c 1668s| 2750k|700817 | 6067k| 2.2 | 535M| 45 | 6 | 50 | 10k| 50 | 15 | 23 |1400k|4969 | 0.000000e+00 | -- | Inf
1674.55/1675.00 c 1675s| 2760k|703257 | 6089k| 2.2 | 536M| 45 | - | 50 | 10k| 0 | 0 | 23 |1405k|4981 | 0.000000e+00 | -- | Inf
1683.05/1683.52 c 1684s| 2770k|705530 | 6111k| 2.2 | 538M| 45 | - | 50 |9107 | 50 | 15 | 23 |1410k|4987 | 0.000000e+00 | -- | Inf
1689.45/1689.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1689.45/1689.94 c 1690s| 2780k|708238 | 6134k| 2.2 | 540M| 45 | 6 | 50 |9994 | 50 | 15 | 23 |1415k|4995 | 0.000000e+00 | -- | Inf
1698.04/1698.56 c 1699s| 2790k|710520 | 6155k| 2.2 | 542M| 45 | - | 50 |8638 | 50 | 15 | 23 |1421k|5001 | 0.000000e+00 | -- | Inf
1706.34/1706.85 c 1707s| 2800k|712748 | 6177k| 2.2 | 543M| 45 | 6 | 50 |8112 | 50 | 15 | 23 |1426k|5012 | 0.000000e+00 | -- | Inf
1713.54/1714.03 c 1714s| 2810k|715204 | 6199k| 2.2 | 545M| 45 | - | 50 |8140 | 0 | 0 | 23 |1431k|5024 | 0.000000e+00 | -- | Inf
1722.05/1722.54 c 1723s| 2820k|717049 | 6220k| 2.2 | 547M| 45 | 6 | 50 |7352 | 50 | 15 | 23 |1437k|5031 | 0.000000e+00 | -- | Inf
1728.93/1729.49 c 1729s| 2830k|719385 | 6242k| 2.2 | 549M| 45 | 6 | 50 |7720 | 50 | 15 | 23 |1442k|5035 | 0.000000e+00 | -- | Inf
1735.54/1736.05 c 1736s| 2840k|722067 | 6264k| 2.2 | 551M| 45 | 6 | 50 |7640 | 50 | 15 | 23 |1447k|5048 | 0.000000e+00 | -- | Inf
1741.84/1742.32 c 1742s| 2850k|724866 | 6285k| 2.2 | 553M| 45 | 6 | 50 |8103 | 50 | 15 | 23 |1451k|5053 | 0.000000e+00 | -- | Inf
1747.03/1747.56 c 1748s| 2860k|728558 | 6307k| 2.2 | 555M| 45 | 6 | 50 |9616 | 50 | 15 | 23 |1455k|5057 | 0.000000e+00 | -- | Inf
1753.23/1753.78 c 1754s| 2870k|731856 | 6328k| 2.2 | 557M| 45 | 6 | 50 |9960 | 50 | 15 | 23 |1460k|5062 | 0.000000e+00 | -- | Inf
1760.23/1760.70 c 1761s| 2880k|734753 | 6350k| 2.2 | 559M| 45 | - | 50 | 10k| 50 | 15 | 23 |1464k|5066 | 0.000000e+00 | -- | Inf
1767.33/1767.84 c 1768s| 2890k|737666 | 6371k| 2.2 | 561M| 45 | 6 | 50 | 10k| 50 | 15 | 23 |1468k|5075 | 0.000000e+00 | -- | Inf
1774.94/1775.49 c 1775s| 2900k|739885 | 6393k| 2.2 | 563M| 45 | 6 | 50 |8706 | 50 | 15 | 23 |1474k|5080 | 0.000000e+00 | -- | Inf
1783.02/1783.59 c 1784s| 2910k|742098 | 6414k| 2.2 | 565M| 45 | 6 | 50 |8070 | 50 | 15 | 23 |1479k|5090 | 0.000000e+00 | -- | Inf
1789.52/1790.01 c
1789.52/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.52/1790.01 c Solving Time (sec) : 1790.00
1789.52/1790.01 c Solving Nodes : 2918341
1789.52/1790.01 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.52/1790.01 c Dual Bound : +0.00000000000000e+00
1789.52/1790.01 c Gap : infinite
1789.52/1790.01 s UNKNOWN
1789.52/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.52/1790.01 c Solving Time : 1790.00
1789.52/1790.01 c Original Problem :
1789.52/1790.01 c Problem name : HOME/instance-2703530-1278562279.opb
1789.52/1790.01 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.52/1790.01 c Constraints : 13 initial, 13 maximal
1789.52/1790.01 c Presolved Problem :
1789.52/1790.01 c Problem name : t_HOME/instance-2703530-1278562279.opb
1789.52/1790.01 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.52/1790.01 c Constraints : 6 initial, 11185 maximal
1789.52/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.52/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.01 c dualfix : 0.00 1 0 0 0 0 0 0 0
1789.52/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1789.52/1790.01 c linear : 0.00 0 0 0 0 0 7 0 0
1789.52/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.52/1790.01 c root node : - 0 - - 0 - - - -
1789.52/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.52/1790.01 c integral : 0 0 0 1863079 0 601 2180 0 0 3720866
1789.52/1790.01 c linear : 6+ 7 6414886 0 1 263335 3331345 0 0 0
1789.52/1790.01 c logicor : 0+ 0 2767132 0 0 3959 970824 0 0 0
1789.52/1790.01 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.52/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.52/1790.01 c integral : 21.61 0.00 0.00 21.61 0.00
1789.52/1790.01 c linear : 256.36 0.00 256.36 0.00 0.00
1789.52/1790.01 c logicor : 501.60 0.00 501.60 0.00 0.00
1789.52/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.52/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.52/1790.01 c vbounds : 2.30 2 0 0
1789.52/1790.01 c rootredcost : 2.41 0 0 0
1789.52/1790.01 c pseudoobj : 1.97 0 0 0
1789.52/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.52/1790.01 c propagation : 22.90 267294 227340 762369 36.4 15 32.9 -
1789.52/1790.01 c infeasible LP : 51.89 844585 844562 1542884 23.8 8119 28.6 0
1789.52/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.52/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.52/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.52/1790.01 c applied globally : - - - 1208597 21.0 - - -
1789.52/1790.01 c applied locally : - - - 275188 34.5 - - -
1789.52/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.52/1790.01 c cut pool : 0.00 5 - - 21 - (maximal pool size: 96)
1789.52/1790.01 c redcost : 4.20 1863076 0 0 0 0
1789.52/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.52/1790.01 c intobj : 0.00 0 0 0 0 0
1789.52/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.52/1790.01 c gomory : 0.01 6 0 0 0 0
1789.52/1790.01 c strongcg : 0.00 6 0 0 25 0
1789.52/1790.01 c cmir : 0.02 6 0 0 34 0
1789.52/1790.01 c flowcover : 0.02 6 0 0 58 0
1789.52/1790.01 c clique : 0.00 1 0 0 0 0
1789.52/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.52/1790.01 c mcf : 0.00 1 0 0 0 0
1789.52/1790.01 c rapidlearning : 0.09 1 0 0 0 1
1789.52/1790.01 c Pricers : Time Calls Vars
1789.52/1790.01 c problem variables: 0.00 0 0
1789.52/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.52/1790.01 c relpscost : 19.53 1863079 601 2180 0 0 3720866
1789.52/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.52/1790.01 c inference : 0.00 1 0 0 0 0 2
1789.52/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.52/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.52/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.52/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.52/1790.01 c random : 0.00 0 0 0 0 0 0
1789.52/1790.01 c Primal Heuristics : Time Calls Found
1789.52/1790.01 c LP solutions : 0.00 - 0
1789.52/1790.01 c pseudo solutions : 0.00 - 0
1789.52/1790.01 c oneopt : 1.87 0 0
1789.52/1790.01 c crossover : 1.09 0 0
1789.52/1790.01 c guideddiving : 0.14 0 0
1789.52/1790.01 c pscostdiving : 0.19 63 0
1789.52/1790.01 c coefdiving : 0.15 63 0
1789.52/1790.01 c fracdiving : 0.17 63 0
1789.52/1790.01 c veclendiving : 0.16 63 0
1789.52/1790.01 c linesearchdiving : 0.15 63 0
1789.52/1790.01 c feaspump : 0.15 32 0
1789.52/1790.01 c objpscostdiving : 0.14 32 0
1789.52/1790.01 c rootsoldiving : 0.14 32 0
1789.52/1790.01 c trivial : 0.00 2 0
1789.52/1790.01 c simplerounding : 0.82 0 0
1789.52/1790.01 c zirounding : 1.12 1000 0
1789.52/1790.01 c rounding : 1.75 19442 0
1789.52/1790.01 c shifting : 3.51 5912 0
1789.52/1790.01 c intshifting : 0.08 0 0
1789.52/1790.01 c twoopt : 0.00 0 0
1789.52/1790.01 c fixandinfer : 0.00 0 0
1789.52/1790.01 c intdiving : 0.00 0 0
1789.52/1790.01 c actconsdiving : 0.00 0 0
1789.52/1790.01 c octane : 0.00 0 0
1789.52/1790.01 c rens : 0.03 1 0
1789.52/1790.01 c rins : 0.00 0 0
1789.52/1790.01 c localbranching : 0.00 0 0
1789.52/1790.01 c mutation : 0.00 0 0
1789.52/1790.01 c dins : 0.00 0 0
1789.52/1790.01 c undercover : 0.00 0 0
1789.52/1790.01 c nlp : 0.90 0 0
1789.52/1790.01 c trysol : 1.41 0 0
1789.52/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.52/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.52/1790.01 c dual LP : 276.55 2634513 6430777 2.44 23253.96
1789.52/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.52/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.52/1790.01 c diving/probing LP: 0.16 1302 2523 1.94 15478.62
1789.52/1790.01 c strong branching : 1.02 5095 24933 4.89 24348.89
1789.52/1790.01 c (at root node) : - 9 373 41.44 -
1789.52/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.52/1790.01 c B&B Tree :
1789.52/1790.01 c number of runs : 1
1789.52/1790.01 c nodes : 2918341
1789.52/1790.01 c nodes (total) : 2918341
1789.52/1790.01 c nodes left : 743906
1789.52/1790.01 c max depth : 45
1789.52/1790.01 c max depth (total): 45
1789.52/1790.01 c backtracks : 367611 (12.6%)
1789.52/1790.01 c delayed cutoffs : 58622
1789.52/1790.01 c repropagations : 2231669 (1305137 domain reductions, 53817 cutoffs)
1789.52/1790.01 c avg switch length: 5.36
1789.52/1790.01 c switching time : 388.40
1789.52/1790.01 c Solution :
1789.52/1790.01 c Solutions found : 0 (0 improvements)
1789.52/1790.01 c Primal Bound : -
1789.52/1790.01 c Dual Bound : +0.00000000000000e+00
1789.52/1790.01 c Gap : infinite
1789.52/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.52/1790.01 c Root Iterations : 166
1793.31/1793.88 c Time complete: 1793.39.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703530-1278562279/watcher-2703530-1278562279 -o /tmp/evaluation-result-2703530-1278562279/solver-2703530-1278562279 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703530-1278562279.opb -t 1800 -m 1800
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31212
/proc/meminfo: memFree=1537528/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=7904 CPUtime=0
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 1053 0 0 0 0 0 0 0 20 0 1 0 24435038 8093696 965 1992294400 4194304 8395647 140733532860480 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31212/statm: 1976 972 365 1026 0 946 0
[startup+0.0451659 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31212
/proc/meminfo: memFree=1537528/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=21788 CPUtime=0.03
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 4700 0 0 0 2 1 0 0 22 0 1 0 24435038 22310912 4259 1992294400 4194304 8395647 140733532860480 18446744073709551615 4288144 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 5447 4259 590 1026 0 4417 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 21788
[startup+0.101172 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31212
/proc/meminfo: memFree=1537528/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=21920 CPUtime=0.09
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 4744 0 0 0 7 2 0 0 22 0 1 0 24435038 22446080 4303 1992294400 4194304 8395647 140733532860480 18446744073709551615 5026570 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 5480 4303 599 1026 0 4450 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21920
[startup+0.301193 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31212
/proc/meminfo: memFree=1537528/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=22956 CPUtime=0.29
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 5299 0 0 0 26 3 0 0 22 0 1 0 24435038 23506944 4858 1992294400 4194304 8395647 140733532860480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 5739 4858 622 1026 0 4709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22956
[startup+0.701236 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31212
/proc/meminfo: memFree=1537528/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=22956 CPUtime=0.69
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 5301 0 0 0 64 5 0 0 23 0 1 0 24435038 23506944 4860 1992294400 4194304 8395647 140733532860480 18446744073709551615 4230937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 5739 4860 622 1026 0 4709 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22956
[startup+1.50132 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31213
/proc/meminfo: memFree=1520408/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=22956 CPUtime=1.49
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 5305 0 0 0 140 9 0 0 25 0 1 0 24435038 23506944 4864 1992294400 4194304 8395647 140733532860480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 5739 4864 622 1026 0 4709 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22956
[startup+3.10049 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31213
/proc/meminfo: memFree=1520160/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=22956 CPUtime=3.09
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 5309 0 0 0 294 15 0 0 25 0 1 0 24435038 23506944 4868 1992294400 4194304 8395647 140733532860480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 5739 4868 622 1026 0 4709 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22956
[startup+6.30084 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31213
/proc/meminfo: memFree=1519788/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=22956 CPUtime=6.29
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 5317 0 0 0 604 25 0 0 25 0 1 0 24435038 23506944 4876 1992294400 4194304 8395647 140733532860480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 5739 4876 622 1026 0 4709 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22956
[startup+12.7005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31214
/proc/meminfo: memFree=1517928/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=24816 CPUtime=12.69
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 5814 0 0 0 1223 46 0 0 25 0 1 0 24435038 25411584 5373 1992294400 4194304 8395647 140733532860480 18446744073709551615 5085395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 6204 5373 622 1026 0 5174 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24816
[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31215
/proc/meminfo: memFree=1510488/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=32228 CPUtime=25.49
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 7684 0 0 0 2467 82 0 0 25 0 1 0 24435038 33001472 7243 1992294400 4194304 8395647 140733532860480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 8057 7243 622 1026 0 7027 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 32228
[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31215
/proc/meminfo: memFree=1496352/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=46416 CPUtime=51.08
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 11269 0 0 0 4956 152 0 0 25 0 1 0 24435038 47529984 10828 1992294400 4194304 8395647 140733532860480 18446744073709551615 6068909 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 11604 10828 622 1026 0 10574 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 46416
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31217
/proc/meminfo: memFree=1470064/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=73348 CPUtime=102.27
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 17748 0 0 0 9937 290 0 0 25 0 1 0 24435038 75108352 17307 1992294400 4194304 8395647 140733532860480 18446744073709551615 6345866 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 18337 17307 622 1026 0 17307 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 73348
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31218
/proc/meminfo: memFree=1443652/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=100340 CPUtime=162.25
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 24543 0 0 0 15784 441 0 0 25 0 1 0 24435038 102748160 24102 1992294400 4194304 8395647 140733532860480 18446744073709551615 4245818 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 25085 24102 622 1026 0 24055 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 100340
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31219
/proc/meminfo: memFree=1420216/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=122292 CPUtime=222.23
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 30162 0 0 0 21639 584 0 0 25 0 1 0 24435038 125227008 29721 1992294400 4194304 8395647 140733532860480 18446744073709551615 5085418 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 30573 29721 622 1026 0 29543 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 122292
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31221
/proc/meminfo: memFree=1397028/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=145180 CPUtime=282.22
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 35931 0 0 0 27499 723 0 0 25 0 1 0 24435038 148664320 35490 1992294400 4194304 8395647 140733532860480 18446744073709551615 5086861 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 36295 35490 622 1026 0 35265 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 145180
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31223
/proc/meminfo: memFree=1372972/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=168780 CPUtime=342.2
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 41897 0 0 0 33363 857 0 0 25 0 1 0 24435038 172830720 41456 1992294400 4194304 8395647 140733532860480 18446744073709551615 5026470 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 42195 41456 622 1026 0 41165 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 168780
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31225
/proc/meminfo: memFree=1350900/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=194688 CPUtime=402.19
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 47399 0 0 0 39232 987 0 0 25 0 1 0 24435038 199360512 46958 1992294400 4194304 8395647 140733532860480 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 48672 46958 622 1026 0 47642 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 194688
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31226
/proc/meminfo: memFree=1330068/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=215756 CPUtime=462.17
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 52758 0 0 0 45103 1114 0 0 25 0 1 0 24435038 220934144 52317 1992294400 4194304 8395647 140733532860480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 53939 52317 622 1026 0 52909 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 215756
[startup+522.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 31230
/proc/meminfo: memFree=1308864/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=235040 CPUtime=522.16
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 57701 0 0 0 50985 1231 0 0 25 0 1 0 24435038 240680960 57260 1992294400 4194304 8395647 140733532860480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 58760 57260 622 1026 0 57730 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 235040
[startup+582.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 31232
/proc/meminfo: memFree=1288776/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=255032 CPUtime=582.13
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 62761 0 0 0 56865 1348 0 0 25 0 1 0 24435038 261152768 62320 1992294400 4194304 8395647 140733532860480 18446744073709551615 5085432 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 63758 62320 622 1026 0 62728 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 255032
[startup+642.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 31234
/proc/meminfo: memFree=1268316/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=274504 CPUtime=642.13
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 67795 0 0 0 62741 1472 0 0 25 0 1 0 24435038 281092096 67354 1992294400 4194304 8395647 140733532860480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 68626 67354 622 1026 0 67596 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 274504
[startup+702.302 s]
################
# More data... #
################
/proc/meminfo: memFree=1126460/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=421492 CPUtime=1121.99
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 103139 0 0 0 109812 2387 0 0 25 0 1 0 24435038 431607808 102698 1992294400 4194304 8395647 140733532860480 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 105373 102698 622 1026 0 104343 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 421492
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31248
/proc/meminfo: memFree=1105132/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=444068 CPUtime=1181.98
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 108832 0 0 0 115701 2497 0 0 25 0 1 0 24435038 454725632 108391 1992294400 4194304 8395647 140733532860480 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 111017 108391 622 1026 0 109987 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 444068
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31250
/proc/meminfo: memFree=1085044/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=462336 CPUtime=1241.96
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 113530 0 0 0 121585 2611 0 0 25 0 1 0 24435038 473432064 113089 1992294400 4194304 8395647 140733532860480 18446744073709551615 4217033 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 115584 113089 622 1026 0 114554 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 462336
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31252
/proc/meminfo: memFree=1068304/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=478112 CPUtime=1301.96
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 117565 0 0 0 127477 2719 0 0 25 0 1 0 24435038 489586688 117124 1992294400 4194304 8395647 140733532860480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 119528 117124 622 1026 0 118498 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 478112
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31253
/proc/meminfo: memFree=1050820/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=495768 CPUtime=1361.93
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 121931 0 0 0 133369 2824 0 0 25 0 1 0 24435038 507666432 121490 1992294400 4194304 8395647 140733532860480 18446744073709551615 5089583 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 123942 121490 622 1026 0 122912 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 495768
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31254
/proc/meminfo: memFree=1035320/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=510492 CPUtime=1421.93
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 125752 0 0 0 139264 2929 0 0 25 0 1 0 24435038 522743808 125311 1992294400 4194304 8395647 140733532860480 18446744073709551615 4217896 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 127623 125311 622 1026 0 126593 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 510492
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31256
/proc/meminfo: memFree=1019944/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=525372 CPUtime=1481.9
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 129570 0 0 0 145163 3027 0 0 25 0 1 0 24435038 537980928 129129 1992294400 4194304 8395647 140733532860480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 131343 129129 622 1026 0 130313 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 525372
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31258
/proc/meminfo: memFree=1004816/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=539948 CPUtime=1541.89
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 133324 0 0 0 151047 3142 0 0 25 0 1 0 24435038 552906752 132883 1992294400 4194304 8395647 140733532860480 18446744073709551615 4216931 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 134987 132883 622 1026 0 133957 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 539948
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31260
/proc/meminfo: memFree=990060/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=554944 CPUtime=1601.87
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 137186 0 0 0 156937 3250 0 0 25 0 1 0 24435038 568262656 136745 1992294400 4194304 8395647 140733532860480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 138736 136745 622 1026 0 137706 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 554944
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31261
/proc/meminfo: memFree=971088/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=573828 CPUtime=1661.85
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 141987 0 0 0 162830 3355 0 0 25 0 1 0 24435038 587599872 141546 1992294400 4194304 8395647 140733532860480 18446744073709551615 4621331 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 143457 141546 622 1026 0 142427 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 573828
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31262
/proc/meminfo: memFree=958192/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=585744 CPUtime=1721.84
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 144934 0 0 0 168731 3453 0 0 25 0 1 0 24435038 599801856 144493 1992294400 4194304 8395647 140733532860480 18446744073709551615 5007029 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 146436 144493 622 1026 0 145406 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 585744
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31264
/proc/meminfo: memFree=941824/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=601540 CPUtime=1781.82
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 148945 0 0 0 174614 3568 0 0 25 0 1 0 24435038 615976960 148504 1992294400 4194304 8395647 140733532860480 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 150385 148504 622 1026 0 149355 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 601540
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31264
/proc/meminfo: memFree=941328/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=602180 CPUtime=1785.03
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 149077 0 0 0 174930 3573 0 0 25 0 1 0 24435038 616632320 148636 1992294400 4194304 8395647 140733532860480 18446744073709551615 5031119 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 150545 148636 622 1026 0 149515 0
Current children cumulated CPU time (s) 1785.03
Current children cumulated vsize (KiB) 602180
[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31264
/proc/meminfo: memFree=940832/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=603012 CPUtime=1788.22
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 149291 0 0 0 175244 3578 0 0 25 0 1 0 24435038 617484288 148850 1992294400 4194304 8395647 140733532860480 18446744073709551615 4216423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/31212/statm: 150753 148850 622 1026 0 149723 0
Current children cumulated CPU time (s) 1788.22
Current children cumulated vsize (KiB) 603012
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31264
/proc/meminfo: memFree=940460/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=603012 CPUtime=1791.42
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 149294 0 0 0 175562 3580 0 0 25 0 1 0 24435038 617484288 148853 1992294400 4194304 8395647 140733532860480 18446744073709551615 6345227 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31212/statm: 150753 148853 625 1026 0 149723 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 603012
[startup+1792.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31264
/proc/meminfo: memFree=940460/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=603012 CPUtime=1792.21
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 149294 0 0 0 175641 3580 0 0 25 0 1 0 24435038 617484288 148853 1992294400 4194304 8395647 140733532860480 18446744073709551615 4664167 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31212/statm: 150753 148853 625 1026 0 149723 0
Current children cumulated CPU time (s) 1792.21
Current children cumulated vsize (KiB) 603012
[startup+1793.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31264
/proc/meminfo: memFree=940460/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=603012 CPUtime=1793.01
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 149294 0 0 0 175721 3580 0 0 25 0 1 0 24435038 617484288 148853 1992294400 4194304 8395647 140733532860480 18446744073709551615 4653837 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31212/statm: 150753 148853 625 1026 0 149723 0
Current children cumulated CPU time (s) 1793.01
Current children cumulated vsize (KiB) 603012
[startup+1793.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31264
/proc/meminfo: memFree=940460/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=603012 CPUtime=1793.21
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 149294 0 0 0 175741 3580 0 0 25 0 1 0 24435038 617484288 148853 1992294400 4194304 8395647 140733532860480 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31212/statm: 150753 148853 625 1026 0 149723 0
Current children cumulated CPU time (s) 1793.21
Current children cumulated vsize (KiB) 603012
[startup+1793.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31264
/proc/meminfo: memFree=940460/2059040 swapFree=4165016/4192956
[pid=31212] ppid=31210 vsize=603012 CPUtime=1793.31
/proc/31212/stat : 31212 (pbscip.linux.x8) R 31210 31212 31021 0 -1 4202496 149294 0 0 0 175751 3580 0 0 25 0 1 0 24435038 617484288 148853 1992294400 4194304 8395647 140733532860480 18446744073709551615 4287424 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31212/statm: 150753 148853 625 1026 0 149723 0
Current children cumulated CPU time (s) 1793.31
Current children cumulated vsize (KiB) 603012
Child status: 0
Real time (s): 1793.88
CPU time (s): 1793.41
CPU user time (s): 1757.54
CPU system time (s): 35.8705
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 603012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1757.54
system time used= 35.8705
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149297
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 3303
runsolver used 2.99654 second user time and 8.44272 second system time
The end