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