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