(1,30) (2,23) (3,13) (4,14) (5,18) (6,10) (7,21) (8,29) (9,19) (11,27) (12,28) (15,17) (16,25) (20,26) (22,24) 
nodes: 92584  conflicts: 7  modelTime: 1692  solveTime: 599833  totalTime: 601538  modelSize: 72264  readTime: 13 size: 15