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