MODEL PARKING OBJECTIVE Z
TYPE MIP DIRECTION MAXIMIZE
SOLVER LAMPS FROM LINE 84
**** SOLVER STATUS 1 NORMAL COMPLETION
**** MODEL STATUS 1 OPTIMAL
**** OBJECTIVE VALUE 398.0000
RESOURCE USAGE, LIMIT 9.520 1000.000
ITERATION COUNT, LIMIT 600 1000
** Solution Summary ** Primal Integer
Number of iterations 599 1
CPU Time (secs) 8.42 1.08
Number of nodes 0
Objective value 398.0000 398.0000
Exit - Optimal solution found
---- 85 VARIABLE X.L 1 if space is a parking spot 0 otherwise
1 2 3 4 5 6
1 1.000 1.000 1.000 1.000 1.000 1.000
3 1.000 1.000 1.000 1.000
4 1.000 1.000 1.000 1.000
6 1.000 1.000 1.000 1.000
7 1.000 1.000 1.000 1.000
9 1.000 1.000 1.000 1.000
10 1.000 1.000 1.000 1.000
12 1.000 1.000 1.000 1.000
13 1.000 1.000 1.000 1.000
15 1.000 1.000 1.000 1.000 1.000 1.000
+ 7 8 9 10 11 12
1 1.000 1.000 1.000 1.000 1.000 1.000
3 1.000 1.000 1.000 1.000 1.000 1.000
4 1.000 1.000 1.000 1.000 1.000 1.000
6 1.000 1.000 1.000 1.000 1.000 1.000
7 1.000 1.000 1.000 1.000 1.000 1.000
9 1.000 1.000 1.000 1.000 1.000 1.000
10 1.000 1.000 1.000 1.000 1.000 1.000
12 1.000 1.000 1.000 1.000 1.000 1.000
13 1.000 1.000 1.000 1.000 1.000 1.000
15 1.000 1.000 1.000 1.000 1.000 1.000
+ 13 14 15 16 17 18
1 1.000 1.000 1.000 1.000 1.000 1.000
3 1.000 1.000 1.000 1.000 1.000 1.000
4 1.000 1.000 1.000 1.000 1.000 1.000
6 1.000 1.000 1.000 1.000 1.000 1.000
7 1.000 1.000 1.000 1.000 1.000 1.000
9 1.000 1.000 1.000 1.000 1.000 1.000
10 1.000 1.000 1.000 1.000 1.000 1.000
12 1.000 1.000 1.000 1.000 1.000 1.000
13 1.000 1.000 1.000 1.000 1.000 1.000
15 1.000 1.000 1.000 1.000 1.000 1.000
+ 19 20 21 22 23 24
1 1.000 1.000 1.000 1.000 1.000 1.000
3 1.000 1.000 1.000 1.000 1.000 1.000
4 1.000 1.000 1.000 1.000 1.000 1.000
6 1.000 1.000 1.000 1.000 1.000 1.000
7 1.000 1.000 1.000 1.000 1.000 1.000
9 1.000 1.000 1.000 1.000 1.000 1.000
10 1.000 1.000 1.000 1.000 1.000 1.000
12 1.000 1.000 1.000 1.000 1.000 1.000
13 1.000 1.000 1.000 1.000 1.000 1.000
15 1.000 1.000 1.000 1.000 1.000 1.000
+ 25 26 27 28 29 30
1 1.000 1.000 1.000 1.000 1.000 1.000
3 1.000 1.000 1.000 1.000 1.000 1.000
4 1.000 1.000 1.000 1.000 1.000 1.000
6 1.000 1.000 1.000 1.000 1.000 1.000
7 1.000 1.000 1.000 1.000 1.000 1.000
9 1.000 1.000 1.000 1.000 1.000 1.000
10 1.000 1.000 1.000 1.000 1.000 1.000
12 1.000 1.000 1.000 1.000 1.000 1.000
13 1.000 1.000 1.000 1.000 1.000 1.000
15 1.000 1.000 1.000 1.000 1.000 1.000
+ 31 32 33 34 35 36
1 1.000 1.000 1.000 1.000 1.000 1.000
3 1.000 1.000 1.000 1.000 1.000 1.000
4 1.000 1.000 1.000 1.000 1.000 1.000
6 1.000 1.000 1.000 1.000 1.000 1.000
7 1.000 1.000 1.000 1.000 1.000 1.000
9 1.000 1.000 1.000 1.000 1.000 1.000
10 1.000 1.000 1.000 1.000 1.000 1.000
12 1.000 1.000 1.000 1.000 1.000 1.000
13 1.000 1.000 1.000 1.000 1.000 1.000
15 1.000 1.000 1.000 1.000 1.000 1.000
+ 37 38 39 40 41 42
1 1.000 1.000 1.000 1.000 1.000 1.000
3 1.000 1.000 1.000 1.000 1.000
4 1.000 1.000 1.000 1.000 1.000
6 1.000 1.000 1.000 1.000 1.000
7 1.000 1.000 1.000 1.000 1.000
9 1.000 1.000 1.000 1.000 1.000
10 1.000 1.000 1.000 1.000 1.000
12 1.000 1.000 1.000 1.000 1.000
13 1.000 1.000 1.000 1.000 1.000
15 1.000 1.000 1.000 1.000 1.000 1.000
+ 43
1 1.000
15 1.000