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