Maximize
 obj: 240126 t
Subject To
 c0: 240126 c_12_0 - 240126 t_8_O_0 - 614722560 t >= 240126
 c1: 240126 c_16_0 - 240126 t_12_O_0 - 1229445120 t >= 240126
 c2: 240126 t_12_O_0 - 240126 c_12_0 - 11618256384 t >= 0
 c3: 240126 t_16_O_0 - 240126 c_16_0 - 44812794372 t >= 0
 c4: 240126 c_16_0 - 240126 c_16_0 - 44812794372 t >= -240126
 c5: 240126 c_12_0 - 240126 c_12_0 - 11618256384 t >= -240126
 c6: 240126 t_16_O_0 - 240126 t_16_O_0 - 614722560 t >= -240126
 c7: 240126 t_8_O_0 - 240126 t_8_O_0 - 614722560 t >= -240126
 c8: 240126 t_12_O_0 - 240126 t_12_O_0 - 1229445120 t >= -240126
 c9: 240126 f_c_16_0 - 240126 c_16_0 - 44812794372 t >= 0
 c10: 240126 f_c_16_0 - 240126 f_c_16_0 + 0 t >= -240126
 c11: 240126 f_c_12_0 - 240126 c_12_0 - 11618256384 t >= 0
 c12: 240126 f_c_12_0 - 240126 f_c_12_0 + 0 t >= -240126
 c13: 240126 f_t_16_O_0 - 240126 t_16_O_0 - 614722560 t >= 0
 c14: 240126 f_t_16_O_0 - 240126 f_t_16_O_0 + 0 t >= -240126
 c15: 240126 f_t_8_O_0 - 240126 t_8_O_0 - 614722560 t >= 0
 c16: 240126 f_t_8_O_0 - 240126 f_t_8_O_0 + 0 t >= -240126
 c17: 240126 f_t_12_O_0 - 240126 t_12_O_0 - 1229445120 t >= 0
 c18: 240126 f_t_12_O_0 - 240126 f_t_12_O_0 + 0 t >= -240126
 c19: 240126 f_t_8_O_0 - 240126 c_12_0 - 11618256384 t >= 0
 c20: 240126 f_t_12_O_0 - 240126 c_16_0 - 44812794372 t >= 0
 c21: 240126 f_c_12_0 - 240126 t_12_O_0 - 1229445120 t >= 0
 c22: 240126 f_c_16_0 - 240126 t_16_O_0 - 614722560 t >= 0
 c23: 240126 c_12_0 - 240126 c_16_0 - 44812794372 t + 240126 no_overlap_0 >= 0
 c24: 240126 c_16_0 - 240126 c_12_0 - 11618256384 t - 240126 no_overlap_0 >= -240126
 c25: 240126 t_16_O_0 - 240126 c_16_0 - 44812794372 t + 240126 no_overlap_1 >= 0
 c26: 240126 c_16_0 - 240126 t_16_O_0 - 614722560 t - 240126 no_overlap_1 >= -240126
 c27: 240126 t_8_O_0 - 240126 c_16_0 - 44812794372 t + 240126 no_overlap_2 >= 0
 c28: 240126 c_16_0 - 240126 t_8_O_0 - 614722560 t - 240126 no_overlap_2 >= -240126
 c29: 240126 t_16_O_0 - 240126 c_12_0 - 11618256384 t + 240126 no_overlap_3 >= 0
 c30: 240126 c_12_0 - 240126 t_16_O_0 - 614722560 t - 240126 no_overlap_3 >= -240126
 c31: 240126 t_8_O_0 - 240126 c_12_0 - 11618256384 t + 240126 no_overlap_4 >= 0
 c32: 240126 c_12_0 - 240126 t_8_O_0 - 614722560 t - 240126 no_overlap_4 >= -240126
 c33: 240126 t_8_O_0 - 240126 t_16_O_0 - 614722560 t + 240126 no_overlap_5 >= 0
 c34: 240126 t_16_O_0 - 240126 t_8_O_0 - 614722560 t - 240126 no_overlap_5 >= -240126
 c35: 240126 t <= 1
Bounds
 0 <= t <= +inf
 0 <= c_16_0 <= +inf
 0 <= c_12_0 <= +inf
 0 <= t_16_O_0 <= +inf
 0 <= t_8_O_0 <= +inf
 0 <= t_12_O_0 <= +inf
 0 <= f_c_16_0 <= +inf
 0 <= f_c_12_0 <= +inf
 0 <= f_t_16_O_0 <= +inf
 0 <= f_t_8_O_0 <= +inf
 0 <= f_t_12_O_0 <= +inf
 no_overlap_0 free
 no_overlap_1 free
 no_overlap_2 free
 no_overlap_3 free
 no_overlap_4 free
 no_overlap_5 free
General
no_overlap_0
no_overlap_1
no_overlap_2
no_overlap_3
no_overlap_4
no_overlap_5
Binary
End