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