(1,30) (2,25) (3,24) (5,16) (6,17) (7,26) (9,20) (12,28) (13,19) (14,18) (15,23) 
nodes: 1956  conflicts: 60  modelTime: 659  solveTime: 2837  totalTime: 3502  modelSize: 41292  readTime: 6 size: 11