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