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