(1,29) (4,17) (5,19) (6,16) (8,27) (9,30) (10,20) (11,18) (12,22) (14,26) (15,24) 
nodes: 1568  conflicts: 54  modelTime: 659  solveTime: 1609  totalTime: 2275  modelSize: 41292  readTime: 7 size: 11