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