(1,17) (2,13) (3,10) (4,22) (5,15) (6,24) (7,18) (8,20) (9,26) (11,30) (12,16) (14,23) (19,25) (21,28) (27,29) 
nodes: 1020982  conflicts: 37  modelTime: 1714  solveTime: 3283553  totalTime: 3285285  modelSize: 72275  readTime: 18 size: 15