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