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