(1,21) (2,22) (3,6) (4,20) (5,19) (7,28) (8,17) (9,26) (10,30) (11,18) (12,27) (13,16) (14,23) (15,25) (24,29) 
nodes: 28070  conflicts: 57  modelTime: 1409  solveTime: 82336  totalTime: 83757  modelSize: 72275  readTime: 11 size: 15