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