(2,30) (3,21) (4,18) (6,20) (7,23) (8,26) (10,17) (11,19) (12,22) (13,24) (15,29) 
nodes: 4145  conflicts: 63  modelTime: 660  solveTime: 5077  totalTime: 5743  modelSize: 41292  readTime: 6 size: 11