Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | 17 | 1802.15 | 1802.78 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb |
| MD5SUM | 0263d0a7c5e3320bd7cce9534c14bf27 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 17 |
| Best CPU time to get the best result obtained on this benchmark | 1792.56 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 32 |
| Optimality of the best value was proved | NO |
| Number of variables | 198 |
| Total number of constraints | 16 |
| 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 | 16 |
| Minimum length of a constraint | 85 |
| Maximum length of a constraint | 86 |
| Number of terms in the objective function | 128 |
| 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 | 4080 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1884 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6162 |
| 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: SoPlex 1.4.2] [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-2667083-1276615208.opb>
0.00/0.01 c original problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 16 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, 8 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.04 c (0.0s) probing: 101/198 (51.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.04 c presolving (2 rounds):
0.00/0.04 c 0 deleted vars, 8 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.04 c 0 implications, 0 cliques
0.00/0.04 c presolved problem has 198 variables (198 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.04 c 8 constraints of type <linear>
0.00/0.04 c transformed objective value is always integral (scale: 1)
0.00/0.04 c Presolving Time: 0.03
0.00/0.04 c - non default parameters ----------------------------------------------------------------------
0.00/0.04 c # SCIP version 1.2.1.2
0.00/0.04 c
0.00/0.04 c # frequency for displaying node information lines
0.00/0.04 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.04 c display/freq = 10000
0.00/0.04 c
0.00/0.04 c # maximal time in seconds to run
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/time = 1800
0.00/0.04 c
0.00/0.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.04 c limits/memory = 1620
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify inequalities
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/linear/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # should presolving try to simplify knapsacks
0.00/0.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.04 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.04 c
0.00/0.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.04 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.04 c separating/rapidlearning/freq = 0
0.00/0.04 c
0.00/0.04 c -----------------------------------------------------------------------------------------------
0.00/0.04 c start solving
0.00/0.04 c
0.00/0.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.04 c 0.0s| 1 | 0 | 51 | - | 633k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 o 1044
0.09/0.18 c y 0.1s| 1 | 0 | 101 | - | 706k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 116 | - | 842k| 0 | 15 | 198 | 71 | 198 | 16 | 8 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.19/0.21 c 0.2s| 1 | 0 | 125 | - | 928k| 0 | 18 | 198 | 71 | 198 | 20 | 12 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.19/0.23 c 0.2s| 1 | 0 | 137 | - | 965k| 0 | 19 | 198 | 71 | 198 | 23 | 15 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.19/0.26 c 0.2s| 1 | 0 | 149 | - | 980k| 0 | 19 | 198 | 71 | 198 | 26 | 18 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.19/0.29 c 0.2s| 1 | 0 | 157 | - | 998k| 0 | 20 | 198 | 71 | 198 | 28 | 20 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.29/0.32 c 0.3s| 1 | 0 | 161 | - | 999k| 0 | 22 | 198 | 71 | 198 | 29 | 21 | 0 | 0 | 0.000000e+00 | 1.044000e+03 | Inf
0.39/0.42 c 0.4s| 1 | 2 | 161 | - | 999k| 0 | 22 | 198 | 71 | 198 | 29 | 21 | 0 | 14 | 0.000000e+00 | 1.044000e+03 | Inf
0.88/0.91 o 574
0.88/0.91 c g 0.8s| 181 | 182 | 2105 | 10.8 |1182k| 53 | - | 198 | 71 | 198 | 22 | 21 | 7 | 498 | 0.000000e+00 | 5.740000e+02 | Inf
1.29/1.37 o 415
1.29/1.37 c c 1.2s| 623 | 623 | 5071 | 7.9 |1376k| 53 | - | 198 | 71 | 198 | 22 | 21 | 18 | 570 | 0.000000e+00 | 4.150000e+02 | Inf
1.39/1.40 o 414
1.39/1.40 c * 1.3s| 654 | 646 | 5215 | 7.7 |1372k| 54 | - | 198 | 71 | 198 | 22 | 21 | 18 | 588 | 0.000000e+00 | 4.140000e+02 | Inf
1.39/1.40 o 412
1.39/1.40 c * 1.3s| 656 | 646 | 5215 | 7.7 |1375k| 55 | - | 198 | 71 | 198 | 22 | 21 | 18 | 592 | 0.000000e+00 | 4.120000e+02 | Inf
1.39/1.40 o 410
1.39/1.40 c * 1.3s| 657 | 645 | 5215 | 7.7 |1377k| 55 | - | 198 | 71 | 198 | 22 | 21 | 18 | 592 | 0.000000e+00 | 4.100000e+02 | Inf
1.39/1.44 o 289
1.39/1.44 c f 1.3s| 686 | 670 | 5423 | 7.7 |1418k| 55 | - | 198 | 71 | 198 | 22 | 21 | 18 | 592 | 0.000000e+00 | 2.890000e+02 | Inf
2.39/2.42 o 135
2.39/2.42 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
2.39/2.42 c c 2.2s| 1033 | 956 | 7355 | 7.0 |1539k| 57 | - | 198 | 71 | 198 | 22 | 21 | 26 | 656 | 0.000000e+00 | 1.350000e+02 | Inf
9.90/9.98 o 134
9.90/9.98 c * 9.2s| 7670 | 7512 | 56342 | 7.3 |4822k| 57 | - | 198 | 12 | 198 | 22 | 21 | 251 | 891 | 0.000000e+00 | 1.340000e+02 | Inf
12.28/12.35 c 11.4s| 10000 | 9828 | 72497 | 7.2 |5909k| 57 | 8 | 198 | 12 | 198 | 22 | 21 | 320 |1027 | 0.000000e+00 | 1.340000e+02 | Inf
13.98/14.09 o 77
13.98/14.09 c g13.1s| 12050 | 11612 | 84422 | 7.0 |6649k| 57 | - | 198 | 12 | 198 | 22 | 21 | 357 |1136 | 0.000000e+00 | 7.700000e+01 | Inf
20.68/20.70 o 76
20.68/20.70 c *19.2s| 19453 | 18494 |125932 | 6.5 |9984k| 57 | - | 198 | 9 | 198 | 22 | 21 | 505 |1538 | 0.000000e+00 | 7.600000e+01 | Inf
20.68/20.70 o 74
20.68/20.70 c *19.2s| 19455 | 18476 |125932 | 6.5 |9956k| 57 | - | 198 | 9 | 198 | 22 | 21 | 505 |1542 | 0.000000e+00 | 7.400000e+01 | Inf
21.08/21.13 c 19.6s| 20000 | 18985 |128607 | 6.4 | 10M| 57 | 8 | 198 | 9 | 198 | 22 | 21 | 511 |1561 | 0.000000e+00 | 7.400000e+01 | Inf
25.89/25.98 o 73
25.89/25.98 c *24.1s| 25750 | 24041 |160347 | 6.2 | 12M| 57 | - | 198 | 9 | 198 | 22 | 21 | 632 |1916 | 0.000000e+00 | 7.300000e+01 | Inf
30.58/30.60 o 72
30.58/30.60 c *28.4s| 29961 | 27654 |184523 | 6.2 | 15M| 57 | - | 198 | 9 | 198 | 22 | 21 | 747 |2186 | 0.000000e+00 | 7.200000e+01 | Inf
30.58/30.61 o 70
30.58/30.61 c *28.4s| 29962 | 27578 |184523 | 6.2 | 14M| 57 | - | 198 | 9 | 198 | 22 | 21 | 747 |2186 | 0.000000e+00 | 7.000000e+01 | Inf
30.58/30.67 c 28.5s| 30000 | 27610 |184882 | 6.2 | 14M| 57 | 8 | 198 | 9 | 198 | 22 | 21 | 753 |2188 | 0.000000e+00 | 7.000000e+01 | Inf
39.48/39.53 c 36.8s| 40000 | 35560 |243685 | 6.1 | 19M| 59 | 8 | 198 | 9 | 198 | 22 | 21 |1078 |2702 | 0.000000e+00 | 7.000000e+01 | Inf
48.18/48.24 c 44.9s| 50000 | 43639 |302061 | 6.0 | 24M| 59 | 8 | 198 | 9 | 198 | 22 | 21 |1383 |3131 | 0.000000e+00 | 7.000000e+01 | Inf
55.27/55.39 o 69
55.27/55.39 c *51.6s| 58239 | 50285 |350184 | 6.0 | 29M| 59 | - | 198 | 10 | 198 | 22 | 21 |1641 |3446 | 0.000000e+00 | 6.900000e+01 | Inf
55.37/55.40 o 67
55.37/55.40 c *51.6s| 58241 | 50141 |350184 | 6.0 | 28M| 59 | - | 198 | 10 | 198 | 22 | 21 |1641 |3449 | 0.000000e+00 | 6.700000e+01 | Inf
55.37/55.40 o 65
55.37/55.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.37/55.40 c *51.6s| 58242 | 49977 |350184 | 6.0 | 28M| 59 | - | 198 | 10 | 198 | 22 | 21 |1641 |3449 | 0.000000e+00 | 6.500000e+01 | Inf
58.47/58.57 c 54.4s| 60000 | 51317 |360583 | 6.0 | 29M| 59 | 8 | 198 | 11 | 198 | 22 | 21 |1689 |3513 | 0.000000e+00 | 6.500000e+01 | Inf
64.67/64.72 o 63
64.67/64.72 c *60.2s| 66896 | 55334 |402394 | 6.0 | 31M| 59 | - | 198 | 10 | 198 | 22 | 21 |1951 |3771 | 0.000000e+00 | 6.300000e+01 | Inf
67.76/67.89 c 63.0s| 70000 | 57989 |421224 | 6.0 | 33M| 59 | 8 | 198 | 9 | 198 | 22 | 21 |2028 |3865 | 0.000000e+00 | 6.300000e+01 | Inf
68.47/68.50 o 61
68.47/68.50 c *63.6s| 70689 | 58255 |425842 | 6.0 | 33M| 59 | - | 198 | 9 | 198 | 22 | 21 |2051 |3909 | 0.000000e+00 | 6.100000e+01 | Inf
76.17/76.28 c 70.9s| 80000 | 65728 |481971 | 6.0 | 37M| 59 | 8 | 198 | 8 | 198 | 22 | 21 |2364 |4221 | 0.000000e+00 | 6.100000e+01 | Inf
84.76/84.85 c 78.9s| 90000 | 73463 |544602 | 6.0 | 42M| 59 | 8 | 198 | 9 | 198 | 22 | 21 |2767 |4506 | 0.000000e+00 | 6.100000e+01 | Inf
95.46/95.60 c 88.8s|100000 | 81218 |608352 | 6.1 | 47M| 59 | 8 | 198 | 13 | 198 | 22 | 21 |3145 |4812 | 0.000000e+00 | 6.100000e+01 | Inf
104.06/104.12 c 96.7s|110000 | 88967 |671025 | 6.1 | 52M| 60 | - | 198 | 12 | 198 | 22 | 21 |3503 |5061 | 0.000000e+00 | 6.100000e+01 | Inf
112.55/112.67 c 105s|120000 | 96126 |734456 | 6.1 | 57M| 60 | 8 | 198 | 11 | 198 | 22 | 21 |3975 |5351 | 0.000000e+00 | 6.100000e+01 | Inf
116.05/116.13 o 60
116.05/116.13 c * 108s|124141 | 98957 |759782 | 6.1 | 58M| 60 | - | 198 | 10 | 198 | 22 | 21 |4129 |5447 | 0.000000e+00 | 6.000000e+01 | Inf
121.05/121.13 c 113s|130000 |103172 |796184 | 6.1 | 61M| 60 | 8 | 198 | 11 | 198 | 22 | 21 |4407 |5601 | 0.000000e+00 | 6.000000e+01 | Inf
125.05/125.14 o 59
125.05/125.14 c * 116s|134640 |106119 |825441 | 6.1 | 63M| 60 | - | 198 | 12 | 198 | 22 | 21 |4614 |5690 | 0.000000e+00 | 5.900000e+01 | Inf
129.54/129.68 c 121s|140000 |109973 |858916 | 6.1 | 65M| 60 | - | 198 | 9 | 198 | 22 | 21 |4827 |5821 | 0.000000e+00 | 5.900000e+01 | Inf
138.24/138.34 c 129s|150000 |116702 |921734 | 6.1 | 69M| 60 | 8 | 198 | 10 | 198 | 22 | 21 |5288 |6042 | 0.000000e+00 | 5.900000e+01 | Inf
146.74/146.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.74/146.80 c 136s|160000 |123770 |982642 | 6.1 | 74M| 60 | 8 | 198 | 11 | 198 | 22 | 21 |5727 |6233 | 0.000000e+00 | 5.900000e+01 | Inf
155.24/155.33 c 144s|170000 |130909 | 1044k| 6.1 | 78M| 60 | - | 198 | 11 | 198 | 22 | 21 |6153 |6425 | 0.000000e+00 | 5.900000e+01 | Inf
163.84/163.93 c 152s|180000 |137802 | 1107k| 6.2 | 83M| 61 | 8 | 198 | 11 | 198 | 22 | 21 |6622 |6601 | 0.000000e+00 | 5.900000e+01 | Inf
168.93/169.00 o 58
168.93/169.00 c * 157s|185812 |141166 | 1143k| 6.2 | 84M| 61 | - | 198 | 11 | 198 | 22 | 21 |6962 |6711 | 0.000000e+00 | 5.800000e+01 | Inf
173.93/174.03 o 56
173.93/174.03 c * 162s|189317 |142432 | 1166k| 6.2 | 84M| 61 | - | 198 | 12 | 198 | 22 | 21 |7156 |6793 | 0.000000e+00 | 5.600000e+01 | Inf
176.83/176.97 c 164s|190000 |142913 | 1170k| 6.2 | 85M| 61 | - | 198 | 12 | 198 | 22 | 21 |7184 |6806 | 0.000000e+00 | 5.600000e+01 | Inf
180.03/180.10 o 55
180.03/180.10 c * 167s|193696 |144876 | 1193k| 6.2 | 85M| 61 | - | 198 | 13 | 198 | 22 | 21 |7369 |6867 | 0.000000e+00 | 5.500000e+01 | Inf
185.42/185.54 c 172s|200000 |149023 | 1232k| 6.2 | 88M| 61 | 8 | 198 | 10 | 198 | 22 | 21 |7666 |6957 | 0.000000e+00 | 5.500000e+01 | Inf
188.42/188.58 o 53
188.42/188.58 c * 175s|203540 |149914 | 1253k| 6.2 | 88M| 61 | - | 198 | 10 | 198 | 22 | 21 |7839 |7017 | 0.000000e+00 | 5.300000e+01 | Inf
194.12/194.20 c 180s|210000 |153997 | 1294k| 6.2 | 90M| 61 | 8 | 198 | 10 | 198 | 22 | 21 |8146 |7133 | 0.000000e+00 | 5.300000e+01 | Inf
202.62/202.79 c 188s|220000 |160221 | 1355k| 6.2 | 94M| 61 | 8 | 198 | 10 | 198 | 22 | 21 |8642 |7304 | 0.000000e+00 | 5.300000e+01 | Inf
211.52/211.67 c 197s|230000 |166342 | 1422k| 6.2 | 99M| 61 | 8 | 198 | 16 | 198 | 22 | 21 |9125 |7460 | 0.000000e+00 | 5.300000e+01 | Inf
211.92/212.05 o 52
211.92/212.05 c * 197s|230449 |165880 | 1424k| 6.2 | 98M| 61 | - | 198 | 16 | 198 | 22 | 21 |9144 |7467 | 0.000000e+00 | 5.200000e+01 | Inf
220.31/220.47 c 205s|240000 |171983 | 1485k| 6.2 | 102M| 61 | 8 | 198 | 12 | 198 | 22 | 21 |9580 |7616 | 0.000000e+00 | 5.200000e+01 | Inf
229.11/229.26 c 213s|250000 |177821 | 1548k| 6.2 | 106M| 61 | 8 | 198 | 10 | 198 | 22 | 21 | 10k|7776 | 0.000000e+00 | 5.200000e+01 | Inf
237.71/237.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
237.71/237.81 c 221s|260000 |183952 | 1609k| 6.2 | 110M| 61 | 8 | 198 | 10 | 198 | 22 | 21 | 10k|7937 | 0.000000e+00 | 5.200000e+01 | Inf
243.01/243.12 o 50
243.01/243.12 c * 226s|266120 |185750 | 1647k| 6.2 | 110M| 61 | - | 198 | 9 | 198 | 22 | 21 | 10k|8023 | 0.000000e+00 | 5.000000e+01 | Inf
245.11/245.25 o 49
245.11/245.25 c * 228s|268511 |186174 | 1662k| 6.2 | 110M| 61 | - | 198 | 8 | 198 | 22 | 21 | 10k|8063 | 0.000000e+00 | 4.900000e+01 | Inf
245.11/245.27 o 47
245.11/245.27 c * 228s|268512 |182381 | 1662k| 6.2 | 106M| 61 | - | 198 | 8 | 198 | 22 | 21 | 10k|8063 | 0.000000e+00 | 4.700000e+01 | Inf
246.40/246.59 c 229s|270000 |183253 | 1672k| 6.2 | 107M| 61 | - | 198 | 9 | 198 | 22 | 21 | 11k|8076 | 0.000000e+00 | 4.700000e+01 | Inf
255.20/255.37 c 237s|280000 |188919 | 1734k| 6.2 | 111M| 61 | - | 198 | 9 | 0 | 0 | 21 | 11k|8247 | 0.000000e+00 | 4.700000e+01 | Inf
256.30/256.48 o 45
256.30/256.48 c * 239s|281234 |187499 | 1742k| 6.2 | 109M| 61 | - | 198 | 9 | 198 | 22 | 21 | 11k|8264 | 0.000000e+00 | 4.500000e+01 | Inf
256.40/256.50 o 43
256.40/256.50 c c 239s|281236 |185233 | 1742k| 6.2 | 106M| 61 | - | 198 | 9 | 198 | 22 | 21 | 11k|8268 | 0.000000e+00 | 4.300000e+01 | Inf
256.40/256.52 o 41
256.40/256.52 c v 239s|281236 |182562 | 1742k| 6.2 | 104M| 61 | - | 198 | 9 | 198 | 22 | 21 | 11k|8268 | 0.000000e+00 | 4.100000e+01 | Inf
266.40/266.53 c 248s|290000 |187451 | 1798k| 6.2 | 107M| 61 | 8 | 198 | 8 | 198 | 22 | 21 | 11k|8406 | 0.000000e+00 | 4.100000e+01 | Inf
272.50/272.69 o 39
272.50/272.69 c * 254s|297294 |188421 | 1841k| 6.2 | 107M| 61 | - | 198 | 10 | 198 | 22 | 21 | 12k|8550 | 0.000000e+00 | 3.900000e+01 | Inf
274.80/274.94 c 256s|300000 |189706 | 1857k| 6.2 | 108M| 61 | 8 | 198 | 9 | 198 | 22 | 21 | 12k|8595 | 0.000000e+00 | 3.900000e+01 | Inf
283.39/283.51 c 264s|310000 |195056 | 1917k| 6.2 | 112M| 61 | - | 198 | 8 | 198 | 22 | 21 | 12k|8762 | 0.000000e+00 | 3.900000e+01 | Inf
291.79/291.97 c 272s|320000 |200317 | 1977k| 6.2 | 115M| 61 | - | 198 | 9 | 198 | 22 | 21 | 13k|8931 | 0.000000e+00 | 3.900000e+01 | Inf
300.29/300.44 c 280s|330000 |205576 | 2035k| 6.2 | 119M| 61 | - | 198 | 9 | 198 | 22 | 21 | 13k|9090 | 0.000000e+00 | 3.900000e+01 | Inf
308.68/308.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
308.68/308.83 c 287s|340000 |210901 | 2094k| 6.2 | 123M| 61 | - | 198 | 9 | 198 | 22 | 21 | 14k|9241 | 0.000000e+00 | 3.900000e+01 | Inf
316.88/317.09 c 295s|350000 |215906 | 2152k| 6.1 | 127M| 61 | 8 | 198 | 10 | 198 | 22 | 21 | 14k|9386 | 0.000000e+00 | 3.900000e+01 | Inf
325.49/325.62 c 303s|360000 |221316 | 2212k| 6.1 | 130M| 61 | - | 198 | 8 | 198 | 22 | 21 | 14k|9531 | 0.000000e+00 | 3.900000e+01 | Inf
333.98/334.18 c 311s|370000 |226778 | 2271k| 6.1 | 134M| 61 | 8 | 198 | 8 | 198 | 22 | 21 | 15k|9663 | 0.000000e+00 | 3.900000e+01 | Inf
342.47/342.67 c 319s|380000 |232164 | 2330k| 6.1 | 138M| 61 | 8 | 198 | 8 | 198 | 22 | 21 | 15k|9810 | 0.000000e+00 | 3.900000e+01 | Inf
351.07/351.22 c 327s|390000 |237758 | 2390k| 6.1 | 142M| 61 | - | 198 | 8 | 0 | 0 | 21 | 16k|9952 | 0.000000e+00 | 3.900000e+01 | Inf
359.17/359.37 c 335s|400000 |242539 | 2447k| 6.1 | 145M| 61 | 8 | 198 | 8 | 198 | 22 | 21 | 16k| 10k| 0.000000e+00 | 3.900000e+01 | Inf
367.96/368.13 c 343s|410000 |248329 | 2508k| 6.1 | 149M| 61 | - | 198 | 8 | 0 | 0 | 21 | 17k| 10k| 0.000000e+00 | 3.900000e+01 | Inf
373.66/373.89 o 37
373.66/373.89 c * 348s|416919 |248604 | 2548k| 6.1 | 148M| 61 | - | 198 | 8 | 198 | 22 | 21 | 17k| 10k| 0.000000e+00 | 3.700000e+01 | Inf
376.16/376.34 c 351s|420000 |249931 | 2565k| 6.1 | 149M| 61 | - | 198 | 8 | 198 | 22 | 21 | 17k| 10k| 0.000000e+00 | 3.700000e+01 | Inf
386.16/386.37 c 360s|430000 |255046 | 2622k| 6.1 | 153M| 61 | 8 | 198 | 8 | 198 | 22 | 21 | 17k| 10k| 0.000000e+00 | 3.700000e+01 | Inf
394.26/394.46 c 367s|440000 |259756 | 2678k| 6.1 | 156M| 61 | 8 | 198 | 8 | 198 | 22 | 21 | 18k| 10k| 0.000000e+00 | 3.700000e+01 | Inf
402.35/402.53 c 375s|450000 |264539 | 2735k| 6.1 | 160M| 61 | 8 | 198 | 9 | 198 | 22 | 21 | 18k| 10k| 0.000000e+00 | 3.700000e+01 | Inf
410.75/410.94 c 383s|460000 |269818 | 2792k| 6.1 | 164M| 61 | 8 | 198 | 8 | 198 | 22 | 21 | 19k| 10k| 0.000000e+00 | 3.700000e+01 | Inf
418.74/418.92 c 390s|470000 |274830 | 2848k| 6.1 | 167M| 61 | - | 198 | 8 | 198 | 22 | 21 | 19k| 11k| 0.000000e+00 | 3.700000e+01 | Inf
426.65/426.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
426.65/426.82 c 398s|480000 |279565 | 2903k| 6.0 | 171M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 20k| 11k| 0.000000e+00 | 3.700000e+01 | Inf
434.84/435.05 c 405s|490000 |284667 | 2960k| 6.0 | 175M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 20k| 11k| 0.000000e+00 | 3.700000e+01 | Inf
443.04/443.24 c 413s|500000 |290004 | 3016k| 6.0 | 178M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 20k| 11k| 0.000000e+00 | 3.700000e+01 | Inf
449.44/449.63 o 36
449.44/449.63 c * 419s|507860 |292444 | 3060k| 6.0 | 179M| 62 | - | 198 | 8 | 198 | 22 | 21 | 21k| 11k| 0.000000e+00 | 3.600000e+01 | Inf
449.44/449.65 o 34
449.44/449.65 c * 419s|507865 |288615 | 3060k| 6.0 | 175M| 62 | - | 198 | 8 | 198 | 22 | 21 | 21k| 11k| 0.000000e+00 | 3.400000e+01 | Inf
449.53/449.70 o 32
449.53/449.70 c * 419s|507866 |275746 | 3060k| 6.0 | 165M| 62 | - | 198 | 8 | 198 | 22 | 21 | 21k| 11k| 0.000000e+00 | 3.200000e+01 | Inf
451.13/451.34 c 421s|510000 |276728 | 3072k| 6.0 | 165M| 62 | - | 198 | 11 | 198 | 22 | 21 | 21k| 11k| 0.000000e+00 | 3.200000e+01 | Inf
452.33/452.57 o 30
452.33/452.57 c * 422s|511566 |273415 | 3081k| 6.0 | 161M| 62 | - | 198 | 10 | 198 | 22 | 21 | 21k| 11k| 0.000000e+00 | 3.000000e+01 | Inf
452.43/452.60 o 28
452.43/452.60 c * 422s|511567 |268939 | 3081k| 6.0 | 157M| 62 | - | 198 | 10 | 198 | 22 | 21 | 21k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
458.74/458.98 c 428s|520000 |272740 | 3128k| 6.0 | 159M| 62 | 8 | 198 | 11 | 198 | 22 | 21 | 21k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
466.33/466.58 c 435s|530000 |277268 | 3185k| 6.0 | 162M| 62 | 8 | 198 | 11 | 198 | 22 | 21 | 22k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
474.03/474.25 c 442s|540000 |282000 | 3241k| 6.0 | 166M| 62 | 8 | 198 | 9 | 198 | 22 | 21 | 22k| 11k| 0.000000e+00 | 2.800000e+01 | Inf
481.53/481.72 c 449s|550000 |286362 | 3297k| 6.0 | 169M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 22k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
489.42/489.65 c 456s|560000 |291139 | 3356k| 6.0 | 172M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 23k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
496.92/497.18 c 463s|570000 |295775 | 3413k| 6.0 | 175M| 62 | 8 | 198 | 9 | 198 | 22 | 21 | 23k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
504.32/504.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
504.32/504.58 c 470s|580000 |299881 | 3468k| 6.0 | 178M| 62 | 8 | 198 | 9 | 198 | 22 | 21 | 24k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
512.01/512.22 c 477s|590000 |304818 | 3525k| 6.0 | 181M| 62 | 8 | 198 | 9 | 198 | 22 | 21 | 24k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
519.21/519.45 c 484s|600000 |308815 | 3579k| 6.0 | 184M| 62 | - | 198 | 8 | 0 | 0 | 21 | 24k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
526.31/526.59 c 491s|610000 |312769 | 3634k| 6.0 | 186M| 62 | 8 | 198 | 10 | 198 | 22 | 21 | 25k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
533.81/534.01 c 498s|620000 |316875 | 3689k| 6.0 | 189M| 62 | 8 | 198 | 10 | 198 | 22 | 21 | 25k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
541.10/541.31 c 505s|630000 |320939 | 3743k| 5.9 | 192M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 26k| 12k| 0.000000e+00 | 2.800000e+01 | Inf
548.50/548.76 c 512s|640000 |325270 | 3798k| 5.9 | 195M| 62 | 8 | 198 | 11 | 198 | 22 | 21 | 26k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
555.60/555.87 c 518s|650000 |329081 | 3851k| 5.9 | 198M| 62 | - | 198 | 8 | 198 | 22 | 21 | 26k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
562.80/563.05 c 525s|660000 |333041 | 3905k| 5.9 | 201M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 27k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
570.10/570.37 c 532s|670000 |336931 | 3960k| 5.9 | 204M| 62 | 8 | 198 | 9 | 198 | 22 | 21 | 27k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
577.39/577.61 c 538s|680000 |340871 | 4013k| 5.9 | 206M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 28k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
584.49/584.77 c 545s|690000 |344608 | 4068k| 5.9 | 209M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 28k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
591.89/592.18 c 552s|700000 |349071 | 4123k| 5.9 | 212M| 62 | - | 198 | 8 | 198 | 22 | 21 | 29k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
599.09/599.37 c 559s|710000 |353006 | 4177k| 5.9 | 215M| 62 | - | 198 | 10 | 198 | 22 | 21 | 29k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
606.38/606.66 c 566s|720000 |356874 | 4232k| 5.9 | 217M| 62 | - | 198 | 8 | 0 | 0 | 21 | 29k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
614.08/614.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
614.08/614.30 c 573s|730000 |361461 | 4288k| 5.9 | 221M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 30k| 13k| 0.000000e+00 | 2.800000e+01 | Inf
621.08/621.34 c 579s|740000 |364976 | 4340k| 5.9 | 223M| 62 | 8 | 198 | 8 | 198 | 22 | 21 | 30k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
628.07/628.35 c 586s|750000 |368406 | 4393k| 5.9 | 226M| 63 | - | 198 | 9 | 0 | 0 | 21 | 30k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
635.27/635.50 c 592s|760000 |372004 | 4447k| 5.9 | 228M| 63 | - | 198 | 10 | 198 | 22 | 21 | 31k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
642.27/642.54 c 599s|770000 |375517 | 4500k| 5.8 | 231M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 31k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
650.47/650.79 c 607s|780000 |380541 | 4559k| 5.8 | 234M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 32k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
658.86/659.13 c 615s|790000 |386311 | 4619k| 5.8 | 237M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 32k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
666.56/666.82 c 622s|800000 |391178 | 4676k| 5.8 | 240M| 63 | - | 198 | 9 | 198 | 22 | 21 | 33k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
674.07/674.38 c 629s|810000 |395614 | 4732k| 5.8 | 243M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 33k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
681.55/681.84 c 636s|820000 |400077 | 4787k| 5.8 | 246M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 33k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
688.75/689.02 c 642s|830000 |403992 | 4840k| 5.8 | 249M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 34k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
695.96/696.22 c 649s|840000 |408201 | 4894k| 5.8 | 252M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 34k| 14k| 0.000000e+00 | 2.800000e+01 | Inf
703.05/703.36 c 656s|850000 |412374 | 4947k| 5.8 | 255M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 35k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
710.14/710.44 c 662s|860000 |416104 | 4999k| 5.8 | 257M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 35k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
717.34/717.61 c 669s|870000 |419847 | 5053k| 5.8 | 260M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 36k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
724.34/724.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
724.34/724.68 c 676s|880000 |423668 | 5105k| 5.8 | 263M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 36k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
731.64/731.93 c 682s|890000 |427698 | 5159k| 5.8 | 265M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 36k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
738.64/738.92 c 689s|900000 |431457 | 5212k| 5.8 | 268M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 37k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
745.63/745.99 c 696s|910000 |434890 | 5264k| 5.8 | 270M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 37k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
752.73/753.07 c 702s|920000 |438497 | 5317k| 5.8 | 273M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 38k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
760.13/760.48 c 709s|930000 |442441 | 5372k| 5.8 | 276M| 63 | - | 198 | 8 | 198 | 22 | 21 | 38k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
768.42/768.72 c 717s|940000 |448117 | 5432k| 5.8 | 279M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 38k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
775.72/776.02 c 724s|950000 |452442 | 5487k| 5.8 | 282M| 63 | - | 198 | 8 | 198 | 22 | 21 | 39k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
782.92/783.25 c 730s|960000 |456443 | 5541k| 5.8 | 284M| 63 | - | 198 | 8 | 198 | 22 | 21 | 39k| 15k| 0.000000e+00 | 2.800000e+01 | Inf
790.12/790.44 c 737s|970000 |460095 | 5594k| 5.8 | 287M| 63 | - | 198 | 8 | 198 | 22 | 21 | 40k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
797.32/797.63 c 744s|980000 |463797 | 5648k| 5.8 | 290M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 40k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
804.31/804.63 c 750s|990000 |466988 | 5701k| 5.8 | 292M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 40k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
812.01/812.34 c 757s| 1000k|471331 | 5758k| 5.8 | 295M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 41k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
819.51/819.81 c 764s| 1010k|475291 | 5815k| 5.8 | 298M| 63 | - | 198 | 15 | 0 | 0 | 21 | 41k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
827.71/828.01 c 772s| 1020k|480428 | 5874k| 5.8 | 301M| 63 | - | 198 | 11 | 0 | 0 | 21 | 42k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
835.50/835.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
835.50/835.88 c 779s| 1030k|485453 | 5932k| 5.8 | 304M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 42k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
843.20/843.54 c 787s| 1040k|489942 | 5988k| 5.8 | 307M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 42k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
850.40/850.72 c 793s| 1050k|493731 | 6042k| 5.8 | 310M| 63 | - | 198 | 10 | 0 | 0 | 21 | 43k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
857.90/858.26 c 800s| 1060k|498069 | 6099k| 5.8 | 313M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 43k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
865.39/865.71 c 807s| 1070k|502137 | 6154k| 5.8 | 315M| 63 | - | 198 | 9 | 198 | 22 | 21 | 43k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
873.09/873.44 c 815s| 1080k|506964 | 6211k| 5.8 | 318M| 63 | - | 198 | 8 | 198 | 22 | 21 | 44k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
880.58/880.92 c 822s| 1090k|511290 | 6267k| 5.7 | 321M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 44k| 16k| 0.000000e+00 | 2.800000e+01 | Inf
887.88/888.21 c 828s| 1100k|515192 | 6321k| 5.7 | 324M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 45k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
894.98/895.38 c 835s| 1110k|518787 | 6375k| 5.7 | 327M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 45k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
902.18/902.53 c 842s| 1120k|522307 | 6429k| 5.7 | 329M| 63 | - | 198 | 9 | 198 | 22 | 21 | 45k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
909.38/909.72 c 849s| 1130k|525714 | 6483k| 5.7 | 332M| 63 | - | 198 | 9 | 198 | 22 | 21 | 46k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
916.57/916.91 c 855s| 1140k|529356 | 6538k| 5.7 | 334M| 63 | - | 198 | 10 | 198 | 22 | 21 | 46k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
923.57/923.94 c 862s| 1150k|532505 | 6592k| 5.7 | 337M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 46k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
930.57/930.99 c 868s| 1160k|535569 | 6645k| 5.7 | 340M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 47k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
937.76/938.12 c 875s| 1170k|538901 | 6699k| 5.7 | 342M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 47k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
944.86/945.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
944.86/945.21 c 882s| 1180k|542430 | 6751k| 5.7 | 345M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 47k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
951.96/952.34 c 888s| 1190k|545889 | 6804k| 5.7 | 347M| 63 | - | 198 | 8 | 198 | 22 | 21 | 48k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
959.06/959.48 c 895s| 1200k|549296 | 6859k| 5.7 | 350M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 48k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
966.15/966.59 c 901s| 1210k|552598 | 6912k| 5.7 | 353M| 63 | - | 198 | 8 | 0 | 0 | 21 | 49k| 17k| 0.000000e+00 | 2.800000e+01 | Inf
973.16/973.58 c 908s| 1220k|555981 | 6964k| 5.7 | 355M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 49k| 18k| 0.000000e+00 | 2.800000e+01 | Inf
980.45/980.87 c 915s| 1230k|560072 | 7018k| 5.7 | 358M| 63 | - | 198 | 9 | 198 | 22 | 21 | 49k| 18k| 0.000000e+00 | 2.800000e+01 | Inf
987.54/987.95 c 921s| 1240k|563453 | 7071k| 5.7 | 360M| 63 | - | 198 | 9 | 198 | 22 | 21 | 50k| 18k| 0.000000e+00 | 2.800000e+01 | Inf
994.05/994.42 o 26
994.05/994.42 c * 927s| 1249k|560097 | 7120k| 5.7 | 353M| 63 | - | 198 | 10 | 198 | 22 | 21 | 50k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
994.64/995.08 c 928s| 1250k|560461 | 7124k| 5.7 | 353M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 50k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
1001.84/1002.28 c 935s| 1260k|563936 | 7177k| 5.7 | 356M| 63 | - | 198 | 12 | 198 | 22 | 21 | 51k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
1011.34/1011.71 c 943s| 1270k|567038 | 7228k| 5.7 | 358M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 51k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
1018.14/1018.58 c 950s| 1280k|569930 | 7281k| 5.7 | 361M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 51k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
1025.13/1025.51 c 956s| 1290k|573467 | 7333k| 5.7 | 363M| 63 | - | 198 | 10 | 198 | 22 | 21 | 52k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
1031.73/1032.17 c 963s| 1300k|576135 | 7384k| 5.7 | 366M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 52k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
1038.52/1038.96 c 969s| 1310k|579317 | 7435k| 5.7 | 368M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 52k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
1045.23/1045.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1045.23/1045.67 c 975s| 1320k|582007 | 7485k| 5.7 | 371M| 63 | - | 198 | 9 | 0 | 0 | 21 | 53k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
1052.23/1052.67 c 982s| 1330k|585548 | 7538k| 5.7 | 373M| 63 | - | 198 | 9 | 198 | 22 | 21 | 53k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
1059.12/1059.52 c 988s| 1340k|588920 | 7590k| 5.7 | 376M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 54k| 18k| 0.000000e+00 | 2.600000e+01 | Inf
1065.82/1066.25 c 994s| 1350k|591875 | 7641k| 5.7 | 378M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 54k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
1072.42/1072.83 c 1001s| 1360k|594371 | 7691k| 5.7 | 380M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 54k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
1079.12/1079.55 c 1007s| 1370k|597462 | 7742k| 5.7 | 383M| 63 | - | 198 | 10 | 198 | 22 | 21 | 55k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
1086.01/1086.47 c 1013s| 1380k|600498 | 7794k| 5.6 | 385M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 55k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
1093.02/1093.45 c 1020s| 1390k|603666 | 7847k| 5.6 | 388M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 55k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
1099.81/1100.22 c 1026s| 1400k|606245 | 7900k| 5.6 | 390M| 63 | - | 198 | 9 | 198 | 22 | 21 | 56k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
1106.51/1106.97 c 1032s| 1410k|609152 | 7951k| 5.6 | 392M| 63 | - | 198 | 9 | 198 | 22 | 21 | 56k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
1113.20/1113.60 c 1039s| 1420k|611890 | 8001k| 5.6 | 395M| 63 | 8 | 198 | 13 | 198 | 22 | 21 | 57k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
1119.80/1120.29 c 1045s| 1430k|614842 | 8052k| 5.6 | 397M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 57k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
1126.50/1126.90 c 1051s| 1440k|617804 | 8104k| 5.6 | 399M| 63 | - | 198 | 8 | 0 | 0 | 21 | 57k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
1132.99/1133.45 c 1057s| 1450k|620455 | 8154k| 5.6 | 402M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 58k| 19k| 0.000000e+00 | 2.600000e+01 | Inf
1139.10/1139.50 o 24
1139.10/1139.50 c *1063s| 1458k|614546 | 8199k| 5.6 | 392M| 63 | - | 198 | 9 | 198 | 22 | 21 | 58k| 19k| 0.000000e+00 | 2.400000e+01 | Inf
1139.10/1139.57 o 22
1139.10/1139.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1139.10/1139.57 c *1063s| 1458k|604372 | 8199k| 5.6 | 379M| 63 | - | 198 | 9 | 198 | 22 | 21 | 58k| 19k| 0.000000e+00 | 2.200000e+01 | Inf
1139.90/1140.38 c 1063s| 1460k|604772 | 8205k| 5.6 | 380M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 58k| 19k| 0.000000e+00 | 2.200000e+01 | Inf
1146.49/1146.98 c 1070s| 1470k|607107 | 8253k| 5.6 | 382M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 59k| 19k| 0.000000e+00 | 2.200000e+01 | Inf
1153.29/1153.75 c 1076s| 1480k|610084 | 8302k| 5.6 | 384M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 59k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1159.99/1160.50 c 1082s| 1490k|612807 | 8349k| 5.6 | 386M| 63 | - | 198 | 9 | 0 | 0 | 21 | 59k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1166.60/1167.04 c 1088s| 1500k|615181 | 8397k| 5.6 | 388M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 60k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1173.19/1173.66 c 1095s| 1510k|617436 | 8446k| 5.6 | 390M| 63 | - | 198 | 11 | 198 | 22 | 21 | 60k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1179.89/1180.33 c 1101s| 1520k|620230 | 8495k| 5.6 | 392M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 60k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1186.38/1186.90 c 1107s| 1530k|622881 | 8543k| 5.6 | 394M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 61k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1193.08/1193.51 c 1113s| 1540k|625799 | 8591k| 5.6 | 396M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 61k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1199.47/1199.99 c 1119s| 1550k|628347 | 8639k| 5.6 | 399M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 62k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1206.28/1206.74 c 1125s| 1560k|631126 | 8689k| 5.6 | 401M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 62k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1212.77/1213.24 c 1131s| 1570k|633744 | 8736k| 5.6 | 403M| 63 | - | 198 | 8 | 198 | 22 | 21 | 62k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1219.16/1219.66 c 1137s| 1580k|635885 | 8783k| 5.6 | 405M| 63 | - | 198 | 8 | 198 | 22 | 21 | 63k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1225.67/1226.15 c 1143s| 1590k|638399 | 8831k| 5.6 | 407M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 63k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1232.16/1232.62 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1232.16/1232.62 c 1150s| 1600k|640657 | 8879k| 5.5 | 409M| 63 | - | 198 | 8 | 198 | 22 | 21 | 63k| 20k| 0.000000e+00 | 2.200000e+01 | Inf
1238.66/1239.13 c 1156s| 1610k|642894 | 8927k| 5.5 | 411M| 63 | - | 198 | 8 | 198 | 22 | 21 | 64k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1245.06/1245.60 c 1162s| 1620k|645166 | 8974k| 5.5 | 413M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 64k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1251.56/1252.08 c 1168s| 1630k|647517 | 9022k| 5.5 | 415M| 63 | - | 198 | 8 | 0 | 0 | 21 | 65k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1258.06/1258.58 c 1174s| 1640k|649927 | 9069k| 5.5 | 417M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 65k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1264.56/1265.04 c 1180s| 1650k|652304 | 9116k| 5.5 | 419M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 65k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1271.15/1271.61 c 1186s| 1660k|654666 | 9165k| 5.5 | 422M| 63 | - | 198 | 9 | 198 | 22 | 21 | 66k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1277.54/1278.07 c 1192s| 1670k|656683 | 9213k| 5.5 | 423M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 66k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1283.95/1284.49 c 1198s| 1680k|658931 | 9261k| 5.5 | 425M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 67k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1290.44/1290.95 c 1204s| 1690k|661057 | 9308k| 5.5 | 427M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 67k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1296.94/1297.40 c 1210s| 1700k|663287 | 9355k| 5.5 | 429M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 67k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1303.34/1303.86 c 1216s| 1710k|665510 | 9402k| 5.5 | 431M| 63 | - | 198 | 8 | 198 | 22 | 21 | 68k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1309.83/1310.36 c 1222s| 1720k|667671 | 9451k| 5.5 | 433M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 68k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1316.33/1316.81 c 1228s| 1730k|669865 | 9498k| 5.5 | 435M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 69k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1322.63/1323.17 c 1234s| 1740k|671926 | 9545k| 5.5 | 437M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 69k| 21k| 0.000000e+00 | 2.200000e+01 | Inf
1329.13/1329.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1329.13/1329.69 c 1240s| 1750k|674567 | 9593k| 5.5 | 439M| 63 | - | 198 | 9 | 198 | 22 | 21 | 69k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1335.72/1336.21 c 1246s| 1760k|676699 | 9641k| 5.5 | 441M| 63 | - | 198 | 8 | 198 | 22 | 21 | 70k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1342.32/1342.90 c 1252s| 1770k|679599 | 9691k| 5.5 | 444M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 70k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1349.13/1349.67 c 1259s| 1780k|682798 | 9741k| 5.5 | 446M| 63 | - | 198 | 8 | 0 | 0 | 21 | 70k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1355.62/1356.14 c 1265s| 1790k|685734 | 9789k| 5.5 | 448M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 71k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1362.02/1362.58 c 1271s| 1800k|687812 | 9836k| 5.5 | 450M| 63 | - | 198 | 8 | 198 | 22 | 21 | 71k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1368.51/1369.04 c 1277s| 1810k|690120 | 9883k| 5.5 | 452M| 63 | - | 198 | 8 | 198 | 22 | 21 | 72k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1374.92/1375.41 c 1283s| 1820k|692053 | 9931k| 5.5 | 454M| 63 | - | 198 | 8 | 198 | 22 | 21 | 72k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1381.42/1381.98 c 1289s| 1830k|694254 | 9980k| 5.5 | 456M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 72k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1387.81/1388.36 c 1295s| 1840k|696412 | 10026k| 5.4 | 458M| 63 | - | 198 | 8 | 198 | 22 | 21 | 73k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1394.41/1394.97 c 1301s| 1850k|698896 | 10077k| 5.4 | 460M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 73k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1401.00/1401.55 c 1307s| 1860k|701423 | 10126k| 5.4 | 462M| 63 | - | 198 | 8 | 198 | 22 | 21 | 73k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1407.60/1408.15 c 1313s| 1870k|704092 | 10174k| 5.4 | 464M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 74k| 22k| 0.000000e+00 | 2.200000e+01 | Inf
1414.01/1414.53 c 1319s| 1880k|706211 | 10221k| 5.4 | 466M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 74k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1420.79/1421.35 c 1326s| 1890k|709578 | 10271k| 5.4 | 469M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 74k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1427.30/1427.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1427.30/1427.83 c 1332s| 1900k|712344 | 10318k| 5.4 | 471M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 75k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1433.69/1434.26 c 1338s| 1910k|714565 | 10367k| 5.4 | 473M| 63 | - | 198 | 8 | 198 | 22 | 21 | 75k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1440.59/1441.13 c 1344s| 1920k|717768 | 10417k| 5.4 | 475M| 63 | - | 198 | 8 | 198 | 22 | 21 | 76k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1447.00/1447.56 c 1350s| 1930k|720130 | 10464k| 5.4 | 477M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 76k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1453.69/1454.27 c 1356s| 1940k|722951 | 10512k| 5.4 | 479M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 76k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1460.68/1461.29 c 1363s| 1950k|726961 | 10563k| 5.4 | 482M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 76k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1467.28/1467.86 c 1369s| 1960k|730068 | 10612k| 5.4 | 484M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 77k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1473.78/1474.31 c 1375s| 1970k|732341 | 10659k| 5.4 | 486M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 77k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1480.28/1480.80 c 1381s| 1980k|734611 | 10706k| 5.4 | 488M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 78k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1486.98/1487.50 c 1387s| 1990k|737742 | 10756k| 5.4 | 491M| 63 | - | 198 | 8 | 198 | 22 | 21 | 78k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1493.58/1494.14 c 1394s| 2000k|740414 | 10804k| 5.4 | 493M| 63 | - | 198 | 8 | 198 | 22 | 21 | 78k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1500.47/1501.03 c 1400s| 2010k|743561 | 10855k| 5.4 | 495M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 78k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1507.17/1507.77 c 1406s| 2020k|746734 | 10904k| 5.4 | 498M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 79k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1513.96/1514.52 c 1413s| 2030k|749673 | 10953k| 5.4 | 500M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 79k| 23k| 0.000000e+00 | 2.200000e+01 | Inf
1521.16/1521.74 c 1419s| 2040k|753568 | 11006k| 5.4 | 502M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 79k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
1527.76/1528.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1527.76/1528.34 c 1425s| 2050k|756328 | 11054k| 5.4 | 505M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 80k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
1534.45/1535.04 c 1432s| 2060k|759111 | 11102k| 5.4 | 507M| 63 | - | 198 | 8 | 198 | 22 | 21 | 80k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
1541.46/1542.09 c 1438s| 2070k|762570 | 11153k| 5.4 | 509M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 80k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
1548.16/1548.74 c 1444s| 2080k|765338 | 11202k| 5.4 | 511M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 81k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
1554.65/1555.27 c 1451s| 2090k|768147 | 11249k| 5.4 | 514M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 81k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
1561.55/1562.19 c 1457s| 2100k|771505 | 11299k| 5.4 | 516M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 82k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
1568.85/1569.43 c 1464s| 2110k|775324 | 11351k| 5.4 | 519M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 82k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
1575.75/1576.39 c 1470s| 2120k|778900 | 11402k| 5.4 | 521M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 82k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
1582.84/1583.41 c 1477s| 2130k|782306 | 11453k| 5.4 | 524M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 82k| 24k| 0.000000e+00 | 2.200000e+01 | Inf
1584.94/1585.54 o 21
1584.94/1585.54 c *1479s| 2133k|776700 | 11469k| 5.4 | 516M| 63 | - | 198 | 10 | 198 | 22 | 21 | 83k| 24k| 0.000000e+00 | 2.100000e+01 | Inf
1589.54/1590.17 c 1483s| 2140k|778301 | 11502k| 5.4 | 517M| 63 | - | 198 | 9 | 198 | 22 | 21 | 83k| 24k| 0.000000e+00 | 2.100000e+01 | Inf
1596.24/1596.85 c 1489s| 2150k|780705 | 11552k| 5.4 | 519M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 83k| 24k| 0.000000e+00 | 2.100000e+01 | Inf
1602.83/1603.45 c 1496s| 2160k|782927 | 11600k| 5.4 | 521M| 63 | - | 198 | 8 | 0 | 0 | 21 | 84k| 24k| 0.000000e+00 | 2.100000e+01 | Inf
1609.53/1610.12 c 1502s| 2170k|785516 | 11651k| 5.4 | 523M| 63 | - | 198 | 10 | 0 | 0 | 21 | 84k| 24k| 0.000000e+00 | 2.100000e+01 | Inf
1615.93/1616.53 o 19
1615.93/1616.53 c *1508s| 2179k|773055 | 11697k| 5.4 | 507M| 63 | - | 198 | 10 | 198 | 22 | 21 | 84k| 25k| 0.000000e+00 | 1.900000e+01 | Inf
1616.03/1616.63 o 17
1616.03/1616.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1616.03/1616.63 c *1508s| 2179k|755147 | 11697k| 5.4 | 486M| 63 | - | 198 | 10 | 198 | 22 | 21 | 84k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1616.34/1616.97 c 1508s| 2180k|755206 | 11699k| 5.4 | 486M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 84k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1622.72/1623.36 c 1514s| 2190k|757302 | 11745k| 5.4 | 487M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 84k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1629.23/1629.81 c 1520s| 2200k|760036 | 11792k| 5.4 | 489M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 85k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1635.53/1636.17 c 1526s| 2210k|762364 | 11838k| 5.4 | 491M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 85k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1641.92/1642.56 c 1532s| 2220k|764500 | 11883k| 5.4 | 493M| 63 | - | 198 | 8 | 198 | 22 | 21 | 85k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1648.42/1649.05 c 1538s| 2230k|766576 | 11930k| 5.3 | 495M| 63 | - | 198 | 8 | 198 | 22 | 21 | 86k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1654.93/1655.59 c 1544s| 2240k|769319 | 11976k| 5.3 | 496M| 63 | - | 198 | 8 | 198 | 22 | 21 | 86k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1661.31/1661.97 c 1550s| 2250k|771685 | 12021k| 5.3 | 498M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 86k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1667.71/1668.32 c 1556s| 2260k|773486 | 12066k| 5.3 | 500M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 87k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1674.11/1674.71 c 1562s| 2270k|775558 | 12111k| 5.3 | 502M| 63 | - | 198 | 8 | 0 | 0 | 21 | 87k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1680.31/1680.96 c 1568s| 2280k|777423 | 12155k| 5.3 | 503M| 63 | - | 198 | 10 | 198 | 22 | 21 | 87k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1686.60/1687.23 c 1574s| 2290k|779280 | 12200k| 5.3 | 505M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 88k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1692.90/1693.58 c 1580s| 2300k|781143 | 12245k| 5.3 | 506M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 88k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1699.39/1700.05 c 1586s| 2310k|783441 | 12291k| 5.3 | 508M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 88k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1705.79/1706.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1705.79/1706.46 c 1592s| 2320k|785863 | 12337k| 5.3 | 510M| 63 | - | 198 | 8 | 198 | 22 | 21 | 89k| 25k| 0.000000e+00 | 1.700000e+01 | Inf
1712.19/1712.90 c 1598s| 2330k|788195 | 12384k| 5.3 | 512M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 89k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1718.70/1719.35 c 1604s| 2340k|790622 | 12429k| 5.3 | 514M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 89k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1725.20/1725.81 c 1610s| 2350k|793227 | 12475k| 5.3 | 515M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 90k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1731.59/1732.22 c 1616s| 2360k|795693 | 12520k| 5.3 | 517M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 90k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1737.99/1738.62 c 1622s| 2370k|798302 | 12566k| 5.3 | 519M| 63 | - | 198 | 8 | 198 | 22 | 21 | 90k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1744.38/1745.00 c 1628s| 2380k|800845 | 12610k| 5.3 | 521M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 91k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1750.78/1751.44 c 1634s| 2390k|803280 | 12656k| 5.3 | 523M| 63 | 8 | 198 | 11 | 198 | 22 | 21 | 91k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1757.08/1757.71 c 1640s| 2400k|805388 | 12701k| 5.3 | 525M| 63 | - | 198 | 8 | 0 | 0 | 21 | 91k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1763.38/1764.04 c 1646s| 2410k|807637 | 12747k| 5.3 | 527M| 63 | 8 | 198 | 10 | 198 | 22 | 21 | 92k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1769.67/1770.36 c 1652s| 2420k|809746 | 12792k| 5.3 | 528M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 92k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1775.97/1776.62 c 1658s| 2430k|811688 | 12837k| 5.3 | 530M| 63 | 8 | 198 | 8 | 198 | 22 | 21 | 92k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1782.17/1782.80 c 1663s| 2440k|813540 | 12881k| 5.3 | 532M| 63 | 8 | 198 | 9 | 198 | 22 | 21 | 93k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1788.47/1789.11 c 1669s| 2450k|815768 | 12925k| 5.3 | 533M| 63 | - | 198 | 8 | 198 | 22 | 21 | 93k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1794.76/1795.42 c 1675s| 2460k|818098 | 12969k| 5.3 | 535M| 63 | - | 198 | 9 | 0 | 0 | 21 | 93k| 26k| 0.000000e+00 | 1.700000e+01 | Inf
1800.08/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.71 c
1800.08/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.71 c Solving Time (sec) : 1680.13
1800.08/1800.71 c Solving Nodes : 2468456
1800.08/1800.71 c Primal Bound : +1.70000000000000e+01 (60 solutions)
1800.08/1800.71 c Dual Bound : +0.00000000000000e+00
1800.08/1800.71 c Gap : infinite
1800.08/1800.71 s SATISFIABLE
1800.08/1800.71 v x143 x198 x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 x189 x188 -x187 x186 -x185 x184 -x183 -x182 x181 -x180 x179 -x178 x177
1800.08/1800.71 v -x176 -x175 x174 x173 x172 x171 x170 -x169 -x168 -x167 x166 x165 -x164 x163 -x162 x161 -x160 -x159 -x158 x157 -x156 x155 x154
1800.08/1800.71 v -x153 x152 -x151 x150 -x149 x148 -x147 x146 x145 -x144 x142 x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 x133 x132 -x131 -x130
1800.08/1800.71 v x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 x113 -x112 -x111 -x110 -x109
1800.08/1800.71 v -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 x97 -x96 -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 -x85
1800.08/1800.71 v -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60
1800.08/1800.71 v -x59 x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35
1800.08/1800.71 v -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10
1800.08/1800.71 v -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.08/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.71 c Solving Time : 1680.13
1800.08/1800.71 c Original Problem :
1800.08/1800.71 c Problem name : HOME/instance-2667083-1276615208.opb
1800.08/1800.71 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.71 c Constraints : 16 initial, 16 maximal
1800.08/1800.71 c Presolved Problem :
1800.08/1800.71 c Problem name : t_HOME/instance-2667083-1276615208.opb
1800.08/1800.71 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.71 c Constraints : 8 initial, 71 maximal
1800.08/1800.71 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.71 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c probing : 0.02 0 0 0 0 0 0 0 0
1800.08/1800.71 c linear : 0.00 0 0 0 0 0 8 0 0
1800.08/1800.71 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.71 c root node : - 48 - - 48 - - - -
1800.08/1800.71 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.71 c integral : 0 0 0 1717286 0 145 6727 0 0 3421532
1800.08/1800.71 c linear : 8+ 7 4518984 0 0 240552 1693380 0 0 0
1800.08/1800.71 c logicor : 0+ 0 133359 0 0 2381 28833 0 0 0
1800.08/1800.71 c countsols : 0 0 0 38 0 0 0 0 0 0
1800.08/1800.71 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.71 c integral : 27.97 0.00 0.00 27.97 0.00
1800.08/1800.71 c linear : 430.38 0.00 430.38 0.00 0.00
1800.08/1800.71 c logicor : 0.44 0.00 0.44 0.00 0.00
1800.08/1800.71 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.71 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.71 c vbounds : 2.07 2 0 0
1800.08/1800.71 c rootredcost : 2.29 46 0 48
1800.08/1800.71 c pseudoobj : 45.32 4522218 3396 331994
1800.08/1800.71 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.71 c propagation : 22.53 244003 89024 108239 72.2 21 38.4 -
1800.08/1800.71 c infeasible LP : 1.22 13214 7093 9400 47.7 0 0.0 0
1800.08/1800.71 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.71 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.71 c pseudo solution : 0.00 8 8 8 2.6 0 0.0 -
1800.08/1800.71 c applied globally : - - - 403 28.2 - - -
1800.08/1800.71 c applied locally : - - - 93614 70.7 - - -
1800.08/1800.71 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.71 c cut pool : 0.00 5 - - 14 - (maximal pool size: 56)
1800.08/1800.71 c redcost : 76.46 2517218 0 15159724 0 0
1800.08/1800.71 c impliedbounds : 0.00 6 0 0 0 0
1800.08/1800.71 c intobj : 0.00 0 0 0 0 0
1800.08/1800.71 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.71 c gomory : 0.01 6 0 0 0 0
1800.08/1800.71 c strongcg : 0.01 6 0 0 26 0
1800.08/1800.71 c cmir : 0.05 6 0 0 20 0
1800.08/1800.71 c flowcover : 0.06 6 0 0 23 0
1800.08/1800.71 c clique : 0.00 1 0 0 0 0
1800.08/1800.71 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.71 c mcf : 0.00 1 0 0 0 0
1800.08/1800.71 c rapidlearning : 0.12 1 0 0 0 63
1800.08/1800.71 c Pricers : Time Calls Vars
1800.08/1800.71 c problem variables: 0.00 0 0
1800.08/1800.71 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.71 c relpscost : 25.81 1717248 145 6727 0 0 3421532
1800.08/1800.71 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.71 c inference : 0.00 0 0 0 0 0 0
1800.08/1800.71 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.71 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.71 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.71 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.71 c random : 0.00 0 0 0 0 0 0
1800.08/1800.71 c Primal Heuristics : Time Calls Found
1800.08/1800.71 c LP solutions : 0.74 - 38
1800.08/1800.71 c pseudo solutions : 0.00 - 0
1800.08/1800.71 c feaspump : 0.18 2 0
1800.08/1800.71 c oneopt : 1.71 45 0
1800.08/1800.71 c crossover : 16.60 12 0
1800.08/1800.71 c rootsoldiving : 5.99 731 14
1800.08/1800.71 c objpscostdiving : 7.66 3140 0
1800.08/1800.71 c fracdiving : 40.64 7091 1
1800.08/1800.71 c pscostdiving : 39.74 7091 0
1800.08/1800.71 c linesearchdiving : 27.31 7091 0
1800.08/1800.71 c guideddiving : 30.21 7091 2
1800.08/1800.71 c veclendiving : 22.83 7092 1
1800.08/1800.71 c coefdiving : 70.11 7092 3
1800.08/1800.71 c trivial : 0.00 2 0
1800.08/1800.71 c simplerounding : 1.80 0 0
1800.08/1800.71 c zirounding : 1.32 1000 0
1800.08/1800.71 c rounding : 3.14 18908 0
1800.08/1800.71 c shifting : 6.67 5869 0
1800.08/1800.71 c intshifting : 0.12 0 0
1800.08/1800.71 c twoopt : 0.00 0 0
1800.08/1800.71 c fixandinfer : 0.00 0 0
1800.08/1800.71 c intdiving : 0.00 0 0
1800.08/1800.71 c actconsdiving : 0.00 0 0
1800.08/1800.71 c octane : 0.00 0 0
1800.08/1800.71 c rens : 0.04 1 0
1800.08/1800.71 c rins : 0.00 0 0
1800.08/1800.71 c localbranching : 0.00 0 0
1800.08/1800.71 c mutation : 0.00 0 0
1800.08/1800.71 c dins : 0.00 0 0
1800.08/1800.71 c undercover : 0.00 0 0
1800.08/1800.71 c nlp : 1.21 0 0
1800.08/1800.71 c trysol : 2.43 0 0
1800.08/1800.71 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.71 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.71 c dual LP : 564.62 2359596 11217538 4.75 19867.41
1800.08/1800.71 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.71 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.71 c diving/probing LP: 118.46 900782 1790840 1.99 15117.68
1800.08/1800.71 c strong branching : 7.87 26968 95227 3.53 12100.00
1800.08/1800.71 c (at root node) : - 14 806 57.57 -
1800.08/1800.71 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.71 c B&B Tree :
1800.08/1800.71 c number of runs : 1
1800.08/1800.71 c nodes : 2468456
1800.08/1800.71 c nodes (total) : 2468456
1800.08/1800.71 c nodes left : 819681
1800.08/1800.71 c max depth : 63
1800.08/1800.71 c max depth (total): 63
1800.08/1800.71 c backtracks : 378827 (15.3%)
1800.08/1800.71 c delayed cutoffs : 15208
1800.08/1800.71 c repropagations : 29746 (115779 domain reductions, 15207 cutoffs)
1800.08/1800.71 c avg switch length: 5.82
1800.08/1800.71 c switching time : 102.63
1800.08/1800.71 c Solution :
1800.08/1800.71 c Solutions found : 60 (46 improvements)
1800.08/1800.71 c First Solution : +1.04400000000000e+03 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>)
1800.08/1800.71 c Primal Bound : +1.70000000000000e+01 (in run 1, after 2179475 nodes, 1507.83 seconds, depth 49, found by <relaxation>)
1800.08/1800.71 c Dual Bound : +0.00000000000000e+00
1800.08/1800.71 c Gap : infinite
1800.08/1800.71 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.71 c Root Iterations : 161
OK 17
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667083-1276615208/watcher-2667083-1276615208 -o /tmp/evaluation-result-2667083-1276615208/solver-2667083-1276615208 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667083-1276615208.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5833 /proc/meminfo: memFree=1692836/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=6696 CPUtime=0 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 1001 0 0 0 0 0 0 0 23 0 1 0 37122335 6856704 922 1992294400 4194304 8223781 140733226231488 18446744073709551615 4388181 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5833/statm: 1931 930 348 984 0 944 0 [startup+0.050049 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5833 /proc/meminfo: memFree=1692836/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=12988 CPUtime=0.04 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 3003 0 0 0 3 1 0 0 23 0 1 0 37122335 13299712 2301 1992294400 4194304 8223781 140733226231488 18446744073709551615 4310609 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 3247 2301 532 984 0 2260 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12988 [startup+0.102059 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5833 /proc/meminfo: memFree=1692836/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=20920 CPUtime=0.09 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 4957 0 0 0 7 2 0 0 23 0 1 0 37122335 21422080 3988 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 5230 3988 565 984 0 4243 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20920 [startup+0.301099 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5833 /proc/meminfo: memFree=1692836/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=14864 CPUtime=0.29 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 5129 0 0 0 26 3 0 0 23 0 1 0 37122335 15220736 2870 1992294400 4194304 8223781 140733226231488 18446744073709551615 6044386 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 3716 2870 575 984 0 2729 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14864 [startup+0.700178 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5833 /proc/meminfo: memFree=1692836/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=14972 CPUtime=0.69 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 8177 0 0 0 64 5 0 0 25 0 1 0 37122335 15331328 2920 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 3743 2920 588 984 0 2756 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14972 [startup+1.50034 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5834 /proc/meminfo: memFree=1682784/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=14972 CPUtime=1.49 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 8693 0 0 0 138 11 0 0 25 0 1 0 37122335 15331328 2922 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 3743 2922 589 984 0 2756 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14972 [startup+3.10065 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5834 /proc/meminfo: memFree=1676832/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=15100 CPUtime=3.09 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 11878 0 0 0 286 23 0 0 25 0 1 0 37122335 15462400 2928 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 3775 2928 589 984 0 2788 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15100 [startup+6.30028 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5834 /proc/meminfo: memFree=1681668/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=17080 CPUtime=6.29 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 15116 0 0 0 579 50 0 0 25 0 1 0 37122335 17489920 3463 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 4270 3463 589 984 0 3283 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17080 [startup+12.7005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5834 /proc/meminfo: memFree=1677452/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=20376 CPUtime=12.69 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 17815 0 0 0 1176 93 0 0 25 0 1 0 37122335 20865024 4309 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 5094 4309 589 984 0 4107 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20376 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5834 /proc/meminfo: memFree=1670260/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=27540 CPUtime=25.48 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 28574 0 0 0 2370 178 0 0 25 0 1 0 37122335 28200960 6135 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 6885 6135 589 984 0 5898 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27540 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5834 /proc/meminfo: memFree=1654016/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=43416 CPUtime=51.08 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 42668 0 0 0 4756 352 0 0 25 0 1 0 37122335 44457984 10184 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 10854 10184 589 984 0 9867 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 43416 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5836 /proc/meminfo: memFree=1624256/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=74392 CPUtime=102.26 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 63509 0 0 0 9505 721 0 0 25 0 1 0 37122335 76177408 17567 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 18598 17567 589 984 0 17611 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 74392 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5838 /proc/meminfo: memFree=1589164/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=108660 CPUtime=162.24 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 79531 0 0 0 15093 1131 0 0 25 0 1 0 37122335 111267840 26305 1992294400 4194304 8223781 140733226231488 18446744073709551615 4947385 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 27165 26305 589 984 0 26178 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 108660 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5840 /proc/meminfo: memFree=1564488/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=132544 CPUtime=222.22 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 104313 0 0 0 20661 1561 0 0 25 0 1 0 37122335 135725056 32449 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 33136 32449 589 984 0 32149 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 132544 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5840 /proc/meminfo: memFree=1549980/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=147632 CPUtime=282.19 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 123836 0 0 0 26264 1955 0 0 25 0 1 0 37122335 151175168 36302 1992294400 4194304 8223781 140733226231488 18446744073709551615 4978973 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 36908 36302 589 984 0 35921 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 147632 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5842 /proc/meminfo: memFree=1524684/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=175352 CPUtime=342.18 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 131696 0 0 0 31876 2342 0 0 25 0 1 0 37122335 179560448 42332 1992294400 4194304 8223781 140733226231488 18446744073709551615 4947417 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 43838 42332 589 984 0 42851 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 175352 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5844 /proc/meminfo: memFree=1503232/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=196160 CPUtime=402.15 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 144159 0 0 0 37466 2749 0 0 25 0 1 0 37122335 200867840 47677 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 49040 47677 589 984 0 48053 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 196160 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5846 /proc/meminfo: memFree=1480044/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=218156 CPUtime=462.14 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 156454 0 0 0 43078 3136 0 0 25 0 1 0 37122335 223391744 53304 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 54539 53304 589 984 0 53552 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 218156 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5848 /proc/meminfo: memFree=1471860/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=226772 CPUtime=522.11 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 159863 0 0 0 48677 3534 0 0 25 0 1 0 37122335 232214528 55500 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 56693 55500 589 984 0 55706 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 226772 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5848 /proc/meminfo: memFree=1453756/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=244212 CPUtime=582.09 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 164962 0 0 0 54290 3919 0 0 25 0 1 0 37122335 250073088 59992 1992294400 4194304 8223781 140733226231488 18446744073709551615 4978358 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 61053 59992 589 984 0 60066 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 244212 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5850 /proc/meminfo: memFree=1425980/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=271232 CPUtime=642.07 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 172466 0 0 0 59881 4326 0 0 25 0 1 0 37122335 277741568 66889 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 67808 66889 589 984 0 66821 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 271232 [startup+702.301 s] ################ # More data... # ################ /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 217206 0 0 0 99075 7117 0 0 25 0 1 0 37122335 433934336 103813 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 105941 103813 589 984 0 104954 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 423764 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5864 /proc/meminfo: memFree=1257092/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=443720 CPUtime=1121.9 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 222888 0 0 0 104661 7529 0 0 25 0 1 0 37122335 454369280 108902 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 110930 108902 589 984 0 109943 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 443720 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5864 /proc/meminfo: memFree=1249528/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=450744 CPUtime=1181.88 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 230019 0 0 0 110262 7926 0 0 25 0 1 0 37122335 461561856 110687 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 112686 110687 589 984 0 111699 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 450744 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5866 /proc/meminfo: memFree=1237500/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=462576 CPUtime=1241.86 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 233647 0 0 0 115855 8331 0 0 25 0 1 0 37122335 473677824 113725 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 115644 113725 589 984 0 114657 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 462576 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5868 /proc/meminfo: memFree=1217660/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=481692 CPUtime=1301.84 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 239104 0 0 0 121449 8735 0 0 25 0 1 0 37122335 493252608 118588 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 120423 118588 589 984 0 119436 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 481692 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5870 /proc/meminfo: memFree=1202408/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=496612 CPUtime=1361.81 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 242895 0 0 0 127051 9130 0 0 25 0 1 0 37122335 508530688 122379 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 124153 122379 589 984 0 123166 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 496612 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5872 /proc/meminfo: memFree=1183684/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=514740 CPUtime=1421.81 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 248136 0 0 0 132649 9532 0 0 25 0 1 0 37122335 527093760 127021 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 128685 127021 589 984 0 127698 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 514740 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5872 /proc/meminfo: memFree=1161612/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=537748 CPUtime=1481.78 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 253983 0 0 0 138251 9927 0 0 25 0 1 0 37122335 550653952 132868 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 134437 132868 589 984 0 133450 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 537748 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5874 /proc/meminfo: memFree=1142516/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=555000 CPUtime=1541.76 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 258398 0 0 0 143850 10326 0 0 25 0 1 0 37122335 568320000 137283 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 138750 137283 589 984 0 137763 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 555000 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5876 /proc/meminfo: memFree=1128380/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=568020 CPUtime=1601.74 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 265329 0 0 0 149452 10722 0 0 25 0 1 0 37122335 581652480 140632 1992294400 4194304 8223781 140733226231488 18446744073709551615 4979046 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 142005 140632 589 984 0 141018 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 568020 [startup+1662.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 5878 /proc/meminfo: memFree=1123048/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=573172 CPUtime=1661.71 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 272028 0 0 0 155072 11099 0 0 25 0 1 0 37122335 586928128 141939 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 143293 141939 589 984 0 142306 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 573172 [startup+1722.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 5880 /proc/meminfo: memFree=1117840/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=578936 CPUtime=1721.69 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 274074 0 0 0 160684 11485 0 0 25 0 1 0 37122335 592830464 143385 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 144734 143385 589 984 0 143747 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 578936 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5880 /proc/meminfo: memFree=1105068/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=591024 CPUtime=1781.67 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 277780 0 0 0 166293 11874 0 0 25 0 1 0 37122335 605208576 146491 1992294400 4194304 8223781 140733226231488 18446744073709551615 4978009 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 147756 146491 589 984 0 146769 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 591024 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5882 /proc/meminfo: memFree=1101844/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=594192 CPUtime=1800.08 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 278578 0 0 0 168013 11995 0 0 25 0 1 0 37122335 608452608 147289 1992294400 4194304 8223781 140733226231488 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5833/statm: 148548 147289 589 984 0 147561 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 594192 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -5833 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5882 /proc/meminfo: memFree=1101844/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=594192 CPUtime=1800.76 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 278580 0 0 0 168081 11995 0 0 25 0 1 0 37122335 608452608 147291 1992294400 4194304 8223781 140733226231488 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5833/statm: 148548 147291 591 984 0 147561 0 Current children cumulated CPU time (s) 1800.76 Current children cumulated vsize (KiB) 594192 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5883 /proc/meminfo: memFree=1101836/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=594192 CPUtime=1801.56 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 278580 0 0 0 168161 11995 0 0 25 0 1 0 37122335 608452608 147291 1992294400 4194304 8223781 140733226231488 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5833/statm: 148548 147291 591 984 0 147561 0 Current children cumulated CPU time (s) 1801.56 Current children cumulated vsize (KiB) 594192 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5883 /proc/meminfo: memFree=1101836/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=594192 CPUtime=1801.96 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 278580 0 0 0 168201 11995 0 0 25 0 1 0 37122335 608452608 147291 1992294400 4194304 8223781 140733226231488 18446744073709551615 6206490 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5833/statm: 148548 147291 591 984 0 147561 0 Current children cumulated CPU time (s) 1801.96 Current children cumulated vsize (KiB) 594192 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5883 /proc/meminfo: memFree=1101836/2059040 swapFree=4136232/4192956 [pid=5833] ppid=5831 vsize=594192 CPUtime=1802.06 /proc/5833/stat : 5833 (pbscip.linux.x8) R 5831 5833 5318 0 -1 4202496 278580 0 0 0 168211 11995 0 0 25 0 1 0 37122335 608452608 147291 1992294400 4194304 8223781 140733226231488 18446744073709551615 6206542 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5833/statm: 148548 147291 591 984 0 147561 0 Current children cumulated CPU time (s) 1802.06 Current children cumulated vsize (KiB) 594192 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.78 CPU time (s): 1802.15 CPU user time (s): 1682.14 CPU system time (s): 120.015 CPU usage (%): 99.9652 Max. virtual memory (cumulated for all children) (KiB): 594192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1682.14 system time used= 120.015 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 278580 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= 19836 runsolver used 3.21051 second user time and 8.30674 second system time The end
Begin job on node011 at 2010-06-15 17:20:08 IDJOB=2667083 IDBENCH=2920 IDSOLVER=1169 FILE ID=node011/2667083-1276615208 PBS_JOBID= 11172285 Free space on /tmp= 62360 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667083-1276615208/watcher-2667083-1276615208 -o /tmp/evaluation-result-2667083-1276615208/solver-2667083-1276615208 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667083-1276615208.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27 RANDOM SEED=1711661933 node011.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.264 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.52 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.264 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1693364 kB Buffers: 134396 kB Cached: 152036 kB SwapCached: 10072 kB Active: 114716 kB Inactive: 184924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1693364 kB SwapTotal: 4192956 kB SwapFree: 4136232 kB Dirty: 4552 kB Writeback: 16 kB AnonPages: 11768 kB Mapped: 9304 kB Slab: 44244 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180708 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= 62356 MiB End job on node011 at 2010-06-15 17:50:11