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