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