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