(2,8) (3,29) (4,24) (5,6) (7,20) (9,19) (10,11) (12,30) (13,17) (14,16) (15,26) (18,22) (21,28) (25,27) 
nodes: 22660  conflicts: 52  modelTime: 1268  solveTime: 89752  totalTime: 91032  modelSize: 72262  readTime: 12 size: 14