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