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