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