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