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