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