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