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