(1,23) (2,22) (3,29) (4,21) (5,20) (6,16) (7,18) (8,26) (9,17) (12,30) (13,27) (14,19) (15,24) 
nodes: 1870  conflicts: 52  modelTime: 664  solveTime: 2451  totalTime: 3121  modelSize: 41292  readTime: 6 size: 13