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