(1,20) (2,30) (4,17) (5,24) (6,28) (7,22) (8,27) (10,19) (12,18) (14,29) (15,26) 
nodes: 1393  conflicts: 63  modelTime: 670  solveTime: 1646  totalTime: 2324  modelSize: 41293  readTime: 7 size: 11