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