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