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