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