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