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