(1,18) (2,17) (3,28) (4,30) (5,20) (6,24) (7,26) (9,19) (10,23) (13,21) (14,22) (15,16) 
nodes: 981  conflicts: 40  modelTime: 658  solveTime: 1356  totalTime: 2040  modelSize: 41293  readTime: 26 size: 12