(1,19) (3,20) (4,29) (6,16) (7,23) (8,28) (9,17) (12,21) (14,26) (15,18) 
nodes: 665  conflicts: 66  modelTime: 658  solveTime: 802  totalTime: 1467  modelSize: 41293  readTime: 7 size: 10