(1,26) (2,16) (3,10) (4,22) (5,30) (6,27) (7,28) (8,25) (9,17) (11,14) (12,13) (15,18) (19,24) (20,23) (21,29) 
nodes: 160746  conflicts: 33  modelTime: 1723  solveTime: 729550  totalTime: 731309  modelSize: 72263  readTime: 36 size: 15