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