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