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