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