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