(1,29) (2,27) (3,18) (5,19) (8,20) (9,21) (10,17) (12,16) (13,30) (14,26) (15,23) 
nodes: 975  conflicts: 65  modelTime: 806  solveTime: 1348  totalTime: 2161  modelSize: 41292  readTime: 7 size: 11