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