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