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