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