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