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