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