(1,25) (3,26) (4,21) (5,22) (7,20) (8,23) (9,19) (11,17) (13,29) (14,24) (15,27) 
nodes: 1227  conflicts: 78  modelTime: 660  solveTime: 1403  totalTime: 2070  modelSize: 41292  readTime: 7 size: 11