(1,18) (2,26) (4,21) (6,23) (8,27) (9,20) (10,30) (12,22) (13,17) (14,16) (15,19) 
nodes: 863  conflicts: 65  modelTime: 658  solveTime: 786  totalTime: 1451  modelSize: 41293  readTime: 7 size: 11