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