Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT (TO) | 18 | 1802.14 | 1802.78 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_2.opb |
| MD5SUM | c0264878059fff5e6fa5f51839a60b24 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 1789.82 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2 |
| Optimality of the best value was proved | NO |
| Number of variables | 120 |
| Total number of constraints | 10 |
| 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 | 10 |
| Minimum length of a constraint | 54 |
| Maximum length of a constraint | 56 |
| Number of terms in the objective function | 80 |
| 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 | 2550 |
| Number of bits of the sum of numbers in the objective function | 12 |
| Biggest number in a constraint | 1196 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 4099 |
| 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: NONE] [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-2664226-1276617011.opb>
0.00/0.01 c original problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 10 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.00/0.01 c presolving:
0.00/0.01 c (round 1) 0 del vars, 5 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c (0.0s) probing: 101/120 (84.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.02 c (0.0s) probing aborted: 100/100 successive totally useless probings
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 5 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 120 variables (120 bin, 0 int, 0 impl, 0 cont) and 5 constraints
0.00/0.02 c 5 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.00
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 1]
0.00/0.02 c lp/solvefreq = -1
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 2 | 0 | - | 371k| 0 | - | 120 | 5 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1.19/1.23 c 1.1s| 10000 | 9734 | 0 | 0.0 |3806k| 66 | - | 120 | 8 | 0 | 0 | 0 | 143 | 0 | 0.000000e+00 | -- | Inf
2.39/2.46 c 2.2s| 20000 | 19625 | 0 | 0.0 |7302k| 66 | - | 120 | 5 | 0 | 0 | 0 | 201 | 0 | 0.000000e+00 | -- | Inf
3.59/3.60 o 126
3.59/3.60 c * 3.2s| 28995 | 12350 | 0 | 0.0 |4109k| 72 | - | 120 | 6 | 0 | 0 | 0 | 256 | 0 | 0.000000e+00 | 1.260000e+02 | Inf
3.79/3.83 c 3.4s| 30000 | 12752 | 0 | 0.0 |4430k| 72 | - | 120 | 232 | 0 | 0 | 0 | 587 | 0 | 0.000000e+00 | 1.260000e+02 | Inf
5.89/5.95 c 5.3s| 40000 | 18342 | 0 | 0.0 |7481k| 72 | - | 120 |1280 | 0 | 0 | 0 |2805 | 0 | 0.000000e+00 | 1.260000e+02 | Inf
7.99/8.04 c 7.2s| 50000 | 24952 | 0 | 0.0 | 10M| 72 | - | 120 |1218 | 0 | 0 | 0 |4621 | 0 | 0.000000e+00 | 1.260000e+02 | Inf
10.19/10.22 c 9.2s| 60000 | 30911 | 0 | 0.0 | 12M| 72 | - | 120 |1155 | 0 | 0 | 0 |6718 | 0 | 0.000000e+00 | 1.260000e+02 | Inf
12.49/12.50 c 11.3s| 70000 | 36612 | 0 | 0.0 | 15M| 72 | - | 120 |1313 | 0 | 0 | 0 |9016 | 0 | 0.000000e+00 | 1.260000e+02 | Inf
14.89/14.93 c 13.6s| 80000 | 41933 | 0 | 0.0 | 18M| 72 | - | 120 |1491 | 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
17.39/17.50 c 15.9s| 90000 | 46532 | 0 | 0.0 | 21M| 72 | - | 120 |1587 | 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
20.18/20.23 c 18.4s|100000 | 50736 | 0 | 0.0 | 23M| 72 | - | 120 |1629 | 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
23.09/23.13 c 21.1s|110000 | 54566 | 0 | 0.0 | 26M| 72 | - | 120 |1717 | 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
26.09/26.13 c 23.9s|120000 | 58062 | 0 | 0.0 | 29M| 72 | - | 120 |1847 | 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
29.28/29.31 c 26.8s|130000 | 61093 | 0 | 0.0 | 31M| 72 | - | 120 |1848 | 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
32.58/32.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
32.58/32.61 c 29.9s|140000 | 63946 | 0 | 0.0 | 34M| 72 | - | 120 |2021 | 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
36.08/36.11 c 33.2s|150000 | 66188 | 0 | 0.0 | 36M| 72 | - | 120 |2222 | 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
40.28/40.30 c 37.1s|160000 | 67336 | 0 | 0.0 | 39M| 72 | - | 120 |2225 | 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
43.68/43.77 c 40.4s|170000 | 70354 | 0 | 0.0 | 40M| 72 | - | 120 | 842 | 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
46.18/46.28 c 42.7s|180000 | 73824 | 0 | 0.0 | 43M| 72 | - | 120 | 375 | 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
48.38/48.40 c 44.6s|190000 | 79675 | 0 | 0.0 | 46M| 72 | - | 120 | 670 | 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
50.97/51.01 c 47.0s|200000 | 83981 | 0 | 0.0 | 48M| 72 | - | 120 |1009 | 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
53.37/53.48 c 49.3s|210000 | 88503 | 0 | 0.0 | 51M| 72 | - | 120 |1223 | 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
55.38/55.49 c 51.1s|220000 | 94849 | 0 | 0.0 | 54M| 72 | - | 120 |1339 | 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
57.47/57.55 c 53.0s|230000 |101143 | 0 | 0.0 | 56M| 72 | - | 120 |1657 | 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
59.57/59.62 c 54.9s|240000 |107459 | 0 | 0.0 | 59M| 72 | - | 120 |1635 | 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
61.67/61.77 c 56.9s|250000 |113841 | 0 | 0.0 | 62M| 72 | - | 120 |1705 | 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 1.260000e+02 | Inf
63.68/63.73 o 35
63.68/63.73 c *58.6s|258338 | 88870 | 0 | 0.0 | 45M| 72 | - | 120 |1807 | 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
64.17/64.20 c 59.1s|260000 | 89641 | 0 | 0.0 | 45M| 72 | - | 120 |1884 | 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
66.87/66.96 c 61.7s|270000 | 94550 | 0 | 0.0 | 48M| 72 | - | 120 |1810 | 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
69.77/69.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
69.77/69.89 c 64.5s|280000 | 99323 | 0 | 0.0 | 50M| 72 | - | 120 |2040 | 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
72.76/72.82 c 67.2s|290000 |104046 | 0 | 0.0 | 53M| 72 | - | 120 |1925 | 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
75.77/75.86 c 70.0s|300000 |108516 | 0 | 0.0 | 55M| 72 | - | 120 |2074 | 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
78.86/78.98 c 73.0s|310000 |112954 | 0 | 0.0 | 58M| 72 | - | 120 |2129 | 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
82.16/82.26 c 76.1s|320000 |117039 | 0 | 0.0 | 60M| 72 | - | 120 |1938 | 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
85.46/85.51 c 79.1s|330000 |120953 | 0 | 0.0 | 63M| 72 | - | 120 |2323 | 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
88.76/88.81 c 82.2s|340000 |125047 | 0 | 0.0 | 66M| 72 | - | 120 |2140 | 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
92.06/92.19 c 85.4s|350000 |128754 | 0 | 0.0 | 68M| 72 | - | 120 |2109 | 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
95.46/95.55 c 88.6s|360000 |132377 | 0 | 0.0 | 71M| 72 | - | 120 |2144 | 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
98.96/99.02 c 91.9s|370000 |135882 | 0 | 0.0 | 73M| 72 | - | 120 |2493 | 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
102.65/102.76 c 95.4s|380000 |139107 | 0 | 0.0 | 76M| 72 | - | 120 |2362 | 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
106.35/106.50 c 98.9s|390000 |142130 | 0 | 0.0 | 78M| 72 | - | 120 |2191 | 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
110.15/110.23 c 102s|400000 |145150 | 0 | 0.0 | 81M| 72 | - | 120 |2453 | 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
113.85/113.95 c 106s|410000 |148211 | 0 | 0.0 | 84M| 72 | - | 120 |2424 | 0 | 0 | 0 | 111k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
117.85/117.92 c 110s|420000 |150798 | 0 | 0.0 | 86M| 72 | - | 120 |2532 | 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
121.75/121.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
121.75/121.84 c 113s|430000 |153308 | 0 | 0.0 | 89M| 72 | - | 120 |2526 | 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
125.65/125.76 c 117s|440000 |155933 | 0 | 0.0 | 91M| 72 | - | 120 |2394 | 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
129.55/129.69 c 121s|450000 |158459 | 0 | 0.0 | 94M| 72 | - | 120 |2472 | 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
133.84/133.92 c 125s|460000 |160402 | 0 | 0.0 | 96M| 72 | - | 120 |2940 | 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
138.14/138.25 c 129s|470000 |162418 | 0 | 0.0 | 99M| 72 | - | 120 |2611 | 0 | 0 | 0 | 133k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
142.44/142.51 c 133s|480000 |164653 | 0 | 0.0 | 101M| 72 | - | 120 |2612 | 0 | 0 | 0 | 137k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
146.64/146.75 c 137s|490000 |166586 | 0 | 0.0 | 104M| 72 | - | 120 |2644 | 0 | 0 | 0 | 141k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
151.44/151.53 c 142s|500000 |167833 | 0 | 0.0 | 106M| 72 | - | 120 |3459 | 0 | 0 | 0 | 146k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
156.44/156.55 c 146s|510000 |168980 | 0 | 0.0 | 109M| 72 | - | 120 |3129 | 0 | 0 | 0 | 150k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
161.24/161.39 c 151s|520000 |170324 | 0 | 0.0 | 111M| 72 | - | 120 |3016 | 0 | 0 | 0 | 154k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
166.04/166.19 c 156s|530000 |171404 | 0 | 0.0 | 113M| 72 | - | 120 |3231 | 0 | 0 | 0 | 158k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
171.03/171.11 c 160s|540000 |171899 | 0 | 0.0 | 115M| 72 | - | 120 |1529 | 0 | 0 | 0 | 164k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
175.44/175.50 c 164s|550000 |172335 | 0 | 0.0 | 116M| 72 | - | 120 |1969 | 0 | 0 | 0 | 169k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
179.93/180.02 c 169s|560000 |172468 | 0 | 0.0 | 118M| 72 | - | 120 |2005 | 0 | 0 | 0 | 175k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
184.74/184.85 c 173s|570000 |173171 | 0 | 0.0 | 119M| 72 | - | 120 |1546 | 0 | 0 | 0 | 180k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
187.03/187.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
187.03/187.19 c 175s|580000 |178154 | 0 | 0.0 | 121M| 72 | - | 120 |1010 | 0 | 0 | 0 | 183k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
189.53/189.65 c 178s|590000 |182406 | 0 | 0.0 | 124M| 72 | - | 120 |1030 | 0 | 0 | 0 | 186k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
192.23/192.38 c 180s|600000 |185448 | 0 | 0.0 | 126M| 72 | - | 120 |1089 | 0 | 0 | 0 | 190k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
195.12/195.29 c 183s|610000 |187603 | 0 | 0.0 | 128M| 72 | - | 120 |1008 | 0 | 0 | 0 | 194k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
198.12/198.27 c 186s|620000 |189064 | 0 | 0.0 | 130M| 72 | - | 120 |1032 | 0 | 0 | 0 | 199k| 0 | 0.000000e+00 | 3.500000e+01 | Inf
199.53/199.68 o 29
199.53/199.68 c * 187s|624422 |159106 | 0 | 0.0 | 108M| 72 | - | 120 |1058 | 0 | 0 | 0 | 201k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
201.13/201.25 c 188s|630000 |160435 | 0 | 0.0 | 109M| 72 | - | 120 | 480 | 0 | 0 | 0 | 203k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
203.33/203.46 c 190s|640000 |165751 | 0 | 0.0 | 111M| 72 | - | 120 | 950 | 0 | 0 | 0 | 205k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
205.92/206.08 c 193s|650000 |170580 | 0 | 0.0 | 113M| 72 | - | 120 |1397 | 0 | 0 | 0 | 208k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
209.02/209.17 c 196s|660000 |174730 | 0 | 0.0 | 115M| 72 | - | 120 |1860 | 0 | 0 | 0 | 211k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
212.62/212.74 c 199s|670000 |178322 | 0 | 0.0 | 117M| 72 | - | 120 |2341 | 0 | 0 | 0 | 214k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
216.63/216.71 c 203s|680000 |181391 | 0 | 0.0 | 120M| 72 | - | 120 |2978 | 0 | 0 | 0 | 218k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
221.11/221.29 c 207s|690000 |183952 | 0 | 0.0 | 122M| 72 | - | 120 |3444 | 0 | 0 | 0 | 222k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
226.41/226.55 c 212s|700000 |185893 | 0 | 0.0 | 123M| 72 | - | 120 |3874 | 0 | 0 | 0 | 227k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
232.31/232.48 c 218s|710000 |187409 | 0 | 0.0 | 125M| 72 | - | 120 |3982 | 0 | 0 | 0 | 232k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
237.42/237.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
237.42/237.57 c 223s|720000 |189824 | 0 | 0.0 | 127M| 72 | - | 120 |4252 | 0 | 0 | 0 | 237k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
241.71/241.80 c 227s|730000 |192354 | 0 | 0.0 | 129M| 72 | - | 120 |4345 | 0 | 0 | 0 | 242k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
245.61/245.74 c 231s|740000 |196350 | 0 | 0.0 | 131M| 72 | - | 120 |4225 | 0 | 0 | 0 | 245k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
249.80/249.91 c 235s|750000 |199446 | 0 | 0.0 | 133M| 72 | - | 120 |4172 | 0 | 0 | 0 | 250k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
253.70/253.88 c 238s|760000 |201583 | 0 | 0.0 | 135M| 72 | - | 120 |4092 | 0 | 0 | 0 | 254k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
256.80/256.99 c 241s|770000 |206933 | 0 | 0.0 | 137M| 72 | - | 120 |3699 | 0 | 0 | 0 | 257k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
260.10/260.23 c 244s|780000 |212492 | 0 | 0.0 | 139M| 72 | - | 120 |3864 | 0 | 0 | 0 | 259k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
263.50/263.68 c 248s|790000 |217841 | 0 | 0.0 | 141M| 72 | - | 120 |3962 | 0 | 0 | 0 | 262k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
267.20/267.33 c 251s|800000 |222948 | 0 | 0.0 | 143M| 72 | - | 120 |4352 | 0 | 0 | 0 | 264k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
271.00/271.15 c 255s|810000 |228026 | 0 | 0.0 | 145M| 72 | - | 120 |4333 | 0 | 0 | 0 | 267k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
275.00/275.14 c 259s|820000 |232983 | 0 | 0.0 | 147M| 72 | - | 120 |4535 | 0 | 0 | 0 | 270k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
279.20/279.33 c 262s|830000 |238026 | 0 | 0.0 | 149M| 72 | - | 120 |4469 | 0 | 0 | 0 | 272k| 0 | 0.000000e+00 | 2.900000e+01 | Inf
282.69/282.89 o 25
282.69/282.89 c * 266s|838893 |242078 | 0 | 0.0 | 151M| 72 | - | 120 |4671 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
283.20/283.35 c 266s|840000 |242600 | 0 | 0.0 | 151M| 72 | - | 120 |4715 | 0 | 0 | 0 | 275k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
287.59/287.75 c 271s|850000 |247166 | 0 | 0.0 | 153M| 72 | - | 120 |4678 | 0 | 0 | 0 | 278k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
291.99/292.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
291.99/292.13 c 275s|860000 |251619 | 0 | 0.0 | 154M| 72 | - | 120 |4587 | 0 | 0 | 0 | 281k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
296.29/296.47 c 279s|870000 |256115 | 0 | 0.0 | 156M| 72 | - | 120 |4790 | 0 | 0 | 0 | 284k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
300.69/300.86 c 283s|880000 |260580 | 0 | 0.0 | 158M| 72 | - | 120 |4923 | 0 | 0 | 0 | 287k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
305.48/305.61 c 288s|890000 |264725 | 0 | 0.0 | 160M| 72 | - | 120 |5108 | 0 | 0 | 0 | 290k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
310.09/310.29 c 292s|900000 |268981 | 0 | 0.0 | 162M| 72 | - | 120 |4705 | 0 | 0 | 0 | 293k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
314.88/315.06 c 297s|910000 |273138 | 0 | 0.0 | 164M| 72 | - | 120 |4911 | 0 | 0 | 0 | 296k| 0 | 0.000000e+00 | 2.500000e+01 | Inf
315.98/316.13 o 24
315.98/316.13 c * 298s|912223 |273931 | 0 | 0.0 | 164M| 72 | - | 120 |4859 | 0 | 0 | 0 | 297k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
319.58/319.79 c 301s|920000 |277224 | 0 | 0.0 | 165M| 72 | - | 120 |4721 | 0 | 0 | 0 | 299k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
324.18/324.35 c 306s|930000 |281450 | 0 | 0.0 | 167M| 72 | - | 120 |4790 | 0 | 0 | 0 | 302k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
329.08/329.22 c 310s|940000 |285561 | 0 | 0.0 | 169M| 72 | - | 120 |5020 | 0 | 0 | 0 | 305k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
334.18/334.32 c 315s|950000 |289339 | 0 | 0.0 | 171M| 72 | - | 120 |4900 | 0 | 0 | 0 | 309k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
339.18/339.34 c 320s|960000 |293114 | 0 | 0.0 | 172M| 72 | - | 120 |5097 | 0 | 0 | 0 | 312k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
344.18/344.36 c 325s|970000 |296787 | 0 | 0.0 | 174M| 72 | - | 120 |4917 | 0 | 0 | 0 | 315k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
349.17/349.30 c 330s|980000 |300465 | 0 | 0.0 | 176M| 72 | - | 120 |4719 | 0 | 0 | 0 | 318k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
354.17/354.34 c 334s|990000 |304203 | 0 | 0.0 | 177M| 72 | - | 120 |4914 | 0 | 0 | 0 | 322k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
359.17/359.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
359.17/359.37 c 339s| 1000k|307960 | 0 | 0.0 | 179M| 72 | - | 120 |4807 | 0 | 0 | 0 | 325k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
364.16/364.39 c 344s| 1010k|311597 | 0 | 0.0 | 181M| 72 | - | 120 |5251 | 0 | 0 | 0 | 329k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
369.57/369.77 c 349s| 1020k|314953 | 0 | 0.0 | 182M| 72 | - | 120 |5122 | 0 | 0 | 0 | 332k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
374.97/375.15 c 354s| 1030k|318329 | 0 | 0.0 | 184M| 72 | - | 120 |5375 | 0 | 0 | 0 | 336k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
380.25/380.49 c 359s| 1040k|321709 | 0 | 0.0 | 186M| 72 | - | 120 |5066 | 0 | 0 | 0 | 339k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
385.76/385.92 c 365s| 1050k|325146 | 0 | 0.0 | 187M| 72 | - | 120 |4936 | 0 | 0 | 0 | 343k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
391.05/391.27 c 370s| 1060k|328523 | 0 | 0.0 | 189M| 72 | - | 120 |5037 | 0 | 0 | 0 | 346k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
396.45/396.61 c 375s| 1070k|331919 | 0 | 0.0 | 191M| 72 | - | 120 |4889 | 0 | 0 | 0 | 350k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
401.75/401.93 c 380s| 1080k|335168 | 0 | 0.0 | 192M| 72 | - | 120 |4831 | 0 | 0 | 0 | 353k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
406.86/407.06 c 385s| 1090k|338513 | 0 | 0.0 | 194M| 72 | - | 120 |4969 | 0 | 0 | 0 | 356k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
412.26/412.43 c 390s| 1100k|341530 | 0 | 0.0 | 196M| 72 | - | 120 |5029 | 0 | 0 | 0 | 360k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
417.75/417.91 c 395s| 1110k|344510 | 0 | 0.0 | 197M| 72 | - | 120 |5088 | 0 | 0 | 0 | 364k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
423.45/423.62 c 401s| 1120k|347382 | 0 | 0.0 | 199M| 72 | - | 120 |5104 | 0 | 0 | 0 | 368k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
428.94/429.15 c 406s| 1130k|350375 | 0 | 0.0 | 201M| 72 | - | 120 |5433 | 0 | 0 | 0 | 372k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
434.64/434.86 c 412s| 1140k|353237 | 0 | 0.0 | 202M| 72 | - | 120 |5088 | 0 | 0 | 0 | 375k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
440.34/440.54 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
440.34/440.54 c 417s| 1150k|356177 | 0 | 0.0 | 204M| 72 | - | 120 |5147 | 0 | 0 | 0 | 379k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
446.04/446.27 c 423s| 1160k|359055 | 0 | 0.0 | 205M| 72 | - | 120 |4998 | 0 | 0 | 0 | 383k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
451.63/451.83 c 428s| 1170k|361973 | 0 | 0.0 | 207M| 72 | - | 120 |4847 | 0 | 0 | 0 | 387k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
457.13/457.34 c 433s| 1180k|364817 | 0 | 0.0 | 208M| 72 | - | 120 |5128 | 0 | 0 | 0 | 390k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
462.73/462.93 c 439s| 1190k|367650 | 0 | 0.0 | 210M| 72 | - | 120 |4767 | 0 | 0 | 0 | 394k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
468.33/468.58 c 444s| 1200k|370517 | 0 | 0.0 | 211M| 72 | - | 120 |4687 | 0 | 0 | 0 | 398k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
474.23/474.42 c 450s| 1210k|372784 | 0 | 0.0 | 213M| 72 | - | 120 |5275 | 0 | 0 | 0 | 402k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
480.12/480.33 c 455s| 1220k|375026 | 0 | 0.0 | 215M| 72 | - | 120 |4953 | 0 | 0 | 0 | 406k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
486.13/486.33 c 461s| 1230k|377213 | 0 | 0.0 | 216M| 72 | - | 120 |4761 | 0 | 0 | 0 | 410k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
491.92/492.11 c 467s| 1240k|379447 | 0 | 0.0 | 218M| 72 | - | 120 |5126 | 0 | 0 | 0 | 414k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
497.81/498.03 c 472s| 1250k|381826 | 0 | 0.0 | 219M| 72 | - | 120 |5193 | 0 | 0 | 0 | 419k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
503.72/503.92 c 478s| 1260k|384246 | 0 | 0.0 | 221M| 72 | - | 120 |5513 | 0 | 0 | 0 | 423k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
509.82/510.06 c 484s| 1270k|386547 | 0 | 0.0 | 222M| 72 | - | 120 |5085 | 0 | 0 | 0 | 427k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
515.91/516.12 c 490s| 1280k|388930 | 0 | 0.0 | 224M| 72 | - | 120 |5302 | 0 | 0 | 0 | 431k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
522.01/522.27 c 496s| 1290k|391303 | 0 | 0.0 | 225M| 72 | - | 120 |4951 | 0 | 0 | 0 | 435k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
528.11/528.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
528.11/528.34 c 502s| 1300k|393534 | 0 | 0.0 | 227M| 72 | - | 120 |5112 | 0 | 0 | 0 | 439k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
534.21/534.40 c 508s| 1310k|395863 | 0 | 0.0 | 228M| 72 | - | 120 |5182 | 0 | 0 | 0 | 443k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
540.01/540.29 c 513s| 1320k|398056 | 0 | 0.0 | 229M| 72 | - | 120 |5110 | 0 | 0 | 0 | 447k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
546.30/546.54 c 519s| 1330k|399967 | 0 | 0.0 | 231M| 72 | - | 120 |5538 | 0 | 0 | 0 | 452k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
552.90/553.12 c 526s| 1340k|401698 | 0 | 0.0 | 232M| 72 | - | 120 |5276 | 0 | 0 | 0 | 456k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
559.29/559.53 c 532s| 1350k|403421 | 0 | 0.0 | 234M| 72 | - | 120 |5222 | 0 | 0 | 0 | 461k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
565.80/566.02 c 538s| 1360k|404999 | 0 | 0.0 | 235M| 72 | - | 120 |5310 | 0 | 0 | 0 | 465k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
572.29/572.58 c 544s| 1370k|406573 | 0 | 0.0 | 236M| 72 | - | 120 |5127 | 0 | 0 | 0 | 470k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
578.89/579.15 c 551s| 1380k|408118 | 0 | 0.0 | 238M| 72 | - | 120 |5097 | 0 | 0 | 0 | 474k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
585.59/585.84 c 557s| 1390k|409602 | 0 | 0.0 | 239M| 72 | - | 120 |5457 | 0 | 0 | 0 | 479k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
592.39/592.60 c 564s| 1400k|411164 | 0 | 0.0 | 241M| 72 | - | 120 |5595 | 0 | 0 | 0 | 484k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
599.19/599.41 c 570s| 1410k|412727 | 0 | 0.0 | 242M| 72 | - | 120 |5851 | 0 | 0 | 0 | 488k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
605.98/606.27 c 577s| 1420k|414486 | 0 | 0.0 | 243M| 72 | - | 120 |5606 | 0 | 0 | 0 | 493k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
612.98/613.23 c 584s| 1430k|416081 | 0 | 0.0 | 245M| 72 | - | 120 |5422 | 0 | 0 | 0 | 497k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
619.67/619.93 c 590s| 1440k|417613 | 0 | 0.0 | 246M| 72 | - | 120 |5864 | 0 | 0 | 0 | 502k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
626.57/626.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
626.57/626.85 c 597s| 1450k|419175 | 0 | 0.0 | 247M| 72 | - | 120 |5559 | 0 | 0 | 0 | 506k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
633.47/633.75 c 604s| 1460k|420585 | 0 | 0.0 | 248M| 72 | - | 120 |5758 | 0 | 0 | 0 | 511k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
640.87/641.19 c 611s| 1470k|421668 | 0 | 0.0 | 250M| 72 | - | 120 |5951 | 0 | 0 | 0 | 516k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
648.27/648.56 c 618s| 1480k|422705 | 0 | 0.0 | 251M| 72 | - | 120 |5827 | 0 | 0 | 0 | 521k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
655.66/655.94 c 625s| 1490k|423710 | 0 | 0.0 | 252M| 72 | - | 120 |5955 | 0 | 0 | 0 | 526k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
662.96/663.28 c 632s| 1500k|424737 | 0 | 0.0 | 253M| 72 | - | 120 |5773 | 0 | 0 | 0 | 531k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
670.35/670.64 c 639s| 1510k|425713 | 0 | 0.0 | 255M| 72 | - | 120 |5763 | 0 | 0 | 0 | 536k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
677.75/678.05 c 646s| 1520k|426647 | 0 | 0.0 | 256M| 72 | - | 120 |5784 | 0 | 0 | 0 | 541k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
685.15/685.45 c 654s| 1530k|427482 | 0 | 0.0 | 257M| 72 | - | 120 |6076 | 0 | 0 | 0 | 546k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
692.84/693.14 c 661s| 1540k|428433 | 0 | 0.0 | 258M| 72 | - | 120 |6085 | 0 | 0 | 0 | 551k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
700.54/700.84 c 669s| 1550k|429409 | 0 | 0.0 | 260M| 72 | - | 120 |5924 | 0 | 0 | 0 | 556k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
708.24/708.53 c 676s| 1560k|430349 | 0 | 0.0 | 261M| 72 | - | 120 |6043 | 0 | 0 | 0 | 561k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
716.03/716.31 c 684s| 1570k|431216 | 0 | 0.0 | 262M| 72 | - | 120 |6473 | 0 | 0 | 0 | 566k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
723.83/724.13 c 691s| 1580k|432133 | 0 | 0.0 | 263M| 72 | - | 120 |6171 | 0 | 0 | 0 | 571k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
732.13/732.44 c 699s| 1590k|432667 | 0 | 0.0 | 264M| 72 | - | 120 |6788 | 0 | 0 | 0 | 576k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
740.82/741.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
740.82/741.18 c 708s| 1600k|433107 | 0 | 0.0 | 265M| 72 | - | 120 |6844 | 0 | 0 | 0 | 581k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
749.72/750.07 c 716s| 1610k|433543 | 0 | 0.0 | 266M| 72 | - | 120 |6725 | 0 | 0 | 0 | 587k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
758.62/758.90 c 725s| 1620k|433989 | 0 | 0.0 | 267M| 72 | - | 120 |6501 | 0 | 0 | 0 | 592k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
767.32/767.61 c 733s| 1630k|434357 | 0 | 0.0 | 268M| 72 | - | 120 |6548 | 0 | 0 | 0 | 598k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
776.41/776.78 c 742s| 1640k|434498 | 0 | 0.0 | 270M| 72 | - | 120 |6909 | 0 | 0 | 0 | 603k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
785.91/786.20 c 752s| 1650k|434729 | 0 | 0.0 | 270M| 72 | - | 120 |6841 | 0 | 0 | 0 | 609k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
794.91/795.25 c 760s| 1660k|435052 | 0 | 0.0 | 271M| 72 | - | 120 |6657 | 0 | 0 | 0 | 614k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
804.21/804.50 c 769s| 1670k|435292 | 0 | 0.0 | 272M| 72 | - | 120 |6769 | 0 | 0 | 0 | 619k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
813.30/813.62 c 778s| 1680k|435519 | 0 | 0.0 | 273M| 72 | - | 120 |6626 | 0 | 0 | 0 | 625k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
823.30/823.61 c 788s| 1690k|435313 | 0 | 0.0 | 274M| 72 | - | 120 |7323 | 0 | 0 | 0 | 631k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
833.40/833.75 c 798s| 1700k|435151 | 0 | 0.0 | 275M| 72 | - | 120 |7422 | 0 | 0 | 0 | 636k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
843.59/843.93 c 808s| 1710k|434927 | 0 | 0.0 | 276M| 72 | - | 120 |6749 | 0 | 0 | 0 | 642k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
853.88/854.25 c 818s| 1720k|434571 | 0 | 0.0 | 277M| 72 | - | 120 |7156 | 0 | 0 | 0 | 648k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
864.48/864.88 c 828s| 1730k|434126 | 0 | 0.0 | 277M| 72 | - | 120 |7260 | 0 | 0 | 0 | 654k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
876.18/876.52 c 840s| 1740k|433390 | 0 | 0.0 | 278M| 72 | - | 120 |7366 | 0 | 0 | 0 | 660k| 0 | 0.000000e+00 | 2.400000e+01 | Inf
886.88/887.25 o 23
886.88/887.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
886.88/887.25 c * 850s| 1748k|432343 | 0 | 0.0 | 278M| 72 | - | 120 |7742 | 0 | 0 | 0 | 665k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
889.28/889.64 c 853s| 1750k|432241 | 0 | 0.0 | 278M| 72 | - | 120 |6684 | 0 | 0 | 0 | 666k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
894.98/895.36 c 858s| 1760k|435821 | 0 | 0.0 | 278M| 72 | - | 120 |3600 | 0 | 0 | 0 | 670k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
897.97/898.39 c 861s| 1770k|440886 | 0 | 0.0 | 280M| 72 | - | 120 |3504 | 0 | 0 | 0 | 673k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
901.17/901.59 c 864s| 1780k|445390 | 0 | 0.0 | 283M| 72 | - | 120 |3469 | 0 | 0 | 0 | 676k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
904.47/904.89 c 867s| 1790k|449625 | 0 | 0.0 | 285M| 72 | - | 120 |3437 | 0 | 0 | 0 | 679k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
907.87/908.26 c 870s| 1800k|453440 | 0 | 0.0 | 287M| 72 | - | 120 |3380 | 0 | 0 | 0 | 683k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
911.27/911.66 c 873s| 1810k|457000 | 0 | 0.0 | 290M| 72 | - | 120 |3465 | 0 | 0 | 0 | 686k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
914.87/915.24 c 877s| 1820k|460281 | 0 | 0.0 | 292M| 72 | - | 120 |3440 | 0 | 0 | 0 | 690k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
918.46/918.87 c 880s| 1830k|463191 | 0 | 0.0 | 294M| 72 | - | 120 |3457 | 0 | 0 | 0 | 694k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
922.16/922.56 c 884s| 1840k|465951 | 0 | 0.0 | 297M| 72 | - | 120 |3415 | 0 | 0 | 0 | 698k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
925.96/926.36 c 887s| 1850k|468268 | 0 | 0.0 | 299M| 72 | - | 120 |3458 | 0 | 0 | 0 | 702k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
929.76/930.16 c 891s| 1860k|470696 | 0 | 0.0 | 302M| 72 | - | 120 |3452 | 0 | 0 | 0 | 707k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
933.75/934.10 c 895s| 1870k|472707 | 0 | 0.0 | 304M| 72 | - | 120 |3478 | 0 | 0 | 0 | 711k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
937.76/938.12 c 899s| 1880k|474279 | 0 | 0.0 | 306M| 72 | - | 120 |3502 | 0 | 0 | 0 | 716k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
941.66/942.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
941.66/942.01 c 902s| 1890k|476290 | 0 | 0.0 | 308M| 72 | - | 120 |3459 | 0 | 0 | 0 | 720k| 0 | 0.000000e+00 | 2.300000e+01 | Inf
944.75/945.19 o 20
944.75/945.19 c * 905s| 1897k|476828 | 0 | 0.0 | 310M| 72 | - | 120 |3545 | 0 | 0 | 0 | 724k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
945.85/946.21 c 906s| 1900k|477184 | 0 | 0.0 | 310M| 72 | - | 120 |3509 | 0 | 0 | 0 | 725k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
949.76/950.16 c 910s| 1910k|478709 | 0 | 0.0 | 313M| 72 | - | 120 |3474 | 0 | 0 | 0 | 730k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
953.95/954.30 c 914s| 1920k|479587 | 0 | 0.0 | 315M| 72 | - | 120 |3494 | 0 | 0 | 0 | 735k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
958.05/958.42 c 918s| 1930k|480405 | 0 | 0.0 | 317M| 72 | - | 120 |3531 | 0 | 0 | 0 | 740k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
962.06/962.43 c 921s| 1940k|480828 | 0 | 0.0 | 319M| 72 | - | 120 |3607 | 0 | 0 | 0 | 746k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
965.14/965.53 c 924s| 1950k|485521 | 0 | 0.0 | 320M| 72 | - | 120 |2580 | 0 | 0 | 0 | 748k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
968.05/968.47 c 927s| 1960k|491157 | 0 | 0.0 | 322M| 72 | - | 120 |2823 | 0 | 0 | 0 | 749k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
971.25/971.67 c 930s| 1970k|496689 | 0 | 0.0 | 324M| 72 | - | 120 |3114 | 0 | 0 | 0 | 751k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
974.74/975.10 c 933s| 1980k|501924 | 0 | 0.0 | 326M| 72 | - | 120 |3317 | 0 | 0 | 0 | 753k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
978.14/978.58 c 937s| 1990k|507019 | 0 | 0.0 | 328M| 72 | - | 120 |3176 | 0 | 0 | 0 | 755k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
981.85/982.22 c 940s| 2000k|511985 | 0 | 0.0 | 330M| 72 | - | 120 |3642 | 0 | 0 | 0 | 757k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
985.74/986.10 c 944s| 2010k|516674 | 0 | 0.0 | 332M| 72 | - | 120 |3768 | 0 | 0 | 0 | 760k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
989.74/990.12 c 948s| 2020k|521364 | 0 | 0.0 | 334M| 72 | - | 120 |4229 | 0 | 0 | 0 | 762k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
993.94/994.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
993.94/994.31 c 952s| 2030k|525802 | 0 | 0.0 | 336M| 72 | - | 120 |4282 | 0 | 0 | 0 | 765k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
998.44/998.89 c 956s| 2040k|530006 | 0 | 0.0 | 338M| 72 | - | 120 |4713 | 0 | 0 | 0 | 767k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1003.13/1003.54 c 961s| 2050k|534322 | 0 | 0.0 | 340M| 72 | - | 120 |4514 | 0 | 0 | 0 | 770k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1008.13/1008.59 c 965s| 2060k|537943 | 0 | 0.0 | 342M| 72 | - | 120 |5260 | 0 | 0 | 0 | 773k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1013.43/1013.80 c 970s| 2070k|541904 | 0 | 0.0 | 344M| 72 | - | 120 |5399 | 0 | 0 | 0 | 776k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1018.63/1019.02 c 976s| 2080k|545892 | 0 | 0.0 | 346M| 72 | - | 120 |4965 | 0 | 0 | 0 | 779k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1024.12/1024.53 c 981s| 2090k|549008 | 0 | 0.0 | 348M| 72 | - | 120 |5071 | 0 | 0 | 0 | 782k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1029.73/1030.13 c 986s| 2100k|552416 | 0 | 0.0 | 349M| 72 | - | 120 |5398 | 0 | 0 | 0 | 786k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1035.32/1035.76 c 992s| 2110k|555986 | 0 | 0.0 | 351M| 72 | - | 120 |5508 | 0 | 0 | 0 | 789k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1041.33/1041.75 c 998s| 2120k|559009 | 0 | 0.0 | 353M| 72 | - | 120 |5667 | 0 | 0 | 0 | 793k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1047.82/1048.22 c 1004s| 2130k|561913 | 0 | 0.0 | 355M| 72 | - | 120 |6280 | 0 | 0 | 0 | 796k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1054.42/1054.86 c 1010s| 2140k|564968 | 0 | 0.0 | 357M| 72 | - | 120 |6705 | 0 | 0 | 0 | 800k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1061.12/1061.57 c 1017s| 2150k|568148 | 0 | 0.0 | 359M| 72 | - | 120 |6835 | 0 | 0 | 0 | 804k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1068.51/1068.95 c 1024s| 2160k|570569 | 0 | 0.0 | 360M| 72 | - | 120 |6809 | 0 | 0 | 0 | 808k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1076.31/1076.75 c 1032s| 2170k|573068 | 0 | 0.0 | 362M| 72 | - | 120 |7217 | 0 | 0 | 0 | 812k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1083.81/1084.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1083.81/1084.27 c 1039s| 2180k|575765 | 0 | 0.0 | 364M| 72 | - | 120 |7690 | 0 | 0 | 0 | 816k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1091.40/1091.81 c 1046s| 2190k|578630 | 0 | 0.0 | 366M| 72 | - | 120 |7554 | 0 | 0 | 0 | 820k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1100.40/1100.81 c 1055s| 2200k|580340 | 0 | 0.0 | 367M| 72 | - | 120 |8425 | 0 | 0 | 0 | 825k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1109.20/1109.61 c 1064s| 2210k|582695 | 0 | 0.0 | 369M| 72 | - | 120 |8406 | 0 | 0 | 0 | 829k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1117.59/1118.03 c 1072s| 2220k|585329 | 0 | 0.0 | 370M| 72 | - | 120 |8173 | 0 | 0 | 0 | 834k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1127.29/1127.79 c 1081s| 2230k|586973 | 0 | 0.0 | 372M| 72 | - | 120 |8659 | 0 | 0 | 0 | 839k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1136.19/1136.67 c 1090s| 2240k|589482 | 0 | 0.0 | 373M| 72 | - | 120 |8215 | 0 | 0 | 0 | 843k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1145.28/1145.78 c 1099s| 2250k|591591 | 0 | 0.0 | 375M| 72 | - | 120 |8380 | 0 | 0 | 0 | 848k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1152.98/1153.41 c 1106s| 2260k|594794 | 0 | 0.0 | 377M| 72 | - | 120 |8305 | 0 | 0 | 0 | 852k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1159.88/1160.32 c 1113s| 2270k|597883 | 0 | 0.0 | 379M| 72 | - | 120 |8696 | 0 | 0 | 0 | 856k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1166.97/1167.42 c 1120s| 2280k|600451 | 0 | 0.0 | 380M| 72 | - | 120 |9207 | 0 | 0 | 0 | 861k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1174.17/1174.68 c 1127s| 2290k|602959 | 0 | 0.0 | 382M| 72 | - | 120 |8876 | 0 | 0 | 0 | 865k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1180.37/1180.83 c 1133s| 2300k|606218 | 0 | 0.0 | 383M| 72 | - | 120 |8312 | 0 | 0 | 0 | 869k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1185.67/1186.14 c 1138s| 2310k|609913 | 0 | 0.0 | 385M| 72 | - | 120 |8277 | 0 | 0 | 0 | 873k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1191.37/1191.81 c 1144s| 2320k|612812 | 0 | 0.0 | 388M| 72 | - | 120 |8532 | 0 | 0 | 0 | 877k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1197.77/1198.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1197.77/1198.20 c 1150s| 2330k|614729 | 0 | 0.0 | 389M| 72 | - | 120 |8924 | 0 | 0 | 0 | 882k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1203.86/1204.35 c 1156s| 2340k|617477 | 0 | 0.0 | 391M| 72 | - | 120 |8177 | 0 | 0 | 0 | 886k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1209.66/1210.14 c 1161s| 2350k|621878 | 0 | 0.0 | 393M| 72 | - | 120 |8612 | 0 | 0 | 0 | 890k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1216.06/1216.53 c 1167s| 2360k|625542 | 0 | 0.0 | 395M| 72 | - | 120 |8692 | 0 | 0 | 0 | 894k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1222.36/1222.84 c 1174s| 2370k|629202 | 0 | 0.0 | 397M| 72 | - | 120 |8545 | 0 | 0 | 0 | 897k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1228.55/1229.07 c 1180s| 2380k|632593 | 0 | 0.0 | 398M| 72 | - | 120 |8443 | 0 | 0 | 0 | 901k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1234.65/1235.18 c 1185s| 2390k|635577 | 0 | 0.0 | 400M| 72 | - | 120 |8420 | 0 | 0 | 0 | 906k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1241.05/1241.56 c 1192s| 2400k|637962 | 0 | 0.0 | 402M| 72 | - | 120 |8576 | 0 | 0 | 0 | 910k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1246.54/1247.06 c 1197s| 2410k|641560 | 0 | 0.0 | 403M| 72 | - | 120 |7892 | 0 | 0 | 0 | 914k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1251.85/1252.30 c 1202s| 2420k|645174 | 0 | 0.0 | 405M| 72 | - | 120 |7857 | 0 | 0 | 0 | 918k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1257.44/1257.92 c 1207s| 2430k|647686 | 0 | 0.0 | 407M| 72 | - | 120 |8005 | 0 | 0 | 0 | 922k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1263.54/1264.06 c 1213s| 2440k|649442 | 0 | 0.0 | 409M| 72 | - | 120 |8220 | 0 | 0 | 0 | 927k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1269.34/1269.88 c 1219s| 2450k|651301 | 0 | 0.0 | 411M| 72 | - | 120 |8088 | 0 | 0 | 0 | 931k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1274.53/1275.07 c 1224s| 2460k|655222 | 0 | 0.0 | 413M| 72 | - | 120 |8116 | 0 | 0 | 0 | 935k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1279.53/1280.03 c 1229s| 2470k|660964 | 0 | 0.0 | 415M| 72 | - | 120 |7842 | 0 | 0 | 0 | 937k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1284.64/1285.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1284.64/1285.13 c 1234s| 2480k|666549 | 0 | 0.0 | 417M| 72 | - | 120 |8030 | 0 | 0 | 0 | 939k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1289.63/1290.11 c 1238s| 2490k|672096 | 0 | 0.0 | 419M| 72 | - | 120 |8252 | 0 | 0 | 0 | 942k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1294.83/1295.38 c 1244s| 2500k|677500 | 0 | 0.0 | 421M| 72 | - | 120 |8378 | 0 | 0 | 0 | 944k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1300.14/1300.68 c 1249s| 2510k|682827 | 0 | 0.0 | 423M| 72 | - | 120 |8349 | 0 | 0 | 0 | 947k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1305.43/1305.98 c 1254s| 2520k|688169 | 0 | 0.0 | 425M| 72 | - | 120 |8640 | 0 | 0 | 0 | 949k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1311.03/1311.55 c 1259s| 2530k|693156 | 0 | 0.0 | 427M| 72 | - | 120 |8722 | 0 | 0 | 0 | 952k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1316.82/1317.31 c 1265s| 2540k|698137 | 0 | 0.0 | 429M| 72 | - | 120 |8813 | 0 | 0 | 0 | 955k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1322.62/1323.18 c 1270s| 2550k|703237 | 0 | 0.0 | 431M| 72 | - | 120 |9046 | 0 | 0 | 0 | 957k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1328.52/1329.04 c 1276s| 2560k|708384 | 0 | 0.0 | 432M| 72 | - | 120 |8778 | 0 | 0 | 0 | 960k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1334.41/1334.93 c 1282s| 2570k|713531 | 0 | 0.0 | 434M| 72 | - | 120 |9003 | 0 | 0 | 0 | 963k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1340.52/1341.00 c 1288s| 2580k|718251 | 0 | 0.0 | 436M| 72 | - | 120 |9225 | 0 | 0 | 0 | 965k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1346.71/1347.28 c 1294s| 2590k|722974 | 0 | 0.0 | 438M| 72 | - | 120 |9269 | 0 | 0 | 0 | 968k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1353.21/1353.77 c 1300s| 2600k|727779 | 0 | 0.0 | 440M| 72 | - | 120 |9475 | 0 | 0 | 0 | 971k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1359.71/1360.28 c 1306s| 2610k|732699 | 0 | 0.0 | 442M| 72 | - | 120 |9362 | 0 | 0 | 0 | 974k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1366.41/1366.98 c 1313s| 2620k|737631 | 0 | 0.0 | 444M| 72 | - | 120 |9338 | 0 | 0 | 0 | 976k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1373.21/1373.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1373.21/1373.71 c 1320s| 2630k|742604 | 0 | 0.0 | 445M| 72 | - | 120 |9429 | 0 | 0 | 0 | 979k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1379.31/1379.85 c 1326s| 2640k|747533 | 0 | 0.0 | 447M| 72 | - | 120 |9458 | 0 | 0 | 0 | 982k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1385.70/1386.27 c 1332s| 2650k|752216 | 0 | 0.0 | 449M| 72 | - | 120 |9589 | 0 | 0 | 0 | 985k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1392.39/1392.95 c 1338s| 2660k|756567 | 0 | 0.0 | 451M| 72 | - | 120 |9826 | 0 | 0 | 0 | 988k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1399.39/1399.96 c 1345s| 2670k|761048 | 0 | 0.0 | 453M| 72 | - | 120 | 10k| 0 | 0 | 0 | 991k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1406.59/1407.18 c 1352s| 2680k|765606 | 0 | 0.0 | 454M| 72 | - | 120 |9914 | 0 | 0 | 0 | 994k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1414.10/1414.64 c 1359s| 2690k|770182 | 0 | 0.0 | 456M| 72 | - | 120 | 10k| 0 | 0 | 0 | 997k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1421.59/1422.13 c 1367s| 2700k|774829 | 0 | 0.0 | 458M| 72 | - | 120 |9875 | 0 | 0 | 0 |1000k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1428.79/1429.39 c 1374s| 2710k|779371 | 0 | 0.0 | 460M| 72 | - | 120 |9966 | 0 | 0 | 0 |1002k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1435.99/1436.58 c 1381s| 2720k|783917 | 0 | 0.0 | 461M| 72 | - | 120 |9796 | 0 | 0 | 0 |1005k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1442.98/1443.55 c 1387s| 2730k|788569 | 0 | 0.0 | 463M| 72 | - | 120 |9738 | 0 | 0 | 0 |1008k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1450.29/1450.85 c 1395s| 2740k|793266 | 0 | 0.0 | 465M| 72 | - | 120 |9889 | 0 | 0 | 0 |1011k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1457.38/1457.96 c 1401s| 2750k|797869 | 0 | 0.0 | 467M| 72 | - | 120 |9728 | 0 | 0 | 0 |1014k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1464.98/1465.50 c 1409s| 2760k|802250 | 0 | 0.0 | 469M| 72 | - | 120 |9778 | 0 | 0 | 0 |1017k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1472.67/1473.22 c 1416s| 2770k|806458 | 0 | 0.0 | 470M| 72 | - | 120 | 10k| 0 | 0 | 0 |1020k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1480.08/1480.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1480.08/1480.63 c 1424s| 2780k|810739 | 0 | 0.0 | 472M| 72 | - | 120 |9940 | 0 | 0 | 0 |1023k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1487.56/1488.13 c 1431s| 2790k|815006 | 0 | 0.0 | 474M| 72 | - | 120 |9905 | 0 | 0 | 0 |1026k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1494.97/1495.51 c 1438s| 2800k|819040 | 0 | 0.0 | 476M| 72 | - | 120 | 10k| 0 | 0 | 0 |1029k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1502.26/1502.89 c 1445s| 2810k|823146 | 0 | 0.0 | 477M| 72 | - | 120 | 10k| 0 | 0 | 0 |1032k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1510.16/1510.72 c 1453s| 2820k|827242 | 0 | 0.0 | 479M| 72 | - | 120 | 10k| 0 | 0 | 0 |1036k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1518.15/1518.77 c 1461s| 2830k|831505 | 0 | 0.0 | 481M| 72 | - | 120 | 10k| 0 | 0 | 0 |1039k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1526.55/1527.10 c 1469s| 2840k|835640 | 0 | 0.0 | 483M| 72 | - | 120 | 10k| 0 | 0 | 0 |1042k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1534.85/1535.40 c 1477s| 2850k|839897 | 0 | 0.0 | 484M| 72 | - | 120 | 10k| 0 | 0 | 0 |1045k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1542.94/1543.50 c 1485s| 2860k|844021 | 0 | 0.0 | 486M| 72 | - | 120 | 10k| 0 | 0 | 0 |1048k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1550.94/1551.58 c 1493s| 2870k|848263 | 0 | 0.0 | 488M| 72 | - | 120 | 10k| 0 | 0 | 0 |1051k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1559.14/1559.80 c 1501s| 2880k|852538 | 0 | 0.0 | 489M| 72 | - | 120 | 10k| 0 | 0 | 0 |1054k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1567.04/1567.64 c 1508s| 2890k|856714 | 0 | 0.0 | 491M| 72 | - | 120 | 10k| 0 | 0 | 0 |1057k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1575.23/1575.86 c 1516s| 2900k|860973 | 0 | 0.0 | 493M| 72 | - | 120 | 10k| 0 | 0 | 0 |1060k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1584.13/1584.71 c 1525s| 2910k|864835 | 0 | 0.0 | 494M| 72 | - | 120 | 10k| 0 | 0 | 0 |1064k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1592.73/1593.34 c 1534s| 2920k|868629 | 0 | 0.0 | 496M| 72 | - | 120 | 10k| 0 | 0 | 0 |1067k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1601.04/1601.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1601.04/1601.61 c 1542s| 2930k|872420 | 0 | 0.0 | 498M| 72 | - | 120 | 10k| 0 | 0 | 0 |1070k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1609.32/1609.93 c 1550s| 2940k|876410 | 0 | 0.0 | 499M| 72 | - | 120 | 10k| 0 | 0 | 0 |1074k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1617.72/1618.31 c 1558s| 2950k|880210 | 0 | 0.0 | 501M| 72 | - | 120 | 10k| 0 | 0 | 0 |1077k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1626.12/1626.75 c 1566s| 2960k|884063 | 0 | 0.0 | 503M| 72 | - | 120 | 10k| 0 | 0 | 0 |1080k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1634.62/1635.24 c 1574s| 2970k|887896 | 0 | 0.0 | 504M| 72 | - | 120 |9947 | 0 | 0 | 0 |1083k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1642.91/1643.56 c 1583s| 2980k|891687 | 0 | 0.0 | 506M| 72 | - | 120 |9790 | 0 | 0 | 0 |1086k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1651.01/1651.66 c 1591s| 2990k|895533 | 0 | 0.0 | 507M| 72 | - | 120 |9906 | 0 | 0 | 0 |1090k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1659.21/1659.88 c 1599s| 3000k|899415 | 0 | 0.0 | 509M| 72 | - | 120 |9838 | 0 | 0 | 0 |1093k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1667.00/1667.69 c 1606s| 3010k|902952 | 0 | 0.0 | 511M| 72 | - | 120 | 10k| 0 | 0 | 0 |1097k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1674.90/1675.52 c 1614s| 3020k|906727 | 0 | 0.0 | 513M| 72 | - | 120 | 10k| 0 | 0 | 0 |1100k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1683.40/1684.05 c 1622s| 3030k|910351 | 0 | 0.0 | 514M| 72 | - | 120 | 10k| 0 | 0 | 0 |1103k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1692.20/1692.85 c 1631s| 3040k|914032 | 0 | 0.0 | 516M| 72 | - | 120 | 10k| 0 | 0 | 0 |1107k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1701.09/1701.73 c 1639s| 3050k|917856 | 0 | 0.0 | 518M| 72 | - | 120 | 10k| 0 | 0 | 0 |1110k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1709.58/1710.22 c 1648s| 3060k|921533 | 0 | 0.0 | 519M| 72 | - | 120 | 10k| 0 | 0 | 0 |1113k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1718.29/1718.94 c 1656s| 3070k|925312 | 0 | 0.0 | 521M| 72 | - | 120 | 10k| 0 | 0 | 0 |1117k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1727.08/1727.72 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1727.08/1727.72 c 1665s| 3080k|929132 | 0 | 0.0 | 522M| 72 | - | 120 | 10k| 0 | 0 | 0 |1120k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1735.78/1736.44 c 1673s| 3090k|932901 | 0 | 0.0 | 524M| 72 | - | 120 | 10k| 0 | 0 | 0 |1123k| 0 | 0.000000e+00 | 2.000000e+01 | Inf
1742.18/1742.88 o 18
1742.18/1742.88 c *1680s| 3097k|935513 | 0 | 0.0 | 525M| 72 | - | 120 | 10k| 0 | 0 | 0 |1126k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1744.67/1745.38 c 1682s| 3100k|936451 | 0 | 0.0 | 525M| 72 | - | 120 | 10k| 0 | 0 | 0 |1127k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1754.07/1754.77 c 1691s| 3110k|939693 | 0 | 0.0 | 527M| 72 | - | 120 | 10k| 0 | 0 | 0 |1130k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1763.77/1764.45 c 1701s| 3120k|943006 | 0 | 0.0 | 529M| 72 | - | 120 | 10k| 0 | 0 | 0 |1134k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1772.96/1773.64 c 1710s| 3130k|946269 | 0 | 0.0 | 530M| 72 | - | 120 | 10k| 0 | 0 | 0 |1137k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1782.56/1783.23 c 1719s| 3140k|949723 | 0 | 0.0 | 532M| 72 | - | 120 | 10k| 0 | 0 | 0 |1141k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1792.16/1792.88 c 1729s| 3150k|953074 | 0 | 0.0 | 533M| 72 | - | 120 | 10k| 0 | 0 | 0 |1144k| 0 | 0.000000e+00 | 1.800000e+01 | Inf
1800.07/1800.71 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.07/1800.71 c
1800.07/1800.71 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.71 c Solving Time (sec) : 1736.26
1800.07/1800.71 c Solving Nodes : 3158482
1800.07/1800.71 c Primal Bound : +1.80000000000000e+01 (8 solutions)
1800.07/1800.71 c Dual Bound : +0.00000000000000e+00
1800.07/1800.71 c Gap : infinite
1800.07/1800.72 s SATISFIABLE
1800.07/1800.72 v -x120 -x119 -x118 x117 x116 -x115 x114 -x113 -x112 x111 x110 x109 x108 -x107 -x106 x105 x104 x103 x102 x101 x100 x99 x98 x97 -x96
1800.07/1800.72 v -x95 -x94 -x93 -x92 x91 -x90 -x89 -x88 -x87 -x86 x85 x84 x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70
1800.07/1800.72 v -x69 -x68 x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45
1800.07/1800.72 v -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20
1800.07/1800.72 v x19 x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 x3 x2 -x1
1800.07/1800.72 c SCIP Status : solving was interrupted [user interrupt]
1800.07/1800.72 c Solving Time : 1736.26
1800.07/1800.72 c Original Problem :
1800.07/1800.72 c Problem name : HOME/instance-2664226-1276617011.opb
1800.07/1800.72 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.72 c Constraints : 10 initial, 10 maximal
1800.07/1800.72 c Presolved Problem :
1800.07/1800.72 c Problem name : t_HOME/instance-2664226-1276617011.opb
1800.07/1800.72 c Variables : 120 (120 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.72 c Constraints : 5 initial, 11026 maximal
1800.07/1800.72 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.07/1800.72 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.72 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.72 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.72 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.72 c implics : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.72 c probing : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.72 c linear : 0.00 0 0 0 0 0 5 0 0
1800.07/1800.72 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.07/1800.72 c root node : - 20 - - 20 - - - -
1800.07/1800.72 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.07/1800.72 c integral : 0 0 0 0 0 0 0 0 0 0
1800.07/1800.72 c linear : 5 0 6849094 0 2224052 1053017 12050486 0 0 0
1800.07/1800.72 c logicor : 0+ 0 2351822 0 0 310 887667 0 0 0
1800.07/1800.72 c countsols : 0 0 0 0 2224055 0 0 0 0 0
1800.07/1800.72 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.07/1800.72 c integral : 0.00 0.00 0.00 0.00 0.00
1800.07/1800.72 c linear : 398.70 0.00 396.93 0.00 1.77
1800.07/1800.72 c logicor : 603.77 0.00 603.77 0.00 0.00
1800.07/1800.72 c countsols : 0.80 0.00 0.00 0.00 0.80
1800.07/1800.72 c Propagators : Time Calls Cutoffs DomReds
1800.07/1800.72 c vbounds : 3.25 2 0 0
1800.07/1800.72 c rootredcost : 3.20 0 0 0
1800.07/1800.72 c pseudoobj : 67.36 6982091 133192 3844042
1800.07/1800.72 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.07/1800.72 c propagation : 126.79 1186519 1112338 4136327 33.3 583 40.2 -
1800.07/1800.72 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.72 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.72 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.07/1800.72 c pseudo solution : 0.00 5 5 7 8.3 0 0.0 -
1800.07/1800.72 c applied globally : - - - 971574 26.6 - - -
1800.07/1800.72 c applied locally : - - - 176286 36.9 - - -
1800.07/1800.72 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.07/1800.72 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.07/1800.72 c redcost : 0.00 0 0 0 0 0
1800.07/1800.72 c impliedbounds : 0.00 0 0 0 0 0
1800.07/1800.72 c intobj : 0.00 0 0 0 0 0
1800.07/1800.72 c cgmip : 0.00 0 0 0 0 0
1800.07/1800.72 c gomory : 0.00 0 0 0 0 0
1800.07/1800.72 c strongcg : 0.00 0 0 0 0 0
1800.07/1800.72 c cmir : 0.00 0 0 0 0 0
1800.07/1800.72 c flowcover : 0.00 0 0 0 0 0
1800.07/1800.72 c clique : 0.00 0 0 0 0 0
1800.07/1800.72 c zerohalf : 0.00 0 0 0 0 0
1800.07/1800.72 c mcf : 0.00 0 0 0 0 0
1800.07/1800.72 c rapidlearning : 0.00 0 0 0 0 0
1800.07/1800.72 c Pricers : Time Calls Vars
1800.07/1800.72 c problem variables: 0.00 0 0
1800.07/1800.72 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.07/1800.72 c relpscost : 0.00 0 0 0 0 0 0
1800.07/1800.72 c pscost : 0.00 0 0 0 0 0 0
1800.07/1800.72 c inference : 37.00 2224047 0 0 0 0 4448094
1800.07/1800.72 c mostinf : 0.00 0 0 0 0 0 0
1800.07/1800.72 c leastinf : 0.00 0 0 0 0 0 0
1800.07/1800.72 c fullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.72 c allfullstrong : 0.00 0 0 0 0 0 0
1800.07/1800.72 c random : 0.00 0 0 0 0 0 0
1800.07/1800.72 c Primal Heuristics : Time Calls Found
1800.07/1800.72 c LP solutions : 0.00 - 0
1800.07/1800.72 c pseudo solutions : 0.28 - 8
1800.07/1800.72 c oneopt : 2.31 0 0
1800.07/1800.72 c trivial : 0.01 2 0
1800.07/1800.72 c simplerounding : 0.00 0 0
1800.07/1800.72 c zirounding : 0.00 0 0
1800.07/1800.72 c rounding : 0.00 0 0
1800.07/1800.72 c shifting : 0.00 0 0
1800.07/1800.72 c intshifting : 0.00 0 0
1800.07/1800.72 c twoopt : 0.00 0 0
1800.07/1800.72 c fixandinfer : 0.00 0 0
1800.07/1800.72 c feaspump : 0.00 0 0
1800.07/1800.72 c coefdiving : 0.00 0 0
1800.07/1800.72 c pscostdiving : 0.00 0 0
1800.07/1800.72 c fracdiving : 0.00 0 0
1800.07/1800.72 c veclendiving : 0.00 0 0
1800.07/1800.72 c intdiving : 0.00 0 0
1800.07/1800.72 c actconsdiving : 0.00 0 0
1800.07/1800.72 c objpscostdiving : 0.00 0 0
1800.07/1800.72 c rootsoldiving : 0.00 0 0
1800.07/1800.72 c linesearchdiving : 0.00 0 0
1800.07/1800.72 c guideddiving : 0.00 0 0
1800.07/1800.72 c octane : 0.00 0 0
1800.07/1800.72 c rens : 0.00 0 0
1800.07/1800.72 c rins : 0.00 0 0
1800.07/1800.72 c localbranching : 0.00 0 0
1800.07/1800.72 c mutation : 0.00 0 0
1800.07/1800.72 c crossover : 0.00 0 0
1800.07/1800.72 c dins : 0.00 0 0
1800.07/1800.72 c undercover : 0.00 0 0
1800.07/1800.72 c nlp : 1.68 0 0
1800.07/1800.72 c trysol : 1.67 0 0
1800.07/1800.72 c LP : Time Calls Iterations Iter/call Iter/sec
1800.07/1800.72 c primal LP : 0.00 0 0 0.00 -
1800.07/1800.72 c dual LP : 0.00 0 0 0.00 -
1800.07/1800.72 c lex dual LP : 0.00 0 0 0.00 -
1800.07/1800.72 c barrier LP : 0.00 0 0 0.00 -
1800.07/1800.72 c diving/probing LP: 0.00 0 0 0.00 -
1800.07/1800.72 c strong branching : 0.00 0 0 0.00 -
1800.07/1800.72 c (at root node) : - 0 0 0.00 -
1800.07/1800.72 c conflict analysis: 0.00 0 0 0.00 -
1800.07/1800.72 c B&B Tree :
1800.07/1800.72 c number of runs : 1
1800.07/1800.72 c nodes : 3158482
1800.07/1800.72 c nodes (total) : 3158482
1800.07/1800.72 c nodes left : 956011
1800.07/1800.72 c max depth : 72
1800.07/1800.72 c max depth (total): 72
1800.07/1800.72 c backtracks : 290951 (9.2%)
1800.07/1800.72 c delayed cutoffs : 254271
1800.07/1800.72 c repropagations : 1774442 (3322039 domain reductions, 252097 cutoffs)
1800.07/1800.72 c avg switch length: 5.73
1800.07/1800.72 c switching time : 390.95
1800.07/1800.72 c Solution :
1800.07/1800.72 c Solutions found : 8 (8 improvements)
1800.07/1800.72 c First Solution : +1.26000000000000e+02 (in run 1, after 28995 nodes, 3.15 seconds, depth 72, found by <relaxation>)
1800.07/1800.72 c Primal Bound : +1.80000000000000e+01 (in run 1, after 3097214 nodes, 1679.61 seconds, depth 32, found by <relaxation>)
1800.07/1800.72 c Dual Bound : +0.00000000000000e+00
1800.07/1800.72 c Gap : infinite
1800.07/1800.72 c Root Dual Bound : +0.00000000000000e+00
1800.07/1800.72 c Root Iterations : 0
OK 18
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664226-1276617011/watcher-2664226-1276617011 -o /tmp/evaluation-result-2664226-1276617011/solver-2664226-1276617011 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664226-1276617011.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 5909 /proc/meminfo: memFree=1691720/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=6584 CPUtime=0 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 966 0 0 0 0 0 0 0 20 0 1 0 37302655 6742016 889 1992294400 4194304 7136930 140737401133168 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5909/statm: 1646 898 254 719 0 925 0 [startup+0.054639 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5909 /proc/meminfo: memFree=1691720/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=11100 CPUtime=0.04 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 2741 0 0 0 4 0 0 0 20 0 1 0 37302655 11366400 2053 1992294400 4194304 7136930 140737401133168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 2775 2053 383 719 0 2054 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11100 [startup+0.101647 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5909 /proc/meminfo: memFree=1691720/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=11260 CPUtime=0.09 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 2781 0 0 0 8 1 0 0 20 0 1 0 37302655 11530240 2093 1992294400 4194304 7136930 140737401133168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 2815 2093 383 719 0 2094 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11260 [startup+0.301686 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5909 /proc/meminfo: memFree=1691720/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=12208 CPUtime=0.29 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 3014 0 0 0 25 4 0 0 20 0 1 0 37302655 12500992 2326 1992294400 4194304 7136930 140737401133168 18446744073709551615 4980289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 3052 2326 383 719 0 2331 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12208 [startup+0.701764 s] /proc/loadavg: 1.00 1.00 1.00 3/106 5909 /proc/meminfo: memFree=1691720/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=13832 CPUtime=0.69 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 3421 0 0 0 60 9 0 0 21 0 1 0 37302655 14163968 2733 1992294400 4194304 7136930 140737401133168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 3458 2733 383 719 0 2737 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13832 [startup+1.50092 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5910 /proc/meminfo: memFree=1681420/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=16160 CPUtime=1.49 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 4059 0 0 0 130 19 0 0 23 0 1 0 37302655 16547840 3371 1992294400 4194304 7136930 140737401133168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 4040 3371 383 719 0 3319 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16160 [startup+3.10123 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5910 /proc/meminfo: memFree=1677204/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=21944 CPUtime=3.09 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 5551 0 0 0 272 37 0 0 25 0 1 0 37302655 22470656 4863 1992294400 4194304 7136930 140737401133168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 5486 4863 383 719 0 4765 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21944 [startup+6.30086 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5910 /proc/meminfo: memFree=1670384/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=25360 CPUtime=6.29 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 6408 0 0 0 562 67 0 0 25 0 1 0 37302655 25968640 5720 1992294400 4194304 7136930 140737401133168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 6340 5720 386 719 0 5619 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25360 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5910 /proc/meminfo: memFree=1664928/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=31084 CPUtime=12.69 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 7877 0 0 0 1153 116 0 0 25 0 1 0 37302655 31830016 7189 1992294400 4194304 7136930 140737401133168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 7771 7189 386 719 0 7050 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31084 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5910 /proc/meminfo: memFree=1649924/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=45524 CPUtime=25.48 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 11529 0 0 0 2330 218 0 0 25 0 1 0 37302655 46616576 10841 1992294400 4194304 7136930 140737401133168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 11381 10841 386 719 0 10660 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45524 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5910 /proc/meminfo: memFree=1625620/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=71464 CPUtime=51.08 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 17586 0 0 0 4709 399 0 0 25 0 1 0 37302655 73179136 16898 1992294400 4194304 7136930 140737401133168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 17866 16898 386 719 0 17145 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 71464 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5912 /proc/meminfo: memFree=1589288/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=105960 CPUtime=102.26 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 26445 0 0 0 9496 730 0 0 25 0 1 0 37302655 108503040 25757 1992294400 4194304 7136930 140737401133168 18446744073709551615 5955603 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 26490 25757 386 719 0 25769 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 105960 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5914 /proc/meminfo: memFree=1555808/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=138944 CPUtime=162.23 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 34759 0 0 0 15187 1036 0 0 25 0 1 0 37302655 142278656 34071 1992294400 4194304 7136930 140737401133168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 34736 34071 386 719 0 34015 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 138944 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5916 /proc/meminfo: memFree=1533488/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=161076 CPUtime=222.22 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 40354 0 0 0 20824 1398 0 0 25 0 1 0 37302655 164941824 39666 1992294400 4194304 7136930 140737401133168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 40269 39666 386 719 0 39548 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 161076 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5916 /proc/meminfo: memFree=1506952/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=190848 CPUtime=282.19 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 46949 0 0 0 26534 1685 0 0 25 0 1 0 37302655 195428352 46261 1992294400 4194304 7136930 140737401133168 18446744073709551615 5000112 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 47712 46261 386 719 0 46991 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 190848 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5918 /proc/meminfo: memFree=1483764/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=213232 CPUtime=342.17 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 52708 0 0 0 32280 1937 0 0 25 0 1 0 37302655 218349568 52020 1992294400 4194304 7136930 140737401133168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 53308 52020 386 719 0 52587 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 213232 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5920 /proc/meminfo: memFree=1463304/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=232856 CPUtime=402.15 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 57796 0 0 0 38036 2179 0 0 25 0 1 0 37302655 238444544 57108 1992294400 4194304 7136930 140737401133168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 58214 57108 386 719 0 57493 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 232856 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5922 /proc/meminfo: memFree=1441604/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=253908 CPUtime=462.13 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 63178 0 0 0 43808 2405 0 0 25 0 1 0 37302655 260001792 62490 1992294400 4194304 7136930 140737401133168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 63477 62490 386 719 0 62756 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 253908 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5924 /proc/meminfo: memFree=1428460/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=266532 CPUtime=522.11 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 66449 0 0 0 49592 2619 0 0 25 0 1 0 37302655 272928768 65761 1992294400 4194304 7136930 140737401133168 18446744073709551615 5950928 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 66633 65761 386 719 0 65912 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 266532 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5924 /proc/meminfo: memFree=1410604/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=284172 CPUtime=582.09 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 70878 0 0 0 55382 2827 0 0 25 0 1 0 37302655 290992128 70190 1992294400 4194304 7136930 140737401133168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 71043 70190 386 719 0 70322 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 284172 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5926 /proc/meminfo: memFree=1400684/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=293500 CPUtime=642.08 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 73311 0 0 0 61186 3022 0 0 25 0 1 0 37302655 300544000 72623 1992294400 4194304 7136930 140737401133168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 73375 72623 386 719 0 72654 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 293500 [startup+702.301 s] ################ # More data... # ################ /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 103722 0 0 0 101746 4446 0 0 25 0 1 0 37302655 432246784 103034 1992294400 4194304 7136930 140737401133168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 105529 103034 386 719 0 104808 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 422116 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5949 /proc/meminfo: memFree=1267880/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=432272 CPUtime=1121.9 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 106285 0 0 0 107601 4589 0 0 25 0 1 0 37302655 442646528 105597 1992294400 4194304 7136930 140737401133168 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 108068 105597 386 719 0 107347 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 432272 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5949 /proc/meminfo: memFree=1258704/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=441588 CPUtime=1181.87 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 108779 0 0 0 113435 4752 0 0 25 0 1 0 37302655 452186112 108091 1992294400 4194304 7136930 140737401133168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 110397 108091 386 719 0 109676 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 441588 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5951 /proc/meminfo: memFree=1239236/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=459784 CPUtime=1241.85 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 113381 0 0 0 119236 4949 0 0 25 0 1 0 37302655 470818816 112693 1992294400 4194304 7136930 140737401133168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 114946 112693 386 719 0 114225 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 459784 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5953 /proc/meminfo: memFree=1212700/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=485332 CPUtime=1301.83 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 119979 0 0 0 125020 5163 0 0 25 0 1 0 37302655 496979968 119291 1992294400 4194304 7136930 140737401133168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 121333 119291 386 719 0 120612 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 485332 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5955 /proc/meminfo: memFree=1195216/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=501948 CPUtime=1361.81 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 124345 0 0 0 130843 5338 0 0 25 0 1 0 37302655 513994752 123657 1992294400 4194304 7136930 140737401133168 18446744073709551615 4210588 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 125487 123657 386 719 0 124766 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 501948 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5957 /proc/meminfo: memFree=1178600/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=517904 CPUtime=1421.8 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 128504 0 0 0 136676 5504 0 0 25 0 1 0 37302655 530333696 127816 1992294400 4194304 7136930 140737401133168 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 129476 127816 386 719 0 128755 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 517904 [startup+1482.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 5960 /proc/meminfo: memFree=1162604/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=532496 CPUtime=1481.77 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 132315 0 0 0 142518 5659 0 0 25 0 1 0 37302655 545275904 131627 1992294400 4194304 7136930 140737401133168 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 133124 131627 386 719 0 132403 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 532496 [startup+1542.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 5962 /proc/meminfo: memFree=1146732/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=548172 CPUtime=1541.75 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 136372 0 0 0 148369 5806 0 0 25 0 1 0 37302655 561328128 135684 1992294400 4194304 7136930 140737401133168 18446744073709551615 4998248 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 137043 135684 386 719 0 136322 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 548172 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5964 /proc/meminfo: memFree=1133588/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=561204 CPUtime=1601.72 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 139645 0 0 0 154233 5939 0 0 25 0 1 0 37302655 574672896 138957 1992294400 4194304 7136930 140737401133168 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 140301 138957 386 719 0 139580 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 561204 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5966 /proc/meminfo: memFree=1123792/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=570648 CPUtime=1661.71 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 142124 0 0 0 160091 6080 0 0 25 0 1 0 37302655 584343552 141436 1992294400 4194304 7136930 140737401133168 18446744073709551615 4999811 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 142662 141436 386 719 0 141941 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 570648 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5968 /proc/meminfo: memFree=1112012/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=582460 CPUtime=1721.69 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 145193 0 0 0 165956 6213 0 0 25 0 1 0 37302655 596439040 144505 1992294400 4194304 7136930 140737401133168 18446744073709551615 5000327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 145615 144505 386 719 0 144894 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 582460 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5968 /proc/meminfo: memFree=1101224/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=592220 CPUtime=1781.67 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 147732 0 0 0 171824 6343 0 0 25 0 1 0 37302655 606433280 147044 1992294400 4194304 7136930 140737401133168 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 148055 147044 386 719 0 147334 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 592220 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5970 /proc/meminfo: memFree=1096884/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=596344 CPUtime=1800.07 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 148790 0 0 0 173626 6381 0 0 25 0 1 0 37302655 610656256 148102 1992294400 4194304 7136930 140737401133168 18446744073709551615 4999837 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5909/statm: 149086 148102 386 719 0 148365 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 596344 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -5909 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 5970 /proc/meminfo: memFree=1096884/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=596572 CPUtime=1800.75 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 148843 0 0 0 173694 6381 0 0 25 0 1 0 37302655 610889728 148155 1992294400 4194304 7136930 140737401133168 18446744073709551615 4670052 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5909/statm: 149143 148155 392 719 0 148422 0 Current children cumulated CPU time (s) 1800.75 Current children cumulated vsize (KiB) 596572 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5971 /proc/meminfo: memFree=1096752/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=596572 CPUtime=1801.55 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 148843 0 0 0 173774 6381 0 0 25 0 1 0 37302655 610889728 148155 1992294400 4194304 7136930 140737401133168 18446744073709551615 6165594 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5909/statm: 149143 148155 392 719 0 148422 0 Current children cumulated CPU time (s) 1801.55 Current children cumulated vsize (KiB) 596572 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5971 /proc/meminfo: memFree=1096752/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=596572 CPUtime=1801.95 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 148843 0 0 0 173814 6381 0 0 25 0 1 0 37302655 610889728 148155 1992294400 4194304 7136930 140737401133168 18446744073709551615 6166347 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5909/statm: 149143 148155 392 719 0 148422 0 Current children cumulated CPU time (s) 1801.95 Current children cumulated vsize (KiB) 596572 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 1.00 2/108 5971 /proc/meminfo: memFree=1096752/2059040 swapFree=4136232/4192956 [pid=5909] ppid=5907 vsize=596572 CPUtime=1802.05 /proc/5909/stat : 5909 (pbscip.linux.x8) R 5907 5909 5318 0 -1 4202496 148843 0 0 0 173824 6381 0 0 25 0 1 0 37302655 610889728 148155 1992294400 4194304 7136930 140737401133168 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5909/statm: 149143 148155 392 719 0 148422 0 Current children cumulated CPU time (s) 1802.05 Current children cumulated vsize (KiB) 596572 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.78 CPU time (s): 1802.14 CPU user time (s): 1738.27 CPU system time (s): 63.8773 CPU usage (%): 99.9647 Max. virtual memory (cumulated for all children) (KiB): 596572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1738.27 system time used= 63.8773 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 148843 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= 1 involuntary context switches= 19803 runsolver used 3.05454 second user time and 8.47271 second system time The end
Begin job on node011 at 2010-06-15 17:50:11 IDJOB=2664226 IDBENCH=2926 IDSOLVER=1167 FILE ID=node011/2664226-1276617011 PBS_JOBID= 11172285 Free space on /tmp= 62360 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_2.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2664226-1276617011/watcher-2664226-1276617011 -o /tmp/evaluation-result-2664226-1276617011/solver-2664226-1276617011 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664226-1276617011.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c0264878059fff5e6fa5f51839a60b24 RANDOM SEED=1146400788 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: 1692124 kB Buffers: 136912 kB Cached: 150668 kB SwapCached: 10072 kB Active: 113728 kB Inactive: 187132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1692124 kB SwapTotal: 4192956 kB SwapFree: 4136232 kB Dirty: 3232 kB Writeback: 0 kB AnonPages: 11652 kB Mapped: 9388 kB Slab: 44248 kB PageTables: 4092 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180840 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= 62360 MiB End job on node011 at 2010-06-15 18:20:14