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