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