(1,30) (2,22) (3,27) (4,20) (5,16) (6,19) (7,26) (9,25) (11,23) (13,28) (15,18) 
nodes: 529  conflicts: 70  modelTime: 661  solveTime: 799  totalTime: 1466  modelSize: 41292  readTime: 6 size: 11