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