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