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