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