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