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) | 27 | 1802.16 | 1802.58 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_4.opb |
| MD5SUM | 87341d3e4752b9f90faef0f8d9385430 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 26 |
| Best CPU time to get the best result obtained on this benchmark | 1793.29 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 44 |
| 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 | 84 |
| 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 | 1881 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 6154 |
| 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-2667097-1276601429.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.01
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 | 44 | - | 633k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.19 o 1242
0.09/0.19 c y 0.1s| 1 | 0 | 110 | - | 697k| 0 | 8 | 198 | 8 | 198 | 8 | 0 | 0 | 0 | 0.000000e+00 | 1.242000e+03 | Inf
0.09/0.19 c 0.2s| 1 | 0 | 118 | - | 786k| 0 | 13 | 198 | 45 | 198 | 15 | 7 | 0 | 0 | 0.000000e+00 | 1.242000e+03 | Inf
0.20/0.21 c 0.2s| 1 | 0 | 125 | - | 858k| 0 | 15 | 198 | 45 | 198 | 17 | 9 | 0 | 0 | 0.000000e+00 | 1.242000e+03 | Inf
0.20/0.23 c 0.2s| 1 | 0 | 132 | - | 877k| 0 | 19 | 198 | 45 | 198 | 21 | 13 | 0 | 0 | 0.000000e+00 | 1.242000e+03 | Inf
0.20/0.26 c 0.2s| 1 | 0 | 148 | - | 897k| 0 | 18 | 198 | 45 | 198 | 23 | 15 | 0 | 0 | 0.000000e+00 | 1.242000e+03 | Inf
0.20/0.28 c 0.2s| 1 | 0 | 167 | - | 917k| 0 | 16 | 198 | 45 | 198 | 24 | 16 | 0 | 0 | 0.000000e+00 | 1.242000e+03 | Inf
0.29/0.31 c 0.3s| 1 | 0 | 187 | - | 938k| 0 | 17 | 198 | 45 | 198 | 26 | 18 | 0 | 0 | 0.000000e+00 | 1.242000e+03 | Inf
0.29/0.37 c 0.3s| 1 | 2 | 187 | - | 939k| 0 | 17 | 198 | 45 | 198 | 26 | 18 | 0 | 9 | 0.000000e+00 | 1.242000e+03 | Inf
0.49/0.57 o 616
0.49/0.57 c p 0.5s| 32 | 33 | 602 | 13.4 |1057k| 18 | - | 198 | 45 | 198 | 17 | 18 | 2 | 218 | 0.000000e+00 | 6.160000e+02 | Inf
0.79/0.87 o 446
0.79/0.87 c c 0.8s| 209 | 210 | 1912 | 8.3 |1144k| 49 | - | 198 | 45 | 198 | 17 | 18 | 6 | 499 | 0.000000e+00 | 4.460000e+02 | Inf
1.19/1.23 o 304
1.19/1.23 c g 1.1s| 535 | 534 | 4212 | 7.5 |1290k| 52 | - | 198 | 46 | 198 | 17 | 18 | 24 | 563 | 0.000000e+00 | 3.040000e+02 | Inf
1.29/1.37 o 303
1.29/1.37 c l 1.3s| 657 | 656 | 4962 | 7.3 |1335k| 52 | - | 198 | 46 | 198 | 17 | 18 | 30 | 599 | 0.000000e+00 | 3.030000e+02 | Inf
1.69/1.74 o 153
1.69/1.74 c g 1.6s| 1017 | 991 | 7307 | 7.0 |1505k| 52 | - | 198 | 46 | 198 | 17 | 18 | 41 | 612 | 0.000000e+00 | 1.530000e+02 | Inf
6.39/6.43 o 112
6.39/6.43 c g 6.0s| 5277 | 5187 | 35134 | 6.6 |3410k| 53 | - | 198 | 46 | 198 | 17 | 18 | 194 | 760 | 0.000000e+00 | 1.120000e+02 | Inf
10.79/10.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
10.79/10.84 c 10.1s| 10000 | 9857 | 66327 | 6.6 |5452k| 55 | 8 | 198 | 9 | 198 | 17 | 18 | 338 | 869 | 0.000000e+00 | 1.120000e+02 | Inf
18.59/18.67 c 17.3s| 20000 | 19761 |121847 | 6.1 |9725k| 59 | 8 | 198 | 9 | 198 | 17 | 18 | 523 |1236 | 0.000000e+00 | 1.120000e+02 | Inf
23.18/23.20 o 110
23.18/23.20 c *21.5s| 25970 | 25620 |154363 | 5.9 | 12M| 59 | - | 198 | 9 | 198 | 17 | 18 | 620 |1462 | 0.000000e+00 | 1.100000e+02 | Inf
23.18/23.20 o 108
23.18/23.20 c *21.5s| 25971 | 25613 |154363 | 5.9 | 12M| 59 | - | 198 | 9 | 198 | 17 | 18 | 620 |1462 | 0.000000e+00 | 1.080000e+02 | Inf
24.38/24.44 o 107
24.38/24.44 c *22.7s| 27619 | 27211 |163168 | 5.9 | 13M| 59 | - | 198 | 9 | 198 | 17 | 18 | 647 |1544 | 0.000000e+00 | 1.070000e+02 | Inf
24.89/24.90 o 83
24.89/24.90 c g23.1s| 28238 | 27564 |166336 | 5.9 | 13M| 59 | - | 198 | 9 | 198 | 17 | 18 | 662 |1559 | 0.000000e+00 | 8.300000e+01 | Inf
24.89/24.93 o 80
24.89/24.93 c g23.1s| 28266 | 27552 |166520 | 5.9 | 13M| 59 | - | 198 | 9 | 198 | 17 | 18 | 663 |1565 | 0.000000e+00 | 8.000000e+01 | Inf
26.69/26.73 c 24.8s| 30000 | 29129 |178930 | 6.0 | 13M| 59 | 8 | 198 | 9 | 198 | 17 | 18 | 715 |1670 | 0.000000e+00 | 8.000000e+01 | Inf
34.69/34.78 o 79
34.69/34.78 c *32.3s| 39998 | 38017 |234305 | 5.9 | 18M| 59 | - | 198 | 9 | 198 | 17 | 18 | 980 |2187 | 0.000000e+00 | 7.900000e+01 | Inf
34.69/34.78 c 32.3s| 40000 | 38019 |234311 | 5.9 | 18M| 59 | 8 | 198 | 9 | 198 | 17 | 18 | 980 |2187 | 0.000000e+00 | 7.900000e+01 | Inf
39.59/39.68 o 77
39.59/39.68 c *36.9s| 45936 | 42982 |268765 | 5.8 | 21M| 59 | - | 198 | 9 | 198 | 17 | 18 |1124 |2500 | 0.000000e+00 | 7.700000e+01 | Inf
42.98/43.02 c 40.0s| 50000 | 46446 |291736 | 5.8 | 23M| 59 | 8 | 198 | 9 | 198 | 17 | 18 |1218 |2701 | 0.000000e+00 | 7.700000e+01 | Inf
50.88/50.97 c 47.4s| 60000 | 55115 |348170 | 5.8 | 28M| 59 | 8 | 198 | 9 | 198 | 17 | 18 |1427 |3122 | 0.000000e+00 | 7.700000e+01 | Inf
50.98/51.09 o 75
50.98/51.09 c *47.5s| 60179 | 55193 |348977 | 5.8 | 28M| 59 | - | 198 | 9 | 198 | 17 | 18 |1429 |3125 | 0.000000e+00 | 7.500000e+01 | Inf
58.98/59.03 c 54.9s| 70000 | 63370 |404430 | 5.8 | 33M| 59 | - | 198 | 9 | 198 | 17 | 18 |1688 |3508 | 0.000000e+00 | 7.500000e+01 | Inf
59.98/60.03 o 73
59.98/60.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
59.98/60.03 c *55.8s| 71231 | 64298 |411501 | 5.8 | 33M| 59 | - | 198 | 9 | 198 | 17 | 18 |1726 |3559 | 0.000000e+00 | 7.300000e+01 | Inf
67.09/67.12 c 62.4s| 80000 | 71584 |461418 | 5.8 | 37M| 61 | 8 | 198 | 9 | 198 | 17 | 18 |1919 |3887 | 0.000000e+00 | 7.300000e+01 | Inf
67.17/67.25 o 72
67.17/67.25 c v62.5s| 80162 | 71624 |462350 | 5.8 | 37M| 61 | - | 198 | 9 | 198 | 17 | 18 |1934 |3899 | 0.000000e+00 | 7.200000e+01 | Inf
69.18/69.26 o 71
69.18/69.26 c v64.4s| 82214 | 73123 |477168 | 5.8 | 38M| 61 | - | 198 | 9 | 198 | 17 | 18 |2045 |3958 | 0.000000e+00 | 7.100000e+01 | Inf
72.67/72.71 o 69
72.67/72.71 c *67.5s| 85885 | 75593 |502717 | 5.9 | 40M| 61 | - | 198 | 9 | 198 | 17 | 18 |2226 |4117 | 0.000000e+00 | 6.900000e+01 | Inf
75.98/76.06 c 70.7s| 90000 | 78640 |525872 | 5.8 | 42M| 61 | 8 | 198 | 9 | 198 | 17 | 18 |2351 |4233 | 0.000000e+00 | 6.900000e+01 | Inf
83.97/84.00 c 78.0s|100000 | 86319 |580730 | 5.8 | 46M| 61 | 8 | 198 | 9 | 198 | 17 | 18 |2685 |4531 | 0.000000e+00 | 6.900000e+01 | Inf
91.87/91.97 c 85.5s|110000 | 93986 |635793 | 5.8 | 51M| 61 | 8 | 198 | 10 | 198 | 17 | 18 |3008 |4819 | 0.000000e+00 | 6.900000e+01 | Inf
92.38/92.44 o 68
92.38/92.44 c *85.9s|110542 | 94207 |639139 | 5.8 | 51M| 61 | - | 198 | 10 | 198 | 17 | 18 |3028 |4839 | 0.000000e+00 | 6.800000e+01 | Inf
95.47/95.50 o 67
95.47/95.50 c l88.7s|114378 | 96917 |659781 | 5.8 | 53M| 61 | - | 198 | 10 | 198 | 17 | 18 |3180 |4932 | 0.000000e+00 | 6.700000e+01 | Inf
99.57/99.66 o 66
99.57/99.66 c *92.6s|119104 |100183 |689008 | 5.8 | 55M| 61 | - | 198 | 10 | 198 | 17 | 18 |3372 |5043 | 0.000000e+00 | 6.600000e+01 | Inf
99.57/99.67 o 64
99.57/99.67 c *92.6s|119105 | 98010 |689008 | 5.8 | 53M| 61 | - | 198 | 10 | 198 | 17 | 18 |3372 |5043 | 0.000000e+00 | 6.400000e+01 | Inf
100.37/100.41 c 93.3s|120000 | 98697 |694311 | 5.8 | 53M| 61 | 8 | 198 | 14 | 198 | 17 | 18 |3396 |5081 | 0.000000e+00 | 6.400000e+01 | Inf
108.26/108.34 c 101s|130000 |106676 |753566 | 5.8 | 58M| 61 | - | 198 | 36 | 198 | 17 | 18 |3718 |5319 | 0.000000e+00 | 6.400000e+01 | Inf
116.26/116.34 c 108s|140000 |114550 |812341 | 5.8 | 63M| 61 | 8 | 198 | 38 | 198 | 17 | 18 |4047 |5609 | 0.000000e+00 | 6.400000e+01 | Inf
124.06/124.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
124.06/124.15 c 115s|150000 |122407 |869205 | 5.8 | 67M| 61 | 8 | 198 | 37 | 198 | 17 | 18 |4380 |5841 | 0.000000e+00 | 6.400000e+01 | Inf
124.46/124.55 o 63
124.46/124.55 c * 116s|150484 |122529 |872136 | 5.8 | 67M| 61 | - | 198 | 37 | 198 | 17 | 18 |4400 |5853 | 0.000000e+00 | 6.300000e+01 | Inf
124.46/124.56 o 61
124.46/124.56 c * 116s|150485 |122001 |872136 | 5.8 | 66M| 61 | - | 198 | 37 | 198 | 17 | 18 |4400 |5853 | 0.000000e+00 | 6.100000e+01 | Inf
134.36/134.47 c 125s|160000 |129362 |927803 | 5.8 | 71M| 61 | 8 | 198 | 20 | 198 | 17 | 18 |4746 |6066 | 0.000000e+00 | 6.100000e+01 | Inf
142.36/142.46 c 132s|170000 |136827 |987740 | 5.8 | 76M| 61 | 8 | 198 | 19 | 198 | 17 | 18 |5132 |6274 | 0.000000e+00 | 6.100000e+01 | Inf
150.35/150.44 c 140s|180000 |144263 | 1047k| 5.8 | 80M| 61 | 8 | 198 | 15 | 198 | 17 | 18 |5534 |6490 | 0.000000e+00 | 6.100000e+01 | Inf
158.26/158.37 c 147s|190000 |151559 | 1107k| 5.8 | 85M| 61 | 8 | 198 | 14 | 198 | 17 | 18 |5907 |6678 | 0.000000e+00 | 6.100000e+01 | Inf
161.66/161.77 o 60
161.66/161.77 c v 150s|194387 |154339 | 1132k| 5.8 | 86M| 61 | - | 198 | 14 | 198 | 17 | 18 |6053 |6747 | 0.000000e+00 | 6.000000e+01 | Inf
161.66/161.79 o 58
161.66/161.79 c f 150s|194387 |153359 | 1132k| 5.8 | 85M| 61 | - | 198 | 14 | 198 | 17 | 18 |6056 |6747 | 0.000000e+00 | 5.800000e+01 | Inf
166.85/167.00 c 155s|200000 |157282 | 1170k| 5.9 | 87M| 61 | 8 | 198 | 17 | 198 | 17 | 18 |6358 |6867 | 0.000000e+00 | 5.800000e+01 | Inf
175.15/175.24 c 163s|210000 |164470 | 1232k| 5.9 | 92M| 61 | 8 | 198 | 12 | 198 | 17 | 18 |6774 |7062 | 0.000000e+00 | 5.800000e+01 | Inf
182.85/182.93 c 170s|220000 |171872 | 1289k| 5.9 | 97M| 61 | 8 | 198 | 12 | 198 | 17 | 18 |7111 |7246 | 0.000000e+00 | 5.800000e+01 | Inf
190.54/190.65 c 177s|230000 |179277 | 1347k| 5.9 | 101M| 61 | 8 | 198 | 11 | 198 | 17 | 18 |7481 |7409 | 0.000000e+00 | 5.800000e+01 | Inf
198.45/198.55 c 184s|240000 |186418 | 1405k| 5.9 | 106M| 62 | 8 | 198 | 12 | 198 | 17 | 18 |7886 |7558 | 0.000000e+00 | 5.800000e+01 | Inf
206.35/206.46 c 192s|250000 |193360 | 1464k| 5.9 | 110M| 62 | 8 | 198 | 10 | 198 | 17 | 18 |8342 |7731 | 0.000000e+00 | 5.800000e+01 | Inf
214.14/214.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
214.14/214.22 c 199s|260000 |200516 | 1521k| 5.9 | 115M| 62 | 8 | 198 | 10 | 198 | 17 | 18 |8765 |7876 | 0.000000e+00 | 5.800000e+01 | Inf
216.44/216.58 o 57
216.44/216.58 c * 201s|262943 |202026 | 1539k| 5.9 | 115M| 62 | - | 198 | 10 | 198 | 17 | 18 |8893 |7923 | 0.000000e+00 | 5.700000e+01 | Inf
216.54/216.60 o 55
216.54/216.60 c * 201s|262944 |200422 | 1539k| 5.9 | 113M| 62 | - | 198 | 10 | 198 | 17 | 18 |8893 |7923 | 0.000000e+00 | 5.500000e+01 | Inf
222.05/222.11 c 206s|270000 |205642 | 1579k| 5.8 | 116M| 62 | - | 198 | 12 | 198 | 17 | 18 |9112 |8044 | 0.000000e+00 | 5.500000e+01 | Inf
227.14/227.21 o 54
227.14/227.21 c * 211s|276330 |209032 | 1617k| 5.9 | 118M| 62 | - | 198 | 13 | 198 | 17 | 18 |9368 |8153 | 0.000000e+00 | 5.400000e+01 | Inf
227.14/227.22 o 52
227.14/227.22 c * 211s|276331 |207064 | 1617k| 5.9 | 115M| 62 | - | 198 | 13 | 198 | 17 | 18 |9368 |8153 | 0.000000e+00 | 5.200000e+01 | Inf
230.04/230.10 c 214s|280000 |209565 | 1637k| 5.8 | 117M| 62 | 8 | 198 | 11 | 198 | 17 | 18 |9503 |8208 | 0.000000e+00 | 5.200000e+01 | Inf
237.74/237.85 c 221s|290000 |216232 | 1694k| 5.8 | 121M| 62 | 8 | 198 | 10 | 198 | 17 | 18 |9905 |8376 | 0.000000e+00 | 5.200000e+01 | Inf
245.63/245.76 c 228s|300000 |222819 | 1753k| 5.8 | 125M| 62 | 8 | 198 | 10 | 198 | 17 | 18 | 10k|8530 | 0.000000e+00 | 5.200000e+01 | Inf
251.73/251.82 o 50
251.73/251.82 c * 234s|307827 |225724 | 1797k| 5.8 | 126M| 62 | - | 198 | 10 | 198 | 17 | 18 | 10k|8640 | 0.000000e+00 | 5.000000e+01 | Inf
251.73/251.85 o 48
251.73/251.85 c * 234s|307828 |220473 | 1797k| 5.8 | 122M| 62 | - | 198 | 10 | 198 | 17 | 18 | 10k|8640 | 0.000000e+00 | 4.800000e+01 | Inf
253.53/253.61 c 235s|310000 |221861 | 1810k| 5.8 | 123M| 62 | - | 198 | 13 | 0 | 0 | 18 | 10k|8686 | 0.000000e+00 | 4.800000e+01 | Inf
261.43/261.50 c 243s|320000 |227987 | 1869k| 5.8 | 127M| 62 | 8 | 198 | 11 | 198 | 17 | 18 | 11k|8825 | 0.000000e+00 | 4.800000e+01 | Inf
271.33/271.46 c 252s|330000 |234191 | 1926k| 5.8 | 131M| 64 | 8 | 198 | 15 | 198 | 17 | 18 | 11k|8955 | 0.000000e+00 | 4.800000e+01 | Inf
281.32/281.47 c 261s|340000 |241013 | 1982k| 5.8 | 135M| 64 | 8 | 198 | 12 | 198 | 17 | 18 | 11k|9066 | 0.000000e+00 | 4.800000e+01 | Inf
289.24/289.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
289.24/289.36 c 269s|350000 |247301 | 2040k| 5.8 | 139M| 64 | 8 | 198 | 12 | 198 | 17 | 18 | 12k|9200 | 0.000000e+00 | 4.800000e+01 | Inf
297.23/297.38 c 276s|360000 |253429 | 2099k| 5.8 | 143M| 64 | 8 | 198 | 13 | 198 | 17 | 18 | 12k|9334 | 0.000000e+00 | 4.800000e+01 | Inf
305.22/305.31 c 283s|370000 |259661 | 2156k| 5.8 | 147M| 64 | 8 | 198 | 13 | 198 | 17 | 18 | 12k|9443 | 0.000000e+00 | 4.800000e+01 | Inf
313.12/313.26 c 291s|380000 |265732 | 2215k| 5.8 | 151M| 64 | 8 | 198 | 12 | 198 | 17 | 18 | 13k|9582 | 0.000000e+00 | 4.800000e+01 | Inf
321.12/321.29 c 298s|390000 |271709 | 2274k| 5.8 | 155M| 64 | 8 | 198 | 13 | 198 | 17 | 18 | 13k|9715 | 0.000000e+00 | 4.800000e+01 | Inf
329.02/329.18 c 306s|400000 |277686 | 2332k| 5.8 | 159M| 64 | - | 198 | 12 | 0 | 0 | 18 | 14k|9811 | 0.000000e+00 | 4.800000e+01 | Inf
336.91/337.02 c 313s|410000 |283538 | 2390k| 5.8 | 163M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 14k|9937 | 0.000000e+00 | 4.800000e+01 | Inf
345.02/345.10 c 320s|420000 |289175 | 2449k| 5.8 | 167M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 14k| 10k| 0.000000e+00 | 4.800000e+01 | Inf
353.12/353.27 c 328s|430000 |295201 | 2509k| 5.8 | 171M| 64 | - | 198 | 12 | 198 | 17 | 18 | 15k| 10k| 0.000000e+00 | 4.800000e+01 | Inf
361.01/361.12 c 335s|440000 |301370 | 2566k| 5.8 | 175M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 15k| 10k| 0.000000e+00 | 4.800000e+01 | Inf
369.01/369.12 c 343s|450000 |307396 | 2625k| 5.8 | 179M| 64 | - | 198 | 12 | 0 | 0 | 18 | 16k| 10k| 0.000000e+00 | 4.800000e+01 | Inf
376.90/377.08 c 350s|460000 |313548 | 2683k| 5.8 | 183M| 64 | 8 | 198 | 12 | 198 | 17 | 18 | 16k| 10k| 0.000000e+00 | 4.800000e+01 | Inf
385.01/385.10 c 358s|470000 |319355 | 2742k| 5.8 | 187M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 16k| 10k| 0.000000e+00 | 4.800000e+01 | Inf
393.00/393.10 c 365s|480000 |324902 | 2802k| 5.8 | 191M| 64 | 8 | 198 | 12 | 198 | 17 | 18 | 17k| 10k| 0.000000e+00 | 4.800000e+01 | Inf
399.50/399.64 o 47
399.50/399.64 c * 371s|487922 |328469 | 2850k| 5.8 | 192M| 64 | - | 198 | 12 | 198 | 17 | 18 | 17k| 10k| 0.000000e+00 | 4.700000e+01 | Inf
401.19/401.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
401.19/401.33 c 373s|490000 |329684 | 2862k| 5.8 | 193M| 64 | 8 | 198 | 12 | 198 | 17 | 18 | 17k| 10k| 0.000000e+00 | 4.700000e+01 | Inf
409.50/409.61 c 381s|500000 |335568 | 2924k| 5.8 | 197M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 18k| 10k| 0.000000e+00 | 4.700000e+01 | Inf
417.40/417.52 c 388s|510000 |341609 | 2981k| 5.8 | 201M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 18k| 11k| 0.000000e+00 | 4.700000e+01 | Inf
425.29/425.44 c 395s|520000 |347504 | 3040k| 5.8 | 205M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 18k| 11k| 0.000000e+00 | 4.700000e+01 | Inf
428.39/428.54 o 45
428.39/428.54 c * 398s|523783 |346862 | 3063k| 5.8 | 202M| 64 | - | 198 | 10 | 198 | 17 | 18 | 19k| 11k| 0.000000e+00 | 4.500000e+01 | Inf
428.39/428.57 o 43
428.39/428.57 c * 398s|523785 |343405 | 3063k| 5.8 | 198M| 64 | - | 198 | 10 | 198 | 17 | 18 | 19k| 11k| 0.000000e+00 | 4.300000e+01 | Inf
428.39/428.60 o 41
428.39/428.60 c * 398s|523787 |339497 | 3063k| 5.8 | 193M| 64 | - | 198 | 10 | 198 | 17 | 18 | 19k| 11k| 0.000000e+00 | 4.100000e+01 | Inf
431.00/431.18 o 39
431.00/431.18 c * 401s|527011 |336883 | 3081k| 5.8 | 190M| 64 | - | 198 | 11 | 198 | 17 | 18 | 19k| 11k| 0.000000e+00 | 3.900000e+01 | Inf
431.10/431.21 o 37
431.10/431.21 c * 401s|527012 |332110 | 3081k| 5.8 | 185M| 64 | - | 198 | 11 | 198 | 17 | 18 | 19k| 11k| 0.000000e+00 | 3.700000e+01 | Inf
432.79/432.96 o 35
432.79/432.96 c C 402s|528762 |328297 | 3091k| 5.8 | 181M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 19k| 11k| 0.000000e+00 | 3.500000e+01 | Inf
433.79/433.97 c 403s|530000 |328996 | 3098k| 5.8 | 181M| 64 | - | 198 | 10 | 198 | 17 | 18 | 19k| 11k| 0.000000e+00 | 3.500000e+01 | Inf
441.59/441.74 c 410s|540000 |334066 | 3153k| 5.8 | 185M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 19k| 11k| 0.000000e+00 | 3.500000e+01 | Inf
449.29/449.44 c 418s|550000 |339161 | 3207k| 5.8 | 188M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 19k| 11k| 0.000000e+00 | 3.500000e+01 | Inf
456.99/457.16 c 425s|560000 |344163 | 3262k| 5.8 | 192M| 64 | - | 198 | 10 | 198 | 17 | 18 | 20k| 11k| 0.000000e+00 | 3.500000e+01 | Inf
464.59/464.76 c 432s|570000 |349152 | 3316k| 5.8 | 195M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 20k| 11k| 0.000000e+00 | 3.500000e+01 | Inf
472.28/472.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
472.28/472.40 c 439s|580000 |354087 | 3369k| 5.8 | 199M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 20k| 11k| 0.000000e+00 | 3.500000e+01 | Inf
479.88/480.02 c 446s|590000 |359198 | 3423k| 5.8 | 202M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 21k| 11k| 0.000000e+00 | 3.500000e+01 | Inf
487.38/487.56 c 453s|600000 |364162 | 3477k| 5.8 | 206M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 21k| 12k| 0.000000e+00 | 3.500000e+01 | Inf
495.27/495.46 c 461s|610000 |369654 | 3534k| 5.8 | 209M| 64 | - | 198 | 11 | 0 | 0 | 18 | 21k| 12k| 0.000000e+00 | 3.500000e+01 | Inf
502.88/503.08 c 468s|620000 |374795 | 3587k| 5.8 | 213M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 22k| 12k| 0.000000e+00 | 3.500000e+01 | Inf
509.97/510.16 o 34
509.97/510.16 c * 474s|629089 |377133 | 3637k| 5.8 | 213M| 64 | - | 198 | 10 | 198 | 17 | 18 | 22k| 12k| 0.000000e+00 | 3.400000e+01 | Inf
510.77/510.93 c 475s|630000 |377716 | 3643k| 5.8 | 214M| 64 | 8 | 198 | 12 | 198 | 17 | 18 | 22k| 12k| 0.000000e+00 | 3.400000e+01 | Inf
518.37/518.53 c 482s|640000 |382923 | 3696k| 5.8 | 217M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 22k| 12k| 0.000000e+00 | 3.400000e+01 | Inf
526.16/526.31 c 489s|650000 |387982 | 3749k| 5.8 | 221M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 22k| 12k| 0.000000e+00 | 3.400000e+01 | Inf
533.47/533.61 c 496s|660000 |392625 | 3802k| 5.8 | 224M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 23k| 12k| 0.000000e+00 | 3.400000e+01 | Inf
540.76/540.90 c 503s|670000 |397140 | 3853k| 5.8 | 227M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 23k| 12k| 0.000000e+00 | 3.400000e+01 | Inf
548.26/548.41 c 510s|680000 |401844 | 3907k| 5.7 | 231M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 23k| 12k| 0.000000e+00 | 3.400000e+01 | Inf
555.46/555.68 c 516s|690000 |406241 | 3959k| 5.7 | 234M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 24k| 12k| 0.000000e+00 | 3.400000e+01 | Inf
562.96/563.10 c 523s|700000 |411025 | 4011k| 5.7 | 238M| 64 | - | 198 | 10 | 198 | 17 | 18 | 24k| 12k| 0.000000e+00 | 3.400000e+01 | Inf
570.26/570.48 c 530s|710000 |415699 | 4063k| 5.7 | 241M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 24k| 13k| 0.000000e+00 | 3.400000e+01 | Inf
577.66/577.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
577.66/577.89 c 537s|720000 |420389 | 4116k| 5.7 | 244M| 64 | - | 198 | 10 | 0 | 0 | 18 | 25k| 13k| 0.000000e+00 | 3.400000e+01 | Inf
585.26/585.45 c 544s|730000 |425316 | 4169k| 5.7 | 248M| 64 | - | 198 | 10 | 198 | 17 | 18 | 25k| 13k| 0.000000e+00 | 3.400000e+01 | Inf
592.66/592.85 c 551s|740000 |430104 | 4222k| 5.7 | 251M| 64 | - | 198 | 10 | 198 | 17 | 18 | 25k| 13k| 0.000000e+00 | 3.400000e+01 | Inf
599.86/600.00 c 558s|750000 |434633 | 4272k| 5.7 | 254M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 26k| 13k| 0.000000e+00 | 3.400000e+01 | Inf
607.25/607.48 c 565s|760000 |439538 | 4326k| 5.7 | 258M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 26k| 13k| 0.000000e+00 | 3.400000e+01 | Inf
615.05/615.27 c 572s|770000 |444789 | 4380k| 5.7 | 261M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 26k| 13k| 0.000000e+00 | 3.400000e+01 | Inf
622.74/622.97 c 579s|780000 |449971 | 4434k| 5.7 | 265M| 64 | - | 198 | 10 | 198 | 17 | 18 | 27k| 13k| 0.000000e+00 | 3.400000e+01 | Inf
630.34/630.54 c 586s|790000 |454869 | 4487k| 5.7 | 268M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 27k| 13k| 0.000000e+00 | 3.400000e+01 | Inf
637.95/638.11 c 593s|800000 |459714 | 4541k| 5.7 | 272M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 27k| 13k| 0.000000e+00 | 3.400000e+01 | Inf
645.55/645.78 c 600s|810000 |464691 | 4595k| 5.7 | 275M| 64 | - | 198 | 10 | 198 | 17 | 18 | 28k| 13k| 0.000000e+00 | 3.400000e+01 | Inf
652.84/653.05 c 607s|820000 |469409 | 4647k| 5.7 | 279M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 28k| 13k| 0.000000e+00 | 3.400000e+01 | Inf
660.34/660.52 c 614s|830000 |474249 | 4699k| 5.7 | 282M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 28k| 14k| 0.000000e+00 | 3.400000e+01 | Inf
667.93/668.19 c 621s|840000 |479558 | 4753k| 5.7 | 285M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 28k| 14k| 0.000000e+00 | 3.400000e+01 | Inf
675.43/675.67 c 628s|850000 |484547 | 4805k| 5.7 | 289M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 29k| 14k| 0.000000e+00 | 3.400000e+01 | Inf
683.43/683.67 c 636s|860000 |489828 | 4861k| 5.7 | 292M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 29k| 14k| 0.000000e+00 | 3.400000e+01 | Inf
691.03/691.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
691.03/691.25 c 643s|870000 |495022 | 4915k| 5.6 | 296M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 29k| 14k| 0.000000e+00 | 3.400000e+01 | Inf
698.52/698.78 c 650s|880000 |499713 | 4968k| 5.6 | 299M| 64 | - | 198 | 10 | 0 | 0 | 18 | 30k| 14k| 0.000000e+00 | 3.400000e+01 | Inf
706.13/706.31 c 657s|890000 |504420 | 5022k| 5.6 | 303M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 30k| 14k| 0.000000e+00 | 3.400000e+01 | Inf
713.23/713.44 c 663s|900000 |508887 | 5073k| 5.6 | 306M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 30k| 14k| 0.000000e+00 | 3.400000e+01 | Inf
720.63/720.82 c 670s|910000 |513455 | 5125k| 5.6 | 309M| 64 | - | 198 | 10 | 198 | 17 | 18 | 31k| 14k| 0.000000e+00 | 3.400000e+01 | Inf
727.72/727.96 c 677s|920000 |518046 | 5176k| 5.6 | 313M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 31k| 14k| 0.000000e+00 | 3.400000e+01 | Inf
735.02/735.26 c 684s|930000 |522619 | 5228k| 5.6 | 316M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 31k| 14k| 0.000000e+00 | 3.400000e+01 | Inf
742.12/742.31 c 690s|940000 |527105 | 5277k| 5.6 | 320M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 32k| 15k| 0.000000e+00 | 3.400000e+01 | Inf
749.32/749.52 c 697s|950000 |531750 | 5327k| 5.6 | 323M| 64 | - | 198 | 12 | 198 | 17 | 18 | 32k| 15k| 0.000000e+00 | 3.400000e+01 | Inf
756.62/756.86 c 704s|960000 |536392 | 5379k| 5.6 | 326M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 32k| 15k| 0.000000e+00 | 3.400000e+01 | Inf
763.71/763.91 c 710s|970000 |540603 | 5429k| 5.6 | 329M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 32k| 15k| 0.000000e+00 | 3.400000e+01 | Inf
770.71/770.90 c 717s|980000 |544720 | 5479k| 5.6 | 333M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 33k| 15k| 0.000000e+00 | 3.400000e+01 | Inf
777.81/778.00 c 724s|990000 |549029 | 5529k| 5.6 | 336M| 64 | - | 198 | 10 | 0 | 0 | 18 | 33k| 15k| 0.000000e+00 | 3.400000e+01 | Inf
784.90/785.13 c 730s| 1000k|553312 | 5579k| 5.6 | 339M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 33k| 15k| 0.000000e+00 | 3.400000e+01 | Inf
792.01/792.25 c 737s| 1010k|557558 | 5629k| 5.6 | 343M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 34k| 15k| 0.000000e+00 | 3.400000e+01 | Inf
799.10/799.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
799.10/799.39 c 744s| 1020k|561886 | 5680k| 5.6 | 346M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 34k| 15k| 0.000000e+00 | 3.400000e+01 | Inf
806.50/806.71 c 750s| 1030k|566457 | 5731k| 5.6 | 349M| 64 | - | 198 | 11 | 198 | 17 | 18 | 34k| 15k| 0.000000e+00 | 3.400000e+01 | Inf
813.51/813.71 c 757s| 1040k|570710 | 5781k| 5.6 | 352M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 35k| 15k| 0.000000e+00 | 3.400000e+01 | Inf
820.41/820.62 c 763s| 1050k|574827 | 5830k| 5.6 | 356M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 35k| 15k| 0.000000e+00 | 3.400000e+01 | Inf
825.10/825.36 o 32
825.10/825.36 c * 768s| 1056k|554686 | 5863k| 5.5 | 339M| 64 | - | 198 | 10 | 198 | 17 | 18 | 35k| 15k| 0.000000e+00 | 3.200000e+01 | Inf
825.20/825.40 o 30
825.20/825.40 c * 768s| 1056k|548946 | 5863k| 5.5 | 331M| 64 | - | 198 | 10 | 198 | 17 | 18 | 35k| 15k| 0.000000e+00 | 3.000000e+01 | Inf
827.50/827.70 c 770s| 1060k|550296 | 5880k| 5.5 | 332M| 64 | - | 198 | 10 | 198 | 17 | 18 | 35k| 15k| 0.000000e+00 | 3.000000e+01 | Inf
834.50/834.74 c 776s| 1070k|554462 | 5934k| 5.5 | 335M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 35k| 16k| 0.000000e+00 | 3.000000e+01 | Inf
841.69/841.96 c 783s| 1080k|559003 | 5990k| 5.5 | 338M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 36k| 16k| 0.000000e+00 | 3.000000e+01 | Inf
848.90/849.11 c 790s| 1090k|563293 | 6045k| 5.5 | 341M| 64 | - | 198 | 11 | 198 | 17 | 18 | 36k| 16k| 0.000000e+00 | 3.000000e+01 | Inf
856.09/856.34 c 797s| 1100k|567837 | 6100k| 5.5 | 344M| 64 | 8 | 198 | 9 | 198 | 17 | 18 | 36k| 16k| 0.000000e+00 | 3.000000e+01 | Inf
863.30/863.58 c 803s| 1110k|572414 | 6156k| 5.5 | 347M| 64 | - | 198 | 9 | 198 | 17 | 18 | 37k| 16k| 0.000000e+00 | 3.000000e+01 | Inf
870.18/870.49 c 810s| 1120k|576719 | 6208k| 5.5 | 349M| 64 | - | 198 | 10 | 198 | 17 | 18 | 37k| 16k| 0.000000e+00 | 3.000000e+01 | Inf
877.08/877.35 c 816s| 1130k|580709 | 6262k| 5.5 | 352M| 64 | 8 | 198 | 9 | 198 | 17 | 18 | 37k| 16k| 0.000000e+00 | 3.000000e+01 | Inf
883.99/884.21 c 823s| 1140k|584495 | 6315k| 5.5 | 355M| 64 | - | 198 | 9 | 198 | 17 | 18 | 37k| 16k| 0.000000e+00 | 3.000000e+01 | Inf
891.49/891.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
891.49/891.73 c 830s| 1150k|589725 | 6372k| 5.5 | 358M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 38k| 16k| 0.000000e+00 | 3.000000e+01 | Inf
899.38/899.61 c 837s| 1160k|595726 | 6430k| 5.5 | 361M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 38k| 16k| 0.000000e+00 | 3.000000e+01 | Inf
906.48/906.76 c 844s| 1170k|600539 | 6485k| 5.5 | 364M| 64 | - | 198 | 10 | 0 | 0 | 18 | 38k| 16k| 0.000000e+00 | 3.000000e+01 | Inf
913.58/913.81 c 850s| 1180k|605311 | 6539k| 5.5 | 367M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 39k| 16k| 0.000000e+00 | 3.000000e+01 | Inf
920.58/920.80 c 857s| 1190k|609835 | 6592k| 5.5 | 370M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 39k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
927.57/927.83 c 863s| 1200k|614465 | 6646k| 5.5 | 373M| 64 | - | 198 | 12 | 198 | 17 | 18 | 39k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
934.48/934.79 c 870s| 1210k|618766 | 6699k| 5.5 | 376M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 40k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
941.47/941.76 c 876s| 1220k|623049 | 6753k| 5.5 | 379M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 40k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
948.37/948.61 c 883s| 1230k|627095 | 6806k| 5.5 | 381M| 64 | 8 | 198 | 9 | 198 | 17 | 18 | 40k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
955.16/955.50 c 889s| 1240k|631349 | 6859k| 5.5 | 384M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 41k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
962.06/962.37 c 895s| 1250k|635018 | 6912k| 5.5 | 387M| 64 | 8 | 198 | 9 | 198 | 17 | 18 | 41k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
968.96/969.23 c 902s| 1260k|638844 | 6966k| 5.5 | 390M| 64 | 8 | 198 | 9 | 198 | 17 | 18 | 41k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
975.86/976.16 c 908s| 1270k|642926 | 7020k| 5.5 | 392M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 41k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
982.66/982.90 c 915s| 1280k|646703 | 7072k| 5.5 | 395M| 64 | 8 | 198 | 11 | 198 | 17 | 18 | 42k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
989.46/989.71 c 921s| 1290k|650667 | 7126k| 5.5 | 398M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 42k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
996.26/996.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
996.26/996.51 c 927s| 1300k|654461 | 7180k| 5.5 | 400M| 64 | - | 198 | 10 | 198 | 17 | 18 | 42k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
1003.06/1003.39 c 934s| 1310k|658336 | 7234k| 5.5 | 403M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 43k| 17k| 0.000000e+00 | 3.000000e+01 | Inf
1010.05/1010.34 c 940s| 1320k|662380 | 7288k| 5.5 | 406M| 64 | 8 | 198 | 9 | 198 | 17 | 18 | 43k| 18k| 0.000000e+00 | 3.000000e+01 | Inf
1017.05/1017.38 c 947s| 1330k|666354 | 7343k| 5.5 | 409M| 64 | 8 | 198 | 9 | 198 | 17 | 18 | 43k| 18k| 0.000000e+00 | 3.000000e+01 | Inf
1023.96/1024.29 c 953s| 1340k|670131 | 7397k| 5.5 | 411M| 64 | 8 | 198 | 9 | 198 | 17 | 18 | 44k| 18k| 0.000000e+00 | 3.000000e+01 | Inf
1030.96/1031.29 c 960s| 1350k|674398 | 7451k| 5.5 | 414M| 64 | - | 198 | 10 | 198 | 17 | 18 | 44k| 18k| 0.000000e+00 | 3.000000e+01 | Inf
1037.75/1038.07 c 966s| 1360k|678063 | 7504k| 5.5 | 416M| 64 | - | 198 | 10 | 198 | 17 | 18 | 44k| 18k| 0.000000e+00 | 3.000000e+01 | Inf
1044.75/1045.08 c 972s| 1370k|682034 | 7560k| 5.5 | 419M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 44k| 18k| 0.000000e+00 | 3.000000e+01 | Inf
1051.55/1051.80 c 979s| 1380k|685240 | 7614k| 5.5 | 422M| 64 | 8 | 198 | 12 | 198 | 17 | 18 | 45k| 18k| 0.000000e+00 | 3.000000e+01 | Inf
1058.34/1058.69 c 985s| 1390k|689092 | 7668k| 5.5 | 424M| 64 | - | 198 | 9 | 198 | 17 | 18 | 45k| 18k| 0.000000e+00 | 3.000000e+01 | Inf
1065.14/1065.49 c 991s| 1400k|692864 | 7721k| 5.5 | 427M| 64 | 8 | 198 | 10 | 198 | 17 | 18 | 45k| 18k| 0.000000e+00 | 3.000000e+01 | Inf
1072.04/1072.35 c 998s| 1410k|696831 | 7774k| 5.5 | 430M| 64 | - | 198 | 10 | 198 | 17 | 18 | 45k| 18k| 0.000000e+00 | 3.000000e+01 | Inf
1078.94/1079.21 c 1004s| 1420k|700887 | 7827k| 5.5 | 432M| 64 | - | 198 | 11 | 198 | 17 | 18 | 46k| 18k| 0.000000e+00 | 3.000000e+01 | Inf
1082.04/1082.35 o 28
1082.04/1082.35 c *1007s| 1424k|695219 | 7851k| 5.5 | 423M| 64 | - | 198 | 11 | 198 | 17 | 18 | 46k| 18k| 0.000000e+00 | 2.800000e+01 | Inf
1088.04/1088.38 c 1013s| 1430k|697375 | 7879k| 5.5 | 425M| 64 | 8 | 198 | 12 | 198 | 17 | 18 | 46k| 18k| 0.000000e+00 | 2.800000e+01 | Inf
1097.54/1097.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1097.54/1097.87 c 1021s| 1440k|702083 | 7934k| 5.5 | 427M| 64 | 8 | 198 | 12 | 198 | 17 | 18 | 46k| 18k| 0.000000e+00 | 2.800000e+01 | Inf
1104.43/1104.76 c 1028s| 1450k|706208 | 7986k| 5.5 | 430M| 66 | - | 198 | 11 | 0 | 0 | 18 | 47k| 18k| 0.000000e+00 | 2.800000e+01 | Inf
1111.53/1111.84 c 1034s| 1460k|710282 | 8039k| 5.5 | 433M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 47k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1118.34/1118.66 c 1041s| 1470k|713922 | 8092k| 5.5 | 435M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 47k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1125.03/1125.36 c 1047s| 1480k|717186 | 8144k| 5.5 | 438M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 47k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1131.73/1132.04 c 1053s| 1490k|720654 | 8195k| 5.5 | 440M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 48k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1138.32/1138.69 c 1059s| 1500k|724085 | 8247k| 5.5 | 443M| 66 | - | 198 | 10 | 198 | 17 | 18 | 48k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1145.02/1145.39 c 1066s| 1510k|727456 | 8300k| 5.5 | 445M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 48k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1151.72/1152.07 c 1072s| 1520k|730792 | 8352k| 5.5 | 448M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 48k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1159.22/1159.55 c 1079s| 1530k|735685 | 8408k| 5.5 | 451M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 49k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1166.02/1166.37 c 1085s| 1540k|739704 | 8460k| 5.5 | 453M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 49k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1172.92/1173.25 c 1091s| 1550k|743492 | 8513k| 5.5 | 456M| 66 | - | 198 | 11 | 198 | 17 | 18 | 49k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1179.72/1180.00 c 1098s| 1560k|747262 | 8565k| 5.5 | 459M| 66 | - | 198 | 9 | 198 | 17 | 18 | 49k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1186.31/1186.66 c 1104s| 1570k|750608 | 8616k| 5.5 | 461M| 66 | - | 198 | 9 | 198 | 17 | 18 | 50k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1193.01/1193.34 c 1110s| 1580k|753785 | 8668k| 5.5 | 464M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 50k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1200.72/1201.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1200.72/1201.01 c 1117s| 1590k|758612 | 8725k| 5.5 | 466M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 50k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1207.82/1208.15 c 1124s| 1600k|763715 | 8778k| 5.5 | 469M| 66 | - | 198 | 10 | 198 | 17 | 18 | 50k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1214.71/1215.07 c 1130s| 1610k|768054 | 8829k| 5.5 | 472M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 51k| 19k| 0.000000e+00 | 2.800000e+01 | Inf
1221.51/1221.82 c 1137s| 1620k|772050 | 8880k| 5.5 | 475M| 66 | - | 198 | 10 | 198 | 17 | 18 | 51k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1228.41/1228.74 c 1143s| 1630k|776248 | 8934k| 5.5 | 477M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 51k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1234.91/1235.29 c 1149s| 1640k|779790 | 8984k| 5.5 | 480M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 52k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1241.61/1241.91 c 1155s| 1650k|783234 | 9036k| 5.5 | 483M| 66 | - | 198 | 9 | 198 | 17 | 18 | 52k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1248.10/1248.50 c 1162s| 1660k|786481 | 9086k| 5.5 | 485M| 66 | - | 198 | 9 | 198 | 17 | 18 | 52k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1255.00/1255.34 c 1168s| 1670k|790244 | 9138k| 5.5 | 488M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 52k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1261.60/1261.96 c 1174s| 1680k|793187 | 9189k| 5.5 | 490M| 66 | - | 198 | 11 | 198 | 17 | 18 | 53k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1268.70/1269.04 c 1181s| 1690k|797354 | 9243k| 5.5 | 493M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 53k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1275.60/1275.96 c 1187s| 1700k|801621 | 9295k| 5.5 | 495M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 53k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1282.19/1282.58 c 1193s| 1710k|805049 | 9345k| 5.5 | 498M| 66 | - | 198 | 10 | 198 | 17 | 18 | 53k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1288.89/1289.24 c 1200s| 1720k|808563 | 9396k| 5.5 | 500M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 54k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1295.39/1295.80 c 1206s| 1730k|811447 | 9447k| 5.5 | 502M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 54k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1301.89/1302.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1301.89/1302.30 c 1212s| 1740k|814556 | 9496k| 5.5 | 505M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 54k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1308.59/1308.92 c 1218s| 1750k|818034 | 9548k| 5.5 | 507M| 66 | 8 | 198 | 12 | 198 | 17 | 18 | 54k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1315.19/1315.50 c 1224s| 1760k|821328 | 9598k| 5.5 | 509M| 66 | - | 198 | 10 | 0 | 0 | 18 | 55k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1321.69/1322.04 c 1230s| 1770k|824332 | 9648k| 5.5 | 512M| 66 | - | 198 | 11 | 198 | 17 | 18 | 55k| 20k| 0.000000e+00 | 2.800000e+01 | Inf
1328.19/1328.52 c 1236s| 1780k|827414 | 9698k| 5.4 | 514M| 66 | - | 198 | 11 | 0 | 0 | 18 | 55k| 21k| 0.000000e+00 | 2.800000e+01 | Inf
1334.58/1334.96 c 1242s| 1790k|830604 | 9746k| 5.4 | 516M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 55k| 21k| 0.000000e+00 | 2.800000e+01 | Inf
1341.28/1341.65 c 1248s| 1800k|833776 | 9797k| 5.4 | 518M| 66 | - | 198 | 9 | 198 | 17 | 18 | 56k| 21k| 0.000000e+00 | 2.800000e+01 | Inf
1347.77/1348.14 c 1254s| 1810k|836872 | 9847k| 5.4 | 521M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 56k| 21k| 0.000000e+00 | 2.800000e+01 | Inf
1354.67/1355.00 c 1261s| 1820k|841014 | 9898k| 5.4 | 523M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 56k| 21k| 0.000000e+00 | 2.800000e+01 | Inf
1361.27/1361.68 c 1267s| 1830k|844968 | 9948k| 5.4 | 526M| 66 | - | 198 | 9 | 198 | 17 | 18 | 56k| 21k| 0.000000e+00 | 2.800000e+01 | Inf
1367.77/1368.14 c 1273s| 1840k|848075 | 9997k| 5.4 | 528M| 66 | - | 198 | 9 | 198 | 17 | 18 | 57k| 21k| 0.000000e+00 | 2.800000e+01 | Inf
1374.37/1374.76 c 1279s| 1850k|850996 | 10048k| 5.4 | 530M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 57k| 21k| 0.000000e+00 | 2.800000e+01 | Inf
1380.97/1381.35 c 1285s| 1860k|854572 | 10099k| 5.4 | 533M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 57k| 21k| 0.000000e+00 | 2.800000e+01 | Inf
1387.47/1387.89 c 1291s| 1870k|857729 | 10150k| 5.4 | 535M| 66 | - | 198 | 10 | 198 | 17 | 18 | 57k| 21k| 0.000000e+00 | 2.800000e+01 | Inf
1393.97/1394.34 c 1297s| 1880k|860739 | 10198k| 5.4 | 538M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 58k| 21k| 0.000000e+00 | 2.800000e+01 | Inf
1400.57/1400.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1400.57/1400.96 c 1303s| 1890k|863745 | 10250k| 5.4 | 540M| 66 | 8 | 198 | 13 | 198 | 17 | 18 | 58k| 21k| 0.000000e+00 | 2.800000e+01 | Inf
1403.87/1404.27 o 27
1403.87/1404.27 c *1306s| 1894k|861175 | 10275k| 5.4 | 535M| 66 | - | 198 | 12 | 198 | 17 | 18 | 58k| 21k| 0.000000e+00 | 2.700000e+01 | Inf
1407.26/1407.63 c 1310s| 1900k|862681 | 10301k| 5.4 | 536M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 58k| 21k| 0.000000e+00 | 2.700000e+01 | Inf
1414.07/1414.44 c 1316s| 1910k|865873 | 10353k| 5.4 | 539M| 66 | 8 | 198 | 11 | 198 | 17 | 18 | 58k| 21k| 0.000000e+00 | 2.700000e+01 | Inf
1420.56/1421.00 c 1322s| 1920k|868818 | 10404k| 5.4 | 541M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 59k| 21k| 0.000000e+00 | 2.700000e+01 | Inf
1427.47/1427.89 c 1328s| 1930k|872731 | 10456k| 5.4 | 544M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 59k| 21k| 0.000000e+00 | 2.700000e+01 | Inf
1434.36/1434.76 c 1335s| 1940k|876695 | 10510k| 5.4 | 546M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 59k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1441.06/1441.44 c 1341s| 1950k|879818 | 10561k| 5.4 | 549M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 59k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1447.56/1447.96 c 1347s| 1960k|883046 | 10611k| 5.4 | 551M| 66 | - | 198 | 9 | 198 | 17 | 18 | 60k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1454.05/1454.50 c 1353s| 1970k|886148 | 10663k| 5.4 | 553M| 66 | 8 | 198 | 11 | 198 | 17 | 18 | 60k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1460.95/1461.37 c 1360s| 1980k|889787 | 10715k| 5.4 | 556M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 60k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1468.35/1468.71 c 1366s| 1990k|894405 | 10771k| 5.4 | 559M| 66 | - | 198 | 12 | 0 | 0 | 18 | 60k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1475.25/1475.70 c 1373s| 2000k|898493 | 10825k| 5.4 | 561M| 66 | - | 198 | 9 | 198 | 17 | 18 | 61k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1482.35/1482.73 c 1380s| 2010k|902568 | 10879k| 5.4 | 564M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 61k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1489.05/1489.44 c 1386s| 2020k|906155 | 10931k| 5.4 | 567M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 61k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1495.65/1496.09 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1495.65/1496.09 c 1392s| 2030k|909402 | 10982k| 5.4 | 569M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 61k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1502.84/1503.27 c 1399s| 2040k|913762 | 11036k| 5.4 | 572M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 62k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1509.74/1510.17 c 1405s| 2050k|917876 | 11089k| 5.4 | 574M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 62k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1516.44/1516.81 c 1411s| 2060k|921341 | 11140k| 5.4 | 577M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 62k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1523.15/1523.56 c 1417s| 2070k|924675 | 11193k| 5.4 | 579M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 62k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1529.84/1530.27 c 1424s| 2080k|928421 | 11243k| 5.4 | 582M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 63k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1536.43/1536.83 c 1430s| 2090k|931776 | 11293k| 5.4 | 584M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 63k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1543.23/1543.61 c 1436s| 2100k|935185 | 11345k| 5.4 | 587M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 63k| 22k| 0.000000e+00 | 2.700000e+01 | Inf
1549.83/1550.24 c 1442s| 2110k|938667 | 11396k| 5.4 | 589M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 63k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1556.53/1556.95 c 1448s| 2120k|942169 | 11446k| 5.4 | 592M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 64k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1563.12/1563.60 c 1455s| 2130k|946189 | 11495k| 5.4 | 594M| 66 | 8 | 198 | 11 | 198 | 17 | 18 | 64k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1570.33/1570.74 c 1461s| 2140k|950687 | 11549k| 5.4 | 597M| 66 | - | 198 | 11 | 198 | 17 | 18 | 64k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1577.12/1577.51 c 1468s| 2150k|954422 | 11601k| 5.4 | 599M| 66 | 8 | 198 | 11 | 198 | 17 | 18 | 64k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1584.42/1584.88 c 1474s| 2160k|958996 | 11657k| 5.4 | 602M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 65k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1591.82/1592.27 c 1481s| 2170k|963494 | 11714k| 5.4 | 605M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 65k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1598.72/1599.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1598.72/1599.19 c 1488s| 2180k|967627 | 11766k| 5.4 | 608M| 66 | - | 198 | 9 | 198 | 17 | 18 | 65k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1605.52/1605.92 c 1494s| 2190k|971236 | 11818k| 5.4 | 610M| 66 | - | 198 | 11 | 198 | 17 | 18 | 65k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1612.22/1612.64 c 1500s| 2200k|974570 | 11870k| 5.4 | 613M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 66k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1618.83/1619.23 c 1506s| 2210k|977755 | 11921k| 5.4 | 615M| 66 | - | 198 | 11 | 198 | 17 | 18 | 66k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1625.51/1625.96 c 1513s| 2220k|981225 | 11973k| 5.4 | 617M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 66k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1632.11/1632.55 c 1519s| 2230k|984473 | 12023k| 5.4 | 620M| 66 | - | 198 | 9 | 198 | 17 | 18 | 66k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1638.61/1639.05 c 1525s| 2240k|987462 | 12073k| 5.4 | 622M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 67k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1645.41/1645.83 c 1531s| 2250k|990811 | 12125k| 5.4 | 624M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 67k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1652.01/1652.40 c 1537s| 2260k|994265 | 12176k| 5.4 | 627M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 67k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1658.51/1658.99 c 1544s| 2270k|997523 | 12226k| 5.4 | 629M| 66 | - | 198 | 9 | 198 | 17 | 18 | 67k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1665.30/1665.73 c 1550s| 2280k| 1001k| 12277k| 5.4 | 632M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 68k| 23k| 0.000000e+00 | 2.700000e+01 | Inf
1671.61/1672.08 c 1556s| 2290k| 1004k| 12326k| 5.4 | 634M| 66 | - | 198 | 9 | 198 | 17 | 18 | 68k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1678.21/1678.66 c 1562s| 2300k| 1008k| 12376k| 5.4 | 636M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 68k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1684.81/1685.23 c 1568s| 2310k| 1011k| 12427k| 5.4 | 639M| 66 | - | 198 | 9 | 0 | 0 | 18 | 68k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1691.30/1691.79 c 1574s| 2320k| 1015k| 12477k| 5.4 | 641M| 66 | - | 198 | 9 | 198 | 17 | 18 | 69k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1697.70/1698.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1697.70/1698.17 c 1580s| 2330k| 1018k| 12526k| 5.4 | 644M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 69k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1704.29/1704.71 c 1586s| 2340k| 1022k| 12576k| 5.4 | 646M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 69k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1710.99/1711.41 c 1592s| 2350k| 1025k| 12628k| 5.4 | 649M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 69k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1718.09/1718.56 c 1599s| 2360k| 1030k| 12682k| 5.4 | 651M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 70k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1724.69/1725.11 c 1605s| 2370k| 1033k| 12734k| 5.4 | 654M| 66 | - | 198 | 11 | 198 | 17 | 18 | 70k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1731.18/1731.60 c 1611s| 2380k| 1036k| 12784k| 5.4 | 656M| 66 | - | 198 | 10 | 0 | 0 | 18 | 70k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1737.60/1738.07 c 1617s| 2390k| 1040k| 12834k| 5.4 | 658M| 66 | 8 | 198 | 11 | 198 | 17 | 18 | 71k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1743.98/1744.45 c 1623s| 2400k| 1043k| 12883k| 5.4 | 661M| 66 | - | 198 | 12 | 198 | 17 | 18 | 71k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1750.49/1750.99 c 1629s| 2410k| 1046k| 12934k| 5.4 | 663M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 71k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1756.88/1757.39 c 1635s| 2420k| 1049k| 12983k| 5.4 | 665M| 66 | 8 | 198 | 9 | 198 | 17 | 18 | 71k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1763.18/1763.67 c 1641s| 2430k| 1052k| 13032k| 5.4 | 667M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 72k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1769.58/1770.07 c 1647s| 2440k| 1055k| 13081k| 5.4 | 670M| 66 | 8 | 198 | 10 | 198 | 17 | 18 | 72k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1775.98/1776.45 c 1653s| 2450k| 1057k| 13131k| 5.4 | 672M| 66 | - | 198 | 9 | 198 | 17 | 18 | 72k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1782.17/1782.66 c 1659s| 2460k| 1060k| 13179k| 5.4 | 674M| 66 | - | 198 | 10 | 0 | 0 | 18 | 72k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1788.68/1789.16 c 1665s| 2470k| 1063k| 13229k| 5.4 | 676M| 66 | - | 198 | 13 | 198 | 17 | 18 | 73k| 24k| 0.000000e+00 | 2.700000e+01 | Inf
1795.07/1795.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1795.07/1795.50 c 1671s| 2480k| 1066k| 13279k| 5.4 | 678M| 66 | - | 198 | 11 | 198 | 17 | 18 | 73k| 25k| 0.000000e+00 | 2.700000e+01 | Inf
1800.08/1800.50 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.08/1800.50 c
1800.08/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.50 c Solving Time (sec) : 1675.28
1800.08/1800.50 c Solving Nodes : 2487904
1800.08/1800.50 c Primal Bound : +2.70000000000000e+01 (80 solutions)
1800.08/1800.50 c Dual Bound : +0.00000000000000e+00
1800.08/1800.50 c Gap : infinite
1800.08/1800.50 s SATISFIABLE
1800.08/1800.50 v -x198 -x197 -x196 x195 x194 -x193 x192 -x191 -x190 x189 x188 x187 -x186 x185 x184 x183 -x182 x181 x180 x179 -x178 x177 -x176 -x175
1800.08/1800.50 v x174 -x173 x172 -x171 x170 -x169 -x168 -x167 x166 -x165 x164 x163 -x162 -x161 x160 -x159 -x158 x157 -x156 -x155 x154 -x153
1800.08/1800.50 v -x152 x151 x150 -x149 -x148 x147 x146 -x145 -x144 x143 x142 -x141 x140 -x139 x138 x137 x136 -x135 x134 -x133 -x132 x131 x130
1800.08/1800.50 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.50 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.50 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.50 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.50 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 -x9
1800.08/1800.50 v -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.08/1800.50 c SCIP Status : solving was interrupted [user interrupt]
1800.08/1800.50 c Solving Time : 1675.28
1800.08/1800.50 c Original Problem :
1800.08/1800.50 c Problem name : HOME/instance-2667097-1276601429.opb
1800.08/1800.50 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.50 c Constraints : 16 initial, 16 maximal
1800.08/1800.50 c Presolved Problem :
1800.08/1800.50 c Problem name : t_HOME/instance-2667097-1276601429.opb
1800.08/1800.50 c Variables : 198 (198 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.08/1800.50 c Constraints : 8 initial, 46 maximal
1800.08/1800.50 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.08/1800.50 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.50 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.50 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.50 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.50 c implics : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.50 c probing : 0.01 0 0 0 0 0 0 0 0
1800.08/1800.50 c linear : 0.00 0 0 0 0 0 8 0 0
1800.08/1800.50 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.08/1800.50 c root node : - 48 - - 48 - - - -
1800.08/1800.50 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.08/1800.50 c integral : 0 0 0 1830908 0 96 4972 0 0 3652174
1800.08/1800.50 c linear : 8+ 7 4825850 0 0 233264 1563550 0 0 0
1800.08/1800.50 c logicor : 0+ 0 152149 0 0 2098 27851 0 0 0
1800.08/1800.50 c countsols : 0 0 0 30 0 0 0 0 0 0
1800.08/1800.50 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.08/1800.50 c integral : 28.23 0.00 0.00 28.23 0.00
1800.08/1800.50 c linear : 445.14 0.00 445.14 0.00 0.00
1800.08/1800.50 c logicor : 0.49 0.00 0.49 0.00 0.00
1800.08/1800.50 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.08/1800.50 c Propagators : Time Calls Cutoffs DomReds
1800.08/1800.50 c vbounds : 2.38 2 0 0
1800.08/1800.50 c rootredcost : 1.98 45 0 48
1800.08/1800.50 c pseudoobj : 48.93 4829757 4072 497300
1800.08/1800.50 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.08/1800.50 c propagation : 22.22 237401 69347 90042 72.5 37 38.8 -
1800.08/1800.50 c infeasible LP : 1.22 14331 6687 8562 45.5 2 46.0 0
1800.08/1800.50 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.50 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.08/1800.50 c pseudo solution : 0.00 119 119 119 2.1 0 0.0 -
1800.08/1800.50 c applied globally : - - - 431 21.6 - - -
1800.08/1800.50 c applied locally : - - - 73097 70.9 - - -
1800.08/1800.50 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.08/1800.50 c cut pool : 0.00 5 - - 1 - (maximal pool size: 60)
1800.08/1800.50 c redcost : 67.50 2614168 0 13810544 0 0
1800.08/1800.50 c impliedbounds : 0.00 6 0 0 0 0
1800.08/1800.50 c intobj : 0.00 0 0 0 0 0
1800.08/1800.50 c cgmip : 0.00 0 0 0 0 0
1800.08/1800.50 c gomory : 0.02 6 0 0 0 0
1800.08/1800.50 c strongcg : 0.01 6 0 0 20 0
1800.08/1800.50 c cmir : 0.03 6 0 0 19 0
1800.08/1800.50 c flowcover : 0.06 6 0 0 23 0
1800.08/1800.50 c clique : 0.00 1 0 0 0 0
1800.08/1800.50 c zerohalf : 0.00 0 0 0 0 0
1800.08/1800.50 c mcf : 0.00 1 0 0 0 0
1800.08/1800.50 c rapidlearning : 0.13 1 0 0 0 37
1800.08/1800.50 c Pricers : Time Calls Vars
1800.08/1800.50 c problem variables: 0.00 0 0
1800.08/1800.50 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.08/1800.50 c relpscost : 25.71 1830878 96 4972 0 0 3652174
1800.08/1800.50 c pscost : 0.00 0 0 0 0 0 0
1800.08/1800.50 c inference : 0.00 0 0 0 0 0 0
1800.08/1800.50 c mostinf : 0.00 0 0 0 0 0 0
1800.08/1800.50 c leastinf : 0.00 0 0 0 0 0 0
1800.08/1800.50 c fullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.50 c allfullstrong : 0.00 0 0 0 0 0 0
1800.08/1800.50 c random : 0.00 0 0 0 0 0 0
1800.08/1800.50 c Primal Heuristics : Time Calls Found
1800.08/1800.50 c LP solutions : 0.57 - 30
1800.08/1800.50 c pseudo solutions : 0.00 - 0
1800.08/1800.50 c feaspump : 0.14 1 0
1800.08/1800.50 c oneopt : 1.45 44 0
1800.08/1800.50 c crossover : 12.57 8 1
1800.08/1800.50 c rootsoldiving : 6.61 844 35
1800.08/1800.50 c objpscostdiving : 7.24 3221 0
1800.08/1800.50 c guideddiving : 39.35 9049 5
1800.08/1800.50 c coefdiving : 90.62 9050 1
1800.08/1800.50 c fracdiving : 52.35 9050 1
1800.08/1800.50 c veclendiving : 28.87 9050 3
1800.08/1800.50 c pscostdiving : 52.57 9050 1
1800.08/1800.50 c linesearchdiving : 35.53 9050 2
1800.08/1800.50 c trivial : 0.00 2 0
1800.08/1800.51 c simplerounding : 1.86 0 0
1800.08/1800.51 c zirounding : 1.31 1000 0
1800.08/1800.51 c rounding : 3.29 19562 0
1800.08/1800.51 c shifting : 7.05 6108 0
1800.08/1800.51 c intshifting : 0.17 0 0
1800.08/1800.51 c twoopt : 0.00 0 0
1800.08/1800.51 c fixandinfer : 0.00 0 0
1800.08/1800.51 c intdiving : 0.00 0 0
1800.08/1800.51 c actconsdiving : 0.00 0 0
1800.08/1800.51 c octane : 0.00 0 0
1800.08/1800.51 c rens : 0.02 1 0
1800.08/1800.51 c rins : 0.00 0 0
1800.08/1800.51 c localbranching : 0.00 0 0
1800.08/1800.51 c mutation : 0.00 0 0
1800.08/1800.51 c dins : 0.00 0 0
1800.08/1800.51 c undercover : 0.00 0 0
1800.08/1800.51 c nlp : 1.05 0 0
1800.08/1800.51 c trysol : 2.39 0 0
1800.08/1800.51 c LP : Time Calls Iterations Iter/call Iter/sec
1800.08/1800.51 c primal LP : 0.00 0 0 0.00 -
1800.08/1800.51 c dual LP : 518.33 2377772 10969416 4.61 21163.00
1800.08/1800.51 c lex dual LP : 0.00 0 0 0.00 -
1800.08/1800.51 c barrier LP : 0.00 0 0 0.00 -
1800.08/1800.51 c diving/probing LP: 146.41 1210266 2349472 1.94 16047.21
1800.08/1800.51 c strong branching : 7.08 25096 87801 3.50 12401.27
1800.08/1800.51 c (at root node) : - 9 385 42.78 -
1800.08/1800.51 c conflict analysis: 0.00 0 0 0.00 -
1800.08/1800.51 c B&B Tree :
1800.08/1800.51 c number of runs : 1
1800.08/1800.51 c nodes : 2487904
1800.08/1800.51 c nodes (total) : 2487904
1800.08/1800.51 c nodes left : 1068414
1800.08/1800.51 c max depth : 66
1800.08/1800.51 c max depth (total): 66
1800.08/1800.51 c backtracks : 347711 (14.0%)
1800.08/1800.51 c delayed cutoffs : 9582
1800.08/1800.51 c repropagations : 19591 (72396 domain reductions, 9581 cutoffs)
1800.08/1800.51 c avg switch length: 5.69
1800.08/1800.51 c switching time : 91.77
1800.08/1800.51 c Solution :
1800.08/1800.51 c Solutions found : 80 (45 improvements)
1800.08/1800.51 c First Solution : +1.24200000000000e+03 (in run 1, after 1 nodes, 0.15 seconds, depth 0, found by <trysol>)
1800.08/1800.51 c Primal Bound : +2.70000000000000e+01 (in run 1, after 1894874 nodes, 1306.41 seconds, depth 47, found by <relaxation>)
1800.08/1800.51 c Dual Bound : +0.00000000000000e+00
1800.08/1800.51 c Gap : infinite
1800.08/1800.51 c Root Dual Bound : +0.00000000000000e+00
1800.08/1800.51 c Root Iterations : 187
OK 27
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667097-1276601429/watcher-2667097-1276601429 -o /tmp/evaluation-result-2667097-1276601429/solver-2667097-1276601429 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667097-1276601429.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 1720 /proc/meminfo: memFree=1746940/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=4792 CPUtime=0 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 557 0 0 0 0 0 0 0 24 0 1 0 35746878 4907008 478 1992294400 4194304 8223781 140734798732464 18446744073709551615 7235159 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1720/statm: 1198 479 302 984 0 211 0 [startup+0.065228 s] /proc/loadavg: 0.92 0.98 0.99 3/106 1720 /proc/meminfo: memFree=1746940/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=15652 CPUtime=0.05 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 3699 0 0 0 4 1 0 0 24 0 1 0 35746878 16027648 2997 1992294400 4194304 8223781 140734798732464 18446744073709551615 7235159 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 3913 3002 555 984 0 2926 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 15652 [startup+0.10123 s] /proc/loadavg: 0.92 0.98 0.99 3/106 1720 /proc/meminfo: memFree=1746940/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=20968 CPUtime=0.09 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 4963 0 0 0 8 1 0 0 24 0 1 0 35746878 21471232 3993 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 5242 3993 565 984 0 4255 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20968 [startup+0.301246 s] /proc/loadavg: 0.92 0.98 0.99 3/106 1720 /proc/meminfo: memFree=1746940/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=14764 CPUtime=0.29 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 5084 0 0 0 27 2 0 0 25 0 1 0 35746878 15118336 2824 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 3691 2824 575 984 0 2704 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14764 [startup+0.701279 s] /proc/loadavg: 0.92 0.98 0.99 3/106 1720 /proc/meminfo: memFree=1746940/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=14808 CPUtime=0.69 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 8119 0 0 0 64 5 0 0 25 0 1 0 35746878 15163392 2880 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 3702 2880 587 984 0 2715 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14808 [startup+1.50134 s] /proc/loadavg: 0.92 0.98 0.99 2/107 1721 /proc/meminfo: memFree=1736888/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=14808 CPUtime=1.49 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 8636 0 0 0 138 11 0 0 25 0 1 0 35746878 15163392 2883 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 3702 2883 589 984 0 2715 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14808 [startup+3.10047 s] /proc/loadavg: 0.92 0.98 0.99 2/107 1721 /proc/meminfo: memFree=1730936/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=15196 CPUtime=3.09 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 11982 0 0 0 284 25 0 0 25 0 1 0 35746878 15560704 2973 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 3799 2973 589 984 0 2812 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15196 [startup+6.30073 s] /proc/loadavg: 0.93 0.98 0.99 2/107 1721 /proc/meminfo: memFree=1735152/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=17188 CPUtime=6.29 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 13120 0 0 0 585 44 0 0 25 0 1 0 35746878 17600512 3494 1992294400 4194304 8223781 140734798732464 18446744073709551615 4947379 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 4297 3494 589 984 0 3310 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17188 [startup+12.7003 s] /proc/loadavg: 0.93 0.98 0.99 2/107 1721 /proc/meminfo: memFree=1731556/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=20596 CPUtime=12.69 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 17087 0 0 0 1178 91 0 0 25 0 1 0 35746878 21090304 4374 1992294400 4194304 8223781 140734798732464 18446744073709551615 4947748 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 5149 4374 589 984 0 4162 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20596 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/107 1723 /proc/meminfo: memFree=1723248/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=27616 CPUtime=25.49 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 23188 0 0 0 2366 183 0 0 25 0 1 0 35746878 28278784 6192 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 6904 6192 589 984 0 5917 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 27616 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/107 1723 /proc/meminfo: memFree=1706260/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=44832 CPUtime=51.08 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 36109 0 0 0 4751 357 0 0 25 0 1 0 35746878 45907968 10588 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 11208 10588 589 984 0 10221 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 44832 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 1725 /proc/meminfo: memFree=1673896/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=77868 CPUtime=102.28 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 65163 0 0 0 9511 717 0 0 25 0 1 0 35746878 79736832 18470 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 19467 18470 589 984 0 18480 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 77868 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 1725 /proc/meminfo: memFree=1636820/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=115116 CPUtime=162.25 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 83811 0 0 0 15069 1156 0 0 25 0 1 0 35746878 117878784 28025 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 28779 28025 589 984 0 27792 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 115116 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 1727 /proc/meminfo: memFree=1601976/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=152144 CPUtime=222.24 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 99538 0 0 0 20641 1583 0 0 25 0 1 0 35746878 155795456 36458 1992294400 4194304 8223781 140734798732464 18446744073709551615 6085034 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 38036 36458 589 984 0 37049 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 152144 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 1729 /proc/meminfo: memFree=1585608/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=168828 CPUtime=282.23 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 117675 0 0 0 26200 2023 0 0 25 0 1 0 35746878 172879872 40773 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 42207 40773 589 984 0 41220 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 168828 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 1731 /proc/meminfo: memFree=1553492/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=199860 CPUtime=342.22 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 126830 0 0 0 31783 2439 0 0 25 0 1 0 35746878 204656640 48709 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 49965 48709 589 984 0 48978 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 199860 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 1735 /proc/meminfo: memFree=1519516/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=233492 CPUtime=402.2 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 137821 0 0 0 37377 2843 0 0 25 0 1 0 35746878 239095808 57285 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 58373 57285 589 984 0 57386 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 233492 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 1735 /proc/meminfo: memFree=1508604/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=242792 CPUtime=462.19 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 152585 0 0 0 42970 3249 0 0 25 0 1 0 35746878 248619008 59687 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 60698 59687 589 984 0 59711 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 242792 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 1737 /proc/meminfo: memFree=1492732/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=258508 CPUtime=522.18 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 162938 0 0 0 48549 3669 0 0 25 0 1 0 35746878 264712192 63755 1992294400 4194304 8223781 140734798732464 18446744073709551615 4948310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 64627 63755 589 984 0 63640 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 258508 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 1739 /proc/meminfo: memFree=1466444/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=283872 CPUtime=582.16 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 170617 0 0 0 54127 4089 0 0 25 0 1 0 35746878 290684928 70218 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 70968 70218 589 984 0 69981 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 283872 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 1741 /proc/meminfo: memFree=1438420/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=319264 CPUtime=642.15 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 178195 0 0 0 59714 4501 0 0 25 0 1 0 35746878 326926336 77188 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 79816 77188 589 984 0 78829 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 319264 [startup+702.301 s] ################ # More data... # ################ /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 224775 0 0 0 98849 7356 0 0 25 0 1 0 35746878 484417536 116519 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 118266 116519 589 984 0 117279 0 Current children cumulated CPU time (s) 1062.05 Current children cumulated vsize (KiB) 473064 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 1754 /proc/meminfo: memFree=1263952/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=488684 CPUtime=1122.03 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 237765 0 0 0 104409 7794 0 0 25 0 1 0 35746878 500412416 120531 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 122171 120531 589 984 0 121184 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 488684 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 1756 /proc/meminfo: memFree=1246716/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=505276 CPUtime=1182.02 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 243244 0 0 0 109979 8223 0 0 25 0 1 0 35746878 517402624 124796 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 126319 124796 589 984 0 125332 0 Current children cumulated CPU time (s) 1182.02 Current children cumulated vsize (KiB) 505276 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 1758 /proc/meminfo: memFree=1218692/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=532560 CPUtime=1242 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 250794 0 0 0 115580 8620 0 0 25 0 1 0 35746878 545341440 131740 1992294400 4194304 8223781 140734798732464 18446744073709551615 4981607 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 133140 131740 589 984 0 132153 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 532560 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 1760 /proc/meminfo: memFree=1196992/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=553412 CPUtime=1301.99 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 256143 0 0 0 121170 9029 0 0 25 0 1 0 35746878 566693888 137089 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 138353 137089 589 984 0 137366 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 553412 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 1760 /proc/meminfo: memFree=1179880/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=571012 CPUtime=1361.97 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 260674 0 0 0 126749 9448 0 0 25 0 1 0 35746878 584716288 141620 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 142753 141620 589 984 0 141766 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 571012 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 1763 /proc/meminfo: memFree=1159792/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=589752 CPUtime=1421.97 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 269662 0 0 0 132326 9871 0 0 25 0 1 0 35746878 603906048 146386 1992294400 4194304 8223781 140734798732464 18446744073709551615 4978478 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 147438 146386 589 984 0 146451 0 Current children cumulated CPU time (s) 1421.97 Current children cumulated vsize (KiB) 589752 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 1765 /proc/meminfo: memFree=1138216/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=610504 CPUtime=1481.94 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 276806 0 0 0 137911 10283 0 0 25 0 1 0 35746878 625156096 151718 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 152626 151718 589 984 0 151639 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 610504 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 1768 /proc/meminfo: memFree=1115400/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=632888 CPUtime=1541.93 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 282498 0 0 0 143490 10703 0 0 25 0 1 0 35746878 648077312 157410 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 158222 157410 589 984 0 157235 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 632888 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 1770 /proc/meminfo: memFree=1093080/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=654456 CPUtime=1601.92 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 288630 0 0 0 149072 11120 0 0 25 0 1 0 35746878 670162944 162938 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 163614 162938 589 984 0 162627 0 Current children cumulated CPU time (s) 1601.92 Current children cumulated vsize (KiB) 654456 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 1770 /proc/meminfo: memFree=1070016/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=693144 CPUtime=1661.91 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 294356 0 0 0 154658 11533 0 0 25 0 1 0 35746878 709779456 168664 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 173286 168664 589 984 0 172299 0 Current children cumulated CPU time (s) 1661.91 Current children cumulated vsize (KiB) 693144 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 1772 /proc/meminfo: memFree=1048936/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=714636 CPUtime=1721.89 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 300451 0 0 0 160246 11943 0 0 25 0 1 0 35746878 731787264 174161 1992294400 4194304 8223781 140734798732464 18446744073709551615 4947435 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 178659 174161 589 984 0 177672 0 Current children cumulated CPU time (s) 1721.89 Current children cumulated vsize (KiB) 714636 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 1774 /proc/meminfo: memFree=1025748/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=736088 CPUtime=1781.88 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 305904 0 0 0 165836 12352 0 0 25 0 1 0 35746878 753754112 179614 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 184022 179614 589 984 0 183035 0 Current children cumulated CPU time (s) 1781.88 Current children cumulated vsize (KiB) 736088 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/107 1774 /proc/meminfo: memFree=1018432/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=743176 CPUtime=1800.08 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 307723 0 0 0 167529 12479 0 0 25 0 1 0 35746878 761012224 181433 1992294400 4194304 8223781 140734798732464 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1720/statm: 185794 181433 589 984 0 184807 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 743176 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -1720 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 0.99 0.98 0.99 2/108 1775 /proc/meminfo: memFree=1018424/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=743176 CPUtime=1800.97 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 307725 0 0 0 167618 12479 0 0 25 0 1 0 35746878 761012224 181435 1992294400 4194304 8223781 140734798732464 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1720/statm: 185794 181435 591 984 0 184807 0 Current children cumulated CPU time (s) 1800.97 Current children cumulated vsize (KiB) 743176 [startup+1802.2 s] /proc/loadavg: 0.99 0.98 0.99 2/108 1775 /proc/meminfo: memFree=1018424/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=743176 CPUtime=1801.77 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 307725 0 0 0 167698 12479 0 0 25 0 1 0 35746878 761012224 181435 1992294400 4194304 8223781 140734798732464 18446744073709551615 6207165 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1720/statm: 185794 181435 591 984 0 184807 0 Current children cumulated CPU time (s) 1801.77 Current children cumulated vsize (KiB) 743176 [startup+1802.4 s] /proc/loadavg: 0.99 0.98 0.99 2/108 1775 /proc/meminfo: memFree=1018424/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=743176 CPUtime=1801.97 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 307725 0 0 0 167718 12479 0 0 25 0 1 0 35746878 761012224 181435 1992294400 4194304 8223781 140734798732464 18446744073709551615 6206655 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1720/statm: 185794 181435 591 984 0 184807 0 Current children cumulated CPU time (s) 1801.97 Current children cumulated vsize (KiB) 743176 [startup+1802.5 s] /proc/loadavg: 0.99 0.98 0.99 2/108 1775 /proc/meminfo: memFree=1018424/2059040 swapFree=4140244/4192956 [pid=1720] ppid=1718 vsize=743176 CPUtime=1802.07 /proc/1720/stat : 1720 (pbscip.linux.x8) R 1718 1720 1441 0 -1 4202496 307725 0 0 0 167728 12479 0 0 25 0 1 0 35746878 761012224 181435 1992294400 4194304 8223781 140734798732464 18446744073709551615 4615798 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1720/statm: 185794 181435 591 984 0 184807 0 Current children cumulated CPU time (s) 1802.07 Current children cumulated vsize (KiB) 743176 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.58 CPU time (s): 1802.16 CPU user time (s): 1677.3 CPU system time (s): 124.867 CPU usage (%): 99.9767 Max. virtual memory (cumulated for all children) (KiB): 743176 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1677.3 system time used= 124.867 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 307725 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= 23268 runsolver used 3.20151 second user time and 8.30874 second system time The end
Begin job on node003 at 2010-06-15 13:30:29 IDJOB=2667097 IDBENCH=2904 IDSOLVER=1169 FILE ID=node003/2667097-1276601429 PBS_JOBID= 11172236 Free space on /tmp= 62580 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_4.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-2667097-1276601429/watcher-2667097-1276601429 -o /tmp/evaluation-result-2667097-1276601429/solver-2667097-1276601429 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667097-1276601429.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 87341d3e4752b9f90faef0f8d9385430 RANDOM SEED=1563599088 node003.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.251 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.50 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.251 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: 1747344 kB Buffers: 93476 kB Cached: 137348 kB SwapCached: 6132 kB Active: 96668 kB Inactive: 147428 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1747344 kB SwapTotal: 4192956 kB SwapFree: 4140244 kB Dirty: 4480 kB Writeback: 0 kB AnonPages: 11516 kB Mapped: 13140 kB Slab: 45880 kB PageTables: 4100 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182236 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= 62576 MiB End job on node003 at 2010-06-15 14:00:32