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