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