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