(1,19) (2,30) (3,24) (4,25) (7,16) (8,23) (9,21) (10,17) (12,28) (13,29) (15,26) 
nodes: 1480  conflicts: 54  modelTime: 659  solveTime: 2236  totalTime: 2902  modelSize: 41292  readTime: 7 size: 11