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