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