CP-SAT Solver performance has decreased [6.10.6025 -> 7.1.6720]

[avolts]

Hi, i just ran a performance test for my jobshop problems using the CP-SAT solver on windows. I have just exchanged the the OrTools version and did no changes on the code.

If I use the Version 6.10.6025 the solver provides a quite good solution after 42 seconds runtime (max_time_in_seconds). Due to random crashes ".NetCore has stopped working" on Windows, we upgraded to Version 7.1.6720 and the solver needs now at least 120 seconds to find an almost as good solution as before. I am experiencing a performance loss of the CP-SAT solver for the versions between 6.10.6025 and 7.1.6720, too. Have you changed something that impacted the performance of the CP-SAT solver?

Kind Regards

Anja

[lperron]

The solver is under very active development. We run regression tests continuously, and we are seeing average improvements with little regressions all across the board in our tests.

This does not mean that individual problems cannot experience slowdowns.

if you send us the proto of your model, we can integrate it in our test suite.

Thanks Laurent Perron | Operations Research | lperron@google.com | (33) 1 42 68 53 00

Le lun. 17 juin 2019 à 13:16, Anja notifications@github.com a écrit :

Hi, i just ran a performance test for my jobshop problems using the CP-SAT solver on windows. I have just exchanged the the OrTools version and did no changes on the code.

If I use the Version 6.10.6025 the solver provides a quite good solution after 42 seconds runtime (max_time_in_seconds). Due to random crashes ".NetCore has stopped working" on Windows, we upgraded to Version 7.1.6720 and the solver needs now at least 120 seconds to find an almost as good solution as before. I am experiencing a performance loss of the CP-SAT solver for the versions between 6.10.6025 and 7.1.6720, too. Have you changed something that impacted the performance of the CP-SAT solver?

Kind Regards

Anja

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/google/or-tools/issues/1359?email_source=notifications&email_token=ACUPL3OIP2SDAT5RAPARHILP25W7JA5CNFSM4HYVTZA2YY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4GZ3NKEQ, or mute the thread https://github.com/notifications/unsubscribe-auth/ACUPL3MSTC54Q7GMYGKN2O3P25W7JANCNFSM4HYVTZAQ .

[avolts]

Hi Laurent,

thank you for your quick response. Attached you find our model. We are solving our scheduling problem in iterations to reduce the complexity. We start with SubProblem1 and by using this partial solution we are trying to solve SubProblem2 and so on. SubProblem6 is the complete jobshop problem by using all previous found partial solutions. This is working better for us than solving the whole problem at once.

Used solver parameter: StringParameters = @"linearization_level: 0

exploit_integer_lp_solution: false max_time_in_seconds: 7"

If you need further information please let me know.

Kind regards Anja

Am Mo., 17. Juni 2019 um 13:26 Uhr schrieb Laurent Perron < notifications@github.com>:

The solver is under very active development. We run regression tests continuously, and we are seeing average improvements with little regressions all across the board in our tests.

This does not mean that individual problems cannot experience slowdowns.

if you send us the proto of your model, we can integrate it in our test suite.

Thanks Laurent Perron | Operations Research | lperron@google.com | (33) 1 42 68 53 00

Le lun. 17 juin 2019 à 13:16, Anja notifications@github.com a écrit :

Hi, i just ran a performance test for my jobshop problems using the CP-SAT solver on windows. I have just exchanged the the OrTools version and did no changes on the code.

If I use the Version 6.10.6025 the solver provides a quite good solution after 42 seconds runtime (max_time_in_seconds). Due to random crashes ".NetCore has stopped working" on Windows, we upgraded to Version 7.1.6720 and the solver needs now at least 120 seconds to find an almost as good solution as before. I am experiencing a performance loss of the CP-SAT solver for the versions between 6.10.6025 and 7.1.6720, too. Have you changed something that impacted the performance of the CP-SAT solver?

Kind Regards

Anja

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub < https://github.com/google/or-tools/issues/1359?email_source=notifications&email_token=ACUPL3OIP2SDAT5RAPARHILP25W7JA5CNFSM4HYVTZA2YY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4GZ3NKEQ , or mute the thread < https://github.com/notifications/unsubscribe-auth/ACUPL3MSTC54Q7GMYGKN2O3P25W7JANCNFSM4HYVTZAQ

.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/google/or-tools/issues/1359?email_source=notifications&email_token=AFOBCTF4FEQV7XEYBGEGVPLP25YHVA5CNFSM4HYVTZA2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODX23YPY#issuecomment-502643775, or mute the thread https://github.com/notifications/unsubscribe-auth/AFOBCTDQ3KIQP65LG7RGPYTP25YHVANCNFSM4HYVTZAQ .

{{ "variables": [ { "name": "1.1.Start", "domain": [ "0", "2390" ] }, { "name": "1.1.End", "domain": [ "0", "2390" ] }, { "name": "1.1.Duration", "domain": [ "25", "25" ] }, { "name": "1.1.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "1.1.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "1.1.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "1.2.Start", "domain": [ "0", "2390" ] }, { "name": "1.2.End", "domain": [ "0", "2390" ] }, { "name": "1.2.Duration", "domain": [ "60", "60" ] }, { "name": "1.2.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "1.2.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "1.2.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "1.3.Start", "domain": [ "0", "2390" ] }, { "name": "1.3.End", "domain": [ "0", "2390" ] }, { "name": "1.3.Duration", "domain": [ "25", "25" ] }, { "name": "2.1.Start", "domain": [ "0", "2390" ] }, { "name": "2.1.End", "domain": [ "0", "2390" ] }, { "name": "2.1.Duration", "domain ": [ "25", "25" ] }, { "name": "2.1.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "2.1.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "2.1.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "2.2.Start", "domain": [ "0", "2390" ] }, { "name": "2.2.End", "domain": [ "0", "2390" ] }, { "name": "2.2.Duration", "domain": [ "60", "60" ] }, { "name": "2.2.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "2.2.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "2.2.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "2.3.Start", "domain": [ "0", "2390" ] }, { "name": "2.3.End", "domain": [ "0", "2390" ] }, { "name": "2.3.Duration", "domain": [ "60", "60" ] }, { "name": "2.3.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "2.3.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "2.3.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "2.4.Start", "domain": [ "0", "2390" ] }, { "name": "2.4.End", "domain": [ " 0", "2390" ] }, { "name": "2.4.Duration", "domain": [ "120", "120" ] }, { "name": "2.4.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "2.4.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "2.4.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "2.5.Start", "domain": [ "0", "2390" ] }, { "name": "2.5.End", "domain": [ "0", "2390" ] }, { "name": "2.5.Duration", "domain": [ "25", "25" ] }, { "name": "3.1.Start", "domain": [ "0", "2390" ] }, { "name": "3.1.End", "domain": [ "0", "2390" ] }, { "name": "3.1.Duration", "domain": [ "25", "25" ] }, { "name": "3.1.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "3.1.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "3.1.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "3.2.Start", "domain": [ "0", "2390" ] }, { "name": "3.2.End", "domain": [ "0", "2390" ] }, { "name": "3.2.Duration", "domain": [ "120", "120" ] }, { "name": "3.2.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "3 .2.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "3.2.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "3.3.Start", "domain": [ "0", "2390" ] }, { "name": "3.3.End", "domain": [ "0", "2390" ] }, { "name": "3.3.Duration", "domain": [ "30", "30" ] }, { "name": "3.3.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "3.3.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "3.3.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "3.4.Start", "domain": [ "0", "2390" ] }, { "name": "3.4.End", "domain": [ "0", "2390" ] }, { "name": "3.4.Duration", "domain": [ "180", "180" ] }, { "name": "3.4.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "3.4.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "3.4.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "3.5.Start", "domain": [ "0", "2390" ] }, { "name": "3.5.End", "domain": [ "0", "2390" ] }, { "name": "3.5.Duration", "domain": [ "30", "30" ] }, { "name": "3.5.AllocationSte p.Start", "domain": [ "0", "2390" ] }, { "name": "3.5.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "3.5.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "3.6.Start", "domain": [ "0", "2390" ] }, { "name": "3.6.End", "domain": [ "0", "2390" ] }, { "name": "3.6.Duration", "domain": [ "120", "120" ] }, { "name": "3.6.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "3.6.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "3.6.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "3.7.Start", "domain": [ "0", "2390" ] }, { "name": "3.7.End", "domain": [ "0", "2390" ] }, { "name": "3.7.Duration", "domain": [ "30", "30" ] }, { "name": "3.7.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "3.7.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "3.7.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "3.8.Start", "domain": [ "0", "2390" ] }, { "name": "3.8.End", "domain": [ "0", "2390" ] }, { "name": "3.8.Duration", "doma in": [ "1200", "1200" ] }, { "name": "3.8.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "3.8.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "3.8.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "3.9.Start", "domain": [ "0", "2390" ] }, { "name": "3.9.End", "domain": [ "0", "2390" ] }, { "name": "3.9.Duration", "domain": [ "30", "30" ] }, { "name": "3.9.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "3.9.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "3.9.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "3.10.Start", "domain": [ "0", "2390" ] }, { "name": "3.10.End", "domain": [ "0", "2390" ] }, { "name": "3.10.Duration", "domain": [ "180", "180" ] }, { "name": "3.10.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "3.10.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "3.10.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "3.11.Start", "domain": [ "0", "2390" ] }, { "name": "3.11.End ", "domain": [ "0", "2390" ] }, { "name": "3.11.Duration", "domain": [ "25", "25" ] }, { "name": "4.1.Start", "domain": [ "0", "2390" ] }, { "name": "4.1.End", "domain": [ "0", "2390" ] }, { "name": "4.1.Duration", "domain": [ "25", "25" ] }, { "name": "4.1.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "4.1.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "4.1.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "4.2.Start", "domain": [ "0", "2390" ] }, { "name": "4.2.End", "domain": [ "0", "2390" ] }, { "name": "4.2.Duration", "domain": [ "180", "180" ] }, { "name": "4.2.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "4.2.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "4.2.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "4.3.Start", "domain": [ "0", "2390" ] }, { "name": "4.3.End", "domain": [ "0", "2390" ] }, { "name": "4.3.Duration", "domain": [ "25", "25" ] }, { "name": "5.1.Start", "domain": [ "0", "2390" ] }, { "name": "5 .1.End", "domain": [ "0", "2390" ] }, { "name": "5.1.Duration", "domain": [ "25", "25" ] }, { "name": "5.1.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "5.1.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "5.1.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "5.2.Start", "domain": [ "0", "2390" ] }, { "name": "5.2.End", "domain": [ "0", "2390" ] }, { "name": "5.2.Duration", "domain": [ "180", "180" ] }, { "name": "5.2.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "5.2.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "5.2.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "5.3.Start", "domain": [ "0", "2390" ] }, { "name": "5.3.End", "domain": [ "0", "2390" ] }, { "name": "5.3.Duration", "domain": [ "25", "25" ] }, { "name": "6.1.Start", "domain": [ "0", "2390" ] }, { "name": "6.1.End", "domain": [ "0", "2390" ] }, { "name": "6.1.Duration", "domain": [ "25", "25" ] }, { "name": "6.1.AllocationStep.Start", "domain": [ "0", "239 0" ] }, { "name": "6.1.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "6.1.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "6.2.Start", "domain": [ "0", "2390" ] }, { "name": "6.2.End", "domain": [ "0", "2390" ] }, { "name": "6.2.Duration", "domain": [ "180", "180" ] }, { "name": "6.2.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "6.2.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "6.2.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "6.3.Start", "domain": [ "0", "2390" ] }, { "name": "6.3.End", "domain": [ "0", "2390" ] }, { "name": "6.3.Duration", "domain": [ "25", "25" ] }, { "name": "7.1.Start", "domain": [ "0", "2390" ] }, { "name": "7.1.End", "domain": [ "0", "2390" ] }, { "name": "7.1.Duration", "domain": [ "25", "25" ] }, { "name": "7.1.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "7.1.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "7.1.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name" : "7.2.Start", "domain": [ "0", "2390" ] }, { "name": "7.2.End", "domain": [ "0", "2390" ] }, { "name": "7.2.Duration", "domain": [ "180", "180" ] }, { "name": "7.2.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "7.2.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "7.2.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "7.3.Start", "domain": [ "0", "2390" ] }, { "name": "7.3.End", "domain": [ "0", "2390" ] }, { "name": "7.3.Duration", "domain": [ "25", "25" ] }, { "domain": [ "1", "1" ] }, { "domain": [ "6", "6" ] }, { "domain": [ "8", "8" ] }, { "name": "0", "domain": [ "0", "0" ] }, { "name": "latestEnd", "domain": [ "0", "2390" ] } ], "constraints": [ { "name": "1.1.Interval", "interval": { "end": 1, "size": 2 } }, { "name": "1.1.AllocationStep.Interval", "interval": { "start": 3, "end": 4, "size": 5 } }, { "name": "1.2.Interval", "interval": { "start": 6, "end": 7, "size": 8 } }, { "name": "1.2.AllocationStep.Interval", "interval": { "start": 9, "end": 10, "size": 1 1 } }, { "name": "1.3.Interval", "interval": { "start": 12, "end": 13, "size": 14 } }, { "name": "2.1.Interval", "interval": { "start": 15, "end": 16, "size": 17 } }, { "name": "2.1.AllocationStep.Interval", "interval": { "start": 18, "end": 19, "size": 20 } }, { "name": "2.2.Interval", "interval": { "start": 21, "end": 22, "size": 23 } }, { "name": "2.2.AllocationStep.Interval", "interval": { "start": 24, "end": 25, "size": 26 } }, { "name": "2.3.Interval", "interval": { "start": 27, "end": 28, "size": 29 } }, { "name": "2.3.AllocationStep.Interval", "interval": { "start": 30, "end": 31, "size": 32 } }, { "name": "2.4.Interval", "interval": { "start": 33, "end": 34, "size": 35 } }, { "name": "2.4.AllocationStep.Interval", "interval": { "start": 36, "end": 37, "size": 38 } }, { "name": "2.5.Interval", "interval": { "start": 39, "end": 40, "size": 41 } }, { "name": "3.1.Interval", "interval": { "start": 42, "end": 43, "size": 44 } }, { "name": "3.1.AllocationStep.Interval", "interval": { "start": 45, "end": 46, "size": 47 } }, { "name": "3.2.Interval", "interval": { "start": 48, "end": 49, "size": 50 } }, { "name": "3.2.AllocationStep.Interval", "interval": { "start": 51, "end": 52, "size": 53 } }, { "name": "3.3.Interval", "interval": { "start": 54, "end": 55, "size": 56 } }, { "name": "3.3.AllocationStep.Interval", "interval": { "start": 57, "end": 58, "size": 59 } }, { "name": "3.4.Interval", "interval": { "start": 60, "end": 61, "size": 62 } }, { "name": "3.4.AllocationStep.Interval", "interval": { "start": 63, "end": 64, "size": 65 } }, { "name": "3.5.Interval", "interval": { "start": 66, "end": 67, "size": 68 } }, { "name": "3.5.AllocationStep.Interval", "interval": { "start": 69, "end": 70, "size": 71 } }, { "name": "3.6.Interval", "interval": { "start": 72, "end": 73, "size": 74 } }, { "name": "3.6.AllocationStep.Interval", "interval": { "start": 75, "end": 76, "size": 77 } }, { "name": "3.7.Interval", "interval": { "start": 78, "end": 79, "size": 80 } }, { "name": "3.7.AllocationStep.Interval", "interval": { "start": 81, "end": 82, "size": 83 } }, { "name": "3.8.Interval", "interval": { "start": 84, "end": 85, "size": 86 } }, { "name": "3.8.AllocationStep.Interval", "interval": { "start": 87, "end": 88, "size": 89 } }, { "name": "3.9.Interval", "interval": { "start": 90, "end": 91, "size": 92 } }, { "name": "3.9.AllocationStep.Interval", "interval": { "start": 93, "end": 94, "size": 95 } }, { "name": "3.10.Interval", "interval": { "start": 96, "end": 97, "size": 98 } }, { "name": "3.10.AllocationStep.Interval", "interval": { "start": 99, "end": 100, "size": 101 } }, { "name": "3.11.Interval", "interval": { "start": 102, "end": 103, "size": 104 } }, { "name": "4.1.Interval", "interval": { "start": 105, "end": 106, "size": 107 } }, { "name": "4.1.AllocationStep.Interval", "interval": { "start": 108, "end": 109, "size": 110 } }, { "name": "4.2.Interval", "interval": { "start": 111, "end": 112, "size": 113 } }, { "name": "4.2.AllocationStep.Interval", "interval": { "start": 114, "end": 115, "size": 116 } }, { "name" : "4.3.Interval", "interval": { "start": 117, "end": 118, "size": 119 } }, { "name": "5.1.Interval", "interval": { "start": 120, "end": 121, "size": 122 } }, { "name": "5.1.AllocationStep.Interval", "interval": { "start": 123, "end": 124, "size": 125 } }, { "name": "5.2.Interval", "interval": { "start": 126, "end": 127, "size": 128 } }, { "name": "5.2.AllocationStep.Interval", "interval": { "start": 129, "end": 130, "size": 131 } }, { "name": "5.3.Interval", "interval": { "start": 132, "end": 133, "size": 134 } }, { "name": "6.1.Interval", "interval": { "start": 135, "end": 136, "size": 137 } }, { "name": "6.1.AllocationStep.Interval", "interval": { "start": 138, "end": 139, "size": 140 } }, { "name": "6.2.Interval", "interval": { "start": 141, "end": 142, "size": 143 } }, { "name": "6.2.AllocationStep.Interval", "interval": { "start": 144, "end": 145, "size": 146 } }, { "name": "6.3.Interval", "interval": { "start": 147, "end": 148, "size": 149 } }, { "name": "7.1.Interval", "interval": { "start": 150, "end": 151, "size": 152 } }, { "name": "7.1.AllocationStep.Interval", "interval": { "start": 153, "end": 154, "size": 155 } }, { "name": "7.2.Interval", "interval": { "start": 156, "end": 157, "size": 158 } }, { "name": "7.2.AllocationStep.Interval", "interval": { "start": 159, "end": 160, "size": 161 } }, { "name": "7.3.Interval", "interval": { "start": 162, "end": 163, "size": 164 } }, { "noOverlap": { "intervals": [ 0, 4, 5, 13, 14, 18, 22, 26, 30, 34, 35, 39, 40, 44, 45, 49, 50, 54 ] } }, { "cumulative": { "capacity": 166, "intervals": [ 20, 28 ], "demands": [ 165, 165 ] } }, { "noOverlap": { "intervals": [ 2, 9, 16, 11, 32 ] } }, { "cumulative": { "capacity": 167, "intervals": [ 0, 2, 4, 5, 7, 9, 11, 13, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 35, 37, 39, 40, 42, 44, 45, 47, 49, 50, 52, 54, 1, 3, 6, 8, 10, 12, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 36, 38, 41, 43, 46, 48, 51, 53 ], "demands": [ 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165 , 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165 ] } }, { "linear": { "vars": [ 1, 3 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 4, 6 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 7, 9 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 10, 12 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 16, 18 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 19, 21 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 22, 24 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 25, 27 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 28, 30 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 31, 33 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 34, 36 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 37, 39 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 43, 45 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 46, 48 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 49, 51 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 52, 54 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 55, 57 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 58, 60 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 61, 63 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 64, 66 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 67, 69 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 70, 72 ], "coeffs": [ "1", "-1" ], "d omain": [ "0", "0" ] } }, { "linear": { "vars": [ 73, 75 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 76, 78 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 79, 81 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 82, 84 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 85, 87 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 88, 90 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 91, 93 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 94, 96 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 97, 99 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 100, 102 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 106, 108 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 109, 111 ], "c oeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 112, 114 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 115, 117 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 121, 123 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 124, 126 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 127, 129 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 130, 132 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 136, 138 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 139, 141 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 142, 144 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 145, 147 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 151, 153 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 154, 156 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 157, 159 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 160, 162 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 72, 49 ], "coeffs": [ "2", "-2" ], "domain": [ "-9223372036854775808", "1000" ] } }, { "linear": { "vars": [ 96, 73 ], "coeffs": [ "2", "-2" ], "domain": [ "-9223372036854775808", "3600" ] } }, { "linear": { "vars": [ 6, 21 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 7, 22 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 33, 72 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 34, 73 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 96, 111 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 97, 112 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 96, 126 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 97, 127 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 96, 141 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 97, 142 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 96, 156 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 97, 157 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 111, 126 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 112, 127 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 111, 141 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 112, 142 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 111, 156 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 112, 157 ], "coeffs": [ "1", "-1" ], "dom ain": [ "0", "0" ] } }, { "linear": { "vars": [ 126, 141 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 127, 142 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 126, 156 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 127, 157 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 141, 156 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 142, 157 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "intMin": { "target": 168, "vars": [ 0, 6, 12, 15, 21, 27, 33, 39, 42, 48, 54, 60, 66, 72, 78, 84, 90, 96, 102, 105, 111, 117, 120, 126, 132, 135, 141, 147, 150, 156, 162 ] } }, { "intMax": { "target": 169, "vars": [ 1, 7, 13, 16, 22, 28, 34, 40, 43, 49, 55, 61, 67, 73, 79, 85, 91, 97, 103, 106, 112, 118, 121, 127, 133, 136, 142, 148, 151, 157, 163 ] } } ], "objective": { "vars": [ 169, 13, 40, 103, 118, 133, 148, 163, 0, 15, 42, 105, 120, 135, 150 ], "scalingF actor": 1, "coeffs": [ "1", "1", "1", "1", "1", "1", "1", "1", "-1", "-1", "-1", "-1", "-1", "-1", "-1" ] } }} Constraints: {[ { "name": "1.1.Interval", "interval": { "end": 1, "size": 2 } }, { "name": "1.1.AllocationStep.Interval", "interval": { "start": 3, "end": 4, "size": 5 } }, { "name": "1.2.Interval", "interval": { "start": 6, "end": 7, "size": 8 } }, { "name": "1.2.AllocationStep.Interval", "interval": { "start": 9, "end": 10, "size": 11 } }, { "name": "1.3.Interval", "interval": { "start": 12, "end": 13, "size": 14 } }, { "name": "2.1.Interval", "interval": { "start": 15, "end": 16, "size": 17 } }, { "name": "2.1.AllocationStep.Interval", "interval": { "start": 18, "end": 19, "size": 20 } }, { "name": "2.2.Interval", "interval": { "start": 21, "end": 22, "size": 23 } }, { "name": "2.2.AllocationStep.Interval", "interval": { "start": 24, "end": 25, "size": 26 } }, { "name": "2.3.Interval", "interval": { "start": 27, "end": 28, "size": 29 } }, { "name": "2.3.AllocationStep.Interval", "interval": { "start": 30, "end": 31, "size": 32 } }, { "name": "2.4.Interval", "interval": { "start": 33, "end": 34, "size": 35 } }, { "name": "2.4.AllocationStep.Interval", "interval": { "start": 36, "end": 37, "size": 38 } }, { "name": "2.5.Interval", "interval": { "start": 39, "end": 40, "size": 41 } }, { "name": "3.1.Interval", "interval": { "start": 42, "end": 43, "size": 44 } }, { "name": "3.1.AllocationStep.Interval", "interval": { "start": 45, "end": 46, "size": 47 } }, { "name": "3.2.Interval", "interval": { "start": 48, "end": 49, "size": 50 } }, { "name": "3.2.AllocationStep.Interval", "interval": { "start": 51, "end": 52, "size": 53 } }, { "name": "3.3.Interval", "interval": { "start": 54, "end": 55, "size": 56 } }, { "name": "3.3.AllocationStep.Interval", "interval": { "start": 57, "end": 58, "size": 59 } }, { "name": "3.4.Interval", "interval": { "start": 60, "end": 61, "size": 62 } }, { "name": "3.4.AllocationStep.Interval", "interval": { "start": 63, "end": 64, "size": 65 } }, { "name": "3.5.Interval", "interval": { "start": 66, "end": 67, "size": 68 } }, { "name": "3.5.AllocationStep.Interval", "interval": { "start" : 69, "end": 70, "size": 71 } }, { "name": "3.6.Interval", "interval": { "start": 72, "end": 73, "size": 74 } }, { "name": "3.6.AllocationStep.Interval", "interval": { "start": 75, "end": 76, "size": 77 } }, { "name": "3.7.Interval", "interval": { "start": 78, "end": 79, "size": 80 } }, { "name": "3.7.AllocationStep.Interval", "interval": { "start": 81, "end": 82, "size": 83 } }, { "name": "3.8.Interval", "interval": { "start": 84, "end": 85, "size": 86 } }, { "name": "3.8.AllocationStep.Interval", "interval": { "start": 87, "end": 88, "size": 89 } }, { "name": "3.9.Interval", "interval": { "start": 90, "end": 91, "size": 92 } }, { "name": "3.9.AllocationStep.Interval", "interval": { "start": 93, "end": 94, "size": 95 } }, { "name": "3.10.Interval", "interval": { "start": 96, "end": 97, "size": 98 } }, { "name": "3.10.AllocationStep.Interval", "interval": { "start": 99, "end": 100, "size": 101 } }, { "name": "3.11.Interval", "interval": { "start": 102, "end": 103, "size": 104 } }, { "name": "4.1.Interval", "in terval": { "start": 105, "end": 106, "size": 107 } }, { "name": "4.1.AllocationStep.Interval", "interval": { "start": 108, "end": 109, "size": 110 } }, { "name": "4.2.Interval", "interval": { "start": 111, "end": 112, "size": 113 } }, { "name": "4.2.AllocationStep.Interval", "interval": { "start": 114, "end": 115, "size": 116 } }, { "name": "4.3.Interval", "interval": { "start": 117, "end": 118, "size": 119 } }, { "name": "5.1.Interval", "interval": { "start": 120, "end": 121, "size": 122 } }, { "name": "5.1.AllocationStep.Interval", "interval": { "start": 123, "end": 124, "size": 125 } }, { "name": "5.2.Interval", "interval": { "start": 126, "end": 127, "size": 128 } }, { "name": "5.2.AllocationStep.Interval", "interval": { "start": 129, "end": 130, "size": 131 } }, { "name": "5.3.Interval", "interval": { "start": 132, "end": 133, "size": 134 } }, { "name": "6.1.Interval", "interval": { "start": 135, "end": 136, "size": 137 } }, { "name": "6.1.AllocationStep.Interval", "interval": { "start": 138, "end": 139, "size": 140 } }, { "name": "6.2.Interval", "interval": { "start": 141, "end": 142, "size": 143 } }, { "name": "6.2.AllocationStep.Interval", "interval": { "start": 144, "end": 145, "size": 146 } }, { "name": "6.3.Interval", "interval": { "start": 147, "end": 148, "size": 149 } }, { "name": "7.1.Interval", "interval": { "start": 150, "end": 151, "size": 152 } }, { "name": "7.1.AllocationStep.Interval", "interval": { "start": 153, "end": 154, "size": 155 } }, { "name": "7.2.Interval", "interval": { "start": 156, "end": 157, "size": 158 } }, { "name": "7.2.AllocationStep.Interval", "interval": { "start": 159, "end": 160, "size": 161 } }, { "name": "7.3.Interval", "interval": { "start": 162, "end": 163, "size": 164 } }, { "noOverlap": { "intervals": [ 0, 4, 5, 13, 14, 18, 22, 26, 30, 34, 35, 39, 40, 44, 45, 49, 50, 54 ] } }, { "cumulative": { "capacity": 166, "intervals": [ 20, 28 ], "demands": [ 165, 165 ] } }, { "noOverlap": { "intervals": [ 2, 9, 16, 11, 32 ] } }, { "cumulative": { "capacity": 167, "intervals": [ 0, 2, 4, 5, 7, 9, 11, 13, 14, 16, 18, 20, 22, 24, 26, 28, 30, 32, 34, 35, 37, 39, 40, 42, 44, 45, 47, 49, 50, 52, 54, 1, 3, 6, 8, 10, 12, 15, 17, 19, 21, 23, 25, 27, 29, 31, 33, 36, 38, 41, 43, 46, 48, 51, 53 ], "demands": [ 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165, 165 ] } }, { "linear": { "vars": [ 1, 3 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 4, 6 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 7, 9 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 10, 12 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 16, 18 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 19, 21 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 22, 24 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 25, 27 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 28, 30 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 31, 33 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 34, 36 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 37, 39 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 43, 45 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 46, 48 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 49, 51 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 52, 54 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 55, 57 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 58, 60 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 61, 63 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 64, 66 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 67, 69 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 70, 72 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 73, 75 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 76, 78 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 79, 81 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 82, 84 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 85, 87 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 88, 90 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 91, 93 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 94, 96 ], "coeffs": [ "1" , "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 97, 99 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 100, 102 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 106, 108 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 109, 111 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 112, 114 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 115, 117 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 121, 123 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 124, 126 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 127, 129 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 130, 132 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 136, 138 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear" : { "vars": [ 139, 141 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 142, 144 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 145, 147 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 151, 153 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 154, 156 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 157, 159 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 160, 162 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 72, 49 ], "coeffs": [ "2", "-2" ], "domain": [ "-9223372036854775808", "1000" ] } }, { "linear": { "vars": [ 96, 73 ], "coeffs": [ "2", "-2" ], "domain": [ "-9223372036854775808", "3600" ] } }, { "linear": { "vars": [ 6, 21 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 7, 22 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 33, 72 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 34, 73 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 96, 111 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 97, 112 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 96, 126 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 97, 127 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 96, 141 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 97, 142 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 96, 156 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 97, 157 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 111, 126 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 112, 127 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0 " ] } }, { "linear": { "vars": [ 111, 141 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 112, 142 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 111, 156 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 112, 157 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 126, 141 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 127, 142 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 126, 156 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 127, 157 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 141, 156 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "linear": { "vars": [ 142, 157 ], "coeffs": [ "1", "-1" ], "domain": [ "0", "0" ] } }, { "intMin": { "target": 168, "vars": [ 0, 6, 12, 15, 21, 27, 33, 39, 42, 48, 54, 60, 66, 72, 78, 84, 90, 96, 102, 105, 111, 11 7, 120, 126, 132, 135, 141, 147, 150, 156, 162 ] } }, { "intMax": { "target": 169, "vars": [ 1, 7, 13, 16, 22, 28, 34, 40, 43, 49, 55, 61, 67, 73, 79, 85, 91, 97, 103, 106, 112, 118, 121, 127, 133, 136, 142, 148, 151, 157, 163 ] } } ]} Name: "" Objective: {{ "vars": [ 169, 13, 40, 103, 118, 133, 148, 163, 0, 15, 42, 105, 120, 135, 150 ], "scalingFactor": 1, "coeffs": [ "1", "1", "1", "1", "1", "1", "1", "1", "-1", "-1", "-1", "-1", "-1", "-1", "-1" ] }} SearchStrategy: {[ ]} SolutionHint: null Variables: {[ { "name": "1.1.Start", "domain": [ "0", "2390" ] }, { "name": "1.1.End", "domain": [ "0", "2390" ] }, { "name": "1.1.Duration", "domain": [ "25", "25" ] }, { "name": "1.1.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "1.1.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "1.1.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "1.2.Start", "domain": [ "0", "2390" ] }, { "name": "1.2.End", "domain": [ "0", "2390" ] }, { "name": "1.2.Duration", "domain": [ "60", "60" ] }, { "name": "1.2.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "1.2.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "1.2.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "1.3.Start", "domain": [ "0", "2390" ] }, { "name": "1.3.End", "domain": [ "0", "2390" ] }, { "name": "1.3.Duration", "domain": [ "25", "25" ] }, { "name": "2.1.Start", "domain": [ "0", "2390" ] }, { "name": "2.1.End", "domain": [ "0", "2390" ] }, { "name": "2.1.Duration", "domain ": [ "25", "25" ] }, { "name": "2.1.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "2.1.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "2.1.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "2.2.Start", "domain": [ "0", "2390" ] }, { "name": "2.2.End", "domain": [ "0", "2390" ] }, { "name": "2.2.Duration", "domain": [ "60", "60" ] }, { "name": "2.2.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "2.2.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "2.2.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "2.3.Start", "domain": [ "0", "2390" ] }, { "name": "2.3.End", "domain": [ "0", "2390" ] }, { "name": "2.3.Duration", "domain": [ "60", "60" ] }, { "name": "2.3.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "2.3.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "2.3.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "2.4.Start", "domain": [ "0", "2390" ] }, { "name": "2.4.End", "domain": [ " 0", "2390" ] }, { "name": "2.4.Duration", "domain": [ "120", "120" ] }, { "name": "2.4.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "2.4.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "2.4.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "2.5.Start", "domain": [ "0", "2390" ] }, { "name": "2.5.End", "domain": [ "0", "2390" ] }, { "name": "2.5.Duration", "domain": [ "25", "25" ] }, { "name": "3.1.Start", "domain": [ "0", "2390" ] }, { "name": "3.1.End", "domain": [ "0", "2390" ] }, { "name": "3.1.Duration", "domain": [ "25", "25" ] }, { "name": "3.1.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "3.1.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "3.1.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "3.2.Start", "domain": [ "0", "2390" ] }, { "name": "3.2.End", "domain": [ "0", "2390" ] }, { "name": "3.2.Duration", "domain": [ "120", "120" ] }, { "name": "3.2.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "3 .2.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "3.2.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "3.3.Start", "domain": [ "0", "2390" ] }, { "name": "3.3.End", "domain": [ "0", "2390" ] }, { "name": "3.3.Duration", "domain": [ "30", "30" ] }, { "name": "3.3.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "3.3.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "3.3.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "3.4.Start", "domain": [ "0", "2390" ] }, { "name": "3.4.End", "domain": [ "0", "2390" ] }, { "name": "3.4.Duration", "domain": [ "180", "180" ] }, { "name": "3.4.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "3.4.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "3.4.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "3.5.Start", "domain": [ "0", "2390" ] }, { "name": "3.5.End", "domain": [ "0", "2390" ] }, { "name": "3.5.Duration", "domain": [ "30", "30" ] }, { "name": "3.5.AllocationSte p.Start", "domain": [ "0", "2390" ] }, { "name": "3.5.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "3.5.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "3.6.Start", "domain": [ "0", "2390" ] }, { "name": "3.6.End", "domain": [ "0", "2390" ] }, { "name": "3.6.Duration", "domain": [ "120", "120" ] }, { "name": "3.6.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "3.6.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "3.6.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "3.7.Start", "domain": [ "0", "2390" ] }, { "name": "3.7.End", "domain": [ "0", "2390" ] }, { "name": "3.7.Duration", "domain": [ "30", "30" ] }, { "name": "3.7.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "3.7.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "3.7.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "3.8.Start", "domain": [ "0", "2390" ] }, { "name": "3.8.End", "domain": [ "0", "2390" ] }, { "name": "3.8.Duration", "doma in": [ "1200", "1200" ] }, { "name": "3.8.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "3.8.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "3.8.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "3.9.Start", "domain": [ "0", "2390" ] }, { "name": "3.9.End", "domain": [ "0", "2390" ] }, { "name": "3.9.Duration", "domain": [ "30", "30" ] }, { "name": "3.9.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "3.9.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "3.9.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "3.10.Start", "domain": [ "0", "2390" ] }, { "name": "3.10.End", "domain": [ "0", "2390" ] }, { "name": "3.10.Duration", "domain": [ "180", "180" ] }, { "name": "3.10.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "3.10.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "3.10.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "3.11.Start", "domain": [ "0", "2390" ] }, { "name": "3.11.End ", "domain": [ "0", "2390" ] }, { "name": "3.11.Duration", "domain": [ "25", "25" ] }, { "name": "4.1.Start", "domain": [ "0", "2390" ] }, { "name": "4.1.End", "domain": [ "0", "2390" ] }, { "name": "4.1.Duration", "domain": [ "25", "25" ] }, { "name": "4.1.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "4.1.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "4.1.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "4.2.Start", "domain": [ "0", "2390" ] }, { "name": "4.2.End", "domain": [ "0", "2390" ] }, { "name": "4.2.Duration", "domain": [ "180", "180" ] }, { "name": "4.2.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "4.2.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "4.2.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "4.3.Start", "domain": [ "0", "2390" ] }, { "name": "4.3.End", "domain": [ "0", "2390" ] }, { "name": "4.3.Duration", "domain": [ "25", "25" ] }, { "name": "5.1.Start", "domain": [ "0", "2390" ] }, { "name": "5 .1.End", "domain": [ "0", "2390" ] }, { "name": "5.1.Duration", "domain": [ "25", "25" ] }, { "name": "5.1.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "5.1.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "5.1.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "5.2.Start", "domain": [ "0", "2390" ] }, { "name": "5.2.End", "domain": [ "0", "2390" ] }, { "name": "5.2.Duration", "domain": [ "180", "180" ] }, { "name": "5.2.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "5.2.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "5.2.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "5.3.Start", "domain": [ "0", "2390" ] }, { "name": "5.3.End", "domain": [ "0", "2390" ] }, { "name": "5.3.Duration", "domain": [ "25", "25" ] }, { "name": "6.1.Start", "domain": [ "0", "2390" ] }, { "name": "6.1.End", "domain": [ "0", "2390" ] }, { "name": "6.1.Duration", "domain": [ "25", "25" ] }, { "name": "6.1.AllocationStep.Start", "domain": [ "0", "239 0" ] }, { "name": "6.1.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "6.1.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "6.2.Start", "domain": [ "0", "2390" ] }, { "name": "6.2.End", "domain": [ "0", "2390" ] }, { "name": "6.2.Duration", "domain": [ "180", "180" ] }, { "name": "6.2.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "6.2.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "6.2.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "6.3.Start", "domain": [ "0", "2390" ] }, { "name": "6.3.End", "domain": [ "0", "2390" ] }, { "name": "6.3.Duration", "domain": [ "25", "25" ] }, { "name": "7.1.Start", "domain": [ "0", "2390" ] }, { "name": "7.1.End", "domain": [ "0", "2390" ] }, { "name": "7.1.Duration", "domain": [ "25", "25" ] }, { "name": "7.1.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "7.1.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "7.1.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name" : "7.2.Start", "domain": [ "0", "2390" ] }, { "name": "7.2.End", "domain": [ "0", "2390" ] }, { "name": "7.2.Duration", "domain": [ "180", "180" ] }, { "name": "7.2.AllocationStep.Start", "domain": [ "0", "2390" ] }, { "name": "7.2.AllocationStep.End", "domain": [ "0", "2390" ] }, { "name": "7.2.AllocationStep.Duration", "domain": [ "0", "2390" ] }, { "name": "7.3.Start", "domain": [ "0", "2390" ] }, { "name": "7.3.End", "domain": [ "0", "2390" ] }, { "name": "7.3.Duration", "domain": [ "25", "25" ] }, { "domain": [ "1", "1" ] }, { "domain": [ "6", "6" ] }, { "domain": [ "8", "8" ] }, { "name": "0", "domain": [ "0", "0" ] }, { "name": "latestEnd", "domain": [ "0", "2390" ] } ]}

{{ "variables": [ { "name": "1.1.Start", "domain": [ "0", "0" ] }, { "name": "1.1.End", "domain": [ "25", "25" ] }, { "name": "1.1.Duration", "domain": [ "0", "9560" ] }, { "name": "1.1.AllocationStep.Start", "domain": [ "25", "25" ] }, { "name": "1.1.End", "domain": [ "253", "253" ] }, { "name": "1.1.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "1.2.Start", "domain": [ "253", "253" ] }, { "name": "1.2.End", "domain": [ "313", "313" ] }, { "name": "1.2.Duration", "domain": [ "0", "9560" ] }, { "name": "1.2.AllocationStep.Start", "domain": [ "313", "313" ] }, { "name": "1.2.End", "domain": [ "313", "313" ] }, { "name": "1.2.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "1.3.Start", "domain": [ "313", "313" ] }, { "name": "1.3.End", "domain": [ "338", "338" ] }, { "name": "1.3.Duration", "domain": [ "0", "9560" ] }, { "name": "2.1.Start", "domain": [ "228", "228" ] }, { "name": "2.1.End", "domain": [ "253", "253" ] }, { "name": "2.1.Duration", "domain": [ "0", "9560" ] }, { "name": "2.1.AllocationStep.Start", "domain": [ "253", "253" ] }, { "name": "2.1.End", "domain": [ "253", "253" ] }, { "name": "2.1.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "2.2.Start", "domain": [ "253", "253" ] }, { "name": "2.2.End", "domain": [ "313", "313" ] }, { "name": "2.2.Duration", "domain": [ "0", "9560" ] }, { "name": "2.2.AllocationStep.Start", "domain": [ "313", "313" ] }, { "name": "2.2.End", "domain": [ "360", "360" ] }, { "name": "2.2.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "2.3.Start", "domain": [ "360", "360" ] }, { "name": "2.3.End", "domain": [ "420", "420" ] }, { "name": "2.3.Duration", "domain": [ "0", "9560" ] }, { "name": "2.3.AllocationStep.Start", "domain": [ "420", "420" ] }, { "name": "2.3.End", "domain": [ "420", "420" ] }, { "name": "2.3.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "2.4.Start", "domain": [ "420", "420" ] }, { "name": "2.4.End", "domain": [ "540", "540" ] }, { "name": "2.4.Duration", "domain": [ "0", "9560" ] }, { "name": "2.4.AllocationStep.Start", "domain": [ "540", "540" ] }, { "name": "2.4.End", "domain": [ "570", "570" ] }, { "name": "2.4.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "2.5.Start", "domain": [ "570", "570" ] }, { "name": "2.5.End", "domain": [ "595", "595" ] }, { "name": "2.5.Duration", "domain": [ "0", "9560" ] }, { "name": "3.1.Start", "domain": [ "34", "34" ] }, { "name": "3.1.End", "domain": [ "59", "59" ] }, { "name": "3.1.Duration", "domain": [ "0", "9560" ] }, { "name": "3.1.AllocationStep.Start", "domain": [ "59", "59" ] }, { "name": "3.1.End", "domain": [ "59", "59" ] }, { "name": "3.1.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "3.2.Start", "domain": [ "59", "59" ] }, { "name": "3.2.End", "domain": [ "179", "179" ] }, { "name": "3.2.Duration", "domain": [ "0", "9560" ] }, { "name": "3.2.AllocationStep.Start", "domain": [ "179", "179" ] }, { "name": "3.2.End", "domain": [ "179", "179" ] }, { "name": "3.2.AllocationStep.Duration", "d omain": [ "0", "9560" ] }, { "name": "3.3.Start", "domain": [ "179", "179" ] }, { "name": "3.3.End", "domain": [ "209", "209" ] }, { "name": "3.3.Duration", "domain": [ "0", "9560" ] }, { "name": "3.3.AllocationStep.Start", "domain": [ "209", "209" ] }, { "name": "3.3.End", "domain": [ "209", "209" ] }, { "name": "3.3.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "3.4.Start", "domain": [ "209", "209" ] }, { "name": "3.4.End", "domain": [ "389", "389" ] }, { "name": "3.4.Duration", "domain": [ "0", "9560" ] }, { "name": "3.4.AllocationStep.Start", "domain": [ "389", "389" ] }, { "name": "3.4.End", "domain": [ "389", "389" ] }, { "name": "3.4.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "3.5.Start", "domain": [ "389", "389" ] }, { "name": "3.5.End", "domain": [ "419", "419" ] }, { "name": "3.5.Duration", "domain": [ "0", "9560" ] }, { "name": "3.5.AllocationStep.Start", "domain": [ "419", "419" ] }, { "name": "3.5.End", "domain": [ "420", "420" ] }, { "name": "3.5.Allocatio nStep.Duration", "domain": [ "0", "9560" ] }, { "name": "3.6.Start", "domain": [ "420", "420" ] }, { "name": "3.6.End", "domain": [ "540", "540" ] }, { "name": "3.6.Duration", "domain": [ "0", "9560" ] }, { "name": "3.6.AllocationStep.Start", "domain": [ "540", "540" ] }, { "name": "3.6.End", "domain": [ "540", "540" ] }, { "name": "3.6.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "3.7.Start", "domain": [ "540", "540" ] }, { "name": "3.7.End", "domain": [ "570", "570" ] }, { "name": "3.7.Duration", "domain": [ "0", "9560" ] }, { "name": "3.7.AllocationStep.Start", "domain": [ "570", "570" ] }, { "name": "3.7.End", "domain": [ "570", "570" ] }, { "name": "3.7.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "3.8.Start", "domain": [ "570", "570" ] }, { "name": "3.8.End", "domain": [ "1770", "1770" ] }, { "name": "3.8.Duration", "domain": [ "0", "9560" ] }, { "name": "3.8.AllocationStep.Start", "domain": [ "1770", "1770" ] }, { "name": "3.8.End", "domain": [ "1770", "1770" ] }, { "name": "3.8.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "3.9.Start", "domain": [ "1770", "1770" ] }, { "name": "3.9.End", "domain": [ "1800", "1800" ] }, { "name": "3.9.Duration", "domain": [ "0", "9560" ] }, { "name": "3.9.AllocationStep.Start", "domain": [ "1800", "1800" ] }, { "name": "3.9.End", "domain": [ "1800", "1800" ] }, { "name": "3.9.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "3.10.Start", "domain": [ "1800", "1800" ] }, { "name": "3.10.End", "domain": [ "1980", "1980" ] }, { "name": "3.10.Duration", "domain": [ "0", "9560" ] }, { "name": "3.10.AllocationStep.Start", "domain": [ "1980", "1980" ] }, { "name": "3.10.End", "domain": [ "2005", "2005" ] }, { "name": "3.10.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "3.11.Start", "domain": [ "2005", "2005" ] }, { "name": "3.11.End", "domain": [ "2030", "2030" ] }, { "name": "3.11.Duration", "domain": [ "0", "9560" ] }, { "name": "4.1.Start", "domain": [ "1670", "1670" ] }, { "name": "4.1. End", "domain": [ "1695", "1695" ] }, { "name": "4.1.Duration", "domain": [ "0", "9560" ] }, { "name": "4.1.AllocationStep.Start", "domain": [ "1695", "1695" ] }, { "name": "4.1.End", "domain": [ "1800", "1800" ] }, { "name": "4.1.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "4.2.Start", "domain": [ "1800", "1800" ] }, { "name": "4.2.End", "domain": [ "1980", "1980" ] }, { "name": "4.2.Duration", "domain": [ "0", "9560" ] }, { "name": "4.2.AllocationStep.Start", "domain": [ "1980", "1980" ] }, { "name": "4.2.End", "domain": [ "2084", "2084" ] }, { "name": "4.2.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "4.3.Start", "domain": [ "2084", "2084" ] }, { "name": "4.3.End", "domain": [ "2109", "2109" ] }, { "name": "4.3.Duration", "domain": [ "0", "9560" ] }, { "name": "5.1.Start", "domain": [ "1720", "1720" ] }, { "name": "5.1.End", "domain": [ "1745", "1745" ] }, { "name": "5.1.Duration", "domain": [ "0", "9560" ] }, { "name": "5.1.AllocationStep.Start", "domain": [ "1745", "1745" ] }, { "name": "5.1.End", "domain": [ "1800", "1800" ] }, { "name": "5.1.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "5.2.Start", "domain": [ "1800", "1800" ] }, { "name": "5.2.End", "domain": [ "1980", "1980" ] }, { "name": "5.2.Duration", "domain": [ "0", "9560" ] }, { "name": "5.2.AllocationStep.Start", "domain": [ "1980", "1980" ] }, { "name": "5.2.End", "domain": [ "1980", "1980" ] }, { "name": "5.2.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "5.3.Start", "domain": [ "1980", "1980" ] }, { "name": "5.3.End", "domain": [ "2005", "2005" ] }, { "name": "5.3.Duration", "domain": [ "0", "9560" ] }, { "name": "6.1.Start", "domain": [ "1695", "1695" ] }, { "name": "6.1.End", "domain": [ "1720", "1720" ] }, { "name": "6.1.Duration", "domain": [ "0", "9560" ] }, { "name": "6.1.AllocationStep.Start", "domain": [ "1720", "1720" ] }, { "name": "6.1.End", "domain": [ "1800", "1800" ] }, { "name": "6.1.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "6.2 .Start", "domain": [ "1800", "1800" ] }, { "name": "6.2.End", "domain": [ "1980", "1980" ] }, { "name": "6.2.Duration", "domain": [ "0", "9560" ] }, { "name": "6.2.AllocationStep.Start", "domain": [ "1980", "1980" ] }, { "name": "6.2.End", "domain": [ "2056", "2056" ] }, { "name": "6.2.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "6.3.Start", "domain": [ "2056", "2056" ] }, { "name": "6.3.End", "domain": [ "2081", "2081" ] }, { "name": "6.3.Duration", "domain": [ "0", "9560" ] }, { "name": "7.1.Start", "domain": [ "1745", "1745" ] }, { "name": "7.1.End", "domain": [ "1770", "1770" ] }, { "name": "7.1.Duration", "domain": [ "0", "9560" ] }, { "name": "7.1.AllocationStep.Start", "domain": [ "1770", "1770" ] }, { "name": "7.1.End", "domain": [ "1800", "1800" ] }, { "name": "7.1.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "7.2.Start", "domain": [ "1800", "1800" ] }, { "name": "7.2.End", "domain": [ "1980", "1980" ] }, { "name": "7.2.Duration", "domain": [ "0", "9560" ] }, { "name": "7.2.AllocationStep.Start", "domain": [ "1980", "1980" ] }, { "name": "7.2.End", "domain": [ "2030", "2030" ] }, { "name": "7.2.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "7.3.Start", "domain": [ "2030", "2030" ] }, { "name": "7.3.End", "domain": [ "2055", "2055" ] }, { "name": "7.3.Duration", "domain": [ "0", "9560" ] }, { "name": "8.1.Start", "domain": [ "288", "288" ] }, { "name": "8.1.End", "domain": [ "313", "313" ] }, { "name": "8.1.Duration", "domain": [ "0", "9560" ] }, { "name": "8.1.AllocationStep.Start", "domain": [ "313", "313" ] }, { "name": "8.1.End", "domain": [ "781", "781" ] }, { "name": "8.1.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "8.2.Start", "domain": [ "781", "781" ] }, { "name": "8.2.End", "domain": [ "841", "841" ] }, { "name": "8.2.Duration", "domain": [ "0", "9560" ] }, { "name": "8.2.AllocationStep.Start", "domain": [ "841", "841" ] }, { "name": "8.2.End", "domain": [ "841", "841" ] }, { "name": "8.2.AllocationStep.Duration", "do main": [ "0", "9560" ] }, { "name": "8.3.Start", "domain": [ "841", "841" ] }, { "name": "8.3.End", "domain": [ "866", "866" ] }, { "name": "8.3.Duration", "domain": [ "0", "9560" ] }, { "name": "9.1.Start", "domain": [ "756", "756" ] }, { "name": "9.1.End", "domain": [ "781", "781" ] }, { "name": "9.1.Duration", "domain": [ "0", "9560" ] }, { "name": "9.1.AllocationStep.Start", "domain": [ "781", "781" ] }, { "name": "9.1.End", "domain": [ "781", "781" ] }, { "name": "9.1.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "9.2.Start", "domain": [ "781", "781" ] }, { "name": "9.2.End", "domain": [ "841", "841" ] }, { "name": "9.2.Duration", "domain": [ "0", "9560" ] }, { "name": "9.2.AllocationStep.Start", "domain": [ "841", "841" ] }, { "name": "9.2.End", "domain": [ "841", "841" ] }, { "name": "9.2.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "9.3.Start", "domain": [ "841", "841" ] }, { "name": "9.3.End", "domain": [ "901", "901" ] }, { "name": "9.3.Duration", "domain": [ "0 ", "9560" ] }, { "name": "9.3.AllocationStep.Start", "domain": [ "901", "901" ] }, { "name": "9.3.End", "domain": [ "901", "901" ] }, { "name": "9.3.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "9.4.Start", "domain": [ "901", "901" ] }, { "name": "9.4.End", "domain": [ "1021", "1021" ] }, { "name": "9.4.Duration", "domain": [ "0", "9560" ] }, { "name": "9.4.AllocationStep.Start", "domain": [ "1021", "1021" ] }, { "name": "9.4.End", "domain": [ "1051", "1051" ] }, { "name": "9.4.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "9.5.Start", "domain": [ "1051", "1051" ] }, { "name": "9.5.End", "domain": [ "1076", "1076" ] }, { "name": "9.5.Duration", "domain": [ "0", "9560" ] }, { "name": "10.1.Start", "domain": [ "515", "515" ] }, { "name": "10.1.End", "domain": [ "540", "540" ] }, { "name": "10.1.Duration", "domain": [ "0", "9560" ] }, { "name": "10.1.AllocationStep.Start", "domain": [ "540", "540" ] }, { "name": "10.1.End", "domain": [ "540", "540" ] }, { "name": "10.1.Alloc ationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "10.2.Start", "domain": [ "540", "540" ] }, { "name": "10.2.End", "domain": [ "660", "660" ] }, { "name": "10.2.Duration", "domain": [ "0", "9560" ] }, { "name": "10.2.AllocationStep.Start", "domain": [ "660", "660" ] }, { "name": "10.2.End", "domain": [ "660", "660" ] }, { "name": "10.2.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "10.3.Start", "domain": [ "660", "660" ] }, { "name": "10.3.End", "domain": [ "690", "690" ] }, { "name": "10.3.Duration", "domain": [ "0", "9560" ] }, { "name": "10.3.AllocationStep.Start", "domain": [ "690", "690" ] }, { "name": "10.3.End", "domain": [ "690", "690" ] }, { "name": "10.3.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "10.4.Start", "domain": [ "690", "690" ] }, { "name": "10.4.End", "domain": [ "870", "870" ] }, { "name": "10.4.Duration", "domain": [ "0", "9560" ] }, { "name": "10.4.AllocationStep.Start", "domain": [ "870", "870" ] }, { "name": "10.4.End", "domain": [ "8 70", "870" ] }, { "name": "10.4.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "10.5.Start", "domain": [ "870", "870" ] }, { "name": "10.5.End", "domain": [ "900", "900" ] }, { "name": "10.5.Duration", "domain": [ "0", "9560" ] }, { "name": "10.5.AllocationStep.Start", "domain": [ "900", "900" ] }, { "name": "10.5.End", "domain": [ "901", "901" ] }, { "name": "10.5.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "10.6.Start", "domain": [ "901", "901" ] }, { "name": "10.6.End", "domain": [ "1021", "1021" ] }, { "name": "10.6.Duration", "domain": [ "0", "9560" ] }, { "name": "10.6.AllocationStep.Start", "domain": [ "1021", "1021" ] }, { "name": "10.6.End", "domain": [ "1021", "1021" ] }, { "name": "10.6.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "10.7.Start", "domain": [ "1021", "1021" ] }, { "name": "10.7.End", "domain": [ "1051", "1051" ] }, { "name": "10.7.Duration", "domain": [ "0", "9560" ] }, { "name": "10.7.AllocationStep.Start", "domain": [ "1051", "1051" ] }, { "name": "10.7.End", "domain": [ "1091", "1091" ] }, { "name": "10.7.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "10.8.Start", "domain": [ "1091", "1091" ] }, { "name": "10.8.End", "domain": [ "2291", "2291" ] }, { "name": "10.8.Duration", "domain": [ "0", "9560" ] }, { "name": "10.8.AllocationStep.Start", "domain": [ "2291", "2291" ] }, { "name": "10.8.End", "domain": [ "2336", "2336" ] }, { "name": "10.8.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "10.9.Start", "domain": [ "2336", "2336" ] }, { "name": "10.9.End", "domain": [ "2366", "2366" ] }, { "name": "10.9.Duration", "domain": [ "0", "9560" ] }, { "name": "10.9.AllocationStep.Start", "domain": [ "2366", "2366" ] }, { "name": "10.9.End", "domain": [ "2382", "2382" ] }, { "name": "10.9.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "10.10.Start", "domain": [ "2382", "2382" ] }, { "name": "10.10.End", "domain": [ "2562", "2562" ] }, { "name": "10.10.Duration", "domain": [ "0", "9560" ] }, { "name": "10.10.AllocationStep.Start", "domain": [ "2562", "2562" ] }, { "name": "10.10.End", "domain": [ "2662", "2662" ] }, { "name": "10.10.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "10.11.Start", "domain": [ "2662", "2662" ] }, { "name": "10.11.End", "domain": [ "2687", "2687" ] }, { "name": "10.11.Duration", "domain": [ "0", "9560" ] }, { "name": "11.1.Start", "domain": [ "59", "59" ] }, { "name": "11.1.End", "domain": [ "84", "84" ] }, { "name": "11.1.Duration", "domain": [ "0", "9560" ] }, { "name": "11.1.AllocationStep.Start", "domain": [ "84", "84" ] }, { "name": "11.1.End", "domain": [ "2382", "2382" ] }, { "name": "11.1.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "11.2.Start", "domain": [ "2382", "2382" ] }, { "name": "11.2.End", "domain": [ "2562", "2562" ] }, { "name": "11.2.Duration", "domain": [ "0", "9560" ] }, { "name": "11.2.AllocationStep.Start", "domain": [ "2562", "2562" ] }, { "name": "11.2.End", "domain": [ "2587", "2587" ] }, { "name": "11.2.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "11.3.Start", "domain": [ "2587", "2587" ] }, { "name": "11.3.End", "domain": [ "2612", "2612" ] }, { "name": "11.3.Duration", "domain": [ "0", "9560" ] }, { "name": "12.1.Start", "domain": [ "1144", "1144" ] }, { "name": "12.1.End", "domain": [ "1169", "1169" ] }, { "name": "12.1.Duration", "domain": [ "0", "9560" ] }, { "name": "12.1.AllocationStep.Start", "domain": [ "1169", "1169" ] }, { "name": "12.1.End", "domain": [ "2382", "2382" ] }, { "name": "12.1.AllocationStep.Duration", "domain": [ "0", "9560" ] }, { "name": "12.2.Start

[avolts]

Thank you, Laurent! I send you the proto!

[lperron]

What was the solution found with model 1 ?

Laurent Perron | Operations Research | lperron@google.com | (33) 1 42 68 53 00

Le lun. 17 juin 2019 à 14:29, Anja notifications@github.com a écrit :

Thank you, Laurent! I send you the proto!

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/google/or-tools/issues/1359?email_source=notifications&email_token=ACUPL3MMPT6JJ3TCWSFGP2LP257QXA5CNFSM4HYVTZA2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODX3AJEY#issuecomment-502662291, or mute the thread https://github.com/notifications/unsubscribe-auth/ACUPL3J6X4FXP5XEENLJ77TP257QXANCNFSM4HYVTZAQ .

[avolts]

Start and end times for a partial jobshop problem. Those variables are seen as constants for the next partial problem.

solver.Response.Solution {[ "0", "25", "25", "25", "253", "228", "253", "313", "60", "313", "313", "0", "313", "338", "25", "228", "253", "25", "253", "253", "0", "253", "313", "60", "313", "360", "47", "360", "420", "60", "420", "420", "0", "420", "540", "120", "540", "570", "30", "570", "595", "25", "34", "59", "25", "59", "59", "0", "59", "179", "120", "179", "179", "0", "179", "209", "30", "209", "209", "0", "209", "389", "180", "389", "389", "0", "389", "419", "30", "419", "420", "1", "420", "540", "120", "540", "540", "0", "540", "570", "30", "570", "570", "0", "570", "1770", "1200", "1770", "1770", "0", "1770", "1800", "30", "1800", "1800", "0", "1800", "1980", "180", "1980", "2005", "25", "2005", "2030", "25", "1670", "1695", "25", "1695", "1800", "105", "1800", "1980", "180", "1980", "2084", "104", "2084", "2109", "25", "1720", "1745", "25", "1745", "1800", "55", "1800", "1980", "180", "1980", "1980", "0", "1980", "2005", "25", "1695", "1720", "25", "1720", "1800", "80", "1800", "1980", "180", "1980", "2056", "76", "2056", "2 081", "25", "1745", "1770", "25", "1770", "1800", "30", "1800", "1980", "180", "1980", "2030", "50", "2030", "2055", "25", "1", "6", "8", "0", "2109" ]}

[lperron]

what happens is you use num_search_workers:8 as the only specific parameter ? Laurent Perron | Operations Research | lperron@google.com | (33) 1 42 68 53 00

Le lun. 17 juin 2019 à 15:17, Anja notifications@github.com a écrit :

Start and end times for a partial jobshop problem. Those variables are seen as constants for the next partial problem.

solver.Response.Solution {[ "0", "25", "25", "25", "253", "228", "253", "313", "60", "313", "313", "0", "313", "338", "25", "228", "253", "25", "253", "253", "0", "253", "313", "60", "313", "360", "47", "360", "420", "60", "420", "420", "0", "420", "540", "120", "540", "570", "30", "570", "595", "25", "34", "59", "25", "59", "59", "0", "59", "179", "120", "179", "179", "0", "179", "209", "30", "209", "209", "0", "209", "389", "180", "389", "389", "0", "389", "419", "30", "419", "420", "1", "420", "540", "120", "540", "540", "0", "540", "570", "30", "570", "570", "0", "570", "1770", "1200", "1770", "1770", "0", "1770", "1800", "30", "1800", "1800", "0", "1800", "1980", "180", "1980", "2005", "25", "2005", "2030", "25", "1670", "1695", "25", "1695", "1800", "105", "1800", "1980", "180", "1980", "2084", "104", "2084", "2109", "25", "1720", "1745", "25", "1745", "1800", "55", "1800", "1980", "180", "1980", "1980", "0", "1980", "2005", "25", "1695", "1720", "25", "1720", "1800", "80", "1800", "1980", "180", "1980", "2056", "76", "2056", "2 081", "25", "1745", "1770", "25", "1770", "1800", "30", "1800", "1980", "180", "1980", "2030", "50", "2030", "2055", "25", "1", "6", "8", "0", "2109" ]}

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/google/or-tools/issues/1359?email_source=notifications&email_token=ACUPL3K6EFBWOKWHMMCEHNDP26FF7A5CNFSM4HYVTZA2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODX3EEQQ#issuecomment-502678082, or mute the thread https://github.com/notifications/unsubscribe-auth/ACUPL3MWV7RF6PSQBV5ZKE3P26FF7ANCNFSM4HYVTZAQ .

[avolts]

I started the run for the whole problem yesterday and my computer crashed over night...

[avolts]

I have started 2 more runs with num_search_workers:8 as the only specific parameter for the solver. I stopped them after a couple of hours because solving the first partial problem was without any result. In addition I tried running my test on .NETCoreApp 2.1 and .NETFramework 4.7.2 but the performance is not influenced by the selected runtime.

[gregy4]

Hi Anja, don't know whether it relates but I found also slowdowns in cp-sat solver performance. My resolution is more precise, a problem is between commits on beginning of May before release of 7.1. Unfortunatelly in this time cp-sat api for my problem was changing so it is not easy to update my code and test it after each commit.

Jan

[lperron]

I am sorry about that.

As I said earlier, we are continuously working on performance improvements. These are measured at an aggregated level, because it is the only one that has some statistical validity. There is also a large factor of luck in search, search performance on a single instance can vary a lot with very little modification. Laurent Perron | Operations Research | lperron@google.com | (33) 1 42 68 53 00

Le mer. 26 juin 2019 à 09:58, gregy4 notifications@github.com a écrit :

Hi Anja, don't know whether it relates but I found also slowdowns in cp-sat solver performance. My resolution is more precise, a problem is between commits on beginning of May before release of 7.1. Unfortunatelly in this time cp-sat api for my problem was changing so it is not easy to update my code and test it after each commit.

Jan

— You are receiving this because you were assigned. Reply to this email directly, view it on GitHub https://github.com/google/or-tools/issues/1359?email_source=notifications&email_token=ACUPL3I4JR2CSNY3QW4XKY3P4MOS3A5CNFSM4HYVTZA2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODYSVZ7Y#issuecomment-505765119, or mute the thread https://github.com/notifications/unsubscribe-auth/ACUPL3MOMQ2YHV2ZN3MXXPTP4MOS3ANCNFSM4HYVTZAQ .

[gregy4]

I understand it. On the other side from my experience some unique data can highlight problems otherwise not seen thanks to high variability in models and used data.

[avolts]

Hey Laurent,

have you tried, solving the first subproblem from the model i posted?

Today I changed the order of IntVars I add to the model and now the solver solution is quite good again but I do not know why this has such a big impact.

[lperron]

I did, but in your mail, there was a first proto, then a partial second one just after the first one. So it was a bit difficult to assert the performance of the solver. Laurent Perron | Operations Research | lperron@google.com | (33) 1 42 68 53 00

Le lun. 1 juil. 2019 à 15:22, Anja notifications@github.com a écrit :

Hey Laurent,

have you tried, solving the first subproblem from the model i posted?

Today I changed the order of IntVars I add to the model and now the solver solution is quite good again but I do not know why this has such a big impact.

— You are receiving this because you were assigned. Reply to this email directly, view it on GitHub https://github.com/google/or-tools/issues/1359?email_source=notifications&email_token=ACUPL3M4PXCJK25ONP32G7TP5IAIZA5CNFSM4HYVTZA2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODY6DI5A#issuecomment-507262068, or mute the thread https://github.com/notifications/unsubscribe-auth/ACUPL3MYRFAYHVQLQYF6TTLP5IAIZANCNFSM4HYVTZAQ .

[gregy4]

Order of variables and also order of constraints affects cp-sat performance. Better model minimalize effect of both orders but I guess that in some cases good variable order is essential.

[avolts]

@lperron Would it help, if I send you just a model for the first problem + solution?

@gregy4 Thanks for the info. For me it was just a side effect of small refactoring i did, so that the performance boost was a bit unexpected.

[lperron]

yes please. Laurent Perron | Operations Research | lperron@google.com | (33) 1 42 68 53 00

Le mar. 2 juil. 2019 à 08:08, Anja notifications@github.com a écrit :

@lperron https://github.com/lperron Would it help, if I send you just a model for the first problem + solution?

@gregy4 https://github.com/gregy4 Thanks for the info. For me it was just a side effect of small refactoring i did, so that the performance boost was a bit unexpected.

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/google/or-tools/issues/1359?email_source=notifications&email_token=ACUPL3J6IAUZB7PQCYEV3L3P5LWEDA5CNFSM4HYVTZA2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODZAFMZA#issuecomment-507532900, or mute the thread https://github.com/notifications/unsubscribe-auth/ACUPL3M7XPVZJ6OTNHTSDWTP5LWEDANCNFSM4HYVTZAQ .

[lperron]

So, if I run it, I get

I0716 21:47:09.552091 188884 cp_model_solver.cc:2138] *** starting Search at 0.01s with 8 workers and strategies: [ auto, lp_br, pseudo_cost, no_lp, max_lp, core, helper, rnd_lns, var_lns, cst_lns, scheduling_tim_window_lns, scheduling_random_lns, rins ] I0716 21:47:09.556054 188888 synchronization.cc:85] #Bound 0.01s best:inf next:[-3395,26320] no_lp I0716 21:47:09.557859 188886 synchronization.cc:85] #1 0.01s best:10010 next:[-3395,10009] lp_br num_bool:38 I0716 21:47:09.559801 188890 synchronization.cc:85] #2 0.01s best:5935 next:[-3395,5934] core num_bool:56 I0716 21:47:09.559924 188890 synchronization.cc:85] #Bound 0.01s best:5935 next:[-3388,5934] core I0716 21:47:09.567157 188889 synchronization.cc:85] #Bound 0.02s best:5935 next:[-3037,5934] max_lp I0716 21:47:09.601436 188889 synchronization.cc:85] #Bound 0.06s best:5935 next:[-2992,5934] max_lp I0716 21:47:09.644181 188889 synchronization.cc:85] #Bound 0.10s best:5935 next:[-2895,5934] max_lp I0716 21:47:09.667156 188889 synchronization.cc:85] #Bound 0.12s best:5935 next:[-2872,5934] max_lp I0716 21:47:09.687122 188889 synchronization.cc:85] #Bound 0.14s best:5935 next:[-2850,5934] max_lp I0716 21:47:09.704664 188889 synchronization.cc:85] #Bound 0.16s best:5935 next:[-2685,5934] max_lp I0716 21:47:09.716451 188889 synchronization.cc:85] #Bound 0.17s best:5935 next:[-2625,5934] max_lp I0716 21:47:09.746194 188889 synchronization.cc:85] #Bound 0.20s best:5935 next:[-2622,5934] max_lp I0716 21:47:09.767252 188889 synchronization.cc:85] #Bound 0.22s best:5935 next:[-2621,5934] max_lp I0716 21:47:09.810410 188889 synchronization.cc:85] #Bound 0.26s best:5935 next:[-2618,5934] max_lp I0716 21:47:09.815251 188889 synchronization.cc:85] #Bound 0.27s best:5935 next:[-2617,5934] max_lp I0716 21:47:09.831100 188889 synchronization.cc:85] #Bound 0.29s best:5935 next:[-2616,5934] max_lp I0716 21:47:09.884336 188890 synchronization.cc:85] #Bound 0.34s best:5935 next:[5360,5934] core I0716 21:47:10.349731 188890 synchronization.cc:85] #Bound 0.80s best:5935 next:[5363,5934] core I0716 21:47:11.701694 188890 synchronization.cc:85] #Bound 2.16s best:5935 next:[5436,5934] core I0716 21:47:11.774446 188890 synchronization.cc:85] #Bound 2.23s best:5935 next:[5438,5934] core I0716 21:47:12.856062 188890 synchronization.cc:85] #Bound 3.31s best:5935 next:[5486,5934] core I0716 21:47:12.860534 188890 synchronization.cc:85] #Bound 3.31s best:5935 next:[5488,5934] core I0716 21:47:13.534667 188890 synchronization.cc:85] #Bound 3.99s best:5935 next:[5511,5934] core I0716 21:47:13.537159 188890 synchronization.cc:85] #Bound 3.99s best:5935 next:[5513,5934] core

That is a good solution in 4s. I tried improving it, and it was never successful.

Did you get a better solution before ?

[lperron]

Parameters: log_search_progress: true optimize_with_core: true linearization_level: 0 boolean_encoding_level: 0

->

I0718 11:48:54.876793 61067 cp_model_solver.cc:2387] starting to load the model at 0.01s I0718 11:48:54.878154 61067 cp_model_solver.cc:2392] starting sequential search at 0.01s I0718 11:48:54.878175 61067 cp_model_solver.cc:2394] Initial num_bool: 27 I0718 11:48:54.878351 61067 synchronization.cc:85] #Bound 0.01s best:inf next:[-3395,26320] I0718 11:48:54.880053 61067 synchronization.cc:85] #1 0.01s best:5935 next:[-3395,5934] num_bool:56 I0718 11:48:54.880120 61067 synchronization.cc:85] #Bound 0.01s best:5935 next:[-3388,5934] I0718 11:48:55.105762 61067 synchronization.cc:85] #Bound 0.24s best:5935 next:[5360,5934]

[avolts]

Thank you, this is working for me!