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