(1,24) (2,9) (3,25) (4,6) (5,23) (7,11) (8,14) (12,27) (13,30) (15,28) (16,18) (17,21) (19,22) (20,26) 
nodes: 12168  conflicts: 52  modelTime: 982  solveTime: 38604  totalTime: 39597  modelSize: 72262  readTime: 11 size: 14