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