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