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