(1,18) (2,17) (4,30) (5,29) (7,20) (9,23) (10,28) (12,21) (13,19) (14,24) (15,16) 
nodes: 488  conflicts: 70  modelTime: 661  solveTime: 519  totalTime: 1187  modelSize: 41300  readTime: 7 size: 11