(1,17) (2,21) (3,16) (4,18) (5,30) (6,28) (7,26) (8,19) (10,20) (12,23) (13,29) (14,27) 
nodes: 724  conflicts: 42  modelTime: 658  solveTime: 1353  totalTime: 2018  modelSize: 41292  readTime: 7 size: 12