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