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