(1,16) (2,27) (7,24) (8,20) (9,21) (11,22) (12,26) (13,19) (14,25) (15,29) 
nodes: 1211  conflicts: 76  modelTime: 660  solveTime: 1517  totalTime: 2184  modelSize: 41292  readTime: 7 size: 10