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