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