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