(1,16) (2,7) (3,15) (4,24) (5,21) (6,23) (8,14) (9,18) (10,25) (11,13) (12,22) (17,19) (20,26) (27,28) (29,30) 
nodes: 337095  conflicts: 34  modelTime: 1530  solveTime: 1692644  totalTime: 1694286  modelSize: 72275  readTime: 112 size: 15