(1,22) (3,18) (4,17) (5,24) (6,26) (7,27) (9,25) (10,19) (13,30) (15,21) 
nodes: 1409  conflicts: 55  modelTime: 657  solveTime: 1125  totalTime: 1789  modelSize: 41292  readTime: 7 size: 10