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