(1,26) (2,29) (3,9) (4,12) (5,27) (6,7) (8,10) (11,18) (13,24) (14,17) (15,16) (19,22) (20,30) (21,23) (25,28) 
nodes: 33699  conflicts: 24  modelTime: 1117  solveTime: 183571  totalTime: 184767  modelSize: 72285  readTime: 78 size: 15