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