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