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