(1,16) (2,21) (4,20) (5,30) (6,19) (7,24) (8,27) (10,29) (12,28) (14,26) (15,23) 
nodes: 978  conflicts: 61  modelTime: 704  solveTime: 1077  totalTime: 1789  modelSize: 41292  readTime: 8 size: 11