(1,17) (2,24) (5,21) (7,26) (9,19) (10,18) (11,25) (12,16) (13,30) (14,27) (15,23) 
nodes: 2283  conflicts: 54  modelTime: 661  solveTime: 4052  totalTime: 4719  modelSize: 41292  readTime: 6 size: 11