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