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