(1,30) (2,24) (3,7) (4,26) (5,17) (6,18) (8,25) (9,16) (10,13) (11,28) (12,23) (14,29) (15,21) (19,27) (20,22) 
nodes: 31697  conflicts: 8  modelTime: 1216  solveTime: 185398  totalTime: 186650  modelSize: 72268  readTime: 36 size: 15