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