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