(1,16) (2,25) (3,23) (4,18) (5,19) (6,24) (7,26) (8,30) (9,28) (10,21) (11,20) (13,29) (14,17) (15,27) 
nodes: 1000  conflicts: 19  modelTime: 664  solveTime: 1961  totalTime: 2664  modelSize: 41293  readTime: 39 size: 14