(1,19) (2,24) (4,26) (6,25) (7,18) (8,28) (10,30) (11,23) (12,22) (13,21) (15,27) 
nodes: 2063  conflicts: 57  modelTime: 661  solveTime: 3750  totalTime: 4417  modelSize: 41293  readTime: 6 size: 11