(1,27) (2,29) (4,30) (5,28) (6,18) (7,20) (8,24) (10,21) (11,26) (12,23) (13,22) (14,17) (15,19) 
nodes: 1546  conflicts: 62  modelTime: 658  solveTime: 1595  totalTime: 2260  modelSize: 41292  readTime: 7 size: 13