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