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