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