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