(2,25) (3,20) (4,28) (6,23) (7,24) (8,29) (9,16) (10,19) (11,18) (12,22) (13,21) (15,26) 
nodes: 2313  conflicts: 45  modelTime: 660  solveTime: 3891  totalTime: 4557  modelSize: 41292  readTime: 6 size: 12