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