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