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