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