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