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