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