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