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