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