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