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