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