(1,15) (2,17) (3,5) (4,20) (6,23) (7,13) (9,28) (10,16) (11,29) (12,25) (14,21) (18,26) (19,22) (24,30) 
nodes: 9561  conflicts: 63  modelTime: 1028  solveTime: 26182  totalTime: 27222  modelSize: 72263  readTime: 12 size: 14