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