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