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