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