(1,24) (2,23) (3,27) (4,19) (5,21) (7,30) (8,28) (9,20) (10,29) (12,22) (13,26) (14,17) (15,16) 
nodes: 1244  conflicts: 49  modelTime: 658  solveTime: 1282  totalTime: 1946  modelSize: 41292  readTime: 6 size: 13