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