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