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