(1,25) (2,21) (4,19) (5,18) (6,30) (9,16) (10,20) (11,23) (12,26) (13,29) (14,28) 
nodes: 918  conflicts: 74  modelTime: 667  solveTime: 872  totalTime: 1546  modelSize: 41292  readTime: 7 size: 11