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