(1,23) (3,29) (4,21) (5,19) (6,24) (7,26) (9,28) (10,16) (11,17) (13,22) (14,20) (15,18) 
nodes: 1153  conflicts: 65  modelTime: 658  solveTime: 1039  totalTime: 1703  modelSize: 41292  readTime: 6 size: 12