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