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