(1,15) (2,11) (3,24) (4,25) (5,10) (6,23) (7,18) (8,13) (9,14) (16,30) (17,27) (19,29) (20,28) (21,26) 
nodes: 17337  conflicts: 24  modelTime: 1702  solveTime: 70936  totalTime: 72657  modelSize: 72263  readTime: 19 size: 14