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