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