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