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