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