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