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