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