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