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