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