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