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