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