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