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