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