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