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