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