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