(1,30) (2,26) (3,11) (4,23) (5,28) (6,29) (7,17) (8,16) (9,13) (10,22) (12,18) (14,21) (15,25) (19,24) (20,27) 
nodes: 290025  conflicts: 40  modelTime: 1285  solveTime: 1827805  totalTime: 1829109  modelSize: 72264  readTime: 19 size: 15