0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665439-1276598770.opb>
0.00/0.01 c original problem has 61 variables (61 bin, 0 int, 0 impl, 0 cont) and 15 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, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c presolving (3 rounds):
0.00/0.03 c 1 deleted vars, 8 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 60 variables (60 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.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.2
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1800
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 36 | - | 321k| 0 | 7 | 60 | 7 | 60 | 7 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.15 c 0.1s| 1 | 0 | 42 | - | 365k| 0 | 11 | 60 | 12 | 60 | 14 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.1s| 1 | 0 | 51 | - | 399k| 0 | 15 | 60 | 12 | 60 | 18 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.17 c 0.1s| 1 | 0 | 59 | - | 420k| 0 | 17 | 60 | 12 | 60 | 21 | 14 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.2s| 1 | 0 | 74 | - | 448k| 0 | 22 | 60 | 12 | 60 | 26 | 19 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 0 | 97 | - | 453k| 0 | 21 | 60 | 12 | 60 | 29 | 22 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 102 | - | 456k| 0 | 22 | 60 | 12 | 60 | 30 | 23 | 0 | 0 | 0.000000e+00 | -- | Inf
0.39/0.44 c 0.4s| 1 | 2 | 102 | - | 457k| 0 | 22 | 60 | 12 | 60 | 30 | 23 | 0 | 9 | 0.000000e+00 | -- | Inf
6.49/6.51 c 5.6s| 10000 | 5010 | 30494 | 3.0 |3777k| 52 | 7 | 60 |1954 | 60 | 22 | 23 |2385 | 530 | 0.000000e+00 | -- | Inf
12.69/12.71 c 10.9s| 20000 | 8856 | 60515 | 3.0 |5981k| 53 | 7 | 60 |1153 | 60 | 22 | 23 |5525 | 711 | 0.000000e+00 | -- | Inf
18.59/18.63 c 16.0s| 30000 | 12169 | 90748 | 3.0 |8071k| 53 | - | 60 |1239 | 60 | 22 | 23 |8915 | 856 | 0.000000e+00 | -- | Inf
24.48/24.57 c 21.1s| 40000 | 15569 |121344 | 3.0 | 10M| 53 | 7 | 60 |1506 | 60 | 22 | 23 | 12k| 980 | 0.000000e+00 | -- | Inf
30.59/30.62 c 26.4s| 50000 | 18516 |151703 | 3.0 | 12M| 53 | 7 | 60 |1622 | 60 | 22 | 23 | 15k|1078 | 0.000000e+00 | -- | Inf
36.68/36.79 c 31.7s| 60000 | 21361 |181881 | 3.0 | 14M| 53 | 7 | 60 |1614 | 60 | 22 | 23 | 19k|1175 | 0.000000e+00 | -- | Inf
42.78/42.85 c 36.9s| 70000 | 24266 |212196 | 3.0 | 16M| 53 | 7 | 60 |1726 | 60 | 22 | 23 | 23k|1243 | 0.000000e+00 | -- | Inf
48.97/49.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
48.97/49.00 c 42.2s| 80000 | 27156 |242939 | 3.0 | 18M| 53 | 7 | 60 |1830 | 60 | 22 | 23 | 27k|1315 | 0.000000e+00 | -- | Inf
55.07/55.13 c 47.6s| 90000 | 29933 |273279 | 3.0 | 20M| 53 | 7 | 60 |2514 | 60 | 22 | 23 | 30k|1374 | 0.000000e+00 | -- | Inf
61.37/61.41 c 53.1s|100000 | 32799 |303876 | 3.0 | 22M| 53 | 7 | 60 |2212 | 60 | 22 | 23 | 34k|1442 | 0.000000e+00 | -- | Inf
67.57/67.69 c 58.5s|110000 | 35341 |333562 | 3.0 | 23M| 53 | 7 | 60 |2397 | 60 | 22 | 23 | 38k|1501 | 0.000000e+00 | -- | Inf
73.87/73.95 c 64.0s|120000 | 38051 |363500 | 3.0 | 25M| 53 | 7 | 60 |2603 | 60 | 22 | 23 | 42k|1549 | 0.000000e+00 | -- | Inf
80.27/80.32 c 69.5s|130000 | 40756 |393268 | 3.0 | 27M| 53 | 7 | 60 |2194 | 60 | 22 | 23 | 45k|1604 | 0.000000e+00 | -- | Inf
86.56/86.62 c 75.0s|140000 | 43463 |424051 | 3.0 | 29M| 53 | 7 | 60 |2320 | 60 | 22 | 23 | 49k|1649 | 0.000000e+00 | -- | Inf
92.86/92.95 c 80.5s|150000 | 46083 |454489 | 3.0 | 31M| 53 | - | 60 |2510 | 60 | 22 | 23 | 53k|1693 | 0.000000e+00 | -- | Inf
99.36/99.42 c 86.2s|160000 | 48696 |484115 | 3.0 | 33M| 53 | 7 | 60 |2321 | 60 | 22 | 23 | 57k|1737 | 0.000000e+00 | -- | Inf
105.76/105.83 c 91.8s|170000 | 51260 |513901 | 3.0 | 35M| 53 | 7 | 60 |2552 | 60 | 22 | 23 | 61k|1768 | 0.000000e+00 | -- | Inf
112.26/112.31 c 97.4s|180000 | 53693 |544265 | 3.0 | 37M| 53 | 7 | 60 |2541 | 60 | 22 | 23 | 65k|1815 | 0.000000e+00 | -- | Inf
118.85/118.92 c 103s|190000 | 56048 |574368 | 3.0 | 39M| 53 | 7 | 60 |2536 | 60 | 22 | 23 | 68k|1852 | 0.000000e+00 | -- | Inf
125.26/125.34 c 109s|200000 | 58728 |605018 | 3.0 | 41M| 53 | 7 | 60 |3083 | 60 | 22 | 23 | 72k|1885 | 0.000000e+00 | -- | Inf
131.75/131.81 c 114s|210000 | 61404 |636023 | 3.0 | 42M| 53 | 7 | 60 |3007 | 60 | 22 | 23 | 76k|1925 | 0.000000e+00 | -- | Inf
138.25/138.36 c 120s|220000 | 63922 |665805 | 3.0 | 44M| 54 | - | 60 |2738 | 60 | 22 | 23 | 80k|1966 | 0.000000e+00 | -- | Inf
144.65/144.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
144.65/144.71 c 126s|230000 | 66475 |694298 | 3.0 | 46M| 54 | 7 | 60 |2795 | 60 | 22 | 23 | 84k|1991 | 0.000000e+00 | -- | Inf
150.95/151.05 c 131s|240000 | 69137 |724446 | 3.0 | 48M| 54 | - | 60 |2853 | 60 | 22 | 23 | 87k|2026 | 0.000000e+00 | -- | Inf
157.44/157.57 c 137s|250000 | 71701 |754851 | 3.0 | 50M| 54 | 7 | 60 |3341 | 60 | 22 | 23 | 91k|2079 | 0.000000e+00 | -- | Inf
164.14/164.22 c 143s|260000 | 74112 |785696 | 3.0 | 52M| 54 | 7 | 60 |2913 | 60 | 22 | 23 | 95k|2102 | 0.000000e+00 | -- | Inf
170.64/170.80 c 148s|270000 | 76469 |815687 | 3.0 | 53M| 54 | - | 60 |2367 | 60 | 22 | 23 | 99k|2139 | 0.000000e+00 | -- | Inf
177.24/177.35 c 154s|280000 | 78848 |846251 | 3.0 | 55M| 54 | - | 60 |2810 | 60 | 22 | 23 | 103k|2171 | 0.000000e+00 | -- | Inf
183.84/183.99 c 160s|290000 | 81115 |876764 | 3.0 | 57M| 54 | - | 60 |2919 | 60 | 22 | 23 | 107k|2198 | 0.000000e+00 | -- | Inf
190.53/190.61 c 166s|300000 | 83441 |906986 | 3.0 | 59M| 54 | 7 | 60 |2867 | 60 | 22 | 23 | 111k|2232 | 0.000000e+00 | -- | Inf
197.13/197.22 c 171s|310000 | 85759 |936565 | 3.0 | 61M| 54 | 7 | 60 |2697 | 60 | 22 | 23 | 115k|2270 | 0.000000e+00 | -- | Inf
203.63/203.74 c 177s|320000 | 88169 |967313 | 3.0 | 62M| 54 | - | 60 |3068 | 60 | 22 | 23 | 118k|2295 | 0.000000e+00 | -- | Inf
210.24/210.36 c 183s|330000 | 90554 |997718 | 3.0 | 64M| 54 | - | 60 |3011 | 60 | 22 | 23 | 122k|2323 | 0.000000e+00 | -- | Inf
216.93/217.04 c 189s|340000 | 92809 | 1027k| 3.0 | 66M| 54 | 7 | 60 |2665 | 60 | 22 | 23 | 126k|2353 | 0.000000e+00 | -- | Inf
223.33/223.45 c 194s|350000 | 95390 | 1057k| 3.0 | 68M| 54 | 7 | 60 |3168 | 60 | 22 | 23 | 130k|2360 | 0.000000e+00 | -- | Inf
229.93/230.09 c 200s|360000 | 97866 | 1087k| 3.0 | 70M| 54 | 7 | 60 |3616 | 60 | 22 | 23 | 134k|2389 | 0.000000e+00 | -- | Inf
236.44/236.58 c 206s|370000 |100838 | 1117k| 3.0 | 72M| 54 | 7 | 60 |4471 | 60 | 22 | 23 | 137k|2400 | 0.000000e+00 | -- | Inf
243.13/243.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
243.13/243.29 c 212s|380000 |103915 | 1147k| 3.0 | 74M| 54 | 7 | 60 |4562 | 60 | 22 | 23 | 141k|2408 | 0.000000e+00 | -- | Inf
249.92/250.02 c 217s|390000 |106747 | 1178k| 3.0 | 76M| 54 | 7 | 60 |5144 | 60 | 22 | 23 | 145k|2423 | 0.000000e+00 | -- | Inf
256.82/256.98 c 224s|400000 |109492 | 1207k| 3.0 | 78M| 54 | - | 60 |3728 | 0 | 0 | 23 | 148k|2438 | 0.000000e+00 | -- | Inf
263.72/263.81 c 230s|410000 |111844 | 1237k| 3.0 | 79M| 54 | 7 | 60 |2959 | 60 | 22 | 23 | 152k|2454 | 0.000000e+00 | -- | Inf
270.32/270.48 c 235s|420000 |114161 | 1266k| 3.0 | 81M| 54 | 7 | 60 |3092 | 60 | 22 | 23 | 156k|2471 | 0.000000e+00 | -- | Inf
277.12/277.22 c 241s|430000 |116460 | 1297k| 3.0 | 83M| 54 | - | 60 |2925 | 60 | 22 | 23 | 160k|2491 | 0.000000e+00 | -- | Inf
283.82/283.93 c 247s|440000 |118926 | 1327k| 3.0 | 85M| 54 | - | 60 |3191 | 60 | 22 | 23 | 164k|2510 | 0.000000e+00 | -- | Inf
290.32/290.47 c 253s|450000 |121529 | 1357k| 3.0 | 87M| 54 | 7 | 60 |3408 | 60 | 22 | 23 | 167k|2529 | 0.000000e+00 | -- | Inf
297.11/297.23 c 259s|460000 |123865 | 1387k| 3.0 | 89M| 54 | - | 60 |3284 | 60 | 22 | 23 | 171k|2551 | 0.000000e+00 | -- | Inf
303.81/303.97 c 265s|470000 |126231 | 1417k| 3.0 | 90M| 54 | 7 | 60 |3071 | 60 | 22 | 23 | 175k|2574 | 0.000000e+00 | -- | Inf
310.51/310.68 c 270s|480000 |128565 | 1448k| 3.0 | 92M| 54 | 7 | 60 |3698 | 60 | 22 | 23 | 179k|2596 | 0.000000e+00 | -- | Inf
317.31/317.48 c 276s|490000 |130938 | 1478k| 3.0 | 94M| 54 | 7 | 60 |3376 | 60 | 22 | 23 | 183k|2608 | 0.000000e+00 | -- | Inf
324.21/324.32 c 282s|500000 |133140 | 1507k| 3.0 | 96M| 54 | 7 | 60 |2959 | 60 | 22 | 23 | 187k|2619 | 0.000000e+00 | -- | Inf
330.80/330.90 c 288s|510000 |135701 | 1537k| 3.0 | 98M| 54 | - | 60 |3293 | 0 | 0 | 23 | 191k|2645 | 0.000000e+00 | -- | Inf
337.51/337.70 c 294s|520000 |138009 | 1566k| 3.0 | 99M| 54 | 7 | 60 |2953 | 60 | 22 | 23 | 195k|2669 | 0.000000e+00 | -- | Inf
344.30/344.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
344.30/344.48 c 300s|530000 |140341 | 1596k| 3.0 | 101M| 54 | 7 | 60 |3108 | 60 | 22 | 23 | 199k|2696 | 0.000000e+00 | -- | Inf
350.90/351.00 c 306s|540000 |142950 | 1626k| 3.0 | 103M| 54 | 7 | 60 |3211 | 60 | 22 | 23 | 202k|2712 | 0.000000e+00 | -- | Inf
357.40/357.55 c 311s|550000 |145590 | 1655k| 3.0 | 105M| 54 | 7 | 60 |3286 | 60 | 22 | 23 | 206k|2725 | 0.000000e+00 | -- | Inf
364.20/364.33 c 317s|560000 |147925 | 1685k| 3.0 | 107M| 54 | 7 | 60 |2933 | 60 | 22 | 23 | 210k|2735 | 0.000000e+00 | -- | Inf
371.09/371.23 c 323s|570000 |150079 | 1715k| 3.0 | 108M| 54 | - | 60 |3153 | 60 | 22 | 23 | 214k|2746 | 0.000000e+00 | -- | Inf
377.89/378.01 c 329s|580000 |152412 | 1745k| 3.0 | 110M| 54 | - | 60 |3091 | 60 | 22 | 23 | 218k|2750 | 0.000000e+00 | -- | Inf
384.49/384.67 c 335s|590000 |155154 | 1775k| 3.0 | 112M| 54 | 7 | 60 |3099 | 60 | 22 | 23 | 221k|2760 | 0.000000e+00 | -- | Inf
391.19/391.37 c 341s|600000 |157499 | 1805k| 3.0 | 114M| 54 | 7 | 60 |3751 | 60 | 22 | 23 | 225k|2775 | 0.000000e+00 | -- | Inf
397.99/398.17 c 347s|610000 |159887 | 1835k| 3.0 | 116M| 54 | 7 | 60 |3800 | 60 | 22 | 23 | 229k|2785 | 0.000000e+00 | -- | Inf
404.98/405.10 c 353s|620000 |162212 | 1865k| 3.0 | 118M| 54 | 7 | 60 |3555 | 60 | 22 | 23 | 233k|2795 | 0.000000e+00 | -- | Inf
411.68/411.84 c 359s|630000 |164783 | 1895k| 3.0 | 120M| 54 | 7 | 60 |4062 | 60 | 22 | 23 | 237k|2799 | 0.000000e+00 | -- | Inf
418.58/418.76 c 365s|640000 |167276 | 1925k| 3.0 | 121M| 54 | - | 60 |3271 | 0 | 0 | 23 | 241k|2814 | 0.000000e+00 | -- | Inf
425.08/425.29 c 371s|650000 |169922 | 1956k| 3.0 | 123M| 54 | 7 | 60 |4092 | 60 | 22 | 23 | 244k|2826 | 0.000000e+00 | -- | Inf
432.08/432.29 c 377s|660000 |172501 | 1985k| 3.0 | 125M| 54 | - | 60 |4203 | 60 | 22 | 23 | 248k|2836 | 0.000000e+00 | -- | Inf
439.28/439.45 c 383s|670000 |174811 | 2015k| 3.0 | 127M| 54 | 7 | 60 |3210 | 60 | 22 | 23 | 252k|2840 | 0.000000e+00 | -- | Inf
445.77/445.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
445.77/445.94 c 389s|680000 |177431 | 2045k| 3.0 | 129M| 54 | - | 60 |4088 | 60 | 22 | 23 | 255k|2844 | 0.000000e+00 | -- | Inf
452.87/453.05 c 395s|690000 |179663 | 2076k| 3.0 | 130M| 54 | 7 | 60 |2982 | 60 | 22 | 23 | 259k|2844 | 0.000000e+00 | -- | Inf
459.58/459.78 c 401s|700000 |182059 | 2107k| 3.0 | 132M| 54 | 7 | 60 |3547 | 60 | 22 | 23 | 263k|2853 | 0.000000e+00 | -- | Inf
466.47/466.68 c 407s|710000 |184404 | 2136k| 3.0 | 134M| 54 | 7 | 60 |3210 | 60 | 22 | 23 | 267k|2859 | 0.000000e+00 | -- | Inf
472.97/473.14 c 412s|720000 |187325 | 2166k| 3.0 | 136M| 54 | 7 | 60 |3638 | 60 | 22 | 23 | 270k|2871 | 0.000000e+00 | -- | Inf
479.77/479.93 c 418s|730000 |189873 | 2196k| 3.0 | 138M| 54 | 7 | 60 |3728 | 60 | 22 | 23 | 274k|2883 | 0.000000e+00 | -- | Inf
486.56/486.73 c 424s|740000 |192411 | 2226k| 3.0 | 140M| 54 | - | 60 |3684 | 60 | 22 | 23 | 277k|2888 | 0.000000e+00 | -- | Inf
493.67/493.86 c 431s|750000 |194721 | 2256k| 3.0 | 141M| 54 | 7 | 60 |2945 | 60 | 22 | 23 | 281k|2898 | 0.000000e+00 | -- | Inf
500.56/500.70 c 436s|760000 |196927 | 2287k| 3.0 | 143M| 54 | - | 60 |3316 | 60 | 22 | 23 | 285k|2907 | 0.000000e+00 | -- | Inf
507.46/507.61 c 443s|770000 |199248 | 2317k| 3.0 | 145M| 54 | - | 60 |3049 | 60 | 22 | 23 | 289k|2914 | 0.000000e+00 | -- | Inf
514.35/514.51 c 449s|780000 |201451 | 2347k| 3.0 | 147M| 54 | - | 60 |3188 | 60 | 22 | 23 | 293k|2916 | 0.000000e+00 | -- | Inf
521.06/521.27 c 454s|790000 |203925 | 2377k| 3.0 | 149M| 54 | 7 | 60 |3614 | 60 | 22 | 23 | 297k|2925 | 0.000000e+00 | -- | Inf
527.86/528.03 c 460s|800000 |206351 | 2408k| 3.0 | 151M| 54 | 7 | 60 |4158 | 60 | 22 | 23 | 301k|2929 | 0.000000e+00 | -- | Inf
534.75/534.99 c 466s|810000 |208704 | 2437k| 3.0 | 152M| 54 | 7 | 60 |3415 | 60 | 22 | 23 | 304k|2930 | 0.000000e+00 | -- | Inf
541.75/542.00 c 473s|820000 |210806 | 2467k| 3.0 | 154M| 54 | - | 60 |3544 | 60 | 22 | 23 | 308k|2947 | 0.000000e+00 | -- | Inf
548.55/548.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
548.55/548.75 c 479s|830000 |213152 | 2497k| 3.0 | 156M| 54 | 7 | 60 |3826 | 60 | 22 | 23 | 312k|2955 | 0.000000e+00 | -- | Inf
555.26/555.43 c 484s|840000 |215701 | 2528k| 3.0 | 158M| 54 | 7 | 60 |4044 | 60 | 22 | 23 | 316k|2956 | 0.000000e+00 | -- | Inf
562.45/562.62 c 491s|850000 |217815 | 2557k| 3.0 | 159M| 54 | 7 | 60 |2997 | 60 | 22 | 23 | 320k|2959 | 0.000000e+00 | -- | Inf
568.94/569.18 c 496s|860000 |220345 | 2588k| 3.0 | 161M| 54 | - | 60 |3992 | 60 | 22 | 23 | 323k|2963 | 0.000000e+00 | -- | Inf
576.14/576.31 c 503s|870000 |222630 | 2619k| 3.0 | 163M| 54 | 7 | 60 |3659 | 60 | 22 | 23 | 327k|2963 | 0.000000e+00 | -- | Inf
583.23/583.42 c 509s|880000 |224759 | 2649k| 3.0 | 165M| 54 | 7 | 60 |3501 | 60 | 22 | 23 | 331k|2963 | 0.000000e+00 | -- | Inf
590.14/590.33 c 515s|890000 |227134 | 2680k| 3.0 | 167M| 54 | 7 | 60 |3309 | 60 | 22 | 23 | 335k|2963 | 0.000000e+00 | -- | Inf
596.84/597.04 c 521s|900000 |229442 | 2709k| 3.0 | 168M| 54 | 7 | 60 |3548 | 60 | 22 | 23 | 339k|2963 | 0.000000e+00 | -- | Inf
603.64/603.85 c 527s|910000 |231779 | 2739k| 3.0 | 170M| 54 | - | 60 |3202 | 60 | 22 | 23 | 343k|2963 | 0.000000e+00 | -- | Inf
610.34/610.57 c 533s|920000 |234294 | 2768k| 3.0 | 172M| 54 | - | 60 |3345 | 0 | 0 | 23 | 346k|2963 | 0.000000e+00 | -- | Inf
617.03/617.26 c 539s|930000 |236677 | 2798k| 3.0 | 174M| 54 | - | 60 |3678 | 60 | 22 | 23 | 350k|2963 | 0.000000e+00 | -- | Inf
623.83/624.02 c 545s|940000 |239234 | 2829k| 3.0 | 176M| 54 | 7 | 60 |3693 | 60 | 22 | 23 | 354k|2963 | 0.000000e+00 | -- | Inf
630.53/630.74 c 550s|950000 |241928 | 2859k| 3.0 | 178M| 54 | 7 | 60 |3916 | 60 | 22 | 23 | 357k|2963 | 0.000000e+00 | -- | Inf
637.32/637.57 c 556s|960000 |244384 | 2889k| 3.0 | 180M| 54 | 7 | 60 |3823 | 60 | 22 | 23 | 361k|2963 | 0.000000e+00 | -- | Inf
644.52/644.76 c 563s|970000 |246653 | 2919k| 3.0 | 181M| 54 | 7 | 60 |3201 | 60 | 22 | 23 | 365k|2963 | 0.000000e+00 | -- | Inf
651.43/651.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
651.43/651.65 c 569s|980000 |248813 | 2949k| 3.0 | 183M| 54 | 7 | 60 |3279 | 60 | 22 | 23 | 369k|2963 | 0.000000e+00 | -- | Inf
658.32/658.58 c 575s|990000 |251069 | 2978k| 3.0 | 185M| 54 | 7 | 60 |3403 | 60 | 22 | 23 | 373k|2963 | 0.000000e+00 | -- | Inf
665.23/665.44 c 581s| 1000k|253374 | 3009k| 3.0 | 187M| 54 | 7 | 60 |3985 | 60 | 22 | 23 | 377k|2963 | 0.000000e+00 | -- | Inf
672.12/672.32 c 587s| 1010k|255751 | 3039k| 3.0 | 188M| 54 | 7 | 60 |3911 | 60 | 22 | 23 | 380k|2963 | 0.000000e+00 | -- | Inf
678.92/679.15 c 593s| 1020k|258074 | 3068k| 3.0 | 190M| 54 | - | 60 |3563 | 60 | 22 | 23 | 384k|2963 | 0.000000e+00 | -- | Inf
685.82/686.04 c 599s| 1030k|260162 | 3098k| 3.0 | 192M| 54 | 7 | 60 |3953 | 60 | 22 | 23 | 388k|2963 | 0.000000e+00 | -- | Inf
692.61/692.80 c 605s| 1040k|262699 | 3127k| 3.0 | 194M| 54 | 7 | 60 |3690 | 60 | 22 | 23 | 392k|2963 | 0.000000e+00 | -- | Inf
699.81/700.06 c 611s| 1050k|264786 | 3157k| 3.0 | 195M| 54 | 7 | 60 |3445 | 60 | 22 | 23 | 396k|2963 | 0.000000e+00 | -- | Inf
706.91/707.15 c 618s| 1060k|266914 | 3187k| 3.0 | 197M| 54 | 7 | 60 |2942 | 60 | 22 | 23 | 400k|2963 | 0.000000e+00 | -- | Inf
713.71/713.91 c 624s| 1070k|269204 | 3218k| 3.0 | 199M| 54 | - | 60 |3470 | 60 | 22 | 23 | 404k|2963 | 0.000000e+00 | -- | Inf
720.50/720.71 c 630s| 1080k|271660 | 3248k| 3.0 | 201M| 54 | - | 60 |3448 | 60 | 22 | 23 | 407k|2963 | 0.000000e+00 | -- | Inf
727.30/727.57 c 636s| 1090k|273950 | 3278k| 3.0 | 202M| 54 | - | 60 |3953 | 0 | 0 | 23 | 411k|2963 | 0.000000e+00 | -- | Inf
734.40/734.61 c 642s| 1100k|276253 | 3307k| 3.0 | 204M| 54 | 7 | 60 |3750 | 60 | 22 | 23 | 415k|2963 | 0.000000e+00 | -- | Inf
741.11/741.31 c 648s| 1110k|278978 | 3337k| 3.0 | 206M| 54 | - | 60 |3644 | 60 | 22 | 23 | 419k|2963 | 0.000000e+00 | -- | Inf
747.90/748.16 c 654s| 1120k|281368 | 3367k| 3.0 | 208M| 54 | 7 | 60 |3762 | 60 | 22 | 23 | 422k|2963 | 0.000000e+00 | -- | Inf
755.00/755.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
755.00/755.21 c 660s| 1130k|283512 | 3397k| 3.0 | 210M| 54 | 7 | 60 |3922 | 60 | 22 | 23 | 426k|2963 | 0.000000e+00 | -- | Inf
761.89/762.13 c 666s| 1140k|285971 | 3428k| 3.0 | 211M| 54 | 7 | 60 |3697 | 60 | 22 | 23 | 430k|2963 | 0.000000e+00 | -- | Inf
768.70/768.98 c 672s| 1150k|288297 | 3458k| 3.0 | 213M| 54 | - | 60 |4188 | 60 | 22 | 23 | 434k|2963 | 0.000000e+00 | -- | Inf
775.80/776.07 c 678s| 1160k|290630 | 3488k| 3.0 | 215M| 54 | 7 | 60 |3571 | 60 | 22 | 23 | 438k|2963 | 0.000000e+00 | -- | Inf
782.59/782.85 c 684s| 1170k|292989 | 3518k| 3.0 | 217M| 54 | - | 60 |4097 | 60 | 22 | 23 | 441k|2963 | 0.000000e+00 | -- | Inf
789.69/789.92 c 690s| 1180k|295209 | 3548k| 3.0 | 218M| 54 | - | 60 |3507 | 60 | 22 | 23 | 445k|2963 | 0.000000e+00 | -- | Inf
796.19/796.44 c 696s| 1190k|298006 | 3577k| 3.0 | 220M| 54 | 7 | 60 |4509 | 60 | 22 | 23 | 449k|2963 | 0.000000e+00 | -- | Inf
802.98/803.29 c 702s| 1200k|300598 | 3607k| 3.0 | 222M| 54 | - | 60 |4408 | 60 | 22 | 23 | 452k|2963 | 0.000000e+00 | -- | Inf
809.68/809.92 c 708s| 1210k|303552 | 3638k| 3.0 | 224M| 54 | - | 60 |5323 | 60 | 22 | 23 | 455k|2963 | 0.000000e+00 | -- | Inf
816.58/816.89 c 714s| 1220k|306255 | 3669k| 3.0 | 226M| 54 | 7 | 60 |4831 | 60 | 22 | 23 | 459k|2963 | 0.000000e+00 | -- | Inf
823.98/824.29 c 721s| 1230k|308294 | 3700k| 3.0 | 227M| 54 | - | 60 |3641 | 60 | 22 | 23 | 463k|2963 | 0.000000e+00 | -- | Inf
831.18/831.42 c 727s| 1240k|310619 | 3730k| 3.0 | 229M| 54 | 7 | 60 |3701 | 60 | 22 | 23 | 466k|2963 | 0.000000e+00 | -- | Inf
838.28/838.55 c 733s| 1250k|312862 | 3760k| 3.0 | 231M| 54 | 7 | 60 |3693 | 60 | 22 | 23 | 470k|2963 | 0.000000e+00 | -- | Inf
845.07/845.39 c 739s| 1260k|315458 | 3790k| 3.0 | 233M| 54 | 7 | 60 |3845 | 60 | 22 | 23 | 474k|2963 | 0.000000e+00 | -- | Inf
851.87/852.12 c 745s| 1270k|318114 | 3821k| 3.0 | 235M| 54 | 7 | 60 |5031 | 60 | 22 | 23 | 478k|2963 | 0.000000e+00 | -- | Inf
858.97/859.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
858.97/859.21 c 751s| 1280k|320590 | 3850k| 3.0 | 237M| 54 | 7 | 60 |4881 | 60 | 22 | 23 | 481k|2963 | 0.000000e+00 | -- | Inf
865.87/866.19 c 757s| 1290k|323176 | 3881k| 3.0 | 239M| 54 | 7 | 60 |5032 | 60 | 22 | 23 | 485k|2963 | 0.000000e+00 | -- | Inf
872.77/873.02 c 763s| 1300k|325987 | 3910k| 3.0 | 240M| 54 | 7 | 60 |4683 | 60 | 22 | 23 | 488k|2963 | 0.000000e+00 | -- | Inf
879.96/880.26 c 770s| 1310k|328470 | 3940k| 3.0 | 242M| 54 | 7 | 60 |4507 | 60 | 22 | 23 | 492k|2963 | 0.000000e+00 | -- | Inf
887.07/887.36 c 776s| 1320k|330978 | 3970k| 3.0 | 244M| 54 | 7 | 60 |3923 | 60 | 22 | 23 | 496k|2963 | 0.000000e+00 | -- | Inf
894.15/894.41 c 782s| 1330k|333374 | 4001k| 3.0 | 246M| 54 | 7 | 60 |3379 | 60 | 22 | 23 | 499k|2963 | 0.000000e+00 | -- | Inf
901.05/901.34 c 788s| 1340k|335565 | 4031k| 3.0 | 247M| 54 | 7 | 60 |3385 | 60 | 22 | 23 | 503k|2963 | 0.000000e+00 | -- | Inf
907.74/908.04 c 794s| 1350k|338068 | 4061k| 3.0 | 249M| 54 | 7 | 60 |3745 | 60 | 22 | 23 | 507k|2963 | 0.000000e+00 | -- | Inf
914.54/914.87 c 800s| 1360k|340583 | 4090k| 3.0 | 251M| 54 | 7 | 60 |3686 | 60 | 22 | 23 | 510k|2963 | 0.000000e+00 | -- | Inf
921.45/921.78 c 806s| 1370k|342974 | 4121k| 3.0 | 253M| 54 | 7 | 60 |3722 | 60 | 22 | 23 | 514k|2963 | 0.000000e+00 | -- | Inf
928.54/928.84 c 812s| 1380k|345337 | 4152k| 3.0 | 255M| 54 | 7 | 60 |4177 | 60 | 22 | 23 | 518k|2963 | 0.000000e+00 | -- | Inf
935.64/935.95 c 819s| 1390k|347673 | 4181k| 3.0 | 256M| 54 | - | 60 |3584 | 60 | 22 | 23 | 522k|2963 | 0.000000e+00 | -- | Inf
942.74/943.03 c 825s| 1400k|349685 | 4210k| 3.0 | 258M| 54 | - | 60 |3480 | 60 | 22 | 23 | 526k|2963 | 0.000000e+00 | -- | Inf
949.63/949.95 c 831s| 1410k|352016 | 4239k| 3.0 | 260M| 54 | 7 | 60 |3692 | 60 | 22 | 23 | 529k|2963 | 0.000000e+00 | -- | Inf
956.43/956.71 c 837s| 1420k|354424 | 4268k| 3.0 | 262M| 54 | 7 | 60 |4554 | 60 | 22 | 23 | 533k|2963 | 0.000000e+00 | -- | Inf
962.83/963.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
962.83/963.13 c 843s| 1430k|357347 | 4295k| 3.0 | 264M| 54 | - | 60 |5569 | 60 | 22 | 23 | 536k|2963 | 0.000000e+00 | -- | Inf
970.13/970.48 c 849s| 1440k|359621 | 4324k| 3.0 | 265M| 54 | - | 60 |3927 | 0 | 0 | 23 | 540k|2963 | 0.000000e+00 | -- | Inf
977.13/977.48 c 855s| 1450k|361920 | 4353k| 3.0 | 267M| 54 | 7 | 60 |3676 | 60 | 22 | 23 | 544k|2963 | 0.000000e+00 | -- | Inf
984.32/984.67 c 862s| 1460k|363960 | 4383k| 3.0 | 269M| 54 | 7 | 60 |3076 | 60 | 22 | 23 | 548k|2963 | 0.000000e+00 | -- | Inf
990.74/991.01 c 867s| 1470k|366721 | 4412k| 3.0 | 271M| 54 | - | 60 |4502 | 60 | 22 | 23 | 551k|2963 | 0.000000e+00 | -- | Inf
997.63/997.92 c 873s| 1480k|369250 | 4442k| 3.0 | 273M| 54 | 7 | 60 |4412 | 60 | 22 | 23 | 555k|2963 | 0.000000e+00 | -- | Inf
1004.43/1004.79 c 879s| 1490k|371867 | 4471k| 3.0 | 274M| 54 | - | 60 |3909 | 60 | 22 | 23 | 559k|2963 | 0.000000e+00 | -- | Inf
1011.32/1011.65 c 885s| 1500k|374281 | 4501k| 3.0 | 276M| 54 | 7 | 60 |3727 | 60 | 22 | 23 | 562k|2963 | 0.000000e+00 | -- | Inf
1018.42/1018.71 c 891s| 1510k|376395 | 4531k| 3.0 | 278M| 54 | - | 60 |3787 | 60 | 22 | 23 | 566k|2963 | 0.000000e+00 | -- | Inf
1025.02/1025.35 c 897s| 1520k|379040 | 4560k| 3.0 | 280M| 54 | 7 | 60 |4476 | 60 | 22 | 23 | 570k|2963 | 0.000000e+00 | -- | Inf
1032.11/1032.44 c 904s| 1530k|381523 | 4590k| 3.0 | 282M| 54 | - | 60 |4546 | 60 | 22 | 23 | 574k|2963 | 0.000000e+00 | -- | Inf
1039.72/1040.05 c 910s| 1540k|383669 | 4621k| 3.0 | 283M| 54 | - | 60 |3921 | 0 | 0 | 23 | 577k|2963 | 0.000000e+00 | -- | Inf
1046.92/1047.21 c 917s| 1550k|385869 | 4651k| 3.0 | 285M| 54 | 7 | 60 |4123 | 60 | 22 | 23 | 581k|2963 | 0.000000e+00 | -- | Inf
1054.01/1054.37 c 923s| 1560k|388131 | 4682k| 3.0 | 287M| 54 | - | 60 |3690 | 60 | 22 | 23 | 585k|2963 | 0.000000e+00 | -- | Inf
1061.11/1061.43 c 929s| 1570k|390393 | 4711k| 3.0 | 289M| 54 | - | 60 |3754 | 60 | 22 | 23 | 589k|2963 | 0.000000e+00 | -- | Inf
1068.00/1068.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1068.00/1068.39 c 935s| 1580k|392647 | 4741k| 3.0 | 291M| 54 | - | 60 |4122 | 60 | 22 | 23 | 593k|2963 | 0.000000e+00 | -- | Inf
1075.31/1075.64 c 942s| 1590k|394693 | 4771k| 3.0 | 292M| 54 | 7 | 60 |3604 | 60 | 22 | 23 | 597k|2963 | 0.000000e+00 | -- | Inf
1082.50/1082.89 c 948s| 1600k|396793 | 4802k| 3.0 | 294M| 54 | 7 | 60 |3563 | 60 | 22 | 23 | 600k|2963 | 0.000000e+00 | -- | Inf
1089.40/1089.76 c 954s| 1610k|399249 | 4832k| 3.0 | 296M| 54 | 7 | 60 |4601 | 60 | 22 | 23 | 604k|2963 | 0.000000e+00 | -- | Inf
1096.70/1097.03 c 961s| 1620k|401480 | 4862k| 3.0 | 298M| 54 | 7 | 60 |4009 | 60 | 22 | 23 | 608k|2963 | 0.000000e+00 | -- | Inf
1103.79/1104.10 c 967s| 1630k|403812 | 4893k| 3.0 | 299M| 54 | 7 | 60 |3762 | 60 | 22 | 23 | 612k|2963 | 0.000000e+00 | -- | Inf
1111.00/1111.36 c 973s| 1640k|405956 | 4923k| 3.0 | 301M| 54 | - | 60 |3536 | 60 | 22 | 23 | 615k|2963 | 0.000000e+00 | -- | Inf
1118.19/1118.57 c 980s| 1650k|408029 | 4954k| 3.0 | 303M| 54 | 7 | 60 |3434 | 60 | 22 | 23 | 619k|2963 | 0.000000e+00 | -- | Inf
1125.29/1125.60 c 986s| 1660k|410328 | 4983k| 3.0 | 304M| 54 | - | 60 |3584 | 0 | 0 | 23 | 623k|2963 | 0.000000e+00 | -- | Inf
1132.29/1132.66 c 992s| 1670k|412633 | 5013k| 3.0 | 306M| 54 | 7 | 60 |3481 | 60 | 22 | 23 | 627k|2963 | 0.000000e+00 | -- | Inf
1138.89/1139.20 c 998s| 1680k|415135 | 5042k| 3.0 | 308M| 54 | 7 | 60 |5080 | 60 | 22 | 23 | 630k|2963 | 0.000000e+00 | -- | Inf
1146.28/1146.67 c 1004s| 1690k|417310 | 5071k| 3.0 | 310M| 54 | 7 | 60 |3288 | 60 | 22 | 23 | 634k|2963 | 0.000000e+00 | -- | Inf
1152.99/1153.34 c 1010s| 1700k|419840 | 5100k| 3.0 | 312M| 54 | 7 | 60 |4050 | 60 | 22 | 23 | 638k|2963 | 0.000000e+00 | -- | Inf
1160.09/1160.45 c 1016s| 1710k|422142 | 5130k| 3.0 | 313M| 54 | - | 60 |3431 | 60 | 22 | 23 | 642k|2963 | 0.000000e+00 | -- | Inf
1167.08/1167.48 c 1022s| 1720k|424341 | 5159k| 3.0 | 315M| 54 | - | 60 |3952 | 60 | 22 | 23 | 645k|2963 | 0.000000e+00 | -- | Inf
1174.28/1174.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1174.28/1174.60 c 1029s| 1730k|426636 | 5190k| 3.0 | 317M| 54 | 7 | 60 |3843 | 60 | 22 | 23 | 649k|2963 | 0.000000e+00 | -- | Inf
1181.58/1181.97 c 1035s| 1740k|428777 | 5220k| 3.0 | 319M| 54 | 7 | 60 |3360 | 60 | 22 | 23 | 653k|2963 | 0.000000e+00 | -- | Inf
1188.68/1189.04 c 1041s| 1750k|431006 | 5250k| 3.0 | 321M| 54 | 7 | 60 |3874 | 60 | 22 | 23 | 657k|2963 | 0.000000e+00 | -- | Inf
1195.77/1196.19 c 1048s| 1760k|433215 | 5281k| 3.0 | 322M| 54 | - | 60 |3515 | 60 | 22 | 23 | 660k|2963 | 0.000000e+00 | -- | Inf
1202.78/1203.10 c 1054s| 1770k|435501 | 5311k| 3.0 | 324M| 54 | - | 60 |4063 | 60 | 22 | 23 | 664k|2963 | 0.000000e+00 | -- | Inf
1209.58/1209.95 c 1060s| 1780k|438062 | 5342k| 3.0 | 326M| 54 | - | 60 |4513 | 60 | 22 | 23 | 668k|2963 | 0.000000e+00 | -- | Inf
1216.87/1217.20 c 1066s| 1790k|440251 | 5371k| 3.0 | 328M| 54 | 7 | 60 |4144 | 60 | 22 | 23 | 671k|2963 | 0.000000e+00 | -- | Inf
1223.98/1224.34 c 1073s| 1800k|442509 | 5402k| 3.0 | 329M| 54 | - | 60 |3891 | 60 | 22 | 23 | 675k|2963 | 0.000000e+00 | -- | Inf
1231.36/1231.71 c 1079s| 1810k|444566 | 5432k| 3.0 | 331M| 54 | 7 | 60 |3813 | 60 | 22 | 23 | 679k|2963 | 0.000000e+00 | -- | Inf
1238.76/1239.11 c 1086s| 1820k|446563 | 5462k| 3.0 | 333M| 54 | - | 60 |3744 | 60 | 22 | 23 | 683k|2963 | 0.000000e+00 | -- | Inf
1245.97/1246.39 c 1092s| 1830k|448652 | 5492k| 3.0 | 334M| 54 | 7 | 60 |3591 | 60 | 22 | 23 | 686k|2963 | 0.000000e+00 | -- | Inf
1253.16/1253.57 c 1098s| 1840k|450800 | 5521k| 3.0 | 336M| 54 | 7 | 60 |3931 | 60 | 22 | 23 | 690k|2963 | 0.000000e+00 | -- | Inf
1260.56/1260.94 c 1105s| 1850k|452816 | 5551k| 3.0 | 338M| 54 | 7 | 60 |3658 | 60 | 22 | 23 | 694k|2963 | 0.000000e+00 | -- | Inf
1267.55/1267.94 c 1111s| 1860k|455032 | 5581k| 3.0 | 340M| 54 | 7 | 60 |4222 | 60 | 22 | 23 | 698k|2963 | 0.000000e+00 | -- | Inf
1274.85/1275.27 c 1117s| 1870k|457216 | 5611k| 3.0 | 341M| 54 | 7 | 60 |3969 | 60 | 22 | 23 | 702k|2963 | 0.000000e+00 | -- | Inf
1282.16/1282.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1282.16/1282.55 c 1124s| 1880k|459432 | 5641k| 3.0 | 343M| 54 | - | 60 |3907 | 60 | 22 | 23 | 706k|2963 | 0.000000e+00 | -- | Inf
1289.05/1289.47 c 1130s| 1890k|461842 | 5672k| 3.0 | 345M| 54 | - | 60 |4504 | 0 | 0 | 23 | 709k|2963 | 0.000000e+00 | -- | Inf
1296.24/1296.68 c 1136s| 1900k|464093 | 5701k| 3.0 | 347M| 54 | 7 | 60 |4430 | 60 | 22 | 23 | 713k|2963 | 0.000000e+00 | -- | Inf
1303.54/1303.99 c 1143s| 1910k|466171 | 5731k| 3.0 | 348M| 54 | 7 | 60 |3855 | 60 | 22 | 23 | 717k|2963 | 0.000000e+00 | -- | Inf
1310.44/1310.82 c 1149s| 1920k|468679 | 5760k| 3.0 | 350M| 54 | 7 | 60 |4369 | 60 | 22 | 23 | 720k|2963 | 0.000000e+00 | -- | Inf
1317.45/1317.81 c 1155s| 1930k|470987 | 5789k| 3.0 | 352M| 54 | - | 60 |4449 | 60 | 22 | 23 | 724k|2963 | 0.000000e+00 | -- | Inf
1324.74/1325.17 c 1161s| 1940k|473165 | 5820k| 3.0 | 354M| 54 | - | 60 |3883 | 60 | 22 | 23 | 728k|2963 | 0.000000e+00 | -- | Inf
1331.34/1331.74 c 1167s| 1950k|476052 | 5848k| 3.0 | 356M| 54 | 7 | 60 |4320 | 60 | 22 | 23 | 731k|2963 | 0.000000e+00 | -- | Inf
1338.63/1339.02 c 1174s| 1960k|478302 | 5877k| 3.0 | 357M| 54 | 7 | 60 |4128 | 60 | 22 | 23 | 735k|2963 | 0.000000e+00 | -- | Inf
1346.04/1346.45 c 1180s| 1970k|480339 | 5908k| 3.0 | 359M| 54 | - | 60 |3805 | 60 | 22 | 23 | 739k|2963 | 0.000000e+00 | -- | Inf
1352.93/1353.32 c 1186s| 1980k|482737 | 5937k| 3.0 | 361M| 54 | - | 60 |4361 | 60 | 22 | 23 | 743k|2963 | 0.000000e+00 | -- | Inf
1359.63/1360.04 c 1192s| 1990k|485506 | 5966k| 3.0 | 363M| 54 | - | 60 |5077 | 60 | 22 | 23 | 746k|2963 | 0.000000e+00 | -- | Inf
1366.73/1367.10 c 1198s| 2000k|488113 | 5993k| 3.0 | 365M| 54 | 7 | 60 |5790 | 60 | 22 | 23 | 750k|2963 | 0.000000e+00 | -- | Inf
1373.92/1374.37 c 1205s| 2010k|490441 | 6019k| 3.0 | 367M| 54 | - | 60 |6125 | 60 | 22 | 23 | 754k|2963 | 0.000000e+00 | -- | Inf
1381.33/1381.77 c 1211s| 2020k|492665 | 6047k| 3.0 | 368M| 54 | - | 60 |5091 | 60 | 22 | 23 | 758k|2963 | 0.000000e+00 | -- | Inf
1389.02/1389.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1389.02/1389.48 c 1218s| 2030k|494762 | 6077k| 3.0 | 370M| 54 | 7 | 60 |4073 | 60 | 22 | 23 | 762k|2963 | 0.000000e+00 | -- | Inf
1396.42/1396.89 c 1225s| 2040k|496806 | 6108k| 3.0 | 372M| 54 | - | 60 |4330 | 0 | 0 | 23 | 766k|2963 | 0.000000e+00 | -- | Inf
1403.62/1404.02 c 1231s| 2050k|499139 | 6137k| 3.0 | 373M| 54 | - | 60 |3883 | 60 | 22 | 23 | 769k|2963 | 0.000000e+00 | -- | Inf
1410.83/1411.27 c 1237s| 2060k|501177 | 6167k| 3.0 | 375M| 54 | - | 60 |4121 | 60 | 22 | 23 | 773k|2963 | 0.000000e+00 | -- | Inf
1417.72/1418.14 c 1243s| 2070k|503779 | 6198k| 3.0 | 377M| 54 | - | 60 |5316 | 60 | 22 | 23 | 777k|2963 | 0.000000e+00 | -- | Inf
1425.23/1425.66 c 1250s| 2080k|505985 | 6229k| 3.0 | 379M| 54 | 7 | 60 |4582 | 60 | 22 | 23 | 780k|2963 | 0.000000e+00 | -- | Inf
1432.41/1432.87 c 1257s| 2090k|508231 | 6258k| 3.0 | 381M| 54 | 7 | 60 |4680 | 60 | 22 | 23 | 784k|2963 | 0.000000e+00 | -- | Inf
1440.01/1440.41 c 1263s| 2100k|510418 | 6288k| 3.0 | 382M| 54 | - | 60 |3670 | 60 | 22 | 23 | 788k|2963 | 0.000000e+00 | -- | Inf
1447.01/1447.41 c 1269s| 2110k|512727 | 6319k| 3.0 | 384M| 54 | 7 | 60 |4439 | 60 | 22 | 23 | 791k|2963 | 0.000000e+00 | -- | Inf
1454.21/1454.60 c 1276s| 2120k|515131 | 6348k| 3.0 | 386M| 54 | - | 60 |4144 | 60 | 22 | 23 | 795k|2963 | 0.000000e+00 | -- | Inf
1461.42/1461.83 c 1282s| 2130k|517346 | 6378k| 3.0 | 388M| 54 | - | 60 |4074 | 60 | 22 | 23 | 799k|2963 | 0.000000e+00 | -- | Inf
1468.80/1469.29 c 1289s| 2140k|519413 | 6408k| 3.0 | 389M| 54 | 7 | 60 |3541 | 60 | 22 | 23 | 803k|2963 | 0.000000e+00 | -- | Inf
1476.11/1476.54 c 1295s| 2150k|521437 | 6438k| 3.0 | 391M| 54 | - | 60 |3864 | 60 | 22 | 23 | 807k|2963 | 0.000000e+00 | -- | Inf
1482.90/1483.37 c 1301s| 2160k|524202 | 6467k| 3.0 | 393M| 54 | 7 | 60 |4163 | 60 | 22 | 23 | 810k|2963 | 0.000000e+00 | -- | Inf
1489.40/1489.80 c 1307s| 2170k|527337 | 6498k| 3.0 | 395M| 54 | 7 | 60 |5623 | 60 | 22 | 23 | 813k|2963 | 0.000000e+00 | -- | Inf
1496.49/1496.92 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1496.49/1496.92 c 1313s| 2180k|529923 | 6529k| 3.0 | 397M| 54 | 7 | 60 |6174 | 60 | 22 | 23 | 816k|2963 | 0.000000e+00 | -- | Inf
1504.09/1504.57 c 1320s| 2190k|532290 | 6560k| 3.0 | 398M| 54 | 7 | 60 |4439 | 60 | 22 | 23 | 820k|2963 | 0.000000e+00 | -- | Inf
1511.39/1511.84 c 1326s| 2200k|534516 | 6591k| 3.0 | 400M| 54 | 7 | 60 |4673 | 60 | 22 | 23 | 824k|2963 | 0.000000e+00 | -- | Inf
1518.79/1519.25 c 1333s| 2210k|536706 | 6621k| 3.0 | 402M| 54 | 7 | 60 |4256 | 60 | 22 | 23 | 828k|2963 | 0.000000e+00 | -- | Inf
1526.19/1526.64 c 1339s| 2220k|538861 | 6651k| 3.0 | 404M| 54 | 7 | 60 |4035 | 60 | 22 | 23 | 831k|2963 | 0.000000e+00 | -- | Inf
1533.28/1533.71 c 1346s| 2230k|540984 | 6681k| 3.0 | 405M| 54 | 7 | 60 |3744 | 60 | 22 | 23 | 835k|2963 | 0.000000e+00 | -- | Inf
1540.29/1540.72 c 1352s| 2240k|543262 | 6711k| 3.0 | 407M| 54 | - | 60 |4087 | 60 | 22 | 23 | 839k|2963 | 0.000000e+00 | -- | Inf
1547.30/1547.75 c 1358s| 2250k|545594 | 6741k| 3.0 | 409M| 54 | 7 | 60 |4497 | 60 | 22 | 23 | 842k|2963 | 0.000000e+00 | -- | Inf
1554.48/1554.97 c 1364s| 2260k|547803 | 6771k| 3.0 | 411M| 54 | 7 | 60 |4263 | 60 | 22 | 23 | 846k|2963 | 0.000000e+00 | -- | Inf
1561.59/1562.05 c 1370s| 2270k|550284 | 6801k| 3.0 | 413M| 54 | 7 | 60 |4556 | 60 | 22 | 23 | 850k|2963 | 0.000000e+00 | -- | Inf
1568.58/1569.02 c 1377s| 2280k|552794 | 6831k| 3.0 | 415M| 54 | - | 60 |5432 | 60 | 22 | 23 | 853k|2963 | 0.000000e+00 | -- | Inf
1575.98/1576.47 c 1383s| 2290k|554982 | 6861k| 3.0 | 416M| 54 | - | 60 |4731 | 60 | 22 | 23 | 857k|2963 | 0.000000e+00 | -- | Inf
1583.08/1583.59 c 1390s| 2300k|557399 | 6891k| 3.0 | 418M| 54 | 7 | 60 |4946 | 60 | 22 | 23 | 861k|2963 | 0.000000e+00 | -- | Inf
1590.57/1591.05 c 1396s| 2310k|559600 | 6921k| 3.0 | 420M| 54 | 7 | 60 |4217 | 60 | 22 | 23 | 864k|2963 | 0.000000e+00 | -- | Inf
1597.57/1598.08 c 1402s| 2320k|562022 | 6950k| 3.0 | 422M| 54 | - | 60 |4292 | 60 | 22 | 23 | 868k|2963 | 0.000000e+00 | -- | Inf
1604.87/1605.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1604.87/1605.39 c 1409s| 2330k|564173 | 6979k| 3.0 | 423M| 54 | 7 | 60 |4115 | 60 | 22 | 23 | 872k|2963 | 0.000000e+00 | -- | Inf
1611.97/1612.44 c 1415s| 2340k|566488 | 7007k| 3.0 | 425M| 54 | - | 60 |4460 | 60 | 22 | 23 | 876k|2963 | 0.000000e+00 | -- | Inf
1619.26/1619.76 c 1422s| 2350k|568687 | 7038k| 3.0 | 427M| 54 | 7 | 60 |3812 | 60 | 22 | 23 | 880k|2963 | 0.000000e+00 | -- | Inf
1626.57/1627.08 c 1428s| 2360k|570791 | 7068k| 3.0 | 428M| 54 | 7 | 60 |3485 | 60 | 22 | 23 | 883k|2963 | 0.000000e+00 | -- | Inf
1633.66/1634.11 c 1434s| 2370k|573059 | 7097k| 3.0 | 430M| 54 | - | 60 |3986 | 0 | 0 | 23 | 887k|2963 | 0.000000e+00 | -- | Inf
1641.06/1641.55 c 1441s| 2380k|575153 | 7128k| 3.0 | 432M| 54 | 7 | 60 |3839 | 60 | 22 | 23 | 891k|2963 | 0.000000e+00 | -- | Inf
1648.16/1648.68 c 1447s| 2390k|577547 | 7158k| 3.0 | 434M| 54 | 7 | 60 |3786 | 60 | 22 | 23 | 895k|2963 | 0.000000e+00 | -- | Inf
1655.46/1655.94 c 1453s| 2400k|579708 | 7188k| 3.0 | 435M| 54 | - | 60 |3598 | 60 | 22 | 23 | 899k|2963 | 0.000000e+00 | -- | Inf
1662.36/1662.88 c 1459s| 2410k|582235 | 7217k| 3.0 | 437M| 54 | - | 60 |3801 | 60 | 22 | 23 | 902k|2963 | 0.000000e+00 | -- | Inf
1669.26/1669.74 c 1466s| 2420k|584736 | 7247k| 3.0 | 439M| 54 | 7 | 60 |4537 | 60 | 22 | 23 | 906k|2963 | 0.000000e+00 | -- | Inf
1676.05/1676.50 c 1471s| 2430k|587333 | 7277k| 3.0 | 441M| 54 | - | 60 |5565 | 60 | 22 | 23 | 909k|2963 | 0.000000e+00 | -- | Inf
1683.56/1684.04 c 1478s| 2440k|589536 | 7307k| 3.0 | 443M| 54 | 7 | 60 |4348 | 60 | 22 | 23 | 913k|2963 | 0.000000e+00 | -- | Inf
1690.55/1691.08 c 1484s| 2450k|591901 | 7336k| 3.0 | 444M| 54 | 7 | 60 |4468 | 60 | 22 | 23 | 916k|2963 | 0.000000e+00 | -- | Inf
1697.95/1698.48 c 1491s| 2460k|594020 | 7366k| 3.0 | 446M| 54 | - | 60 |4205 | 60 | 22 | 23 | 920k|2963 | 0.000000e+00 | -- | Inf
1704.74/1705.20 c 1497s| 2470k|596737 | 7394k| 3.0 | 448M| 54 | 7 | 60 |5069 | 60 | 22 | 23 | 923k|2963 | 0.000000e+00 | -- | Inf
1712.15/1712.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1712.15/1712.64 c 1503s| 2480k|598927 | 7425k| 3.0 | 450M| 54 | 7 | 60 |5001 | 60 | 22 | 23 | 927k|2963 | 0.000000e+00 | -- | Inf
1719.44/1719.98 c 1510s| 2490k|601213 | 7454k| 3.0 | 451M| 54 | 7 | 60 |4375 | 60 | 22 | 23 | 931k|2963 | 0.000000e+00 | -- | Inf
1726.94/1727.47 c 1517s| 2500k|603305 | 7483k| 3.0 | 453M| 54 | 7 | 60 |3891 | 60 | 22 | 23 | 935k|2963 | 0.000000e+00 | -- | Inf
1734.03/1734.51 c 1523s| 2510k|605552 | 7512k| 3.0 | 455M| 54 | 7 | 60 |4498 | 60 | 22 | 23 | 939k|2963 | 0.000000e+00 | -- | Inf
1741.43/1741.98 c 1529s| 2520k|607717 | 7542k| 3.0 | 456M| 54 | - | 60 |4242 | 60 | 22 | 23 | 942k|2963 | 0.000000e+00 | -- | Inf
1748.84/1749.31 c 1536s| 2530k|609937 | 7572k| 3.0 | 458M| 54 | - | 60 |3710 | 60 | 22 | 23 | 946k|2963 | 0.000000e+00 | -- | Inf
1755.63/1756.10 c 1542s| 2540k|612302 | 7603k| 3.0 | 460M| 54 | - | 60 |4590 | 60 | 22 | 23 | 950k|2963 | 0.000000e+00 | -- | Inf
1762.93/1763.40 c 1548s| 2550k|614455 | 7632k| 3.0 | 462M| 54 | 7 | 60 |4335 | 60 | 22 | 23 | 954k|2963 | 0.000000e+00 | -- | Inf
1770.23/1770.73 c 1555s| 2560k|616683 | 7661k| 3.0 | 463M| 54 | - | 60 |3557 | 60 | 22 | 23 | 957k|2963 | 0.000000e+00 | -- | Inf
1777.03/1777.54 c 1561s| 2570k|618962 | 7691k| 3.0 | 465M| 54 | - | 60 |4208 | 60 | 22 | 23 | 961k|2963 | 0.000000e+00 | -- | Inf
1784.03/1784.54 c 1567s| 2580k|621382 | 7720k| 3.0 | 467M| 54 | - | 60 |4211 | 60 | 22 | 23 | 965k|2963 | 0.000000e+00 | -- | Inf
1791.33/1791.87 c 1573s| 2590k|623465 | 7750k| 3.0 | 469M| 54 | - | 60 |3654 | 60 | 22 | 23 | 968k|2963 | 0.000000e+00 | -- | Inf
1798.42/1798.95 c 1580s| 2600k|625677 | 7780k| 3.0 | 470M| 54 | 7 | 60 |4428 | 60 | 22 | 23 | 972k|2963 | 0.000000e+00 | -- | Inf
1800.03/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.50 c
1800.03/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.50 c Solving Time (sec) : 1580.89
1800.03/1800.50 c Solving Nodes : 2602442
1800.03/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.03/1800.50 c Dual Bound : +0.00000000000000e+00
1800.03/1800.50 c Gap : infinite
1800.03/1800.50 s UNKNOWN
1800.03/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.50 c Solving Time : 1580.89
1800.03/1800.50 c Original Problem :
1800.03/1800.50 c Problem name : HOME/instance-2665439-1276598770.opb
1800.03/1800.50 c Variables : 61 (61 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.50 c Constraints : 15 initial, 15 maximal
1800.03/1800.50 c Presolved Problem :
1800.03/1800.50 c Problem name : t_HOME/instance-2665439-1276598770.opb
1800.03/1800.50 c Variables : 60 (60 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.03/1800.50 c Constraints : 7 initial, 6453 maximal
1800.03/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.03/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.03/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c probing : 0.01 0 0 0 0 0 0 0 0
1800.03/1800.50 c linear : 0.00 0 0 0 0 0 8 0 0
1800.03/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.03/1800.50 c root node : - 0 - - 0 - - - -
1800.03/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.03/1800.50 c integral : 0 0 0 1617629 0 242 1192 0 0 3232534
1800.03/1800.50 c linear : 7+ 7 6003708 0 0 96204 2656350 0 0 0
1800.03/1800.50 c logicor : 0+ 0 2427031 0 0 3617 855766 0 0 0
1800.03/1800.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.03/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.03/1800.50 c integral : 22.61 0.00 0.00 22.61 0.00
1800.03/1800.50 c linear : 300.99 0.00 300.99 0.00 0.00
1800.03/1800.50 c logicor : 179.57 0.00 179.57 0.00 0.00
1800.03/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.03/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.03/1800.50 c vbounds : 3.01 2 0 0
1800.03/1800.50 c rootredcost : 2.93 0 0 0
1800.03/1800.50 c pseudoobj : 2.68 0 0 0
1800.03/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.03/1800.50 c propagation : 14.32 99821 90610 328913 41.5 4 38.0 -
1800.03/1800.50 c infeasible LP : 49.68 889942 675988 1168826 27.1 3500 30.5 0
1800.03/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.03/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.03/1800.50 c applied globally : - - - 798954 22.8 - - -
1800.03/1800.50 c applied locally : - - - 174736 37.0 - - -
1800.03/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.03/1800.50 c cut pool : 0.00 5 - - 17 - (maximal pool size: 70)
1800.03/1800.50 c redcost : 4.05 1617634 0 0 0 0
1800.03/1800.50 c impliedbounds : 0.00 6 0 0 0 0
1800.03/1800.50 c intobj : 0.00 0 0 0 0 0
1800.03/1800.50 c cgmip : 0.00 0 0 0 0 0
1800.03/1800.50 c gomory : 0.00 6 0 0 0 0
1800.03/1800.50 c strongcg : 0.00 6 0 0 27 0
1800.03/1800.50 c cmir : 0.04 6 0 0 30 0
1800.03/1800.50 c flowcover : 0.02 6 0 0 30 0
1800.03/1800.50 c clique : 0.00 1 0 0 0 0
1800.03/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.03/1800.50 c mcf : 0.00 1 0 0 0 0
1800.03/1800.50 c rapidlearning : 0.09 1 0 0 0 5
1800.03/1800.50 c Pricers : Time Calls Vars
1800.03/1800.50 c problem variables: 0.00 0 0
1800.03/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.03/1800.50 c relpscost : 20.20 1617629 242 1192 0 0 3232534
1800.03/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.03/1800.50 c inference : 0.00 0 0 0 0 0 0
1800.03/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.03/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.03/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.03/1800.50 c random : 0.00 0 0 0 0 0 0
1800.03/1800.50 c Primal Heuristics : Time Calls Found
1800.03/1800.50 c LP solutions : 0.00 - 0
1800.03/1800.50 c pseudo solutions : 0.00 - 0
1800.03/1800.50 c oneopt : 2.59 0 0
1800.03/1800.50 c crossover : 1.64 0 0
1800.03/1800.50 c guideddiving : 0.17 0 0
1800.03/1800.50 c intshifting : 0.12 0 0
1800.03/1800.50 c pscostdiving : 0.24 32 0
1800.03/1800.50 c fracdiving : 0.24 32 0
1800.03/1800.50 c veclendiving : 0.17 32 0
1800.03/1800.50 c linesearchdiving : 0.16 32 0
1800.03/1800.50 c coefdiving : 0.20 33 0
1800.03/1800.50 c objpscostdiving : 0.11 17 0
1800.03/1800.50 c rootsoldiving : 0.18 17 0
1800.03/1800.50 c feaspump : 0.13 17 0
1800.03/1800.50 c trivial : 0.00 2 0
1800.03/1800.50 c simplerounding : 0.80 0 0
1800.03/1800.50 c zirounding : 1.51 1000 0
1800.03/1800.50 c rounding : 1.89 17965 0
1800.03/1800.50 c shifting : 4.44 5584 0
1800.03/1800.50 c twoopt : 0.00 0 0
1800.03/1800.50 c fixandinfer : 0.00 0 0
1800.03/1800.50 c intdiving : 0.00 0 0
1800.03/1800.50 c actconsdiving : 0.00 0 0
1800.03/1800.50 c octane : 0.00 0 0
1800.03/1800.50 c rens : 0.14 1 0
1800.03/1800.50 c rins : 0.00 0 0
1800.03/1800.50 c localbranching : 0.00 0 0
1800.03/1800.50 c mutation : 0.00 0 0
1800.03/1800.50 c dins : 0.00 0 0
1800.03/1800.50 c undercover : 0.00 0 0
1800.03/1800.50 c nlp : 1.17 0 0
1800.03/1800.50 c trysol : 1.86 0 0
1800.03/1800.50 c LP : Time Calls Iterations Iter/call Iter/sec
1800.03/1800.50 c primal LP : 0.00 0 0 0.00 -
1800.03/1800.50 c dual LP : 607.81 2447079 7785149 3.18 12808.52
1800.03/1800.50 c lex dual LP : 0.00 0 0 0.00 -
1800.03/1800.50 c barrier LP : 0.00 0 0 0.00 -
1800.03/1800.50 c diving/probing LP: 0.23 887 1756 1.98 7634.78
1800.03/1800.51 c strong branching : 1.24 2963 18421 6.22 14855.65
1800.03/1800.51 c (at root node) : - 9 625 69.44 -
1800.03/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.03/1800.51 c B&B Tree :
1800.03/1800.51 c number of runs : 1
1800.03/1800.51 c nodes : 2602442
1800.03/1800.51 c nodes (total) : 2602442
1800.03/1800.51 c nodes left : 626316
1800.03/1800.51 c max depth : 54
1800.03/1800.51 c max depth (total): 54
1800.03/1800.51 c backtracks : 247230 (9.5%)
1800.03/1800.51 c delayed cutoffs : 3777
1800.03/1800.51 c repropagations : 2333985 (826557 domain reductions, 3441 cutoffs)
1800.03/1800.51 c avg switch length: 5.22
1800.03/1800.51 c switching time : 197.14
1800.03/1800.51 c Solution :
1800.03/1800.51 c Solutions found : 0 (0 improvements)
1800.03/1800.51 c Primal Bound : -
1800.03/1800.51 c Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Gap : infinite
1800.03/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.03/1800.51 c Root Iterations : 102
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665439-1276598770/watcher-2665439-1276598770 -o /tmp/evaluation-result-2665439-1276598770/solver-2665439-1276598770 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665439-1276598770.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 11024
/proc/meminfo: memFree=1432772/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=9288 CPUtime=0
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 1114 0 0 0 0 0 0 0 23 0 1 0 1167949 9510912 1034 1992294400 4194304 9819077 140734546146080 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11024/statm: 2322 1044 371 1374 0 943 0
[startup+0.0487241 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11024
/proc/meminfo: memFree=1432772/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=20688 CPUtime=0.04
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 4489 0 0 0 3 1 0 0 23 0 1 0 1167949 21184512 3533 1992294400 4194304 9819077 140734546146080 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 5172 3537 668 1374 0 3793 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 20688
[startup+0.100729 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11024
/proc/meminfo: memFree=1432772/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=21848 CPUtime=0.09
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 5053 0 0 0 7 2 0 0 23 0 1 0 1167949 22372352 3839 1992294400 4194304 9819077 140734546146080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 5462 3839 676 1374 0 4083 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21848
[startup+0.300748 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11024
/proc/meminfo: memFree=1432772/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=23532 CPUtime=0.29
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 9094 0 0 0 25 4 0 0 23 0 1 0 1167949 24096768 4086 1992294400 4194304 9819077 140734546146080 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 5883 4086 713 1374 0 4504 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23532
[startup+0.700785 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11024
/proc/meminfo: memFree=1432772/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=15736 CPUtime=0.69
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 17809 0 0 0 55 14 0 0 25 0 1 0 1167949 16113664 2654 1992294400 4194304 9819077 140734546146080 18446744073709551615 8655442 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 3854 2651 723 1374 0 2475 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15736
[startup+1.50086 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11025
/proc/meminfo: memFree=1424332/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=15856 CPUtime=1.49
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 27656 0 0 0 124 25 0 0 25 0 1 0 1167949 16236544 2656 1992294400 4194304 9819077 140734546146080 18446744073709551615 8655056 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 3964 2656 723 1374 0 2585 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15856
[startup+3.10101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11025
/proc/meminfo: memFree=1424208/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=17388 CPUtime=3.09
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 43696 0 0 0 263 46 0 0 25 0 1 0 1167949 17805312 3039 1992294400 4194304 9819077 140734546146080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 4347 3039 723 1374 0 2968 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17388
[startup+6.30132 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11025
/proc/meminfo: memFree=1420620/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=19512 CPUtime=6.29
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 75023 0 0 0 538 91 0 0 25 0 1 0 1167949 19980288 3659 1992294400 4194304 9819077 140734546146080 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 4918 3659 724 1374 0 3539 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19512
[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11025
/proc/meminfo: memFree=1417768/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=22600 CPUtime=12.69
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 136414 0 0 0 1091 178 0 0 25 0 1 0 1167949 23142400 4337 1992294400 4194304 9819077 140734546146080 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 5650 4337 724 1374 0 4271 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22600
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11025
/proc/meminfo: memFree=1412560/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=27624 CPUtime=25.49
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 264236 0 0 0 2193 356 0 0 25 0 1 0 1167949 28286976 5623 1992294400 4194304 9819077 140734546146080 18446744073709551615 4221557 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 6906 5623 725 1374 0 5527 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27624
[startup+51.1006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11025
/proc/meminfo: memFree=1402888/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=37220 CPUtime=51.07
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 511809 0 0 0 4406 701 0 0 25 0 1 0 1167949 38113280 8060 1992294400 4194304 9819077 140734546146080 18446744073709551615 4979399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 9305 8060 725 1374 0 7926 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 37220
[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11027
/proc/meminfo: memFree=1384536/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=55152 CPUtime=102.27
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 992023 0 0 0 8870 1357 0 0 25 0 1 0 1167949 56475648 12604 1992294400 4194304 9819077 140734546146080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 13788 12604 725 1374 0 12409 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 55152
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11029
/proc/meminfo: memFree=1366928/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=74208 CPUtime=162.24
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 1538465 0 0 0 14100 2124 0 0 25 0 1 0 1167949 75988992 16964 1992294400 4194304 9819077 140734546146080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 18552 16964 725 1374 0 17173 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 74208
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11031
/proc/meminfo: memFree=1347460/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=93708 CPUtime=222.23
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 2083367 0 0 0 19323 2900 0 0 25 0 1 0 1167949 95956992 21887 1992294400 4194304 9819077 140734546146080 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 23427 21887 725 1374 0 22048 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 93708
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11033
/proc/meminfo: memFree=1330348/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=109940 CPUtime=282.21
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 2607930 0 0 0 24566 3655 0 0 25 0 1 0 1167949 112578560 26038 1992294400 4194304 9819077 140734546146080 18446744073709551615 6513096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 27485 26038 725 1374 0 26106 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 109940
[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11033
/proc/meminfo: memFree=1313484/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=126540 CPUtime=342.19
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 3135383 0 0 0 29807 4412 0 0 25 0 1 0 1167949 129576960 30262 1992294400 4194304 9819077 140734546146080 18446744073709551615 7096661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 31635 30262 725 1374 0 30256 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 126540
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11035
/proc/meminfo: memFree=1296620/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=142736 CPUtime=402.19
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 3659914 0 0 0 35054 5165 0 0 25 0 1 0 1167949 146161664 34392 1992294400 4194304 9819077 140734546146080 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 35724 34393 725 1374 0 34345 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 142736
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11037
/proc/meminfo: memFree=1279260/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=159880 CPUtime=462.17
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 4177574 0 0 0 40296 5921 0 0 25 0 1 0 1167949 163717120 38718 1992294400 4194304 9819077 140734546146080 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 39970 38718 725 1374 0 38591 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 159880
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11039
/proc/meminfo: memFree=1262148/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=181612 CPUtime=522.15
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 4699825 0 0 0 45534 6681 0 0 25 0 1 0 1167949 185970688 43229 1992294400 4194304 9819077 140734546146080 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 45403 43229 725 1374 0 44024 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 181612
[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11041
/proc/meminfo: memFree=1243424/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=198792 CPUtime=582.14
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 5217250 0 0 0 50800 7414 0 0 25 0 1 0 1167949 203563008 47599 1992294400 4194304 9819077 140734546146080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 49698 47599 725 1374 0 48319 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 198792
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11041
/proc/meminfo: memFree=1228916/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=212636 CPUtime=642.13
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 5736597 0 0 0 56065 8148 0 0 25 0 1 0 1167949 217739264 51191 1992294400 4194304 9819077 140734546146080 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 53199 51192 725 1374 0 51820 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 212636
[startup+702.301 s]
################
# More data... #
################
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 9297149 0 0 0 92986 13215 0 0 25 0 1 0 1167949 329183232 78821 1992294400 4194304 9819077 140734546146080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 80367 78821 725 1374 0 78988 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 321468
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11064
/proc/meminfo: memFree=1099088/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=339196 CPUtime=1121.99
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 9803739 0 0 0 98282 13917 0 0 25 0 1 0 1167949 347336704 83351 1992294400 4194304 9819077 140734546146080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 84799 83351 725 1374 0 83420 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 339196
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11066
/proc/meminfo: memFree=1082348/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=355532 CPUtime=1181.98
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 10306501 0 0 0 103548 14650 0 0 25 0 1 0 1167949 364064768 87537 1992294400 4194304 9819077 140734546146080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 88883 87537 725 1374 0 87504 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 355532
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11066
/proc/meminfo: memFree=1070072/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=368220 CPUtime=1241.97
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 10810207 0 0 0 108842 15355 0 0 25 0 1 0 1167949 377057280 90697 1992294400 4194304 9819077 140734546146080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 92055 90697 725 1374 0 90676 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 368220
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11068
/proc/meminfo: memFree=1051968/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=393284 CPUtime=1301.95
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 11307880 0 0 0 114124 16071 0 0 25 0 1 0 1167949 402722816 95027 1992294400 4194304 9819077 140734546146080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 98321 95027 725 1374 0 96942 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 393284
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11070
/proc/meminfo: memFree=1039444/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=405484 CPUtime=1361.93
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 11809032 0 0 0 119412 16781 0 0 25 0 1 0 1167949 415215616 98179 1992294400 4194304 9819077 140734546146080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 101371 98179 725 1374 0 99992 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 405484
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11072
/proc/meminfo: memFree=1023076/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=421260 CPUtime=1421.92
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 12294335 0 0 0 124715 17477 0 0 25 0 1 0 1167949 431370240 102221 1992294400 4194304 9819077 140734546146080 18446744073709551615 4212307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 105315 102221 725 1374 0 103936 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 421260
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11074
/proc/meminfo: memFree=1006956/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=437588 CPUtime=1481.9
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 12788594 0 0 0 130025 18165 0 0 25 0 1 0 1167949 448090112 106265 1992294400 4194304 9819077 140734546146080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 109397 106265 725 1374 0 108018 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 437588
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11074
/proc/meminfo: memFree=992448/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=451308 CPUtime=1541.89
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 13291638 0 0 0 135308 18881 0 0 25 0 1 0 1167949 462139392 109828 1992294400 4194304 9819077 140734546146080 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 112867 109829 725 1374 0 111488 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 451308
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11076
/proc/meminfo: memFree=980792/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=462300 CPUtime=1601.87
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 13785656 0 0 0 140608 19579 0 0 25 0 1 0 1167949 473395200 112876 1992294400 4194304 9819077 140734546146080 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 115779 112880 725 1374 0 114400 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 462300
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11078
/proc/meminfo: memFree=961448/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=481560 CPUtime=1661.86
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 14282153 0 0 0 145898 20288 0 0 25 0 1 0 1167949 493117440 117553 1992294400 4194304 9819077 140734546146080 18446744073709551615 4947065 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 120390 117553 725 1374 0 119011 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 481560
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11080
/proc/meminfo: memFree=946444/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=496056 CPUtime=1721.84
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 14780204 0 0 0 151194 20990 0 0 25 0 1 0 1167949 507961344 121284 1992294400 4194304 9819077 140734546146080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 124014 121284 725 1374 0 122635 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 496056
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11082
/proc/meminfo: memFree=933300/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=508972 CPUtime=1781.83
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 15276079 0 0 0 156483 21700 0 0 25 0 1 0 1167949 521187328 124454 1992294400 4194304 9819077 140734546146080 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 127243 124455 725 1374 0 125864 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 508972
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11082
/proc/meminfo: memFree=928960/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=513164 CPUtime=1800.03
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 15426894 0 0 0 158089 21914 0 0 25 0 1 0 1167949 525479936 125534 1992294400 4194304 9819077 140734546146080 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11024/statm: 128291 125534 725 1374 0 126912 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 513164
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11024
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11083
/proc/meminfo: memFree=928952/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=513164 CPUtime=1800.92
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 15426900 0 0 0 158178 21914 0 0 25 0 1 0 1167949 525479936 125535 1992294400 4194304 9819077 140734546146080 18446744073709551615 6179975 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11024/statm: 128291 125535 726 1374 0 126912 0
Current children cumulated CPU time (s) 1800.92
Current children cumulated vsize (KiB) 513164
[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11083
/proc/meminfo: memFree=928828/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=513164 CPUtime=1801.72
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 15426900 0 0 0 158258 21914 0 0 25 0 1 0 1167949 525479936 125535 1992294400 4194304 9819077 140734546146080 18446744073709551615 4615800 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11024/statm: 128291 125535 726 1374 0 126912 0
Current children cumulated CPU time (s) 1801.72
Current children cumulated vsize (KiB) 513164
[startup+1802.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11083
/proc/meminfo: memFree=928828/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=513164 CPUtime=1801.92
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 15426900 0 0 0 158278 21914 0 0 25 0 1 0 1167949 525479936 125535 1992294400 4194304 9819077 140734546146080 18446744073709551615 6179960 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11024/statm: 128291 125535 726 1374 0 126912 0
Current children cumulated CPU time (s) 1801.92
Current children cumulated vsize (KiB) 513164
[startup+1802.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 11083
/proc/meminfo: memFree=928828/2059040 swapFree=4192956/4192956
[pid=11024] ppid=11022 vsize=513164 CPUtime=1802.02
/proc/11024/stat : 11024 (pbscip.linux.x8) R 11022 11024 2333 0 -1 4202496 15426900 0 0 0 158288 21914 0 0 25 0 1 0 1167949 525479936 125535 1992294400 4194304 9819077 140734546146080 18446744073709551615 6179988 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11024/statm: 128291 125535 726 1374 0 126912 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 513164
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.56
CPU time (s): 1802.09
CPU user time (s): 1582.9
CPU system time (s): 219.19
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 513164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1582.9
system time used= 219.19
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15426900
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= 20194
runsolver used 3.08953 second user time and 8.41572 second system time
The end