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