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