(1,7) (2,14) (3,11) (4,25) (5,26) (6,27) (8,12) (9,21) (10,18) (13,30) (15,24) (16,17) (19,28) (20,29) (22,23) 
nodes: 92476  conflicts: 35  modelTime: 974  solveTime: 344264  totalTime: 345250  modelSize: 72269  readTime: 11 size: 15