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