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