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