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