(1,22) (2,23) (3,29) (7,18) (8,24) (9,20) (10,17) (12,21) (13,27) (14,28) (15,25) 
nodes: 699  conflicts: 67  modelTime: 659  solveTime: 899  totalTime: 1565  modelSize: 41292  readTime: 7 size: 11