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