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