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