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