(1,20) (2,17) (3,23) (4,27) (5,30) (6,24) (7,29) (8,25) (10,26) (11,28) (12,22) (13,21) (14,19) (15,18) 
nodes: 3294  conflicts: 9  modelTime: 654  solveTime: 5216  totalTime: 5874  modelSize: 41299  readTime: 4 size: 14