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