(1,23) (2,26) (3,22) (4,30) (5,20) (6,25) (7,19) (8,16) (9,18) (10,24) (11,17) (12,27) (13,21) (14,28) (15,29) 
nodes: 1148  conflicts: 1  modelTime: 1167  solveTime: 1181  totalTime: 2354  modelSize: 41293  readTime: 6 size: 15