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