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