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