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