Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | SAT (TO) | 6 | 1800.4 | 1800.94 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_1.opb |
| MD5SUM | cdfa46b59876181d5d89fd18757b8cfb |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 1790.14 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 5 |
| Optimality of the best value was proved | NO |
| Number of variables | 146 |
| Total number of constraints | 12 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 12 |
| Minimum length of a constraint | 66 |
| Maximum length of a constraint | 66 |
| Number of terms in the objective function | 96 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 3060 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1273 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4329 |
| Number of bits of the biggest sum of numbers | 13 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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.
OK 6
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
Begin job on node043 at 2010-06-15 13:17:28 IDJOB=2665663 IDBENCH=2902 IDSOLVER=1168 FILE ID=node043/2665663-1276600648 PBS_JOBID= 11173568 Free space on /tmp= 62296 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER 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 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cdfa46b59876181d5d89fd18757b8cfb RANDOM SEED=2119246223 node043.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.241 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.241 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.37 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1812692 kB Buffers: 19316 kB Cached: 130060 kB SwapCached: 1408 kB Active: 75136 kB Inactive: 107196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1812692 kB SwapTotal: 4192956 kB SwapFree: 4165000 kB Dirty: 6216 kB Writeback: 0 kB AnonPages: 31476 kB Mapped: 15440 kB Slab: 42172 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182400 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62288 MiB End job on node043 at 2010-06-15 13:47:30