No structure were built after losing some in our main base

[RaphaelRoyerRivard]

Might be worth checking the replay and logs because once we reached 3000+ minerals, something was triggered and allowed us to continue building structures. https://aiarena.net/matches/467656/

[RaphaelRoyerRivard]

A few seconds before unbreaking, we got this massive lag spike.

18070: drawProfilingInfo | 0 Starcraft II took 18.029001ms for 1 calls
18070: drawProfilingInfo | 0.0 OnStep took 3136.906250ms for 1 calls
18070: drawProfilingInfo | 0.10 m_gameCommander.onFrame took 3135.596191ms for 1 calls
18070: drawProfilingInfo | 0.10.1   handleUnitAssignments took 0.016000ms for 1 calls
18070: drawProfilingInfo | 0.10.2   m_productionManager.onFrame took 3130.145264ms for 1 calls
18070: drawProfilingInfo | 0.10.2.1    lowPriorityChecks took 0.003000ms for 1 calls
18070: drawProfilingInfo | 0.10.2.2    manageBuildOrderQueue took 3130.138184ms for 1 calls
18070: drawProfilingInfo | 0.10.2.2.1     putImportantBuildOrderItemsInQueue took 0.053000ms for 1 calls
18070: drawProfilingInfo | 0.10.2.2.2     checkQueue took 3130.082031ms for 1 calls
18070: drawProfilingInfo | 0.10.2.2.2.2      tryingToBuild took 3130.039062ms for 6 calls
18070: drawProfilingInfo | 0.10.2.2.2.2.1      Build without premovement took 3130.023193ms for 1 calls
18070: drawProfilingInfo | 0.10.2.2.2.2.1.1      canMakeNow took 3130.004150ms for 1 calls
18070: drawProfilingInfo | 0.10.2.2.2.2.1.2      create took 0.016000ms for 1 calls

And there was nothing blocking our queue. The reason we were not building more production structures is because we have a limit of 3 on one base.

18144: drawProductionInformation | Production Information
Marine                       [0]
Banshee                      [0]
TERRAN_ARMORY                [0]
TERRAN_FACTORY               [0]
TERRAN_FACTORYTECHLAB        [0]
TerranShipWeaponsLevel1      [0]
SiegeTank                    [0]
Marauder                     [0]
TERRAN_REFINERY              [-11230]
18144: drawProductionInformation | Free Mineral:     3177
Free Gas:         725
Gas Worker Target:3
Mineral income:   643
Gas income:       335
18144: drawProductionInformation | Being built:      

[RaphaelRoyerRivard]

Probably linked to #1257