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