(1,29) (2,19) (4,30) (5,20) (6,18) (7,27) (8,23) (9,21) (10,24) (11,25) (13,22) (14,17) (15,16) 
nodes: 1014  conflicts: 49  modelTime: 661  solveTime: 1112  totalTime: 1792  modelSize: 41293  readTime: 19 size: 13