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