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