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