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