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