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