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