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