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