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