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