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