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