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-2665446-1276613231.opb>
0.00/0.01 c original problem has 41 variables (41 bin, 0 int, 0 impl, 0 cont) and 11 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 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, 6 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, 6 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 40 variables (40 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02 c 5 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.2
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 = 1800
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 # 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 # 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 | 26 | - | 234k| 0 | 5 | 40 | 5 | 40 | 5 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.08/0.10 c 0.1s| 1 | 0 | 30 | - | 290k| 0 | 7 | 40 | 24 | 40 | 8 | 3 | 0 | 0 | 0.000000e+00 | -- | Inf
0.08/0.11 c 0.1s| 1 | 0 | 38 | - | 314k| 0 | 10 | 40 | 24 | 40 | 13 | 8 | 0 | 0 | 0.000000e+00 | -- | Inf
0.08/0.12 c 0.1s| 1 | 0 | 52 | - | 337k| 0 | 12 | 40 | 24 | 40 | 17 | 12 | 0 | 0 | 0.000000e+00 | -- | Inf
0.08/0.12 c 0.1s| 1 | 0 | 59 | - | 352k| 0 | 13 | 40 | 24 | 40 | 20 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.08/0.13 c 0.1s| 1 | 0 | 75 | - | 375k| 0 | 14 | 40 | 24 | 40 | 23 | 18 | 0 | 0 | 0.000000e+00 | -- | Inf
0.08/0.14 c 0.1s| 1 | 0 | 81 | - | 384k| 0 | 15 | 40 | 24 | 40 | 25 | 20 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.1s| 1 | 2 | 81 | - | 385k| 0 | 15 | 40 | 24 | 40 | 25 | 20 | 0 | 9 | 0.000000e+00 | -- | Inf
5.40/5.47 c 4.6s| 10000 | 2740 | 22070 | 2.2 |3295k| 35 | 5 | 40 |2851 | 40 | 15 | 20 |3666 | 503 | 0.000000e+00 | -- | Inf
10.90/10.98 c 9.4s| 20000 | 4771 | 47169 | 2.4 |4621k| 35 | - | 40 |2142 | 40 | 15 | 20 |7676 | 669 | 0.000000e+00 | -- | Inf
16.28/16.36 c 14.1s| 30000 | 6512 | 71397 | 2.4 |6013k| 35 | - | 40 |2594 | 0 | 0 | 20 | 11k| 783 | 0.000000e+00 | -- | Inf
21.78/21.89 c 18.9s| 40000 | 8307 | 96504 | 2.4 |7448k| 35 | 5 | 40 |3103 | 40 | 15 | 20 | 15k| 875 | 0.000000e+00 | -- | Inf
27.49/27.58 c 23.8s| 50000 | 10045 |120874 | 2.4 |8721k| 35 | - | 40 |3138 | 0 | 0 | 20 | 19k| 947 | 0.000000e+00 | -- | Inf
33.08/33.17 c 28.6s| 60000 | 11959 |146593 | 2.4 | 10M| 35 | 5 | 40 |3798 | 40 | 15 | 20 | 23k| 990 | 0.000000e+00 | -- | Inf
39.18/39.25 c 33.9s| 70000 | 13841 |172023 | 2.5 | 11M| 35 | 5 | 40 |3896 | 40 | 15 | 20 | 27k|1045 | 0.000000e+00 | -- | Inf
45.09/45.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
45.09/45.16 c 39.0s| 80000 | 15824 |196075 | 2.4 | 12M| 35 | - | 40 |3636 | 0 | 0 | 20 | 31k|1097 | 0.000000e+00 | -- | Inf
50.98/51.03 c 44.1s| 90000 | 17786 |218712 | 2.4 | 14M| 35 | - | 40 |3413 | 40 | 15 | 20 | 34k|1150 | 0.000000e+00 | -- | Inf
56.98/57.03 c 49.4s|100000 | 19785 |240368 | 2.4 | 15M| 35 | 5 | 40 |3363 | 40 | 15 | 20 | 38k|1203 | 0.000000e+00 | -- | Inf
62.77/62.83 c 54.4s|110000 | 21881 |262712 | 2.4 | 17M| 35 | 5 | 40 |3970 | 40 | 15 | 20 | 42k|1267 | 0.000000e+00 | -- | Inf
68.67/68.80 c 59.7s|120000 | 23840 |284874 | 2.4 | 18M| 35 | 5 | 40 |4049 | 40 | 15 | 20 | 45k|1311 | 0.000000e+00 | -- | Inf
74.97/75.02 c 65.1s|130000 | 25791 |307259 | 2.4 | 19M| 35 | - | 40 |4239 | 0 | 0 | 20 | 49k|1361 | 0.000000e+00 | -- | Inf
81.07/81.16 c 70.5s|140000 | 27865 |329565 | 2.4 | 21M| 35 | - | 40 |4147 | 40 | 15 | 20 | 53k|1406 | 0.000000e+00 | -- | Inf
87.36/87.45 c 76.0s|150000 | 29864 |351527 | 2.3 | 22M| 35 | - | 40 |4046 | 40 | 15 | 20 | 57k|1447 | 0.000000e+00 | -- | Inf
93.86/93.93 c 81.6s|160000 | 31646 |373858 | 2.3 | 24M| 35 | 5 | 40 |4639 | 40 | 15 | 20 | 60k|1480 | 0.000000e+00 | -- | Inf
100.56/100.65 c 87.5s|170000 | 33363 |395410 | 2.3 | 25M| 35 | 5 | 40 |4165 | 40 | 15 | 20 | 64k|1515 | 0.000000e+00 | -- | Inf
106.86/106.93 c 93.0s|180000 | 35182 |417653 | 2.3 | 26M| 35 | 5 | 40 |5174 | 40 | 15 | 20 | 68k|1559 | 0.000000e+00 | -- | Inf
113.65/113.72 c 99.0s|190000 | 36990 |439426 | 2.3 | 28M| 35 | 5 | 40 |4438 | 40 | 15 | 20 | 72k|1594 | 0.000000e+00 | -- | Inf
120.26/120.38 c 105s|200000 | 38920 |461795 | 2.3 | 29M| 35 | 5 | 40 |5109 | 40 | 15 | 20 | 75k|1625 | 0.000000e+00 | -- | Inf
127.46/127.50 c 111s|210000 | 40585 |484518 | 2.3 | 30M| 35 | 5 | 40 |4858 | 40 | 15 | 20 | 79k|1659 | 0.000000e+00 | -- | Inf
134.56/134.62 c 117s|220000 | 41966 |505992 | 2.3 | 31M| 35 | - | 40 |4814 | 40 | 15 | 20 | 83k|1701 | 0.000000e+00 | -- | Inf
141.55/141.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.55/141.67 c 124s|230000 | 43597 |527790 | 2.3 | 33M| 35 | 5 | 40 |4325 | 40 | 15 | 20 | 87k|1739 | 0.000000e+00 | -- | Inf
147.95/148.07 c 129s|240000 | 45549 |549516 | 2.3 | 34M| 35 | - | 40 |4890 | 40 | 15 | 20 | 90k|1767 | 0.000000e+00 | -- | Inf
155.15/155.27 c 136s|250000 | 47072 |571506 | 2.3 | 35M| 35 | - | 40 |4546 | 40 | 15 | 20 | 94k|1810 | 0.000000e+00 | -- | Inf
162.15/162.29 c 142s|260000 | 48680 |593800 | 2.3 | 36M| 35 | 5 | 40 |4671 | 40 | 15 | 20 | 97k|1838 | 0.000000e+00 | -- | Inf
168.85/169.00 c 148s|270000 | 50294 |616833 | 2.3 | 38M| 35 | - | 40 |4812 | 40 | 15 | 20 | 101k|1873 | 0.000000e+00 | -- | Inf
175.74/175.85 c 154s|280000 | 51912 |638621 | 2.3 | 39M| 35 | - | 40 |5062 | 40 | 15 | 20 | 105k|1903 | 0.000000e+00 | -- | Inf
182.84/182.94 c 160s|290000 | 53619 |660595 | 2.3 | 40M| 35 | 5 | 40 |5063 | 40 | 15 | 20 | 108k|1939 | 0.000000e+00 | -- | Inf
189.64/189.75 c 166s|300000 | 55284 |682398 | 2.3 | 41M| 35 | 5 | 40 |5294 | 40 | 15 | 20 | 112k|1975 | 0.000000e+00 | -- | Inf
196.43/196.60 c 172s|310000 | 57230 |704153 | 2.3 | 43M| 35 | 5 | 40 |5422 | 40 | 15 | 20 | 115k|1999 | 0.000000e+00 | -- | Inf
203.73/203.81 c 179s|320000 | 58789 |725907 | 2.3 | 44M| 35 | - | 40 |5192 | 0 | 0 | 20 | 119k|2028 | 0.000000e+00 | -- | Inf
210.93/211.00 c 185s|330000 | 60216 |747977 | 2.3 | 45M| 35 | 5 | 40 |5030 | 40 | 15 | 20 | 122k|2062 | 0.000000e+00 | -- | Inf
218.23/218.37 c 192s|340000 | 61747 |770011 | 2.3 | 46M| 35 | 5 | 40 |4613 | 40 | 15 | 20 | 126k|2093 | 0.000000e+00 | -- | Inf
225.13/225.25 c 198s|350000 | 63319 |792315 | 2.3 | 47M| 35 | 5 | 40 |5076 | 40 | 15 | 20 | 130k|2121 | 0.000000e+00 | -- | Inf
232.43/232.53 c 204s|360000 | 64802 |814470 | 2.3 | 48M| 35 | 5 | 40 |5155 | 40 | 15 | 20 | 134k|2148 | 0.000000e+00 | -- | Inf
239.52/239.69 c 211s|370000 | 66266 |836398 | 2.3 | 49M| 35 | 5 | 40 |5062 | 40 | 15 | 20 | 137k|2183 | 0.000000e+00 | -- | Inf
247.12/247.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
247.12/247.29 c 217s|380000 | 67543 |858278 | 2.3 | 50M| 35 | - | 40 |4756 | 40 | 15 | 20 | 141k|2207 | 0.000000e+00 | -- | Inf
254.03/254.15 c 223s|390000 | 69114 |879730 | 2.3 | 52M| 35 | - | 40 |5036 | 40 | 15 | 20 | 144k|2234 | 0.000000e+00 | -- | Inf
261.02/261.16 c 230s|400000 | 70922 |901590 | 2.3 | 53M| 35 | 5 | 40 |5898 | 40 | 15 | 20 | 148k|2260 | 0.000000e+00 | -- | Inf
269.33/269.48 c 237s|410000 | 72094 |923585 | 2.3 | 54M| 35 | 5 | 40 |4764 | 40 | 15 | 20 | 151k|2286 | 0.000000e+00 | -- | Inf
276.72/276.90 c 244s|420000 | 73245 |945230 | 2.3 | 55M| 35 | 5 | 40 |4882 | 40 | 15 | 20 | 155k|2317 | 0.000000e+00 | -- | Inf
284.21/284.36 c 250s|430000 | 74586 |966634 | 2.2 | 56M| 35 | - | 40 |5309 | 0 | 0 | 20 | 159k|2342 | 0.000000e+00 | -- | Inf
290.72/290.82 c 256s|440000 | 76687 |988443 | 2.2 | 58M| 35 | 5 | 40 |6544 | 40 | 15 | 20 | 162k|2369 | 0.000000e+00 | -- | Inf
298.51/298.69 c 263s|450000 | 78271 | 1010k| 2.2 | 59M| 35 | 5 | 40 |6715 | 40 | 15 | 20 | 166k|2396 | 0.000000e+00 | -- | Inf
306.41/306.56 c 270s|460000 | 79823 | 1032k| 2.2 | 60M| 35 | - | 40 |6101 | 40 | 15 | 20 | 169k|2422 | 0.000000e+00 | -- | Inf
314.30/314.45 c 277s|470000 | 81139 | 1054k| 2.2 | 61M| 35 | 5 | 40 |5528 | 40 | 15 | 20 | 172k|2436 | 0.000000e+00 | -- | Inf
321.51/321.62 c 283s|480000 | 82976 | 1076k| 2.2 | 62M| 35 | 5 | 40 |5760 | 40 | 15 | 20 | 176k|2455 | 0.000000e+00 | -- | Inf
329.50/329.65 c 291s|490000 | 84341 | 1098k| 2.2 | 63M| 35 | 5 | 40 |5319 | 40 | 15 | 20 | 179k|2481 | 0.000000e+00 | -- | Inf
337.10/337.21 c 297s|500000 | 85678 | 1120k| 2.2 | 64M| 35 | 5 | 40 |4947 | 40 | 15 | 20 | 183k|2507 | 0.000000e+00 | -- | Inf
344.30/344.44 c 304s|510000 | 86963 | 1141k| 2.2 | 65M| 35 | - | 40 |5804 | 40 | 15 | 20 | 186k|2532 | 0.000000e+00 | -- | Inf
352.49/352.66 c 311s|520000 | 88045 | 1163k| 2.2 | 66M| 35 | 5 | 40 |5316 | 40 | 15 | 20 | 190k|2555 | 0.000000e+00 | -- | Inf
360.19/360.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
360.19/360.31 c 318s|530000 | 89334 | 1186k| 2.2 | 67M| 35 | 5 | 40 |5749 | 40 | 15 | 20 | 194k|2580 | 0.000000e+00 | -- | Inf
367.70/367.88 c 325s|540000 | 90870 | 1208k| 2.2 | 68M| 35 | 5 | 40 |5851 | 40 | 15 | 20 | 197k|2608 | 0.000000e+00 | -- | Inf
374.50/374.64 c 331s|550000 | 92948 | 1230k| 2.2 | 70M| 35 | - | 40 |7418 | 40 | 15 | 20 | 201k|2642 | 0.000000e+00 | -- | Inf
383.29/383.40 c 339s|560000 | 94178 | 1252k| 2.2 | 71M| 35 | 5 | 40 |6476 | 40 | 15 | 20 | 204k|2666 | 0.000000e+00 | -- | Inf
391.19/391.37 c 346s|570000 | 95556 | 1275k| 2.2 | 72M| 35 | 5 | 40 |5936 | 40 | 15 | 20 | 208k|2690 | 0.000000e+00 | -- | Inf
399.28/399.44 c 353s|580000 | 96928 | 1296k| 2.2 | 73M| 35 | - | 40 |5730 | 40 | 15 | 20 | 211k|2716 | 0.000000e+00 | -- | Inf
406.59/406.77 c 359s|590000 | 98457 | 1319k| 2.2 | 74M| 35 | - | 40 |6316 | 40 | 15 | 20 | 215k|2740 | 0.000000e+00 | -- | Inf
415.08/415.24 c 367s|600000 | 99603 | 1341k| 2.2 | 75M| 35 | 5 | 40 |6005 | 40 | 15 | 20 | 218k|2763 | 0.000000e+00 | -- | Inf
422.68/422.87 c 374s|610000 |100913 | 1362k| 2.2 | 76M| 35 | - | 40 |6433 | 40 | 15 | 20 | 222k|2791 | 0.000000e+00 | -- | Inf
430.57/430.77 c 381s|620000 |102336 | 1384k| 2.2 | 77M| 35 | - | 40 |6315 | 40 | 15 | 20 | 225k|2815 | 0.000000e+00 | -- | Inf
438.47/438.62 c 388s|630000 |103834 | 1406k| 2.2 | 78M| 35 | - | 40 |6418 | 40 | 15 | 20 | 229k|2837 | 0.000000e+00 | -- | Inf
445.67/445.82 c 394s|640000 |105398 | 1429k| 2.2 | 80M| 35 | 5 | 40 |6772 | 40 | 15 | 20 | 232k|2868 | 0.000000e+00 | -- | Inf
454.57/454.79 c 402s|650000 |106368 | 1450k| 2.2 | 80M| 35 | - | 40 |6193 | 40 | 15 | 20 | 236k|2894 | 0.000000e+00 | -- | Inf
463.57/463.78 c 411s|660000 |107346 | 1472k| 2.2 | 81M| 35 | - | 40 |5558 | 40 | 15 | 20 | 240k|2917 | 0.000000e+00 | -- | Inf
471.67/471.82 c 418s|670000 |108660 | 1494k| 2.2 | 82M| 35 | 5 | 40 |5869 | 40 | 15 | 20 | 243k|2948 | 0.000000e+00 | -- | Inf
479.96/480.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
479.96/480.18 c 425s|680000 |109788 | 1516k| 2.2 | 83M| 35 | - | 40 |5444 | 0 | 0 | 20 | 247k|2972 | 0.000000e+00 | -- | Inf
487.26/487.49 c 432s|690000 |111234 | 1538k| 2.2 | 84M| 35 | 5 | 40 |6296 | 40 | 15 | 20 | 250k|2987 | 0.000000e+00 | -- | Inf
496.87/497.04 c 440s|700000 |111931 | 1560k| 2.2 | 85M| 35 | - | 40 |5571 | 40 | 15 | 20 | 254k|3012 | 0.000000e+00 | -- | Inf
505.05/505.26 c 448s|710000 |112916 | 1582k| 2.2 | 86M| 35 | 5 | 40 |5870 | 40 | 15 | 20 | 257k|3038 | 0.000000e+00 | -- | Inf
513.56/513.74 c 456s|720000 |113843 | 1604k| 2.2 | 86M| 35 | - | 40 |5271 | 40 | 15 | 20 | 261k|3070 | 0.000000e+00 | -- | Inf
521.76/521.91 c 463s|730000 |114890 | 1626k| 2.2 | 88M| 35 | - | 40 |6048 | 0 | 0 | 20 | 264k|3088 | 0.000000e+00 | -- | Inf
529.96/530.15 c 470s|740000 |116041 | 1648k| 2.2 | 89M| 35 | 5 | 40 |6456 | 40 | 15 | 20 | 268k|3107 | 0.000000e+00 | -- | Inf
537.85/538.02 c 477s|750000 |117306 | 1670k| 2.2 | 90M| 35 | - | 40 |6946 | 40 | 15 | 20 | 271k|3131 | 0.000000e+00 | -- | Inf
545.64/545.86 c 484s|760000 |118472 | 1692k| 2.2 | 91M| 35 | - | 40 |7754 | 40 | 15 | 20 | 275k|3157 | 0.000000e+00 | -- | Inf
554.55/554.71 c 492s|770000 |119646 | 1714k| 2.2 | 92M| 35 | 5 | 40 |7199 | 40 | 15 | 20 | 278k|3177 | 0.000000e+00 | -- | Inf
562.95/563.11 c 500s|780000 |121464 | 1736k| 2.2 | 93M| 35 | - | 40 |7193 | 40 | 15 | 20 | 282k|3193 | 0.000000e+00 | -- | Inf
570.94/571.11 c 507s|790000 |123081 | 1759k| 2.2 | 94M| 35 | 5 | 40 |8467 | 40 | 15 | 20 | 285k|3209 | 0.000000e+00 | -- | Inf
580.73/580.94 c 516s|800000 |124064 | 1781k| 2.2 | 95M| 35 | - | 40 |7122 | 40 | 15 | 20 | 289k|3225 | 0.000000e+00 | -- | Inf
589.44/589.62 c 524s|810000 |125270 | 1803k| 2.2 | 96M| 35 | - | 40 |7641 | 0 | 0 | 20 | 292k|3242 | 0.000000e+00 | -- | Inf
599.03/599.26 c 532s|820000 |126138 | 1825k| 2.2 | 97M| 35 | 5 | 40 |7331 | 40 | 15 | 20 | 296k|3254 | 0.000000e+00 | -- | Inf
608.63/608.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
608.63/608.87 c 541s|830000 |127016 | 1847k| 2.2 | 98M| 35 | - | 40 |6828 | 40 | 15 | 20 | 299k|3273 | 0.000000e+00 | -- | Inf
617.03/617.27 c 549s|840000 |128188 | 1869k| 2.2 | 99M| 35 | 5 | 40 |7671 | 40 | 15 | 20 | 303k|3296 | 0.000000e+00 | -- | Inf
626.43/626.67 c 557s|850000 |129097 | 1890k| 2.2 | 99M| 35 | 5 | 40 |7112 | 40 | 15 | 20 | 306k|3316 | 0.000000e+00 | -- | Inf
636.43/636.68 c 566s|860000 |129789 | 1912k| 2.2 | 100M| 35 | - | 40 |6110 | 40 | 15 | 20 | 310k|3342 | 0.000000e+00 | -- | Inf
644.43/644.63 c 574s|870000 |131382 | 1934k| 2.2 | 101M| 35 | - | 40 |6176 | 40 | 15 | 20 | 314k|3361 | 0.000000e+00 | -- | Inf
651.82/652.03 c 580s|880000 |132882 | 1956k| 2.2 | 102M| 35 | - | 40 |7111 | 40 | 15 | 20 | 317k|3378 | 0.000000e+00 | -- | Inf
659.41/659.63 c 587s|890000 |134421 | 1979k| 2.2 | 104M| 35 | 5 | 40 |8059 | 40 | 15 | 20 | 321k|3396 | 0.000000e+00 | -- | Inf
667.01/667.27 c 594s|900000 |136536 | 2001k| 2.2 | 105M| 35 | - | 40 |8079 | 40 | 15 | 20 | 324k|3415 | 0.000000e+00 | -- | Inf
675.81/676.08 c 602s|910000 |137621 | 2023k| 2.2 | 106M| 35 | 5 | 40 |7896 | 40 | 15 | 20 | 328k|3432 | 0.000000e+00 | -- | Inf
684.41/684.60 c 609s|920000 |138551 | 2046k| 2.2 | 107M| 35 | - | 40 |7980 | 40 | 15 | 20 | 332k|3451 | 0.000000e+00 | -- | Inf
693.01/693.24 c 617s|930000 |139885 | 2067k| 2.2 | 108M| 35 | 5 | 40 |7956 | 40 | 15 | 20 | 335k|3465 | 0.000000e+00 | -- | Inf
701.70/701.93 c 625s|940000 |141306 | 2090k| 2.2 | 109M| 35 | 5 | 40 |7298 | 40 | 15 | 20 | 338k|3484 | 0.000000e+00 | -- | Inf
709.61/709.84 c 632s|950000 |142659 | 2113k| 2.2 | 110M| 35 | 5 | 40 |8111 | 40 | 15 | 20 | 342k|3498 | 0.000000e+00 | -- | Inf
717.60/717.86 c 639s|960000 |144286 | 2135k| 2.2 | 112M| 35 | 5 | 40 |9025 | 40 | 15 | 20 | 345k|3513 | 0.000000e+00 | -- | Inf
725.90/726.19 c 647s|970000 |145655 | 2158k| 2.2 | 113M| 35 | 5 | 40 |9620 | 40 | 15 | 20 | 348k|3527 | 0.000000e+00 | -- | Inf
736.70/736.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
736.70/736.95 c 657s|980000 |146522 | 2180k| 2.2 | 113M| 35 | 5 | 40 |8003 | 40 | 15 | 20 | 352k|3539 | 0.000000e+00 | -- | Inf
745.19/745.48 c 664s|990000 |147990 | 2202k| 2.2 | 114M| 35 | - | 40 |8311 | 0 | 0 | 20 | 355k|3555 | 0.000000e+00 | -- | Inf
754.80/755.07 c 673s| 1000k|149082 | 2223k| 2.2 | 115M| 35 | 5 | 40 |7803 | 40 | 15 | 20 | 359k|3572 | 0.000000e+00 | -- | Inf
764.30/764.54 c 682s| 1010k|150101 | 2245k| 2.2 | 116M| 35 | - | 40 |7515 | 40 | 15 | 20 | 362k|3583 | 0.000000e+00 | -- | Inf
772.89/773.14 c 690s| 1020k|151669 | 2267k| 2.2 | 117M| 35 | 5 | 40 |8008 | 40 | 15 | 20 | 365k|3598 | 0.000000e+00 | -- | Inf
782.08/782.32 c 698s| 1030k|152710 | 2289k| 2.2 | 118M| 35 | 5 | 40 |7072 | 40 | 15 | 20 | 369k|3613 | 0.000000e+00 | -- | Inf
791.58/791.81 c 707s| 1040k|153639 | 2311k| 2.2 | 119M| 35 | 5 | 40 |6580 | 40 | 15 | 20 | 372k|3629 | 0.000000e+00 | -- | Inf
800.49/800.72 c 715s| 1050k|154461 | 2336k| 2.2 | 119M| 35 | 5 | 40 |6980 | 40 | 15 | 20 | 376k|3637 | 0.000000e+00 | -- | Inf
809.98/810.21 c 723s| 1060k|155432 | 2360k| 2.2 | 120M| 35 | 5 | 40 |5917 | 40 | 15 | 20 | 380k|3648 | 0.000000e+00 | -- | Inf
817.37/817.67 c 730s| 1070k|156927 | 2383k| 2.2 | 121M| 35 | 5 | 40 |6942 | 40 | 15 | 20 | 383k|3660 | 0.000000e+00 | -- | Inf
825.37/825.65 c 737s| 1080k|157947 | 2406k| 2.2 | 122M| 35 | 5 | 40 |7499 | 40 | 15 | 20 | 387k|3675 | 0.000000e+00 | -- | Inf
833.96/834.29 c 745s| 1090k|158757 | 2428k| 2.2 | 123M| 35 | 5 | 40 |7329 | 40 | 15 | 20 | 390k|3694 | 0.000000e+00 | -- | Inf
842.66/842.96 c 753s| 1100k|159791 | 2452k| 2.2 | 124M| 35 | 5 | 40 |7749 | 40 | 15 | 20 | 394k|3710 | 0.000000e+00 | -- | Inf
852.55/852.89 c 762s| 1110k|160564 | 2476k| 2.2 | 125M| 35 | - | 40 |6910 | 40 | 15 | 20 | 398k|3718 | 0.000000e+00 | -- | Inf
860.86/861.18 c 769s| 1120k|161659 | 2500k| 2.2 | 126M| 35 | 5 | 40 |8316 | 40 | 15 | 20 | 401k|3724 | 0.000000e+00 | -- | Inf
871.25/871.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
871.25/871.58 c 779s| 1130k|162194 | 2524k| 2.2 | 126M| 35 | 5 | 40 |7075 | 40 | 15 | 20 | 405k|3730 | 0.000000e+00 | -- | Inf
879.85/880.18 c 786s| 1140k|163332 | 2548k| 2.2 | 127M| 35 | 5 | 40 |7127 | 40 | 15 | 20 | 408k|3738 | 0.000000e+00 | -- | Inf
889.75/890.00 c 795s| 1150k|164117 | 2573k| 2.2 | 128M| 35 | 5 | 40 |6643 | 40 | 15 | 20 | 412k|3743 | 0.000000e+00 | -- | Inf
898.04/898.36 c 803s| 1160k|165093 | 2597k| 2.2 | 129M| 35 | - | 40 |7222 | 40 | 15 | 20 | 415k|3748 | 0.000000e+00 | -- | Inf
907.44/907.70 c 811s| 1170k|165939 | 2621k| 2.2 | 130M| 35 | - | 40 |7414 | 40 | 15 | 20 | 419k|3757 | 0.000000e+00 | -- | Inf
916.84/917.16 c 820s| 1180k|166710 | 2645k| 2.2 | 130M| 35 | - | 40 |7651 | 0 | 0 | 20 | 422k|3771 | 0.000000e+00 | -- | Inf
926.54/926.86 c 829s| 1190k|167503 | 2668k| 2.2 | 131M| 35 | - | 40 |7192 | 40 | 15 | 20 | 426k|3784 | 0.000000e+00 | -- | Inf
936.14/936.44 c 838s| 1200k|168161 | 2692k| 2.2 | 131M| 35 | 5 | 40 |6789 | 40 | 15 | 20 | 430k|3801 | 0.000000e+00 | -- | Inf
945.33/945.61 c 846s| 1210k|168777 | 2715k| 2.2 | 132M| 35 | 5 | 40 |6231 | 40 | 15 | 20 | 433k|3819 | 0.000000e+00 | -- | Inf
954.44/954.79 c 854s| 1220k|169488 | 2740k| 2.2 | 133M| 35 | 5 | 40 |6291 | 40 | 15 | 20 | 437k|3827 | 0.000000e+00 | -- | Inf
963.02/963.30 c 862s| 1230k|170293 | 2764k| 2.2 | 134M| 35 | 5 | 40 |6837 | 40 | 15 | 20 | 441k|3835 | 0.000000e+00 | -- | Inf
972.73/973.05 c 871s| 1240k|170867 | 2788k| 2.2 | 134M| 35 | 5 | 40 |6410 | 40 | 15 | 20 | 444k|3850 | 0.000000e+00 | -- | Inf
981.62/981.90 c 879s| 1250k|171565 | 2811k| 2.2 | 135M| 35 | 5 | 40 |6604 | 40 | 15 | 20 | 448k|3861 | 0.000000e+00 | -- | Inf
990.23/990.51 c 887s| 1260k|172438 | 2835k| 2.3 | 136M| 35 | - | 40 |7060 | 0 | 0 | 20 | 452k|3870 | 0.000000e+00 | -- | Inf
999.82/1000.12 c 895s| 1270k|172935 | 2858k| 2.3 | 136M| 35 | 5 | 40 |6647 | 40 | 15 | 20 | 455k|3879 | 0.000000e+00 | -- | Inf
1009.22/1009.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1009.22/1009.52 c 904s| 1280k|173632 | 2881k| 2.3 | 137M| 35 | - | 40 |6533 | 40 | 15 | 20 | 459k|3890 | 0.000000e+00 | -- | Inf
1017.51/1017.86 c 911s| 1290k|174674 | 2902k| 2.2 | 138M| 35 | - | 40 |7695 | 40 | 15 | 20 | 463k|3900 | 0.000000e+00 | -- | Inf
1027.51/1027.83 c 921s| 1300k|175304 | 2924k| 2.2 | 139M| 35 | - | 40 |7397 | 40 | 15 | 20 | 467k|3910 | 0.000000e+00 | -- | Inf
1036.31/1036.63 c 929s| 1310k|176461 | 2945k| 2.2 | 140M| 35 | - | 40 |7476 | 40 | 15 | 20 | 470k|3927 | 0.000000e+00 | -- | Inf
1046.11/1046.45 c 938s| 1320k|177160 | 2966k| 2.2 | 140M| 35 | - | 40 |6589 | 40 | 15 | 20 | 474k|3940 | 0.000000e+00 | -- | Inf
1054.40/1054.71 c 945s| 1330k|178476 | 2988k| 2.2 | 141M| 35 | - | 40 |7356 | 40 | 15 | 20 | 477k|3946 | 0.000000e+00 | -- | Inf
1063.50/1063.83 c 953s| 1340k|179439 | 3010k| 2.2 | 142M| 35 | 5 | 40 |7706 | 40 | 15 | 20 | 481k|3964 | 0.000000e+00 | -- | Inf
1073.80/1074.11 c 963s| 1350k|180236 | 3032k| 2.2 | 143M| 35 | 5 | 40 |6288 | 40 | 15 | 20 | 484k|3980 | 0.000000e+00 | -- | Inf
1082.10/1082.44 c 970s| 1360k|181383 | 3054k| 2.2 | 144M| 35 | 5 | 40 |6735 | 40 | 15 | 20 | 487k|3997 | 0.000000e+00 | -- | Inf
1090.10/1090.45 c 977s| 1370k|182564 | 3077k| 2.2 | 145M| 35 | 5 | 40 |7613 | 40 | 15 | 20 | 491k|4009 | 0.000000e+00 | -- | Inf
1098.89/1099.29 c 985s| 1380k|183761 | 3099k| 2.2 | 146M| 35 | - | 40 |7387 | 40 | 15 | 20 | 494k|4021 | 0.000000e+00 | -- | Inf
1108.79/1109.15 c 994s| 1390k|184417 | 3120k| 2.2 | 146M| 35 | 5 | 40 |6521 | 40 | 15 | 20 | 498k|4033 | 0.000000e+00 | -- | Inf
1118.40/1118.78 c 1003s| 1400k|185101 | 3142k| 2.2 | 147M| 35 | - | 40 |6691 | 40 | 15 | 20 | 501k|4049 | 0.000000e+00 | -- | Inf
1128.09/1128.45 c 1012s| 1410k|185732 | 3163k| 2.2 | 148M| 35 | - | 40 |6423 | 0 | 0 | 20 | 505k|4060 | 0.000000e+00 | -- | Inf
1136.79/1137.10 c 1020s| 1420k|186638 | 3185k| 2.2 | 148M| 35 | 5 | 40 |6525 | 40 | 15 | 20 | 509k|4063 | 0.000000e+00 | -- | Inf
1145.98/1146.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1145.98/1146.34 c 1028s| 1430k|187475 | 3206k| 2.2 | 149M| 35 | - | 40 |7040 | 40 | 15 | 20 | 512k|4073 | 0.000000e+00 | -- | Inf
1155.08/1155.47 c 1037s| 1440k|188298 | 3228k| 2.2 | 150M| 35 | 5 | 40 |6590 | 40 | 15 | 20 | 516k|4083 | 0.000000e+00 | -- | Inf
1164.08/1164.46 c 1045s| 1450k|189100 | 3249k| 2.2 | 151M| 35 | - | 40 |6606 | 40 | 15 | 20 | 520k|4095 | 0.000000e+00 | -- | Inf
1173.47/1173.84 c 1053s| 1460k|189752 | 3271k| 2.2 | 151M| 35 | - | 40 |6529 | 40 | 15 | 20 | 523k|4108 | 0.000000e+00 | -- | Inf
1183.17/1183.53 c 1062s| 1470k|190306 | 3292k| 2.2 | 152M| 35 | 5 | 40 |6161 | 40 | 15 | 20 | 527k|4118 | 0.000000e+00 | -- | Inf
1191.87/1192.24 c 1070s| 1480k|191201 | 3314k| 2.2 | 153M| 35 | - | 40 |6856 | 0 | 0 | 20 | 530k|4128 | 0.000000e+00 | -- | Inf
1201.67/1202.02 c 1079s| 1490k|191853 | 3335k| 2.2 | 153M| 35 | - | 40 |6935 | 40 | 15 | 20 | 534k|4134 | 0.000000e+00 | -- | Inf
1211.17/1211.57 c 1088s| 1500k|192600 | 3357k| 2.2 | 154M| 35 | - | 40 |6563 | 40 | 15 | 20 | 537k|4141 | 0.000000e+00 | -- | Inf
1220.57/1220.98 c 1096s| 1510k|193415 | 3378k| 2.2 | 155M| 35 | - | 40 |6829 | 40 | 15 | 20 | 541k|4150 | 0.000000e+00 | -- | Inf
1229.56/1229.97 c 1104s| 1520k|194290 | 3399k| 2.2 | 156M| 35 | 5 | 40 |7246 | 40 | 15 | 20 | 544k|4164 | 0.000000e+00 | -- | Inf
1239.27/1239.67 c 1113s| 1530k|194902 | 3420k| 2.2 | 156M| 35 | 5 | 40 |6722 | 40 | 15 | 20 | 548k|4171 | 0.000000e+00 | -- | Inf
1248.65/1249.05 c 1122s| 1540k|195536 | 3442k| 2.2 | 157M| 35 | - | 40 |6426 | 40 | 15 | 20 | 551k|4187 | 0.000000e+00 | -- | Inf
1256.65/1257.01 c 1129s| 1550k|197214 | 3464k| 2.2 | 158M| 35 | 5 | 40 |6927 | 40 | 15 | 20 | 555k|4198 | 0.000000e+00 | -- | Inf
1264.56/1264.94 c 1136s| 1560k|198431 | 3487k| 2.2 | 159M| 35 | 5 | 40 |8211 | 40 | 15 | 20 | 558k|4211 | 0.000000e+00 | -- | Inf
1273.36/1273.75 c 1144s| 1570k|199294 | 3509k| 2.2 | 160M| 35 | - | 40 |7996 | 40 | 15 | 20 | 562k|4222 | 0.000000e+00 | -- | Inf
1283.14/1283.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1283.14/1283.58 c 1153s| 1580k|199930 | 3530k| 2.2 | 161M| 35 | 5 | 40 |8098 | 40 | 15 | 20 | 565k|4236 | 0.000000e+00 | -- | Inf
1292.45/1292.84 c 1161s| 1590k|200978 | 3552k| 2.2 | 162M| 35 | - | 40 |8620 | 0 | 0 | 20 | 569k|4249 | 0.000000e+00 | -- | Inf
1302.24/1302.65 c 1170s| 1600k|201708 | 3573k| 2.2 | 163M| 35 | 5 | 40 |8263 | 40 | 15 | 20 | 573k|4261 | 0.000000e+00 | -- | Inf
1312.54/1312.92 c 1180s| 1610k|202404 | 3595k| 2.2 | 163M| 35 | - | 40 |7619 | 40 | 15 | 20 | 577k|4277 | 0.000000e+00 | -- | Inf
1322.53/1322.95 c 1189s| 1620k|203109 | 3617k| 2.2 | 164M| 35 | 5 | 40 |7666 | 40 | 15 | 20 | 580k|4282 | 0.000000e+00 | -- | Inf
1331.04/1331.40 c 1197s| 1630k|204118 | 3638k| 2.2 | 165M| 35 | - | 40 |7905 | 40 | 15 | 20 | 584k|4294 | 0.000000e+00 | -- | Inf
1340.73/1341.19 c 1206s| 1640k|204870 | 3659k| 2.2 | 165M| 35 | - | 40 |7071 | 40 | 15 | 20 | 587k|4302 | 0.000000e+00 | -- | Inf
1350.13/1350.52 c 1214s| 1650k|205631 | 3681k| 2.2 | 166M| 35 | 5 | 40 |7917 | 40 | 15 | 20 | 591k|4309 | 0.000000e+00 | -- | Inf
1359.92/1360.38 c 1223s| 1660k|206209 | 3702k| 2.2 | 167M| 35 | - | 40 |7213 | 40 | 15 | 20 | 595k|4318 | 0.000000e+00 | -- | Inf
1368.22/1368.69 c 1231s| 1670k|207239 | 3723k| 2.2 | 168M| 35 | - | 40 |8256 | 40 | 15 | 20 | 598k|4324 | 0.000000e+00 | -- | Inf
1378.12/1378.54 c 1240s| 1680k|207967 | 3746k| 2.2 | 169M| 35 | 5 | 40 |8482 | 40 | 15 | 20 | 602k|4334 | 0.000000e+00 | -- | Inf
1388.61/1389.08 c 1250s| 1690k|208665 | 3767k| 2.2 | 169M| 35 | 5 | 40 |7742 | 40 | 15 | 20 | 605k|4343 | 0.000000e+00 | -- | Inf
1398.31/1398.72 c 1258s| 1700k|209344 | 3788k| 2.2 | 170M| 35 | - | 40 |7536 | 0 | 0 | 20 | 609k|4348 | 0.000000e+00 | -- | Inf
1407.41/1407.84 c 1267s| 1710k|210198 | 3809k| 2.2 | 171M| 35 | - | 40 |7990 | 40 | 15 | 20 | 613k|4358 | 0.000000e+00 | -- | Inf
1417.21/1417.63 c 1276s| 1720k|210966 | 3831k| 2.2 | 171M| 35 | 5 | 40 |7533 | 40 | 15 | 20 | 616k|4368 | 0.000000e+00 | -- | Inf
1427.81/1428.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1427.81/1428.28 c 1286s| 1730k|211572 | 3853k| 2.2 | 172M| 35 | - | 40 |6577 | 0 | 0 | 20 | 620k|4384 | 0.000000e+00 | -- | Inf
1437.11/1437.52 c 1294s| 1740k|212412 | 3875k| 2.2 | 172M| 35 | - | 40 |6757 | 40 | 15 | 20 | 624k|4394 | 0.000000e+00 | -- | Inf
1447.11/1447.52 c 1303s| 1750k|212870 | 3896k| 2.2 | 173M| 35 | 5 | 40 |6616 | 40 | 15 | 20 | 627k|4403 | 0.000000e+00 | -- | Inf
1455.60/1456.09 c 1311s| 1760k|213818 | 3918k| 2.2 | 174M| 35 | - | 40 |8083 | 40 | 15 | 20 | 631k|4414 | 0.000000e+00 | -- | Inf
1466.00/1466.45 c 1320s| 1770k|214414 | 3940k| 2.2 | 175M| 35 | 5 | 40 |7484 | 40 | 15 | 20 | 634k|4423 | 0.000000e+00 | -- | Inf
1476.50/1476.94 c 1330s| 1780k|214958 | 3962k| 2.2 | 175M| 35 | 5 | 40 |6491 | 40 | 15 | 20 | 638k|4436 | 0.000000e+00 | -- | Inf
1486.19/1486.67 c 1339s| 1790k|215509 | 3983k| 2.2 | 176M| 35 | - | 40 |7088 | 40 | 15 | 20 | 642k|4450 | 0.000000e+00 | -- | Inf
1495.59/1496.05 c 1348s| 1800k|216366 | 4005k| 2.2 | 177M| 35 | - | 40 |7080 | 40 | 15 | 20 | 645k|4458 | 0.000000e+00 | -- | Inf
1504.79/1505.23 c 1356s| 1810k|217104 | 4027k| 2.2 | 177M| 35 | - | 40 |7532 | 40 | 15 | 20 | 649k|4466 | 0.000000e+00 | -- | Inf
1515.29/1515.77 c 1366s| 1820k|217644 | 4049k| 2.2 | 178M| 35 | 5 | 40 |6919 | 40 | 15 | 20 | 653k|4472 | 0.000000e+00 | -- | Inf
1524.49/1524.95 c 1374s| 1830k|218393 | 4070k| 2.2 | 179M| 35 | 5 | 40 |7226 | 40 | 15 | 20 | 656k|4480 | 0.000000e+00 | -- | Inf
1534.58/1535.04 c 1383s| 1840k|219002 | 4091k| 2.2 | 179M| 35 | 5 | 40 |7835 | 40 | 15 | 20 | 660k|4489 | 0.000000e+00 | -- | Inf
1544.78/1545.25 c 1393s| 1850k|219634 | 4113k| 2.2 | 180M| 35 | 5 | 40 |7761 | 40 | 15 | 20 | 664k|4506 | 0.000000e+00 | -- | Inf
1554.67/1555.14 c 1402s| 1860k|220297 | 4134k| 2.2 | 181M| 35 | - | 40 |7490 | 40 | 15 | 20 | 667k|4513 | 0.000000e+00 | -- | Inf
1564.17/1564.63 c 1411s| 1870k|221030 | 4155k| 2.2 | 181M| 35 | 5 | 40 |7916 | 40 | 15 | 20 | 671k|4519 | 0.000000e+00 | -- | Inf
1574.17/1574.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1574.17/1574.69 c 1420s| 1880k|221762 | 4176k| 2.2 | 182M| 35 | 5 | 40 |7181 | 40 | 15 | 20 | 674k|4528 | 0.000000e+00 | -- | Inf
1584.96/1585.45 c 1430s| 1890k|222045 | 4198k| 2.2 | 182M| 35 | - | 40 |7045 | 40 | 15 | 20 | 678k|4536 | 0.000000e+00 | -- | Inf
1594.76/1595.29 c 1439s| 1900k|222640 | 4219k| 2.2 | 183M| 35 | 5 | 40 |6883 | 40 | 15 | 20 | 681k|4549 | 0.000000e+00 | -- | Inf
1604.56/1605.08 c 1448s| 1910k|223329 | 4241k| 2.2 | 184M| 35 | - | 40 |6719 | 40 | 15 | 20 | 685k|4555 | 0.000000e+00 | -- | Inf
1613.86/1614.32 c 1456s| 1920k|224137 | 4262k| 2.2 | 184M| 35 | 5 | 40 |6574 | 40 | 15 | 20 | 688k|4564 | 0.000000e+00 | -- | Inf
1622.26/1622.77 c 1464s| 1930k|224904 | 4283k| 2.2 | 185M| 35 | - | 40 |7733 | 40 | 15 | 20 | 692k|4579 | 0.000000e+00 | -- | Inf
1632.36/1632.82 c 1473s| 1940k|225646 | 4305k| 2.2 | 186M| 35 | - | 40 |7334 | 0 | 0 | 20 | 696k|4586 | 0.000000e+00 | -- | Inf
1642.15/1642.69 c 1482s| 1950k|226225 | 4327k| 2.2 | 186M| 35 | 5 | 40 |6729 | 40 | 15 | 20 | 699k|4595 | 0.000000e+00 | -- | Inf
1651.55/1652.05 c 1491s| 1960k|226786 | 4349k| 2.2 | 187M| 35 | 5 | 40 |7292 | 40 | 15 | 20 | 703k|4613 | 0.000000e+00 | -- | Inf
1662.15/1662.64 c 1501s| 1970k|227242 | 4370k| 2.2 | 188M| 35 | - | 40 |6808 | 40 | 15 | 20 | 707k|4617 | 0.000000e+00 | -- | Inf
1672.05/1672.57 c 1510s| 1980k|227596 | 4392k| 2.2 | 188M| 35 | 5 | 40 |6451 | 40 | 15 | 20 | 710k|4630 | 0.000000e+00 | -- | Inf
1682.04/1682.52 c 1519s| 1990k|227976 | 4413k| 2.2 | 189M| 35 | - | 40 |6736 | 40 | 15 | 20 | 714k|4639 | 0.000000e+00 | -- | Inf
1691.74/1692.21 c 1528s| 2000k|228551 | 4435k| 2.2 | 189M| 35 | - | 40 |6763 | 40 | 15 | 20 | 717k|4654 | 0.000000e+00 | -- | Inf
1700.14/1700.66 c 1535s| 2010k|229948 | 4457k| 2.2 | 191M| 35 | 5 | 40 |7813 | 40 | 15 | 20 | 721k|4658 | 0.000000e+00 | -- | Inf
1708.24/1708.77 c 1543s| 2020k|232231 | 4479k| 2.2 | 192M| 35 | - | 40 |9314 | 40 | 15 | 20 | 724k|4665 | 0.000000e+00 | -- | Inf
1717.43/1717.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1717.43/1717.91 c 1551s| 2030k|234042 | 4501k| 2.2 | 194M| 35 | - | 40 |8922 | 40 | 15 | 20 | 728k|4672 | 0.000000e+00 | -- | Inf
1727.23/1727.78 c 1560s| 2040k|235263 | 4522k| 2.2 | 195M| 35 | - | 40 |8776 | 40 | 15 | 20 | 731k|4677 | 0.000000e+00 | -- | Inf
1736.53/1737.05 c 1569s| 2050k|236778 | 4544k| 2.2 | 196M| 35 | 5 | 40 |9008 | 40 | 15 | 20 | 735k|4681 | 0.000000e+00 | -- | Inf
1746.72/1747.24 c 1578s| 2060k|237708 | 4566k| 2.2 | 197M| 35 | 5 | 40 |8711 | 40 | 15 | 20 | 739k|4690 | 0.000000e+00 | -- | Inf
1756.72/1757.20 c 1587s| 2070k|238652 | 4588k| 2.2 | 197M| 35 | 5 | 40 |8822 | 40 | 15 | 20 | 742k|4703 | 0.000000e+00 | -- | Inf
1766.72/1767.25 c 1596s| 2080k|239514 | 4610k| 2.2 | 198M| 35 | - | 40 |9265 | 40 | 15 | 20 | 746k|4708 | 0.000000e+00 | -- | Inf
1776.91/1777.43 c 1606s| 2090k|240392 | 4632k| 2.2 | 199M| 35 | 5 | 40 |9569 | 40 | 15 | 20 | 750k|4714 | 0.000000e+00 | -- | Inf
1787.71/1788.25 c 1616s| 2100k|240789 | 4654k| 2.2 | 200M| 35 | 5 | 40 |9044 | 40 | 15 | 20 | 753k|4723 | 0.000000e+00 | -- | Inf
1796.71/1797.21 c 1624s| 2110k|242684 | 4675k| 2.2 | 201M| 35 | 5 | 40 | 10k| 40 | 15 | 20 | 757k|4727 | 0.000000e+00 | -- | Inf
1800.01/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.50 c
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time (sec) : 1626.74
1800.01/1800.50 c Solving Nodes : 2113311
1800.01/1800.50 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1800.01/1800.50 c Dual Bound : +0.00000000000000e+00
1800.01/1800.50 c Gap : infinite
1800.01/1800.50 s UNKNOWN
1800.01/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.50 c Solving Time : 1626.74
1800.01/1800.50 c Original Problem :
1800.01/1800.50 c Problem name : HOME/instance-2665446-1276613231.opb
1800.01/1800.50 c Variables : 41 (41 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 11 initial, 11 maximal
1800.01/1800.50 c Presolved Problem :
1800.01/1800.50 c Problem name : t_HOME/instance-2665446-1276613231.opb
1800.01/1800.50 c Variables : 40 (40 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.50 c Constraints : 5 initial, 10648 maximal
1800.01/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c dualfix : 0.00 1 0 0 0 0 0 0 0
1800.01/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c probing : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.50 c linear : 0.00 0 0 0 0 0 6 0 0
1800.01/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.50 c root node : - 0 - - 0 - - - -
1800.01/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.50 c integral : 0 0 0 1225487 0 410 1960 0 0 2446510
1800.01/1800.50 c linear : 5+ 7 4406511 0 0 296442 2901691 0 0 0
1800.01/1800.50 c logicor : 0+ 0 2159830 0 0 4395 683778 0 0 0
1800.01/1800.50 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.50 c integral : 17.02 0.00 0.00 17.02 0.00
1800.01/1800.50 c linear : 167.98 0.00 167.98 0.00 0.00
1800.01/1800.50 c logicor : 458.75 0.00 458.75 0.00 0.00
1800.01/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.50 c vbounds : 2.42 2 0 0
1800.01/1800.50 c rootredcost : 2.24 0 0 0
1800.01/1800.50 c pseudoobj : 2.08 0 0 0
1800.01/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.50 c propagation : 19.39 300837 188090 597014 29.0 12 21.3 -
1800.01/1800.50 c infeasible LP : 27.88 674453 407853 624342 17.9 1569 22.1 0
1800.01/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.50 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.01/1800.50 c applied globally : - - - 745071 19.3 - - -
1800.01/1800.50 c applied locally : - - - 13445 31.3 - - -
1800.01/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.50 c cut pool : 0.00 5 - - 13 - (maximal pool size: 89)
1800.01/1800.50 c redcost : 2.83 1225485 0 0 0 0
1800.01/1800.50 c impliedbounds : 0.00 6 0 0 0 0
1800.01/1800.50 c intobj : 0.00 0 0 0 0 0
1800.01/1800.50 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.50 c gomory : 0.00 6 0 0 1 0
1800.01/1800.50 c strongcg : 0.00 6 0 0 37 0
1800.01/1800.50 c cmir : 0.02 6 0 0 25 0
1800.01/1800.50 c flowcover : 0.02 6 0 0 33 0
1800.01/1800.50 c clique : 0.00 1 0 0 0 0
1800.01/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.50 c mcf : 0.00 1 0 0 0 0
1800.01/1800.50 c rapidlearning : 0.06 1 0 0 0 19
1800.01/1800.50 c Pricers : Time Calls Vars
1800.01/1800.50 c problem variables: 0.00 0 0
1800.01/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.50 c relpscost : 15.21 1225487 410 1960 0 0 2446510
1800.01/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.50 c inference : 0.00 0 0 0 0 0 0
1800.01/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.50 c random : 0.00 0 0 0 0 0 0
1800.01/1800.50 c Primal Heuristics : Time Calls Found
1800.01/1800.50 c LP solutions : 0.00 - 0
1800.01/1800.50 c pseudo solutions : 0.00 - 0
1800.01/1800.50 c oneopt : 2.13 0 0
1800.01/1800.50 c crossover : 1.24 0 0
1800.01/1800.50 c guideddiving : 0.33 0 0
1800.01/1800.50 c intshifting : 0.12 0 0
1800.01/1800.50 c linesearchdiving : 0.29 49 0
1800.01/1800.50 c fracdiving : 0.23 49 0
1800.01/1800.50 c veclendiving : 0.20 49 0
1800.01/1800.50 c objpscostdiving : 0.22 25 0
1800.01/1800.50 c rootsoldiving : 0.22 25 0
1800.01/1800.50 c feaspump : 0.28 25 0
1800.01/1800.50 c pscostdiving : 0.22 50 0
1800.01/1800.50 c coefdiving : 0.24 50 0
1800.01/1800.50 c trivial : 0.00 2 0
1800.01/1800.50 c simplerounding : 0.63 0 0
1800.01/1800.50 c zirounding : 1.22 1000 0
1800.01/1800.50 c rounding : 1.40 15679 0
1800.01/1800.50 c shifting : 2.81 4747 0
1800.01/1800.50 c twoopt : 0.00 0 0
1800.01/1800.50 c fixandinfer : 0.00 0 0
1800.01/1800.50 c intdiving : 0.00 0 0
1800.01/1800.50 c actconsdiving : 0.00 0 0
1800.01/1800.50 c octane : 0.00 0 0
1800.01/1800.50 c rens : 0.02 1 0
1800.01/1800.50 c rins : 0.00 0 0
1800.01/1800.50 c localbranching : 0.00 0 0
1800.01/1800.50 c mutation : 0.00 0 0
1800.01/1800.50 c dins : 0.00 0 0
1800.01/1800.50 c undercover : 0.00 0 0
1800.01/1800.50 c nlp : 0.95 0 0
1800.01/1800.50 c trysol : 1.42 0 0
1800.01/1800.50 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.50 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.50 c dual LP : 344.98 1830721 4681576 2.56 13570.57
1800.01/1800.50 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.50 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.50 c diving/probing LP: 0.12 505 917 1.82 7641.67
1800.01/1800.50 c strong branching : 1.31 4731 19031 4.02 14527.48
1800.01/1800.50 c (at root node) : - 9 315 35.00 -
1800.01/1800.50 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.50 c B&B Tree :
1800.01/1800.50 c number of runs : 1
1800.01/1800.50 c nodes : 2113311
1800.01/1800.50 c nodes (total) : 2113311
1800.01/1800.50 c nodes left : 243160
1800.01/1800.50 c max depth : 35
1800.01/1800.50 c max depth (total): 35
1800.01/1800.50 c backtracks : 453255 (21.4%)
1800.01/1800.50 c delayed cutoffs : 90040
1800.01/1800.50 c repropagations : 1305821 (1245502 domain reductions, 85059 cutoffs)
1800.01/1800.50 c avg switch length: 5.66
1800.01/1800.50 c switching time : 367.30
1800.01/1800.50 c Solution :
1800.01/1800.50 c Solutions found : 0 (0 improvements)
1800.01/1800.50 c Primal Bound : -
1800.01/1800.50 c Dual Bound : +0.00000000000000e+00
1800.01/1800.50 c Gap : infinite
1800.01/1800.50 c Root Dual Bound : +0.00000000000000e+00
1800.01/1800.50 c Root Iterations : 81
1801.40/1801.95 c Time complete: 1801.47.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665446-1276613231/watcher-2665446-1276613231 -o /tmp/evaluation-result-2665446-1276613231/solver-2665446-1276613231 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665446-1276613231.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 11626
/proc/meminfo: memFree=1515656/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=6356 CPUtime=0
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 584 0 0 0 0 0 0 0 19 0 1 0 2618053 6508544 505 1992294400 4194304 9819077 140734222384416 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11626/statm: 1589 506 338 1374 0 210 0
[startup+0.0513159 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11626
/proc/meminfo: memFree=1515656/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=21476 CPUtime=0.04
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 4972 0 0 0 2 2 0 0 20 0 1 0 2618053 21991424 3759 1992294400 4194304 9819077 140734222384416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 5369 3759 676 1374 0 3990 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21476
[startup+0.101322 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11626
/proc/meminfo: memFree=1515656/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=21608 CPUtime=0.08
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 4983 0 0 0 6 2 0 0 20 0 1 0 2618053 22126592 3770 1992294400 4194304 9819077 140734222384416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 5402 3770 676 1374 0 4023 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 21608
[startup+0.301341 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11626
/proc/meminfo: memFree=1515656/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=15988 CPUtime=0.29
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 12221 0 0 0 22 7 0 0 20 0 1 0 2618053 16371712 2598 1992294400 4194304 9819077 140734222384416 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 4077 2598 723 1374 0 2698 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15988
[startup+0.701386 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 11626
/proc/meminfo: memFree=1515656/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=15508 CPUtime=0.69
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 18219 0 0 0 54 15 0 0 20 0 1 0 2618053 15880192 2595 1992294400 4194304 9819077 140734222384416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 3877 2595 723 1374 0 2498 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15508
[startup+1.50047 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11627
/proc/meminfo: memFree=1507340/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=16316 CPUtime=1.49
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 26807 0 0 0 121 28 0 0 22 0 1 0 2618053 16707584 2767 1992294400 4194304 9819077 140734222384416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 4079 2767 724 1374 0 2700 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16316
[startup+3.10065 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11627
/proc/meminfo: memFree=1506472/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=17632 CPUtime=3.09
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 43802 0 0 0 257 52 0 0 25 0 1 0 2618053 18055168 3275 1992294400 4194304 9819077 140734222384416 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 4608 3279 724 1374 0 3229 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17632
[startup+6.30099 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11627
/proc/meminfo: memFree=1503868/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=20164 CPUtime=6.28
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 73616 0 0 0 535 93 0 0 25 0 1 0 2618053 20647936 3701 1992294400 4194304 9819077 140734222384416 18446744073709551615 4660035 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 5041 3701 724 1374 0 3662 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20164
[startup+12.7007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11629
/proc/meminfo: memFree=1501512/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=21880 CPUtime=12.69
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 137648 0 0 0 1093 176 0 0 25 0 1 0 2618053 22405120 4130 1992294400 4194304 9819077 140734222384416 18446744073709551615 4999842 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 5470 4130 724 1374 0 4091 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21880
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11629
/proc/meminfo: memFree=1498040/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=25336 CPUtime=25.48
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 262523 0 0 0 2195 353 0 0 25 0 1 0 2618053 25944064 5002 1992294400 4194304 9819077 140734222384416 18446744073709551615 4983364 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 6334 5002 724 1374 0 4955 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25336
[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11629
/proc/meminfo: memFree=1491220/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=31968 CPUtime=51.07
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 497980 0 0 0 4416 691 0 0 25 0 1 0 2618053 32735232 6694 1992294400 4194304 9819077 140734222384416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 7992 6694 724 1374 0 6613 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 31968
[startup+102.308 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 11631
/proc/meminfo: memFree=1478572/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=44088 CPUtime=102.27
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 905633 0 0 0 8898 1329 0 0 25 0 1 0 2618053 45146112 9800 1992294400 4194304 9819077 140734222384416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 11022 9800 724 1374 0 9643 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 44088
[startup+162.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 11633
/proc/meminfo: memFree=1465428/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=57104 CPUtime=162.25
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 1369538 0 0 0 14182 2043 0 0 25 0 1 0 2618053 58474496 13049 1992294400 4194304 9819077 140734222384416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 14276 13049 724 1374 0 12897 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 57104
[startup+222.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 11633
/proc/meminfo: memFree=1454392/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=68032 CPUtime=222.24
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 1825003 0 0 0 19499 2725 0 0 25 0 1 0 2618053 69664768 15823 1992294400 4194304 9819077 140734222384416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 17008 15823 724 1374 0 15629 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 68032
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11635
/proc/meminfo: memFree=1445340/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=79324 CPUtime=282.21
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 2256051 0 0 0 24841 3380 0 0 25 0 1 0 2618053 81227776 18186 1992294400 4194304 9819077 140734222384416 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 19831 18186 724 1374 0 18452 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 79324
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11637
/proc/meminfo: memFree=1435172/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=88720 CPUtime=342.2
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 2680450 0 0 0 30180 4040 0 0 25 0 1 0 2618053 90849280 20564 1992294400 4194304 9819077 140734222384416 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 22180 20565 724 1374 0 20801 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 88720
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11639
/proc/meminfo: memFree=1424880/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=98648 CPUtime=402.18
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 3092570 0 0 0 35539 4679 0 0 25 0 1 0 2618053 101015552 23084 1992294400 4194304 9819077 140734222384416 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 24702 23085 724 1374 0 23323 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 98648
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11641
/proc/meminfo: memFree=1417936/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=106336 CPUtime=462.17
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 3495429 0 0 0 40915 5302 0 0 25 0 1 0 2618053 108888064 24994 1992294400 4194304 9819077 140734222384416 18446744073709551615 5001212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 26584 24994 724 1374 0 25205 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 106336
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11641
/proc/meminfo: memFree=1410620/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=113280 CPUtime=522.16
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 3884276 0 0 0 46316 5900 0 0 25 0 1 0 2618053 115998720 26795 1992294400 4194304 9819077 140734222384416 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 28360 26796 724 1374 0 26981 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 113280
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11643
/proc/meminfo: memFree=1403056/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=120072 CPUtime=582.14
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 4269633 0 0 0 51705 6509 0 0 25 0 1 0 2618053 122953728 28523 1992294400 4194304 9819077 140734222384416 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 30058 28524 724 1374 0 28679 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 120072
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11645
/proc/meminfo: memFree=1395368/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=127476 CPUtime=642.13
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 4620741 0 0 0 57150 7063 0 0 25 0 1 0 2618053 130535424 30346 1992294400 4194304 9819077 140734222384416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 31869 30346 724 1374 0 30490 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 127476
[startup+702.302 s]
################
# More data... #
################
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11666
/proc/meminfo: memFree=1353952/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=167588 CPUtime=1062.01
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 7171935 0 0 0 95191 11010 0 0 25 0 1 0 2618053 171610112 40562 1992294400 4194304 9819077 140734222384416 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 41897 40562 724 1374 0 40518 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 167588
[startup+1122.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 11666
/proc/meminfo: memFree=1347752/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=173708 CPUtime=1121.98
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 7529976 0 0 0 100627 11571 0 0 25 0 1 0 2618053 177876992 42095 1992294400 4194304 9819077 140734222384416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 43427 42095 724 1374 0 42048 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 173708
[startup+1182.3 s]
/proc/loadavg: 1.09 1.03 1.00 2/107 11668
/proc/meminfo: memFree=1343412/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=177864 CPUtime=1181.97
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 7875920 0 0 0 106095 12102 0 0 25 0 1 0 2618053 182132736 43140 1992294400 4194304 9819077 140734222384416 18446744073709551615 6566540 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 44466 43140 724 1374 0 43087 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 177864
[startup+1242.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 11670
/proc/meminfo: memFree=1338576/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=182372 CPUtime=1241.96
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 8218290 0 0 0 111556 12640 0 0 25 0 1 0 2618053 186748928 44292 1992294400 4194304 9819077 140734222384416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 45593 44292 724 1374 0 44214 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 182372
[startup+1302.3 s]
/proc/loadavg: 1.09 1.04 1.00 2/107 11672
/proc/meminfo: memFree=1332004/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=192712 CPUtime=1301.95
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 8581964 0 0 0 117009 13186 0 0 25 0 1 0 2618053 197337088 45888 1992294400 4194304 9819077 140734222384416 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 48178 45888 724 1374 0 46799 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 192712
[startup+1362.3 s]
/proc/loadavg: 1.08 1.05 1.00 2/107 11674
/proc/meminfo: memFree=1328160/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=195960 CPUtime=1361.93
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 8918058 0 0 0 122505 13688 0 0 25 0 1 0 2618053 200663040 46860 1992294400 4194304 9819077 140734222384416 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 49070 46861 724 1374 0 47691 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 195960
[startup+1422.31 s]
/proc/loadavg: 1.08 1.05 1.00 3/107 11674
/proc/meminfo: memFree=1323076/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=201652 CPUtime=1421.91
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 9252089 0 0 0 128005 14186 0 0 25 0 1 0 2618053 206491648 48106 1992294400 4194304 9819077 140734222384416 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 50413 48106 724 1374 0 49034 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 201652
[startup+1482.3 s]
/proc/loadavg: 1.07 1.05 1.00 2/107 11676
/proc/meminfo: memFree=1319728/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=204804 CPUtime=1481.9
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 9582663 0 0 0 133499 14691 0 0 25 0 1 0 2618053 209719296 48915 1992294400 4194304 9819077 140734222384416 18446744073709551615 5955609 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 51201 48915 724 1374 0 49822 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 204804
[startup+1542.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 11678
/proc/meminfo: memFree=1313404/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=211052 CPUtime=1541.88
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 9915000 0 0 0 139002 15186 0 0 25 0 1 0 2618053 216117248 50499 1992294400 4194304 9819077 140734222384416 18446744073709551615 4947556 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 52763 50499 724 1374 0 51384 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 211052
[startup+1602.3 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 11680
/proc/meminfo: memFree=1308940/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=215688 CPUtime=1601.86
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 10237936 0 0 0 144526 15660 0 0 25 0 1 0 2618053 220864512 51679 1992294400 4194304 9819077 140734222384416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 53922 51679 724 1374 0 52543 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 215688
[startup+1662.3 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 11682
/proc/meminfo: memFree=1305096/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=218916 CPUtime=1661.85
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 10571777 0 0 0 150022 16163 0 0 25 0 1 0 2618053 224169984 52583 1992294400 4194304 9819077 140734222384416 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 54769 52583 724 1374 0 53390 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 218916
[startup+1722.3 s]
/proc/loadavg: 1.13 1.07 1.01 2/107 11682
/proc/meminfo: memFree=1298028/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=225880 CPUtime=1721.83
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 10922401 0 0 0 155501 16682 0 0 25 0 1 0 2618053 231301120 54289 1992294400 4194304 9819077 140734222384416 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 56470 54289 724 1374 0 55091 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 225880
[startup+1782.3 s]
/proc/loadavg: 1.12 1.07 1.00 2/107 11684
/proc/meminfo: memFree=1291952/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=231564 CPUtime=1781.81
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 11245117 0 0 0 161005 17176 0 0 25 0 1 0 2618053 237121536 55737 1992294400 4194304 9819077 140734222384416 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 57891 55737 724 1374 0 56512 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 231564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.08 1.07 1.00 2/107 11684
/proc/meminfo: memFree=1288976/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=234344 CPUtime=1800.01
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 11345599 0 0 0 162674 17327 0 0 25 0 1 0 2618053 239968256 56484 1992294400 4194304 9819077 140734222384416 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11626/statm: 58626 56485 724 1374 0 57247 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 234344
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.61 s]
/proc/loadavg: 1.08 1.07 1.00 2/108 11685
/proc/meminfo: memFree=1288968/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=234504 CPUtime=1800.12
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 11345622 0 0 0 162685 17327 0 0 25 0 1 0 2618053 240132096 56507 1992294400 4194304 9819077 140734222384416 18446744073709551615 4616598 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11626/statm: 58626 56507 725 1374 0 57247 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 234504
[startup+1801.4 s]
/proc/loadavg: 1.08 1.07 1.00 2/108 11685
/proc/meminfo: memFree=1288968/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=234504 CPUtime=1800.9
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 11345622 0 0 0 162763 17327 0 0 25 0 1 0 2618053 240132096 56507 1992294400 4194304 9819077 140734222384416 18446744073709551615 4670079 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11626/statm: 58626 56507 725 1374 0 57247 0
Current children cumulated CPU time (s) 1800.9
Current children cumulated vsize (KiB) 234504
[startup+1801.81 s]
/proc/loadavg: 1.08 1.07 1.00 2/108 11685
/proc/meminfo: memFree=1288844/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=234504 CPUtime=1801.31
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 11345622 0 0 0 162804 17327 0 0 25 0 1 0 2618053 240132096 56507 1992294400 4194304 9819077 140734222384416 18446744073709551615 4616671 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11626/statm: 58626 56507 725 1374 0 57247 0
Current children cumulated CPU time (s) 1801.31
Current children cumulated vsize (KiB) 234504
[startup+1801.9 s]
/proc/loadavg: 1.08 1.07 1.00 2/108 11685
/proc/meminfo: memFree=1288844/2059040 swapFree=4192956/4192956
[pid=11626] ppid=11624 vsize=225980 CPUtime=1801.4
/proc/11626/stat : 11626 (pbscip.linux.x8) R 11624 11626 11104 0 -1 4202496 11345622 0 0 0 162813 17327 0 0 25 0 1 0 2618053 231403520 54376 1992294400 4194304 9819077 140734222384416 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11626/statm: 56495 54376 725 1374 0 55116 0
Current children cumulated CPU time (s) 1801.4
Current children cumulated vsize (KiB) 225980
Child status: 0
Real time (s): 1801.96
CPU time (s): 1801.48
CPU user time (s): 1628.17
CPU system time (s): 173.305
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 234504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1628.17
system time used= 173.305
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11345626
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= 1319
runsolver used 2.99154 second user time and 8.51171 second system time
The end