(1,24) (2,18) (3,22) (5,23) (6,27) (7,20) (8,30) (10,21) (11,25) (12,17) (14,16) (15,26) 
nodes: 1208  conflicts: 56  modelTime: 661  solveTime: 1252  totalTime: 1920  modelSize: 41292  readTime: 7 size: 12