(1,9) (2,23) (3,27) (4,30) (5,11) (7,10) (8,28) (12,20) (13,15) (14,18) (16,24) (19,22) (21,26) (25,29) 
nodes: 5014  conflicts: 62  modelTime: 997  solveTime: 13725  totalTime: 14733  modelSize: 72262  readTime: 11 size: 14