(1,27) (2,21) (5,26) (6,18) (7,23) (8,25) (9,24) (10,19) (12,16) (13,30) (15,22) 
nodes: 1278  conflicts: 69  modelTime: 665  solveTime: 1999  totalTime: 2670  modelSize: 41292  readTime: 6 size: 11