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