(1,22) (2,20) (3,16) (4,26) (5,18) (6,21) (7,29) (8,11) (9,14) (10,19) (12,30) (13,15) (17,28) (23,27) (24,25) 
nodes: 22092  conflicts: 58  modelTime: 1722  solveTime: 58038  totalTime: 59779  modelSize: 72262  readTime: 19 size: 15