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