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