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