(1,18) (2,16) (3,21) (4,29) (5,22) (6,25) (7,23) (8,20) (9,27) (10,17) (11,24) (12,28) (13,30) (14,19) (15,26) 
nodes: 1170  conflicts: 0  modelTime: 1153  solveTime: 1744  totalTime: 2903  modelSize: 41293  readTime: 6 size: 15