(1,18) (3,26) (4,30) (5,19) (6,16) (7,21) (8,24) (9,17) (10,28) (11,20) (12,23) (13,25) (14,27) (15,22) 
nodes: 109414  conflicts: 33  modelTime: 1193  solveTime: 265576  totalTime: 266779  modelSize: 41292  readTime: 10 size: 14