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