(1,29) (4,16) (7,19) (8,23) (10,25) (11,26) (12,24) (13,27) (14,21) (15,30) 
nodes: 3240  conflicts: 73  modelTime: 659  solveTime: 4074  totalTime: 4740  modelSize: 41292  readTime: 7 size: 10