(1,23) (2,27) (4,21) (7,22) (8,26) (11,19) (12,16) (13,18) (14,24) (15,29) 
nodes: 951  conflicts: 66  modelTime: 661  solveTime: 1323  totalTime: 1991  modelSize: 41292  readTime: 7 size: 10