(1,21) (2,12) (3,28) (4,11) (5,8) (6,25) (7,13) (9,23) (10,26) (14,18) (15,29) (16,27) (17,30) (19,22) (20,24) 
nodes: 1552785  conflicts: 35  modelTime: 1194  solveTime: 8778781  totalTime: 8779993  modelSize: 72268  readTime: 18 size: 15