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