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