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