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