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