(1,26) (2,27) (3,25) (4,29) (6,22) (7,20) (8,17) (9,19) (10,24) (11,30) (12,18) (13,21) (14,23) 
nodes: 12373  conflicts: 35  modelTime: 672  solveTime: 33821  totalTime: 34499  modelSize: 41292  readTime: 6 size: 13