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