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