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