(1,23) (2,19) (3,22) (5,20) (6,28) (7,21) (8,30) (9,27) (10,18) (11,26) (14,17) (15,25) 
nodes: 2944  conflicts: 45  modelTime: 661  solveTime: 3800  totalTime: 4467  modelSize: 41293  readTime: 6 size: 12