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-2665663-1276600648.opb>
0.00/0.01 c original problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 12 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 6 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.02/0.03 c (0.0s) probing: 101/146 (69.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.03 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.02/0.03 c presolving (2 rounds):
0.02/0.03 c 0 deleted vars, 6 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.03 c 0 implications, 0 cliques
0.02/0.03 c presolved problem has 146 variables (146 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.02/0.03 c 6 constraints of type <linear>
0.02/0.03 c transformed objective value is always integral (scale: 1)
0.02/0.03 c Presolving Time: 0.01
0.02/0.03 c - non default parameters ----------------------------------------------------------------------
0.02/0.03 c # SCIP version 1.2.1.2
0.02/0.03 c
0.02/0.03 c # frequency for displaying node information lines
0.02/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.03 c display/freq = 10000
0.02/0.03 c
0.02/0.03 c # maximal time in seconds to run
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.03 c limits/time = 1800
0.02/0.03 c
0.02/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.03 c limits/memory = 1620
0.02/0.03 c
0.02/0.03 c # should presolving try to simplify inequalities
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c constraints/linear/simplifyinequalities = TRUE
0.02/0.03 c
0.02/0.03 c # should presolving try to simplify knapsacks
0.02/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.03 c
0.02/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.02/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.03 c separating/rapidlearning/freq = 0
0.02/0.03 c
0.02/0.03 c -----------------------------------------------------------------------------------------------
0.02/0.03 c start solving
0.02/0.03 c
0.02/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.02/0.03 c 0.0s| 1 | 0 | 30 | - | 488k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.15 o 1199
0.09/0.15 c y 0.1s| 1 | 0 | 30 | - | 527k| 0 | 6 | 146 | 6 | 146 | 6 | 0 | 0 | 0 | 0.000000e+00 | 1.199000e+03 | Inf
0.09/0.15 c 0.1s| 1 | 0 | 35 | - | 616k| 0 | 10 | 146 | 48 | 146 | 14 | 8 | 0 | 0 | 0.000000e+00 | 1.199000e+03 | Inf
0.09/0.17 c 0.1s| 1 | 0 | 39 | - | 690k| 0 | 14 | 146 | 48 | 146 | 22 | 16 | 0 | 0 | 0.000000e+00 | 1.199000e+03 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 67 | - | 753k| 0 | 18 | 146 | 48 | 146 | 26 | 20 | 0 | 0 | 0.000000e+00 | 1.199000e+03 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 88 | - | 777k| 0 | 16 | 146 | 48 | 146 | 28 | 22 | 0 | 0 | 0.000000e+00 | 1.199000e+03 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 92 | - | 782k| 0 | 16 | 146 | 48 | 146 | 29 | 23 | 0 | 0 | 0.000000e+00 | 1.199000e+03 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 106 | - | 833k| 0 | 16 | 146 | 48 | 146 | 30 | 24 | 0 | 0 | 0.000000e+00 | 1.199000e+03 | Inf
0.29/0.32 c 0.3s| 1 | 2 | 106 | - | 834k| 0 | 16 | 146 | 48 | 146 | 30 | 24 | 0 | 9 | 0.000000e+00 | 1.199000e+03 | Inf
0.69/0.72 o 717
0.69/0.72 c g 0.6s| 182 | 183 | 1312 | 6.7 | 985k| 41 | - | 146 | 50 | 146 | 16 | 24 | 6 | 403 | 0.000000e+00 | 7.170000e+02 | Inf
0.69/0.74 o 302
0.69/0.74 c c 0.6s| 204 | 195 | 1400 | 6.4 | 986k| 41 | - | 146 | 50 | 146 | 16 | 24 | 6 | 413 | 0.000000e+00 | 3.020000e+02 | Inf
0.89/0.99 o 229
0.89/0.99 c f 0.8s| 418 | 397 | 2500 | 5.7 |1091k| 41 | - | 146 | 53 | 146 | 16 | 24 | 19 | 490 | 0.000000e+00 | 2.290000e+02 | Inf
1.10/1.11 o 156
1.10/1.11 c p 0.9s| 525 | 497 | 3044 | 5.6 |1140k| 41 | - | 146 | 54 | 146 | 16 | 24 | 26 | 502 | 0.000000e+00 | 1.560000e+02 | Inf
1.29/1.33 o 55
1.29/1.33 c g 1.1s| 740 | 627 | 4034 | 5.3 |1186k| 55 | - | 146 | 57 | 146 | 16 | 24 | 32 | 536 | 0.000000e+00 | 5.500000e+01 | Inf
2.20/2.28 o 53
2.20/2.28 c * 1.9s| 1844 | 1692 | 9428 | 5.1 |1687k| 55 | - | 146 | 69 | 146 | 16 | 24 | 85 | 601 | 0.000000e+00 | 5.300000e+01 | Inf
3.30/3.34 o 51
3.30/3.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.30/3.34 c * 2.9s| 3075 | 2794 | 15311 | 4.9 |2242k| 55 | - | 146 | 88 | 146 | 16 | 24 | 185 | 634 | 0.000000e+00 | 5.100000e+01 | Inf
7.39/7.45 o 49
7.39/7.45 c l 6.4s| 7080 | 6452 | 38115 | 5.4 |3983k| 55 | - | 146 | 105 | 146 | 16 | 24 | 525 | 787 | 0.000000e+00 | 4.900000e+01 | Inf
7.39/7.45 o 47
7.39/7.45 c p 6.4s| 7080 | 6434 | 38115 | 5.4 |3972k| 55 | - | 146 | 105 | 146 | 16 | 24 | 527 | 787 | 0.000000e+00 | 4.700000e+01 | Inf
7.59/7.67 o 46
7.59/7.67 c * 6.6s| 7258 | 6566 | 39276 | 5.4 |4041k| 55 | - | 146 | 106 | 146 | 16 | 24 | 542 | 802 | 0.000000e+00 | 4.600000e+01 | Inf
9.18/9.22 o 44
9.18/9.22 c l 7.9s| 8501 | 7525 | 47506 | 5.6 |4530k| 55 | - | 146 | 66 | 146 | 16 | 24 | 671 | 896 | 0.000000e+00 | 4.400000e+01 | Inf
9.18/9.23 o 42
9.18/9.23 c p 7.9s| 8501 | 7496 | 47506 | 5.6 |4499k| 55 | - | 146 | 66 | 146 | 16 | 24 | 674 | 896 | 0.000000e+00 | 4.200000e+01 | Inf
9.39/9.44 o 41
9.39/9.44 c * 8.1s| 8663 | 7607 | 48660 | 5.6 |4556k| 55 | - | 146 | 64 | 146 | 16 | 24 | 688 | 928 | 0.000000e+00 | 4.100000e+01 | Inf
11.08/11.15 c 9.6s| 10000 | 8665 | 57824 | 5.8 |5093k| 55 | 6 | 146 | 68 | 146 | 16 | 24 | 838 | 992 | 0.000000e+00 | 4.100000e+01 | Inf
12.28/12.39 o 39
12.28/12.39 c *10.7s| 11041 | 9439 | 64739 | 5.9 |5450k| 55 | - | 146 | 65 | 146 | 16 | 24 | 940 |1042 | 0.000000e+00 | 3.900000e+01 | Inf
15.09/15.16 o 37
15.09/15.16 c p12.9s| 11883 | 10065 | 70098 | 5.9 |5733k| 55 | - | 146 | 65 | 146 | 16 | 24 |1013 |1090 | 0.000000e+00 | 3.700000e+01 | Inf
17.89/17.96 o 35
17.89/17.96 c *15.3s| 15009 | 12428 | 85138 | 5.7 |6882k| 55 | - | 146 | 57 | 146 | 16 | 24 |1201 |1237 | 0.000000e+00 | 3.500000e+01 | Inf
17.89/17.96 o 33
17.89/17.96 c *15.3s| 15012 | 12364 | 85141 | 5.7 |6805k| 55 | - | 146 | 57 | 146 | 16 | 24 |1201 |1244 | 0.000000e+00 | 3.300000e+01 | Inf
17.89/17.97 o 31
17.89/17.97 c *15.3s| 15013 | 11771 | 85141 | 5.7 |6476k| 55 | - | 146 | 57 | 146 | 16 | 24 |1201 |1244 | 0.000000e+00 | 3.100000e+01 | Inf
18.69/18.75 o 29
18.69/18.75 c *16.0s| 15958 | 12423 | 89622 | 5.6 |6751k| 55 | - | 146 | 50 | 146 | 16 | 24 |1246 |1319 | 0.000000e+00 | 2.900000e+01 | Inf
21.99/22.08 c 18.9s| 20000 | 15144 |108392 | 5.4 |8091k| 55 | 6 | 146 | 54 | 146 | 16 | 24 |1503 |1505 | 0.000000e+00 | 2.900000e+01 | Inf
23.59/23.67 o 28
23.59/23.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
23.59/23.67 c *20.3s| 21956 | 16451 |117555 | 5.3 |8737k| 55 | - | 146 | 58 | 146 | 16 | 24 |1623 |1595 | 0.000000e+00 | 2.800000e+01 | Inf
24.69/24.78 o 26
24.69/24.78 c *21.2s| 23310 | 17169 |123770 | 5.3 |9061k| 55 | - | 146 | 57 | 146 | 16 | 24 |1708 |1648 | 0.000000e+00 | 2.600000e+01 | Inf
24.69/24.78 o 24
24.69/24.78 c *21.2s| 23311 | 17006 |123770 | 5.3 |8920k| 55 | - | 146 | 57 | 146 | 16 | 24 |1708 |1648 | 0.000000e+00 | 2.400000e+01 | Inf
29.98/30.07 c 25.8s| 30000 | 20810 |153587 | 5.1 | 11M| 55 | 6 | 146 | 73 | 146 | 16 | 24 |2180 |1901 | 0.000000e+00 | 2.400000e+01 | Inf
31.18/31.29 o 23
31.18/31.29 c *26.8s| 31637 | 21597 |160853 | 5.1 | 11M| 55 | - | 146 | 87 | 146 | 16 | 24 |2335 |1944 | 0.000000e+00 | 2.300000e+01 | Inf
32.38/32.46 o 22
32.38/32.46 c *27.8s| 33113 | 22275 |167239 | 5.0 | 11M| 55 | - | 146 | 87 | 146 | 16 | 24 |2443 |2005 | 0.000000e+00 | 2.200000e+01 | Inf
36.77/36.80 o 21
36.77/36.80 c v31.5s| 37099 | 23934 |183561 | 4.9 | 12M| 55 | - | 146 | 90 | 146 | 16 | 24 |2689 |2141 | 0.000000e+00 | 2.100000e+01 | Inf
38.77/38.85 c 33.2s| 40000 | 25266 |197194 | 4.9 | 13M| 55 | 6 | 146 | 96 | 146 | 16 | 24 |2892 |2229 | 0.000000e+00 | 2.100000e+01 | Inf
45.77/45.84 c 39.2s| 50000 | 29176 |240378 | 4.8 | 16M| 55 | 6 | 146 | 119 | 146 | 16 | 24 |3508 |2589 | 0.000000e+00 | 2.100000e+01 | Inf
46.46/46.59 o 20
46.46/46.59 c *39.9s| 51075 | 29420 |244904 | 4.8 | 16M| 55 | - | 146 | 124 | 146 | 16 | 24 |3575 |2631 | 0.000000e+00 | 2.000000e+01 | Inf
46.46/46.59 o 18
46.46/46.59 c *39.9s| 51076 | 29058 |244904 | 4.8 | 15M| 55 | - | 146 | 124 | 146 | 16 | 24 |3575 |2631 | 0.000000e+00 | 1.800000e+01 | Inf
53.87/53.92 c 46.1s| 60000 | 32318 |282884 | 4.7 | 17M| 55 | 6 | 146 | 109 | 146 | 16 | 24 |4106 |2854 | 0.000000e+00 | 1.800000e+01 | Inf
54.16/54.25 o 16
54.16/54.25 c *46.4s| 60489 | 30723 |284938 | 4.7 | 16M| 55 | - | 146 | 111 | 146 | 16 | 24 |4140 |2879 | 0.000000e+00 | 1.600000e+01 | Inf
54.16/54.26 o 14
54.16/54.26 c *46.4s| 60490 | 30348 |284938 | 4.7 | 15M| 55 | - | 146 | 111 | 146 | 16 | 24 |4140 |2879 | 0.000000e+00 | 1.400000e+01 | Inf
60.67/60.76 c 51.9s| 70000 | 33172 |326400 | 4.7 | 17M| 55 | 6 | 146 | 125 | 146 | 16 | 24 |4459 |3164 | 0.000000e+00 | 1.400000e+01 | Inf
66.87/66.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
66.87/66.93 c 57.2s| 80000 | 35412 |367057 | 4.6 | 18M| 55 | - | 146 | 143 | 146 | 16 | 24 |4779 |3421 | 0.000000e+00 | 1.400000e+01 | Inf
72.86/72.95 c 62.4s| 90000 | 37104 |407398 | 4.5 | 20M| 55 | - | 146 | 170 | 146 | 16 | 24 |5012 |3659 | 0.000000e+00 | 1.400000e+01 | Inf
78.86/78.99 c 67.6s|100000 | 38464 |448931 | 4.5 | 20M| 55 | - | 146 | 193 | 146 | 16 | 24 |5235 |3889 | 0.000000e+00 | 1.400000e+01 | Inf
85.06/85.14 c 72.9s|110000 | 39618 |489674 | 4.5 | 21M| 55 | - | 146 | 202 | 0 | 0 | 24 |5564 |4084 | 0.000000e+00 | 1.400000e+01 | Inf
90.46/90.57 o 13
90.46/90.57 c *77.5s|118878 | 40073 |525965 | 4.4 | 22M| 55 | - | 146 | 197 | 146 | 16 | 24 |5834 |4260 | 0.000000e+00 | 1.300000e+01 | Inf
91.17/91.29 c 78.2s|120000 | 40211 |530658 | 4.4 | 22M| 55 | - | 146 | 198 | 146 | 16 | 24 |5869 |4290 | 0.000000e+00 | 1.300000e+01 | Inf
96.15/96.26 o 11
96.15/96.26 c *82.5s|128128 | 40225 |564231 | 4.4 | 22M| 55 | - | 146 | 191 | 146 | 16 | 24 |6058 |4435 | 0.000000e+00 | 1.100000e+01 | Inf
96.15/96.26 o 9
96.15/96.26 c *82.5s|128129 | 39359 |564231 | 4.4 | 21M| 55 | - | 146 | 191 | 146 | 16 | 24 |6058 |4435 | 0.000000e+00 | 9.000000e+00 | Inf
99.65/99.71 c 85.3s|130000 | 39508 |572081 | 4.4 | 21M| 55 | 6 | 146 | 200 | 146 | 16 | 24 |6103 |4482 | 0.000000e+00 | 9.000000e+00 | Inf
105.05/105.11 o 8
105.05/105.11 c *89.9s|138727 | 39206 |610254 | 4.4 | 20M| 55 | - | 146 | 202 | 146 | 16 | 24 |6323 |4725 | 0.000000e+00 | 8.000000e+00 | Inf
105.05/105.12 o 6
105.05/105.12 c *89.9s|138728 | 37993 |610254 | 4.4 | 19M| 55 | - | 146 | 202 | 146 | 16 | 24 |6323 |4725 | 0.000000e+00 | 6.000000e+00 | Inf
105.75/105.88 c 90.5s|140000 | 38072 |615956 | 4.4 | 19M| 55 | - | 146 | 196 | 146 | 16 | 24 |6354 |4745 | 0.000000e+00 | 6.000000e+00 | Inf
113.85/113.91 c 97.2s|150000 | 38338 |660693 | 4.4 | 19M| 55 | 6 | 146 | 231 | 146 | 16 | 24 |6519 |4955 | 0.000000e+00 | 6.000000e+00 | Inf
119.65/119.72 c 102s|160000 | 38443 |703037 | 4.4 | 20M| 55 | 6 | 146 | 243 | 146 | 16 | 24 |6734 |5190 | 0.000000e+00 | 6.000000e+00 | Inf
125.44/125.57 c 107s|170000 | 39020 |748103 | 4.4 | 20M| 55 | - | 146 | 306 | 0 | 0 | 24 |6933 |5413 | 0.000000e+00 | 6.000000e+00 | Inf
131.35/131.41 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
131.35/131.41 c 112s|180000 | 39974 |790275 | 4.4 | 21M| 55 | - | 146 | 318 | 146 | 16 | 24 |7143 |5589 | 0.000000e+00 | 6.000000e+00 | Inf
137.14/137.23 c 117s|190000 | 40056 |832978 | 4.4 | 21M| 55 | - | 146 | 308 | 146 | 16 | 24 |7364 |5791 | 0.000000e+00 | 6.000000e+00 | Inf
142.85/142.93 c 122s|200000 | 40193 |874466 | 4.4 | 21M| 55 | 6 | 146 | 322 | 146 | 16 | 24 |7533 |5962 | 0.000000e+00 | 6.000000e+00 | Inf
148.64/148.78 c 127s|210000 | 39812 |918058 | 4.4 | 21M| 55 | - | 146 | 298 | 146 | 16 | 24 |7721 |6157 | 0.000000e+00 | 6.000000e+00 | Inf
154.44/154.57 c 132s|220000 | 40246 |961624 | 4.4 | 21M| 55 | - | 146 | 325 | 146 | 16 | 24 |7919 |6328 | 0.000000e+00 | 6.000000e+00 | Inf
160.24/160.31 c 137s|230000 | 40597 | 1004k| 4.4 | 21M| 55 | - | 146 | 332 | 146 | 16 | 24 |8126 |6480 | 0.000000e+00 | 6.000000e+00 | Inf
165.83/166.00 c 141s|240000 | 40521 | 1044k| 4.4 | 21M| 55 | 6 | 146 | 315 | 146 | 16 | 24 |8283 |6649 | 0.000000e+00 | 6.000000e+00 | Inf
171.73/171.82 c 146s|250000 | 40333 | 1087k| 4.4 | 21M| 55 | 6 | 146 | 305 | 146 | 16 | 24 |8469 |6813 | 0.000000e+00 | 6.000000e+00 | Inf
177.43/177.54 c 151s|260000 | 40197 | 1129k| 4.3 | 21M| 55 | - | 146 | 278 | 146 | 16 | 24 |8683 |6949 | 0.000000e+00 | 6.000000e+00 | Inf
183.13/183.29 c 156s|270000 | 39994 | 1171k| 4.3 | 21M| 55 | - | 146 | 280 | 146 | 16 | 24 |8872 |7113 | 0.000000e+00 | 6.000000e+00 | Inf
188.93/189.02 c 161s|280000 | 39736 | 1213k| 4.3 | 21M| 55 | - | 146 | 257 | 146 | 16 | 24 |9077 |7256 | 0.000000e+00 | 6.000000e+00 | Inf
194.82/194.90 c 166s|290000 | 39507 | 1258k| 4.3 | 21M| 55 | 6 | 146 | 241 | 146 | 16 | 24 |9249 |7382 | 0.000000e+00 | 6.000000e+00 | Inf
200.52/200.62 c 171s|300000 | 39521 | 1300k| 4.3 | 21M| 55 | - | 146 | 258 | 146 | 16 | 24 |9411 |7506 | 0.000000e+00 | 6.000000e+00 | Inf
206.32/206.40 c 176s|310000 | 39681 | 1342k| 4.3 | 21M| 55 | - | 146 | 269 | 146 | 16 | 24 |9639 |7643 | 0.000000e+00 | 6.000000e+00 | Inf
212.02/212.11 c 181s|320000 | 39547 | 1383k| 4.3 | 21M| 55 | 6 | 146 | 257 | 146 | 16 | 24 |9815 |7769 | 0.000000e+00 | 6.000000e+00 | Inf
217.73/217.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
217.73/217.86 c 186s|330000 | 39148 | 1425k| 4.3 | 20M| 55 | - | 146 | 252 | 146 | 16 | 24 |9983 |7921 | 0.000000e+00 | 6.000000e+00 | Inf
223.52/223.66 c 191s|340000 | 39104 | 1468k| 4.3 | 20M| 55 | - | 146 | 241 | 146 | 16 | 24 | 10k|8070 | 0.000000e+00 | 6.000000e+00 | Inf
231.92/232.03 c 197s|350000 | 39067 | 1510k| 4.3 | 20M| 55 | 6 | 146 | 240 | 146 | 16 | 24 | 10k|8206 | 0.000000e+00 | 6.000000e+00 | Inf
237.61/237.77 c 202s|360000 | 38998 | 1552k| 4.3 | 20M| 55 | - | 146 | 231 | 146 | 16 | 24 | 10k|8334 | 0.000000e+00 | 6.000000e+00 | Inf
243.31/243.48 c 207s|370000 | 38791 | 1594k| 4.3 | 20M| 55 | 6 | 146 | 210 | 146 | 16 | 24 | 10k|8476 | 0.000000e+00 | 6.000000e+00 | Inf
249.11/249.21 c 212s|380000 | 38976 | 1636k| 4.3 | 20M| 55 | 6 | 146 | 203 | 146 | 16 | 24 | 10k|8591 | 0.000000e+00 | 6.000000e+00 | Inf
254.71/254.88 c 217s|390000 | 39026 | 1678k| 4.3 | 20M| 55 | 6 | 146 | 210 | 146 | 16 | 24 | 11k|8724 | 0.000000e+00 | 6.000000e+00 | Inf
260.51/260.62 c 222s|400000 | 38911 | 1721k| 4.3 | 20M| 55 | 6 | 146 | 208 | 146 | 16 | 24 | 11k|8838 | 0.000000e+00 | 6.000000e+00 | Inf
266.20/266.31 c 227s|410000 | 38714 | 1765k| 4.3 | 20M| 55 | 6 | 146 | 200 | 146 | 16 | 24 | 11k|8934 | 0.000000e+00 | 6.000000e+00 | Inf
271.90/272.01 c 231s|420000 | 38585 | 1808k| 4.3 | 20M| 55 | - | 146 | 164 | 0 | 0 | 24 | 11k|9078 | 0.000000e+00 | 6.000000e+00 | Inf
277.50/277.64 c 236s|430000 | 38539 | 1848k| 4.3 | 20M| 55 | - | 146 | 157 | 146 | 16 | 24 | 11k|9174 | 0.000000e+00 | 6.000000e+00 | Inf
283.49/283.63 c 241s|440000 | 40492 | 1893k| 4.3 | 21M| 55 | 6 | 146 | 158 | 146 | 16 | 24 | 12k|9303 | 0.000000e+00 | 6.000000e+00 | Inf
289.29/289.44 c 246s|450000 | 42065 | 1935k| 4.3 | 22M| 55 | 6 | 146 | 167 | 146 | 16 | 24 | 12k|9453 | 0.000000e+00 | 6.000000e+00 | Inf
295.09/295.29 c 251s|460000 | 43806 | 1977k| 4.3 | 23M| 55 | - | 146 | 151 | 146 | 16 | 24 | 12k|9575 | 0.000000e+00 | 6.000000e+00 | Inf
300.79/300.97 c 256s|470000 | 44833 | 2018k| 4.3 | 23M| 55 | 6 | 146 | 146 | 146 | 16 | 24 | 12k|9700 | 0.000000e+00 | 6.000000e+00 | Inf
306.49/306.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
306.49/306.65 c 261s|480000 | 45602 | 2059k| 4.3 | 24M| 55 | - | 146 | 149 | 146 | 16 | 24 | 12k|9837 | 0.000000e+00 | 6.000000e+00 | Inf
312.19/312.35 c 266s|490000 | 46675 | 2100k| 4.3 | 25M| 55 | - | 146 | 158 | 146 | 16 | 24 | 13k|9930 | 0.000000e+00 | 6.000000e+00 | Inf
317.88/318.01 c 271s|500000 | 47425 | 2142k| 4.3 | 25M| 55 | 6 | 146 | 141 | 146 | 16 | 24 | 13k| 10k| 0.000000e+00 | 6.000000e+00 | Inf
323.58/323.74 c 275s|510000 | 48091 | 2185k| 4.3 | 26M| 55 | 6 | 146 | 154 | 146 | 16 | 24 | 13k| 10k| 0.000000e+00 | 6.000000e+00 | Inf
329.18/329.39 c 280s|520000 | 49068 | 2225k| 4.3 | 26M| 55 | - | 146 | 159 | 146 | 16 | 24 | 13k| 10k| 0.000000e+00 | 6.000000e+00 | Inf
334.88/335.05 c 285s|530000 | 49856 | 2265k| 4.3 | 27M| 55 | - | 146 | 158 | 146 | 16 | 24 | 14k| 10k| 0.000000e+00 | 6.000000e+00 | Inf
340.47/340.62 c 290s|540000 | 50092 | 2305k| 4.3 | 27M| 55 | 6 | 146 | 139 | 146 | 16 | 24 | 14k| 10k| 0.000000e+00 | 6.000000e+00 | Inf
346.08/346.29 c 295s|550000 | 50433 | 2345k| 4.3 | 27M| 55 | 6 | 146 | 124 | 146 | 16 | 24 | 14k| 10k| 0.000000e+00 | 6.000000e+00 | Inf
351.78/351.93 c 299s|560000 | 51087 | 2387k| 4.3 | 28M| 55 | - | 146 | 127 | 146 | 16 | 24 | 14k| 10k| 0.000000e+00 | 6.000000e+00 | Inf
357.47/357.60 c 304s|570000 | 51380 | 2428k| 4.3 | 28M| 55 | - | 146 | 132 | 146 | 16 | 24 | 15k| 10k| 0.000000e+00 | 6.000000e+00 | Inf
363.06/363.23 c 309s|580000 | 51559 | 2469k| 4.3 | 28M| 55 | 6 | 146 | 148 | 146 | 16 | 24 | 15k| 10k| 0.000000e+00 | 6.000000e+00 | Inf
368.57/368.76 c 314s|590000 | 52030 | 2508k| 4.3 | 29M| 55 | - | 146 | 143 | 146 | 16 | 24 | 15k| 10k| 0.000000e+00 | 6.000000e+00 | Inf
374.16/374.38 c 318s|600000 | 52272 | 2548k| 4.2 | 29M| 55 | 6 | 146 | 139 | 146 | 16 | 24 | 15k| 10k| 0.000000e+00 | 6.000000e+00 | Inf
379.77/379.99 c 323s|610000 | 52663 | 2590k| 4.2 | 29M| 55 | 6 | 146 | 147 | 146 | 16 | 24 | 15k| 11k| 0.000000e+00 | 6.000000e+00 | Inf
385.47/385.63 c 328s|620000 | 52839 | 2631k| 4.2 | 30M| 55 | 6 | 146 | 132 | 146 | 16 | 24 | 16k| 11k| 0.000000e+00 | 6.000000e+00 | Inf
391.07/391.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
391.07/391.24 c 333s|630000 | 53068 | 2671k| 4.2 | 30M| 55 | - | 146 | 150 | 146 | 16 | 24 | 16k| 11k| 0.000000e+00 | 6.000000e+00 | Inf
396.76/396.96 c 337s|640000 | 53213 | 2714k| 4.2 | 30M| 55 | 6 | 146 | 146 | 146 | 16 | 24 | 16k| 11k| 0.000000e+00 | 6.000000e+00 | Inf
402.36/402.56 c 342s|650000 | 53627 | 2755k| 4.2 | 30M| 55 | - | 146 | 128 | 146 | 16 | 24 | 16k| 11k| 0.000000e+00 | 6.000000e+00 | Inf
407.95/408.17 c 347s|660000 | 53590 | 2795k| 4.2 | 30M| 55 | - | 146 | 128 | 0 | 0 | 24 | 16k| 11k| 0.000000e+00 | 6.000000e+00 | Inf
413.55/413.79 c 352s|670000 | 53687 | 2837k| 4.2 | 31M| 55 | - | 146 | 123 | 0 | 0 | 24 | 17k| 11k| 0.000000e+00 | 6.000000e+00 | Inf
419.25/419.49 c 357s|680000 | 54043 | 2878k| 4.2 | 31M| 55 | 6 | 146 | 128 | 146 | 16 | 24 | 17k| 11k| 0.000000e+00 | 6.000000e+00 | Inf
424.94/425.14 c 361s|690000 | 53975 | 2918k| 4.2 | 31M| 55 | - | 146 | 128 | 146 | 16 | 24 | 17k| 11k| 0.000000e+00 | 6.000000e+00 | Inf
430.55/430.75 c 366s|700000 | 54077 | 2958k| 4.2 | 31M| 55 | 6 | 146 | 133 | 146 | 16 | 24 | 17k| 12k| 0.000000e+00 | 6.000000e+00 | Inf
436.24/436.45 c 371s|710000 | 54814 | 3000k| 4.2 | 32M| 55 | 6 | 146 | 116 | 146 | 16 | 24 | 17k| 12k| 0.000000e+00 | 6.000000e+00 | Inf
441.84/442.04 c 376s|720000 | 55382 | 3042k| 4.2 | 32M| 55 | - | 146 | 121 | 146 | 16 | 24 | 18k| 12k| 0.000000e+00 | 6.000000e+00 | Inf
447.45/447.68 c 381s|730000 | 55654 | 3084k| 4.2 | 32M| 55 | - | 146 | 118 | 146 | 16 | 24 | 18k| 12k| 0.000000e+00 | 6.000000e+00 | Inf
453.05/453.29 c 385s|740000 | 55774 | 3124k| 4.2 | 33M| 55 | 6 | 146 | 114 | 146 | 16 | 24 | 18k| 12k| 0.000000e+00 | 6.000000e+00 | Inf
458.64/458.89 c 390s|750000 | 55921 | 3164k| 4.2 | 33M| 55 | 6 | 146 | 118 | 146 | 16 | 24 | 18k| 12k| 0.000000e+00 | 6.000000e+00 | Inf
464.24/464.48 c 395s|760000 | 56033 | 3205k| 4.2 | 33M| 55 | 6 | 146 | 111 | 146 | 16 | 24 | 18k| 12k| 0.000000e+00 | 6.000000e+00 | Inf
469.93/470.12 c 400s|770000 | 56146 | 3246k| 4.2 | 33M| 55 | 6 | 146 | 121 | 146 | 16 | 24 | 19k| 12k| 0.000000e+00 | 6.000000e+00 | Inf
475.43/475.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
475.43/475.68 c 404s|780000 | 56100 | 3285k| 4.2 | 33M| 55 | 6 | 146 | 114 | 146 | 16 | 24 | 19k| 12k| 0.000000e+00 | 6.000000e+00 | Inf
481.13/481.31 c 409s|790000 | 55855 | 3326k| 4.2 | 33M| 55 | 6 | 146 | 106 | 146 | 16 | 24 | 19k| 12k| 0.000000e+00 | 6.000000e+00 | Inf
486.63/486.86 c 414s|800000 | 55699 | 3365k| 4.2 | 33M| 55 | - | 146 | 105 | 146 | 16 | 24 | 19k| 12k| 0.000000e+00 | 6.000000e+00 | Inf
492.33/492.51 c 419s|810000 | 55598 | 3406k| 4.2 | 33M| 55 | - | 146 | 113 | 0 | 0 | 24 | 20k| 12k| 0.000000e+00 | 6.000000e+00 | Inf
498.03/498.25 c 424s|820000 | 56004 | 3448k| 4.2 | 33M| 55 | - | 146 | 122 | 0 | 0 | 24 | 20k| 13k| 0.000000e+00 | 6.000000e+00 | Inf
503.72/503.95 c 428s|830000 | 56958 | 3490k| 4.2 | 34M| 55 | - | 146 | 110 | 146 | 16 | 24 | 20k| 13k| 0.000000e+00 | 6.000000e+00 | Inf
509.32/509.59 c 433s|840000 | 57395 | 3532k| 4.2 | 35M| 55 | 6 | 146 | 120 | 146 | 16 | 24 | 20k| 13k| 0.000000e+00 | 6.000000e+00 | Inf
514.92/515.17 c 438s|850000 | 57697 | 3572k| 4.2 | 35M| 55 | - | 146 | 120 | 146 | 16 | 24 | 20k| 13k| 0.000000e+00 | 6.000000e+00 | Inf
520.52/520.77 c 443s|860000 | 57861 | 3613k| 4.2 | 35M| 55 | 6 | 146 | 107 | 146 | 16 | 24 | 21k| 13k| 0.000000e+00 | 6.000000e+00 | Inf
526.12/526.36 c 447s|870000 | 58196 | 3653k| 4.2 | 35M| 55 | - | 146 | 120 | 146 | 16 | 24 | 21k| 13k| 0.000000e+00 | 6.000000e+00 | Inf
531.91/532.19 c 452s|880000 | 58814 | 3696k| 4.2 | 36M| 55 | - | 146 | 116 | 146 | 16 | 24 | 21k| 13k| 0.000000e+00 | 6.000000e+00 | Inf
537.51/537.79 c 457s|890000 | 59311 | 3737k| 4.2 | 36M| 55 | 6 | 146 | 111 | 146 | 16 | 24 | 21k| 13k| 0.000000e+00 | 6.000000e+00 | Inf
543.12/543.35 c 462s|900000 | 59677 | 3778k| 4.2 | 36M| 55 | 6 | 146 | 111 | 146 | 16 | 24 | 21k| 13k| 0.000000e+00 | 6.000000e+00 | Inf
548.72/548.92 c 467s|910000 | 60024 | 3819k| 4.2 | 37M| 55 | - | 146 | 104 | 146 | 16 | 24 | 22k| 13k| 0.000000e+00 | 6.000000e+00 | Inf
554.21/554.49 c 471s|920000 | 60384 | 3860k| 4.2 | 37M| 55 | 6 | 146 | 99 | 146 | 16 | 24 | 22k| 13k| 0.000000e+00 | 6.000000e+00 | Inf
559.91/560.10 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
559.91/560.10 c 476s|930000 | 60640 | 3902k| 4.2 | 37M| 55 | 6 | 146 | 106 | 146 | 16 | 24 | 22k| 13k| 0.000000e+00 | 6.000000e+00 | Inf
565.50/565.71 c 481s|940000 | 60413 | 3943k| 4.2 | 37M| 55 | - | 146 | 109 | 0 | 0 | 24 | 22k| 13k| 0.000000e+00 | 6.000000e+00 | Inf
571.00/571.25 c 485s|950000 | 60361 | 3984k| 4.2 | 37M| 55 | 6 | 146 | 129 | 146 | 16 | 24 | 22k| 14k| 0.000000e+00 | 6.000000e+00 | Inf
576.60/576.86 c 490s|960000 | 60148 | 4026k| 4.2 | 37M| 55 | - | 146 | 120 | 146 | 16 | 24 | 23k| 14k| 0.000000e+00 | 6.000000e+00 | Inf
585.01/585.28 c 497s|970000 | 60048 | 4067k| 4.2 | 37M| 55 | 6 | 146 | 117 | 146 | 16 | 24 | 23k| 14k| 0.000000e+00 | 6.000000e+00 | Inf
590.70/590.96 c 502s|980000 | 60141 | 4111k| 4.2 | 37M| 55 | 6 | 146 | 117 | 146 | 16 | 24 | 23k| 14k| 0.000000e+00 | 6.000000e+00 | Inf
596.40/596.62 c 507s|990000 | 60109 | 4154k| 4.2 | 38M| 55 | - | 146 | 118 | 0 | 0 | 24 | 23k| 14k| 0.000000e+00 | 6.000000e+00 | Inf
601.99/602.29 c 512s| 1000k| 60281 | 4197k| 4.2 | 38M| 55 | - | 146 | 116 | 146 | 16 | 24 | 23k| 14k| 0.000000e+00 | 6.000000e+00 | Inf
607.60/607.86 c 516s| 1010k| 60378 | 4240k| 4.2 | 38M| 55 | 6 | 146 | 124 | 146 | 16 | 24 | 23k| 14k| 0.000000e+00 | 6.000000e+00 | Inf
613.19/613.43 c 521s| 1020k| 60473 | 4280k| 4.2 | 38M| 55 | 6 | 146 | 126 | 146 | 16 | 24 | 24k| 14k| 0.000000e+00 | 6.000000e+00 | Inf
618.89/619.14 c 526s| 1030k| 60879 | 4323k| 4.2 | 38M| 55 | 6 | 146 | 132 | 146 | 16 | 24 | 24k| 14k| 0.000000e+00 | 6.000000e+00 | Inf
624.60/624.88 c 531s| 1040k| 62238 | 4366k| 4.2 | 39M| 55 | 6 | 146 | 127 | 146 | 16 | 24 | 24k| 14k| 0.000000e+00 | 6.000000e+00 | Inf
630.39/630.60 c 536s| 1050k| 63292 | 4409k| 4.2 | 40M| 55 | - | 146 | 125 | 146 | 16 | 24 | 24k| 14k| 0.000000e+00 | 6.000000e+00 | Inf
635.99/636.29 c 540s| 1060k| 64467 | 4451k| 4.2 | 40M| 55 | - | 146 | 129 | 146 | 16 | 24 | 24k| 14k| 0.000000e+00 | 6.000000e+00 | Inf
641.68/641.94 c 545s| 1070k| 65644 | 4493k| 4.2 | 41M| 55 | - | 146 | 107 | 146 | 16 | 24 | 25k| 14k| 0.000000e+00 | 6.000000e+00 | Inf
647.38/647.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
647.38/647.65 c 550s| 1080k| 66301 | 4536k| 4.2 | 42M| 55 | - | 146 | 98 | 146 | 16 | 24 | 25k| 14k| 0.000000e+00 | 6.000000e+00 | Inf
652.98/653.29 c 555s| 1090k| 66764 | 4578k| 4.2 | 42M| 55 | 6 | 146 | 99 | 146 | 16 | 24 | 25k| 15k| 0.000000e+00 | 6.000000e+00 | Inf
658.68/658.97 c 560s| 1100k| 67057 | 4620k| 4.2 | 42M| 55 | 6 | 146 | 113 | 146 | 16 | 24 | 25k| 15k| 0.000000e+00 | 6.000000e+00 | Inf
664.27/664.58 c 564s| 1110k| 67514 | 4663k| 4.2 | 43M| 55 | 6 | 146 | 103 | 146 | 16 | 24 | 25k| 15k| 0.000000e+00 | 6.000000e+00 | Inf
669.97/670.26 c 569s| 1120k| 67812 | 4705k| 4.2 | 43M| 55 | - | 146 | 90 | 0 | 0 | 24 | 25k| 15k| 0.000000e+00 | 6.000000e+00 | Inf
675.67/675.99 c 574s| 1130k| 68237 | 4748k| 4.2 | 43M| 55 | 6 | 146 | 94 | 146 | 16 | 24 | 26k| 15k| 0.000000e+00 | 6.000000e+00 | Inf
681.37/681.62 c 579s| 1140k| 68522 | 4791k| 4.2 | 44M| 55 | - | 146 | 97 | 146 | 16 | 24 | 26k| 15k| 0.000000e+00 | 6.000000e+00 | Inf
686.87/687.20 c 584s| 1150k| 68550 | 4832k| 4.2 | 44M| 55 | 6 | 146 | 103 | 146 | 16 | 24 | 26k| 15k| 0.000000e+00 | 6.000000e+00 | Inf
692.57/692.84 c 588s| 1160k| 68627 | 4874k| 4.2 | 44M| 55 | 6 | 146 | 106 | 146 | 16 | 24 | 26k| 15k| 0.000000e+00 | 6.000000e+00 | Inf
698.17/698.48 c 593s| 1170k| 68508 | 4917k| 4.2 | 44M| 55 | - | 146 | 108 | 146 | 16 | 24 | 26k| 15k| 0.000000e+00 | 6.000000e+00 | Inf
703.86/704.17 c 598s| 1180k| 68547 | 4959k| 4.2 | 44M| 55 | - | 146 | 107 | 146 | 16 | 24 | 26k| 15k| 0.000000e+00 | 6.000000e+00 | Inf
709.56/709.80 c 603s| 1190k| 68801 | 5003k| 4.2 | 45M| 55 | 6 | 146 | 117 | 146 | 16 | 24 | 27k| 15k| 0.000000e+00 | 6.000000e+00 | Inf
715.16/715.49 c 608s| 1200k| 68980 | 5046k| 4.2 | 45M| 55 | 6 | 146 | 103 | 146 | 16 | 24 | 27k| 15k| 0.000000e+00 | 6.000000e+00 | Inf
720.86/721.18 c 613s| 1210k| 69246 | 5088k| 4.2 | 45M| 55 | 6 | 146 | 105 | 146 | 16 | 24 | 27k| 15k| 0.000000e+00 | 6.000000e+00 | Inf
726.56/726.86 c 617s| 1220k| 69494 | 5131k| 4.2 | 45M| 55 | - | 146 | 100 | 146 | 16 | 24 | 27k| 15k| 0.000000e+00 | 6.000000e+00 | Inf
732.15/732.44 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
732.15/732.44 c 622s| 1230k| 69817 | 5173k| 4.2 | 46M| 55 | - | 146 | 102 | 146 | 16 | 24 | 27k| 16k| 0.000000e+00 | 6.000000e+00 | Inf
737.76/738.03 c 627s| 1240k| 69963 | 5213k| 4.2 | 46M| 55 | - | 146 | 107 | 146 | 16 | 24 | 27k| 16k| 0.000000e+00 | 6.000000e+00 | Inf
743.36/743.63 c 632s| 1250k| 70000 | 5254k| 4.2 | 46M| 55 | - | 146 | 125 | 146 | 16 | 24 | 28k| 16k| 0.000000e+00 | 6.000000e+00 | Inf
748.95/749.29 c 636s| 1260k| 69770 | 5296k| 4.2 | 46M| 55 | 6 | 146 | 109 | 146 | 16 | 24 | 28k| 16k| 0.000000e+00 | 6.000000e+00 | Inf
754.75/755.06 c 641s| 1270k| 69909 | 5341k| 4.2 | 46M| 55 | - | 146 | 103 | 146 | 16 | 24 | 28k| 16k| 0.000000e+00 | 6.000000e+00 | Inf
760.45/760.73 c 646s| 1280k| 69974 | 5382k| 4.2 | 46M| 55 | 6 | 146 | 105 | 146 | 16 | 24 | 28k| 16k| 0.000000e+00 | 6.000000e+00 | Inf
766.04/766.34 c 651s| 1290k| 69931 | 5423k| 4.2 | 47M| 55 | 6 | 146 | 103 | 146 | 16 | 24 | 28k| 16k| 0.000000e+00 | 6.000000e+00 | Inf
771.64/771.98 c 656s| 1300k| 69695 | 5464k| 4.2 | 46M| 55 | - | 146 | 109 | 146 | 16 | 24 | 28k| 16k| 0.000000e+00 | 6.000000e+00 | Inf
777.24/777.58 c 660s| 1310k| 69703 | 5505k| 4.2 | 47M| 55 | - | 146 | 111 | 146 | 16 | 24 | 29k| 16k| 0.000000e+00 | 6.000000e+00 | Inf
782.95/783.23 c 665s| 1320k| 69507 | 5548k| 4.2 | 47M| 55 | - | 146 | 104 | 0 | 0 | 24 | 29k| 16k| 0.000000e+00 | 6.000000e+00 | Inf
788.54/788.86 c 670s| 1330k| 69373 | 5588k| 4.2 | 47M| 55 | - | 146 | 113 | 146 | 16 | 24 | 29k| 16k| 0.000000e+00 | 6.000000e+00 | Inf
794.24/794.57 c 675s| 1340k| 69530 | 5632k| 4.2 | 47M| 55 | 6 | 146 | 108 | 146 | 16 | 24 | 29k| 16k| 0.000000e+00 | 6.000000e+00 | Inf
799.93/800.20 c 680s| 1350k| 69408 | 5673k| 4.2 | 47M| 55 | - | 146 | 106 | 146 | 16 | 24 | 29k| 16k| 0.000000e+00 | 6.000000e+00 | Inf
805.53/805.85 c 684s| 1360k| 69230 | 5715k| 4.2 | 47M| 55 | - | 146 | 103 | 146 | 16 | 24 | 29k| 16k| 0.000000e+00 | 6.000000e+00 | Inf
811.23/811.56 c 689s| 1370k| 68887 | 5757k| 4.2 | 47M| 55 | 6 | 146 | 100 | 146 | 16 | 24 | 30k| 17k| 0.000000e+00 | 6.000000e+00 | Inf
816.83/817.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
816.83/817.20 c 694s| 1380k| 68804 | 5799k| 4.2 | 47M| 55 | 6 | 146 | 110 | 146 | 16 | 24 | 30k| 17k| 0.000000e+00 | 6.000000e+00 | Inf
822.54/822.84 c 699s| 1390k| 68417 | 5842k| 4.2 | 47M| 55 | - | 146 | 110 | 146 | 16 | 24 | 30k| 17k| 0.000000e+00 | 6.000000e+00 | Inf
828.23/828.50 c 704s| 1400k| 68300 | 5882k| 4.2 | 47M| 55 | - | 146 | 108 | 146 | 16 | 24 | 30k| 17k| 0.000000e+00 | 6.000000e+00 | Inf
833.83/834.17 c 708s| 1410k| 68324 | 5925k| 4.2 | 47M| 55 | - | 146 | 108 | 146 | 16 | 24 | 30k| 17k| 0.000000e+00 | 6.000000e+00 | Inf
839.53/839.82 c 713s| 1420k| 68456 | 5966k| 4.2 | 47M| 55 | - | 146 | 112 | 146 | 16 | 24 | 31k| 17k| 0.000000e+00 | 6.000000e+00 | Inf
845.12/845.47 c 718s| 1430k| 68294 | 6009k| 4.2 | 47M| 55 | 6 | 146 | 113 | 146 | 16 | 24 | 31k| 17k| 0.000000e+00 | 6.000000e+00 | Inf
850.83/851.15 c 723s| 1440k| 68091 | 6051k| 4.2 | 47M| 55 | - | 146 | 109 | 146 | 16 | 24 | 31k| 17k| 0.000000e+00 | 6.000000e+00 | Inf
856.43/856.75 c 728s| 1450k| 67965 | 6092k| 4.2 | 47M| 55 | 6 | 146 | 101 | 146 | 16 | 24 | 31k| 17k| 0.000000e+00 | 6.000000e+00 | Inf
862.13/862.41 c 732s| 1460k| 68579 | 6134k| 4.2 | 47M| 55 | - | 146 | 106 | 146 | 16 | 24 | 31k| 17k| 0.000000e+00 | 6.000000e+00 | Inf
867.72/868.03 c 737s| 1470k| 68983 | 6175k| 4.2 | 48M| 55 | - | 146 | 100 | 146 | 16 | 24 | 31k| 17k| 0.000000e+00 | 6.000000e+00 | Inf
873.32/873.65 c 742s| 1480k| 68846 | 6216k| 4.2 | 48M| 55 | - | 146 | 98 | 146 | 16 | 24 | 32k| 17k| 0.000000e+00 | 6.000000e+00 | Inf
878.92/879.29 c 747s| 1490k| 68468 | 6257k| 4.2 | 48M| 55 | 6 | 146 | 103 | 146 | 16 | 24 | 32k| 17k| 0.000000e+00 | 6.000000e+00 | Inf
884.61/884.97 c 752s| 1500k| 68021 | 6299k| 4.2 | 47M| 55 | - | 146 | 112 | 146 | 16 | 24 | 32k| 17k| 0.000000e+00 | 6.000000e+00 | Inf
890.21/890.58 c 756s| 1510k| 68214 | 6338k| 4.2 | 47M| 55 | 6 | 146 | 110 | 146 | 16 | 24 | 32k| 17k| 0.000000e+00 | 6.000000e+00 | Inf
895.90/896.20 c 761s| 1520k| 67874 | 6379k| 4.2 | 47M| 55 | - | 146 | 99 | 146 | 16 | 24 | 32k| 17k| 0.000000e+00 | 6.000000e+00 | Inf
901.50/901.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
901.50/901.86 c 766s| 1530k| 67651 | 6421k| 4.2 | 47M| 55 | - | 146 | 108 | 0 | 0 | 24 | 32k| 18k| 0.000000e+00 | 6.000000e+00 | Inf
907.11/907.45 c 771s| 1540k| 67707 | 6462k| 4.2 | 47M| 55 | 6 | 146 | 118 | 146 | 16 | 24 | 33k| 18k| 0.000000e+00 | 6.000000e+00 | Inf
912.71/913.07 c 776s| 1550k| 67315 | 6504k| 4.2 | 47M| 55 | 6 | 146 | 104 | 146 | 16 | 24 | 33k| 18k| 0.000000e+00 | 6.000000e+00 | Inf
918.40/918.70 c 780s| 1560k| 67473 | 6546k| 4.2 | 47M| 55 | - | 146 | 119 | 146 | 16 | 24 | 33k| 18k| 0.000000e+00 | 6.000000e+00 | Inf
924.00/924.30 c 785s| 1570k| 67726 | 6588k| 4.2 | 47M| 55 | - | 146 | 117 | 146 | 16 | 24 | 33k| 18k| 0.000000e+00 | 6.000000e+00 | Inf
929.59/929.94 c 790s| 1580k| 67580 | 6629k| 4.2 | 47M| 55 | - | 146 | 113 | 146 | 16 | 24 | 33k| 18k| 0.000000e+00 | 6.000000e+00 | Inf
935.29/935.62 c 795s| 1590k| 67560 | 6673k| 4.2 | 48M| 55 | - | 146 | 106 | 146 | 16 | 24 | 33k| 18k| 0.000000e+00 | 6.000000e+00 | Inf
940.99/941.31 c 799s| 1600k| 67297 | 6715k| 4.2 | 47M| 55 | 6 | 146 | 105 | 146 | 16 | 24 | 34k| 18k| 0.000000e+00 | 6.000000e+00 | Inf
946.59/946.99 c 804s| 1610k| 67570 | 6757k| 4.2 | 48M| 55 | 6 | 146 | 113 | 146 | 16 | 24 | 34k| 18k| 0.000000e+00 | 6.000000e+00 | Inf
952.30/952.62 c 809s| 1620k| 67436 | 6798k| 4.2 | 48M| 55 | 6 | 146 | 104 | 146 | 16 | 24 | 34k| 18k| 0.000000e+00 | 6.000000e+00 | Inf
957.88/958.26 c 814s| 1630k| 67164 | 6840k| 4.2 | 47M| 55 | 6 | 146 | 110 | 146 | 16 | 24 | 34k| 18k| 0.000000e+00 | 6.000000e+00 | Inf
963.59/963.91 c 819s| 1640k| 66976 | 6881k| 4.2 | 47M| 55 | 6 | 146 | 118 | 146 | 16 | 24 | 34k| 18k| 0.000000e+00 | 6.000000e+00 | Inf
969.19/969.56 c 823s| 1650k| 66745 | 6923k| 4.2 | 47M| 55 | 6 | 146 | 95 | 146 | 16 | 24 | 35k| 18k| 0.000000e+00 | 6.000000e+00 | Inf
974.79/975.17 c 828s| 1660k| 67099 | 6965k| 4.2 | 48M| 55 | 6 | 146 | 107 | 146 | 16 | 24 | 35k| 18k| 0.000000e+00 | 6.000000e+00 | Inf
980.48/980.82 c 833s| 1670k| 67110 | 7008k| 4.2 | 48M| 55 | 6 | 146 | 97 | 146 | 16 | 24 | 35k| 18k| 0.000000e+00 | 6.000000e+00 | Inf
986.08/986.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
986.08/986.40 c 838s| 1680k| 66826 | 7049k| 4.2 | 47M| 55 | 6 | 146 | 101 | 146 | 16 | 24 | 35k| 18k| 0.000000e+00 | 6.000000e+00 | Inf
991.68/992.00 c 842s| 1690k| 66940 | 7093k| 4.2 | 48M| 55 | - | 146 | 103 | 146 | 16 | 24 | 35k| 19k| 0.000000e+00 | 6.000000e+00 | Inf
997.29/997.68 c 847s| 1700k| 66459 | 7136k| 4.2 | 47M| 55 | 6 | 146 | 104 | 146 | 16 | 24 | 36k| 19k| 0.000000e+00 | 6.000000e+00 | Inf
1002.98/1003.32 c 852s| 1710k| 66258 | 7177k| 4.2 | 47M| 55 | - | 146 | 110 | 146 | 16 | 24 | 36k| 19k| 0.000000e+00 | 6.000000e+00 | Inf
1008.57/1008.97 c 857s| 1720k| 66305 | 7220k| 4.2 | 47M| 55 | 6 | 146 | 118 | 146 | 16 | 24 | 36k| 19k| 0.000000e+00 | 6.000000e+00 | Inf
1014.28/1014.66 c 862s| 1730k| 66288 | 7263k| 4.2 | 47M| 55 | - | 146 | 125 | 0 | 0 | 24 | 36k| 19k| 0.000000e+00 | 6.000000e+00 | Inf
1020.07/1020.40 c 866s| 1740k| 66201 | 7306k| 4.2 | 47M| 55 | - | 146 | 123 | 0 | 0 | 24 | 36k| 19k| 0.000000e+00 | 6.000000e+00 | Inf
1025.56/1025.99 c 871s| 1750k| 66497 | 7347k| 4.2 | 47M| 55 | - | 146 | 118 | 146 | 16 | 24 | 37k| 19k| 0.000000e+00 | 6.000000e+00 | Inf
1031.17/1031.57 c 876s| 1760k| 66043 | 7388k| 4.2 | 47M| 55 | 6 | 146 | 125 | 146 | 16 | 24 | 37k| 19k| 0.000000e+00 | 6.000000e+00 | Inf
1036.76/1037.18 c 881s| 1770k| 65981 | 7429k| 4.2 | 47M| 55 | 6 | 146 | 102 | 146 | 16 | 24 | 37k| 19k| 0.000000e+00 | 6.000000e+00 | Inf
1042.37/1042.80 c 885s| 1780k| 65689 | 7471k| 4.2 | 47M| 55 | - | 146 | 100 | 0 | 0 | 24 | 37k| 19k| 0.000000e+00 | 6.000000e+00 | Inf
1048.06/1048.41 c 890s| 1790k| 65439 | 7512k| 4.2 | 47M| 55 | - | 146 | 103 | 146 | 16 | 24 | 37k| 19k| 0.000000e+00 | 6.000000e+00 | Inf
1053.56/1053.95 c 895s| 1800k| 65488 | 7553k| 4.2 | 47M| 55 | - | 146 | 114 | 146 | 16 | 24 | 37k| 19k| 0.000000e+00 | 6.000000e+00 | Inf
1059.16/1059.58 c 900s| 1810k| 66093 | 7595k| 4.2 | 47M| 55 | - | 146 | 112 | 146 | 16 | 24 | 38k| 19k| 0.000000e+00 | 6.000000e+00 | Inf
1064.76/1065.14 c 904s| 1820k| 66710 | 7637k| 4.2 | 48M| 55 | - | 146 | 109 | 146 | 16 | 24 | 38k| 19k| 0.000000e+00 | 6.000000e+00 | Inf
1070.36/1070.77 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1070.36/1070.77 c 909s| 1830k| 67243 | 7678k| 4.2 | 48M| 55 | - | 146 | 121 | 146 | 16 | 24 | 38k| 19k| 0.000000e+00 | 6.000000e+00 | Inf
1075.96/1076.36 c 914s| 1840k| 67142 | 7718k| 4.2 | 48M| 55 | 6 | 146 | 112 | 146 | 16 | 24 | 38k| 19k| 0.000000e+00 | 6.000000e+00 | Inf
1081.55/1081.95 c 919s| 1850k| 67449 | 7760k| 4.2 | 49M| 55 | - | 146 | 112 | 146 | 16 | 24 | 38k| 19k| 0.000000e+00 | 6.000000e+00 | Inf
1087.15/1087.52 c 923s| 1860k| 67469 | 7802k| 4.2 | 49M| 55 | 6 | 146 | 113 | 146 | 16 | 24 | 39k| 19k| 0.000000e+00 | 6.000000e+00 | Inf
1092.75/1093.16 c 928s| 1870k| 67265 | 7843k| 4.2 | 49M| 55 | - | 146 | 111 | 146 | 16 | 24 | 39k| 20k| 0.000000e+00 | 6.000000e+00 | Inf
1098.45/1098.83 c 933s| 1880k| 67321 | 7885k| 4.2 | 49M| 55 | - | 146 | 112 | 146 | 16 | 24 | 39k| 20k| 0.000000e+00 | 6.000000e+00 | Inf
1104.05/1104.44 c 938s| 1890k| 67327 | 7926k| 4.2 | 49M| 55 | - | 146 | 106 | 146 | 16 | 24 | 39k| 20k| 0.000000e+00 | 6.000000e+00 | Inf
1109.64/1110.05 c 942s| 1900k| 67353 | 7967k| 4.2 | 49M| 55 | 6 | 146 | 111 | 146 | 16 | 24 | 39k| 20k| 0.000000e+00 | 6.000000e+00 | Inf
1115.24/1115.60 c 947s| 1910k| 67024 | 8008k| 4.2 | 49M| 55 | 6 | 146 | 101 | 146 | 16 | 24 | 39k| 20k| 0.000000e+00 | 6.000000e+00 | Inf
1120.84/1121.20 c 952s| 1920k| 67241 | 8049k| 4.2 | 49M| 55 | 6 | 146 | 106 | 146 | 16 | 24 | 40k| 20k| 0.000000e+00 | 6.000000e+00 | Inf
1126.34/1126.76 c 957s| 1930k| 67240 | 8091k| 4.2 | 49M| 55 | 6 | 146 | 108 | 146 | 16 | 24 | 40k| 20k| 0.000000e+00 | 6.000000e+00 | Inf
1131.94/1132.35 c 961s| 1940k| 66914 | 8131k| 4.2 | 49M| 55 | - | 146 | 112 | 146 | 16 | 24 | 40k| 20k| 0.000000e+00 | 6.000000e+00 | Inf
1137.53/1137.90 c 966s| 1950k| 66996 | 8171k| 4.2 | 49M| 55 | 6 | 146 | 113 | 146 | 16 | 24 | 40k| 20k| 0.000000e+00 | 6.000000e+00 | Inf
1143.03/1143.47 c 971s| 1960k| 66466 | 8210k| 4.2 | 49M| 55 | 6 | 146 | 111 | 146 | 16 | 24 | 40k| 20k| 0.000000e+00 | 6.000000e+00 | Inf
1148.64/1149.04 c 976s| 1970k| 66046 | 8250k| 4.2 | 48M| 55 | - | 146 | 102 | 146 | 16 | 24 | 41k| 20k| 0.000000e+00 | 6.000000e+00 | Inf
1154.23/1154.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1154.23/1154.69 c 980s| 1980k| 66528 | 8293k| 4.2 | 49M| 55 | - | 146 | 105 | 146 | 16 | 24 | 41k| 20k| 0.000000e+00 | 6.000000e+00 | Inf
1159.93/1160.31 c 985s| 1990k| 66687 | 8335k| 4.2 | 49M| 55 | - | 146 | 114 | 0 | 0 | 24 | 41k| 20k| 0.000000e+00 | 6.000000e+00 | Inf
1165.42/1165.88 c 990s| 2000k| 66501 | 8377k| 4.2 | 49M| 55 | - | 146 | 110 | 0 | 0 | 24 | 41k| 20k| 0.000000e+00 | 6.000000e+00 | Inf
1171.03/1171.44 c 995s| 2010k| 66299 | 8418k| 4.2 | 49M| 55 | - | 146 | 115 | 0 | 0 | 24 | 41k| 20k| 0.000000e+00 | 6.000000e+00 | Inf
1176.63/1177.08 c 999s| 2020k| 65676 | 8459k| 4.2 | 48M| 55 | - | 146 | 109 | 146 | 16 | 24 | 41k| 20k| 0.000000e+00 | 6.000000e+00 | Inf
1182.22/1182.61 c 1004s| 2030k| 65866 | 8502k| 4.2 | 48M| 55 | 6 | 146 | 118 | 146 | 16 | 24 | 41k| 20k| 0.000000e+00 | 6.000000e+00 | Inf
1187.83/1188.21 c 1009s| 2040k| 65905 | 8546k| 4.2 | 49M| 55 | 6 | 146 | 119 | 146 | 16 | 24 | 42k| 20k| 0.000000e+00 | 6.000000e+00 | Inf
1193.22/1193.64 c 1013s| 2050k| 65934 | 8586k| 4.2 | 49M| 55 | - | 146 | 125 | 146 | 16 | 24 | 42k| 21k| 0.000000e+00 | 6.000000e+00 | Inf
1198.72/1199.19 c 1018s| 2060k| 65511 | 8629k| 4.2 | 48M| 55 | 6 | 146 | 119 | 146 | 16 | 24 | 42k| 21k| 0.000000e+00 | 6.000000e+00 | Inf
1204.32/1204.75 c 1023s| 2070k| 65360 | 8669k| 4.2 | 48M| 55 | 6 | 146 | 120 | 146 | 16 | 24 | 42k| 21k| 0.000000e+00 | 6.000000e+00 | Inf
1209.91/1210.34 c 1028s| 2080k| 65552 | 8711k| 4.2 | 48M| 55 | - | 146 | 121 | 146 | 16 | 24 | 42k| 21k| 0.000000e+00 | 6.000000e+00 | Inf
1215.51/1215.93 c 1032s| 2090k| 65389 | 8753k| 4.2 | 48M| 55 | - | 146 | 122 | 146 | 16 | 24 | 42k| 21k| 0.000000e+00 | 6.000000e+00 | Inf
1221.01/1221.45 c 1037s| 2100k| 66022 | 8794k| 4.2 | 49M| 55 | 6 | 146 | 119 | 146 | 16 | 24 | 43k| 21k| 0.000000e+00 | 6.000000e+00 | Inf
1226.51/1226.97 c 1042s| 2110k| 65651 | 8836k| 4.2 | 49M| 55 | - | 146 | 126 | 146 | 16 | 24 | 43k| 21k| 0.000000e+00 | 6.000000e+00 | Inf
1232.11/1232.53 c 1046s| 2120k| 65435 | 8877k| 4.2 | 48M| 55 | 6 | 146 | 140 | 146 | 16 | 24 | 43k| 21k| 0.000000e+00 | 6.000000e+00 | Inf
1237.61/1238.06 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1237.61/1238.06 c 1051s| 2130k| 65617 | 8917k| 4.2 | 49M| 55 | - | 146 | 117 | 146 | 16 | 24 | 43k| 21k| 0.000000e+00 | 6.000000e+00 | Inf
1243.10/1243.58 c 1056s| 2140k| 65158 | 8958k| 4.2 | 48M| 55 | 6 | 146 | 114 | 146 | 16 | 24 | 43k| 21k| 0.000000e+00 | 6.000000e+00 | Inf
1248.70/1249.12 c 1060s| 2150k| 64880 | 8998k| 4.2 | 48M| 55 | 6 | 146 | 118 | 146 | 16 | 24 | 43k| 21k| 0.000000e+00 | 6.000000e+00 | Inf
1254.20/1254.69 c 1065s| 2160k| 64440 | 9039k| 4.2 | 48M| 55 | 6 | 146 | 108 | 146 | 16 | 24 | 44k| 21k| 0.000000e+00 | 6.000000e+00 | Inf
1259.90/1260.32 c 1070s| 2170k| 65021 | 9081k| 4.2 | 48M| 55 | 6 | 146 | 123 | 146 | 16 | 24 | 44k| 21k| 0.000000e+00 | 6.000000e+00 | Inf
1265.50/1265.98 c 1074s| 2180k| 65968 | 9124k| 4.2 | 49M| 55 | - | 146 | 116 | 146 | 16 | 24 | 44k| 21k| 0.000000e+00 | 6.000000e+00 | Inf
1271.11/1271.54 c 1079s| 2190k| 66639 | 9165k| 4.2 | 49M| 55 | - | 146 | 114 | 146 | 16 | 24 | 44k| 21k| 0.000000e+00 | 6.000000e+00 | Inf
1276.61/1277.06 c 1084s| 2200k| 67309 | 9206k| 4.2 | 50M| 55 | 6 | 146 | 124 | 146 | 16 | 24 | 44k| 21k| 0.000000e+00 | 6.000000e+00 | Inf
1282.20/1282.61 c 1089s| 2210k| 67819 | 9247k| 4.2 | 50M| 55 | - | 146 | 119 | 0 | 0 | 24 | 45k| 21k| 0.000000e+00 | 6.000000e+00 | Inf
1287.61/1288.08 c 1093s| 2220k| 68454 | 9288k| 4.2 | 51M| 55 | - | 146 | 130 | 146 | 16 | 24 | 45k| 21k| 0.000000e+00 | 6.000000e+00 | Inf
1293.10/1293.58 c 1098s| 2230k| 68476 | 9328k| 4.2 | 51M| 55 | 6 | 146 | 117 | 146 | 16 | 24 | 45k| 21k| 0.000000e+00 | 6.000000e+00 | Inf
1298.60/1299.05 c 1102s| 2240k| 68622 | 9367k| 4.2 | 51M| 55 | 6 | 146 | 123 | 146 | 16 | 24 | 45k| 22k| 0.000000e+00 | 6.000000e+00 | Inf
1304.09/1304.53 c 1107s| 2250k| 68669 | 9407k| 4.2 | 51M| 55 | - | 146 | 118 | 146 | 16 | 24 | 45k| 22k| 0.000000e+00 | 6.000000e+00 | Inf
1309.60/1310.02 c 1112s| 2260k| 68567 | 9447k| 4.2 | 51M| 55 | 6 | 146 | 117 | 146 | 16 | 24 | 45k| 22k| 0.000000e+00 | 6.000000e+00 | Inf
1315.10/1315.50 c 1116s| 2270k| 68473 | 9486k| 4.2 | 51M| 55 | - | 146 | 121 | 0 | 0 | 24 | 46k| 22k| 0.000000e+00 | 6.000000e+00 | Inf
1320.69/1321.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1320.69/1321.11 c 1121s| 2280k| 68987 | 9528k| 4.2 | 52M| 55 | - | 146 | 113 | 146 | 16 | 24 | 46k| 22k| 0.000000e+00 | 6.000000e+00 | Inf
1326.20/1326.64 c 1126s| 2290k| 68987 | 9568k| 4.2 | 52M| 55 | - | 146 | 119 | 146 | 16 | 24 | 46k| 22k| 0.000000e+00 | 6.000000e+00 | Inf
1331.78/1332.20 c 1131s| 2300k| 68958 | 9608k| 4.2 | 52M| 55 | 6 | 146 | 128 | 146 | 16 | 24 | 46k| 22k| 0.000000e+00 | 6.000000e+00 | Inf
1337.28/1337.74 c 1135s| 2310k| 68992 | 9650k| 4.2 | 52M| 55 | - | 146 | 118 | 146 | 16 | 24 | 46k| 22k| 0.000000e+00 | 6.000000e+00 | Inf
1342.78/1343.22 c 1140s| 2320k| 68818 | 9689k| 4.2 | 52M| 55 | 6 | 146 | 123 | 146 | 16 | 24 | 46k| 22k| 0.000000e+00 | 6.000000e+00 | Inf
1348.28/1348.74 c 1145s| 2330k| 68440 | 9728k| 4.2 | 52M| 55 | 6 | 146 | 116 | 146 | 16 | 24 | 47k| 22k| 0.000000e+00 | 6.000000e+00 | Inf
1353.77/1354.27 c 1149s| 2340k| 68260 | 9768k| 4.2 | 52M| 55 | 6 | 146 | 124 | 146 | 16 | 24 | 47k| 22k| 0.000000e+00 | 6.000000e+00 | Inf
1359.28/1359.76 c 1154s| 2350k| 68028 | 9808k| 4.2 | 52M| 55 | 6 | 146 | 130 | 146 | 16 | 24 | 47k| 22k| 0.000000e+00 | 6.000000e+00 | Inf
1364.77/1365.29 c 1159s| 2360k| 67561 | 9847k| 4.2 | 52M| 55 | - | 146 | 123 | 146 | 16 | 24 | 47k| 22k| 0.000000e+00 | 6.000000e+00 | Inf
1370.37/1370.82 c 1164s| 2370k| 67142 | 9886k| 4.2 | 52M| 55 | - | 146 | 123 | 0 | 0 | 24 | 47k| 22k| 0.000000e+00 | 6.000000e+00 | Inf
1375.87/1376.39 c 1168s| 2380k| 66554 | 9926k| 4.2 | 51M| 55 | 6 | 146 | 124 | 146 | 16 | 24 | 48k| 22k| 0.000000e+00 | 6.000000e+00 | Inf
1381.47/1381.94 c 1173s| 2390k| 65728 | 9965k| 4.2 | 50M| 55 | - | 146 | 118 | 146 | 16 | 24 | 48k| 22k| 0.000000e+00 | 6.000000e+00 | Inf
1387.07/1387.52 c 1178s| 2400k| 65178 | 10004k| 4.2 | 50M| 55 | 6 | 146 | 129 | 146 | 16 | 24 | 48k| 22k| 0.000000e+00 | 6.000000e+00 | Inf
1392.56/1393.08 c 1182s| 2410k| 64849 | 10045k| 4.2 | 50M| 55 | - | 146 | 133 | 146 | 16 | 24 | 48k| 22k| 0.000000e+00 | 6.000000e+00 | Inf
1398.16/1398.61 c 1187s| 2420k| 64914 | 10087k| 4.2 | 50M| 55 | 6 | 146 | 139 | 146 | 16 | 24 | 48k| 22k| 0.000000e+00 | 6.000000e+00 | Inf
1403.86/1404.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1403.86/1404.38 c 1192s| 2430k| 66620 | 10129k| 4.2 | 51M| 55 | 6 | 146 | 127 | 146 | 16 | 24 | 49k| 22k| 0.000000e+00 | 6.000000e+00 | Inf
1409.46/1409.92 c 1197s| 2440k| 67097 | 10169k| 4.2 | 51M| 55 | - | 146 | 127 | 146 | 16 | 24 | 49k| 23k| 0.000000e+00 | 6.000000e+00 | Inf
1414.96/1415.49 c 1201s| 2450k| 67183 | 10210k| 4.2 | 51M| 55 | 6 | 146 | 122 | 146 | 16 | 24 | 49k| 23k| 0.000000e+00 | 6.000000e+00 | Inf
1420.56/1421.03 c 1206s| 2460k| 67682 | 10250k| 4.2 | 52M| 55 | 6 | 146 | 134 | 146 | 16 | 24 | 49k| 23k| 0.000000e+00 | 6.000000e+00 | Inf
1426.06/1426.58 c 1211s| 2470k| 67654 | 10290k| 4.2 | 52M| 55 | - | 146 | 123 | 146 | 16 | 24 | 49k| 23k| 0.000000e+00 | 6.000000e+00 | Inf
1431.66/1432.13 c 1215s| 2480k| 67808 | 10331k| 4.2 | 52M| 55 | - | 146 | 133 | 0 | 0 | 24 | 50k| 23k| 0.000000e+00 | 6.000000e+00 | Inf
1437.16/1437.68 c 1220s| 2490k| 67581 | 10370k| 4.2 | 52M| 55 | 6 | 146 | 137 | 146 | 16 | 24 | 50k| 23k| 0.000000e+00 | 6.000000e+00 | Inf
1442.76/1443.24 c 1225s| 2500k| 67507 | 10410k| 4.2 | 52M| 55 | - | 146 | 131 | 146 | 16 | 24 | 50k| 23k| 0.000000e+00 | 6.000000e+00 | Inf
1448.36/1448.81 c 1230s| 2510k| 67348 | 10451k| 4.2 | 52M| 55 | - | 146 | 138 | 146 | 16 | 24 | 50k| 23k| 0.000000e+00 | 6.000000e+00 | Inf
1453.85/1454.39 c 1234s| 2520k| 67640 | 10492k| 4.2 | 53M| 55 | 6 | 146 | 127 | 146 | 16 | 24 | 50k| 23k| 0.000000e+00 | 6.000000e+00 | Inf
1459.45/1459.95 c 1239s| 2530k| 67344 | 10533k| 4.2 | 53M| 55 | 6 | 146 | 138 | 146 | 16 | 24 | 51k| 23k| 0.000000e+00 | 6.000000e+00 | Inf
1464.95/1465.47 c 1244s| 2540k| 67596 | 10572k| 4.2 | 53M| 55 | - | 146 | 134 | 146 | 16 | 24 | 51k| 23k| 0.000000e+00 | 6.000000e+00 | Inf
1470.55/1471.02 c 1249s| 2550k| 67774 | 10612k| 4.2 | 53M| 55 | 6 | 146 | 130 | 146 | 16 | 24 | 51k| 23k| 0.000000e+00 | 6.000000e+00 | Inf
1476.04/1476.56 c 1253s| 2560k| 67812 | 10652k| 4.2 | 53M| 55 | 6 | 146 | 129 | 146 | 16 | 24 | 51k| 23k| 0.000000e+00 | 6.000000e+00 | Inf
1481.55/1482.09 c 1258s| 2570k| 67231 | 10691k| 4.2 | 53M| 55 | 6 | 146 | 120 | 146 | 16 | 24 | 51k| 23k| 0.000000e+00 | 6.000000e+00 | Inf
1487.24/1487.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1487.24/1487.79 c 1263s| 2580k| 65993 | 10731k| 4.2 | 52M| 55 | 6 | 146 | 111 | 146 | 16 | 24 | 52k| 23k| 0.000000e+00 | 6.000000e+00 | Inf
1492.84/1493.35 c 1268s| 2590k| 65628 | 10771k| 4.2 | 51M| 55 | - | 146 | 126 | 146 | 16 | 24 | 52k| 23k| 0.000000e+00 | 6.000000e+00 | Inf
1498.44/1498.93 c 1272s| 2600k| 65491 | 10812k| 4.2 | 51M| 55 | 6 | 146 | 128 | 146 | 16 | 24 | 52k| 23k| 0.000000e+00 | 6.000000e+00 | Inf
1504.04/1504.57 c 1277s| 2610k| 64849 | 10853k| 4.2 | 51M| 55 | - | 146 | 117 | 146 | 16 | 24 | 52k| 23k| 0.000000e+00 | 6.000000e+00 | Inf
1509.63/1510.14 c 1282s| 2620k| 64568 | 10894k| 4.2 | 50M| 55 | - | 146 | 128 | 146 | 16 | 24 | 52k| 23k| 0.000000e+00 | 6.000000e+00 | Inf
1515.24/1515.77 c 1287s| 2630k| 64491 | 10936k| 4.2 | 50M| 55 | 6 | 146 | 117 | 146 | 16 | 24 | 52k| 23k| 0.000000e+00 | 6.000000e+00 | Inf
1520.74/1521.27 c 1291s| 2640k| 64255 | 10976k| 4.2 | 50M| 55 | 6 | 146 | 118 | 146 | 16 | 24 | 52k| 23k| 0.000000e+00 | 6.000000e+00 | Inf
1526.23/1526.70 c 1296s| 2650k| 64473 | 11016k| 4.2 | 50M| 55 | 6 | 146 | 142 | 146 | 16 | 24 | 53k| 24k| 0.000000e+00 | 6.000000e+00 | Inf
1531.73/1532.27 c 1301s| 2660k| 64588 | 11056k| 4.2 | 50M| 55 | - | 146 | 127 | 146 | 16 | 24 | 53k| 24k| 0.000000e+00 | 6.000000e+00 | Inf
1537.34/1537.83 c 1306s| 2670k| 65622 | 11097k| 4.2 | 51M| 55 | 6 | 146 | 116 | 146 | 16 | 24 | 53k| 24k| 0.000000e+00 | 6.000000e+00 | Inf
1542.83/1543.39 c 1310s| 2680k| 66234 | 11139k| 4.2 | 51M| 55 | - | 146 | 121 | 0 | 0 | 24 | 53k| 24k| 0.000000e+00 | 6.000000e+00 | Inf
1548.42/1548.97 c 1315s| 2690k| 66591 | 11181k| 4.2 | 52M| 55 | 6 | 146 | 128 | 146 | 16 | 24 | 53k| 24k| 0.000000e+00 | 6.000000e+00 | Inf
1554.02/1554.51 c 1320s| 2700k| 66848 | 11221k| 4.2 | 52M| 55 | 6 | 146 | 124 | 146 | 16 | 24 | 54k| 24k| 0.000000e+00 | 6.000000e+00 | Inf
1559.53/1560.08 c 1324s| 2710k| 66683 | 11262k| 4.2 | 52M| 55 | - | 146 | 122 | 146 | 16 | 24 | 54k| 24k| 0.000000e+00 | 6.000000e+00 | Inf
1565.12/1565.61 c 1329s| 2720k| 66674 | 11303k| 4.2 | 52M| 55 | - | 146 | 127 | 146 | 16 | 24 | 54k| 24k| 0.000000e+00 | 6.000000e+00 | Inf
1570.62/1571.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1570.62/1571.13 c 1334s| 2730k| 66467 | 11344k| 4.2 | 52M| 55 | 6 | 146 | 121 | 146 | 16 | 24 | 54k| 24k| 0.000000e+00 | 6.000000e+00 | Inf
1576.12/1576.69 c 1339s| 2740k| 66312 | 11385k| 4.2 | 52M| 55 | - | 146 | 125 | 146 | 16 | 24 | 55k| 24k| 0.000000e+00 | 6.000000e+00 | Inf
1581.72/1582.26 c 1343s| 2750k| 65889 | 11425k| 4.2 | 52M| 55 | - | 146 | 127 | 0 | 0 | 24 | 55k| 24k| 0.000000e+00 | 6.000000e+00 | Inf
1587.32/1587.86 c 1348s| 2760k| 66467 | 11467k| 4.2 | 53M| 55 | 6 | 146 | 120 | 146 | 16 | 24 | 55k| 24k| 0.000000e+00 | 6.000000e+00 | Inf
1592.82/1593.36 c 1353s| 2770k| 66575 | 11508k| 4.2 | 53M| 55 | 6 | 146 | 124 | 146 | 16 | 24 | 55k| 24k| 0.000000e+00 | 6.000000e+00 | Inf
1598.41/1598.94 c 1357s| 2780k| 66015 | 11549k| 4.2 | 53M| 55 | 6 | 146 | 114 | 146 | 16 | 24 | 55k| 24k| 0.000000e+00 | 6.000000e+00 | Inf
1604.01/1604.57 c 1362s| 2790k| 64679 | 11588k| 4.2 | 51M| 55 | - | 146 | 116 | 146 | 16 | 24 | 56k| 24k| 0.000000e+00 | 6.000000e+00 | Inf
1609.61/1610.14 c 1367s| 2800k| 64403 | 11629k| 4.2 | 51M| 55 | 6 | 146 | 135 | 146 | 16 | 24 | 56k| 24k| 0.000000e+00 | 6.000000e+00 | Inf
1615.32/1615.82 c 1372s| 2810k| 64529 | 11671k| 4.2 | 51M| 55 | - | 146 | 143 | 146 | 16 | 24 | 56k| 24k| 0.000000e+00 | 6.000000e+00 | Inf
1620.82/1621.39 c 1376s| 2820k| 64369 | 11712k| 4.2 | 51M| 55 | - | 146 | 138 | 146 | 16 | 24 | 56k| 24k| 0.000000e+00 | 6.000000e+00 | Inf
1626.42/1626.94 c 1381s| 2830k| 64039 | 11752k| 4.2 | 51M| 55 | 6 | 146 | 146 | 146 | 16 | 24 | 56k| 24k| 0.000000e+00 | 6.000000e+00 | Inf
1632.00/1632.59 c 1386s| 2840k| 64154 | 11794k| 4.2 | 51M| 55 | 6 | 146 | 131 | 146 | 16 | 24 | 57k| 24k| 0.000000e+00 | 6.000000e+00 | Inf
1637.60/1638.14 c 1391s| 2850k| 64139 | 11835k| 4.2 | 51M| 55 | - | 146 | 129 | 146 | 16 | 24 | 57k| 24k| 0.000000e+00 | 6.000000e+00 | Inf
1643.19/1643.77 c 1395s| 2860k| 64116 | 11876k| 4.2 | 51M| 55 | - | 146 | 135 | 146 | 16 | 24 | 57k| 24k| 0.000000e+00 | 6.000000e+00 | Inf
1648.89/1649.43 c 1400s| 2870k| 63998 | 11917k| 4.2 | 51M| 55 | - | 146 | 133 | 0 | 0 | 24 | 57k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1654.49/1655.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1654.49/1655.03 c 1405s| 2880k| 64609 | 11960k| 4.2 | 51M| 55 | 6 | 146 | 136 | 146 | 16 | 24 | 57k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1660.09/1660.62 c 1410s| 2890k| 65014 | 12002k| 4.2 | 52M| 55 | 6 | 146 | 133 | 146 | 16 | 24 | 58k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1665.59/1666.14 c 1414s| 2900k| 65116 | 12044k| 4.2 | 52M| 55 | 6 | 146 | 127 | 146 | 16 | 24 | 58k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1671.09/1671.69 c 1419s| 2910k| 65040 | 12087k| 4.2 | 52M| 55 | 6 | 146 | 134 | 146 | 16 | 24 | 58k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1676.69/1677.25 c 1424s| 2920k| 65466 | 12129k| 4.2 | 52M| 55 | - | 146 | 136 | 146 | 16 | 24 | 58k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1682.19/1682.78 c 1428s| 2930k| 65322 | 12170k| 4.2 | 52M| 55 | - | 146 | 129 | 146 | 16 | 24 | 58k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1687.78/1688.34 c 1433s| 2940k| 65213 | 12212k| 4.2 | 52M| 55 | 6 | 146 | 124 | 146 | 16 | 24 | 58k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1693.28/1693.89 c 1438s| 2950k| 65027 | 12254k| 4.2 | 52M| 55 | - | 146 | 136 | 146 | 16 | 24 | 58k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1698.99/1699.52 c 1443s| 2960k| 65373 | 12296k| 4.2 | 53M| 55 | - | 146 | 128 | 146 | 16 | 24 | 59k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1704.57/1705.14 c 1447s| 2970k| 65295 | 12337k| 4.2 | 53M| 55 | 6 | 146 | 141 | 146 | 16 | 24 | 59k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1710.07/1710.65 c 1452s| 2980k| 65729 | 12376k| 4.2 | 53M| 55 | 6 | 146 | 135 | 146 | 16 | 24 | 59k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1715.58/1716.13 c 1457s| 2990k| 65289 | 12415k| 4.2 | 53M| 55 | - | 146 | 143 | 146 | 16 | 24 | 59k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1721.17/1721.72 c 1461s| 3000k| 64499 | 12456k| 4.2 | 52M| 55 | - | 146 | 134 | 146 | 16 | 24 | 59k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1726.67/1727.25 c 1466s| 3010k| 64660 | 12497k| 4.2 | 52M| 55 | - | 146 | 134 | 146 | 16 | 24 | 60k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1732.28/1732.86 c 1471s| 3020k| 64027 | 12538k| 4.2 | 52M| 55 | 6 | 146 | 135 | 146 | 16 | 24 | 60k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1737.97/1738.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1737.97/1738.50 c 1476s| 3030k| 64189 | 12580k| 4.2 | 52M| 55 | 6 | 146 | 143 | 146 | 16 | 24 | 60k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1743.67/1744.29 c 1481s| 3040k| 65344 | 12623k| 4.2 | 53M| 55 | - | 146 | 138 | 146 | 16 | 24 | 60k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1749.27/1749.88 c 1485s| 3050k| 66912 | 12664k| 4.2 | 54M| 55 | - | 146 | 133 | 146 | 16 | 24 | 60k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1754.97/1755.55 c 1490s| 3060k| 68229 | 12705k| 4.2 | 54M| 55 | 6 | 146 | 127 | 146 | 16 | 24 | 61k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1760.57/1761.17 c 1495s| 3070k| 69242 | 12746k| 4.2 | 55M| 55 | 6 | 146 | 139 | 146 | 16 | 24 | 61k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1766.07/1766.68 c 1499s| 3080k| 69987 | 12786k| 4.2 | 56M| 55 | 6 | 146 | 139 | 146 | 16 | 24 | 61k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1771.75/1772.33 c 1504s| 3090k| 71309 | 12827k| 4.2 | 57M| 55 | 6 | 146 | 128 | 146 | 16 | 24 | 61k| 25k| 0.000000e+00 | 6.000000e+00 | Inf
1777.25/1777.88 c 1509s| 3100k| 72032 | 12868k| 4.2 | 57M| 55 | - | 146 | 131 | 146 | 16 | 24 | 62k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1782.76/1783.40 c 1514s| 3110k| 72677 | 12908k| 4.2 | 58M| 55 | 6 | 146 | 123 | 146 | 16 | 24 | 62k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1788.36/1788.96 c 1518s| 3120k| 73471 | 12950k| 4.2 | 58M| 55 | - | 146 | 137 | 146 | 16 | 24 | 62k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1793.95/1794.58 c 1523s| 3130k| 74453 | 12991k| 4.2 | 59M| 55 | 6 | 146 | 130 | 146 | 16 | 24 | 62k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1799.55/1800.18 c 1528s| 3140k| 74907 | 13032k| 4.2 | 59M| 55 | - | 146 | 136 | 146 | 16 | 24 | 62k| 26k| 0.000000e+00 | 6.000000e+00 | Inf
1800.07/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.61 c
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time (sec) : 1528.39
1800.07/1800.61 c Solving Nodes : 3140793
1800.07/1800.61 c Primal Bound : +6.00000000000006e+00 (42 solutions)
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 s SATISFIABLE
1800.07/1800.61 v x146 -x145 x144 -x143 x142 -x141 x140 x139 -x138 -x137 -x136 x135 x134 -x133 x132 x131 -x130 x129 x128 x127 x126 -x125 x124 -x123
1800.07/1800.61 v -x122 x121 x120 -x119 -x118 -x117 -x116 x115 x114 x113 x112 -x111 x110 -x109 -x108 x107 -x106 -x105 -x104 x103 x102 -x101
1800.07/1800.61 v -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75
1800.07/1800.61 v -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50
1800.07/1800.61 v -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25
1800.07/1800.61 v -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1
1800.07/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.61 c Solving Time : 1528.39
1800.07/1800.61 c Original Problem :
1800.07/1800.61 c Problem name : HOME/instance-2665663-1276600648.opb
1800.07/1800.61 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 12 initial, 12 maximal
1800.07/1800.61 c Presolved Problem :
1800.07/1800.61 c Problem name : t_HOME/instance-2665663-1276600648.opb
1800.07/1800.61 c Variables : 146 (146 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.61 c Constraints : 6 initial, 339 maximal
1800.07/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.61 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c probing : 0.01 0 0 0 0 0 0 0 0
1800.07/1800.61 c linear : 0.00 0 0 0 0 0 6 0 0
1800.07/1800.61 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.61 c root node : - 60 - - 60 - - - -
1800.07/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c integral : 0 0 0 1625682 0 406 8823 0 0 3233030
1800.07/1800.61 c linear : 6+ 7 4077540 0 0 506689 3280462 0 0 0
1800.07/1800.61 c logicor : 0+ 0 1499768 0 0 1887 25210 0 0 0
1800.07/1800.61 c countsols : 0 0 0 23 0 0 0 0 0 0
1800.07/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.61 c integral : 28.12 0.00 0.00 28.12 0.00
1800.07/1800.61 c linear : 278.24 0.00 278.24 0.00 0.00
1800.07/1800.61 c logicor : 6.70 0.00 6.70 0.00 0.00
1800.07/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.61 c vbounds : 2.14 2 0 0
1800.07/1800.61 c rootredcost : 1.95 35 0 60
1800.07/1800.61 c pseudoobj : 32.24 4082621 5257 158464
1800.07/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.61 c propagation : 31.60 513791 40963 54706 46.8 14 31.1 -
1800.07/1800.61 c infeasible LP : 1.58 21062 21000 25135 24.6 1 26.0 0
1800.07/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.61 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.07/1800.61 c applied globally : - - - 20580 21.1 - - -
1800.07/1800.61 c applied locally : - - - 42403 46.5 - - -
1800.07/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.61 c cut pool : 0.00 5 - - 7 - (maximal pool size: 74)
1800.07/1800.61 c redcost : 40.85 2049165 0 9156304 0 0
1800.07/1800.61 c impliedbounds : 0.00 6 0 0 0 0
1800.07/1800.61 c intobj : 0.00 0 0 0 0 0
1800.07/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.61 c gomory : 0.01 6 0 0 0 0
1800.07/1800.61 c strongcg : 0.01 6 0 0 43 0
1800.07/1800.61 c cmir : 0.03 6 0 0 16 0
1800.07/1800.61 c flowcover : 0.05 6 0 0 30 0
1800.07/1800.61 c clique : 0.00 1 0 0 0 0
1800.07/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.61 c mcf : 0.00 1 0 0 0 0
1800.07/1800.61 c rapidlearning : 0.10 1 0 0 0 42
1800.07/1800.61 c Pricers : Time Calls Vars
1800.07/1800.61 c problem variables: 0.00 0 0
1800.07/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.61 c relpscost : 25.35 1625659 406 8823 0 0 3233030
1800.07/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.61 c inference : 0.00 0 0 0 0 0 0
1800.07/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.61 c random : 0.00 0 0 0 0 0 0
1800.07/1800.61 c Primal Heuristics : Time Calls Found
1800.07/1800.61 c LP solutions : 0.05 - 23
1800.07/1800.61 c pseudo solutions : 0.00 - 0
1800.07/1800.61 c feaspump : 0.50 1 0
1800.07/1800.61 c oneopt : 2.04 33 0
1800.07/1800.61 c crossover : 13.91 11 1
1800.07/1800.61 c fracdiving : 4.96 1866 1
1800.07/1800.61 c linesearchdiving : 4.10 1866 2
1800.07/1800.61 c veclendiving : 4.13 1867 1
1800.07/1800.61 c guideddiving : 4.23 1867 2
1800.07/1800.61 c coefdiving : 7.25 1867 1
1800.07/1800.61 c pscostdiving : 5.22 1867 4
1800.07/1800.61 c rootsoldiving : 3.61 934 4
1800.07/1800.61 c objpscostdiving : 1.59 934 0
1800.07/1800.61 c trivial : 0.00 2 0
1800.07/1800.61 c simplerounding : 1.52 0 0
1800.07/1800.61 c zirounding : 1.58 1000 0
1800.07/1800.61 c rounding : 2.27 19480 0
1800.07/1800.61 c shifting : 6.70 8323 2
1800.07/1800.61 c intshifting : 0.13 0 0
1800.07/1800.61 c twoopt : 0.00 0 0
1800.07/1800.61 c fixandinfer : 0.00 0 0
1800.07/1800.61 c intdiving : 0.00 0 0
1800.07/1800.61 c actconsdiving : 0.00 0 0
1800.07/1800.61 c octane : 0.00 0 0
1800.07/1800.61 c rens : 0.03 1 0
1800.07/1800.61 c rins : 0.00 0 0
1800.07/1800.61 c localbranching : 0.00 0 0
1800.07/1800.61 c mutation : 0.00 0 0
1800.07/1800.61 c dins : 0.00 0 0
1800.07/1800.61 c undercover : 0.00 0 0
1800.07/1800.61 c nlp : 1.29 0 0
1800.07/1800.61 c trysol : 2.29 0 0
1800.07/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.61 c dual LP : 806.57 2926432 12782278 4.37 15847.70
1800.07/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.61 c diving/probing LP: 20.42 96282 253207 2.63 12399.95
1800.07/1800.61 c strong branching : 8.89 26177 86879 3.32 9772.67
1800.07/1800.61 c (at root node) : - 9 289 32.11 -
1800.07/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.61 c B&B Tree :
1800.07/1800.61 c number of runs : 1
1800.07/1800.61 c nodes : 3140793
1800.07/1800.61 c nodes (total) : 3140793
1800.07/1800.61 c nodes left : 74954
1800.07/1800.61 c max depth : 55
1800.07/1800.61 c max depth (total): 55
1800.07/1800.61 c backtracks : 785465 (25.0%)
1800.07/1800.61 c delayed cutoffs : 9113
1800.07/1800.61 c repropagations : 36205 (61862 domain reductions, 8842 cutoffs)
1800.07/1800.61 c avg switch length: 4.86
1800.07/1800.61 c switching time : 82.97
1800.07/1800.61 c Solution :
1800.07/1800.61 c Solutions found : 42 (35 improvements)
1800.07/1800.61 c First Solution : +1.19900000000000e+03 (in run 1, after 1 nodes, 0.12 seconds, depth 0, found by <trysol>)
1800.07/1800.61 c Primal Bound : +6.00000000000006e+00 (in run 1, after 138728 nodes, 89.88 seconds, depth 36, found by <relaxation>)
1800.07/1800.61 c Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Gap : infinite
1800.07/1800.61 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.61 c Root Iterations : 106
1800.35/1800.94 c Time complete: 1800.4.
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665663-1276600648/watcher-2665663-1276600648 -o /tmp/evaluation-result-2665663-1276600648/solver-2665663-1276600648 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665663-1276600648.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.06 1.03 1.00 3/106 9339
/proc/meminfo: memFree=1812164/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=9288 CPUtime=0
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 1049 0 0 0 0 0 0 0 18 0 1 0 1357167 9510912 969 1992294400 4194304 9819077 140735396217392 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9339/statm: 2322 978 371 1374 0 943 0
[startup+0.0280631 s]
/proc/loadavg: 1.06 1.03 1.00 3/106 9339
/proc/meminfo: memFree=1812164/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=12804 CPUtime=0.02
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 2606 0 0 0 1 1 0 0 18 0 1 0 1357167 13111296 1916 1992294400 4194304 9819077 140735396217392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 3201 1916 498 1374 0 1822 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12804
[startup+0.101069 s]
/proc/loadavg: 1.06 1.03 1.00 3/106 9339
/proc/meminfo: memFree=1812164/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=22432 CPUtime=0.09
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 4957 0 0 0 7 2 0 0 21 0 1 0 1357167 22970368 4000 1992294400 4194304 9819077 140735396217392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 5608 4000 673 1374 0 4229 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22432
[startup+0.301086 s]
/proc/loadavg: 1.06 1.03 1.00 3/106 9339
/proc/meminfo: memFree=1812164/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=24388 CPUtime=0.29
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 8487 0 0 0 26 3 0 0 21 0 1 0 1357167 24973312 4393 1992294400 4194304 9819077 140735396217392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 6097 4393 714 1374 0 4718 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24388
[startup+0.70112 s]
/proc/loadavg: 1.06 1.03 1.00 3/106 9339
/proc/meminfo: memFree=1812164/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=17224 CPUtime=0.69
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 16673 0 0 0 58 11 0 0 22 0 1 0 1357167 17637376 2872 1992294400 4194304 9819077 140735396217392 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 4306 2872 724 1374 0 2927 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17224
[startup+1.50119 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 9340
/proc/meminfo: memFree=1802856/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=16424 CPUtime=1.49
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 25234 0 0 0 129 20 0 0 25 0 1 0 1357167 16818176 2869 1992294400 4194304 9819077 140735396217392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 3906 2865 725 1374 0 2527 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16424
[startup+3.10133 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 9340
/proc/meminfo: memFree=1802484/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=17648 CPUtime=3.09
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 45339 0 0 0 266 43 0 0 25 0 1 0 1357167 18071552 3105 1992294400 4194304 9819077 140735396217392 18446744073709551615 6377824 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 4412 3105 725 1374 0 3033 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17648
[startup+6.3016 s]
/proc/loadavg: 1.05 1.03 1.00 2/107 9340
/proc/meminfo: memFree=1799880/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=19308 CPUtime=6.29
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 79147 0 0 0 544 85 0 0 25 0 1 0 1357167 19771392 3556 1992294400 4194304 9819077 140735396217392 18446744073709551615 7816519 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 4827 3556 725 1374 0 3448 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19308
[startup+12.7012 s]
/proc/loadavg: 1.05 1.03 1.00 2/107 9340
/proc/meminfo: memFree=1797772/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=21632 CPUtime=12.68
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 148519 0 0 0 1091 177 0 0 25 0 1 0 1357167 22151168 4149 1992294400 4194304 9819077 140735396217392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 5408 4149 725 1374 0 4029 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21632
[startup+25.5013 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 9342
/proc/meminfo: memFree=1793556/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=25492 CPUtime=25.48
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 297187 0 0 0 2182 366 0 0 25 0 1 0 1357167 26103808 5147 1992294400 4194304 9819077 140735396217392 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 6253 5143 725 1374 0 4874 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25492
[startup+51.1005 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 9342
/proc/meminfo: memFree=1784008/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=34472 CPUtime=51.06
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 589842 0 0 0 4368 738 0 0 25 0 1 0 1357167 35299328 7418 1992294400 4194304 9819077 140735396217392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 8618 7418 727 1374 0 7239 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 34472
[startup+102.308 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 9344
/proc/meminfo: memFree=1776816/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=41336 CPUtime=102.26
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 1160029 0 0 0 8748 1478 0 0 25 0 1 0 1357167 42328064 9208 1992294400 4194304 9819077 140735396217392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 10334 9208 727 1374 0 8955 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 41336
[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 9344
/proc/meminfo: memFree=1775948/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=42696 CPUtime=162.23
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 1886611 0 0 0 13830 2393 0 0 25 0 1 0 1357167 43720704 9548 1992294400 4194304 9819077 140735396217392 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 10674 9548 727 1374 0 9295 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 42696
[startup+222.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 9346
/proc/meminfo: memFree=1775452/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=42696 CPUtime=222.21
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 2586747 0 0 0 18937 3284 0 0 25 0 1 0 1357167 43720704 9548 1992294400 4194304 9819077 140735396217392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 10674 9548 727 1374 0 9295 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 42696
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9348
/proc/meminfo: memFree=1775328/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=42696 CPUtime=282.2
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 3303485 0 0 0 24013 4207 0 0 25 0 1 0 1357167 43720704 9548 1992294400 4194304 9819077 140735396217392 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 10674 9548 727 1374 0 9295 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 42696
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9350
/proc/meminfo: memFree=1771360/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=47244 CPUtime=342.17
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 3989363 0 0 0 29121 5096 0 0 25 0 1 0 1357167 48377856 10693 1992294400 4194304 9819077 140735396217392 18446744073709551615 6367477 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 11811 10693 727 1374 0 10432 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 47244
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9352
/proc/meminfo: memFree=1767888/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=50296 CPUtime=402.15
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 4682753 0 0 0 34199 6016 0 0 25 0 1 0 1357167 51503104 11468 1992294400 4194304 9819077 140735396217392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 12574 11468 727 1374 0 11195 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 50296
[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9352
/proc/meminfo: memFree=1765284/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=52884 CPUtime=462.13
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 5373565 0 0 0 39293 6920 0 0 25 0 1 0 1357167 54153216 12124 1992294400 4194304 9819077 140735396217392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 13221 12124 727 1374 0 11842 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 52884
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9354
/proc/meminfo: memFree=1763548/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=54568 CPUtime=522.11
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 6067370 0 0 0 44401 7810 0 0 25 0 1 0 1357167 55877632 12554 1992294400 4194304 9819077 140735396217392 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 13642 12554 727 1374 0 12263 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 54568
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9356
/proc/meminfo: memFree=1752760/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=57272 CPUtime=582.1
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 6777315 0 0 0 49471 8739 0 0 25 0 1 0 1357167 58646528 13271 1992294400 4194304 9819077 140735396217392 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 14318 13271 727 1374 0 12939 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 57272
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9358
/proc/meminfo: memFree=1757348/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=62016 CPUtime=642.09
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 7471169 0 0 0 54563 9646 0 0 25 0 1 0 1357167 63504384 14015 1992294400 4194304 9819077 140735396217392 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 15544 14016 727 1374 0 14165 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 62016
[startup+702.301 s]
################
# More data... #
################
[startup+942.301 s]
/proc/loadavg: 1.09 1.04 1.01 2/107 9369
/proc/meminfo: memFree=1749040/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=68472 CPUtime=942
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 10946205 0 0 0 80022 14178 0 0 25 0 1 0 1357167 70115328 15775 1992294400 4194304 9819077 140735396217392 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 17358 15780 727 1374 0 15979 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 68472
[startup+1002.3 s]
/proc/loadavg: 1.08 1.04 1.01 2/107 9371
/proc/meminfo: memFree=1748544/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=70024 CPUtime=1001.97
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 11644396 0 0 0 85109 15088 0 0 25 0 1 0 1357167 71704576 15918 1992294400 4194304 9819077 140735396217392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 17506 15918 727 1374 0 16127 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 70024
[startup+1062.3 s]
/proc/loadavg: 1.12 1.06 1.01 2/107 9371
/proc/meminfo: memFree=1747800/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=70224 CPUtime=1061.96
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 12339433 0 0 0 90188 16008 0 0 25 0 1 0 1357167 71909376 16010 1992294400 4194304 9819077 140735396217392 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 17556 16010 727 1374 0 16177 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 70224
[startup+1122.3 s]
/proc/loadavg: 1.13 1.08 1.02 2/107 9373
/proc/meminfo: memFree=1747428/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=71028 CPUtime=1121.94
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 13028559 0 0 0 95284 16910 0 0 25 0 1 0 1357167 72732672 16198 1992294400 4194304 9819077 140735396217392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 17757 16198 727 1374 0 16378 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 71028
[startup+1182.3 s]
/proc/loadavg: 1.05 1.06 1.01 2/107 9375
/proc/meminfo: memFree=1747180/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=71344 CPUtime=1181.92
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 13723725 0 0 0 100376 17816 0 0 25 0 1 0 1357167 73056256 16256 1992294400 4194304 9819077 140735396217392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 17836 16256 727 1374 0 16457 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 71344
[startup+1242.3 s]
/proc/loadavg: 1.02 1.05 1.01 2/107 9377
/proc/meminfo: memFree=1746808/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=71568 CPUtime=1241.91
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 14431373 0 0 0 105447 18744 0 0 25 0 1 0 1357167 73285632 16312 1992294400 4194304 9819077 140735396217392 18446744073709551615 4978487 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 17892 16312 727 1374 0 16513 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 71568
[startup+1302.3 s]
/proc/loadavg: 1.00 1.04 1.00 2/107 9379
/proc/meminfo: memFree=1745320/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=72948 CPUtime=1301.9
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 15123446 0 0 0 110524 19666 0 0 25 0 1 0 1357167 74698752 16669 1992294400 4194304 9819077 140735396217392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 18237 16669 727 1374 0 16858 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 72948
[startup+1362.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 9379
/proc/meminfo: memFree=1744080/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=73368 CPUtime=1361.88
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 15816248 0 0 0 115623 20565 0 0 25 0 1 0 1357167 75128832 16948 1992294400 4194304 9819077 140735396217392 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 18502 16952 727 1374 0 17123 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 73368
[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 9381
/proc/meminfo: memFree=1743336/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=74664 CPUtime=1421.87
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 16507180 0 0 0 120715 21472 0 0 25 0 1 0 1357167 76455936 17111 1992294400 4194304 9819077 140735396217392 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 18706 17112 727 1374 0 17327 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 74664
[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 9383
/proc/meminfo: memFree=1742468/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=75648 CPUtime=1481.84
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 17195511 0 0 0 125826 22358 0 0 25 0 1 0 1357167 77463552 17318 1992294400 4194304 9819077 140735396217392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 18912 17318 727 1374 0 17533 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 75648
[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 9385
/proc/meminfo: memFree=1742220/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=75812 CPUtime=1541.83
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 17888266 0 0 0 130932 23251 0 0 25 0 1 0 1357167 77631488 17361 1992294400 4194304 9819077 140735396217392 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 18953 17361 727 1374 0 17574 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 75812
[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9387
/proc/meminfo: memFree=1741972/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=75836 CPUtime=1601.81
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 18581025 0 0 0 136024 24157 0 0 25 0 1 0 1357167 77656064 17405 1992294400 4194304 9819077 140735396217392 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 18999 17406 727 1374 0 17620 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 75836
[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9387
/proc/meminfo: memFree=1741600/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=75692 CPUtime=1661.79
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 19267478 0 0 0 141117 25062 0 0 25 0 1 0 1357167 77508608 17448 1992294400 4194304 9819077 140735396217392 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 19043 17451 727 1374 0 17664 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 75692
[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9389
/proc/meminfo: memFree=1741352/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=76372 CPUtime=1721.77
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 19961625 0 0 0 146191 25986 0 0 25 0 1 0 1357167 78204928 17504 1992294400 4194304 9819077 140735396217392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 19093 17504 727 1374 0 17714 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 76372
[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9391
/proc/meminfo: memFree=1737384/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=79844 CPUtime=1781.75
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 20639502 0 0 0 151275 26900 0 0 25 0 1 0 1357167 81760256 18383 1992294400 4194304 9819077 140735396217392 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 19801 18379 727 1374 0 18422 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 79844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9391
/proc/meminfo: memFree=1736020/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=81204 CPUtime=1800.07
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 20846312 0 0 0 152839 27168 0 0 25 0 1 0 1357167 83152896 18734 1992294400 4194304 9819077 140735396217392 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9339/statm: 20301 18734 727 1374 0 18922 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 81204
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9391
/proc/meminfo: memFree=1736020/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=81204 CPUtime=1800.25
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 20846313 0 0 0 152857 27168 0 0 25 0 1 0 1357167 83152896 18735 1992294400 4194304 9819077 140735396217392 18446744073709551615 4615481 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9339/statm: 20301 18735 728 1374 0 18922 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 81204
[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9391
/proc/meminfo: memFree=1736020/2059040 swapFree=4165000/4192956
[pid=9339] ppid=9337 vsize=81204 CPUtime=1800.35
/proc/9339/stat : 9339 (pbscip.linux.x8) R 9337 9339 2331 0 -1 4202496 20846313 0 0 0 152867 27168 0 0 25 0 1 0 1357167 83152896 18735 1992294400 4194304 9819077 140735396217392 18446744073709551615 4616445 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/9339/statm: 20301 18735 728 1374 0 18922 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 81204
Child status: 0
Real time (s): 1800.94
CPU time (s): 1800.4
CPU user time (s): 1528.71
CPU system time (s): 271.693
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 81204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1528.71
system time used= 271.693
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20846317
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 5784
runsolver used 3.24751 second user time and 8.25574 second system time
The end