(1,20) (2,23) (3,26) (4,19) (6,18) (7,24) (9,21) (10,28) (11,29) (12,25) (13,30) (14,17) (15,22) 
nodes: 45130  conflicts: 38  modelTime: 661  solveTime: 84649  totalTime: 85316  modelSize: 41293  readTime: 6 size: 13