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