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