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