(1,13) (2,22) (3,18) (4,15) (5,16) (6,17) (7,10) (8,9) (11,30) (12,29) (14,24) (19,28) (20,26) (21,23) (25,27) 
nodes: 13653  conflicts: 55  modelTime: 1415  solveTime: 55738  totalTime: 57173  modelSize: 72266  readTime: 19 size: 15