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