(1,8) (2,18) (3,28) (4,27) (5,15) (6,23) (7,24) (9,10) (11,16) (12,19) (13,20) (14,21) (17,30) (22,26) 
nodes: 19431  conflicts: 24  modelTime: 991  solveTime: 106025  totalTime: 107027  modelSize: 72267  readTime: 11 size: 14