(1,29) (2,21) (3,26) (4,20) (5,17) (6,24) (7,28) (8,23) (9,22) (10,30) (12,27) (13,25) (14,16) (15,18) 
nodes: 1704  conflicts: 50  modelTime: 660  solveTime: 1867  totalTime: 2534  modelSize: 41292  readTime: 7 size: 14