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