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