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