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