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