(2,25) (4,19) (5,17) (6,16) (7,18) (8,21) (9,29) (10,26) (11,28) (12,22) (15,30) 
nodes: 1013  conflicts: 69  modelTime: 667  solveTime: 686  totalTime: 1360  modelSize: 41292  readTime: 7 size: 11