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