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