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