0.00/0.01 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2703528-1278561981.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 | 30 | - | 274k| 0 | 6 | 50 | 6 | 50 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.11 c 0.1s| 1 | 0 | 103 | - | 303k| 0 | 9 | 50 | 6 | 50 | 11 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.12 c 0.1s| 1 | 0 | 107 | - | 322k| 0 | 10 | 50 | 6 | 50 | 13 | 7 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.13 c 0.1s| 1 | 0 | 114 | - | 345k| 0 | 13 | 50 | 6 | 50 | 18 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.14 c 0.1s| 1 | 0 | 124 | - | 364k| 0 | 15 | 50 | 6 | 50 | 21 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.15 c 0.1s| 1 | 0 | 128 | - | 370k| 0 | 16 | 50 | 6 | 50 | 22 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.16 c 0.1s| 1 | 0 | 131 | - | 375k| 0 | 18 | 50 | 6 | 50 | 24 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 2 | 131 | - | 376k| 0 | 18 | 50 | 6 | 50 | 24 | 18 | 0 | 9 | 0.000000e+00 | -- | Inf
3.99/4.06 c 4.1s| 10000 | 4265 | 27385 | 2.7 |4045k| 44 | 6 | 50 |3052 | 50 | 18 | 18 |4084 | 581 | 0.000000e+00 | -- | Inf
8.09/8.19 c 8.2s| 20000 | 7418 | 53456 | 2.7 |6062k| 44 | 6 | 50 |2273 | 50 | 18 | 18 |8917 | 780 | 0.000000e+00 | -- | Inf
12.19/12.21 c 12.2s| 30000 | 10243 | 79148 | 2.6 |8185k| 44 | - | 50 |2580 | 50 | 18 | 18 | 13k| 925 | 0.000000e+00 | -- | Inf
16.28/16.33 c 16.3s| 40000 | 13188 |104975 | 2.6 | 10M| 44 | 6 | 50 |3360 | 50 | 18 | 18 | 18k|1044 | 0.000000e+00 | -- | Inf
20.59/20.65 c 20.6s| 50000 | 15988 |130991 | 2.6 | 12M| 44 | 6 | 50 |3359 | 50 | 18 | 18 | 23k|1149 | 0.000000e+00 | -- | Inf
25.19/25.21 c 25.2s| 60000 | 18413 |156047 | 2.6 | 14M| 44 | 6 | 50 |3659 | 50 | 18 | 18 | 29k|1218 | 0.000000e+00 | -- | Inf
29.69/29.76 c 29.8s| 70000 | 21018 |181800 | 2.6 | 16M| 44 | 6 | 50 |4253 | 50 | 18 | 18 | 34k|1301 | 0.000000e+00 | -- | Inf
34.38/34.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
34.38/34.47 c 34.5s| 80000 | 23985 |207868 | 2.6 | 18M| 44 | - | 50 |4620 | 50 | 18 | 18 | 39k|1378 | 0.000000e+00 | -- | Inf
39.37/39.47 c 39.5s| 90000 | 26510 |233873 | 2.6 | 20M| 44 | 6 | 50 |4653 | 50 | 18 | 18 | 45k|1447 | 0.000000e+00 | -- | Inf
44.57/44.61 c 44.6s|100000 | 28971 |259596 | 2.6 | 22M| 44 | 6 | 50 |4614 | 50 | 18 | 18 | 50k|1517 | 0.000000e+00 | -- | Inf
49.48/49.56 c 49.6s|110000 | 31532 |285082 | 2.6 | 24M| 44 | 6 | 50 |4926 | 50 | 18 | 18 | 55k|1571 | 0.000000e+00 | -- | Inf
54.47/54.52 c 54.5s|120000 | 34234 |309962 | 2.6 | 26M| 44 | 6 | 50 |4889 | 50 | 18 | 18 | 60k|1612 | 0.000000e+00 | -- | Inf
59.57/59.65 c 59.6s|130000 | 36814 |335101 | 2.6 | 28M| 44 | - | 50 |4866 | 50 | 18 | 18 | 66k|1664 | 0.000000e+00 | -- | Inf
64.46/64.58 c 64.6s|140000 | 39501 |360631 | 2.6 | 30M| 44 | 6 | 50 |4904 | 50 | 18 | 18 | 71k|1716 | 0.000000e+00 | -- | Inf
69.66/69.77 c 69.8s|150000 | 41854 |386222 | 2.6 | 32M| 44 | - | 50 |5353 | 0 | 0 | 18 | 76k|1779 | 0.000000e+00 | -- | Inf
74.86/74.98 c 75.0s|160000 | 44466 |411861 | 2.6 | 34M| 44 | 6 | 50 |5151 | 50 | 18 | 18 | 81k|1829 | 0.000000e+00 | -- | Inf
80.36/80.42 c 80.4s|170000 | 46826 |437065 | 2.6 | 36M| 44 | 6 | 50 |5088 | 50 | 18 | 18 | 87k|1855 | 0.000000e+00 | -- | Inf
85.37/85.41 c 85.4s|180000 | 49328 |463524 | 2.6 | 38M| 44 | 6 | 50 |5715 | 50 | 18 | 18 | 92k|1899 | 0.000000e+00 | -- | Inf
90.96/91.07 c 91.1s|190000 | 51770 |489229 | 2.6 | 40M| 45 | 6 | 50 |5222 | 50 | 18 | 18 | 97k|1953 | 0.000000e+00 | -- | Inf
96.26/96.35 c 96.3s|200000 | 54305 |514919 | 2.6 | 42M| 45 | 6 | 50 |5748 | 50 | 18 | 18 | 103k|1990 | 0.000000e+00 | -- | Inf
101.86/101.91 c 102s|210000 | 56709 |540378 | 2.6 | 44M| 45 | - | 50 |5764 | 50 | 18 | 18 | 108k|2030 | 0.000000e+00 | -- | Inf
107.46/107.54 c 108s|220000 | 59142 |565126 | 2.6 | 46M| 45 | 6 | 50 |5598 | 50 | 18 | 18 | 113k|2074 | 0.000000e+00 | -- | Inf
112.96/113.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
112.96/113.05 c 113s|230000 | 61708 |590192 | 2.6 | 48M| 45 | 6 | 50 |5880 | 50 | 18 | 18 | 119k|2109 | 0.000000e+00 | -- | Inf
118.36/118.43 c 118s|240000 | 64413 |616430 | 2.6 | 50M| 45 | - | 50 |6663 | 50 | 18 | 18 | 124k|2151 | 0.000000e+00 | -- | Inf
124.35/124.42 c 124s|250000 | 66885 |641783 | 2.6 | 52M| 45 | - | 50 |6011 | 50 | 18 | 18 | 129k|2192 | 0.000000e+00 | -- | Inf
130.05/130.13 c 130s|260000 | 69358 |667671 | 2.6 | 54M| 45 | 6 | 50 |6373 | 50 | 18 | 18 | 135k|2225 | 0.000000e+00 | -- | Inf
135.75/135.86 c 136s|270000 | 71964 |693602 | 2.6 | 56M| 45 | 6 | 50 |6511 | 50 | 18 | 18 | 140k|2258 | 0.000000e+00 | -- | Inf
141.86/141.98 c 142s|280000 | 74392 |718841 | 2.6 | 58M| 45 | 6 | 50 |6011 | 50 | 18 | 18 | 145k|2292 | 0.000000e+00 | -- | Inf
147.45/147.58 c 148s|290000 | 76913 |744029 | 2.6 | 60M| 45 | - | 50 |6354 | 0 | 0 | 18 | 151k|2328 | 0.000000e+00 | -- | Inf
153.54/153.61 c 154s|300000 | 79300 |770229 | 2.6 | 62M| 45 | - | 50 |6602 | 0 | 0 | 18 | 156k|2361 | 0.000000e+00 | -- | Inf
159.74/159.87 c 160s|310000 | 81564 |795625 | 2.6 | 64M| 45 | - | 50 |6789 | 0 | 0 | 18 | 162k|2375 | 0.000000e+00 | -- | Inf
166.05/166.11 c 166s|320000 | 83838 |820702 | 2.6 | 65M| 45 | - | 50 |6505 | 50 | 18 | 18 | 167k|2398 | 0.000000e+00 | -- | Inf
172.24/172.33 c 172s|330000 | 86139 |846563 | 2.6 | 67M| 45 | - | 50 |6676 | 50 | 18 | 18 | 173k|2429 | 0.000000e+00 | -- | Inf
178.24/178.31 c 178s|340000 | 88632 |872187 | 2.6 | 69M| 45 | 6 | 50 |6919 | 50 | 18 | 18 | 178k|2473 | 0.000000e+00 | -- | Inf
184.14/184.27 c 184s|350000 | 91175 |897903 | 2.6 | 71M| 45 | 6 | 50 |7419 | 50 | 18 | 18 | 184k|2498 | 0.000000e+00 | -- | Inf
190.53/190.60 c 191s|360000 | 93647 |922865 | 2.6 | 73M| 45 | 6 | 50 |7559 | 50 | 18 | 18 | 189k|2525 | 0.000000e+00 | -- | Inf
196.75/196.84 c 197s|370000 | 96080 |948609 | 2.6 | 75M| 45 | - | 50 |7566 | 50 | 18 | 18 | 194k|2550 | 0.000000e+00 | -- | Inf
203.44/203.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.44/203.57 c 204s|380000 | 98327 |974307 | 2.6 | 77M| 45 | 6 | 50 |7079 | 50 | 18 | 18 | 200k|2590 | 0.000000e+00 | -- | Inf
209.33/209.46 c 209s|390000 |100933 |999845 | 2.6 | 79M| 45 | - | 50 |7827 | 50 | 18 | 18 | 205k|2615 | 0.000000e+00 | -- | Inf
215.83/215.99 c 216s|400000 |103487 | 1025k| 2.6 | 81M| 45 | 6 | 50 |7903 | 50 | 18 | 18 | 211k|2647 | 0.000000e+00 | -- | Inf
222.82/222.99 c 223s|410000 |105755 | 1050k| 2.6 | 83M| 45 | - | 50 |7006 | 50 | 18 | 18 | 216k|2673 | 0.000000e+00 | -- | Inf
228.83/228.93 c 229s|420000 |108398 | 1076k| 2.6 | 85M| 45 | - | 50 |8184 | 50 | 18 | 18 | 222k|2705 | 0.000000e+00 | -- | Inf
235.63/235.71 c 236s|430000 |110656 | 1102k| 2.6 | 87M| 45 | - | 50 |7314 | 50 | 18 | 18 | 227k|2729 | 0.000000e+00 | -- | Inf
242.32/242.49 c 242s|440000 |113043 | 1128k| 2.6 | 89M| 45 | 6 | 50 |7125 | 50 | 18 | 18 | 232k|2751 | 0.000000e+00 | -- | Inf
248.92/249.06 c 249s|450000 |115334 | 1153k| 2.6 | 91M| 45 | - | 50 |7419 | 50 | 18 | 18 | 238k|2781 | 0.000000e+00 | -- | Inf
255.53/255.67 c 256s|460000 |117651 | 1178k| 2.6 | 93M| 45 | - | 50 |7588 | 50 | 18 | 18 | 244k|2810 | 0.000000e+00 | -- | Inf
262.72/262.81 c 263s|470000 |119797 | 1204k| 2.6 | 94M| 45 | - | 50 |7361 | 0 | 0 | 18 | 249k|2847 | 0.000000e+00 | -- | Inf
269.43/269.57 c 270s|480000 |122265 | 1230k| 2.6 | 96M| 45 | 6 | 50 |7467 | 50 | 18 | 18 | 254k|2864 | 0.000000e+00 | -- | Inf
276.22/276.37 c 276s|490000 |124524 | 1255k| 2.6 | 98M| 45 | - | 50 |7214 | 50 | 18 | 18 | 260k|2900 | 0.000000e+00 | -- | Inf
282.81/282.95 c 283s|500000 |126766 | 1281k| 2.6 | 100M| 45 | - | 50 |7616 | 50 | 18 | 18 | 265k|2931 | 0.000000e+00 | -- | Inf
289.02/289.19 c 289s|510000 |129184 | 1307k| 2.6 | 102M| 45 | 6 | 50 |9037 | 50 | 18 | 18 | 271k|2954 | 0.000000e+00 | -- | Inf
296.71/296.85 c 297s|520000 |131333 | 1332k| 2.6 | 104M| 45 | 6 | 50 |8213 | 50 | 18 | 18 | 277k|2982 | 0.000000e+00 | -- | Inf
303.41/303.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
303.41/303.51 c 303s|530000 |133869 | 1357k| 2.6 | 106M| 45 | - | 50 |8378 | 50 | 18 | 18 | 282k|3000 | 0.000000e+00 | -- | Inf
310.71/310.84 c 311s|540000 |136073 | 1383k| 2.6 | 108M| 45 | 6 | 50 |7878 | 50 | 18 | 18 | 287k|3038 | 0.000000e+00 | -- | Inf
317.91/318.01 c 318s|550000 |138265 | 1408k| 2.6 | 109M| 45 | - | 50 |7850 | 0 | 0 | 18 | 293k|3063 | 0.000000e+00 | -- | Inf
325.41/325.53 c 326s|560000 |140403 | 1434k| 2.6 | 111M| 45 | - | 50 |7583 | 50 | 18 | 18 | 298k|3086 | 0.000000e+00 | -- | Inf
332.01/332.14 c 332s|570000 |142807 | 1458k| 2.6 | 113M| 45 | 6 | 50 |7875 | 50 | 18 | 18 | 304k|3102 | 0.000000e+00 | -- | Inf
339.10/339.25 c 339s|580000 |145065 | 1484k| 2.6 | 115M| 45 | 6 | 50 |7965 | 50 | 18 | 18 | 309k|3123 | 0.000000e+00 | -- | Inf
346.20/346.32 c 346s|590000 |147403 | 1509k| 2.6 | 117M| 45 | - | 50 |7849 | 50 | 18 | 18 | 315k|3145 | 0.000000e+00 | -- | Inf
352.90/353.08 c 353s|600000 |149638 | 1534k| 2.6 | 119M| 45 | - | 50 |8294 | 50 | 18 | 18 | 320k|3166 | 0.000000e+00 | -- | Inf
360.00/360.10 c 360s|610000 |152010 | 1560k| 2.6 | 121M| 45 | - | 50 |8238 | 50 | 18 | 18 | 326k|3191 | 0.000000e+00 | -- | Inf
366.30/366.40 c 366s|620000 |154908 | 1586k| 2.6 | 123M| 45 | 6 | 50 |8931 | 50 | 18 | 18 | 331k|3210 | 0.000000e+00 | -- | Inf
373.19/373.37 c 373s|630000 |157333 | 1612k| 2.6 | 125M| 45 | - | 50 |9388 | 50 | 18 | 18 | 336k|3232 | 0.000000e+00 | -- | Inf
381.29/381.42 c 381s|640000 |159418 | 1637k| 2.6 | 127M| 45 | - | 50 |8611 | 0 | 0 | 18 | 342k|3246 | 0.000000e+00 | -- | Inf
388.89/389.06 c 389s|650000 |161484 | 1662k| 2.6 | 128M| 45 | 6 | 50 |8336 | 50 | 18 | 18 | 347k|3266 | 0.000000e+00 | -- | Inf
395.79/395.95 c 396s|660000 |163783 | 1687k| 2.6 | 130M| 45 | - | 50 |8821 | 50 | 18 | 18 | 353k|3279 | 0.000000e+00 | -- | Inf
403.18/403.38 c 403s|670000 |166141 | 1713k| 2.6 | 132M| 45 | 6 | 50 |8732 | 50 | 18 | 18 | 358k|3298 | 0.000000e+00 | -- | Inf
410.28/410.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
410.28/410.49 c 410s|680000 |168407 | 1738k| 2.6 | 134M| 45 | 6 | 50 |9352 | 50 | 18 | 18 | 364k|3326 | 0.000000e+00 | -- | Inf
417.79/417.98 c 418s|690000 |170677 | 1764k| 2.6 | 136M| 45 | - | 50 |9785 | 50 | 18 | 18 | 369k|3345 | 0.000000e+00 | -- | Inf
424.39/424.57 c 425s|700000 |173462 | 1789k| 2.6 | 138M| 45 | - | 50 |9982 | 0 | 0 | 18 | 374k|3361 | 0.000000e+00 | -- | Inf
432.88/433.07 c 433s|710000 |175531 | 1815k| 2.6 | 140M| 45 | 6 | 50 |8577 | 50 | 18 | 18 | 380k|3377 | 0.000000e+00 | -- | Inf
440.07/440.22 c 440s|720000 |177727 | 1840k| 2.6 | 142M| 45 | 6 | 50 |9152 | 50 | 18 | 18 | 386k|3396 | 0.000000e+00 | -- | Inf
446.28/446.44 c 446s|730000 |180558 | 1866k| 2.6 | 144M| 45 | 6 | 50 |9998 | 50 | 18 | 18 | 391k|3409 | 0.000000e+00 | -- | Inf
454.18/454.34 c 454s|740000 |182685 | 1892k| 2.6 | 146M| 45 | - | 50 |8958 | 50 | 18 | 18 | 396k|3422 | 0.000000e+00 | -- | Inf
462.08/462.21 c 462s|750000 |184703 | 1917k| 2.6 | 148M| 45 | 6 | 50 |8906 | 50 | 18 | 18 | 402k|3438 | 0.000000e+00 | -- | Inf
469.17/469.31 c 469s|760000 |187167 | 1943k| 2.6 | 150M| 45 | 6 | 50 |9487 | 50 | 18 | 18 | 407k|3453 | 0.000000e+00 | -- | Inf
476.57/476.75 c 477s|770000 |189429 | 1969k| 2.6 | 151M| 45 | 6 | 50 |9196 | 50 | 18 | 18 | 413k|3478 | 0.000000e+00 | -- | Inf
484.37/484.57 c 485s|780000 |191516 | 1994k| 2.6 | 153M| 45 | 6 | 50 |8890 | 50 | 18 | 18 | 419k|3495 | 0.000000e+00 | -- | Inf
491.07/491.26 c 491s|790000 |193991 | 2020k| 2.6 | 155M| 45 | 6 | 50 |9656 | 50 | 18 | 18 | 424k|3506 | 0.000000e+00 | -- | Inf
498.96/499.13 c 499s|800000 |196102 | 2046k| 2.6 | 157M| 45 | - | 50 |9360 | 0 | 0 | 18 | 430k|3526 | 0.000000e+00 | -- | Inf
507.27/507.40 c 507s|810000 |198101 | 2071k| 2.6 | 159M| 45 | - | 50 |8879 | 50 | 18 | 18 | 435k|3548 | 0.000000e+00 | -- | Inf
515.56/515.78 c 516s|820000 |200098 | 2096k| 2.6 | 160M| 45 | 6 | 50 |8664 | 50 | 18 | 18 | 441k|3569 | 0.000000e+00 | -- | Inf
523.37/523.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
523.37/523.52 c 524s|830000 |202191 | 2122k| 2.6 | 162M| 45 | 6 | 50 |8967 | 50 | 18 | 18 | 447k|3582 | 0.000000e+00 | -- | Inf
531.35/531.54 c 532s|840000 |204094 | 2147k| 2.6 | 164M| 45 | - | 50 |9026 | 0 | 0 | 18 | 453k|3598 | 0.000000e+00 | -- | Inf
539.36/539.59 c 540s|850000 |206096 | 2173k| 2.6 | 166M| 45 | - | 50 |9398 | 50 | 18 | 18 | 458k|3620 | 0.000000e+00 | -- | Inf
546.95/547.16 c 547s|860000 |208362 | 2198k| 2.6 | 168M| 45 | 6 | 50 |9507 | 50 | 18 | 18 | 464k|3635 | 0.000000e+00 | -- | Inf
554.65/554.85 c 555s|870000 |210494 | 2223k| 2.6 | 170M| 45 | - | 50 |9685 | 0 | 0 | 18 | 470k|3650 | 0.000000e+00 | -- | Inf
562.25/562.49 c 562s|880000 |212780 | 2249k| 2.6 | 171M| 45 | 6 | 50 |9643 | 50 | 18 | 18 | 475k|3670 | 0.000000e+00 | -- | Inf
568.95/569.15 c 569s|890000 |215620 | 2275k| 2.6 | 174M| 45 | - | 50 | 10k| 50 | 18 | 18 | 480k|3689 | 0.000000e+00 | -- | Inf
575.65/575.83 c 576s|900000 |218567 | 2299k| 2.6 | 176M| 45 | - | 50 | 10k| 50 | 18 | 18 | 485k|3711 | 0.000000e+00 | -- | Inf
583.44/583.64 c 584s|910000 |221068 | 2325k| 2.6 | 178M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 490k|3730 | 0.000000e+00 | -- | Inf
591.55/591.78 c 592s|920000 |223206 | 2350k| 2.6 | 179M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 496k|3750 | 0.000000e+00 | -- | Inf
600.14/600.34 c 600s|930000 |225378 | 2377k| 2.6 | 181M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 502k|3766 | 0.000000e+00 | -- | Inf
608.74/608.97 c 609s|940000 |227499 | 2402k| 2.6 | 183M| 45 | 6 | 50 |9718 | 50 | 18 | 18 | 507k|3788 | 0.000000e+00 | -- | Inf
615.54/615.71 c 616s|950000 |230506 | 2428k| 2.6 | 185M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 512k|3803 | 0.000000e+00 | -- | Inf
621.83/622.07 c 622s|960000 |233360 | 2454k| 2.6 | 187M| 45 | - | 50 | 11k| 50 | 18 | 18 | 518k|3824 | 0.000000e+00 | -- | Inf
631.54/631.77 c 632s|970000 |235329 | 2480k| 2.6 | 189M| 45 | - | 50 |9668 | 50 | 18 | 18 | 523k|3837 | 0.000000e+00 | -- | Inf
639.53/639.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
639.53/639.74 c 640s|980000 |237537 | 2505k| 2.6 | 191M| 45 | - | 50 |9752 | 0 | 0 | 18 | 529k|3847 | 0.000000e+00 | -- | Inf
647.64/647.90 c 648s|990000 |239773 | 2530k| 2.6 | 193M| 45 | - | 50 | 10k| 50 | 18 | 18 | 534k|3863 | 0.000000e+00 | -- | Inf
655.03/655.21 c 655s| 1000k|242152 | 2555k| 2.6 | 195M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 540k|3883 | 0.000000e+00 | -- | Inf
663.63/663.87 c 664s| 1010k|244207 | 2581k| 2.6 | 196M| 45 | 6 | 50 |9620 | 50 | 18 | 18 | 545k|3892 | 0.000000e+00 | -- | Inf
671.33/671.52 c 672s| 1020k|246815 | 2606k| 2.6 | 198M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 551k|3903 | 0.000000e+00 | -- | Inf
679.42/679.65 c 680s| 1030k|249116 | 2632k| 2.6 | 200M| 45 | - | 50 | 10k| 50 | 18 | 18 | 556k|3918 | 0.000000e+00 | -- | Inf
688.43/688.65 c 689s| 1040k|251157 | 2658k| 2.6 | 202M| 45 | 6 | 50 |9487 | 50 | 18 | 18 | 562k|3936 | 0.000000e+00 | -- | Inf
697.42/697.62 c 698s| 1050k|253216 | 2683k| 2.6 | 203M| 45 | - | 50 |9348 | 50 | 18 | 18 | 568k|3956 | 0.000000e+00 | -- | Inf
705.71/705.92 c 706s| 1060k|255402 | 2708k| 2.6 | 205M| 45 | 6 | 50 |9636 | 50 | 18 | 18 | 573k|3975 | 0.000000e+00 | -- | Inf
714.52/714.77 c 715s| 1070k|257469 | 2733k| 2.6 | 207M| 45 | - | 50 |9533 | 50 | 18 | 18 | 579k|3995 | 0.000000e+00 | -- | Inf
723.22/723.48 c 723s| 1080k|259518 | 2759k| 2.6 | 209M| 45 | - | 50 |9203 | 50 | 18 | 18 | 585k|4018 | 0.000000e+00 | -- | Inf
731.21/731.50 c 731s| 1090k|261656 | 2784k| 2.6 | 211M| 45 | 6 | 50 |9516 | 50 | 18 | 18 | 590k|4030 | 0.000000e+00 | -- | Inf
739.70/739.98 c 740s| 1100k|263827 | 2809k| 2.6 | 212M| 45 | - | 50 |9426 | 50 | 18 | 18 | 596k|4050 | 0.000000e+00 | -- | Inf
746.40/746.68 c 747s| 1110k|266447 | 2835k| 2.6 | 215M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 601k|4070 | 0.000000e+00 | -- | Inf
754.00/754.29 c 754s| 1120k|268882 | 2862k| 2.6 | 217M| 45 | - | 50 | 11k| 50 | 18 | 18 | 607k|4083 | 0.000000e+00 | -- | Inf
762.80/763.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
762.80/763.07 c 763s| 1130k|270802 | 2887k| 2.6 | 218M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 612k|4102 | 0.000000e+00 | -- | Inf
771.30/771.55 c 772s| 1140k|272938 | 2912k| 2.6 | 220M| 45 | - | 50 | 11k| 50 | 18 | 18 | 618k|4113 | 0.000000e+00 | -- | Inf
779.19/779.44 c 779s| 1150k|275231 | 2938k| 2.6 | 222M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 624k|4125 | 0.000000e+00 | -- | Inf
788.79/789.08 c 789s| 1160k|277453 | 2964k| 2.6 | 224M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 629k|4142 | 0.000000e+00 | -- | Inf
797.80/798.05 c 798s| 1170k|279408 | 2990k| 2.6 | 226M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 635k|4158 | 0.000000e+00 | -- | Inf
806.80/807.02 c 807s| 1180k|281618 | 3016k| 2.6 | 228M| 45 | - | 50 | 10k| 50 | 18 | 18 | 641k|4178 | 0.000000e+00 | -- | Inf
816.39/816.67 c 817s| 1190k|283521 | 3042k| 2.6 | 229M| 45 | - | 50 | 11k| 0 | 0 | 18 | 646k|4190 | 0.000000e+00 | -- | Inf
825.39/825.60 c 826s| 1200k|285625 | 3068k| 2.6 | 231M| 45 | - | 50 | 11k| 50 | 18 | 18 | 652k|4211 | 0.000000e+00 | -- | Inf
832.88/833.15 c 833s| 1210k|288328 | 3093k| 2.6 | 233M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 657k|4224 | 0.000000e+00 | -- | Inf
841.19/841.46 c 841s| 1220k|290635 | 3119k| 2.6 | 235M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 663k|4244 | 0.000000e+00 | -- | Inf
849.38/849.68 c 850s| 1230k|292965 | 3144k| 2.6 | 237M| 45 | - | 50 | 11k| 50 | 18 | 18 | 668k|4256 | 0.000000e+00 | -- | Inf
858.68/858.91 c 859s| 1240k|295114 | 3169k| 2.6 | 239M| 45 | - | 50 | 11k| 50 | 18 | 18 | 674k|4270 | 0.000000e+00 | -- | Inf
868.28/868.57 c 869s| 1250k|297108 | 3195k| 2.6 | 240M| 45 | - | 50 | 11k| 50 | 18 | 18 | 680k|4284 | 0.000000e+00 | -- | Inf
877.88/878.14 c 878s| 1260k|299218 | 3220k| 2.6 | 242M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 685k|4296 | 0.000000e+00 | -- | Inf
887.17/887.45 c 887s| 1270k|301232 | 3245k| 2.6 | 244M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 691k|4311 | 0.000000e+00 | -- | Inf
895.47/895.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
895.47/895.79 c 896s| 1280k|303712 | 3271k| 2.6 | 246M| 45 | - | 50 | 10k| 0 | 0 | 18 | 696k|4326 | 0.000000e+00 | -- | Inf
904.47/904.74 c 905s| 1290k|306115 | 3296k| 2.6 | 248M| 45 | - | 50 | 10k| 50 | 18 | 18 | 702k|4342 | 0.000000e+00 | -- | Inf
913.47/913.72 c 914s| 1300k|308235 | 3321k| 2.6 | 250M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 707k|4357 | 0.000000e+00 | -- | Inf
923.07/923.33 c 923s| 1310k|310275 | 3347k| 2.6 | 251M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 713k|4367 | 0.000000e+00 | -- | Inf
931.66/931.95 c 932s| 1320k|312731 | 3372k| 2.6 | 253M| 45 | - | 50 | 10k| 50 | 18 | 18 | 718k|4385 | 0.000000e+00 | -- | Inf
940.96/941.28 c 941s| 1330k|314825 | 3398k| 2.6 | 255M| 45 | - | 50 | 10k| 50 | 18 | 18 | 724k|4396 | 0.000000e+00 | -- | Inf
950.45/950.73 c 951s| 1340k|316947 | 3423k| 2.6 | 257M| 45 | - | 50 | 10k| 0 | 0 | 18 | 729k|4411 | 0.000000e+00 | -- | Inf
959.75/960.07 c 960s| 1350k|318987 | 3448k| 2.6 | 258M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 735k|4423 | 0.000000e+00 | -- | Inf
966.67/966.91 c 967s| 1360k|321674 | 3473k| 2.6 | 261M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 740k|4433 | 0.000000e+00 | -- | Inf
975.16/975.49 c 975s| 1370k|323872 | 3498k| 2.6 | 263M| 45 | - | 50 | 12k| 50 | 18 | 18 | 745k|4447 | 0.000000e+00 | -- | Inf
985.05/985.36 c 985s| 1380k|325976 | 3523k| 2.6 | 264M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 751k|4458 | 0.000000e+00 | -- | Inf
995.35/995.63 c 996s| 1390k|327920 | 3549k| 2.6 | 266M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 757k|4485 | 0.000000e+00 | -- | Inf
1003.15/1003.49 c 1003s| 1400k|330104 | 3575k| 2.6 | 268M| 45 | - | 50 | 12k| 50 | 18 | 18 | 762k|4508 | 0.000000e+00 | -- | Inf
1013.54/1013.82 c 1014s| 1410k|332141 | 3601k| 2.6 | 270M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 768k|4523 | 0.000000e+00 | -- | Inf
1023.34/1023.63 c 1024s| 1420k|334085 | 3626k| 2.6 | 271M| 45 | - | 50 | 11k| 0 | 0 | 18 | 774k|4539 | 0.000000e+00 | -- | Inf
1033.14/1033.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1033.14/1033.42 c 1033s| 1430k|336080 | 3651k| 2.6 | 273M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 779k|4551 | 0.000000e+00 | -- | Inf
1042.54/1042.89 c 1043s| 1440k|338045 | 3676k| 2.6 | 275M| 45 | 6 | 50 | 10k| 50 | 18 | 18 | 785k|4566 | 0.000000e+00 | -- | Inf
1050.93/1051.28 c 1051s| 1450k|340259 | 3701k| 2.6 | 277M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 791k|4584 | 0.000000e+00 | -- | Inf
1060.44/1060.77 c 1061s| 1460k|342334 | 3726k| 2.6 | 279M| 45 | - | 50 | 11k| 50 | 18 | 18 | 796k|4596 | 0.000000e+00 | -- | Inf
1069.73/1070.00 c 1070s| 1470k|344427 | 3752k| 2.6 | 280M| 45 | - | 50 | 11k| 0 | 0 | 18 | 802k|4615 | 0.000000e+00 | -- | Inf
1078.83/1079.19 c 1079s| 1480k|346504 | 3778k| 2.6 | 282M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 808k|4626 | 0.000000e+00 | -- | Inf
1087.33/1087.61 c 1088s| 1490k|348915 | 3803k| 2.6 | 284M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 813k|4639 | 0.000000e+00 | -- | Inf
1097.43/1097.72 c 1098s| 1500k|351114 | 3829k| 2.6 | 286M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 819k|4660 | 0.000000e+00 | -- | Inf
1107.22/1107.50 c 1107s| 1510k|353347 | 3855k| 2.6 | 288M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 824k|4676 | 0.000000e+00 | -- | Inf
1116.32/1116.63 c 1117s| 1520k|355372 | 3881k| 2.6 | 290M| 45 | - | 50 | 12k| 50 | 18 | 18 | 830k|4685 | 0.000000e+00 | -- | Inf
1127.23/1127.59 c 1128s| 1530k|357328 | 3906k| 2.6 | 291M| 45 | - | 50 | 11k| 50 | 18 | 18 | 836k|4702 | 0.000000e+00 | -- | Inf
1136.41/1136.72 c 1137s| 1540k|359640 | 3931k| 2.6 | 293M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 841k|4718 | 0.000000e+00 | -- | Inf
1144.72/1145.05 c 1145s| 1550k|361993 | 3958k| 2.6 | 295M| 45 | - | 50 | 12k| 50 | 18 | 18 | 847k|4732 | 0.000000e+00 | -- | Inf
1156.21/1156.57 c 1157s| 1560k|363805 | 3984k| 2.6 | 297M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 853k|4746 | 0.000000e+00 | -- | Inf
1164.30/1164.62 c 1165s| 1570k|366140 | 4009k| 2.6 | 299M| 45 | - | 50 | 13k| 50 | 18 | 18 | 859k|4762 | 0.000000e+00 | -- | Inf
1171.91/1172.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1171.91/1172.29 c 1172s| 1580k|368955 | 4035k| 2.6 | 301M| 45 | 6 | 50 | 13k| 50 | 18 | 18 | 864k|4781 | 0.000000e+00 | -- | Inf
1180.90/1181.28 c 1181s| 1590k|371390 | 4061k| 2.6 | 303M| 45 | 6 | 50 | 13k| 50 | 18 | 18 | 869k|4793 | 0.000000e+00 | -- | Inf
1189.91/1190.28 c 1190s| 1600k|373565 | 4087k| 2.6 | 305M| 45 | 6 | 50 | 13k| 50 | 18 | 18 | 875k|4806 | 0.000000e+00 | -- | Inf
1199.71/1200.09 c 1200s| 1610k|375678 | 4114k| 2.6 | 306M| 45 | 6 | 50 | 13k| 50 | 18 | 18 | 881k|4821 | 0.000000e+00 | -- | Inf
1210.60/1210.91 c 1211s| 1620k|377675 | 4139k| 2.6 | 308M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 887k|4832 | 0.000000e+00 | -- | Inf
1219.90/1220.29 c 1220s| 1630k|379984 | 4165k| 2.6 | 310M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 892k|4841 | 0.000000e+00 | -- | Inf
1229.19/1229.53 c 1230s| 1640k|382140 | 4191k| 2.6 | 312M| 45 | - | 50 | 13k| 50 | 18 | 18 | 898k|4853 | 0.000000e+00 | -- | Inf
1240.89/1241.23 c 1241s| 1650k|383959 | 4217k| 2.6 | 313M| 45 | - | 50 | 11k| 50 | 18 | 18 | 904k|4865 | 0.000000e+00 | -- | Inf
1250.89/1251.21 c 1251s| 1660k|385920 | 4243k| 2.6 | 315M| 45 | - | 50 | 12k| 0 | 0 | 18 | 909k|4879 | 0.000000e+00 | -- | Inf
1261.08/1261.50 c 1261s| 1670k|387870 | 4268k| 2.6 | 317M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 915k|4888 | 0.000000e+00 | -- | Inf
1271.88/1272.23 c 1272s| 1680k|389754 | 4294k| 2.6 | 318M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 921k|4908 | 0.000000e+00 | -- | Inf
1282.08/1282.43 c 1282s| 1690k|391753 | 4319k| 2.6 | 320M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 927k|4920 | 0.000000e+00 | -- | Inf
1291.68/1292.08 c 1292s| 1700k|393761 | 4344k| 2.6 | 322M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 932k|4928 | 0.000000e+00 | -- | Inf
1301.07/1301.45 c 1301s| 1710k|395802 | 4369k| 2.6 | 324M| 45 | 6 | 50 | 13k| 50 | 18 | 18 | 938k|4938 | 0.000000e+00 | -- | Inf
1310.68/1311.02 c 1311s| 1720k|398308 | 4395k| 2.6 | 326M| 45 | - | 50 | 13k| 50 | 18 | 18 | 943k|4946 | 0.000000e+00 | -- | Inf
1318.97/1319.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1318.97/1319.31 c 1319s| 1730k|400695 | 4419k| 2.6 | 328M| 45 | 6 | 50 | 14k| 50 | 18 | 18 | 949k|4957 | 0.000000e+00 | -- | Inf
1330.37/1330.70 c 1331s| 1740k|402769 | 4445k| 2.6 | 330M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 954k|4963 | 0.000000e+00 | -- | Inf
1338.38/1338.79 c 1339s| 1750k|405310 | 4470k| 2.6 | 332M| 45 | 6 | 50 | 14k| 50 | 18 | 18 | 959k|4974 | 0.000000e+00 | -- | Inf
1346.07/1346.45 c 1346s| 1760k|407642 | 4496k| 2.6 | 334M| 45 | 6 | 50 | 14k| 50 | 18 | 18 | 965k|4988 | 0.000000e+00 | -- | Inf
1358.07/1358.47 c 1358s| 1770k|409714 | 4521k| 2.6 | 335M| 45 | 6 | 50 | 13k| 50 | 18 | 18 | 971k|4997 | 0.000000e+00 | -- | Inf
1370.37/1370.72 c 1371s| 1780k|411562 | 4547k| 2.6 | 337M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 976k|5007 | 0.000000e+00 | -- | Inf
1380.86/1381.21 c 1381s| 1790k|413603 | 4571k| 2.6 | 338M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 982k|5017 | 0.000000e+00 | -- | Inf
1391.56/1391.93 c 1392s| 1800k|415315 | 4596k| 2.6 | 340M| 45 | 6 | 50 | 11k| 50 | 18 | 18 | 988k|5026 | 0.000000e+00 | -- | Inf
1402.36/1402.76 c 1403s| 1810k|417276 | 4622k| 2.6 | 342M| 45 | - | 50 | 11k| 50 | 18 | 18 | 994k|5043 | 0.000000e+00 | -- | Inf
1412.25/1412.67 c 1413s| 1820k|419490 | 4647k| 2.6 | 344M| 45 | 6 | 50 | 12k| 50 | 18 | 18 | 999k|5055 | 0.000000e+00 | -- | Inf
1421.55/1421.90 c 1422s| 1830k|421570 | 4673k| 2.6 | 346M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1005k|5067 | 0.000000e+00 | -- | Inf
1429.45/1429.83 c 1430s| 1840k|424103 | 4699k| 2.6 | 348M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1010k|5081 | 0.000000e+00 | -- | Inf
1440.35/1440.74 c 1441s| 1850k|426173 | 4724k| 2.6 | 350M| 45 | - | 50 | 13k| 0 | 0 | 18 |1016k|5089 | 0.000000e+00 | -- | Inf
1451.24/1451.60 c 1452s| 1860k|428195 | 4750k| 2.6 | 351M| 45 | 6 | 50 | 12k| 50 | 18 | 18 |1021k|5104 | 0.000000e+00 | -- | Inf
1462.14/1462.50 c 1462s| 1870k|430330 | 4775k| 2.6 | 353M| 45 | 6 | 50 | 12k| 50 | 18 | 18 |1027k|5115 | 0.000000e+00 | -- | Inf
1472.03/1472.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1472.03/1472.46 c 1472s| 1880k|432714 | 4801k| 2.6 | 355M| 45 | 6 | 50 | 12k| 50 | 18 | 18 |1033k|5128 | 0.000000e+00 | -- | Inf
1479.93/1480.34 c 1480s| 1890k|435309 | 4826k| 2.6 | 357M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1038k|5136 | 0.000000e+00 | -- | Inf
1490.14/1490.58 c 1491s| 1900k|437417 | 4851k| 2.6 | 359M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1043k|5148 | 0.000000e+00 | -- | Inf
1500.73/1501.15 c 1501s| 1910k|439473 | 4877k| 2.6 | 360M| 45 | 6 | 50 | 12k| 50 | 18 | 18 |1049k|5160 | 0.000000e+00 | -- | Inf
1510.83/1511.23 c 1511s| 1920k|441464 | 4902k| 2.6 | 362M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1055k|5169 | 0.000000e+00 | -- | Inf
1519.93/1520.35 c 1520s| 1930k|443680 | 4928k| 2.6 | 364M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1061k|5181 | 0.000000e+00 | -- | Inf
1530.32/1530.74 c 1531s| 1940k|445819 | 4953k| 2.6 | 366M| 45 | 6 | 50 | 12k| 50 | 18 | 18 |1066k|5196 | 0.000000e+00 | -- | Inf
1539.82/1540.26 c 1540s| 1950k|447981 | 4979k| 2.6 | 368M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1072k|5204 | 0.000000e+00 | -- | Inf
1548.62/1549.08 c 1549s| 1960k|450334 | 5004k| 2.6 | 370M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1077k|5219 | 0.000000e+00 | -- | Inf
1559.91/1560.33 c 1560s| 1970k|452547 | 5031k| 2.6 | 372M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1083k|5229 | 0.000000e+00 | -- | Inf
1572.52/1572.97 c 1573s| 1980k|454382 | 5056k| 2.6 | 373M| 45 | 6 | 50 | 12k| 50 | 18 | 18 |1089k|5242 | 0.000000e+00 | -- | Inf
1582.11/1582.53 c 1583s| 1990k|456592 | 5081k| 2.6 | 375M| 45 | - | 50 | 13k| 0 | 0 | 18 |1094k|5256 | 0.000000e+00 | -- | Inf
1589.51/1589.99 c 1590s| 2000k|459128 | 5108k| 2.6 | 377M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1100k|5265 | 0.000000e+00 | -- | Inf
1597.41/1597.87 c 1598s| 2010k|461443 | 5135k| 2.6 | 380M| 45 | - | 50 | 15k| 50 | 18 | 18 |1105k|5276 | 0.000000e+00 | -- | Inf
1607.81/1608.24 c 1608s| 2020k|463741 | 5161k| 2.6 | 381M| 45 | - | 50 | 14k| 50 | 18 | 18 |1111k|5284 | 0.000000e+00 | -- | Inf
1617.30/1617.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1617.30/1617.79 c 1618s| 2030k|466208 | 5186k| 2.6 | 383M| 45 | 6 | 50 | 15k| 50 | 18 | 18 |1116k|5295 | 0.000000e+00 | -- | Inf
1628.30/1628.79 c 1629s| 2040k|468613 | 5212k| 2.6 | 385M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1122k|5310 | 0.000000e+00 | -- | Inf
1640.20/1640.68 c 1641s| 2050k|470469 | 5237k| 2.6 | 387M| 45 | - | 50 | 13k| 50 | 18 | 18 |1128k|5322 | 0.000000e+00 | -- | Inf
1652.20/1652.65 c 1653s| 2060k|472309 | 5263k| 2.6 | 388M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1134k|5334 | 0.000000e+00 | -- | Inf
1663.19/1663.62 c 1664s| 2070k|474365 | 5288k| 2.6 | 390M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1139k|5349 | 0.000000e+00 | -- | Inf
1671.09/1671.52 c 1672s| 2080k|477061 | 5314k| 2.6 | 392M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1145k|5361 | 0.000000e+00 | -- | Inf
1682.29/1682.70 c 1683s| 2090k|479261 | 5339k| 2.6 | 394M| 45 | - | 50 | 13k| 50 | 18 | 18 |1150k|5371 | 0.000000e+00 | -- | Inf
1691.68/1692.14 c 1692s| 2100k|481516 | 5365k| 2.6 | 396M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1156k|5381 | 0.000000e+00 | -- | Inf
1702.18/1702.69 c 1703s| 2110k|483707 | 5390k| 2.6 | 397M| 45 | 6 | 50 | 13k| 50 | 18 | 18 |1161k|5390 | 0.000000e+00 | -- | Inf
1712.29/1712.79 c 1713s| 2120k|485732 | 5416k| 2.6 | 399M| 45 | 6 | 50 | 14k| 50 | 18 | 18 |1167k|5405 | 0.000000e+00 | -- | Inf
1720.58/1721.03 c 1721s| 2130k|488538 | 5441k| 2.6 | 402M| 45 | - | 50 | 16k| 50 | 18 | 18 |1172k|5414 | 0.000000e+00 | -- | Inf
1730.47/1730.96 c 1731s| 2140k|491487 | 5467k| 2.6 | 404M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |1177k|5422 | 0.000000e+00 | -- | Inf
1738.77/1739.22 c 1739s| 2150k|494596 | 5494k| 2.6 | 406M| 45 | 6 | 50 | 16k| 50 | 18 | 18 |1182k|5432 | 0.000000e+00 | -- | Inf
1749.78/1750.23 c 1750s| 2160k|496987 | 5520k| 2.6 | 407M| 45 | - | 50 | 15k| 50 | 18 | 18 |1187k|5446 | 0.000000e+00 | -- | Inf
1761.37/1761.89 c 1762s| 2170k|499320 | 5546k| 2.6 | 409M| 45 | - | 50 | 14k| 50 | 18 | 18 |1193k|5457 | 0.000000e+00 | -- | Inf
1771.68/1772.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1771.68/1772.16 c 1772s| 2180k|501695 | 5572k| 2.6 | 411M| 45 | - | 50 | 14k| 50 | 18 | 18 |1198k|5472 | 0.000000e+00 | -- | Inf
1784.27/1784.78 c 1785s| 2190k|503412 | 5597k| 2.6 | 412M| 45 | - | 50 | 13k| 50 | 18 | 18 |1204k|5480 | 0.000000e+00 | -- | Inf
1789.56/1790.02 c
1789.56/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1789.56/1790.02 c Solving Time (sec) : 1790.01
1789.56/1790.02 c Solving Nodes : 2193907
1789.56/1790.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.56/1790.02 c Dual Bound : +0.00000000000000e+00
1789.56/1790.02 c Gap : infinite
1789.56/1790.02 s UNKNOWN
1789.56/1790.02 c SCIP Status : solving was interrupted [time limit reached]
1789.56/1790.02 c Solving Time : 1790.01
1789.56/1790.02 c Original Problem :
1789.56/1790.02 c Problem name : HOME/instance-2703528-1278561981.opb
1789.56/1790.02 c Variables : 51 (51 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.56/1790.02 c Constraints : 13 initial, 13 maximal
1789.56/1790.02 c Presolved Problem :
1789.56/1790.02 c Problem name : t_HOME/instance-2703528-1278561981.opb
1789.56/1790.02 c Variables : 50 (50 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.56/1790.02 c Constraints : 6 initial, 16924 maximal
1789.56/1790.02 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.56/1790.02 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.02 c dualfix : 0.00 1 0 0 0 0 0 0 0
1789.56/1790.02 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.02 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.02 c implics : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.02 c probing : 0.01 0 0 0 0 0 0 0 0
1789.56/1790.02 c linear : 0.00 0 0 0 0 0 7 0 0
1789.56/1790.02 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.56/1790.02 c root node : - 0 - - 0 - - - -
1789.56/1790.02 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.56/1790.02 c integral : 0 0 0 1370180 0 559 2381 0 0 2734694
1789.56/1790.02 c linear : 6 6 5109984 0 1 163533 2646467 0 0 0
1789.56/1790.02 c logicor : 0+ 0 2239439 0 0 3576 767590 0 0 0
1789.56/1790.02 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.56/1790.02 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.56/1790.02 c integral : 16.75 0.00 0.00 16.75 0.00
1789.56/1790.02 c linear : 211.94 0.00 211.94 0.00 0.00
1789.56/1790.02 c logicor : 601.52 0.00 601.52 0.00 0.00
1789.56/1790.02 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.56/1790.02 c Propagators : Time Calls Cutoffs DomReds
1789.56/1790.02 c vbounds : 1.85 2 0 0
1789.56/1790.02 c rootredcost : 1.88 0 0 0
1789.56/1790.02 c pseudoobj : 1.57 0 0 0
1789.56/1790.02 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.56/1790.02 c propagation : 16.75 167109 134600 495871 35.5 15 30.1 -
1789.56/1790.02 c infeasible LP : 45.37 690188 690177 1324257 23.4 7790 28.0 0
1789.56/1790.02 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.56/1790.02 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.56/1790.02 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.56/1790.02 c applied globally : - - - 1057796 21.0 - - -
1789.56/1790.02 c applied locally : - - - 149146 33.7 - - -
1789.56/1790.02 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.56/1790.02 c cut pool : 0.00 5 - - 12 - (maximal pool size: 70)
1789.56/1790.02 c redcost : 3.20 1370183 0 0 0 0
1789.56/1790.02 c impliedbounds : 0.00 6 0 0 0 0
1789.56/1790.02 c intobj : 0.00 0 0 0 0 0
1789.56/1790.02 c cgmip : 0.00 0 0 0 0 0
1789.56/1790.02 c gomory : 0.00 6 0 0 0 0
1789.56/1790.02 c strongcg : 0.01 6 0 0 22 0
1789.56/1790.02 c cmir : 0.02 6 0 0 26 0
1789.56/1790.02 c flowcover : 0.02 6 0 0 34 0
1789.56/1790.02 c clique : 0.00 1 0 0 0 0
1789.56/1790.02 c zerohalf : 0.00 0 0 0 0 0
1789.56/1790.02 c mcf : 0.00 1 0 0 0 0
1789.56/1790.02 c rapidlearning : 0.08 1 0 0 0 0
1789.56/1790.02 c Pricers : Time Calls Vars
1789.56/1790.02 c problem variables: 0.00 0 0
1789.56/1790.02 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.56/1790.02 c relpscost : 15.25 1370180 559 2381 0 0 2734694
1789.56/1790.02 c pscost : 0.00 0 0 0 0 0 0
1789.56/1790.02 c inference : 0.00 1 0 0 0 0 2
1789.56/1790.02 c mostinf : 0.00 0 0 0 0 0 0
1789.56/1790.02 c leastinf : 0.00 0 0 0 0 0 0
1789.56/1790.02 c fullstrong : 0.00 0 0 0 0 0 0
1789.56/1790.02 c allfullstrong : 0.00 0 0 0 0 0 0
1789.56/1790.02 c random : 0.00 0 0 0 0 0 0
1789.56/1790.02 c Primal Heuristics : Time Calls Found
1789.56/1790.02 c LP solutions : 0.00 - 0
1789.56/1790.02 c pseudo solutions : 0.00 - 0
1789.56/1790.02 c oneopt : 1.36 0 0
1789.56/1790.02 c crossover : 0.74 0 0
1789.56/1790.02 c guideddiving : 0.11 0 0
1789.56/1790.02 c pscostdiving : 0.13 44 0
1789.56/1790.02 c fracdiving : 0.12 44 0
1789.56/1790.02 c veclendiving : 0.10 44 0
1789.56/1790.02 c coefdiving : 0.14 45 0
1789.56/1790.02 c linesearchdiving : 0.12 45 0
1789.56/1790.02 c feaspump : 0.12 23 0
1789.56/1790.02 c objpscostdiving : 0.10 23 0
1789.56/1790.02 c rootsoldiving : 0.11 23 0
1789.56/1790.02 c trivial : 0.00 2 0
1789.56/1790.02 c simplerounding : 0.57 0 0
1789.56/1790.02 c zirounding : 0.88 1000 0
1789.56/1790.02 c rounding : 1.52 16515 0
1789.56/1790.02 c shifting : 3.55 5274 0
1789.56/1790.02 c intshifting : 0.07 0 0
1789.56/1790.02 c twoopt : 0.00 0 0
1789.56/1790.02 c fixandinfer : 0.00 0 0
1789.56/1790.02 c intdiving : 0.00 0 0
1789.56/1790.02 c actconsdiving : 0.00 0 0
1789.56/1790.02 c octane : 0.00 0 0
1789.56/1790.02 c rens : 0.05 1 0
1789.56/1790.02 c rins : 0.00 0 0
1789.56/1790.02 c localbranching : 0.00 0 0
1789.56/1790.02 c mutation : 0.00 0 0
1789.56/1790.02 c dins : 0.00 0 0
1789.56/1790.02 c undercover : 0.00 0 0
1789.56/1790.02 c nlp : 0.75 0 0
1789.56/1790.02 c trysol : 1.03 0 0
1789.56/1790.02 c LP : Time Calls Iterations Iter/call Iter/sec
1789.56/1790.02 c primal LP : 0.00 0 0 0.00 -
1789.56/1790.02 c dual LP : 237.56 2012622 5605156 2.79 23594.41
1789.56/1790.02 c lex dual LP : 0.00 0 0 0.00 -
1789.56/1790.02 c barrier LP : 0.00 0 0 0.00 -
1789.56/1790.02 c diving/probing LP: 0.12 1005 2014 2.00 17362.67
1789.56/1790.02 c strong branching : 1.17 5484 21755 3.97 18549.72
1789.56/1790.02 c (at root node) : - 9 292 32.44 -
1789.56/1790.02 c conflict analysis: 0.00 0 0 0.00 -
1789.56/1790.02 c B&B Tree :
1789.56/1790.02 c number of runs : 1
1789.56/1790.02 c nodes : 2193907
1789.56/1790.02 c nodes (total) : 2193907
1789.56/1790.02 c nodes left : 504061
1789.56/1790.02 c max depth : 45
1789.56/1790.02 c max depth (total): 45
1789.56/1790.02 c backtracks : 286633 (13.1%)
1789.56/1790.02 c delayed cutoffs : 36729
1789.56/1790.02 c repropagations : 1879402 (1018230 domain reductions, 30769 cutoffs)
1789.56/1790.02 c avg switch length: 5.60
1789.56/1790.02 c switching time : 398.22
1789.56/1790.02 c Solution :
1789.56/1790.02 c Solutions found : 0 (0 improvements)
1789.56/1790.02 c Primal Bound : -
1789.56/1790.02 c Dual Bound : +0.00000000000000e+00
1789.56/1790.02 c Gap : infinite
1789.56/1790.02 c Root Dual Bound : +0.00000000000000e+00
1789.56/1790.02 c Root Iterations : 131
1792.16/1792.69 c Time complete: 1792.26.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703528-1278561981/watcher-2703528-1278561981 -o /tmp/evaluation-result-2703528-1278561981/solver-2703528-1278561981 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703528-1278561981.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: 0.85 0.98 0.99 3/106 28240
/proc/meminfo: memFree=1682008/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=8936 CPUtime=0
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 1329 0 0 0 0 0 0 0 21 0 1 0 24411777 9150464 1242 1992294400 4194304 8395647 140734560876208 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28240/statm: 2234 1251 374 1026 0 1204 0
[startup+0.0938039 s]
/proc/loadavg: 0.85 0.98 0.99 3/106 28240
/proc/meminfo: memFree=1682008/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=21796 CPUtime=0.09
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 4737 0 0 0 7 2 0 0 23 0 1 0 24411777 22319104 4296 1992294400 4194304 8395647 140734560876208 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 5449 4296 599 1026 0 4419 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21796
[startup+0.100803 s]
/proc/loadavg: 0.85 0.98 0.99 3/106 28240
/proc/meminfo: memFree=1682008/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=21796 CPUtime=0.09
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 4737 0 0 0 7 2 0 0 23 0 1 0 24411777 22319104 4296 1992294400 4194304 8395647 140734560876208 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 5449 4296 599 1026 0 4419 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21796
[startup+0.300819 s]
/proc/loadavg: 0.85 0.98 0.99 3/106 28240
/proc/meminfo: memFree=1682008/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=22292 CPUtime=0.29
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 5135 0 0 0 26 3 0 0 23 0 1 0 24411777 22827008 4694 1992294400 4194304 8395647 140734560876208 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 5573 4694 622 1026 0 4543 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22292
[startup+0.700852 s]
/proc/loadavg: 0.85 0.98 0.99 3/106 28240
/proc/meminfo: memFree=1682008/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=22292 CPUtime=0.69
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 5136 0 0 0 64 5 0 0 25 0 1 0 24411777 22827008 4695 1992294400 4194304 8395647 140734560876208 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 5573 4695 622 1026 0 4543 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22292
[startup+1.50092 s]
/proc/loadavg: 0.85 0.98 0.99 2/107 28241
/proc/meminfo: memFree=1665508/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=22292 CPUtime=1.49
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 5140 0 0 0 141 8 0 0 25 0 1 0 24411777 22827008 4699 1992294400 4194304 8395647 140734560876208 18446744073709551615 5926686 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 5573 4699 622 1026 0 4543 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22292
[startup+3.10105 s]
/proc/loadavg: 0.85 0.98 0.99 2/107 28241
/proc/meminfo: memFree=1665260/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=22292 CPUtime=3.09
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 5147 0 0 0 294 15 0 0 25 0 1 0 24411777 22827008 4706 1992294400 4194304 8395647 140734560876208 18446744073709551615 4231968 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 5573 4706 622 1026 0 4543 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22292
[startup+6.30031 s]
/proc/loadavg: 0.86 0.98 0.99 2/107 28241
/proc/meminfo: memFree=1664888/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=22292 CPUtime=6.28
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 5156 0 0 0 603 25 0 0 25 0 1 0 24411777 22827008 4715 1992294400 4194304 8395647 140734560876208 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 5573 4715 622 1026 0 4543 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 22292
[startup+12.7018 s]
/proc/loadavg: 0.87 0.98 0.99 2/107 28241
/proc/meminfo: memFree=1662788/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=24604 CPUtime=12.69
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 5749 0 0 0 1221 48 0 0 25 0 1 0 24411777 25194496 5308 1992294400 4194304 8395647 140734560876208 18446744073709551615 5926707 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 6151 5308 622 1026 0 5121 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24604
[startup+25.5009 s]
/proc/loadavg: 0.90 0.98 0.99 2/107 28241
/proc/meminfo: memFree=1655472/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=32092 CPUtime=25.48
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 7641 0 0 0 2461 87 0 0 25 0 1 0 24411777 32862208 7200 1992294400 4194304 8395647 140734560876208 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 8023 7200 622 1026 0 6993 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32092
[startup+51.1009 s]
/proc/loadavg: 0.99 0.99 0.99 2/107 28242
/proc/meminfo: memFree=1643320/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=43672 CPUtime=51.06
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 10574 0 0 0 4949 157 0 0 25 0 1 0 24411777 44720128 10133 1992294400 4194304 8395647 140734560876208 18446744073709551615 4243402 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 10918 10133 622 1026 0 9888 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 43672
[startup+102.308 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 28243
/proc/meminfo: memFree=1621372/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=65108 CPUtime=102.26
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 15982 0 0 0 9933 293 0 0 25 0 1 0 24411777 66670592 15541 1992294400 4194304 8395647 140734560876208 18446744073709551615 5085946 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 16277 15541 622 1026 0 15247 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 65108
[startup+162.301 s]
/proc/loadavg: 1.08 1.02 1.00 2/107 28245
/proc/meminfo: memFree=1598928/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=89352 CPUtime=162.24
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 21728 0 0 0 15789 435 0 0 25 0 1 0 24411777 91496448 21287 1992294400 4194304 8395647 140734560876208 18446744073709551615 6349190 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 22338 21287 622 1026 0 21308 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 89352
[startup+222.301 s]
/proc/loadavg: 1.08 1.03 1.00 2/107 28247
/proc/meminfo: memFree=1577600/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=110036 CPUtime=222.23
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 26906 0 0 0 21660 563 0 0 25 0 1 0 24411777 112676864 26465 1992294400 4194304 8395647 140734560876208 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 27509 26465 622 1026 0 26479 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 110036
[startup+282.301 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 28248
/proc/meminfo: memFree=1562348/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=125052 CPUtime=282.22
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 30759 0 0 0 27539 683 0 0 25 0 1 0 24411777 128053248 30318 1992294400 4194304 8395647 140734560876208 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 31263 30318 622 1026 0 30233 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 125052
[startup+342.301 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 28249
/proc/meminfo: memFree=1544988/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=143040 CPUtime=342.2
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 35226 0 0 0 33424 796 0 0 25 0 1 0 24411777 146472960 34785 1992294400 4194304 8395647 140734560876208 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 35760 34785 622 1026 0 34730 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 143040
[startup+402.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 28251
/proc/meminfo: memFree=1526016/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=162524 CPUtime=402.19
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 40116 0 0 0 39313 906 0 0 25 0 1 0 24411777 166424576 39675 1992294400 4194304 8395647 140734560876208 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 40631 39675 622 1026 0 39601 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 162524
[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 28253
/proc/meminfo: memFree=1510516/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=176348 CPUtime=462.18
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 43581 0 0 0 45201 1017 0 0 25 0 1 0 24411777 180580352 43140 1992294400 4194304 8395647 140734560876208 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 44087 43140 622 1026 0 43057 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 176348
[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 28254
/proc/meminfo: memFree=1494272/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=196528 CPUtime=522.16
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 47664 0 0 0 51093 1123 0 0 25 0 1 0 24411777 201244672 47223 1992294400 4194304 8395647 140734560876208 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 49132 47223 622 1026 0 48102 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 196528
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28256
/proc/meminfo: memFree=1479020/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=211756 CPUtime=582.14
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 51519 0 0 0 56981 1233 0 0 25 0 1 0 24411777 216838144 51078 1992294400 4194304 8395647 140734560876208 18446744073709551615 4230950 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 52939 51078 622 1026 0 51909 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 211756
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28257
/proc/meminfo: memFree=1466248/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=223600 CPUtime=642.14
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 54573 0 0 0 62879 1335 0 0 25 0 1 0 24411777 228966400 54132 1992294400 4194304 8395647 140734560876208 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 55900 54132 622 1026 0 54870 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 223600
[startup+702.301 s]
################
# More data... #
################
/proc/meminfo: memFree=1363204/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=324300 CPUtime=1122.02
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 80139 0 0 0 110124 2078 0 0 25 0 1 0 24411777 332083200 79698 1992294400 4194304 8395647 140734560876208 18446744073709551615 5085310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 81075 79698 622 1026 0 80045 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 324300
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28275
/proc/meminfo: memFree=1347208/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=340012 CPUtime=1182
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 84099 0 0 0 116033 2167 0 0 25 0 1 0 24411777 348172288 83658 1992294400 4194304 8395647 140734560876208 18446744073709551615 5089576 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 85003 83658 622 1026 0 83973 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 340012
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28276
/proc/meminfo: memFree=1338652/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=348536 CPUtime=1241.99
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 86238 0 0 0 121948 2251 0 0 25 0 1 0 24411777 356900864 85797 1992294400 4194304 8395647 140734560876208 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 87134 85797 622 1026 0 86104 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 348536
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28278
/proc/meminfo: memFree=1326376/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=360420 CPUtime=1301.98
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 89262 0 0 0 127865 2333 0 0 25 0 1 0 24411777 369070080 88821 1992294400 4194304 8395647 140734560876208 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 90105 88821 622 1026 0 89075 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 360420
[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28280
/proc/meminfo: memFree=1315216/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=371468 CPUtime=1361.96
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 92062 0 0 0 133783 2413 0 0 25 0 1 0 24411777 380383232 91621 1992294400 4194304 8395647 140734560876208 18446744073709551615 4230937 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 92867 91621 622 1026 0 91837 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 371468
[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28282
/proc/meminfo: memFree=1305668/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=381152 CPUtime=1421.95
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 94417 0 0 0 139703 2492 0 0 25 0 1 0 24411777 390299648 93976 1992294400 4194304 8395647 140734560876208 18446744073709551615 5085399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 95288 93976 622 1026 0 94258 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 381152
[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28283
/proc/meminfo: memFree=1292152/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=394652 CPUtime=1481.93
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 97839 0 0 0 145620 2573 0 0 25 0 1 0 24411777 404123648 97398 1992294400 4194304 8395647 140734560876208 18446744073709551615 4218186 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 98663 97398 622 1026 0 97633 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 394652
[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28284
/proc/meminfo: memFree=1280744/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=405676 CPUtime=1541.92
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 100645 0 0 0 151536 2656 0 0 25 0 1 0 24411777 415412224 100204 1992294400 4194304 8395647 140734560876208 18446744073709551615 5085356 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 101419 100204 622 1026 0 100389 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 405676
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28286
/proc/meminfo: memFree=1271940/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=422188 CPUtime=1601.91
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 102802 0 0 0 157454 2737 0 0 25 0 1 0 24411777 432320512 102361 1992294400 4194304 8395647 140734560876208 18446744073709551615 4218227 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 105547 102361 622 1026 0 104517 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 422188
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28288
/proc/meminfo: memFree=1261152/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=432624 CPUtime=1661.89
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 105483 0 0 0 163380 2809 0 0 25 0 1 0 24411777 443006976 105042 1992294400 4194304 8395647 140734560876208 18446744073709551615 4471691 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 108156 105042 622 1026 0 107126 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 432624
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28289
/proc/meminfo: memFree=1248628/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=445804 CPUtime=1721.88
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 108863 0 0 0 169285 2903 0 0 25 0 1 0 24411777 456503296 108422 1992294400 4194304 8395647 140734560876208 18446744073709551615 4613323 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 111451 108422 622 1026 0 110421 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 445804
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28291
/proc/meminfo: memFree=1235608/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=457240 CPUtime=1781.87
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 111800 0 0 0 175204 2983 0 0 25 0 1 0 24411777 468213760 111359 1992294400 4194304 8395647 140734560876208 18446744073709551615 5086861 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 114310 111359 622 1026 0 113280 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 457240
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 28291
/proc/meminfo: memFree=1235484/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=457240 CPUtime=1785.07
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 111802 0 0 0 175520 2987 0 0 25 0 1 0 24411777 468213760 111361 1992294400 4194304 8395647 140734560876208 18446744073709551615 5026819 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 114310 111361 622 1026 0 113280 0
Current children cumulated CPU time (s) 1785.07
Current children cumulated vsize (KiB) 457240
[startup+1788.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28291
/proc/meminfo: memFree=1235112/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=457672 CPUtime=1788.27
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 111913 0 0 0 175837 2990 0 0 25 0 1 0 24411777 468656128 111472 1992294400 4194304 8395647 140734560876208 18446744073709551615 5085381 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/28240/statm: 114418 111472 622 1026 0 113388 0
Current children cumulated CPU time (s) 1788.27
Current children cumulated vsize (KiB) 457672
[startup+1790.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28291
/proc/meminfo: memFree=1234740/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=458056 CPUtime=1789.86
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 112012 0 0 0 175996 2990 0 0 25 0 1 0 24411777 469049344 111571 1992294400 4194304 8395647 140734560876208 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28240/statm: 114514 111571 625 1026 0 113484 0
Current children cumulated CPU time (s) 1789.86
Current children cumulated vsize (KiB) 458056
[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28291
/proc/meminfo: memFree=1234740/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=458056 CPUtime=1791.47
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 112012 0 0 0 176157 2990 0 0 25 0 1 0 24411777 469049344 111571 1992294400 4194304 8395647 140734560876208 18446744073709551615 6345373 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28240/statm: 114514 111571 625 1026 0 113484 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (KiB) 458056
[startup+1792.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28291
/proc/meminfo: memFree=1234740/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=458056 CPUtime=1791.86
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 112012 0 0 0 176196 2990 0 0 25 0 1 0 24411777 469049344 111571 1992294400 4194304 8395647 140734560876208 18446744073709551615 4219916 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28240/statm: 114514 111571 625 1026 0 113484 0
Current children cumulated CPU time (s) 1791.86
Current children cumulated vsize (KiB) 458056
[startup+1792.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28291
/proc/meminfo: memFree=1234740/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=458056 CPUtime=1792.06
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 112012 0 0 0 176216 2990 0 0 25 0 1 0 24411777 469049344 111571 1992294400 4194304 8395647 140734560876208 18446744073709551615 6345173 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28240/statm: 114514 111571 625 1026 0 113484 0
Current children cumulated CPU time (s) 1792.06
Current children cumulated vsize (KiB) 458056
[startup+1792.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28291
/proc/meminfo: memFree=1234740/2059040 swapFree=4139412/4192956
[pid=28240] ppid=28238 vsize=458056 CPUtime=1792.16
/proc/28240/stat : 28240 (pbscip.linux.x8) R 28238 28240 28215 0 -1 4202496 112012 0 0 0 176226 2990 0 0 25 0 1 0 24411777 469049344 111571 1992294400 4194304 8395647 140734560876208 18446744073709551615 5088427 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/28240/statm: 114514 111571 625 1026 0 113484 0
Current children cumulated CPU time (s) 1792.16
Current children cumulated vsize (KiB) 458056
Child status: 0
Real time (s): 1792.7
CPU time (s): 1792.27
CPU user time (s): 1762.32
CPU system time (s): 29.9534
CPU usage (%): 99.9761
Max. virtual memory (cumulated for all children) (KiB): 458056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1762.32
system time used= 29.9534
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112015
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= 1
involuntary context switches= 2504
runsolver used 2.95955 second user time and 8.47371 second system time
The end