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